Quantum teleportation

Quantum teleportation transfers an unknown qubit using one shared Bell pair, a Bell-basis measurement by the sender, two classical bits, and a Pauli correction by the receiver.

A quantum teleportation protocol in which a further participant supplies a resource or classical measurement record needed for exact reconstruction of an arbitrary unknown input at the receiver. Without that cooperation, some classical information about the input may remain accessible; control need not mean complete information-theoretic concealment.

Share a GHZ state on $A,B,C$ and let the unknown input $Q$ be $|\chi ⟩$. Alice applies CNOT from $Q$ to $A$, then a Hadamard gate to $Q$, and measures $Q,A$ computationally, giving $s,t$. Charlie measures $C$ in the Hadamard basis, giving $c$. Bob's conditional state isup to a global phase. Alice's two bits and Charlie's one bit therefore specify Bob's inverse correction $Z^{s\oplus c}{X}^t$.

To prove the phase rule, write $|\chi ⟩=\alpha |0⟩+\beta |1⟩$. After Alice's result, $BC$ is $\alpha |tt⟩+(-1{)}^s\beta |(1\oplus t)(1\oplus t)⟩$. Taking Charlie's Hadamard basis partial inner product multiplies its second term relative to its first by $(-1{)}^c$. The remaining common phase is $(-1{)}^{ct}$, which is physically irrelevant. All eight result triples have probability $1/8$. Charlie's record localizes a known-phase Bell pair, allowing the standard Bell-basis teleportation identity to complete the transfer.

Exact quantum teleportation that preserves an arbitrary reference requires at least two classical bits from sender to receiver, even with preshared quantum entanglement. For the essential reduction, encode two classical bits in the four Bell states by Pauli gates on the sender's half of a Bell pair. Teleportation as an identity channel on a reference transfers this half while preserving the encoding. The receiver then has both halves and recovers both bits by a Bell-basis measurement, as in superdense coding.

The classical bit bound itself has a short no-communication theorem proof. For $N$ possible messages and $K$ possible classical transmissions, let ${\sigma }_{m,c}$ be the receiver's subnormalized conditional density matrix before decoding. The no-communication theorem gives ${\sum }_c{\sigma }_{m,c}=\tau$, independent of $m$, so $0\le {\sigma }_{m,c}\le \tau$. For each transmission $c$, let $\{E_{m|c}{\}}_m$ be the decoding POVM. Averaging over equiprobable messages,Perfect decoding of four messages requires $K\ge 4$, hence at least two classical bits. This applies to the preshared resources of the proposed quantum teleportation protocol as well as the Bell pair used for the encoding.

Suppose a perfect $|{\varphi }^{+}⟩$ Bell pair is used for quantum teleportation, but the sender cannot distinguish the ${\varphi }^{+}$ and ${\varphi }^{-}$ Bell-basis measurement outcomes and guesses their labels uniformly. Each of the four actual outcomes has probability $1/4$. Either ambiguous outcome gives an incorrect Pauli Z gate correction with conditional probability $1/2$, so the total phase-flip probability is $1/4$. The unconditional output is therefore the displayed phase-flip channel. For $|\psi ⟩=\alpha |0⟩+\beta |1⟩$, its teleportation fidelity is $⟨\psi |\mathcal{E}(|\psi ⟩⟨\psi |)|\psi ⟩=1-|\alpha {|}^2|\beta {|}^2$. It ranges from $3/4$ on the Bloch sphere equator to $1$ at its poles. This averages the output density operators, including the ambiguous rounds.

Distributing one half of $|{\Phi }^{+}⟩$ through a quantum bit-flip channel produces $p{\Pi }_{{\Phi }^{+}}+(1-p){\Pi }_{{\Psi }^{+}}$. Ideal quantum teleportation with error-free classical correction bits induces the same bit-flip map on the input: conjugating the resource error by any Pauli gate correction changes at most its sign. For a pure target the squared quantum fidelity is $p+(1-p)|⟨X⟩{|}^2$. This describes noise in resource distribution, not a perfect resource supplied by an independent channel.

Dik Bouwmeester and colleagues demonstrated selected-outcome photon-polarization quantum teleportation. An ultraviolet pump traversed a nonlinear crystal twice: one passage supplied an entangled pair, the other the input photon and its trigger partner. The input and one resource photon interfered at a beam splitter; output-detector coincidences selected their antisymmetric Bell state. Narrow filters made their coherence time exceed the pump duration, preserving temporal indistinguishability.

The reported pump pulses were $200\mathrm{fs}$ long at $76\mathrm{MHz}$; $788\mathrm{nm}$ photons filtered to $4\mathrm{nm}$ bandwidth had a quoted $520\mathrm{fs}$ coherence time. A polarization analyzer measured the remote output. Trigger-conditioned fourfold coincidences excluded a double-pair background without subtraction. The selected Bell result had ideal probability $1/4$; this demonstration did not distinguish and actively correct all four outcomes.^[ref]

