Samson Abramsky & Bob Coecke (2004):
A categorical semantics of quantum protocols.
In: Logic in computer science, 2004. Proceedings of the 19th Annual IEEE Symposium on.
IEEE,
pp. 415–425,
doi:10.1109/LICS.2004.1319636.
John Baez & Mike Stay (2010):
Physics, topology, logic and computation: a Rosetta Stone.
In: New structures for physics.
Springer,
pp. 95–172,
doi:10.1007/978-3-642-12821-9_2.
Charles H Bennett & Gilles Brassard (2014):
Quantum cryptography: Public key distribution and coin tossing..
Theor. Comput. Sci. 560(P1),
pp. 7–11,
doi:10.1016/j.tcs.2014.05.025.
Spencer Breiner, Carl A. Miller & Neil J. Ross (2017):
Graphical Methods in Device-Independent Quantum Cryptography.
arXiv:1705.09213.
Rui Chao, Ben W. Reichardt, Chris Sutherland & Thomas Vidick (2018):
Test for a large amount of entanglement, using few measurements.
Quantum 2(92),
doi:10.22331/q-2018-09-03-92.
Bob Coecke & Aleks Kissinger (2017):
Picturing quantum processes.
Cambridge University Press,
doi:10.1017/9781316219317.
Bob Coecke & Dusko Pavlovic (2006):
Quantum measurements without sums.
arXiv preprint quant-ph/0608035.
Andrea Coladangelo (2017):
Parallel self-testing of (tilted) EPR pairs via copies of (tilted) CHSH and the magic square game.
Quantum Information and Computation 17(9-10),
pp. 831–865.
Andrea Coladangelo (2018):
A generalization of the CHSH inequality self-testing maximally entangled states of any local dimension.
arXiv:1803.05904.
Andrea Coladangelo, Koon Tong Goh & Valerio Scarani (2017):
All pure bipartite entangled states can be self-tested.
Nature Communications 8,
pp. 15485,
doi:10.1038/ncomms15485.
Andrea Coladangelo, Alex Grilo, Stacey Jeffery & Thomas Vidick (2017):
Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources.
arXiv:1708.07359.
Andrea Coladangelo & Jalex Stark (2017):
Robust self-testing for linear constraint system games.
arXiv:1709.09267.
Matthew Coudron & Anand Natarajan (2016):
The parallel-repeated magic square game is rigid.
arXiv:1609.06306.
Matteo Fadel (2017):
Self-testing Dicke states.
arXiv:1707.01215.
Mark Hillery, Vladimír Bužek & André Berthiaume (1999):
Quantum secret sharing.
Physical Review A 59(3),
pp. 1829,
doi:10.1103/PhysRevA.59.1829.
André Joyal & Ross Street (1991):
The geometry of tensor calculus, I.
Advances in mathematics 88(1),
pp. 55–112,
doi:10.1016/0001-8708(91)90003-P.
Amir Kalev & Carl A. Miller (2017):
Rigidity of the magic pentagram game.
Quantum Science and Technology 3(1),
pp. 015002,
doi:10.1088/2058-9565/aa931d.
Aleks Kissinger, Sean Tull & Bas Westerbaan (2017):
Picture-perfect Quantum Key Distribution.
arXiv:1704.08668.
Dominic Mayers & Andrew Yao (1998):
Quantum cryptography with imperfect apparatus.
In: FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science.
IEEE,
pp. 503–509,
doi:10.1109/SFCS.1998.743501.
Matthew McKague (2011):
Self-testing graph states.
In: Conference on Quantum Computation, Communication, and Cryptography.
Springer,
pp. 104–120,
doi:10.1007/978-3-642-54429-3_7.
Matthew McKague (2016):
Interactive Proofs for BQP via Self-Tested Graph States.
Theory of Computing 12(3),
pp. 1–42,
doi:10.4086/toc.2016.v012a003.
Matthew McKague (2016):
Self-testing in parallel.
New Journal of Physics 18(4),
pp. 045013,
doi:10.1088/1367-2630/18/4/045013.
Matthew McKague (2017):
Self-testing in parallel with CHSH.
Quantum 1,
pp. 1,
doi:10.22331/q-2017-04-25-1.
Matthew McKague, Tzyh Haur Yang & Valerio Scarani (2012):
Robust self-testing of the singlet.
Journal of Physics A: Mathematical and Theoretical 45(45),
pp. 455304,
doi:10.1088/1751-8113/45/45/455304.
Carl A. Miller & Yaoyun Shi (2013):
Optimal Robust Self-Testing by Binary Nonlocal XOR Games.
In: 8th Conference on the Theory of Quantum Computation, Communication and Cryptography,
pp. 264–272,
doi:10.4230/LIPIcs.TQC.2013.254.
Anand Natarajan & Thomas Vidick (2017):
A Quantum Linearity Test for Robustly Verifying Entanglement.
In: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing,
STOC 2017.
ACM,
New York, NY, USA,
pp. 1003–1015,
doi:10.1145/3055399.3055468.
Anand Natarajan & Thomas Vidick (2018):
Low-degree testing for quantum states.
arXiv:1801.03821.
Dimiter Ostrev (2016):
The structure of nearly-optimal quantum strategies for the CHSH (n) XOR games.
Quantum Information & Computation 16(13-14),
pp. 1191–1211.
Károly F. Pál, Tamás Vértesi & Miguel Navascués (2014):
Device-independent tomography of multipartite quantum states.
Phys. Rev. A 90,
pp. 042340,
doi:10.1103/PhysRevA.90.042340.
Roger Penrose (1971):
Applications of negative dimensional tensors.
Combinatorial mathematics and its applications 1,
pp. 221–244.
Sandu Popescu & Daniel Rohrlich (1992):
Which states violate Bell's inequality maximally?.
Physics Letters A 169(6),
pp. 411–414,
doi:10.1016/0375-9601(92)90819-8.
Ben W. Reichardt, Falk Unger & Umesh Vazirani (2013):
Classical command of quantum systems.
Nature 496(7446),
pp. 456,
doi:10.1038/nature12035.
Peter Selinger (2004):
Towards a quantum programming language.
Mathematical Structures in Computer Science 14(4),
pp. 527–586,
doi:10.1017/S0960129504004256.
Peter Selinger (2007):
Dagger compact closed categories and completely positive maps.
Electronic Notes in Theoretical Computer Science 170,
pp. 139–163,
doi:10.1016/j.entcs.2006.12.018.
Peter Selinger (2010):
A survey of graphical languages for monoidal categories.
In: New structures for physics.
Springer,
pp. 289–355,
doi:10.1007/978-3-642-12821-9_4.
Ivan Šupić, Andrea Coladangelo, Remigiusz Augusiak & Antonio Acín (2018):
Self-testing multipartite entangled states through projections onto two systems.
New Journal of Physics 20(083041),
doi:10.1088/1367-2630/aad89b.
Xingyao Wu (2016):
Self-Testing: Walking on the Boundary of the Quantum Set.
National University of Singapore.
Xingyao Wu, Yu Cai, Tzyh Haur Yang, Huy Nguyen Le, Jean-Daniel Bancal & Valerio Scarani (2014):
Robust self-testing of the three-qubit W state.
Physical Review A 90(4),
pp. 042339,
doi:10.1103/PhysRevA.90.042339.
eptcs@eptcs.org