2023
DOI: 10.4204/eptcs.394.6
|View full text |Cite
|
Sign up to set email alerts
|

Quantum Linear Optics via String Diagrams

Giovanni de Felice,
Bob Coecke

Abstract: We establish a formal bridge between qubit-based and photonic quantum computing. We do this by defining a functor from the ZX calculus to linear optical circuits. In the process we provide a compositional theory of quantum linear optics which allows to reason about events involving multiple photons such as those required to perform linear-optical and fusion-based quantum computing.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 54 publications
0
1
0
Order By: Relevance
“…Following up on that, Hadzihasanovic [15,16] developed the ZW calculus. The ZW-calculus has found applications in linear optical quantum computing [9,17], describing interactions in quantum field theory [29], and studying multi-partite entanglement [6]. In this paper, we combine the ZX and ZW calculii to create the ZXW calculus.…”
Section: Introductionmentioning
confidence: 99%
“…Following up on that, Hadzihasanovic [15,16] developed the ZW calculus. The ZW-calculus has found applications in linear optical quantum computing [9,17], describing interactions in quantum field theory [29], and studying multi-partite entanglement [6]. In this paper, we combine the ZX and ZW calculii to create the ZXW calculus.…”
Section: Introductionmentioning
confidence: 99%