Fault tolerance with the ZX-calculus and fusion complexes: tools for QEC development in the...
Talkat Near-Term Quantum Computers: Fault Tolerance + Benchmarking + Quantum Advantage + Quantum Algorithms · 2024-04-22..04-26·
summary
Introduces two concrete tooling claims: using the ZX calculus to express circuit, measurement, fusion and Floquet protocols as the same stabilizer-channel picture and to automate rewrites (e.g., mapping an IBM LDPC construction into a photonic implementation in about one-week mapping); and defining fusion complexes (3D cell complexes where every edge has four incident faces) that provably yield surface-code–type fault-tolerant protocols and let one extract syndrome/decoding graphs and resource-state stabilizers, enabling a search that finds 600+ examples for new photonic layouts.
AI-written summary · about
chapters (8)
- 0:00Introduction to Squantum
- 1:37Challenges in QEC modeling
- 4:19ZX calculus for QEC
- 7:18Protocol optimization
- 17:22Fault-tolerant complexes
- 19:31Applications and search
- 25:29Q&A session
- 27:14Tool availability and wrap-up
related talks
23mFrom Fermions to Qubits: A ZX-Calculus Perspective
31mQuantum compilation using the ZX calculus
14mHybrid quantum-classical circuit simplification with the ZX-calculus
17mEncoding High-level Quantum Programs as SZX-diagrams
20mFock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
01h 37mFault-Tolerance Against Adversarial Errors & PCPs
45mError Correction with Hybrid-Fusions
49mFrom ZX to first order logic: a survey of string diagrammatic calculi