Suppose independent resource pairs have density matrices . An ideal complete Bell-basis measurement, followed by outcome-dependent Pauli gates, produces a chosen Bell state with white-noise visibility : either white-noise input makes the remote pair maximally mixed. If the reported label is reliable with probability and otherwise uniformly random, averaging the erroneous corrections makes that branch maximally mixed too, so . A second independent detector of the same quality during quantum teleportation adds another factor to the teleported Bloch vector.
Distributing one half of through a quantum bit-flip channel produces . 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 . This describes noise in resource distribution, not a perfect resource supplied by an independent channel.
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 possible messages and possible classical transmissions, let be the receiver's subnormalized conditional density matrix before decoding. The no-communication theorem gives , independent of , so . For each transmission , let be the decoding POVM. Averaging over equiprobable messages,
Perfect decoding of four messages requires , 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.
Initialize two qubits in . A Hadamard gate on the first followed by a controlled-NOT gate prepares the Bell state . The permitted T gates and Hadamard gates implement the needed Pauli gates exactly:
Apply , followed by . These are a Pauli Z gate on the first qubit and a Pauli X gate on the second, giving
Every operation is in the allowed gate set; no quantum measurement or probabilistic branch is needed.
Combine the hypothetical protocol with superdense coding. Before a message is chosen, Alice and Bob share a further Bell pair , with at Alice and at Bob, in addition to any resources needed for the hypothetical quantum teleportation protocol. To encode two classical bits , Alice applies the Pauli gates , preparing
The four choices are the four mutually orthogonal Bell states. Alice now uses the hypothetical protocol to teleport to Bob using only one classical bit. Its assumed preservation of the joint quantum state gives Bob both and in
Bob performs a Bell-basis measurement. Explicitly, a controlled-NOT gate , followed by a Hadamard gate on , gives
A computational-basis measurement therefore recovers both message bits with certainty after only one transmitted classical bit. The initial Bell pairs are shared before the message is chosen and carry no message themselves. This proves the classical communication lower bound for exact qubit teleportation: a perfect protocol preserving an external reference needs at least two transmitted classical bits.
Write the arbitrary initial pure state as
The reference vectors need not be normalized or orthogonal. By linearity, the same quantum teleportation calculation, with the identity operator on , gives the post-gate quantum state
Thus each outcome still has probability . Bob's Pauli gate correction leaves the normalized joint quantum state
All operations act trivially on , so the result is independent of its holder or location. This establishes teleportation as an identity channel on a reference, preserving quantum entanglement with the untouched reference. Since every corrected branch is the same, discarding the classical outcomes also leaves the required joint density matrix.
Alice holds the input qubit in and her half of a shared Bell pair ; Bob holds . Alice applies a controlled-NOT gate , then a Hadamard gate on . In the system order , the initial quantum state is
After these two quantum gates, direct expansion yields the quantum teleportation identity
Alice performs computational-basis measurements on , and sends the two classical bits to Bob. Each outcome has probability , independently of the input pure state. Bob applies the indicated Pauli gates: first , then , so his total correction is . In every branch,
This proves exact quantum teleportation using one Bell pair and two classical bits. Alice's original qubit has been measured; the protocol transfers the quantum state without leaving her another copy.
In quantum dense coding, a shared Bell pair lets Alice send two classical bits by transmitting one qubit. Use photon polarization as the computational basis, , , and define the Bell states
Alice and Bob initially share . Alice encodes a two-bit message by applying the Pauli operator to her qubit:
The last minus sign is a global phase. Alice transmits her photon to Bob, who now holds both qubits and uses a Bell-basis measurement to identify the message. The four Bell states are orthogonal, so an ideal Bell state analyzer decodes them without error. The resource cost is one previously shared Bell pair and one transmitted qubit per two classical bits; the shared quantum entanglement is consumed. Before transmission Bob's reduced density matrix is for every message, consistent with the no-communication theorem.
The BBO crystal supplies the polarization-entangled photon pair. An ultraviolet laser pumps this nonlinear optical crystal; spontaneous parametric down-conversion produces signal and idler photons with and phase matching . In a noncollinear type-II phase matching arrangement, collect the intersections of the two emission cones. The alternatives and must be indistinguishable in arrival time, spectrum and spatial mode. Compensation of birefringence and adjustment of the relative quantum phase then give ; a local Pauli X gate converts it to . Half-wave plates and other waveplates implement Alice's Pauli gates. The BBO is the pair source; the message is encoded subsequently by the local optical elements.[ref]
A basic passive linear optics Bell state analyzer with no extra resources identifies only two of the four polarization Bell states unambiguously. Thus the ideal two-bit capacity presupposes complete Bell-basis measurement; that basic optical implementation alone does not attain it deterministically.
In entanglement swapping, start with independent Bell pairs . Send qubits 2 and 3 to a central Bell state analyzer, retaining 1 and 4 at separate endpoints. Reordering the tensor product factors to group 23 and 14 gives the identity
Consequently each ideal Bell-basis measurement outcome has probability and projects 14 onto the corresponding Bell state, even though those two photons have never interacted. Communicating the two-bit result permits an endpoint Pauli gate to convert every outcome into the same chosen Bell pair. Without that record, the endpoints have , a product state, rather than a known entangled state.
The optical Bell state analyzer overlaps photons 2 and 3 at a balanced beam splitter, with matched spatial modes, spectra and arrival times, and resolves the output photon polarizations using polarizing beam splitters and single-photon detectors. Two-photon interference maps Bell states to different output patterns. The antisymmetric gives one photon in each output with opposite polarizations. The symmetric gives two opposite-polarization photons in the same output; the two polarization detectors there can resolve this pattern. The states give same-polarization pairs and remain mutually ambiguous in this basic setup. The detected pattern therefore heralds a particular endpoint Bell state. With ideal detection this arrangement succeeds unambiguously on two of four equally likely inputs, with probability ; the successful events can be selected. A complete analyzer would accept all four outcomes. The endpoint quantum entanglement is conditional on the measurement record, so it enables no instantaneous signalling.[ref]
Define the Hadamard basis and write . After the two-qubit quantum state is
Applying the Hadamard gate to the first qubit gives the normalized quantum state
For , , so
The first is a product state. The second is exactly the minus Bell state in the printed phase gate convention; its reduced density matrices are .
For three qubits, let use the ordered pair and the ordered pair . The two diagonal quantum gates commute. For their action before the final Hadamard gates is
If is even this is , and gives . If is odd, group the quantum superposition by the middle qubit:
Since and , the final states are
The odd case is a GHZ state: each individual qubit has reduced density matrix , and it is related to by the local Pauli gates . Conversely, applying those gates converts to that standard form. They have not been applied in the printed network, so the actual output used in the next part is .
In superdense coding, Alice and Bob initially share . Alice selects the same one-qubit Pauli gate according to her message and sends her single encoded qubit to Bob. He now has both halves and measures in the Bell basis. For the chosen assignment,
which reaches two bits for the uniform distribution. A circuit implementation first converts the resource convention with , then applies and , and measures both in the computational basis. The four outcomes are distinct; relabeling them restores the selected message order.
Before Alice's transmission, Bob's reduced density operator is for every choice of her local operation. Thus distributing the message-independent entangled resource has transmitted no information about the subsequently chosen message. It is nevertheless a real physical resource: the two-bit rate counts the one additional transmitted qubit after entanglement has been shared, not a free initial distribution. The deterministic conditional probabilities above establish perfect correlation rather than merely matching output and input entropies.
A resonant Rabi pi pulse gives
It swaps and with a common global phase, implementing the Pauli gate , or NOT. Its Bloch sphere action is a half-turn about the -axis.
The extra Pauli gate on the control is removed by . Conjugating the target by a Hadamard gate then gives
Thus, from left to right in the network, apply , then , then and ; the last two gates commute.
Figure 1.
Synthesis of a CNOT gate from the ion gate , and preparation of a Bell pair
. Details.
For a direct proof, the control-zero block of is and its control-one block is . Multiplication by changes the latter into . Since and , the result is
which is exactly the CNOT gate on all inputs, including quantum superpositions.
Each source has density matrix
Assume the two sources and the detector's random choices are independent. In the branch both resources are ideal. If either resource is , the remote pair remains after any specified Bell-basis measurement outcome. An ideal detector and the correction of part (b) therefore yield
When the detector instead reports an independent uniformly random label, the corresponding four Pauli gates average the conditional pair to . Thus
Here is the probability of the reliable-detector branch, not its total chance of being correct: that chance is .
For the usual two-setting CHSH inequality, the spin singlet state has correlation and the white-noise part has zero correlation, so . With Alice's axes and Bob's axes , the absolute CHSH inequality combination is . These settings are optimal for an isotropic correlation tensor, giving
This is the threshold for the standard CHSH inequality with optimized projective polarization measurements. The unqualified phrase “the Bell inequality” needs this choice of test; entanglement alone is a weaker requirement, and no claim about every possible Bell inequality is needed for this calculation.
After the first Bell-basis measurement and the announced correction, the shared Werner state has visibility . Ideal quantum teleportation through that resource is the depolarizing channel
One way to see this is to separate the singlet branch, which teleports perfectly with the appropriate known correction convention, from , which has no correlations and yields .
The additional Bell-basis measurement at Alice's station has its own independent reliable branch of probability . In its random-label branch the correction averages the four Pauli gates, again giving . Hence the actual teleported density matrix is
On sifted BB84 rounds, Bob measures in Alice's preparation basis. The preserved component gives the correct bit with certainty; the maximally mixed component gives an error with probability . Therefore
For it vanishes; if either parameter is zero it is . The result presumes successful full Bell-basis measurement outcomes and independent stated imperfections, without extra loss, polarization drift or dark counts.
Define and . From the branch calculation in part (b), outcome leaves
Thus the effective input teleported was . A Pauli X gate flips every bit and hence maps a Dicke state with excitations to one with excitations. Since , applying at every receiving party interchanges the two logical basis states and restores . Therefore
In particular Bob's uncorrected reduced density matrix is , and his correction returns it to the matrix in part (c). The remaining branches can likewise be corrected: implements logical up to the common global phase , while implements logical . Thus the outcome dependence can be removed by local Pauli gates even though the resulting copies remain imperfect.
For the known bit string , define the Pauli gate product . Its diagonal action is , where the binary inner product is taken modulo two. The Hadamard transform produces . Thus the required vectors for Grover search with a nonzero reflection label are
They remain orthonormal and . The new iterate is . Since commutes with the diagonal marked-state phase oracle and ,
Consequently its matrix on the signed basis is exactly the rotation matrix in part (a), proving the claimed equivalence of the two evolutions.
Quantum teleportation transfers the quantum state of an unknown qubit from a sender's carrier to a receiver's carrier. It also transfers correlations with any external reference. It does not determine classical amplitudes or send the original particle.
The standard deterministic protocol consumes one shared maximally entangled Bell pair and two classical bits from Alice to Bob. Alice performs a local Bell-basis measurement on the input and her half of the pair; Bob applies the corresponding local Pauli gate. The classical message is essential: before receiving it, Bob has the outcome-averaged density operator and cannot recover or detect the unknown state. The original input is consumed by the measurement, so quantum teleportation is compatible with the no-cloning theorem.
Write the arbitrary joint pure state of the input and an external reference as
The reference vectors need not be normalized or orthogonal. Share . Label Alice's Bell states by
Projecting onto this Bell basis gives the unnormalized state
Each outcome has probability . Alice sends and Bob applies , reversing the two Pauli gates. The final state is exactly for every outcome. In particular all input entanglement and other correlations with now belong to , while the reference marginal is unchanged. This is teleportation as an identity channel on a reference.
Conditioned on the record, Alice's two measured carriers are in and factor from . Thus no longer retains its original correlations with . There is no second copy, even when the teleported qubit was initially entangled with a larger system.