Published: 1st May 2020
DOI: 10.4204/EPTCS.318
ISSN: 2075-2180

EPTCS 318

Proceedings 16th International Conference on
Quantum Physics and Logic
Chapman University, Orange, CA, USA., 10-14 June 2019

Edited by: Bob Coecke and Matthew Leifer

Preface
Bob Coecke and Matthew Leifer
Generating Randomness from a Computable, Non-random Sequence of Qubits
Tejas Bhojraj
1
Why FHilb is Not an Interesting (Co)Differential Category
Jean-Simon Pacaud Lemay
13
Finite Verification of Infinite Families of Diagram Equations
Hector Miller-Bakewell
27
Effectus of Quantum Probability on Relational Structures
Octavio Zapata
53
Scott Continuity in Generalized Probabilistic Theories
Robert Furber
66
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms
Niel de Beaudrap, Ross Duncan, Dominic Horsman and Simon Perdrix
85
Using ZDDs in the Mapping of Quantum Circuits
Kaitlin Smith, Mathias Soeken, Bruno Schmitt, Giovanni De Micheli and Mitchell Thornton
106
ROS: Resource-constrained Oracle Synthesis for Quantum Computers
Giulia Meuli, Mathias Soeken, Martin Roetteler and Giovanni De Micheli
119
Techniques to Reduce π/4-Parity-Phase Circuits, Motivated by the ZX Calculus
Niel de Beaudrap, Xiaoning Bian and Quanlong Wang
131
Hopf-Frobenius Algebras and a Simpler Drinfeld Double
Joseph Collins and Ross Duncan
150
Deriving Dagger Compactness
Sean Tull
181
Ontological models for quantum theory as functors
Alexandru Gheorghiu and Chris Heunen
196
Phase Gadget Synthesis for Shallow Circuits
Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons and Seyon Sivarajah
213
PyZX: Large Scale Automated Diagrammatic Reasoning
Aleks Kissinger and John van de Wetering
229
Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation
Sivert Aasnæss
242

Preface

This volume contains the proceedings of the 16th International Conference on Quantum Physics and Logic (QPL 2019), June 10-14, 2019 at Chapman University, Orange, California and was attended by 77 registered participants.

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. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) was also welcome.

Previous QPL events were held in Halifax (2018), 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).

The QPL conference program included five invited lectures:

It also included 2 invited tutorials:

The conference program also included 45 contributed talks and 14 posters chosen from 69 total submissions. They were selected by the program committee, which was chaired by Bob Coecke and Matthew Leifer. The other members of the program committee were Miriam Backens, Giulio Chiribella, Ross Duncan, Stefano Gogioso, John Harding, Chris Heunen, Matthew Hoban, Dominic Horsman, Kohei Kishida, Aleks Kissinger, Joachim Kock, Ravi Kunjwal, Martha Lewis, Shane Mansfield, Dan Marsden, David Moore, Michael Moortgat, Daniel Oi, Ognyan Oreshkov, Anna Pappa, Dusko Pavlovic, Simon Perdrix, Neil Ross, Mehrnoosh Sadrzadeh , Ana Belen Sainz, Peter Selinger, Sonja Smets, Pawel Sobocinski, Robert Spekkens, Isar Stubbe, Benoit Valiron, Jamie Vicary, Alexander Wilce, Mingsheng Ying, Margherita Zorzi, and Magdalena Zych.

Each submission was thoroughly refereed, and reviewers 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.

There were two submission categories at QPL 2019: 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 Sivert Aasnaess of Oxford University for the paper Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation.

The local organizers were Matthew Leifer, Lorenzo Catani, Justin Dressel, and Drew Moshier. The steering committee for the QPL conference series consists of Bob Coecke, Prakash Panangaden, and Peter Selinger. The conference enjoyed financial support from: Chapman University Office of the Provost; Chapman University Institute for Quantum Studies; Northrop Grumman; University of Waterloo Institute for Quantum Computing; Xanadu.

The PC Chairs,
Bob Coecke (University of Oxford) and Matthew Leifer (Chapman University).