EPTCS 195
Proceedings of the 12th International Workshop on
Quantum Physics and Logic
Oxford, U.K., July 15-17, 2015
Edited by: Chris Heunen, Peter Selinger and Jamie Vicary
Preface
Chris Heunen, Peter Selinger and Jamie Vicary |
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
Samson Abramsky and Dominic Horsman | 1 |
Making the stabilizer ZX-calculus complete for scalars
Miriam Backens | 17 |
Quantum Alternation: Prospects and Problems
Costin Bădescu and Prakash Panangaden | 33 |
Entropy, majorization and thermodynamics in general probabilistic theories
Howard Barnum, Jonathan Barrett, Marius Krumm and Markus P. Müller | 43 |
Some Nearly Quantum Theories
Howard Barnum, Matthew A. Graydon and Alexander Wilce | 59 |
Formalization of Quantum Protocols using Coq
Jaap Boender, Florian Kammüller and Rajagopal Nagarajan | 71 |
Quantum Measurements from a Logical Point of View
Olivier Brunet | 84 |
Operational axioms for diagonalizing states
Giulio Chiribella and Carlo Maria Scandolo | 96 |
Total and Partial Computation in Categorical Quantum Foundations
Kenta Cho | 116 |
Quotient-Comprehension Chains
Kenta Cho, Bart Jacobs, Bas Westerbaan and Bram Westerbaan | 136 |
Axiomatizing complete positivity
Oscar Cunningham and Chris Heunen | 148 |
Towards a Paraconsistent Quantum Set Theory
Benjamin Eva | 158 |
Additive monotones for resource theories of parallel-combinable processes with discarding
Brendan Fong and Hugo Nava-Kopp | 170 |
Towards a Categorical Account of Conditional Probability
Robert Furber and Bart Jacobs | 179 |
Unordered Tuples in Quantum Computation
Robert Furber and Bas Westerbaan | 196 |
A Bestiary of Sets and Relations
Stefano Gogioso | 208 |
Mermin Non-Locality in Abstract Process Theories
Stefano Gogioso and William Zeng | 228 |
Categories of relations as models of quantum theory
Chris Heunen and Sean Tull | 247 |
Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism
Kentaro Honda | 262 |
A Graph Theoretic Perspective on CPM(Rel)
Daniel Marsden | 273 |
Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality
Tim Palmer | 285 |
Logical pre- and post-selection paradoxes are proofs of contextuality
Matthew F. Pusey and Matthew S. Leifer | 295 |
Encoding !-tensors as !-graphs with neighbourhood orders
David Quick | 307 |
This volume contains the proceedings of the 12th International
Workshop on Quantum Physics and Logic (QPL 2015), which was held
July 15--17, 2015 at Oxford University.
The goal of the QPL workshop series is to bring together researchers
working on mathematical foundations of quantum physics, quantum
computing, spatio-temporal causal structures, and related areas such
as computational linguistics. Of particular interest are topics that
use logical tools, ordered algebraic and category-theoretic
structures, formal languages, semantical methods and other computer
science methods for 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), and Kyoto (2014).
The workshop program includes four invited lectures:
- Dan Browne (University College London): "Contextual qubit models from Wigner functions".
- Paul Busch (University of York): "Quantum measurement uncertainty: reading Heisenberg's mind or invoking his spirit?".
- Chris Douglas (University of Oxford): "Topological defects and anyon teleportation"
- Lucien Hardy (Perimeter Institute): "Probabilistic general relativity with agency in an operational framework".
The workshop will be preceded by two days of tutorials:
- Dan Browne (University College London): "Teleportation and Measurement-based computation".
- Paul Busch (University of York): "Quantum uncertainty".
- Oscar Dahlsten (University of Oxford): "Entropy and majorisation in generalised probabilistic theories".
- Pawel Sobocinski (University of Southampton): "Graphical linear algebra".
In addition, there were 37 contributed talks and 16 posters.
They were selected by a program committee whose members were
John Baez,
Dan Browne,
Giulio Chiribella,
Bob Coecke,
Ross Duncan,
Tobias Fritz,
Simon Gay,
Ichiro Hasuo,
Chris Heunen (co-chair),
Matty Hoban,
Bart Jacobs,
Viv Kendon,
Matt Leifer,
Prakash Panangaden,
Dusko Pavlovic,
Simon Perdrix,
Mehrnoosh Sadrzadeh,
Peter Selinger (co-chair),
Rob Spekkens,
Bas Spitters,
Isar Stubbe,
Jamie Vicary (co-chair),
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.
In addition, this volume also contains a paper by Furber
and Jacobs, corresponding to a talk given at QPL 2013, which had
been omitted from the QPL 2013 proceedings due to an editorial
oversight.
The local organizers were Destiny Chen, Chris Heunen, and Jamie
Vicary.
The steering committee for the QPL workshop series consists of Bob
Coecke, Prakash Panangaden, and Peter Selinger.
The workshop enjoyed partial support from the TRUCE project, supported by the European Commision, and the Centre for Quantum Mathematics and Computation at the University of Oxford, supported by the Engineering and Physical Sciences Research Council, and by the Department of Computer Science of the University of Oxford.
September 2015,
Chris Heunen, Peter Selinger, and Jamie Vicary.