For a pure input target $|\psi ⟩$ and normalized output density operator ${\rho }_{\mathrm{out}}$, the displayed squared quantum fidelity measures how well a teleportation channel reproduces that target. A mean value additionally specifies the input ensemble and whether it is conditioned on success. Detection efficiency, conditional fidelity, heralding and overall success probability are distinct experimental quantities.

For odd $n=2k+1$, a symmetric quantum teleportation resource can encode an unknown qubit into $E(\alpha |0⟩+\beta |1⟩)=\alpha |D_k^n⟩+\beta |D_{k+1}^n⟩$. Begin with $|D_{k+1}^{n+1}⟩$, apply a controlled-NOT gate from the input to the sender's resource qubit, apply a Pauli X gate to that resource qubit and a Hadamard gate to the input, and measure those two qubits. The four unnormalized remaining vectors are $E|\psi ⟩/2$, $EX|\psi ⟩/2$, $EZ|\psi ⟩/2$ and $EXZ|\psi ⟩/2$. Each outcome has probability $1/4$. Since $X^{\otimes n}$ interchanges $|D_k^n⟩$ and $|D_{k+1}^n⟩$, and $Z^{\otimes n}$ acts as logical $Z$ up to the common phase $(-1{)}^k$, local Pauli corrections make the output independent of the result. The one-qubit reduction of Dicke-state superpositions givesFor $n>1$ this distributes imperfect copies, as required by the no-cloning theorem. For $n=1$ it reduces to exact quantum teleportation.

A shared resource enables deterministic exact transmission of an arbitrary unknown qubit using only local operations and classical communication if and only if it can produce a shared Bell pair deterministically by such operations. Sufficiency follows from quantum teleportation. For necessity, prepare a Bell pair locally at the sender and apply the purported transmission protocol to one half: exact identity-channel action leaves a shared Bell pair between the retained reference and the receiver. A separable shared resource cannot satisfy this condition because local operations and classical communication preserve separability.

Two initial maximally entangled pairs $A{B}_1$ and $B_{2}C$ can be turned into an entangled pair $AC$ by a generalized Bell basis measurement on $B_1{B}_2$, followed by a local correction at an endpoint using its classical label. This is qudit teleportation of $B_1$, including its correlations with $A$, to $C$. The initial two pairs are consumed. Without the classical label, averaging the conditional endpoint states need not leave entanglement.

Take two identical normalized entangled qubit pairs ${\sum }_{r=0}^1{b}_r|{\xi }_r{\eta }_r⟩$. Project their two $\eta$ systems onto $|\Phi ⟩=2^{-1/2}{\sum }_k|{\eta }_k{\eta }_k⟩$. The overlap with $|{\eta }_r{\eta }_s⟩$ is ${\delta }_{rs}/\sqrt{2}$, so the unnormalized remote state is ${\sum }_r{b}_r^2|{\xi }_r{\xi }_r⟩/\sqrt{2}$. Its squared norm gives success probability $\frac{1}{2}{\sum }_r|b_r{|}^4$, and its normalized Schmidt coefficients are $b_r^2/({\sum }_s|b_s{|}^4{)}^{1/2}$. At least two survive whenever the original pair was entangled. This is a conditional entanglement swapping result; disregarding the local measurement outcome leaves the remote reduced state unchanged. The coefficients are squared amplitudes, not their absolute squares, because the two input kets multiply before the Bell-state contraction.

Start from three normalized Bell states ${\Phi }_{12}^{+}{\Phi }_{34}^{+}{\Phi }_{56}^{+}$. A polarizing beam splitter parity filter ${\Pi }_Z^{25}$ followed by $X$-basis outcome $++$, and a second filter ${\Pi }_X^{46}$ followed by $Z$-basis outcome $00$, have effective bras $⟨{\Phi }^{+}{|}_{25}/\sqrt{2}$ and $⟨{\Phi }^{+}{|}_{46}/\sqrt{2}$. Their contraction leaves ${\Phi }_{13}^{+}/8$. The herald probability is therefore $1/64$ per ideal three-pair input, or $1/16$ conditional on both parity-routing filters having succeeded. This distinction prevents renormalizing away the optical postselection cost.

Suppose independent resource pairs have density matrices $v_j|{\Phi }^{+}⟩⟨{\Phi }^{+}|+(1-v_j)I_4/4$. An ideal complete Bell-basis measurement, followed by outcome-dependent Pauli gates, produces a chosen Bell state with white-noise visibility $v_1{v}_2$: either white-noise input makes the remote pair maximally mixed. If the reported label is reliable with probability $q$ and otherwise uniformly random, averaging the erroneous corrections makes that branch maximally mixed too, so $v_{\mathrm{out}}=v_1{v}_{2}q$. A second independent detector of the same quality during quantum teleportation adds another factor $q$ to the teleported Bloch vector.

