Published: 1st January 2017|
|Preface Ross Duncan and Chris Heunen|
|A Simplified Stabilizer ZX-calculus Miriam Backens, Simon Perdrix and Quanlong Wang||1|
|On the Cohomology of Contextuality Giovanni Carù||21|
|Geometric Quantization and Epistemically Restricted Theories: The Continuous Case Ivan Contreras and Ali Nabi Duman||40|
|Infinite-dimensional Categorical Quantum Mechanics Stefano Gogioso and Fabrizio Genovese||51|
|A Topological Perspective on Interacting Algebraic Theories Amar Hadzihasanovic||70|
|Picturing Indefinite Causal Structure Aleks Kissinger and Sander Uijlen||87|
|Ambiguity and Incomplete Information in Categorical Models of Language Dan Marsden||95|
|Constructing Mutually Unbiased Bases from Quantum Latin Squares Benjamin Musto||108|
|Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals Masanao Ozawa||127|
|(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras Dusko Pavlovic and Peter-Michael Seidel||145|
|Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras Mathys Rennela, Sam Staton and Robert Furber||161|
|Cohomology of Effect Algebras Frank Roumen||174|
|Tight Reference Frame–Independent Quantum Teleportation Dominic Verdon and Jamie Vicary||202|
|Quantum Programs as Kleisli Maps Abraham Westerbaan||215|
|Paschke Dilations Abraham Westerbaan and Bas Westerbaan||229|
|A Royal Road to Quantum Theory (or Thereabouts), Extended Abstract Alexander Wilce||245|
This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6--10, 2016 at the University of Strathclyde in Glasgow, Scotland.
QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Earlier workshops in this series, with the same acronym under the name "Quantum Programming Languages", were held in Ottawa (2003), Turku (2004), Chicago (2005), and Oxford (2006). The first QPL under the new name Quantum Physics and Logic was held in Reykjavik (2008), followed by Oxford (2009 and 2010), Nijmegen (2011), Brussels (2012), Barcelona (2013), Kyoto (2014), and Oxford (2015).
The workshop program includes four invited lectures:
The conference was preceded by two days of tutorials:
In addition, there were 19 contributed talks, 13 contributed short talks, and 10 posters. They were selected from among 52 submissions by a program committee whose members were John Barrett, Rick Blute, Dan Browne, Giulio Chiribella, Bob Coecke, Ross Duncan (co-chair), Ichiro Hasuo, Chris Heunen (co-chair), Matty Hoban, Bart Jacobs, Viv Kendon, Kohei Kishida, Aleks Kissinger, Joachim Kock, Matt Leifer, Paul-André Melliès, Michael Moortgat, Daniel Oi, Prakash Panangaden, Dusko Pavlovic, Simon Perdrix, Mehrnoosh Sadrzadeh, Peter Selinger, Pawel Sobocinski, Rob Spekkens, Bas Spitters, Isar Stubbe, Jamie Vicary, and Mingsheng Ying.
Each submission was refereed by at least three reviewers, who delivered detailed and insightful comments and suggestions. The program chairs thank all the program committee members and all the additional reviewers for their excellent service. This volume contains papers corresponding to a selection of the contributed talks.
The local organizers were Ross Duncan, Chris Heunen, and Daniel Oi.
The steering committee for the QPL conference series consists of Bob Coecke, Prakash Panangaden, and Peter Selinger.
The conference enjoyed partial support from Glasgow City Marketing Bureau, the Scottish Informatics and Computer Alliance, the University of Strathclyde, the Institute for Quantum Computing, and the London Mathematical Society.
Ross Duncan and Chris Heunen.