EPTCS 95
Proceedings 8th International Workshop on
Quantum Physics and Logic
Nijmegen, Netherlands, October 27-29, 2011
Edited by: Bart Jacobs, Peter Selinger and Bas Spitters
|
Preface
|
|
The Cohomology of Non-Locality and Contextuality
Samson Abramsky, Shane Mansfield and Rui Soares Barbosa | 1 |
|
On the Automation of Encoding Processes in the Quantum IO Monad
James Barratt | 15 |
|
No-go theorems for functorial localic spectra of noncommutative rings
Benno van den Berg and Chris Heunen | 21 |
|
Pictures of complete positivity in arbitrary dimension
Bob Coecke and Chris Heunen | 27 |
|
A Topos Theory Foundation for Quantum Mechanics
John V Corbett | 37 |
|
On Multiplicative Linear Logic, Modality and Quantum Circuits
Ugo Dal Lago and Claudia Faggian | 55 |
|
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan and Ittoop Vergheese Puthoor | 67 |
|
The Born rule as structure of spectral bundles (extended abstract)
Bertfried Fauser, Guillaume Raynaud and Steven Vickers | 81 |
|
Completely positive classical structures and sequentializable quantum protocols
Chris Heunen and Sergio Boixo | 91 |
|
Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus
Anne Hillebrand | 103 |
|
Graphical Classification of Entangled Qutrits
Kentaro Honda | 123 |
|
The Expectation Monad in Quantum Foundations
Bart Jacobs and Jorik Mandemaker | 143 |
|
Generalizations of Boxworld
Peter Janotta | 183 |
|
Trichromatic Open Digraphs for Understanding Qubits
Alex Lang and Bob Coecke | 193 |
|
Bohrification of local nets
Joost Nuiten | 211 |
|
Symmetry constraints on temporal order in measurement-based quantum computation
R. Raussendorf, P. Sarvepalli, T.-C. Wei and P. Haghnegahdar | 219 |
|
Turing machines based on unsharp quantum logic
Yun Shang, Xian Lu and Ruqian Lu | 251 |
|
A Framework for Heterotic Computing
Susan Stepney, Viv Kendon, Peter Hines and Angelika Sebald | 263 |
|
Symmetry and Self-Duality in Categories of Probabilistic Models
Alexander Wilce | 275 |
This volume contains the proceedings of the 8th International Workshop
on Quantum Physics and Logic (QPL 2011), which was held October
27--29, 2011 at Radboud University Nijmegen.
The goal of the QPL workshop series is to bring together researchers
working on mathematical foundations of quantum physics, quantum
computing and spatio-temporal causal structures, and in particular
those that use logical tools, ordered algebraic and category-theoretic
structures, formal languages, semantic methods and other computer
science methods for the study of physical behavior in general. Over
the past few years, there has been growing activity in these
foundational approaches, together with a renewed interest in the
foundations of quantum theory, which complement the more mainstream
research in quantum computation. 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).
The workshop program included three invited lectures:
- Hans Maassen (Nijmegen): “Quantum probability as a tensor category”.
- Urs Schreiber (Utrecht): “Prequantum physics in a cohesive
topos”.
- Rob Spekkens (Perimeter Institute): “Formulating quantum
theory as a causally neutral theory of Bayesian
inference”.
In addition, there were 22 contributed talks.
They were selected by a program committee whose
members were Thorsten Altenkirch (Nottingham), John Baez (UC Riverside
and CQT Singapore), Dan Browne (UCL, London), Bob Coecke (Oxford),
Giulio Chiribella (Perimeter Institute), Andreas Döring (Oxford),
Simon Gay (University of Glasgow), Bart Jacobs (Nijmegen, co-chair), Prakash
Panangaden (McGill), Simon Perdrix (CNRS - Grenoble), Mehrnoosh
Sadrzadeh (Oxford), Peter Selinger (Dalhousie, co-chair), and Bas Spitters
(Nijmegen). This volume contains papers corresponding to a selection
of the contributed talks.
The local organizers were Bas Spitters (co-chair),
Bart Jacobs (co-chair), and Irma Haerkens.
The steering committee for the QPL workshop series consists of Bob
Coecke (Oxford),
Prakash Panangaden (McGill), and
Peter Selinger (Dalhousie).
The workshop enjoyed partial support from the EPSRC Network on
Structures at the Interface of Physics and Computer Science
(EP/I03596X/1), from the EPSRC Network on Computer Science and
Physics (CΛP), from the Netherlands Organisation for Scientific
Research (NWO), and from Radboud University Nijmegen.
September 2012
Bart Jacobs, Peter Selinger, and Bas Spitters