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: Finite Verification for Infinite Families of Diagram Equations

Abstract: The ZX, ZW and ZH calculi are all complete graphical calculi for reasoning about pure state qubit quantum mechanics. All of these languages use certain diagrammatic decorations, called !-boxes and phase variables, to indicate not just one diagram but an infinite family of diagrams. In this same manner one can express infinite families of equations between diagrams, and these decorations are powerful enough to allow for complete rulesets expressing any equivalence in pure state qubit quantum mechanics. We present here results that show that equations between separable infinite families of diagrams are finitely verifiable; that is to say that to verify these infinite families of equations it suffices to check a finite subset of that family, provided a condition we call separability is met. The results we present in this paper not only construct such a verifying subfamily directly, but also generalise to any diagrammatic calculus that satisfies certain simple conditions.
Comments: pages 1-11 main body, pages 13-25 are appendix, figures primarily drawn in TikZiT
Subjects: Quantum Physics (quant-ph)
MSC classes: 03G12
Cite as: arXiv:1904.00706 [quant-ph]
  (or arXiv:1904.00706v1 [quant-ph] for this version)

Submission history

From: Hector Miller-Bakewell [view email]
[v1] Mon, 1 Apr 2019 11:43:43 GMT (34kb)

Link back to: arXiv, form interface, contact.