3 papers
quant-ph2026
Completeness of qufinite ZXW calculus, a graphical language for finite-dimensional quantum theory
Quanlong Wang, Boldizsár Poór, Razin A. Shaikh
Finite-dimensional quantum theory serves as the theoretical foundation for quantum information and computation. Mathematically, it is formalized in the category FHilb, comprising a…
quant-ph2025
Beyond Penrose tensor diagrams with the ZX calculus: Applications to quantum computing, quantum machine learning, condensed matter physics, and quantum gravity
Quanlong Wang, Richard D. P. East, Razin A. Shaikh +3
We introduce the Spin-ZX calculus as an elevation of Penrose's diagrams and associated binor calculus to the level of a formal diagrammatic language. The power of doing so is illus…
quant-ph2025
ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
Boldizsár Poór, Razin A. Shaikh, Quanlong Wang
The ZX-calculus is a graphical language for reasoning about quantum computing and quantum information theory. As a complete graphical language, it incorporates a set of axioms rich…