Under the intended assumption that one use of the quantum channel transmits one qubit without noise, Alice can communicate two classical bits with certainty if she and Bob already share a Bell pair. She uses superdense coding. The prior distribution of the Bell pair must be a resource available before the permitted channel use; distributing it through that same channel would consume another use.
Take the shared Bell state to be , with Alice holding the first qubit. For a two-bit message , Alice applies the local unitary operation to her qubit. The four encoded pure states are, up to irrelevant global phases,
They are orthogonal: for any matrix on the first qubit, , and the four Pauli operators are orthogonal in the trace inner product. Explicitly,
Alice sends her qubit through the quantum channel once. Bob now holds both qubits and performs a Bell-basis measurement. Its four orthogonal projectors identify with certainty, giving
Before the transmission, Bob's reduced density matrix is for every message, so shared entanglement alone does not convey the message.
Without shared entanglement, a noiseless single-qubit transmission cannot perfectly distinguish four messages: perfect discrimination requires orthogonal state supports, and its two-dimensional Hilbert space has room for at most two nonzero mutually orthogonal supports. The Holevo bound also limits its accessible classical information to one bit. For the usual protocol starting with a shared two-qubit pure state and using local unitary encodings, exact two-bit transmission requires a maximally mixed Bob marginal. Indeed all encoded joint states are pure and have the same , while Subadditivity of Von Neumann entropy gives their average entropy at most . Four equally likely perfectly distinguishable messages have average Von Neumann entropy two, forcing and hence a maximally entangled state.
The specification “quantum channel” alone does not determine its dimension or noise, so the one-qubit, noiseless interpretation is needed for this particular conclusion. A noiseless four-dimensional channel could send four orthogonal states without any shared entanglement; a completely depolarizing qubit channel cannot transmit the message even with a shared Bell pair, since its output is independent of Alice's encoding. Shared entanglement is therefore the extra resource for the intended single-qubit channel, not a guarantee for every unspecified quantum channel.
Write the unknown pure photon polarization qubit as
The polarizing beam splitter sends the component down the lower path and the component up the upper path. After rotating the upper photon polarization to , both paths have the same internal quantum state and can interfere at BS2. Absorb fixed apparatus phases into a calibrated zero for the tunable quantum phase. With the preceding reflection convention, the quantum state before BS2 is , so the two output amplitudes are
Consequently
Repeated counts while scanning determine the complex quantum coherence . The interference visibility is , and the fringe position determines the relative quantum phase whenever both components are nonzero.
A fringe alone is not enough to determine an arbitrary photon polarization quantum state: it fixes but not which of and is larger. Indeed, and both give the flat fringe . For a general pure quantum state, the two possible population differences are
Resolve this ambiguity by temporarily detecting the two paths before BS2. Their relative counts give and using the same polarizing beam splitter and detectors. Taking as a global-phase choice, the reconstructed quantum state for is
If , it is up to a global phase. This completes interferometric polarization tomography. The counts are obtained from many identically prepared photons; they do not identify an arbitrary quantum state from one photon.
Use a concatenated quantum error-correcting code: each of the five outer-code qubits is encoded in its own five-qubit inner block. Independent physical errors and ideal inner correction make each decoded block act as one outer qubit with error probability . Errors in distinct inner blocks remain independent in this model. Outer recovery succeeds if at most one of the five decoded blocks is bad, giving
Thus the two-level logical failure probability is
This improves the leading error order from for a bare qubit to for one level and for two. At least two physical errors must occur in each of two different inner blocks to defeat the prescribed two-stage decoder. Many error patterns with more than one error in the full 25-qubit register are therefore corrected: one error in each of all five blocks is removed at the inner level, and a single failed inner block is corrected at the outer level. Concentrating several physical errors in one block can be easier for this decoder than placing two errors in each of two blocks.
More generally, levels use physical qubits with recursion . For , one has . Repeated concatenation decreases to zero: its limit must be a fixed point of the continuous function , and below the only fixed point is zero. A simple quantitative bound is , obtained by the union bound over the ten pairs of possible error positions. Induction gives
which proves rapid suppression when ; the exact threshold is the larger value . Above this recursion amplifies errors instead.
Figure 1.
One and two levels of ideal five-qubit error correction below and above the transmission-error threshold
. Details.
Below threshold, concatenation suppresses logical errors while allowing an entire bad inner block to be corrected at the next level. The cost is additional physical qubits, gates, syndrome extraction and recovery. The calculated threshold concerns the independent transmission-noise model with perfect encoding and recovery; including noisy operations or correlated channel errors requires a different error analysis.
Assume independent physical-qubit errors with common probability , ideal encoding and recovery, and the specified rule that every block with two or more errors fails. The number of physical errors has a binomial distribution with parameters . Correct recovery occurs for zero or one error, so
The corresponding logical failure probability is
An unencoded qubit succeeds with probability . Thus encoding improves this probability precisely when . Factoring gives
On , the sign is the sign of . Its derivative is : it is positive until and negative afterwards on . Since , and its interior maximum is positive, there is exactly one zero in . The five-qubit concatenation threshold is therefore
At the two success probabilities agree; above it this decoder makes the error rate worse. At both schemes succeed perfectly, and at both fail under the stated error model. The small- behavior exhibits cancellation of every single-qubit-error contribution.
The Bloch vector representation of a qubit density matrix is , where and . Pure states have , while the origin represents the maximally mixed state , not a pure state.
For the two preparations, direct evaluation of the Pauli matrices gives
Their dot product is , so their Bloch vectors meet at angle , or degrees. This is the angle between Bloch vectors; the angle determined by the modulus of the Hilbert-space overlap is different.
Completeness of the POVM requires . In the computational basis, subtraction gives
An overall phase of is immaterial. The matrix has eigenvalues and zero, so it is positive; together with it is a valid trine qubit POVM.
The Born rule gives . The conditional probabilities are
Outcome one identifies , since is orthogonal to ; outcome two identifies , since is orthogonal to . Outcome three is inconclusive. If Alice's prior probability for is , the unconditional outcome probabilities are , , and respectively. Because outcome three has the same likelihood for both preparations, it leaves the prior odds unchanged. Bob's conclusive identification succeeds with probability one half and is never wrong; he does not identify the state on the inconclusive trials. This is unambiguous quantum state discrimination.
A linear map is a completely positive map if sends every positive operator to a positive operator for every finite-dimensional auxiliary system . Positivity of alone tests only inputs without an auxiliary system and is weaker.
For the Kraus representation, let be any operator on the auxiliary system and the input system. Then
For any vector , its expectation is . Every amplification is therefore positive, proving the Kraus-form map is completely positive. No normalization condition on the is needed for this positivity proof. To make it a deterministic quantum channel, one additionally requires ; a physical outcome branch instead obeys .
Transposition is positive on one system: for any positive and any , is the complex conjugate of , hence is real and nonnegative. It fails complete positivity already for a qubit. Apply partial transposition to the second subsystem of the Bell state . The resulting operator is
On the antisymmetric vector , its eigenvalue is . Thus the partial transpose is not positive on this entangled input, and
The same witness embeds into any larger input dimension; in the exceptional one-dimensional case transposition is simply the identity.
Use most-significant-bit-first ordering, so and . Then the coefficient factors as . Expanding a tensor product over all bit strings proves the product decomposition of a Fourier phase state:
Each factor is a normalized one-qubit state. The whole register is therefore a product state, hence a separable state; no claim that arbitrary outputs of the Fourier transform are separable is needed. Reversing the bit convention reverses the order of these factors.
The PDF circuit has its upper wire controlling both CNOT gates. Its successive states are
The first arrow is the upper Hadamard gate; the middle phase arises because both ones receive a phase. The second CNOT disentangles and resets the lower wire. Hence the output is
This implements doubled logical phase using two parallel phase gates, rather than two serial applications on one qubit.
Write the promised phase as . Prepare three logical qubits in and attach zero ancillas in three blocks of sizes four, two and one. A block of size is prepared by fanout CNOT gates as
Apply one copy of to every physical qubit in every block, all in the same time step. Undo each fanout. The logical block output is and every ancillary wire returns to zero. This is parallel phase multiplication by coherent fanout; its intermediate entanglement copies basis labels, and does not clone an arbitrary quantum state.
For block weights , the three logical wires now contain
Apply the specified negative-sign quantum Fourier transform and measure. Part (a) gives label deterministically. Thus seven parallel phase-gate applications, on three logical wires and four ancillas, identify the phase in one oracle time step. Preparation, uncomputation and the Fourier transform cost no time under the stated model; using serial powers would not meet the time requirement.
Denote the normalized initial field by , and its shifted packets by
Here the photon-number kets are orthogonal Fock states. Counting shared number labels gives
After the interaction, linearity gives the joint state
Take the partial trace over the field. Put and . In the ordered qubit basis , the reduced density matrix is
For example, its upper off-diagonal entry is half the overlap of the field accompanying with the field accompanying , fixing the conjugation order. The trace is one, and positivity follows because this is the partial trace of a normalized pure state. For , ; at it is zero, not the continuation . This is the photon-number reference for a Hadamard gate channel, not an actual coherent-state packet.