01242nas a2200145 4500008004100000245006500041210006400106260001500170490000600185520081100191100002101002700001701023700001901040856003701059 2019 eng d00aGraphical Methods in Device-Independent Quantum Cryptography0 aGraphical Methods in DeviceIndependent Quantum Cryptography c05/20/20190 v33 a

We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a recent result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical exposition of a proof of this result and implement parts of it in the Globular proof assistant.

1 aBreiner, Spencer1 aMiller, Carl1 aRoss, Neil, J. uhttps://arxiv.org/abs/1705.0921301481nas a2200157 4500008004100000245006800041210006700109260001500176300001000191490000800201520102300209100002101232700001601253700001701269856003701286 2019 eng d00aParallel Self-Testing of the GHZ State with a Proof by Diagrams0 aParallel SelfTesting of the GHZ State with a Proof by Diagrams c01/29/2019 a43-660 v2873 a

Quantum self-testing addresses the following question: is it possible to verify the existence of a multipartite state even when one's measurement devices are completely untrusted? This problem has seen abundant activity in the last few years, particularly with the advent of parallel self-testing (i.e., testing several copies of a state at once), which has applications not only to quantum cryptography but also quantum computing. In this work we give the first error-tolerant parallel self-test in a three-party (rather than two-party) scenario, by showing that an arbitrary number of copies of the GHZ state can be self-tested. In order to handle the additional complexity of a three-party setting, we use a diagrammatic proof based on categorical quantum mechanics, rather than a typical symbolic proof. The diagrammatic approach allows for manipulations of the complicated tensor networks that arise in the proof, and gives a demonstration of the importance of picture-languages in quantum information.

1 aBreiner, Spencer1 aKalev, Amir1 aMiller, Carl uhttps://arxiv.org/abs/1806.04744