The Power of ZX Calculus: Compiling Quantum Codes

PIRSA ID: 23120029
Event Type: Seminar
Scientific Area(s):
Quantum Information
End date:
  • Andrey Khesin, Massachusetts Institute of Technology (MIT)

Quantum error-correcting codes are a key pillar of quantum computing. They allow for the recovery of quantum information in the presence of noise. There are three main ways to depict a quantum code: by the list of codewords, by an encoding circuit, or by a stabilizer tableau. Although the latter is used most often, all three of these have pros and cons. In this talk, I will showcase ZX calculus, a graphical language that can be used to talk about quantum states, circuits, measurements, and importantly, codes. I will demonstrate its power and versatility and showcase a canonical form for states, circuits, and codes. The power of this theorem allows us to compile these quantum objects to a unique, elegant, and simple form which serves as a much better depiction than any of the three methods above.


Zoom link