Past exam of the quantum information course of the University of Cambridge / 2015 / Paper 1 / 3

A bipartite pure state is entangled when it is not a product state. Its Schmidt decomposition is $|\psi ⟩={\sum }_i\sqrt{{\lambda }_i}|i_A{i}_B⟩$, where ${\lambda }_i\ge 0$ and ${\sum }_i{\lambda }_i=1$. More than one nonzero coefficient means entanglement. The two reduced density matrices have the same nonzero spectrum, and their Von Neumann entropy $-{\sum }_i{\lambda }_i{\log }_2{\lambda }_i$ is the pure-state entanglement entropy. A maximally entangled pair of qubits has one bit of this entropy.

For mixed states, classical correlations are not sufficient: a separable quantum state is a convex mixture ${\sum }_j{p}_j{\rho }_A^{(j)}\otimes {\rho }_B^{(j)}$, and entanglement means that no such decomposition exists. A reduced entropy alone no longer measures mixed-state entanglement. An entanglement witness or a suitable separability criterion can detect it.

Local unitary transformations preserve the Schmidt spectrum. More general local operations and classical communication can discard entanglement but cannot freely create it from a separable input. Nielsen's pure-state conversion theorem gives the exact deterministic criterion: $|\psi ⟩\to |\varphi ⟩$ is possible precisely when ${\lambda }^{\psi }\prec {\lambda }^{\varphi }$. In decreasing order, every partial sum for the input is no larger than the corresponding output sum, with equal totals. The direction matters: a uniform spectrum can be converted to a concentrated one; a product state cannot deterministically become a Bell pair.

A probabilistic local filter can concentrate a partially entangled pair. For $|\psi ⟩=\sqrt{\lambda }|00⟩+\sqrt{1-\lambda }|11⟩$ with $1/2\le \lambda <1$, Alice's successful operator $F=\mathrm{diag}(\sqrt{(1-\lambda )/\lambda },1)$ produces equal amplitudes. The outcome is a Bell pair with probability $2(1-\lambda )$; a complementary operator supplies a complete measurement. Failure is heralded, so there is no deterministic creation of a more entangled pair. This illustrates entanglement concentration.

Many-copy entanglement distillation and entanglement dilution connect noisy or nonuniform resources with standard Bell pairs. Entanglement enables quantum teleportation and other protocols, but classical communication is still required; the no-communication theorem excludes message transmission merely by choosing a distant local measurement.

A qubit has state $\alpha |0⟩+\beta |1⟩$ with $|\alpha {|}^2+|\beta {|}^2=1$. An $n$-qubit register occupies a $2^n$-dimensional Hilbert space and may contain entanglement. This large state space does not mean that a measurement reads out all its complex amplitudes: computational-basis outcomes occur with the Born rule probabilities.

A quantum circuit prepares a register, applies quantum gates, and measures selected outputs, possibly using classical feed-forward. Closed gates are unitary operators and therefore reversible; initialization, measurement and discarding can be treated using a larger system and environment. Single-qubit rotations together with an entangling two-qubit gate give a universal quantum gate set. The CNOT gate acts as $|x,y⟩\mapsto |x,y\oplus x⟩$.

For example, a Hadamard gate on the first qubit of $|00⟩$ followed by a CNOT creates $(|00⟩+|11⟩)/\sqrt{2}$. A Hadamard produces amplitudes with relative signs, so later gates can make unwanted alternatives interfere destructively and useful alternatives reinforce. Quantum algorithms organize this interference to improve a specified computational task; superposition alone does not supply an arbitrary speedup or permit reading every branch.

A finite discrete universal set such as Clifford gates together with a non-Clifford phase gate approximates general unitaries to chosen precision. Runtime includes the number of gates, repetitions and classical processing. Measurement outcomes may require multiple runs to estimate a probability or amplify success.

Quantum decoherence and imperfect gates limit an implementation. Quantum error correction encodes logical information into several physical qubits and measures error syndromes without directly learning the encoded amplitudes. Under appropriate noise and control assumptions, fault tolerance permits reliable longer computations; simply maintaining an isolated ideal state is not a realistic account of a large processor.

In de Broglie-Bohm theory, the system has both a wavefunction and an actual configuration of particle positions. The wavefunction obeys the Time-dependent Schrödinger equation; the configuration follows the guidance equation. For spinless particles without electromagnetic vector potentials, write $\Psi =R{e}^{iS/\hslash }$ using a dimensionful action $S$. ThenThe actual configuration selects a trajectory, while the guiding wave generally retains all branches. A measurement correlates system and apparatus configurations; the actual apparatus position lies in one recorded branch. Effective collapse follows when wave packets have separated sufficiently in configuration space, although the full wave continues its Schrödinger evolution.

Substituting the polar form into that equation yields the probability continuity equation and a modified Hamilton-Jacobi equation,The amplitude-dependent term is the quantum potential. Taking gradients gives a second-order force description, but initial velocities remain constrained by the guidance law. Nodes require care because the displayed quotient is singular there.

If the initial configuration distribution is $|\Psi {|}^2$, the same continuity equation preserves that distribution: quantum equilibrium equivariance. It then reproduces ordinary nonrelativistic quantum measurement statistics within the model's applicability. Equivariance preserves a distribution; it is not by itself a proof that every initial distribution equals $|\Psi {|}^2$.

For entangled particles the guiding wave lives on their joint configuration space, so one particle's velocity can depend on the distant actual configuration. This explicit nonlocality avoids the locality premise of a Bell inequality. In quantum equilibrium it does not permit controllable faster-than-light signalling. Spin extensions use a spinor wavefunction and its probability current; they need not assign a classical little spinning vector with simultaneous definite values for every spin component.

David Bohm developed this account in his two 1952 papers. The first sets out the dynamics and the second treats measurement and the relation to ordinary predictions.^[ref][ref] The theory supplies additional dynamical variables and a particular nonlocal account of outcomes, rather than deriving a unique interpretation from the standard wavefunction alone.