Proceedings of the 7th International QPL Workshop
Quantum Physics and Logic

May 29-30, 2010, Oxford

Bob Coecke, Prakash Panangaden, and Peter Selinger (editors)

  • Preface. [pdf]
. . . . . . . . iii
  • Table of Contents. [pdf]
. . . . . . . . . v

  • Howard Barnum, Ross Duncan, and Alexander Wilce
    Convexity, categorical semantics and the foundations of physics [pdf]
. . . . . . . 1-8

  • Howard Barnum, Carl Philipp Gaebler, and Alexander Wilce
    Ensemble steering, weak self-duality, and the structure of probabilistic theories [pdf]
. . . . . . 9-16

  • Bob Coecke and Ray Lal
    Causal categories: a backbone for a quantum-relativistic universe of interacting processes [pdf]
. . . . . 17-26

  • Bob Coecke and Robert W. Spekkens
    Picturing classical and quantum Bayesian inference [pdf]
. . . . . 27-36

  • Tanner Crowder and Keye Martin
    Information theoretic representations of qubit channels [pdf]
. . . . . 37-41

  • Andreas Döring
    Some steps towards noncommutative Gel'fand duality [pdf]
. . . . . 43-47

  • Johnny Feng
    A domain of unital channels [pdf]
. . . . . 49-58

  • Christian Herrmann and Martin Ziegler
    Computational complexity of geometric quantum logic [pdf]
. . . . . 59-68

  • Chris Heunen
    Complementarity in categorical quantum mechanics [pdf]
. . . . . 69-78

  • Bart Jacobs
    Involutive categories and monoids, with a GNS-correspondence [pdf]
. . . . . 79-88

  • Bart Jacobs and Jorik Mandemaker
    Coreflections in algebraic quantum logic [pdf]
. . . . . 89-98

  • Matthias Kleinmann, Otfried Gühne, José Portillo, Jan-Åke Larsson, and Adán Cabello
    Classical simulation of quantum contextuality [pdf]
. . . . 99-103

  • Vladimir E. Korepin
    Reduced density matrix in spin models [pdf]
. . . 105-117

  • Sanjeevi Krishnan
    Strict algebraic models of weak omega-categories [pdf]
. . . 119-122

  • Marco Lanzagorta
    Kinematic noise [pdf]
. . . 123-132

  • Mehrnoosh Sadrzadeh
    A quantitative algebraic analysis of BB'84 with maximal entropy [pdf]
. . . 133-139

  • Benjamin Schumacher and Michael D. Westmoreland
    Isolation and information flow in quantum dynamics [pdf]
. . . 141-144

  • Benjamin Schumacher and Michael D. Westmoreland
    Modal quantum theory [pdf]
. . . 145-149

  • Peter Selinger
    Autonomous categories in which A is isomorphic to A* [pdf]
. . . 151-160

  • Bas Spitters
    The space of measurement outcomes as a spectrum for non-commutative algebras [pdf]
. . . 161-168

  • Benoît Valiron
    Orthogonality and algebraic lambda-calculus [pdf]
. . . 169-175

*