Algorithm

Quantum Teleportation

Problem: transfer an unknown quantum state using entanglement plus classical measurement results.

Expected output

AlicebitsBob

This sample illustrates EPR preparation and the Bell-basis change. Its unconditional recovery gate does not implement classical feedback.

Core intuition

The state is not copied; the original is consumed while Bob's qubit is corrected.

Visual circuit

Prepare an EPR pair, entangle the message with Alice's qubit, then measure.

Significance

Teleportation is foundational for quantum networking and repeaters.

Limit

The DSL collects measurements after all gates and has no classical conditional syntax; this sample is not complete arbitrary-state teleportation.

Circuit DSL

# Teleportation (alice->bob)
qubits 3
# q0 = message, q1 = alice, q2 = bob
H 1
CX 1 2
CX 0 1
H 0
MEASURE 0
MEASURE 1
# Bob recovers (simplified):
CX 1 2
MEASURE 2

Challenge

What is required along with entanglement?

Full DSL specification →