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