Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 325 / 4 / Solution

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.