Quantum teleportation and superdense coding

Intuition Beginner

Imagine Alice has a single qubit prepared in some unknown state that she would like Bob, in a distant laboratory, to hold instead. She cannot just measure her qubit and phone Bob the result, because a single measurement extracts only one bit of information about a state described by two continuous amplitudes. She cannot photocopy the qubit either, because the no-cloning theorem of quantum mechanics forbids exact duplication of an unknown state.

What Alice can do, if Alice and Bob have a small piece of shared resource set up in advance, is destroy her own copy in such a way that Bob can rebuild it from her ashes. The shared resource is one Bell pair: a particular two-qubit entangled state distributed so that Alice holds one half and Bob holds the other half. The two halves were created together in the same lab and then carried apart. The Bell pair is a generic resource; it knows nothing about the state Alice will later try to teleport. It is prepared once, ahead of time, and waits in storage on both sides.

The protocol Alice and Bob run is called quantum teleportation, published by Bennett, Brassard, Crépeau, Jozsa, Peres, and Wootters in 1993. Alice brings her unknown qubit together with her half of the Bell pair and performs a joint two-qubit measurement in what is called the Bell basis. The measurement has four possible outcomes, each equally likely with probability one quarter.

Alice writes down the outcome as two classical bits and sends those two bits to Bob over an ordinary classical channel like radio, optical fibre, or text message. Bob receives the two bits and applies a specific one-of-four correction to his half of the original Bell pair. After the correction, Bob's qubit is in exactly the state that Alice's qubit was in before the protocol began.

Three features deserve attention. First, Alice's original qubit no longer carries the unknown state after her Bell measurement — it has been projected into a maximally mixed state, with the amplitudes of the original swept across the joint Alice-plus-Bell-half system. The no-cloning theorem is respected because nothing was copied; the state moved.

Second, the two classical bits Alice sends are essential: without them Bob's qubit is in a uniformly random mixture of the four possible post-measurement states, which carries zero information about the original. Third, the classical bits travel no faster than light, so the protocol cannot signal superluminally. The entanglement is consumed in the process.

Run the protocol in reverse direction and a complementary phenomenon appears. Suppose Alice and Bob again share a Bell pair, but now Alice wants to send Bob two classical bits of information using one quantum bit she will mail him. She applies one of four operations to her half of the Bell pair, depending on which pair of bits she wants to send.

The four operations transform the shared Bell state into one of the four mutually distinguishable Bell states. Alice then sends her one qubit to Bob, who performs a Bell measurement on the pair and reads out which two bits Alice meant to send. This is superdense coding, due to Bennett and Wiesner 1992, which shows that one quantum bit plus shared entanglement can carry two classical bits of information.

The two protocols are dual partners. Teleportation consumes one ebit of entanglement plus sends two classical bits to deliver one qubit. Superdense coding consumes one ebit plus sends one qubit to deliver two classical bits. They exchange quantum and classical resources symmetrically across a shared-entanglement bridge. In the absence of pre-shared entanglement, the Holevo bound of 1973 says a single qubit channel transmits at most one bit of classical information per use — so superdense coding's two-bit-per-qubit performance specifically depends on the entanglement resource.

Experiment has verified the predictions in many systems. The first experimental quantum teleportation of a single-photon polarisation state was performed by Bouwmeester, Pan, Mattle, Eibl, Weinfurter, and Zeilinger in 1997 in Vienna. Boschi, Branca, De Martini, Hardy, and Popescu followed with a complete-Bell-measurement variant in 1998 in Rome.

Continuous-variable teleportation of an optical-mode quadrature was achieved by Furusawa, Sorensen, Braunstein, Fuchs, Kimble, and Polzik in 1998 at Caltech, following the theoretical proposal of Braunstein and Kimble that year. Deterministic atomic-ion teleportation followed in 2004 with parallel experiments by Riebe and collaborators at Innsbruck and Barrett and collaborators at NIST Boulder. The most striking demonstration is the 2017 ground-to-satellite teleportation by Ren and collaborators using the Chinese Micius satellite, teleporting photon states across $1400$ kilometres of free-space link.

The takeaway is that quantum teleportation is a protocol, not a transporter. It moves the quantum state of one particle to another particle while consuming an entanglement resource and a classical channel. It respects every constraint of quantum mechanics: no-cloning, no faster-than-light signalling, finite information capacity of classical channels. It is the operational foundation of every quantum-network architecture, from quantum repeaters that extend entanglement across continental distances, to measurement-based quantum computation that runs algorithms by teleporting through cluster states, to device-independent quantum cryptography that certifies security from CHSH violations along teleportation chains.

Visual Beginner

The first picture shows the teleportation protocol as a circuit. Alice has an unknown qubit at the top and one half of a Bell pair just below it. Bob holds the other half at the bottom. Alice's two qubits go through a CNOT and Hadamard gate sequence (the Bell-basis measurement) yielding two classical bits. The bits travel along a classical channel to Bob's side, where they control Pauli gates on Bob's qubit, completing the protocol.

The second picture compares the resource accounting of teleportation and superdense coding. On the left, teleportation: input one unknown qubit on Alice's side plus one ebit (Bell pair) shared between Alice and Bob plus two classical bits Alice sends; output one qubit on Bob's side. On the right, superdense coding: input two classical bits on Alice's side plus one ebit plus Alice sends one qubit; output two classical bits on Bob's side. The two protocols are mirror images across the entanglement-resource bridge.

The third picture illustrates the experimental history. The 1997 Bouwmeester-Pan-Zeilinger photon teleportation in Vienna achieved teleportation over a metre on an optical bench. The 1998 Furusawa-Kimble continuous-variable teleportation at Caltech extended the protocol to optical-mode quadratures. The 2004 Riebe and Barrett atomic-ion teleportations were the first deterministic implementations. The 2017 Ren-Yin Micius satellite experiments achieved teleportation across $1400$ kilometres of free-space link from Tibet to the satellite.

Worked example Beginner

Alice has a qubit in the unknown state $|\psi ⟩=\alpha |0⟩+\beta |1⟩$ with $|\alpha {|}^2+|\beta {|}^2=1$. Alice and Bob share the Bell pair $|{\Phi }^{+}⟩=(|00⟩+|11⟩)/\sqrt{2}$, with Alice holding the first qubit of the pair and Bob holding the second. Track what happens to the three-qubit joint state when Alice performs a Bell-basis measurement on her two qubits (her input qubit together with her Bell-half).

