Quantum Process Calculus for Linear Optical Quantum Computing

Sonja Franke-Arnold, Simon J. Gay, Ittop Puthoor

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationReversible Computation
Subtitle of host publication5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
EditorsGerhard W. Dueck, D. Michael Miller
ISBN (Electronic)978-3-642-38986-3
ISBN (Print)978-3-642-38985-6
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Quantum Process Calculus for Linear Optical Quantum Computing'. Together they form a unique fingerprint.

Cite this