Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 37 5 a Solution Created 2026-10-03 Updated 2026-10-14
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, givingBefore 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.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 58 1 ii Solution Created 2026-10-03 Updated 2026-10-14
Write the unknown pure photon polarization qubit asThe 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 areConsequentlyRepeated 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 areResolve 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 isIf , 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.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 58 3 iii Solution Created 2026-10-03 Updated 2026-10-14
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, givingThus the two-level logical failure probability isThis 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 giveswhich proves rapid suppression when ; the exact threshold is the larger value . Above this recursion amplifies errors instead.
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.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 58 3 ii Solution Created 2026-10-03 Updated 2026-10-14
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, soThe corresponding logical failure probability isAn unencoded qubit succeeds with probability . Thus encoding improves this probability precisely when . Factoring givesOn , 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 thereforeAt 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.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 33 1 Solution Created 2026-10-03 Updated 2026-10-14
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 givesTheir 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 givesAn 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 areOutcome 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.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 33 2 Solution Created 2026-10-03 Updated 2026-10-14
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. ThenFor 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 isOn the antisymmetric vector , its eigenvalue is . Thus the partial transpose is not positive on this entangled input, andThe same witness embeds into any larger input dimension; in the exceptional one-dimensional case transposition is simply the identity.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 58 1 b Solution Created 2026-10-03 Updated 2026-10-14
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.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 58 1 c Solution Created 2026-10-03 Updated 2026-10-14
The PDF circuit has its upper wire controlling both CNOT gates. Its successive states areThe 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 isThis implements doubled logical phase using two parallel phase gates, rather than two serial applications on one qubit.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 58 1 d Solution Created 2026-10-03 Updated 2026-10-14
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 asApply 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 containApply 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.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 58 2 a Solution Created 2026-10-03 Updated 2026-10-14
Denote the normalized initial field by , and its shifted packets byHere the photon-number kets are orthogonal Fock states. Counting shared number labels givesAfter the interaction, linearity gives the joint stateTake the partial trace over the field. Put and . In the ordered qubit basis , the reduced density matrix isFor 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.
