Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 325 (Quantum Information, Foundations and Gravity)

Let $q=({\mathbf{q}}_1,\dots ,{\mathbf{q}}_N)$ denote the particle positions. In the Ghirardi--Rimini--Weber model, the wavefunction obeys the ordinary Schrodinger equationbetween random collapses. Each particle $i$ has an independent Poisson process of collapse times with rate $\lambda$. At such a time the state jumps according towhere the random centre has probability density $\Vert L_i(\mathbf{X})\psi {\Vert }^2$. The normalization is arranged so that $\int d^{3}X{L}_i(\mathbf{X}{)}^2=I$.

The original GRW scales are approximatelyAn isolated microscopic particle is therefore exceedingly unlikely to collapse during a laboratory experiment. A macroscopic pointer containing about $N\sim 10^{23}$ relevant particles has total collapse rate $N\lambda \sim 10^7{\mathrm{s}}^{-1}$ and collapse time about $10^{-7}\mathrm{s}$. After a measurement interaction correlates different microscopic outcomes with pointer positions separated by much more than $r_C$, one constituent's localization suppresses all incompatible pointer branches. This GRW amplification mechanism produces one definite macroscopic outcome with probabilities given by the Born rule, while leaving ordinary microscopic unitary time evolution almost unchanged.

For one spatial coordinate, average over the random centre of one collapse. The resulting density operator has position-space kernelIts diagonal is unchanged, so $⟨x⟩$ and $⟨x^2⟩$ are unchanged. The first derivative of the Gaussian factor vanishes at $x=x^{\prime }$, so $⟨p⟩$ is also unchanged. Its second derivative does not vanish, and the position representation of the momentum operator givesIn three dimensions the increase in total ${\mathbf{p}}^2$ is $3{\hslash }^2/(2r_C^2)$, corresponding to kinetic-energy increase $3{\hslash }^2/(4m{r}_C^2)$ per collapse. These are ensemble statements: conditioning on one specified collapse centre can shift the position moments. Repetition at rate $\lambda$ predicts GRW spontaneous heating, so precision searches for anomalous bulk heating, spontaneous radiation, momentum diffusion, and loss of matter-wave interference test the model.

The pure state $|\Psi {⟩}_{AB}$ is entangled when it cannot be written as a product state $|a{⟩}_A|b{⟩}_B$, equivalently when its Schmidt rank exceeds one. Its subsystem states are the reduced density matriceswhere the partial trace is characterized by $\mathrm{Tr}(M_A{\rho }_A)=⟨\Psi |M_A\otimes I_B|\Psi ⟩$ for every observable $M_A$.

Let Bob's measurement have Kraus operators $M_b$ satisfying ${\sum }_b{M}_b^{†}{M}_b=I_B$. If Alice does not learn Bob's random outcome, her state after the measurement isThis no-communication theorem means that Bob can change Alice's conditional state after she learns his outcome, but cannot change any local outcome distribution available to her alone. Standard nonrelativistic quantum mechanics is therefore operationally compatible with the prohibition of superluminal signalling in special relativity, despite its nonlocal conditional-state updates.

An exact nondisturbing state readout would destroy this protection if it reported the globally collapsed state on an absolute-time slice. For example, Alice and Bob may share Bell states. At a prearranged time Bob encodes a bit by measuring his qubit in either the computational or Hadamard basis. The usual projection postulate assigns Alice respectively one of $|0⟩,|1⟩$ or one of $|+⟩,|-⟩$. A device returning the exact pure state lets Alice identify which basis Bob chose without waiting for his outcome, producing a superluminal signal. Equivalently, Bob may choose whether to measure, and the device distinguishes the resulting proper pure state from the original improper maximally mixed local state.

A causal alternative is a quantum state readout device located at a spacetime point $x$ that reports the local quantum state under objective collapse: take reduced states on spacelike hypersurfaces through $x$ and let those hypersurfaces approach the past light cone of $x$. The result includes localized collapses in $J^{-}(x)$ and excludes spacelike-separated collapses. This assumes a fixed Minkowski spacetime, localized collapse events, ordinary local unitary dynamics between them, and outputs that may control only operations in their causal future. The postulate is logically consistent because it adds a classical record of this local state without changing the state or any standard measurement probability. It also cannot support an indirect signalling algorithm. Inductively through the algorithm's events, every readout at $x$ depends only on operations, collapses, and earlier readouts in $J^{-}(x)$; any operation selected from that output lies in the readout's future light cone. Composing readouts, unitary evolutions, and measurements therefore never carries a controllable dependence outside a future light cone, so relativistic causality is preserved.

Take $|L⟩=|0⟩$ and $|R⟩=|1⟩$. Initially the two masses are in the product stateThe branch-dependent Newtonian gravitational potential energy is $-G{m}^2/d_{ab}$. Under the stated approximation, only the $|RL⟩$ branch acquires an appreciable relative phase, so after time $t$,The determinant of its two-by-two coefficient matrix is $(1-e^{i\varphi })/4$, which is nonzero unless $\varphi$ is a multiple of $2\pi$. Thus the state generally has Schmidt rank two: the branch-dependent gravitational phase creates gravitationally induced entanglement.

An entanglement witness has a bound obeyed by every separable quantum state and violated by at least one entangled state. For a product state with Bloch vectors $\mathbf{r}$ and $\mathbf{s}$,by the Cauchy-Schwarz inequality. Convexity gives the same bound for every separable mixed state. Consequently $W>1$ certifies entanglement; in conventional operator form, one of $I\mp (X\otimes Z+Y\otimes Y)$ has negative expectation whenever the absolute-value criterion is violated.

For the state above, direct use of the Pauli matrices givesWith the supplied values,which is close to $\pi$. Hence $W\simeq 2.00$, and to the nearest integerThis is the operating principle of the Bose--Marletto--Vedral experiment.

The Schmidt decomposition of an entangled pure two-qubit state has two nonzero terms. Absorb both complex phases into the local basis vectors and interchange the labels of the second qubit to obtainIn this state the only nonzero same-axis two-qubit Pauli correlators areAll mixed-axis correlators vanish. Expanding $(\mathbf{a}\cdot \mathbf{\sigma })\otimes (\mathbf{b}\cdot \mathbf{\sigma })$ therefore gives

For the four stated vectors this becomesIt follows immediately thatEvery separable quantum state obeys the corresponding CHSH inequality with upper bound two. Set $s=2c_0{c}_1>0$, choose ${\beta }^{\prime }=\pi -\beta$, and take $\tan \beta =s$ with $0<\beta <\pi /2$. The displayed expression is thenThus every entangled pure two-qubit state has local measurement correlations that no separable state can reproduce, which is Gisin's theorem. In an ideal Bose--Marletto--Vedral experiment, optimized local measurements can therefore witness any nonzero pure-state entanglement generated during the gravitational interaction. If gravity is the only interaction between the masses, such a violation shows that the mediator cannot be described by a purely classical local variable under the assumptions of the proposal; experimentally, control of decoherence and nongravitational forces is essential to that inference.