Franke-Arnold, S. , Gay, S. J. and Puthoor, I. V. (2014) Verification of linear optical quantum computing using quantum process calculus. Electronic Proceedings in Theoretical Computer Science, 160, pp. 111-129. (doi: 10.4204/EPTCS.160.10)
|
Text
101092.pdf - Published Version Available under License Creative Commons Attribution. 204kB |
Publisher's URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2014.10
Abstract
We explain the use of quantum process calculus to describe and analyse linear optical quantum computing (LOQC). The main idea is to define two processes, one modelling a linear optical system and the other expressing a specification, and prove that they are behaviourally equivalent. We extend the theory of behavioural equivalence in the process calculus Communicating Quantum Processes (CQP) to include multiple particles (namely photons) as information carriers, described by Fock states or number states. We summarise the theory in this paper, including the crucial result that equivalence is a congruence, meaning that it is preserved by embedding in any context. In previous work, we have used quantum process calculus to model LOQC but without verifying models against specifications. In this paper, for the first time, we are able to carry out verification. We illustrate this approach by describing and verifying two models of an LOQC CNOT gate.
Item Type: | Articles |
---|---|
Additional Information: | In Johannes Borgström and Silvia Crafa: Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014), Rome, Italy, 1 September 2014 |
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Franke-Arnold, Professor Sonja and Gay, Professor Simon and Puthoor, Mr Ittoop |
Authors: | Franke-Arnold, S., Gay, S. J., and Puthoor, I. V. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QC Physics |
College/School: | College of Science and Engineering > School of Computing Science College of Science and Engineering > School of Physics and Astronomy |
Journal Name: | Electronic Proceedings in Theoretical Computer Science |
Publisher: | Open Publishing Association |
ISSN: | 2075-2180 |
Copyright Holders: | Copyright © 2014 The Authors |
First Published: | First published in Electronic Proceedings in Theoretical Computer Science 160:111-129 |
Publisher Policy: | Reproduced under a Creative Commons License |
Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record