> import Data.Map (toList, fromListWith) > import Complex > infixl 7 .*

> victory a b s t = (a `xor` b) == (s && t)

> astrategy s = False > bstrategy t = False

> game = do

> s <- 0.5 .* return False + 0.5 .* return True > t <- 0.5 .* return False + 0.5 .* return True

> let a = astrategy s > let b = bstrategy t

> let score = victory a b s t > return score > play1 = collect game

play1

b

> aqstrategy b s = qreturn (False, b) > bqstrategy b t = qreturn (False, b)

game

> game' aqstrategy bqstrategy bits = do > s <- 0.5 .* preturn False + 0.5 .* preturn True > t <- 0.5 .* preturn False + 0.5 .* preturn True > (score, _, _) <- collect $ observe $ do > (abit, bbit) <- bits > (a, abit') <- aqstrategy abit s > (b, bbit') <- bqstrategy bbit t > let score = victory a b s t

abit'

bbit'

abit'

bbit'

> qreturn (score, abit', bbit')

> preturn score

False

True

> coin' = (1/sqrt 2) .* qreturn False + (1/sqrt 2) .* qreturn True > bits = do > a <- coin' > b <- coin' > return (a, b)

play1

> play2 = collect $ game' aqstrategy bqstrategy bits

> bell = (1/sqrt 2) .* qreturn (False, False) + (1/sqrt 2) .* qreturn (True, True) > play3 = collect $ game' aqstrategy bqstrategy bell

qreturn (b', b')

> aqstrategy' b False = rotate (0) b >>= \b' -> qreturn (b', b') > aqstrategy' b True = rotate (pi/2) b >>= \b' -> qreturn (b', b') > bqstrategy' b False = rotate (pi/4) b >>= \b' -> qreturn (b', b') > bqstrategy' b True = rotate (-pi/4) b >>= \b' -> qreturn (b', b')

> play4 = collect $ game' aqstrategy' bqstrategy' bell

> data W b a = W { runW :: [(a, b)] } deriving (Eq, Show, Ord) > mapW f (W l) = W $ map (\(a, b) -> (a, f b)) l > instance Functor (W b) where > fmap f (W a) = W $ map (\(a, p) -> (f a, p)) a > instance Num b => Monad (W b) where > return x = W [(x, 1)] > l >>= f = W $ concatMap (\(W d, p) -> map (\(x, q)->(x, p*q)) d) (runW $ fmap f l) > a .* b = mapW (a*) b > instance (Eq a, Show a, Num b) => Num (W b a) where > W a + W b = W $ (a ++ b) > a - b = a + (-1) .* b > _ * _ = error "Num is annoying" > abs _ = error "Num is annoying" > signum _ = error "Num is annoying" > fromInteger a = if a==0 then W [] else error "fromInteger can only take zero argument" > collect :: (Ord a, Num b) => W b a -> W b a > collect = W . filter ((/= 0) . snd) . toList . fromListWith (+) . runW > type P a = W Double a > type Q a = W (Complex Double) a > a `xor` b = a/=b > rotate :: Double -> Bool -> Q Bool > rotate theta True = let theta' = theta :+ 0 > in cos (theta'/2) .* return True - sin (theta'/2) .* return False > rotate theta False = let theta' = theta :+ 0 > in cos (theta'/2) .* return False + sin (theta'/2) .* return True > observe :: Ord a => Q a -> P a > observe = W . map (\(a, w) -> (a, magnitude (w*w))) . runW . collect

> preturn = return :: a -> P a > qreturn = return :: a -> Q a

Quantum mechanics allows the possibility of "spooky action at a distance", correlations between widely separated but simultaneous random events that can't be explained by probability theory. These events look like they secretly communicate with each other, but we also know that quantum mechanics prevents us sending messages faster than the speed of light. Nonetheless, even though we can't exploit non-locality to send messages faster than the speed of light, two cooperating parties can exploit non-locality to perform tasks better than would be possible without non-locality. The CHSH game is one such example.My goal here is to write code to emulate the CHSH game . It will require reusing the probability and quantum mechanics monads I've used here many times before . So I won't be explaining how these work.The CHSH game is cooperative in the sense that the two players, A and B, are attempting to work together to win. The two players are widely separated. Between the two players is the game show host. The host randomly generates a pair of bits, s and t. s is sent to A and t is sent to B. Neither A nor B gets to see the message sent to their partner. A and B must now simultaneously make their moves, stating a choice of bit.Call A's move a and B's move b. A and B win if they can arrange that a XOR b equals s AND t. So, for example, if A receives a true bit, and thinks B has also received a true bit, then A wants to make a move that differs from B's, otherwise A wants to make the same move as B. A and B are allowed to plan as much as they like beforehand but it should be pretty clear that they can't possibly guarantee a win.We can formally write the victory condition as:Now there's a pretty good strategy A and B can adopt: three quarters of the time, s AND t will be false. In that case, A and B want their answers to match. So they could simply choose false, regardless of what message the game show host sends them. We can give their strategies as a function of the host's message:Now we can simulate our game:The host picks a random bit to send to each player:The players now respond to each of their messages:Now we can collect the replies and score the result:Runninggives the expected result that A and B have a 3/4 chance of winning. It's not hard to prove classically that they can do no better than this.But in a quantum universe it is possible to do better! We now allow A and B to adopt strategies that involve making measurements of a quantum system. To describe their strategies we need to use the quantum monad. Here is the previous strategy rewritten for this monad. In this case, the argumentis the state of the quantum system they observe. The first element of the pair is the move in the game, the second element is the state the physical system is left in by the player:Now we can rewriteto support quantum processes:Note that we have to returnandbecause quantum processes are reversible and can't erase information about a state. Also note thatandcan be widely separated in space.Probabilistic processes can erase whatever they like:The quantum version of a coin toss to generate a random bit, ie. an equal superposition ofandSo now we play exactly as inexcept that we give each player an independent qubit, which they ignore:Unsurprisingly, the probability of winning is just the same as before.But now we can try something impossible in the classical case. We give each player half of a perfectly correlated pair of qubits. The players are now entangled and can exploit non-locality. Of course if their strategies ignore the qubits we get the same result as before:Now comes the surprising bit. The players can each look at the (classical) bit given to them by the game host. Depending what it is they rotate the qubit's state through some angle in state space. (In the case of the qubit being an electron state, this is an actual physical rotation of the electron.) In these strategies, the choice of move is the same as the state the qubit is left in after observation, hence thebit.And now when we play, the probability of winning is greater than 3/4.All of the 'communication' took place before the game started. A and B didn't communicate s and t to each other. And yet they can beat the classical odds.So in conclusion: Quantum mechanics gives opportunities for collusion that are impossible classically. Sadly we don't yet know how to maintain the state of separated entangled qubits for extended periods of time. But I remember seeing recently that people are managing to maintain qubit states for nanoseconds.By the way, there are games where it is possible to achieve a 100% success rate with the help of quantum states. These give examples of what is known as quantum pseudo-telepathy . I presume the "pseudo" is because despite the 100% success rate, it still doesn't give a way to send messages instantly.A last thought from me: one reason why humans send messages is to allow them to coordinate strategies. But quantum game theory shows that we can coordinate strategies without sending messages. In other words, even though non-locality doesn't give us faster-than-light communication, it does allow us to do things that were previously thought to require FTL. I think this may have some profound consequences.And an example from a different domain: in biochemistry one could imagine remote parts of ligands coordinating the way they bind to receptors, something that would be completely missed by the kind of quasi-classical simulation I've seen biochemists use.My standard quantum mechanics code:Some help for the compiler (and maybe humans too):