nLab ZX-calculus

Idea

The “ZX-calculus” is an elaboration for the purpose of quantum computation of the string diagram-calculus used in quantum information theory via dagger-compact categories.

References

Homepage

• zxcalculus.com

Original article:

• Bob Coecke, Ross Duncan, Interacting Quantum Observables: Categorical Algebra and Diagrammatics, New J. Phys. 13 (2011) 043016 $[$arXiv:0906.4725, doi:10.1088/1367-2630/13/4/043016$]$

Relation to braided fusion categories for anyon braiding:

• Fatimah Rita Ahmadi, Aleks Kissinger, Topological Quantum Computation Through the Lens of Categorical Quantum Mechanics $[$arXiv:2211.03855$]$

See also:

• Razin A. Shaikh, Quanlong Wang, Richie Yeung, How to sum and exponentiate Hamiltonians in ZXW calculus [arXiv:2212.04462]

(…)