Step 1. Expand the three-qubit joint state into the computational basis. Writing the kets in the order (Alice's input qubit, Alice's Bell-half, Bob's qubit), the joint state $|\psi ⟩|{\Phi }^{+}⟩$ expands to $$\frac{1}{\sqrt{2}}(\alpha |000⟩+\alpha |011⟩+\beta |100⟩+\beta |111⟩).$$ The first two slots are Alice's; the third is Bob's.

Step 2. Rewrite Alice's two qubits in the Bell basis. The four Bell states are $|{\Phi }^{\pm }⟩=(|00⟩\pm |11⟩)/\sqrt{2}$ and $|{\Psi }^{\pm }⟩=(|01⟩\pm |10⟩)/\sqrt{2}$.

After algebra (worked out fully in the Intermediate section below), the three-qubit state reorganises into a sum of four terms, each pairing one Bell state on Alice's two qubits with one Pauli-rotated version of $|\psi ⟩$ on Bob's qubit, all with coefficient $1/2$. Schematically, writing the Bob-side ket alongside the Alice-side Bell state: $$\frac{1}{2}[|{\Phi }^{+}⟩\cdot (\alpha |0⟩+\beta |1⟩)+|{\Phi }^{-}⟩\cdot (\alpha |0⟩-\beta |1⟩)+|{\Psi }^{+}⟩\cdot (\alpha |1⟩+\beta |0⟩)+|{\Psi }^{-}⟩\cdot (\alpha |1⟩-\beta |0⟩)].$$ Each Bell-basis outcome on Alice's side leaves Bob's qubit in a state that is a one-of-four Pauli-rotated version of the original $|\psi ⟩$.

Step 3. Alice measures and gets one of four outcomes, each with probability $1/4$. The four post-measurement states on Bob's qubit are $|\psi ⟩$, $Z|\psi ⟩$, $X|\psi ⟩$, or $XZ|\psi ⟩$, depending on which Bell state Alice's pair collapsed into. Alice sends the two classical bits $(b_1,b_2)$ encoding which outcome occurred: $(0,0)$ for $|{\Phi }^{+}⟩$, $(0,1)$ for $|{\Phi }^{-}⟩$, $(1,0)$ for $|{\Psi }^{+}⟩$, $(1,1)$ for $|{\Psi }^{-}⟩$.

Step 4. Bob applies the inverse correction $X^{b_1}{Z}^{b_2}$ to his qubit. The four corrections are $I,Z,X,XZ$, the inverses of the four Pauli operations that scrambled the state. After Bob's correction his qubit is in $|\psi ⟩$ exactly.

Concrete numerical check. Take $\alpha =\beta =1/\sqrt{2}$, so $|\psi ⟩=(|0⟩+|1⟩)/\sqrt{2}=|+⟩$. Alice's measurement gives outcome $|{\Phi }^{+}⟩$ with probability $1/4$; Bob's qubit is then $(|0⟩+|1⟩)/\sqrt{2}=|+⟩$, no correction needed. Outcome $|{\Phi }^{-}⟩$ also probability $1/4$; Bob's qubit is $(|0⟩-|1⟩)/\sqrt{2}=|-⟩$; Bob applies $Z$ flipping $|-⟩$ back to $|+⟩$. Outcome $|{\Psi }^{+}⟩$ probability $1/4$; Bob's qubit is $(|1⟩+|0⟩)/\sqrt{2}=|+⟩$; Bob applies $X$ flipping $|+⟩$ to $|+⟩$ (since $X|+⟩=|+⟩$, no actual flip in this special case). Outcome $|{\Psi }^{-}⟩$ probability $1/4$; Bob's qubit is $(|1⟩-|0⟩)/\sqrt{2}=-|-⟩$; Bob applies $XZ$ giving back $|+⟩$ up to an overall phase.

What this tells us: in every one of the four equally likely outcomes, the appropriate Bob-side correction restores the original state $|\psi ⟩$ on Bob's qubit. The classical bits Alice sends are the bookkeeping that tells Bob which correction to apply.

Check your understanding Beginner

Formal definition Intermediate+

Let ${\mathcal{H}}_A={\mathcal{H}}_{B_A}={\mathcal{H}}_{B_B}={\mathbb{C}}^2$ denote three qubit Hilbert spaces, where the first is held by Alice (her input qubit), the second is held by Alice (her half of the Bell pair), and the third is held by Bob (his half of the Bell pair). Let $|\psi {⟩}_A=\alpha |0⟩+\beta |1⟩\in {\mathcal{H}}_A$ be the unknown state to be teleported, with $|\alpha {|}^2+|\beta {|}^2=1$.

Definition (Bell basis). The Bell basis of ${\mathbb{C}}^2\otimes {\mathbb{C}}^2$ is the orthonormal set $$|{\Phi }^{\pm }⟩:=\frac{1}{\sqrt{2}}(|00⟩\pm |11⟩),|{\Psi }^{\pm }⟩:=\frac{1}{\sqrt{2}}(|01⟩\pm |10⟩).$$ The four Bell states are mutually orthogonal, each is maximally entangled (Schmidt rank $2$ with Schmidt coefficients $(1/\sqrt{2},1/\sqrt{2})$), and the four are related by single-qubit Pauli operations: $$|{\Phi }^{-}⟩=(Z\otimes I)|{\Phi }^{+}⟩,|{\Psi }^{+}⟩=(X\otimes I)|{\Phi }^{+}⟩,|{\Psi }^{-}⟩=(XZ\otimes I)|{\Phi }^{+}⟩.$$

Definition (teleportation protocol). The Bennett-Brassard-Crépeau-Jozsa-Peres-Wootters teleportation protocol on input state $|\psi {⟩}_A$ and shared Bell pair $|{\Phi }^{+}{⟩}_{B_A{B}_B}$ consists of three steps:

1. Bell-basis measurement. Alice performs the projective measurement $\{|m⟩⟨m{|}_{A{B}_A}\otimes I_{B_B}:m\in \{{\Phi }^{+},{\Phi }^{-},{\Psi }^{+},{\Psi }^{-}\}\}$ on her two qubits, obtaining outcome $m$ with probability $1/4$.

2. Classical communication. Alice encodes the outcome as two classical bits $(b_1,b_2)$ via ${\Phi }^{+}\mapsto (0,0)$, ${\Phi }^{-}\mapsto (0,1)$, ${\Psi }^{+}\mapsto (1,0)$, ${\Psi }^{-}\mapsto (1,1)$, and sends the bits to Bob over a classical channel.

3. Pauli correction. Bob receives $(b_1,b_2)$ and applies the correction $X^{b_1}{Z}^{b_2}$ to his qubit.

Definition (superdense coding protocol). The Bennett-Wiesner protocol takes as input two classical bits $(a_1,a_2)\in \{0,1{\}}^2$ on Alice's side and a shared Bell pair $|{\Phi }^{+}{⟩}_{B_A{B}_B}$, and outputs the two bits at Bob's side:

1. Pauli encoding. Alice applies $X^{a_1}{Z}^{a_2}$ to her half of the Bell pair, transforming $|{\Phi }^{+}⟩$ into one of $\{|{\Phi }^{+}⟩,|{\Phi }^{-}⟩,|{\Psi }^{+}⟩,|{\Psi }^{-}⟩\}$ according to the encoding $(a_1,a_2)$.

2. Quantum transmission. Alice sends her qubit to Bob, who now holds both qubits of the resulting Bell state.

3. Bell measurement. Bob measures the two qubits in the Bell basis, obtaining outcome $m\in \{{\Phi }^{+},{\Phi }^{-},{\Psi }^{+},{\Psi }^{-}\}$ deterministically (since the input was a Bell-basis pure state). The classical decoding $m\mapsto (a_1,a_2)$ recovers Alice's input.

Definition (resource ledger). A resource inequality records consumed and produced resources. Write $[\text{qubit}]$ for one quantum-bit channel use, $[\text{cbit}]$ for one classical-bit channel use, and $[\text{ebit}]$ for one shared Bell-pair entanglement bit. The two protocols satisfy $$\text{Teleportation:}1[\text{ebit}]+2[\text{cbit}]\ge 1[\text{qubit}],$$ $$\text{Superdense coding:}1[\text{ebit}]+1[\text{qubit}]\ge 2[\text{cbit}].$$ The inequality $\ge$ means "achieves at least the right-hand resource using the left-hand resource". The Holevo bound (1973) says $1[\text{qubit}]\ge 1[\text{cbit}]$ in the no-entanglement setting, so the $2$-bit superdense coding is strictly stronger than the entanglement-free capacity.

Counterexamples to common slips Intermediate+

• Teleportation does not copy the unknown state. The no-cloning theorem (Wootters-Zurek 1982; Dieks 1982) forbids any quantum operation taking $|\psi ⟩\otimes |0⟩$ to $|\psi ⟩\otimes |\psi ⟩$ for arbitrary unknown $|\psi ⟩$. Teleportation respects this: after Alice's Bell measurement her input qubit is in the maximally mixed state $I/2$, not in $|\psi ⟩$. The state moved; it was not duplicated.

• Teleportation is not faster-than-light. Bob's qubit before classical bits arrive is in the maximally mixed state $I/2$, equally likely to be $|\psi ⟩,Z|\psi ⟩,X|\psi ⟩,XZ|\psi ⟩$ from Bob's local perspective. The reduced density matrix of Bob's qubit is independent of Alice's measurement outcome, so no signal propagates instantly. The classical channel carrying Alice's two bits is the bottleneck.

• Superdense coding is not a Holevo violation. The Holevo bound caps the classical capacity of a qubit channel at $1$ cbit per qubit in the absence of pre-shared entanglement. With one ebit consumed, the effective channel from Alice to Bob is enlarged, and the $2$-cbit-per-qubit rate is consistent with the Bennett-Shor-Smolin-Thapliyal hashing bound and the resource-theoretic decomposition.

• The Bell measurement need not be projective in the full sense. Some experimental realisations replace the Bell-basis projection with a partial Bell-basis measurement distinguishing only two of the four outcomes (the linear-optical Innsbruck/Vienna setups in 1997-1998 used such partial measurements, achieving teleportation only $25\%$ of the time and post-selecting). Complete Bell-basis discrimination requires nonlinear interactions, achieved deterministically only in the 2004 atomic-ion experiments and later.

Key theorem with proof Intermediate+

Theorem (teleportation identity, BBCJPW 1993). Let $|\psi {⟩}_A=\alpha |0⟩+\beta |1⟩$ be an arbitrary qubit state and $|{\Phi }^{+}{⟩}_{B_A{B}_B}=(|00⟩+|11⟩)/\sqrt{2}$ be the Bell state shared between Alice and Bob. Then the three-qubit state $|\psi {⟩}_A\otimes |{\Phi }^{+}{⟩}_{B_A{B}_B}$ admits the decomposition $$|\psi {⟩}_A\otimes |{\Phi }^{+}{⟩}_{B_A{B}_B}=\frac{1}{2}\sum _{m\in \mathrm{BellBasis}}|m{⟩}_{A{B}_A}\otimes (U_m|\psi ⟩{)}_{B_B},$$ where the sum ranges over $m\in \{{\Phi }^{+},{\Phi }^{-},{\Psi }^{+},{\Psi }^{-}\}$ and the Pauli operators are $$U_{{\Phi }^{+}}=I,U_{{\Phi }^{-}}=Z,U_{{\Psi }^{+}}=X,U_{{\Psi }^{-}}=XZ.$$ Consequently, a Bell-basis measurement on Alice's two qubits gives outcome $m$ with probability $1/4$, leaving Bob's qubit in state $U_m|\psi ⟩$; applying $U_m^{-1}$ restores $|\psi ⟩$ on Bob's qubit.

Proof. Expand the three-qubit state in the computational basis: $$|\psi {⟩}_A\otimes |{\Phi }^{+}{⟩}_{B_A{B}_B}=\frac{1}{\sqrt{2}}(\alpha |0{⟩}_A+\beta |1{⟩}_A)\otimes (|00{⟩}_{B_A{B}_B}+|11{⟩}_{B_A{B}_B}).$$ Distribute: $$=\frac{1}{\sqrt{2}}(\alpha |000⟩+\alpha |011⟩+\beta |100⟩+\beta |111⟩),$$ where the kets are ordered $A,B_A,B_B$.

Rewrite each computational-basis ket $|ij{⟩}_{A{B}_A}$ on Alice's two qubits in the Bell basis using the inversion formulae $$|00⟩=\frac{1}{\sqrt{2}}(|{\Phi }^{+}⟩+|{\Phi }^{-}⟩),|11⟩=\frac{1}{\sqrt{2}}(|{\Phi }^{+}⟩-|{\Phi }^{-}⟩),$$ $$|01⟩=\frac{1}{\sqrt{2}}(|{\Psi }^{+}⟩+|{\Psi }^{-}⟩),|10⟩=\frac{1}{\sqrt{2}}(|{\Psi }^{+}⟩-|{\Psi }^{-}⟩).$$

Apply each inversion to the four terms.

The $\alpha |000⟩$ term: $|00{⟩}_{A{B}_A}\otimes |0{⟩}_{B_B}=\frac{1}{\sqrt{2}}(|{\Phi }^{+}⟩+|{\Phi }^{-}⟩{)}_{A{B}_A}\otimes |0{⟩}_{B_B}$, giving contribution $\frac{\alpha }{\sqrt{2}}(|{\Phi }^{+}⟩+|{\Phi }^{-}⟩)\otimes |0⟩$.

The $\alpha |011⟩$ term: $|01{⟩}_{A{B}_A}\otimes |1{⟩}_{B_B}=\frac{1}{\sqrt{2}}(|{\Psi }^{+}⟩+|{\Psi }^{-}⟩{)}_{A{B}_A}\otimes |1{⟩}_{B_B}$, contribution $\frac{\alpha }{\sqrt{2}}(|{\Psi }^{+}⟩+|{\Psi }^{-}⟩)\otimes |1⟩$.

The $\beta |100⟩$ term: $|10{⟩}_{A{B}_A}\otimes |0{⟩}_{B_B}=\frac{1}{\sqrt{2}}(|{\Psi }^{+}⟩-|{\Psi }^{-}⟩{)}_{A{B}_A}\otimes |0{⟩}_{B_B}$, contribution $\frac{\beta }{\sqrt{2}}(|{\Psi }^{+}⟩-|{\Psi }^{-}⟩)\otimes |0⟩$.

The $\beta |111⟩$ term: $|11{⟩}_{A{B}_A}\otimes |1{⟩}_{B_B}=\frac{1}{\sqrt{2}}(|{\Phi }^{+}⟩-|{\Phi }^{-}⟩{)}_{A{B}_A}\otimes |1{⟩}_{B_B}$, contribution $\frac{\beta }{\sqrt{2}}(|{\Phi }^{+}⟩-|{\Phi }^{-}⟩)\otimes |1⟩$.

Combine all four contributions, dividing by the original prefactor $1/\sqrt{2}$ to give an overall $1/2$: $$|\psi {⟩}_A\otimes |{\Phi }^{+}{⟩}_{B_A{B}_B}=\frac{1}{2}[|{\Phi }^{+}⟩\otimes (\alpha |0⟩+\beta |1⟩)+|{\Phi }^{-}⟩\otimes (\alpha |0⟩-\beta |1⟩)$$ $$+|{\Psi }^{+}⟩\otimes (\alpha |1⟩+\beta |0⟩)+|{\Psi }^{-}⟩\otimes (-\beta |0⟩+\alpha |1⟩)].$$

Identify each Bob-side ket with a Pauli operation on $|\psi ⟩$:

• $\alpha |0⟩+\beta |1⟩=|\psi ⟩=I|\psi ⟩$,
• $\alpha |0⟩-\beta |1⟩=Z|\psi ⟩$ (Pauli-$Z$ flips the sign of $|1⟩$),
• $\alpha |1⟩+\beta |0⟩=X|\psi ⟩$ (Pauli-$X$ swaps $|0⟩$ and $|1⟩$),
• $\alpha |1⟩-\beta |0⟩=XZ|\psi ⟩$ (Pauli-$X$ then $Z$: $|\psi ⟩\to \alpha |0⟩-\beta |1⟩\to \alpha |1⟩-\beta |0⟩$ after the $X$ acts).

Hence $$|\psi {⟩}_A\otimes |{\Phi }^{+}⟩=\frac{1}{2}[|{\Phi }^{+}⟩\otimes I|\psi ⟩+|{\Phi }^{-}⟩\otimes Z|\psi ⟩+|{\Psi }^{+}⟩\otimes X|\psi ⟩+|{\Psi }^{-}⟩\otimes XZ|\psi ⟩].$$ This is the claimed identity.

For the measurement statement: a Bell-basis projective measurement on Alice's two qubits projects onto outcome $m$ with probability $|1/2{|}^2\cdot ⟨\psi |U_m^{†}{U}_m|\psi ⟩=(1/4)\cdot 1=1/4$ for each $m$ (using unitarity of $U_m$ and normalisation of $|\psi ⟩$), and leaves Bob's qubit in the unit-norm state $U_m|\psi ⟩$. Applying the inverse correction $U_m^{-1}=U_m^{†}$ (each Pauli is self-inverse up to sign) recovers $|\psi ⟩$ on Bob's qubit. $\square$

Bridge. The teleportation identity builds toward 12.17.05 pending universal one-qubit gate sets, where the four Pauli corrections $\{I,X,Z,XZ\}$ are exactly the Pauli group on a single qubit, the central insight is that the four Bell outcomes generate the full Pauli action via classically-controlled unitaries, and this is exactly the structure that lets teleportation be implemented with a fixed device knowing nothing about $|\psi ⟩$ in advance. The bridge is the fact that the four-outcome Bell measurement and the four-element Pauli group on Bob's qubit are dual to each other through the entanglement of the shared Bell pair; appears again in 12.17.06 pending as the no-cloning constraint that the original $|\psi ⟩$ on Alice's side is destroyed during the protocol, and the foundational reason teleportation respects no-signalling is that Bob's reduced density matrix is the maximally mixed state $I/2$ until classical bits arrive. Putting these together identifies teleportation as the canonical example of a quantum protocol that decomposes a unitary channel into a measurement-and-feedforward pattern.

Exercises Intermediate+

Advanced results Master

Continuous-variable teleportation

Theorem 1 (Braunstein-Kimble 1998). In the continuous-variable setting on infinite-dimensional Hilbert space $L^2(\mathbb{R})$, an EPR-correlated state of position-momentum-entangled optical modes can be used to teleport a coherent state from Alice to Bob via homodyne measurement of joint position and momentum quadratures on Alice's side, classical communication of the measurement outcomes, and displacement correction on Bob's side. The protocol achieves fidelity $F\to 1$ in the infinite-squeezing limit; for finite squeezing $r$, the fidelity is $F=1/(1+e^{-2r})$.

The Braunstein-Kimble protocol (1998 Phys. Rev. Lett. 80, 869) extends teleportation to continuous variables: position $x$ and momentum $p$ quadratures of an optical mode replace the discrete computational basis, and the EPR state $|\text{EPR}⟩\propto \int dx|x{⟩}_A|x{⟩}_B$ (with position-position perfect correlation and momentum-momentum anti-correlation) replaces the Bell state. The homodyne measurement of joint $x_A-x_C$ and $p_A+p_C$ (with $C$ Alice's input mode) plays the role of the discrete Bell-basis measurement. First experimental demonstration: Furusawa-Sorensen-Braunstein-Fuchs-Kimble-Polzik (1998 Science 282, 706), achieving $F=0.58\pm 0.02$ at modest squeezing, decisively above the no-cloning classical bound $F_{\text{class}}=1/2$ for coherent states.

Entanglement swapping and quantum repeaters

Theorem 2 (entanglement swapping, ZZHE 1993). Given two Bell pairs $|{\Phi }^{+}{⟩}_{A{B}_1}$ and $|{\Phi }^{+}{⟩}_{B_{2}C}$, a Bell-basis measurement on $(B_1,B_2)$ projects Alice's and Charlie's qubits $(A,C)$ into one of the four Bell states, with the outcome on $(B_1,B_2)$ determining which. Combined with classical communication and local Pauli corrections, Alice and Charlie share a deterministic Bell pair $|{\Phi }^{+}{⟩}_{AC}$, despite their qubits never having interacted.

Zukowski-Zeilinger-Horne-Ekert (1993 Phys. Rev. Lett. 71, 4287) introduced entanglement swapping. The protocol is the operational primitive that enables long-distance entanglement distribution: by chaining swaps across intermediate nodes, an end-to-end entanglement can be established over a fibre length much greater than the photon-loss length, if purification can compensate for the noise accumulated at each swap.

Theorem 3 (quantum repeater, BDCZ 1998). Briegel, Dür, Cirac, and Zoller (1998 PRL 81, 5932) showed that the combination of entanglement swapping plus purification (Bennett-Brassard-Popescu-Schumacher-Smolin-Wootters 1996; Deutsch-Ekert-Jozsa-Macchiavello-Popescu-Sanpera 1996) yields a quantum-repeater architecture transmitting one ebit of high-fidelity entanglement over a distance $L$ in time polynomial in $L$, breaking the exponential photon-loss scaling $\propto e^{-L/L_0}$ of direct transmission.

The quantum repeater nests Bell-pair distribution + swapping + purification recursively, reducing the time and resource overhead from exponential to polynomial in $L$ with finite local-operation fidelity. The repeater is the architectural foundation of the quantum internet (Kimble 2008 Nature 453, 1023; Wehner-Elkouss-Hanson 2018 Science 362, 6412), enabling continental-scale entanglement distribution from local Bell-pair sources via repeater chains.

No-signalling theorem and teleportation as a CPTP channel

Theorem 4 (no-signalling, teleportation form). The reduced density matrix of Bob's qubit after Alice's Bell measurement (averaged over the four equiprobable outcomes) is the maximally mixed state $I/2$, independent of Alice's input state $|\psi ⟩$ and independent of whether Alice has measured at all. Hence no information about $|\psi ⟩$ propagates instantaneously from Alice's measurement to Bob's qubit; the classical-communication step is the bottleneck and enforces sub-luminal signalling.

The no-signalling property follows from the Pauli-twirl identity $(1/4){\sum }_{P}P|\psi ⟩⟨\psi |P^{†}=I/2$ for any single-qubit state $|\psi ⟩$, where $P$ ranges over the four-element Pauli group up to phase (Exercise 6 above). This is the operational version of the no-communication theorem: any local quantum operation on Alice's side commutes through to Bob as identity on his reduced density matrix.

The teleportation protocol, viewed as a quantum channel from Alice's input qubit to Bob's output qubit (with the classical bits as side-information), is the identity channel $\mathcal{T}(\rho )=\rho$. This identity-channel realisation via Bell measurement + classical feedforward + Pauli correction is the canonical example of measurement-based quantum operation: a unitary (here, the identity) decomposed into local measurements followed by Pauli corrections.

Resource theory: father, mother, and the family of protocols

Theorem 5 (Devetak-Harrow-Winter "mother" 2004). The family of bipartite quantum information protocols built around teleportation, superdense coding, entanglement distillation, channel coding, state merging, and quantum data compression are unified by the Devetak-Harrow-Winter mother protocol: a single quantum-channel-coding theorem from which the others derive by composition with bit-flipping or qubit-flipping. The mother protocol consumes one $L$-qubit shared state and outputs $L$ ebits plus $LH(B|R)$ qubits of communication, where $H(B|R)$ is the conditional von Neumann entropy and $R$ purifies the channel.

Devetak-Harrow-Winter (2004 Phys. Rev. Lett. 93, 230504) identified the mother protocol as the source of teleportation, superdense coding, and other bipartite resource conversions. The father protocol (the dual of the mother, with the role of classical and quantum communication interchanged) and the baby protocols (specialisations to specific resource inputs/outputs) form a hierarchy: every bipartite-protocol resource inequality is a consequence of the mother + the elementary resource conversions $[\text{qubit}]\ge [\text{cbit}]$, $[\text{cbit}]\cdot 2+[\text{ebit}]\ge [\text{qubit}]$, $[\text{qubit}]+[\text{ebit}]\ge [\text{cbit}]\cdot 2$. The quantum reverse Shannon theorem (Bennett-Devetak-Harrow-Shor-Winter 2014) completes the picture.

Measurement-based quantum computation

Theorem 6 (Gottesman-Chuang 1999). Universal quantum computation can be implemented by single-qubit measurements alone, plus pre-shared entanglement in a cluster-state resource. Specifically, teleportation chains on a cluster state implement arbitrary unitary gates: each measurement teleports the state forward one step and applies a unitary determined by the measurement angle.

Gottesman-Chuang (1999 Nature 402, 390) recognised that teleportation can be used to implement unitary gates rather than just to move states: by teleporting through a modified Bell pair $(U\otimes I)|{\Phi }^{+}⟩$ instead of through the pure Bell pair, the output of teleportation is $U|\psi ⟩$ instead of $|\psi ⟩$. Chaining such teleportations with arbitrary unitaries yields a measurement-based universal-quantum-computation paradigm.

The Raussendorf-Briegel one-way quantum computer (2001 Phys. Rev. Lett. 86, 5188) extended the idea to cluster states, in which a fixed entangled resource is consumed adaptively by single-qubit measurements to implement an arbitrary quantum circuit. The model is operationally equivalent to the circuit model, but with a different physical realisation: the entanglement is generated up-front and the computation proceeds by measurement only.

Satellite-based entanglement distribution: the Micius experiments

Theorem 7 (Ren et al. 2017; Yin et al. 2017). The Chinese Micius satellite, launched in 2016 and operating in low-Earth orbit, has demonstrated ground-to-satellite quantum teleportation (Ren et al. 2017 Nature 549, 70) at a distance of $1400$ km between Ngari ground station in Tibet and the satellite, and satellite-based entanglement distribution (Yin et al. 2017 Science 356, 1140) over $1200$ km between two ground stations via the satellite as relay. The free-space optical link bypasses the exponential photon-loss scaling $\propto e^{-L/L_0}$ of fibre transmission.

The Micius experiments demonstrated that satellite-based quantum networks can scale to continental and intercontinental distances without requiring quantum repeaters in the link, by routing entanglement through line-of-sight free-space paths above the atmosphere. The 2017 ground-to-satellite teleportation transmitted single-photon polarisation states with fidelities exceeding the classical bound, completing the BBCJPW 1993 protocol over $1400$ km. The 2017 satellite-based entanglement distribution generated entangled photon pairs onboard the satellite and distributed them to ground stations $1200$ km apart, with CHSH violation confirmed at $>4\sigma$.

Quantum networks, the quantum internet, and device-independent teleportation

Theorem 8 (quantum-internet capacity, Wehner-Elkouss-Hanson 2018). A quantum internet built on Bell-pair distribution + teleportation + entanglement swapping can support a hierarchy of services: classical-quantum coexistence, blind quantum computation, device-independent quantum key distribution, distributed quantum computing, and clock synchronisation. The protocols are layered: physical-link Bell-pair generation, link-level entanglement purification, network-level entanglement routing, and application-level service composition.

Wehner-Elkouss-Hanson (2018 Science 362, 6412) laid out the architectural vision for a quantum internet, mapping the layers of the protocol stack to the corresponding quantum-information primitives. Teleportation appears at the network layer as the primitive for moving qubit states between nodes; entanglement swapping at the network layer for extending entanglement; purification at the link layer for noise resilience.

Device-independent teleportation (Lim-Christensen-Plenio 2010; later Acin-Brunner-Gisin-Massar-Pironio-Scarani 2007 framework) uses CHSH violation 12.17.03 to certify that Alice and Bob's shared resource is genuinely a Bell pair, without trusting the source device or the measurement devices. The certificate guarantees the fidelity of subsequent teleportation, with security proofs reducing to the CHSH bound.

Synthesis. Teleportation and superdense coding are the foundational reason quantum networks can be built on shared entanglement plus classical communication, and the central insight is the teleportation identity $|\psi {⟩}_A\otimes |{\Phi }^{+}⟩=\frac{1}{2}{\sum }_m|m{⟩}_{A{B}_A}\otimes U_m|\psi {⟩}_B$ that decomposes the four-term sum into a Bell-basis measurement on Alice's side and Pauli corrections on Bob's side. Putting these together with the Pauli-twirl identity gives the no-signalling property: Bob's reduced density matrix is maximally mixed before classical bits arrive, so entanglement plus measurement carries no instantaneous information. This is exactly the bridge between the BBCJPW 1993 discrete-variable protocol and the Braunstein-Kimble 1998 continuous-variable extension, which generalises the discrete Pauli corrections to displacement-and-squeezing corrections on optical mode quadratures.

The pattern recurs across the resource-theoretic hierarchy. Teleportation consumes 1 ebit + 2 cbits to transmit 1 qubit; superdense coding consumes 1 ebit + 1 qubit to transmit 2 cbits. The Devetak-Harrow-Winter mother protocol identifies both as specialisations of a single channel-coding theorem, and the quantum reverse Shannon theorem closes the resource-theoretic loop. Entanglement swapping (ZZHE 1993) generalises teleportation to two entangled pairs, identifying it with the operational primitive of quantum repeaters (BDCZ 1998); the BDCZ repeater architecture is exactly what enables long-distance entanglement distribution against photon loss. The bridge to satellite-based networks is the Micius experiments (Ren et al. 2017; Yin et al. 2017), which demonstrate ground-to-satellite teleportation at $1400$ km and entanglement distribution at $1200$ km via free-space optical links.

The structural depth extends into universal computation. Gottesman-Chuang (1999) identified teleportation through modified Bell pairs as implementing arbitrary unitaries, and Raussendorf-Briegel (2001) crystallised this into the measurement-based quantum-computation model on cluster states. The pattern generalises into the quantum-internet vision (Kimble 2008; Wehner-Elkouss-Hanson 2018), with teleportation as the network-layer primitive and entanglement swapping as the routing primitive. Device-independent teleportation builds on CHSH violation 12.17.03 to certify security from Bell-inequality tests alone, identifies teleportation with the operational signature of genuine entanglement, and closes the loop opened by Bennett-Brassard-Crépeau-Jozsa-Peres-Wootters in their 1993 Physical Review Letters derivation. The originator chain from BBCJPW 1993 through Bouwmeester et al. 1997 + Boschi et al. 1998 + Furusawa et al. 1998 + Riebe et al. 2004 + Barrett et al. 2004 + Ren et al. 2017 traces the path from theoretical proposal to satellite-scale operational demonstration in twenty-four years.

Full proof set Master

Proposition 1 (teleportation identity). For any $|\psi ⟩=\alpha |0⟩+\beta |1⟩\in {\mathbb{C}}^2$, $$|\psi {⟩}_A\otimes |{\Phi }^{+}{⟩}_{B_A{B}_B}=\frac{1}{2}[|{\Phi }^{+}⟩\otimes I|\psi ⟩+|{\Phi }^{-}⟩\otimes Z|\psi ⟩+|{\Psi }^{+}⟩\otimes X|\psi ⟩+|{\Psi }^{-}⟩\otimes XZ|\psi ⟩].$$

Proof. Expand in the computational basis and reorganise using the Bell-basis inversion formulae as in the Intermediate-tier Key theorem proof. The identification of Bob's qubit states with Pauli operations on $|\psi ⟩$ uses $Z|0⟩=|0⟩$, $Z|1⟩=-|1⟩$, $X|0⟩=|1⟩$, $X|1⟩=|0⟩$. $\square$

Proposition 2 (no-signalling for teleportation). Bob's reduced density matrix after Alice's Bell-basis measurement, averaged over the four equiprobable outcomes, is ${\rho }_B=I/2$, independent of $|\psi ⟩$.

Proof. Each outcome $m$ occurs with probability $1/4$ and leaves Bob's qubit in $U_m|\psi ⟩⟨\psi |U_m^{†}$. Average: $${\rho }_B=\frac{1}{4}\sum _m{U}_m|\psi ⟩⟨\psi |U_m^{†}=\frac{1}{4}(|\psi ⟩⟨\psi |+Z|\psi ⟩⟨\psi |Z+X|\psi ⟩⟨\psi |X+XZ|\psi ⟩⟨\psi |ZX).$$ This is the Pauli twirl of $|\psi ⟩⟨\psi |$ over the four-element subgroup $\{I,X,Z,XZ\}$ of the Pauli group. Decompose $|\psi ⟩⟨\psi |=(I+\vec{r}\cdot \vec{\sigma })/2$ on the Bloch sphere with Bloch vector $\vec{r}$. Each Pauli $P$ conjugating gives $P(\vec{r}\cdot \vec{\sigma })P^{†}={\vec{r}}_P\cdot \vec{\sigma }$ where ${\vec{r}}_P$ is $\vec{r}$ with two of its components flipped. Summing over $P\in \{I,X,Z,XZ\}$ cancels all three components of $\vec{r}$, leaving only the $I/2$ trace term. Hence ${\rho }_B=I/2$. $\square$

Proposition 3 (superdense coding correctness). Applying $X^{a_1}{Z}^{a_2}$ to Alice's half of $|{\Phi }^{+}⟩$ yields one of the four orthogonal Bell states, distinguishable by Bell-basis measurement on Bob's side after Alice sends her qubit.

Proof. By direct computation (Exercise 4), $(I\otimes I)|{\Phi }^{+}⟩=|{\Phi }^{+}⟩$, $(Z\otimes I)|{\Phi }^{+}⟩=|{\Phi }^{-}⟩$, $(X\otimes I)|{\Phi }^{+}⟩=|{\Psi }^{+}⟩$, $(XZ\otimes I)|{\Phi }^{+}⟩=-|{\Psi }^{-}⟩$. The four outputs are mutually orthogonal Bell states (Exercise 3); the overall phase on the $XZ$ case is irrelevant for the projective measurement. A Bell-basis measurement on the two-qubit state therefore distinguishes Alice's input $(a_1,a_2)\in \{0,1{\}}^2$ deterministically. $\square$

Proposition 4 (resource accounting). Teleportation consumes one ebit and two cbits per qubit transmitted. Superdense coding consumes one ebit and one qubit per two cbits transmitted. Without pre-shared entanglement, a qubit channel transmits at most one cbit per qubit (Holevo bound).

Proof. The teleportation protocol exactly transmits $|\psi ⟩$ to Bob with classical resource expenditure of two bits encoding the Bell-basis outcome (Proposition 1). Superdense coding uses the encoding $X^{a_1}{Z}^{a_2}$ to map $(a_1,a_2)$ to a Bell state Bob can decode (Proposition 3). The Holevo bound limits the classical capacity of a $d$-dimensional channel to $\log d$ bits per use, equal to $1$ for a qubit (Exercise 7). The superdense $2$-cbit-per-qubit rate exceeds the Holevo bound precisely because the channel is enlarged from one qubit to one qubit plus one ebit. $\square$

Proposition 5 (Bell-state Pauli orbit). The four Bell states $\{|{\Phi }^{+}⟩,|{\Phi }^{-}⟩,|{\Psi }^{+}⟩,|{\Psi }^{-}⟩\}$ are mutually obtained by single-qubit Pauli operations on $|{\Phi }^{+}⟩$: $|{\Phi }^{-}⟩=(Z\otimes I)|{\Phi }^{+}⟩$, $|{\Psi }^{+}⟩=(X\otimes I)|{\Phi }^{+}⟩$, $|{\Psi }^{-}⟩=(XZ\otimes I)|{\Phi }^{+}⟩$ (up to overall phase).

Proof. Direct computation as in Exercise 4. The Pauli group acts transitively on the Bell basis up to phase, and the four cosets of the stabiliser $\{(P\otimes Q):(P\otimes Q)|{\Phi }^{+}⟩=|{\Phi }^{+}⟩\text{ up to phase}\}$ inside $\{I,X,Y,Z{\}}^{\otimes 2}$ correspond to the four Bell states. $\square$

Connections Master

• Density matrix and pure/mixed states 12.17.01. The direct prerequisite. Alice's qubit after the Bell-basis measurement has reduced density matrix ${\rho }_A=I/2$ — the maximally mixed state — because the joint state of Alice's input and her Bell-half has been projected onto a Bell basis that maximally entangles the two. Bob's qubit reduced density matrix is also $I/2$ before classical bits arrive (Proposition 2). The density-matrix formalism of 12.17.01 is exactly the machinery that makes "the unknown state moved to Bob" precise: the density matrix on Bob's qubit after the protocol equals $|\psi ⟩⟨\psi |$, identical to the density matrix on Alice's qubit before the protocol.

• Entanglement and Schmidt decomposition 12.17.02. The other direct prerequisite. The Bell state $|{\Phi }^{+}⟩$ has Schmidt rank $2$ on ${\mathbb{C}}^2\otimes {\mathbb{C}}^2$ with Schmidt coefficients $(1/\sqrt{2},1/\sqrt{2})$ — maximally entangled. This maximal entanglement is the resource consumed by teleportation: one ebit per qubit transmitted. Less-entangled resources give imperfect teleportation, with fidelity bounded by the entanglement of formation of the shared state (Werner-state threshold in Exercise 5).

• Bell inequalities, CHSH, and the Tsirelson bound 12.17.03. The framework prerequisite. Bell-basis measurement on Alice's two qubits in the teleportation protocol is exactly the projective measurement onto the Bell basis discussed in 12.17.03. The Bell-state saturation of CHSH at $S=2\sqrt{2}$ certifies the genuine entanglement of the shared resource; device-independent teleportation uses CHSH violation as its security certificate, identifying the Bell-inequality-violation regime with the regime of secure entanglement-based communication.

• Hilbert space formalism 12.02.01. The foundation. The teleportation protocol lives entirely on the three-qubit Hilbert space ${\mathbb{C}}^2\otimes {\mathbb{C}}^2\otimes {\mathbb{C}}^2$, with the Bell-basis measurement as a projective measurement onto the orthonormal Bell basis and the Pauli corrections as unitary operators on the third tensor factor. The tensor-product structure is exactly the framework laid out in 12.02.01, and the projective-measurement postulate gives the probability $|1/2{|}^2=1/4$ for each Bell outcome.

• Quantum gates and universal sets 12.17.05 pending. The downstream specialisation. The four Pauli corrections $\{I,X,Z,XZ\}$ are the Pauli group on a single qubit, which is the foundational gate set for one-qubit quantum operations. Teleportation through modified Bell pairs $(U\otimes I)|{\Phi }^{+}⟩$ implements the gate $U$ on the teleported state (Gottesman-Chuang 1999), turning teleportation into a universal-computation primitive in measurement-based quantum computing (Raussendorf-Briegel 2001).

• No-cloning and no-deletion theorems 12.17.06 pending. The non-violation pair. Teleportation respects no-cloning (Wootters-Zurek 1982; Dieks 1982) because Alice's original qubit is destroyed during the Bell-basis measurement — projected into the maximally mixed state $I/2$ — so no copy exists at the end of the protocol. Teleportation respects no-signalling because Bob's reduced density matrix is $I/2$ until classical bits arrive (Proposition 2). The no-deletion theorem (Pati-Braunstein 2000) similarly is not violated: the state vector amplitudes are not deleted but moved across the protocol.

• Density operator and ensemble formalism 12.17.01. Pauli twirling, the operation appearing in Proposition 2, is the canonical entropy-injecting operation on a qubit: $(1/4){\sum }_{P}P\rho P^{†}=(\mathrm{tr}\rho /2)I$ for any density matrix $\rho$. The connection to teleportation is that the four equiprobable Pauli corrections, before Bob applies the right one, give exactly the Pauli twirl of $|\psi ⟩⟨\psi |$ on Bob's qubit, which is $I/2$ — the no-signalling property in operational form.

Historical and philosophical context Master

Bennett, Brassard, Crépeau, Jozsa, Peres, and Wootters (1993) ^[BBCJPW1993] in Physical Review Letters 70, 1895 introduced the quantum teleportation protocol. The six-author paper combined Bennett's prior work on quantum cryptography (Bennett-Brassard 1984 BB84), Crépeau's classical cryptographic background, Jozsa's mathematical physics, Peres's foundations of quantum mechanics, and Wootters's work on the no-cloning theorem (Wootters-Zurek 1982) and the Hughston-Jozsa-Wootters ensemble classification into a single protocol resolving the apparent tension between EPR-like nonlocality and the no-cloning theorem. The protocol consumes one ebit of entanglement plus two classical bits to transmit one qubit of quantum information, with the entanglement supplying the "shadow" of nonlocality the no-cloning theorem otherwise blocks.

The protocol's dual, superdense coding, had been published earlier by Bennett and Wiesner (1992) ^{[BennettWiesner1992]} in Physical Review Letters 69, 2881. The Bennett-Wiesner protocol predates teleportation by one year and was the first demonstration that entanglement can boost classical communication capacity by a factor of two over the Holevo bound. The two protocols form a complementary pair: teleportation moves quantum information at a cost of classical communication plus entanglement; superdense coding moves classical information at a cost of quantum transmission plus entanglement.

The first experimental quantum teleportation was performed by Bouwmeester, Pan, Mattle, Eibl, Weinfurter, and Zeilinger (1997) ^{[Bouwmeester1997]} in Nature 390, 575 at the University of Vienna. The experiment used spontaneous parametric down-conversion to generate entangled photon pairs, polarisation Bell-basis measurements on Alice's side, and polarisation tomography to verify the transmitted state on Bob's side. The Vienna experiment achieved teleportation only for the $|{\Psi }^{-}⟩$ outcome (one of the four Bell-basis cases), accepting a $25\%$ success rate, because complete Bell-basis discrimination is impossible with linear optics and single-photon counting alone. Boschi, Branca, De Martini, Hardy, and Popescu (1998) ^[Boschi1998] in Physical Review Letters 80, 1121 followed with a complete-Bell-measurement variant at the University of Rome, achieving teleportation in all four outcomes via a different optical setup using single-photon path encoding.

Continuous-variable teleportation was theorised by Braunstein and Kimble (1998) ^{[BraunsteinKimble1998]} in Physical Review Letters 80, 869 and demonstrated experimentally by Furusawa, Sorensen, Braunstein, Fuchs, Kimble, and Polzik (1998) ^{[Furusawa1998]} in Science 282, 706, using EPR-correlated optical-mode quadratures, homodyne detection, and displacement corrections to teleport coherent states between two squeezed-light sources. The Furusawa experiment achieved teleportation fidelity $F=0.58\pm 0.02$, decisively above the no-cloning classical bound $F_{\text{class}}=0.5$ for coherent-state transmission.

The first deterministic teleportation experiments (where the protocol succeeds in $100\%$ of trials rather than $25\%$ post-selected) were Riebe et al. (2004) ^[Riebe2004] in Nature 429, 734 at Innsbruck using calcium ions in a Paul trap, and Barrett et al. (2004) ^{[Barrett2004]} in Nature 429, 737 at NIST Boulder using beryllium ions. Both experiments performed complete Bell-basis discrimination via the nonlinear interactions available in trapped-ion systems and verified high-fidelity teleportation of internal-state qubits.

Entanglement swapping was theorised by Zukowski, Zeilinger, Horne, and Ekert (1993) ^[ZZHE1993] in Physical Review Letters 71, 4287 as a method to entangle two particles that have never interacted. The Zukowski-Zeilinger-Horne-Ekert protocol is the operational primitive underlying quantum repeaters, theorised by Briegel, Dür, Cirac, and Zoller (1998) ^[BDCZ1998] in Physical Review Letters 81, 5932 as the architecture for long-distance entanglement distribution against photon-loss in optical fibre.

The most striking experimental demonstration of teleportation at scale is the Chinese Micius satellite programme. Ren et al. (2017) ^[Ren2017] in Nature 549, 70 achieved ground-to-satellite quantum teleportation from the Ngari ground station in Tibet to the Micius satellite at $1400$ km, the longest-distance teleportation to date. Yin et al. (2017) ^[Yin2017] in Science 356, 1140 achieved satellite-based entanglement distribution over $1200$ km between two ground stations using the Micius satellite as relay. The Micius experiments demonstrate that satellite-based quantum networks can bypass the exponential fibre-loss scaling and enable continental-scale entanglement distribution.

The theoretical structure underlying teleportation extends into the resource-theoretic framework. Devetak, Harrow, and Winter (2004) ^[DHW2004] in Physical Review Letters 93, 230504 introduced the "mother of all protocols", a single channel-coding theorem from which teleportation, superdense coding, entanglement distillation, and quantum channel coding all derive by composition. The mother protocol, together with the father protocol and the quantum reverse Shannon theorem (Bennett-Devetak-Harrow-Shor-Winter 2014), provides a unified resource calculus for bipartite quantum information.

Gottesman and Chuang (1999) ^{[GottesmanChuang1999]} in Nature 402, 390 identified teleportation through modified Bell pairs as a method to implement arbitrary unitary gates, founding the measurement-based quantum-computation paradigm. The Raussendorf-Briegel one-way quantum computer (2001 Phys. Rev. Lett. 86, 5188) extended the idea to cluster states, demonstrating that universal quantum computation can proceed via single-qubit measurements alone on a fixed entangled resource.

The forward path leads to quantum networks and the quantum internet (Kimble 2008 ^[Kimble2008] Nature 453, 1023; Wehner-Elkouss-Hanson 2018 ^{[WehnerElkoussHanson2018]} Science 362, 6412), in which teleportation is the network-layer primitive for moving qubit states between nodes, entanglement swapping is the routing primitive, purification is the noise-resilience primitive, and CHSH violation is the security primitive. From the 1993 BBCJPW paper to the 2017 Micius satellite to the 2018 Wehner-Elkouss-Hanson quantum-internet architecture, the path traces twenty-five years of operational quantum networking built on one core identity: the teleportation identity that decomposes a quantum channel into Bell measurement plus classical feedforward plus Pauli correction.

The Holevo bound (Holevo 1973) ^[Holevo1973] in Problems of Information Transmission 9, 177 caps the classical capacity of a qubit channel at one cbit per qubit in the no-entanglement setting. Superdense coding's two-cbit-per-qubit rate beats this bound by leveraging shared entanglement, exactly the resource teleportation consumes in the reverse direction. The two protocols sit symmetrically across the entanglement bridge: each converts between classical and quantum resources at the maximal rate consistent with the resource constraints, and together they exemplify the symbiosis of classical and quantum information in modern quantum information theory.

Bibliography Master

@article{BBCJPW1993,
  author = {Bennett, Charles H. and Brassard, Gilles and Crépeau, Claude and Jozsa, Richard and Peres, Asher and Wootters, William K.},
  title = {Teleporting an unknown quantum state via dual classical and {Einstein-Podolsky-Rosen} channels},
  journal = {Physical Review Letters},
  volume = {70},
  pages = {1895-1899},
  year = {1993},
}

@article{BennettWiesner1992,
  author = {Bennett, Charles H. and Wiesner, Stephen J.},
  title = {Communication via one- and two-particle operators on {Einstein-Podolsky-Rosen} states},
  journal = {Physical Review Letters},
  volume = {69},
  pages = {2881-2884},
  year = {1992},
}

@article{Bouwmeester1997,
  author = {Bouwmeester, Dik and Pan, Jian-Wei and Mattle, Klaus and Eibl, Manfred and Weinfurter, Harald and Zeilinger, Anton},
  title = {Experimental quantum teleportation},
  journal = {Nature},
  volume = {390},
  pages = {575-579},
  year = {1997},
}

@article{Boschi1998,
  author = {Boschi, D. and Branca, S. and De Martini, F. and Hardy, L. and Popescu, S.},
  title = {Experimental realization of teleporting an unknown pure quantum state via dual classical and {Einstein-Podolsky-Rosen} channels},
  journal = {Physical Review Letters},
  volume = {80},
  pages = {1121-1125},
  year = {1998},
}

@article{BraunsteinKimble1998,
  author = {Braunstein, Samuel L. and Kimble, H. Jeff},
  title = {Teleportation of continuous quantum variables},
  journal = {Physical Review Letters},
  volume = {80},
  pages = {869-872},
  year = {1998},
}

@article{Furusawa1998,
  author = {Furusawa, Akira and Sorensen, Jens L. and Braunstein, Samuel L. and Fuchs, Christopher A. and Kimble, H. Jeff and Polzik, Eugene S.},
  title = {Unconditional quantum teleportation},
  journal = {Science},
  volume = {282},
  pages = {706-709},
  year = {1998},
}

@article{ZZHE1993,
  author = {Żukowski, Marek and Zeilinger, Anton and Horne, Michael A. and Ekert, Artur K.},
  title = {Event-ready-detectors {Bell} experiment via entanglement swapping},
  journal = {Physical Review Letters},
  volume = {71},
  pages = {4287-4290},
  year = {1993},
}

@article{BDCZ1998,
  author = {Briegel, Hans-J. and Dür, Wolfgang and Cirac, J. Ignacio and Zoller, Peter},
  title = {Quantum repeaters: The role of imperfect local operations in quantum communication},
  journal = {Physical Review Letters},
  volume = {81},
  pages = {5932-5935},
  year = {1998},
}

@article{GottesmanChuang1999,
  author = {Gottesman, Daniel and Chuang, Isaac L.},
  title = {Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations},
  journal = {Nature},
  volume = {402},
  pages = {390-393},
  year = {1999},
}

@article{Riebe2004,
  author = {Riebe, Mark and Häffner, Hartmut and Roos, Christian F. and Hänsel, Wolfgang and Benhelm, Jan and Lancaster, Gavin P. T. and Körber, Timo W. and Becher, Christoph and Schmidt-Kaler, Ferdinand and James, Daniel F. V. and Blatt, Rainer},
  title = {Deterministic quantum teleportation with atoms},
  journal = {Nature},
  volume = {429},
  pages = {734-737},
  year = {2004},
}

@article{Barrett2004,
  author = {Barrett, M. D. and Chiaverini, J. and Schaetz, T. and Britton, J. and Itano, W. M. and Jost, J. D. and Knill, E. and Langer, C. and Leibfried, D. and Ozeri, R. and Wineland, D. J.},
  title = {Deterministic quantum teleportation of atomic qubits},
  journal = {Nature},
  volume = {429},
  pages = {737-739},
  year = {2004},
}

@article{Ren2017,
  author = {Ren, Ji-Gang and Xu, Ping and Yong, Hai-Lin and Zhang, Liang and Liao, Sheng-Kai and Yin, Juan and Liu, Wei-Yue and Cai, Wen-Qi and Yang, Meng and Li, Li and Yang, Kui-Xing and Han, Xuan and Yao, Yong-Qiang and Li, Ji and Wu, Hai-Yan and Wan, Song and Liu, Lei and Liu, Ding-Quan and Kuang, Yao-Wu and He, Zhi-Ping and Shang, Peng and Guo, Cheng and Zheng, Ru-Hua and Tian, Kai and Zhu, Zhen-Cai and Liu, Nai-Le and Lu, Chao-Yang and Shu, Rong and Chen, Yu-Ao and Peng, Cheng-Zhi and Wang, Jian-Yu and Pan, Jian-Wei},
  title = {Ground-to-satellite quantum teleportation},
  journal = {Nature},
  volume = {549},
  pages = {70-73},
  year = {2017},
}

@article{Yin2017,
  author = {Yin, Juan and Cao, Yuan and Li, Yu-Huai and Liao, Sheng-Kai and Zhang, Liang and Ren, Ji-Gang and Cai, Wen-Qi and Liu, Wei-Yue and Li, Bo and Dai, Hui and Li, Guang-Bing and Lu, Qi-Ming and Gong, Yun-Hong and Xu, Yu and Li, Shuang-Lin and Li, Feng-Zhi and Yin, Ya-Yun and Jiang, Zi-Qing and Li, Ming and Jia, Jian-Jun and Ren, Ge and He, Dong and Zhou, Yi-Lin and Zhang, Xiao-Xiang and Wang, Na and Chang, Xiang and Zhu, Zhen-Cai and Liu, Nai-Le and Chen, Yu-Ao and Lu, Chao-Yang and Shu, Rong and Peng, Cheng-Zhi and Wang, Jian-Yu and Pan, Jian-Wei},
  title = {Satellite-based entanglement distribution over 1200 kilometers},
  journal = {Science},
  volume = {356},
  pages = {1140-1144},
  year = {2017},
}

@article{Holevo1973,
  author = {Holevo, Alexander S.},
  title = {Bounds for the quantity of information transmitted by a quantum communication channel},
  journal = {Problems of Information Transmission},
  volume = {9},
  pages = {177-183},
  year = {1973},
}

@article{DHW2004,
  author = {Devetak, Igor and Harrow, Aram W. and Winter, Andreas},
  title = {A family of quantum protocols},
  journal = {Physical Review Letters},
  volume = {93},
  pages = {230504},
  year = {2004},
}

@article{Kimble2008,
  author = {Kimble, H. Jeff},
  title = {The quantum internet},
  journal = {Nature},
  volume = {453},
  pages = {1023-1030},
  year = {2008},
}

@article{WehnerElkoussHanson2018,
  author = {Wehner, Stephanie and Elkouss, David and Hanson, Ronald},
  title = {Quantum internet: A vision for the road ahead},
  journal = {Science},
  volume = {362},
  pages = {eaam9288},
  year = {2018},
}

@article{RaussendorfBriegel2001,
  author = {Raussendorf, Robert and Briegel, Hans J.},
  title = {A one-way quantum computer},
  journal = {Physical Review Letters},
  volume = {86},
  pages = {5188-5191},
  year = {2001},
}

@article{WoottersZurek1982,
  author = {Wootters, William K. and Zurek, Wojciech H.},
  title = {A single quantum cannot be cloned},
  journal = {Nature},
  volume = {299},
  pages = {802-803},
  year = {1982},
}

@book{NielsenChuang2010,
  author = {Nielsen, Michael A. and Chuang, Isaac L.},
  title = {Quantum Computation and Quantum Information},
  edition = {10th Anniversary},
  publisher = {Cambridge University Press},
  year = {2010},
}

@book{Wilde2017,
  author = {Wilde, Mark M.},
  title = {Quantum Information Theory},
  edition = {2nd},
  publisher = {Cambridge University Press},
  year = {2017},
}

@book{Preskill,
  author = {Preskill, John},
  title = {Lecture Notes on Quantum Computation},
  publisher = {Caltech Ph219},
  note = {Available online at theory.caltech.edu/people/preskill/ph229},
}