Game Semantics for Quantum Stores

This paper presents a game semantics for a simply-typed @l-calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the language enough expressiveness to encode any quantum circuits. The language uses a notion of extended variable, similar to that seen in functional languages with pattern matching, but adapted to the needs of dealing with tensor products. These tensored variables are used to refer to quantum stores and to keep track of the size of the states which they contain. The game semantics is constructed from classical game semantics using intervention operators to encode the effects of the commands. A soundess result for the semantics is given.

[1]  Vincent Danos,et al.  Probabilistic game semantics , 2002, TOCL.

[2]  Gell-Mann,et al.  Classical equations for quantum systems. , 1992, Physical review. D, Particles and fields.

[3]  Griffiths Consistent histories and quantum reasoning. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[4]  Russell Harmer Games and full abstraction for non-deterministic languages , 1999 .

[5]  Benoît Valiron,et al.  On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract) , 2008, QPL.

[6]  Benoît Valiron,et al.  A lambda calculus for quantum computation with classical control , 2004, Mathematical Structures in Computer Science.

[7]  A. Gleason Measures on the Closed Subspaces of a Hilbert Space , 1957 .

[8]  Asher Peres,et al.  Classical interventions in quantum systems. I. The measuring process , 2000 .

[9]  Bart Jacobs,et al.  Semantics of Weakening and Contraction , 1994, Ann. Pure Appl. Log..

[10]  Dusko Pavlovic,et al.  Quantum measurements without sums , 2007 .

[11]  Roland Omnès The Interpretation of Quantum Mechanics , 1987 .

[12]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[13]  John C. Reynolds,et al.  The essence of ALGOL , 1997 .

[14]  Peter Selinger,et al.  Towards a quantum programming language , 2004, Mathematical Structures in Computer Science.

[15]  Benoît Valiron,et al.  A functional programming language for quantum computation with classical control , 2004 .