A sender and receiver share $n^{-1/2}{\sum }_j|jj⟩$. The sender measures the input and their resource half in the generalized Bell basis. Outcome $(r,s)$ gives the receiver $X^s{Z}^{-r}|\chi ⟩/n$, with probability $1/n^2$. After classical communication of the outcome, the correction $Z^r{X}^{-s}$ restores the unknown quantum state. The same calculation preserves correlations with a reference, as in teleportation as an identity channel on a reference.

Ideal corrected quantum teleportation transfers an input system to the receiver while preserving its entire joint density operator with an arbitrary reference. Expand a joint pure state as ${\sum }_j|j⟩|r_j⟩$. Every teleportation branch acts with the same known correction on each system basis vector and does nothing to the reference vectors; undoing that correction restores the complete sum. Linearity extends the result to mixed states. The sender's measured carrier no longer retains the original reference correlations.

Apply a Controlled-Z gate to input $a|0⟩+b|1⟩$ and a fresh $|+⟩$ quantum ancilla. Measuring the input in the equatorial qubit measurement basis at angle $\alpha$, with outcome $s$, leaves the unnormalized outputEach branch has probability $1/2$, independently of the input. The logical output is $J(\alpha )|\psi ⟩$ with known Pauli frame $X^s$; the input qubit has been measured, so this does not clone it.

With equatorial qubit measurement vectors $(|0⟩+(-1{)}^s{e}^{i\eta }|1⟩)/\sqrt{2}$, the gate in one-bit teleportation is $U(\eta )=H\mathrm{diag}(1,e^{-i\eta })=J(-\eta )$. Direct multiplication gives $U(\eta )Z=XU(\eta )$ and $U(\eta )X=e^{-i\eta }ZU(-\eta )$. Moving a Pauli frame through this gate therefore exchanges its $X$ and $Z$ exponents and reverses the angle if the old $X$ exponent is one, as displayed up to global phase. A measurement outcome $s$ adds a further $X^s$ factor. This calculation supplies adaptive angle choices and the final classical output-bit correction of a linear cluster state computation.

A two-vertex graph state starts with two $|+⟩$ states joined by a Controlled-Z gate. Measuring the first vertex in the $X$ basis leaves the second in $X^{s}H|+⟩=X^s|0⟩$, where $s$ is the measurement outcome. Thus a known zero input can be supplied to a measurement wire using only a graph-state resource and a known Pauli frame. This preparation link precedes the links implementing the desired logical J gate; later measurement angles and output-bit corrections absorb its byproduct.

Two angle-zero one-bit teleportations with outcomes $p,q$ implement $X^{q}H{X}^{p}H=X^q{Z}^p$ on an arbitrary input, up to global phase. A Controlled-Z gate with a fixed $|1⟩$ quantum ancilla implements $Z$, so $Z^p$ removes the known $Z$ factor. The result is $X^q$ up to phase. With probability one half the desired Pauli X gate is applied; otherwise the input is unchanged. Repeating until $q=1$ gives an exact heralded correction with two attempts on average and almost-sure termination. It has no finite worst-case measurement count. A Pauli frame avoids this repeat-until-success procedure when only logical action or classical output statistics are required.

For the printed equatorial-basis convention,It is the Hadamard gate after a phase gate. The identities $J(\alpha )Z=XJ(\alpha )$ and $J(\alpha )X=e^{i\alpha }ZJ(-\alpha )$ follow by multiplying their matrices. For $\alpha =0,\pi /2$ these are Clifford gates. In particular $J(-\pi /2)=XJ(\pi /2)$, permitting a sign change of the measurement angle to be absorbed into a Pauli frame.

The J gate is $J(\alpha )=HP(\alpha )$, where $P(\alpha )=\mathrm{diag}(1,e^{i\alpha })$: the phase gate acts first and the Hadamard gate acts second. Unitary invariance of the operator norm reduces its angle error to the single nonzero diagonal difference of the phase gate. Its norm is $|e^{i\delta }-1|=2|\sin (\delta /2)|\le |\delta |$. The quantum circuit gate-error telescoping bound then makes an angle tolerance of $ϵ/k$ sufficient for $k$ such imperfect gates and exact other gates.

For $|{\beta }_{xz}⟩=(Z^z{X}^x\otimes I)|{\beta }_{00}⟩$, an arbitrary qubit obeysA Bell-basis measurement reveals $(x,z)$, after which the receiver applies the inverse Pauli correction.

A deterministic finite-dimensional universal programmable quantum gate cannot implement every unitary exactly: programs for physically distinct unitaries would have to be mutually orthogonal, but a finite-dimensional program register contains only finitely many mutually orthogonal states.

This is a restriction on programmable quantum circuits and their unitary operators, rather than a statement about the existence of classical program descriptions.

When the shared resource is $|{\Psi }^{+}⟩$, Bell outcomes ${\Phi }^{+},{\Phi }^{-},{\Psi }^{+},{\Psi }^{-}$ leave the receiver with $X|\alpha ⟩,XZ|\alpha ⟩,|\alpha ⟩,Z|\alpha ⟩$, respectively, up to global phases.