LIPIcs.TQC.2022.5.pdf
- Filesize: 0.82 MB
- 13 pages
Document
Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions
Authors
Aleks Kissinger 
,
John van de Wetering ,
Renaud Vilmart
-
Part of:
Volume:
17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2022-07-04
File
Document Identifiers
Author Details
- Radboud University Nijmegen, The Netherlands
- University of Oxford, United Kingdom
Acknowledgements
JvdW and AK would like to thank James Hefford for useful discussions regarding decompositions of cat states in the ZX-calculus.
Cite AsGet BibTex
Aleks Kissinger, John van de Wetering, and Renaud Vilmart. Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions. In 17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 232, pp. 5:1-5:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.TQC.2022.5
https://doi.org/10.4230/LIPIcs.TQC.2022.5
Abstract
Recent developments in classical simulation of quantum circuits make use of clever decompositions of chunks of magic states into sums of efficiently simulable stabiliser states. We show here how, by considering certain non-stabiliser entangled states which have more favourable decompositions, we can speed up these simulations. This is made possible by using the ZX-calculus, which allows us to easily find instances of these entangled states in the simplified diagram representing the quantum circuit to be simulated. We additionally find a new technique of partial stabiliser decompositions that allow us to trade magic states for stabiliser terms. With this technique we require only 2^{α t} stabiliser terms, where α≈ 0.396, to simulate a circuit with T-count t. This matches the α found by Qassim et al. [Qassim et al., 2021], but whereas they only get this scaling in the asymptotic limit, ours applies for a circuit of any size. Our method builds upon a recently proposed scheme for simulation combining stabiliser decompositions and optimisation strategies implemented in the software QuiZX [Kissinger and van de Wetering, 2022]. With our techniques we manage to reliably simulate 50-qubit 1400 T-count hidden shift circuits in a couple of minutes on a consumer laptop.
Subject Classification
ACM Subject Classification
- Theory of computation → Quantum computation theory
Keywords
- ZX-calculus
- Stabiliser Rank
- Quantum Simulation
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Scott Aaronson and Daniel Gottesman. Improved simulation of stabilizer circuits. Physical Review A, 70(5):052328, 2004. URL: https://doi.org/10.1103/PhysRevA.70.052328.
- Dorit Aharonov. A simple proof that Toffoli and Hadamard are quantum universal. arXiv preprint, 2003. URL: http://arxiv.org/abs/quant-ph/0301040.
- Miriam Backens. The ZX-calculus is complete for stabilizer quantum mechanics. New Journal of Physics, 16(9):093021, 2014. URL: https://doi.org/10.1088/1367-2630/16/9/093021.
- Sergey Bravyi, Dan Browne, Padraic Calpin, Earl Campbell, David Gosset, and Mark Howard. Simulation of quantum circuits by low-rank stabilizer decompositions. Quantum, 3:181, September 2019. URL: https://doi.org/10.22331/q-2019-09-02-181.
- Sergey Bravyi and David Gosset. Improved classical simulation of quantum circuits dominated by Clifford gates. Physical Review Letters, 116(25), June 2016. URL: https://doi.org/10.1103/PhysRevLett.116.250501.
- Sergey Bravyi, David Gosset, and Yinchen Liu. How to simulate quantum measurement without computing marginals. arXiv preprint, 2021. URL: http://arxiv.org/abs/2112.08499.
- Sergey Bravyi, Graeme Smith, and John A Smolin. Trading classical and quantum computational resources. Physical Review X, 6(2):021043, 2016. URL: https://doi.org/10.1103/PhysRevX.6.021043.
- Bob Coecke and Ross Duncan. Interacting quantum observables. In Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, 2008. URL: https://doi.org/10.1007/978-3-540-70583-3_25.
- Bob Coecke and Ross Duncan. Interacting quantum observables: categorical algebra and diagrammatics. New Journal of Physics, 13:043016, 2011. URL: https://doi.org/10.1088/1367-2630/13/4/043016.
- Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, and Seyon Sivarajah. Phase Gadget Synthesis for Shallow Circuits. In Bob Coecke and Matthew Leifer, editors, Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019, volume 318 of Electronic Proceedings in Theoretical Computer Science, pages 213-228. Open Publishing Association, 2020. URL: https://doi.org/10.4204/EPTCS.318.13.
- Ross Duncan, Aleks Kissinger, Simon Perdrix, and John van de Wetering. Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum, 4:279, June 2020. URL: https://doi.org/10.22331/q-2020-06-04-279.
- Amar Hadzihasanovic, Kang Feng Ng, and Quanlong Wang. Two complete axiomatisations of pure-state qubit quantum computing. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '18, pages 502-511, New York, NY, USA, 2018. ACM. URL: https://doi.org/10.1145/3209108.3209128.
- Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. A Complete Axiomatisation of the ZX-calculus for Clifford+T Quantum Mechanics. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, pages 559-568. ACM, 2018. URL: https://doi.org/10.1145/3209108.3209131.
- Aleks Kissinger and John van de Wetering. Reducing the number of non-Clifford gates in quantum circuits. Physical Review A, 102:022406, August 2020. URL: https://doi.org/10.1103/PhysRevA.102.022406.
- Aleks Kissinger and John van de Wetering. Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions. Quantum Science and Technology, 2022. URL: https://doi.org/10.1088/2058-9565/ac5d20.
- Hammam Qassim, Hakop Pashayan, and David Gosset. Improved upper bounds on the stabilizer rank of magic states. Quantum, 5:606, December 2021. URL: https://doi.org/10.22331/q-2021-12-20-606.
- Yaoyun Shi. Both Toffoli and controlled-NOT need little help to do universal quantum computation. Preprint, 2002. URL: http://arxiv.org/abs/quant-ph/0205115.
- John van de Wetering. ZX-calculus for the working quantum computer scientist. Preprint, 2020. URL: http://arxiv.org/abs/2012.13966.
- Renaud Vilmart. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1-10, 2019. URL: https://doi.org/10.1109/LICS.2019.8785765.