Classical simulation of quantum circuits with partial and graphical stabiliser decompositions

DOI10.4230/LIPICS.TQC.2022.5MaRDI QIDQ6563766zbMATH OpenFDO

Authors Aleks Kissinger, Wetering John van De, Renaud Vilmart

Publication date 27 June 2024

Full work available at URL https://doi.org/10.4230/LIPICS.TQC.2022.5

zbMATH Keywords

quantum simulationZX-calculusstabiliser rank

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum cryptography (quantum-theoretic aspects) (81P94)

Cited in

(7)

• Disentangling the gap between quantum and \#SAT
• Rewriting for symmetric monoidal categories with commutative (co)monoid structure
• A complete graphical language for linear optical circuits with finite-photon-number sources and detectors
• Minimality in finite-dimensional ZW-calculi
• A graphical \#SAT algorithm for formulae with small clause density
• Procedurally optimised ZX-diagram cutting for efficient T-decomposition in classical simulation
• How to sum and exponentiate Hamiltonians in ZXW calculus

This page was built for publication: Classical simulation of quantum circuits with partial and graphical stabiliser decompositions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6563766)