EPTCS 266
Proceedings 14th International Conference on
Quantum Physics and Logic
Nijmegen, The Netherlands, 3-7 July 2017
Edited by: Bob Coecke and Aleks Kissinger
|
Preface
|
|
Almost Equivalent Paradigms of Contextuality
Linde Wester | 1 |
|
Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus
Emmanuel Jeandel, Simon Perdrix and Renaud Vilmart | 23 |
|
Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics
Quanlong Wang | 58 |
|
A Structural and Nominal Syntax for Diagrams
Dan R Ghica and Aliaume Lopez | 71 |
|
A Finite Presentation of CNOT-Dihedral Operators
Matthew Amy, Jianxin Chen and Neil J. Ross | 84 |
|
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract
Andreas Blass and Yuri Gurevich | 98 |
|
Two Roads to Classicality
Bob Coecke, John Selby and Sean Tull | 104 |
|
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Robert Rand, Jennifer Paykin and Steve Zdancewic | 119 |
|
Double Dilation ≠ Double Mixing (extended abstract)
Maaike Zwart and Bob Coecke | 133 |
|
Verifying the Smallest Interesting Colour Code with Quantomatic
Liam Garvie and Ross Duncan | 147 |
|
A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
Francisco Rios and Peter Selinger | 164 |
|
Quantum Theory is a Quasi-stochastic Process Theory
John van de Wetering | 179 |
|
On the Structure of Abstract H*-Algebras
Kevin Dunne | 197 |
|
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)
Daniel Mills, Anna Pappa, Theodoros Kapourniotis and Elham Kashefi | 209 |
|
A Shortcut from Categorical Quantum Theory to Convex Operational Theories
Alexander Wilce | 222 |
|
Toward Quantum Combinatorial Games
Paul Dorbec and Mehdi Mhalla | 237 |
|
Uniqueness of Composition in Quantum Theory and Linguistics
Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden and Robin Piedeleu | 249 |
|
The Category CNOT
Robin Cockett, Cole Comfort and Priyaa Srinivasan | 258 |
|
Categorifying the ZX-calculus
Daniel Cicala | 294 |
|
Purity through Factorisation
Oscar Cunningham and Chris Heunen | 315 |
|
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
David Reutter and Jamie Vicary | 329 |
|
Towards Quantum Field Theory in Categorical Quantum Mechanics
Stefano Gogioso and Fabrizio Genovese | 349 |
|
Categorical Probabilistic Theories
Stefano Gogioso and Carlo Maria Scandolo | 367 |
|
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations
Kevin Dunne | 386 |
|
Space in Monoidal Categories
Pau Enrique Moliner, Chris Heunen and Sean Tull | 399 |
This volume contains the proceedings of the 14th International Conference on Quantum Physics and Logic (QPL 2017), which was held July 3-7, 2017 at the LUX Cinema Nijmegen, the Netherlands, and was hosted by Radboud University.
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 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 conference was hosted jointly with a workshop of the International Quantum Structures Association (IQSA).
The QPL conference program included five invited lectures:
- Matthias Christandl (Copenhagen): "On the tensor rank of networks of entangled pairs: tensor surgery and the laser method"
- Miguel Navascués (IQOQI): "Random variables, entanglement and nonlocality in infinite translation-invariant systems"
- Miriam Backens (Bristol, joint with IQSA): "The ZX-calculus and completeness"
- Jamie Vicary (Oxford): "Classical Models for Quantum Networks"
- Paulo Perinotti (Pavia): "The hierarchy of higher-order quantum computations"
It also included 4 invited tutorials:
- Bart Jacobs (Radboud): "Effectus theory"
- Dan Marsden (Oxford): "Categorical string diagrams"
- Simon Perdrix (LORIA): "Measurement-based quantum computation"
- Ronald de Wolf (CWI): "Quantum algorithms"
The conference had 109 registered attendees, 42 contributed talks in the main QPL program, and an additional 25 talks in the IQSA satellite conference, giving a total of 76 talks and tutorials over the 5-day period.
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. This volume contains papers corresponding to a selection of the contributed talks. The local organizers were Aleks Kissinger, Bart Jacobs, and Sander Uijlen. The steering committee for the QPL conference series consists of Bob Coecke, Prakash Panangaden, and Peter Selinger. The conference enjoyed significant support from the Institute for Quantum Computing at the University of Waterloo and ERC Grant No. 320571.
November 2017,
Aleks Kissinger and Bob Coecke.