Quantum Process Calculus for Linear Optical Quantum Computing

We extend quantum process calculus in order to describe linear optical elements. In all previous work on quantum process calculus a qubit was considered as the information encoded within a 2 dimensional Hilbert space describing the internal states of a localised particle, most often realised as polarisation information of a single photon. We extend quantum process calculus by allowing multiple particles as information carriers, described by Fock states. We also consider the transfer of information from one particular qubit realisation (polarisation) to another (path encoding), and describe post-selection. This allows us for the first time to describe linear optical quantum computing (LOQC) in terms of quantum process calculus. We illustrate this approach by presenting a model of an LOQC CNOT gate.

[1]  Timothy A. S. Davidson,et al.  Formal verification techniques using quantum process calculus , 2012 .

[2]  ROBIN MILNER,et al.  Edinburgh Research Explorer A Calculus of Mobile Processes, I , 2003 .

[3]  Matthias Felleisen,et al.  A Syntactic Approach to Type Soundness , 1994, Inf. Comput..

[4]  R. Laflamme,et al.  Linear Optics Quantum Computation: an Overview , 2005 .

[5]  Yuan Feng,et al.  Probabilistic bisimilarities between quantum processes , 2006, ArXiv.

[6]  E. Knill,et al.  A scheme for efficient quantum computation with linear optics , 2001, Nature.

[7]  Rajagopal Nagarajan,et al.  Types and Typechecking for Communicating Quantum Processes Nagarajan Is Supported by Epsrc Grant Gr/s34090 and the Eu Sixth Framework Programme (project Secoqc: Development of a Global Network for Secure Communication Based on Quantum Cryptography) , 2022 .

[8]  Rajagopal Nagarajan,et al.  Communicating quantum processes , 2004, POPL '05.

[9]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[10]  T. Ralph,et al.  Demonstration of an all-optical quantum controlled-NOT gate , 2003, Nature.

[11]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[12]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[13]  Rajagopal Nagarajan,et al.  Analysis of a Quantum Error Correcting Code using Quantum Process Calculus , 2011, QPL.

[14]  N. K. Langford,et al.  Linear optical controlled- NOT gate in the coincidence basis , 2002 .

[15]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[16]  A. Politi,et al.  Silica-on-Silicon Waveguide Quantum Circuits , 2008, Science.

[17]  Philippe Jorrand,et al.  Toward a quantum process algebra , 2004, CF '04.