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


Current browse context:


References & Citations


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

Quantum Physics

Title: Quantum Algorithms and Oracles with the Scalable ZX-calculus

Abstract: The ZX-calculus was introduced as a graphical language able to represent specific quantum primitives in an intuitive way. The recent completeness results have shown the theoretical possibility of a purely graphical description of quantum processes. However, in practice, such approaches are limited by the intrinsic low level nature of ZX calculus. The scalable notations have been proposed as an attempt to recover an higher level point of view while maintaining the topological rewriting rules of a graphical language. We demonstrate that the scalable ZX-calculus provides a formal, intuitive, and compact framework to describe and prove quantum algorithms. As a proof of concept, we consider the standard oracle-based quantum algorithms: Deutsch-Jozsa, Bernstein-Vazirani, Simon, and Grover algorithms, and we show they can be described and proved graphically.
Comments: In Proceedings QPL 2021, arXiv:2109.04886
Subjects: Quantum Physics (quant-ph)
Journal reference: EPTCS 343, 2021, pp. 193-209
DOI: 10.4204/EPTCS.343.10
Cite as: arXiv:2104.01043 [quant-ph]
  (or arXiv:2104.01043v2 [quant-ph] for this version)

Submission history

From: EPTCS [view email] [via SELENA proxy]
[v1] Fri, 2 Apr 2021 13:27:48 GMT (97kb)
[v2] Mon, 13 Sep 2021 02:08:00 GMT (57kb)

Link back to: arXiv, form interface, contact.