Ross Duncan"Nothing in fault-tolerance makes sense except in light of ZX calculus" -- Craig Gidney in this very nice talk. 😍
https://www.youtube.com/live/SULOaOQ6Uok?t=558s
YouTube
Austin Fowler at #mqsf : "if you're making a quantum compiler you need the ZX-calculus." ❤️
So gratifying that the world has caught on to the ZX-calculus, and also that the catalyst was this under-appreciated paper. https://quantum-journal.org/papers/q-2020-01-09-218/
The ZX calculus is a language for surface code lattice surgery
Niel de Beaudrap and Dominic Horsman, Quantum 4, 218 (2020). A leading choice of error correction for scalable quantum computing is the surface code with lattice surgery. The basic lattice surgery operations, the merging and splitting of logical qubit…
Someone should write a post about why there are so many papers all claiming that the zx-calculus is complete, why they are all different, and what this claim even means. Maybe *I* should write it if no one has already....
#zxcalculus
All this as prelude to saying : check out this paper.
https://arxiv.org/abs/2405.10896
ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
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 enough to derive any equation of the underlying formalism. While completeness of the ZX-calculus has been established for qubits and the Clifford fragment of prime-dimensional qudits, universal completeness beyond two-level systems has remained unproven until now. In this paper, we present a proof establishing the completeness of finite-dimensional ZX-calculus, incorporating only the mixed-dimensional Z-spider and the qudit X-spider as generators. Our approach builds on the completeness of another graphical language, the finite-dimensional ZW-calculus, with direct translations between these two calculi. By proving its completeness, we lay a solid foundation for the ZX-calculus as a versatile tool not only for quantum computation but also for various fields within finite-dimensional quantum theory.
Hello Mastodon! I'm new here. Where's all the quantum people at?
#introductions #quantum #quantumcomputing #categorytheory #zxcalculus
#introductions #quantum #quantumcomputing #categorytheory #zxcalculus
Manuel BaltieriLucky enough to get an early copy of @Bob_Coecke's and @stefano's "Quantum in pictures". Looking like a treat for the eyes already!
#quantum #physics #quantumcomputing #zxcalculus #categorytheory
Aleks KissingerAd just dropped for 3 new PhD positions at @QuSoftAmsterdam, including one on quantum compiling and classical simulation supervised by former Oxford Quantum Group member (and #ZXCalculus guru) John van de Wetering. Would recommend. :)
https://vacatures.uva.nl/UvA/job/QuSoft-PhD-positions-at-UvA-and-CWI/761215402/
https://vacatures.uva.nl/UvA/job/QuSoft-PhD-positions-at-UvA-and-CWI/761215402/