References

  1. Scott Aaronson & Daniel Gottesman (2004): Improved Simulation of Stabilizer Circuits. Physical Review A 70(5), pp. 052328, doi:10.1103/PhysRevA.70.052328.
  2. Matthew Amy (2019): Formal Methods in Quantum Circuit Design. Available at http://hdl.handle.net/10012/14480.
  3. Matthew Amy (2019): Towards Large-scale Functional Verification of Universal Quantum Circuits. Electronic Proceedings in Theoretical Computer Science 287, pp. 1–21, doi:10.4204/EPTCS.287.1.
  4. Miriam Backens & Aleks Kissinger (2019): ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity. Electronic Proceedings in Theoretical Computer Science 287, pp. 23–42, doi:10.4204/EPTCS.287.2.
  5. Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski & John van de Wetering (2021): There and back again: A circuit extraction tale. Quantum 5, pp. 421, doi:10.22331/q-2021-03-25-421.
  6. Panagiotis Kl Barkoutsos, Jerome F. Gonthier, Igor Sokolov, Nikolaj Moll, Gian Salis, Andreas Fuhrer, Marc Ganzhorn, Daniel J. Egger, Matthias Troyer, Antonio Mezzacapo, Stefan Filipp & Ivano Tavernelli (2018): Quantum algorithms for electronic structure calculations: Particle-hole Hamiltonian and optimized wave-function expansions. Physical Review A, doi:10.1103/PhysRevA.98.022322.
  7. Niel De Beaudrap (2010): Unitary-circuit semantics for measurement-based computations. International Journal of Quantum Information, doi:10.1142/S0219749910006113.
  8. Ewout van den Berg & Kristan Temme (2020): Circuit optimization of Hamiltonian simulation by simultaneous diagonalization of Pauli clusters. Quantum 4, pp. 322, doi:10.22331/q-2020-09-12-322.
  9. Daniel E Browne, Elham Kashefi, Mehdi Mhalla & Simon Perdrix (2007): Generalized flow and determinism in measurement-based quantum computation. New Journal of Physics 9(8), pp. 250–250, doi:10.1088/1367-2630/9/8/250.
  10. A. R. Calderbank, E. M. Rains, P. W. Shor & N. J.A. Sloane (1997): Quantum error correction and orthogonal geometry. Physical Review Letters, doi:10.1103/PhysRevLett.78.405.
  11. Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons & Seyon Sivarajah (2020): Phase gadget synthesis for shallow circuits. In: Electronic Proceedings in Theoretical Computer Science, EPTCS, doi:10.4204/EPTCS.318.13.
  12. Alexander Cowtan, Will Simmons & Ross Duncan (2020): A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz. Available at http://arxiv.org/abs/2007.10515.
  13. Vincent Danos & Elham Kashefi (2006): Determinism in the one-way model. Physical Review A 74(5), doi:10.1103/PhysRevA.74.052310.
  14. Niel De Beaudrap (2008): Finding flows in the one-way measurement model. Physical Review A - Atomic, Molecular, and Optical Physics 77(2), pp. 022328, doi:10.1103/PhysRevA.77.022328.
  15. Ross Duncan, Aleks Kissinger, Simon Perdrix & John Van De Wetering (2020): Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. Quantum 4, pp. 279, doi:10.22331/q-2020-06-04-279.
  16. Ross Duncan & Simon Perdrix (2010): Rewriting Measurement-Based Quantum Computations with Generalised Flow. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 285–296, doi:10.1007/978-3-642-14162-1_24.
  17. Maryam Eslamy, Mahboobeh Houshmand, Morteza Saheb Zamani & Mehdi Sedighi (2018): Optimization of One-Way Quantum Computation Measurement Patterns. International Journal of Theoretical Physics, doi:10.1007/s10773-018-3844-x.
  18. Andrew Fagan & Ross Duncan (2019): Optimising Clifford Circuits with Quantomatic. Electronic Proceedings in Theoretical Computer Science 287, pp. 85–105, doi:10.4204/EPTCS.287.5.
  19. David Gosset, Vadym Kliuchnikov, Michele Mosca & Vincent Russo (2014): An algorithm for the T-count. Quantum Information and Computation 14(15&16), pp. 1261–1276, doi:10.26421/QIC14.15-16-1.
  20. Daniel Gottesman (1998): The Heisenberg Representation of Quantum Computers. Available at http://arxiv.org/abs/quant-ph/9807006.
  21. Aleks Kissinger & John van de Wetering (2020): Reducing the number of non-Clifford gates in quantum circuits. Physical Review A 102(2), pp. 022406, doi:10.1103/PhysRevA.102.022406.
  22. Stach Kuijpers, John van de Wetering & Aleks Kissinger (2019): Graphical Fourier Theory and the Cost of Quantum Addition. Available at http://arxiv.org/abs/1904.07551.
  23. Louis Lemonnier, John van de Wetering & Aleks Kissinger (2020): Hypergraph simplification: Linking the path-sum approach to the ZH-calculus. Available at http://arxiv.org/abs/2003.13564.
  24. Daniel Litinski (2019): A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery. Technical Report, doi:10.22331/q-2019-03-05-128.
  25. Dmitri Maslov (2017): Basic circuit compilation techniques for an ion-trap quantum machine. Technical Report, doi:10.1088/1367-2630/aa5e47.
  26. Dmitri Maslov & Martin Roetteler: Shorter stabilizer circuits via Bruhat decomposition and quantum circuit transformations. Technical Report, doi:10.1109/TIT.2018.2825602.
  27. Mehdi Mhalla & Simon Perdrix (2008): Finding Optimal Flows Efficiently. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5125 LNCS. Springer, Berlin, Heidelberg, pp. 857–868, doi:10.1007/978-3-540-70575-8_70.
  28. Kang Feng Ng & Quanlong Wang (2017): A universal completion of the ZX-calculus. Available at http://arxiv.org/abs/1706.09877.
  29. Michael A. Nielsen & Isaac L. Chuang (2010): Quantum Computation and Quantum Information, doi:10.1017/cbo9780511976667.
  30. Simon Perdrix & Luc Sanselme (2017): Determinism and Computational Power of Real Measurement-Based Quantum Computation. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10472 LNCS. Springer Verlag, pp. 395–408, doi:10.1007/978-3-662-55751-8_31.
  31. Robert Raussendorf & Hans J. Briegel (2001): A one-way quantum computer. Physical Review Letters, doi:10.1103/PhysRevLett.86.5188.
  32. Raphael Dias da Silva, Einar Pius & Elham Kashefi (2013): Global Quantum Circuit Optimization. Available at http://arxiv.org/abs/1301.0351.
  33. Maarten Van den Nest, Jeroen Dehaene & Bart De Moor (2004): Graphical description of the action of local Clifford transformations on graph states. Physical Review A - Atomic, Molecular, and Optical Physics, doi:10.1103/PhysRevA.69.022316.
  34. Fang Zhang & Jianxin Chen (2019): Optimizing T gates in Clifford+T circuit as π/4 rotations around Paulis. Available at http://arxiv.org/abs/1903.12456.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org