Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2022/quantum-information/1/c/ii/solution

Let denote the conditional winning probability in the CHSH game. With both settings zero, computational-basis measurements of the Bell state always agree, so . When just one setting is one, Bob's conditional pure state from part (i), or the corresponding calculation with Alice and Bob exchanged, gives agreement probability . Hence .
For , winning requires different output bits. Alice obtains each of her two outcomes with probability . Given her first outcome, Bob's desired overlap is
given her second outcome, the other desired overlap is . Thus . Averaging over the four equally likely inputs gives
The maximum winning probability for noncommunicating classical players is , the game form of the CHSH inequality. Setting , strict improvement requires , or . On the stipulated interval this gives
The endpoints give equality with the classical bound. Within this reflected real-basis CHSH strategy, the maximum is at , namely ; this follows by completing the square in .

New to topics? Read the docs here!