Published: 27th February 2018|
|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:
It also included 4 invited tutorials:
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.
Aleks Kissinger and Bob Coecke.