Published: 1st October 2012
DOI: 10.4204/EPTCS.95
ISSN: 2075-2180

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

Preface

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:

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