Published: 31st January 2019|
|Preface Giulio Chiribella and Peter Selinger|
|Towards Large-scale Functional Verification of Universal Quantum Circuits Matthew Amy||1|
|ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity Miriam Backens and Aleks Kissinger||23|
|Parallel Self-Testing of the GHZ State with a Proof by Diagrams Spencer Breiner, Amir Kalev and Carl A. Miller||43|
|The Category TOF J.R.B. Cockett and Cole Comfort||67|
|Optimising Clifford Circuits with Quantomatic Andrew Fagan and Ross Duncan||85|
|Categorical Equivalences from State-Effect Adjunctions Robert Furber||107|
|Executions in (Semi-)Integer Petri Nets are Compact Closed Categories Fabrizio Genovese and Jelle Herold||127|
|Higher-order CPM Constructions Stefano Gogioso||145|
|Quantum Field Theory in Categorical Quantum Mechanics Stefano Gogioso and Fabrizio Genovese||163|
|Symmetric Monoidal Structure with Local Character is a Property Stefano Gogioso, Dan Marsden and Bob Coecke||179|
|Contexts in Convex and Sequential Effect Algebras Stan Gudder||191|
|Universal Properties in Quantum Theory Mathieu Huot and Sam Staton||213|
|Lower and Upper Conditioning in Quantum Bayesian Theory Bart Jacobs||225|
|Categories of Empirical Models Martti Karvonen||239|
|Orthogonality for Quantum Latin Isometry Squares Benjamin Musto and Jamie Vicary||253|
|Inadequacy of Modal Logic in Quantum Settings Nuriya Nurgalieva and Lídia del Rio||267|
|ReQWIRE: Reasoning about Reversible Quantum Circuits Robert Rand, Jennifer Paykin, Dong-Ho Lee and Steve Zdancewic||299|
|A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond Renaud Vilmart||313|
|Pure Maps between Euclidean Jordan Algebras Abraham Westerbaan, Bas Westerbaan and John van de Wetering||345|
Quantum Physics and Logic is an annual 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. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome. Previous QPL events were held in Nijmegen (2017), Glasgow (2016), Oxford (2015), Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003).
QPL 2018 was co-located with MFPS 2018, the 34th Conference on the Mathematical Foundations of Programming Semantics. The two conferences had a joint special session and a joint invited speaker.
The QPL conference program featured four invited lectures:
The conference program also included 45 contributed talks and 4 posters. They were selected by a program committee whose members were Samson Abramsky, Antonio Acín, Richard Blute, Anne Broadbent, Dan Browne, Giulio Chiribella (co-chair), Bob Coecke, Ross Duncan, Teiko Heinosaari, Chris Heunen, Matthew Hoban, Dominic Horsman, Bart Jacobs, Kohei Kishida, Aleks Kissinger, Joachim Kock, Ciáran Lee, Matt Leifer, Martha Lewis, Paul-André Melliès, Mio Murao, Daniel Oi, Ognyan Oreshkov, Prakash Panangaden, Anna Pappa, Dusko Pavlovic, Simon Perdrix, Paolo Perinotti, Neil J. Ross, Ana Belén Sainz, Peter Selinger (co-chair), Pawel Sobocinski, Robert Spekkens, Isar Stubbe, Benoît Valiron, Jamie Vicary, Mingsheng Ying, and Margherita Zorzi.
Each submission was refereed by at least two, and typically three, reviewers, who delivered detailed comments and suggestions. The program chairs thank all the program committee members and all the additional reviewers for their excellent service.
There were two submission categories at QPL 2018: original contributions, consisting of a 5–12 page extended abstract, and extended abstracts of work published or submitted elsewhere. This volume contains papers corresponding to a selection of the original contributions.
At each QPL conference, an award for the best student paper is given at the discretion of the program committee. Papers eligible for the award are those where all the authors are students at the time of submission. This year's best student paper award went to Matthew Amy of the Institute for Quantum Computing, University of Waterloo for the paper "Towards large-scale functional verification of universal quantum circuits".
The local organizers were Neil J. Ross and Peter Selinger, with additional help from Xiaoning Bian, Peng (Frank) Fu, and Francisco Rios.
The steering committee for the QPL conference series consists of Bob Coecke, Prakash Panangaden, and Peter Selinger.
The conference enjoyed financial support from: