Quantum process calculus for linear optical quantum computing

Franke-Arnold, S., Gay, S.J. and Puthoor, I. (2013) Quantum process calculus for linear optical quantum computing. In: Dueck, G.W. and Miller, M. (eds.) Reversible Computation: Proceedings of the 5th International Conference, RC 2013, Victoria, BC, Canada, 4-5 July 2013. Series: Lecture notes in computer science, 7948. Springer Heidelberg: Dordrecht, The Netherlands, pp. 234-246. ISBN 9783642389856 (doi:10.1007/978-3-642-38986-3_19)

Full text not currently available from Enlighten.


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.

Item Type:Book Sections
Glasgow Author(s) Enlighten ID:Gay, Professor Simon and Franke-Arnold, Dr Sonja
Authors: Franke-Arnold, S., Gay, S.J., and Puthoor, I.
College/School:College of Science and Engineering > School of Computing Science
College of Science and Engineering > School of Physics and Astronomy
Publisher:Springer Heidelberg

University Staff: Request a correction | Enlighten Editors: Update this record