Published: 1st January 2017
DOI: 10.4204/EPTCS.236
ISSN: 2075-2180

EPTCS 236

Proceedings 13th International Conference on
Quantum Physics and Logic
Glasgow, Scotland, 6-10 June 2016

Edited by: Ross Duncan and Chris Heunen

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

Preface

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.

November 2016,
Ross Duncan and Chris Heunen.