Quantum Circuit Optimization by Graph Coloring

Jan 24, 2025
18 pages
e-Print:

Citations per year

0 Citations
Abstract: (arXiv)
Depth optimization of a quantum circuit consisting of commuting operations is shown to be reducible to the vertex coloring problem in graph theory. The reduction immediately leads to an algorithm for circuit optimization of commuting gates utilizing any coloring solver. To examine its applicability, known quantum circuits from the literature are optimized.
  • [1]
    Dan Shepherd and Michael J. Bremner. Temporally unstructured quantum computation. Proceedings of the Royal
    • Society A
  • [2]
    Ashley Montanaro, and Dan J. Shepherd. Achieving quantum supremacy with sparse and noisy commuting quantum computations
    • Michael J. Bremner
      • Quantum 1 (2017) 8
  • [3]
    Sergey Bravyi and Mikhail Vyalyi. Commutative version of the local Hamiltonian problem and common eigenspace problem. Quantum Info
      • Comput. 5 (2005) 187-215
  • [5]
    Dmitri Maslov, Jimson Mathew, Donny Cheung, and Dhiraj K. Pradhan. An O(m2 )-depth quantum algorithm for the elliptic curve discrete logarithm problem over GF(2m ). Quantum Info
      • Comput. 9 (2009) 610-621
  • [6]
    Addition on a quantum computer. arXiv preprint
    • Thomas G. Draper
  • [7]
    Mehdi Saeedi and Igor L. Markov. Synthesis and optimization of reversible circuits—a survey
      • ACM Comput.Surveys 45 2013
  • [9]
    Doyeol Ahn, and Warner A Miller. Quantum circuit optimization using quantum Karnaugh map
    • J-H Bae
      ,
    • Paul M. Alsing
      • Sci.Rep. 10 (2020) 15651
  • [10]
    Zhenyu Huang and Siwei Sun. Synthesizing quantum circuits of AES with lower T-depth and less qubits. In Shweta Agrawal and Dongdai Lin, editors, Advances in Cryptology - ASIACRYPT, pages 614-644, Cham
  • [12]
    Quantum computation and quantum information: 10th anniversary edition. Cambridge University Press
    • Michael A. Nielsen
      ,
    • Isaac L. Chuang
  • [14]
    John Adrian Bondy and Uppaluri Siva Ramachandra Murty. Graph theory
  • [15]
    Valentine Kabanets and Jin-Yi Cai. Circuit minimization problem. In Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, STOC ’00, page 73-79, New York, NY, USA,. Association for Computing Machinery
  • [16]
    Eric Allender, Lisa Hellerstein, Paul McCabe, Toniann Pitassi, and Michael Saks. Minimizing disjunctive normal form formulas and AC0 circuits given a truth table
      • SIAM J.Comput. 38 (2008) 63-84
  • [17]
    NP-hardness of minimum circuit size problem for OR-AND-MOD circuits. volume 102 of Leibniz International Proceedings in Informatics, pages 5:1-5:31. Schloss Dagstuhl
    • S. Hirahara
      ,
    • I. Oliveira
      ,
    • R. Santhanam
  • [18]
    Rahul Ilango, Bruno Loff, and Igor C. Oliveira. NP-hardness of circuit minimization for multi-output functions. In Shubhangi Saraf, editor, 35th Computational Complexity Conference (CCC), volume 169 of Leibniz International Proceedings in Informatics (LIPIcs), pages 22:1-22:36, Dagstuhl, Germany,. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
  • [19]
    Shuichi Hirahara. NP-hardness of learning programs and partial MCSP. In
  • [20]
    Kunihiro Wasa, Shin Nishio, Koki Suetsugu, Michael Hanks, Ashley Stephens, Yu Yokoi, and Kae Nemoto. Hardness of braided quantum circuit optimization in the surface code
      • IEEE Trans.Quantum Eng. 4 (2023) 1-7
  • [21]
    John van de Wetering and Matt Amy. Optimising quantum circuits is generally hard. arXiv preprint
  • [22]
    Dmitri Maslov and Ben Zindorf. Depth optimization of CZ, CNOT, and Clifford circuits
      • IEEE Trans.Quantum Eng. 3 (2022) 1-8
  • [23]
    Brittanney Amento, Martin Rötteler, and Rainer Steinwandt. Quantum binary field inversion: improved circuit depth via choice of basis representation. Quantum Info
      • Comput. 13 (2013) 116-134
  • [24]
    An upper bound for the chromatic number of a graph and its application to timetabling problems. The
    • D.J.A. Welsh
      ,
    • M.B. Powell
      • Comput.J. 10 (1967) 85-86
  • [25]
    Daniel Brélaz. New methods to color the vertices of a graph
      • Commun.ACM 22 (1979) 251-256