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

8 Citations (Scopus)

Abstract

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
PublisherSpringer
Pages234-246
Volume7948
ISBN (Electronic)978-3-642-38986-3
ISBN (Print)978-3-642-38985-6
DOIs
Publication statusPublished - 2013

Publication series

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

Fingerprint

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

Cite this