Skip to main content
Erschienen in: Quantum Information Processing 2/2024

01.02.2024

Practical circuit optimization algorithm for quantum simulation based on template matching

verfasst von: Yuxiang Liu, Zaichen Zhang, Yi Hu, Fanxu Meng, Tian Luan, Xianchao Zhang, Xutao Yu

Erschienen in: Quantum Information Processing | Ausgabe 2/2024

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We propose a circuit optimization algorithm that facilitates the implementation of various applications on noise intermediate-scale quantum (NISQ) devices. The algorithm is hardware-independent and reduces the overall circuit cost of Hamiltonian simulation, particularly by minimizing the number of CNOT gates. Our approach employs a sub-circuit synthesis scheme for intermediate representation and proposes the practical template matching algorithm (TM) for gate elimination to minimize CNOT counts. This algorithm demonstrates low complexity and enhances the circuit performance of Hamiltonian simulations. In our simulations, we benchmarked different algorithms across various Hamiltonian models to quantify and compare the benefits of our approach. Compared with advanced generic compilers and specific quantum compilers, the results obtained from simulating our algorithm show an average reduction of 1.5\(\times \) (up to 2.56\(\times \)) in CNOT counts, and 1.4\(\times \) (up to 3.1\(\times \)) in circuit depth. This improvement further advances the practical application of Hamiltonian simulation in the NISQ era.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Literatur
1.
Zurück zum Zitat Davis, M.G., Smith, E., Tudor, A., Sen, K., Siddiqi, I., Iancu, C.: Towards optimal topology aware quantum circuit synthesis. In: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 223–234 (2020). IEEE Davis, M.G., Smith, E., Tudor, A., Sen, K., Siddiqi, I., Iancu, C.: Towards optimal topology aware quantum circuit synthesis. In: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 223–234 (2020). IEEE
2.
Zurück zum Zitat Preskill, J.: Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018)CrossRef Preskill, J.: Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018)CrossRef
3.
Zurück zum Zitat Bharti, K., Cervera-Lierta, A., Kyaw, T.H., Haug, T., Alperin-Lea, S., Anand, A., Degroote, M., Heimonen, H., Kottmann, J.S., Menke, T., et al.: Noisy intermediate-scale quantum (nisq) algorithms. arXiv preprint arXiv:2101.08448 (2021) Bharti, K., Cervera-Lierta, A., Kyaw, T.H., Haug, T., Alperin-Lea, S., Anand, A., Degroote, M., Heimonen, H., Kottmann, J.S., Menke, T., et al.: Noisy intermediate-scale quantum (nisq) algorithms. arXiv preprint arXiv:​2101.​08448 (2021)
4.
Zurück zum Zitat Deutsch, I.H.: Harnessing the power of the second quantum revolution. PRX Quantum 1(2), 020101 (2020)CrossRef Deutsch, I.H.: Harnessing the power of the second quantum revolution. PRX Quantum 1(2), 020101 (2020)CrossRef
5.
Zurück zum Zitat Cerezo, M., Arrasmith, A., Babbush, R., Benjamin, S.C., Endo, S., Fujii, K., McClean, J.R., Mitarai, K., Yuan, X., Cincio, L.: Variational quantum algorithms. Nat. Rev. Phys. 3(9), 625–644 (2021)CrossRef Cerezo, M., Arrasmith, A., Babbush, R., Benjamin, S.C., Endo, S., Fujii, K., McClean, J.R., Mitarai, K., Yuan, X., Cincio, L.: Variational quantum algorithms. Nat. Rev. Phys. 3(9), 625–644 (2021)CrossRef
6.
Zurück zum Zitat Peruzzo, A., McClean, J., Shadbolt, P., Yung, M.-H., Zhou, X.-Q., Love, P.J., Aspuru-Guzik, A., O’brien, J.L.: A variational eigenvalue solver on a photonic quantum processor. Nat. Commun. 5(1), 1–7 (2014)CrossRef Peruzzo, A., McClean, J., Shadbolt, P., Yung, M.-H., Zhou, X.-Q., Love, P.J., Aspuru-Guzik, A., O’brien, J.L.: A variational eigenvalue solver on a photonic quantum processor. Nat. Commun. 5(1), 1–7 (2014)CrossRef
7.
Zurück zum Zitat McClean, J.R., Romero, J., Babbush, R., Aspuru-Guzik, A.: The theory of variational hybrid quantum-classical algorithms. New J. Phys. 18(2), 023023 (2016)ADSCrossRef McClean, J.R., Romero, J., Babbush, R., Aspuru-Guzik, A.: The theory of variational hybrid quantum-classical algorithms. New J. Phys. 18(2), 023023 (2016)ADSCrossRef
10.
Zurück zum Zitat Raeisi, S., Wiebe, N., Sanders, B.C.: Quantum-circuit design for efficient simulations of many-body quantum dynamics. New J. Phys. 14(10), 103017 (2012)ADSCrossRef Raeisi, S., Wiebe, N., Sanders, B.C.: Quantum-circuit design for efficient simulations of many-body quantum dynamics. New J. Phys. 14(10), 103017 (2012)ADSCrossRef
11.
Zurück zum Zitat Tranter, A., Love, P.J., Mintert, F., Coveney, P.V.: A comparison of the bravyi-kitaev and jordan-wigner transformations for the quantum simulation of quantum chemistry. J. Chem. Theory Comput. 14(11), 5617–5630 (2018)CrossRefPubMedPubMedCentral Tranter, A., Love, P.J., Mintert, F., Coveney, P.V.: A comparison of the bravyi-kitaev and jordan-wigner transformations for the quantum simulation of quantum chemistry. J. Chem. Theory Comput. 14(11), 5617–5630 (2018)CrossRefPubMedPubMedCentral
12.
Zurück zum Zitat Babbush, R., McClean, J., Wecker, D., Aspuru-Guzik, A., Wiebe, N.: Chemical basis of trotter-suzuki errors in quantum chemistry simulation. Phys. Rev. A 91(2), 022311 (2015)ADSCrossRef Babbush, R., McClean, J., Wecker, D., Aspuru-Guzik, A., Wiebe, N.: Chemical basis of trotter-suzuki errors in quantum chemistry simulation. Phys. Rev. A 91(2), 022311 (2015)ADSCrossRef
13.
Zurück zum Zitat Suzuki, M.: General theory of fractal path integrals with applications to many-body theories and statistical physics. J. Math. Phys. 32(2), 400–407 (1991)ADSMathSciNetCrossRef Suzuki, M.: General theory of fractal path integrals with applications to many-body theories and statistical physics. J. Math. Phys. 32(2), 400–407 (1991)ADSMathSciNetCrossRef
14.
15.
Zurück zum Zitat Berry, D.W., Childs, A.M.: Black-box hamiltonian simulation and unitary implementation. arXiv preprint arXiv:0910.4157 (2009) Berry, D.W., Childs, A.M.: Black-box hamiltonian simulation and unitary implementation. arXiv preprint arXiv:​0910.​4157 (2009)
16.
Zurück zum Zitat Childs, A.M., Wiebe, N.: Hamiltonian simulation using linear combinations of unitary operations. arXiv preprint arXiv:1202.5822 (2012) Childs, A.M., Wiebe, N.: Hamiltonian simulation using linear combinations of unitary operations. arXiv preprint arXiv:​1202.​5822 (2012)
17.
Zurück zum Zitat Low, G.H., Chuang, I.L.: Hamiltonian simulation by qubitization. Quantum 3, 163 (2019)CrossRef Low, G.H., Chuang, I.L.: Hamiltonian simulation by qubitization. Quantum 3, 163 (2019)CrossRef
18.
Zurück zum Zitat Berry, D.W., Childs, A.M., Cleve, R., Kothari, R., Somma, R.D.: Simulating Hamiltonian dynamics with a truncated Taylor series. Phys. Rev. Lett. 114(9), 090502 (2015)ADSCrossRefPubMed Berry, D.W., Childs, A.M., Cleve, R., Kothari, R., Somma, R.D.: Simulating Hamiltonian dynamics with a truncated Taylor series. Phys. Rev. Lett. 114(9), 090502 (2015)ADSCrossRefPubMed
19.
Zurück zum Zitat Low, G.H., Chuang, I.L.: Simulación hamiltoniana óptima mediante procesamiento cuántico de señales. Phys. Rev. Lett 118(010501), 10–1103 (2017) Low, G.H., Chuang, I.L.: Simulación hamiltoniana óptima mediante procesamiento cuántico de señales. Phys. Rev. Lett 118(010501), 10–1103 (2017)
20.
Zurück zum Zitat Hu, Y., Meng, F., Wang, X., Luan, T., Fu, Y., Zhang, Z., Zhang, X., Yu, X.: Greedy algorithm based circuit optimization for near-term quantum simulation. Quantum Sci. Technol. 7(4), 045001 (2022)ADSCrossRef Hu, Y., Meng, F., Wang, X., Luan, T., Fu, Y., Zhang, Z., Zhang, X., Yu, X.: Greedy algorithm based circuit optimization for near-term quantum simulation. Quantum Sci. Technol. 7(4), 045001 (2022)ADSCrossRef
21.
Zurück zum Zitat Mukhopadhyay, P., Wiebe, N., Zhang, H.T.: Synthesizing efficient circuits for Hamiltonian simulation. npj Quantum Inf. 9(1), 31 (2023)ADSCrossRef Mukhopadhyay, P., Wiebe, N., Zhang, H.T.: Synthesizing efficient circuits for Hamiltonian simulation. npj Quantum Inf. 9(1), 31 (2023)ADSCrossRef
22.
Zurück zum Zitat Davis, M.G., Smith, E., Tudor, A., Sen, K., Siddiqi, I., Iancu, C.: Heuristics for quantum compiling with a continuous gate set. arXiv preprint arXiv:1912.02727 (2019) Davis, M.G., Smith, E., Tudor, A., Sen, K., Siddiqi, I., Iancu, C.: Heuristics for quantum compiling with a continuous gate set. arXiv preprint arXiv:​1912.​02727 (2019)
23.
Zurück zum Zitat Nielsen, M.A., Chuang, I.: Quantum computation and quantum information. American Association of Physics Teachers (2002) Nielsen, M.A., Chuang, I.: Quantum computation and quantum information. American Association of Physics Teachers (2002)
24.
Zurück zum Zitat Davis, M.G., Smith, E., Tudor, A., Sen, K., Siddiqi, I., Iancu, C.: Towards optimal topology aware quantum circuit synthesis. In: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 223–234 (2020). IEEE Davis, M.G., Smith, E., Tudor, A., Sen, K., Siddiqi, I., Iancu, C.: Towards optimal topology aware quantum circuit synthesis. In: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 223–234 (2020). IEEE
25.
Zurück zum Zitat Cowtan, A., Dilkes, S., Duncan, R., Simmons, W., Sivarajah, S.: Phase gadget synthesis for shallow circuits. arXiv preprint arXiv:1906.01734 (2019) Cowtan, A., Dilkes, S., Duncan, R., Simmons, W., Sivarajah, S.: Phase gadget synthesis for shallow circuits. arXiv preprint arXiv:​1906.​01734 (2019)
26.
Zurück zum Zitat Li, G., Wu, A., Shi, Y., Javadi-Abhari, A., Ding, Y., Xie, Y.: Paulihedral: a generalized block-wise compiler optimization framework for quantum simulation kernels. In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 554–569 (2022) Li, G., Wu, A., Shi, Y., Javadi-Abhari, A., Ding, Y., Xie, Y.: Paulihedral: a generalized block-wise compiler optimization framework for quantum simulation kernels. In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 554–569 (2022)
27.
28.
Zurück zum Zitat Duncan, R., Kissinger, A., Perdrix, S., Van De Wetering, J.: Graph-theoretic simplification of quantum circuits with the zx-calculus. Quantum 4, 279 (2020)CrossRef Duncan, R., Kissinger, A., Perdrix, S., Van De Wetering, J.: Graph-theoretic simplification of quantum circuits with the zx-calculus. Quantum 4, 279 (2020)CrossRef
29.
Zurück zum Zitat Kissinger, A., van de Wetering, J.: Reducing the number of non-clifford gates in quantum circuits. Phys. Rev. A 102(2), 022406 (2020)ADSMathSciNetCrossRef Kissinger, A., van de Wetering, J.: Reducing the number of non-clifford gates in quantum circuits. Phys. Rev. A 102(2), 022406 (2020)ADSMathSciNetCrossRef
30.
Zurück zum Zitat de Beaudrap, N., Horsman, D.: The zx calculus is a language for surface code lattice surgery. Quantum 4, 218 (2020)CrossRef de Beaudrap, N., Horsman, D.: The zx calculus is a language for surface code lattice surgery. Quantum 4, 218 (2020)CrossRef
31.
Zurück zum Zitat de Beaudrap, N., Duncan, R., Horsman, D., Perdrix, S.: Pauli fusion: a computational model to realise quantum transformations from zx terms. arXiv preprint arXiv:1904.12817 (2019) de Beaudrap, N., Duncan, R., Horsman, D., Perdrix, S.: Pauli fusion: a computational model to realise quantum transformations from zx terms. arXiv preprint arXiv:​1904.​12817 (2019)
32.
Zurück zum Zitat Hanks, M., Estarellas, M.P., Munro, W.J., Nemoto, K.: Effective compression of quantum braided circuits aided by zx-calculus. Phys. Rev. X 10(4), 041030 (2020) Hanks, M., Estarellas, M.P., Munro, W.J., Nemoto, K.: Effective compression of quantum braided circuits aided by zx-calculus. Phys. Rev. X 10(4), 041030 (2020)
33.
Zurück zum Zitat Chancellor, N., Kissinger, A., Roffe, J., Zohren, S., Horsman, D.: Graphical structures for design and verification of quantum error correction. arXiv preprint arXiv:1611.08012 (2016) Chancellor, N., Kissinger, A., Roffe, J., Zohren, S., Horsman, D.: Graphical structures for design and verification of quantum error correction. arXiv preprint arXiv:​1611.​08012 (2016)
35.
36.
Zurück zum Zitat Lao, L., Browne, D.E.: 2qan: A quantum compiler for 2-local qubit hamiltonian simulation algorithms. In: Proceedings of the 49th Annual International Symposium on Computer Architecture, pp. 351–365 (2022) Lao, L., Browne, D.E.: 2qan: A quantum compiler for 2-local qubit hamiltonian simulation algorithms. In: Proceedings of the 49th Annual International Symposium on Computer Architecture, pp. 351–365 (2022)
37.
Zurück zum Zitat Bilkis, M., Cerezo, M., Verdon, G., Coles, P.J., Cincio, L.: A semi-agnostic ansatz with variable structure for quantum machine learning. arXiv preprint arXiv:2103.06712 (2021) Bilkis, M., Cerezo, M., Verdon, G., Coles, P.J., Cincio, L.: A semi-agnostic ansatz with variable structure for quantum machine learning. arXiv preprint arXiv:​2103.​06712 (2021)
38.
Zurück zum Zitat Anis, M.S., Abraham, H., AduOffei, R.A., Agliardi, G., Aharoni, M., Akhalwaya, I.Y., Aleksandrowicz, G., Alexander, T., et al.: Qiskit: An open-source framework for quantum computing. 2021. SUPPLEMENTARY INFORMATION I. ALGORITHMS II. A RELAXATION BOUND (| E| 2+ 1 9 \(\alpha \)| E| 2+ \(\alpha \)) Remark 4 Anis, M.S., Abraham, H., AduOffei, R.A., Agliardi, G., Aharoni, M., Akhalwaya, I.Y., Aleksandrowicz, G., Alexander, T., et al.: Qiskit: An open-source framework for quantum computing. 2021. SUPPLEMENTARY INFORMATION I. ALGORITHMS II. A RELAXATION BOUND (| E| 2+ 1 9 \(\alpha \)| E| 2+ \(\alpha \)) Remark 4
39.
Zurück zum Zitat Sivarajah, S., Dilkes, S., Cowtan, A., Simmons, W., Edgington, A., Duncan, R.: t\(\vert ket\rangle \): a retargetable compiler for NISQ devices. Quantum Sci. Technol. 6(1), 014003 (2020)ADSCrossRef Sivarajah, S., Dilkes, S., Cowtan, A., Simmons, W., Edgington, A., Duncan, R.: t\(\vert ket\rangle \): a retargetable compiler for NISQ devices. Quantum Sci. Technol. 6(1), 014003 (2020)ADSCrossRef
Metadaten
Titel
Practical circuit optimization algorithm for quantum simulation based on template matching
verfasst von
Yuxiang Liu
Zaichen Zhang
Yi Hu
Fanxu Meng
Tian Luan
Xianchao Zhang
Xutao Yu
Publikationsdatum
01.02.2024
Verlag
Springer US
Erschienen in
Quantum Information Processing / Ausgabe 2/2024
Print ISSN: 1570-0755
Elektronische ISSN: 1573-1332
DOI
https://doi.org/10.1007/s11128-023-04252-2

Weitere Artikel der Ausgabe 2/2024

Quantum Information Processing 2/2024 Zur Ausgabe

Neuer Inhalt