Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-57/2/c/solution

Take and label the first vector of each measurement basis by outcome . Assign the Pauli measurement value to outcome and to outcome . The four observables are
Here and are the Pauli X gate and Pauli Z gate matrices. These follow by subtracting the two rank-one basis projectors; a real basis rotated through has observable .
The Schmidt-basis Pauli correlation tensor of the state gives
Consequently , and , where . For binary outcomes, , whereas the final offset term has . The chained modular Bell inequality left side is therefore
The local bound is , so the exact violation condition is
Equality saturates the bound. The maximal violation for these fixed measurements occurs at or their common negative, giving . Opposite signs do not violate this particular inequality with these fixed bases, although other measurement choices can reveal the state's entanglement. If unnormalized real amplitudes are used, replace throughout by .

New to topics? Read the docs here!