We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: The Many-Worlds Calculus

Abstract: We propose a new typed graphical language for quantum computation, based on compact categories with biproducts. Our language generalizes existing approaches such as ZX-calculus and quantum circuits, while offering a natural framework to support quantum control: it natively supports "quantum tests". The language comes equipped with a denotational semantics based on linear applications, and an equational theory. Through the use of normal forms for the diagrams, we prove the language to be universal, and the equational theory to be complete with respect to the semantics.
Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
Cite as: arXiv:2206.10234 [cs.LO]
  (or arXiv:2206.10234v2 [cs.LO] for this version)

Submission history

From: Kostia Chardonnet [view email]
[v1] Tue, 21 Jun 2022 10:10:26 GMT (594kb,D)
[v2] Wed, 3 Aug 2022 14:44:15 GMT (604kb,D)

Link back to: arXiv, form interface, contact.