Skip to main content
Erschienen in: Quantum Information Processing 6/2020

01.06.2020

Quantum fast Poisson solver: the algorithm and complete and modular circuit design

verfasst von: Shengbin Wang, Zhimin Wang, Wendong Li, Lixin Fan, Zhiqiang Wei, Yongjian Gu

Erschienen in: Quantum Information Processing | Ausgabe 6/2020

Einloggen

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

search-config
loading …

Abstract

The Poisson equation has applications across many areas of physics and engineering, such as the dynamic process simulation of ocean current. Here we present a quantum algorithm for solving Poisson equation, as well as a complete and modular circuit design. The algorithm takes the HHL algorithm as the framework (where HHL is for solving linear equations). A more efficient way of implementing the controlled rotation, one of the crucial steps in HHL, is developed based on the arc cotangent function. The key point is that the inverse trigonometric function can be evaluated in a very simple recursive way by a binary expansion method. Quantum algorithms for solving square root and reciprocal functions are proposed based on the classical non-restoring method. These advances not only reduce the algorithm’s complexity, but more importantly make the circuit more complete and practical. We demonstrate our circuits on a quantum virtual computing system installed on the Sunway TaihuLight supercomputer. This is an important step toward practical applications of the present circuits as a fast Poisson solver in the near-term hybrid classical/quantum devices.

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 Cleve, R., Ekert, A., Macchiavello, C., Mosca, M.: Quantum algorithms revisited. Proc. R. Soc. Lond. A 454, 339–354 (1998)ADSMathSciNetCrossRef Cleve, R., Ekert, A., Macchiavello, C., Mosca, M.: Quantum algorithms revisited. Proc. R. Soc. Lond. A 454, 339–354 (1998)ADSMathSciNetCrossRef
2.
Zurück zum Zitat Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information, Chaps. 1–6. Cambridge University Press, Cambridge (2010)CrossRef Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information, Chaps. 1–6. Cambridge University Press, Cambridge (2010)CrossRef
3.
Zurück zum Zitat Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th Annual Symposium on Foundations of Computer Science, pp. 124–134 (1994) Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th Annual Symposium on Foundations of Computer Science, pp. 124–134 (1994)
4.
Zurück zum Zitat Grover, L.: Quantum mechanics helps in searching for a needle in a haystack. Phys. Rev. Lett. 79, 325–328 (1997)ADSCrossRef Grover, L.: Quantum mechanics helps in searching for a needle in a haystack. Phys. Rev. Lett. 79, 325–328 (1997)ADSCrossRef
5.
Zurück zum Zitat Harrow, A.W., Hassidim, A., Lloyd, S.: Quantum algorithm for linear systems of equations. Phys. Rev. Lett. 103, 150502 (2009)ADSMathSciNetCrossRef Harrow, A.W., Hassidim, A., Lloyd, S.: Quantum algorithm for linear systems of equations. Phys. Rev. Lett. 103, 150502 (2009)ADSMathSciNetCrossRef
6.
Zurück zum Zitat Biamonte, J., Wittek, P., Pancotti, N., Rebentrost, P., Wiebe, N., Lloyd, S.: Quantum machine learning. Nature 549, 195–202 (2017)ADSCrossRef Biamonte, J., Wittek, P., Pancotti, N., Rebentrost, P., Wiebe, N., Lloyd, S.: Quantum machine learning. Nature 549, 195–202 (2017)ADSCrossRef
8.
Zurück zum Zitat Berry, W.: High-order quantum algorithm for solving linear differential equations. J. Phys. A Math. Theor. 47, 105301 (2014)ADSMathSciNetCrossRef Berry, W.: High-order quantum algorithm for solving linear differential equations. J. Phys. A Math. Theor. 47, 105301 (2014)ADSMathSciNetCrossRef
9.
Zurück zum Zitat Berry, W., Childs, A.M., Ostrander, A., Wang, G.: Quantum algorithm for linear differential equations with exponentially improved dependence on precision. Commun. Math. Phys. 356, 1057–1081 (2017)ADSMathSciNetCrossRef Berry, W., Childs, A.M., Ostrander, A., Wang, G.: Quantum algorithm for linear differential equations with exponentially improved dependence on precision. Commun. Math. Phys. 356, 1057–1081 (2017)ADSMathSciNetCrossRef
10.
Zurück zum Zitat Arrazola, J.M., Kalajdzievski, T., Weedbrook, C., Lloyd, S.: Quantum algorithm for non-homogeneous linear partial differential equations. Phys. Rev. A 100, 032306 (2019)ADSMathSciNetCrossRef Arrazola, J.M., Kalajdzievski, T., Weedbrook, C., Lloyd, S.: Quantum algorithm for non-homogeneous linear partial differential equations. Phys. Rev. A 100, 032306 (2019)ADSMathSciNetCrossRef
11.
Zurück zum Zitat Cao, Y., Papageorgiou, A., Petras, I., Traub, J., Kais, S.: Quantum algorithm and circuit design solving the Poisson equation. New J. Phys. 15, 013021 (2013)ADSMathSciNetCrossRef Cao, Y., Papageorgiou, A., Petras, I., Traub, J., Kais, S.: Quantum algorithm and circuit design solving the Poisson equation. New J. Phys. 15, 013021 (2013)ADSMathSciNetCrossRef
12.
Zurück zum Zitat White, F.M.: Fluid Mechanics, Chap. 4, 8th edn. McGraw-Hill Education, New York (2016) White, F.M.: Fluid Mechanics, Chap. 4, 8th edn. McGraw-Hill Education, New York (2016)
13.
Zurück zum Zitat Lukaszewicz, G., Kalita, P.: Navier–Stokes Equations: An Introduction with Applications, Chap. 2. Springer, Switzerland (2016)CrossRef Lukaszewicz, G., Kalita, P.: Navier–Stokes Equations: An Introduction with Applications, Chap. 2. Springer, Switzerland (2016)CrossRef
14.
Zurück zum Zitat Kosior, A., Kudela, H.: Parallel computations on GPU in 3D using the vortex particle method. Comput. Fluids 80, 423–428 (2013)MathSciNetCrossRef Kosior, A., Kudela, H.: Parallel computations on GPU in 3D using the vortex particle method. Comput. Fluids 80, 423–428 (2013)MathSciNetCrossRef
15.
Zurück zum Zitat Steijl, R., Barakos, G.N.: Parallel evaluation of quantum algorithms for computational fluid dynamics. Comput. Fluids 173, 22–28 (2018)MathSciNetCrossRef Steijl, R., Barakos, G.N.: Parallel evaluation of quantum algorithms for computational fluid dynamics. Comput. Fluids 173, 22–28 (2018)MathSciNetCrossRef
16.
Zurück zum Zitat Hockney, R.W.: A fast direct solution of Poisson’s equation using Fourier analysis. J. Assoc. Comput. Mach. 12, 95–113 (1965)MathSciNetCrossRef Hockney, R.W.: A fast direct solution of Poisson’s equation using Fourier analysis. J. Assoc. Comput. Mach. 12, 95–113 (1965)MathSciNetCrossRef
17.
Zurück zum Zitat Buzbee, B.L., Golub, G.H., Nielson, C.W.: On direct methods for solving Poisson’s equations. SIAM J. Numer. Anal. 7, 627–656 (1970)ADSMathSciNetCrossRef Buzbee, B.L., Golub, G.H., Nielson, C.W.: On direct methods for solving Poisson’s equations. SIAM J. Numer. Anal. 7, 627–656 (1970)ADSMathSciNetCrossRef
18.
Zurück zum Zitat Swarztrauber, P.N.: The methods of cyclic reduction, Fourier analysis and the FACR algorithm for the discrete solution of Poisson’s equation on a rectangle. SIAM Rev. 19, 490–501 (1977)MathSciNetCrossRef Swarztrauber, P.N.: The methods of cyclic reduction, Fourier analysis and the FACR algorithm for the discrete solution of Poisson’s equation on a rectangle. SIAM Rev. 19, 490–501 (1977)MathSciNetCrossRef
19.
Zurück zum Zitat Ritter, K., Wasilkowski, G.W.: On the average case complexity of solving Poisson equations. Lect. Appl. Math. 32, 677–688 (1996)MathSciNetMATH Ritter, K., Wasilkowski, G.W.: On the average case complexity of solving Poisson equations. Lect. Appl. Math. 32, 677–688 (1996)MathSciNetMATH
21.
Zurück zum Zitat Childs, A.M., Kothari, R., Somma, R.D.: Quantum algorithm for systems of linear equations with exponentially improved dependence on precision. SIAM J. Comput. 46, 1920–1950 (2017)MathSciNetCrossRef Childs, A.M., Kothari, R., Somma, R.D.: Quantum algorithm for systems of linear equations with exponentially improved dependence on precision. SIAM J. Comput. 46, 1920–1950 (2017)MathSciNetCrossRef
22.
23.
24.
Zurück zum Zitat Sutikno, T.: An efficient implementation of the non restoring square root algorithm in gate level. Int. J. Comput. Theory Eng. 3, 46 (2011)CrossRef Sutikno, T.: An efficient implementation of the non restoring square root algorithm in gate level. Int. J. Comput. Theory Eng. 3, 46 (2011)CrossRef
25.
Zurück zum Zitat Burks, A.W., Goldstine, H.H., von Neumann, J.: Preliminary discussion of the logical design of an electronic computing instrument. Princeton, Institute for Advanced Study (1947) Burks, A.W., Goldstine, H.H., von Neumann, J.: Preliminary discussion of the logical design of an electronic computing instrument. Princeton, Institute for Advanced Study (1947)
26.
Zurück zum Zitat Demmel, J.W.: Applied Numerical Linear Algebra, Chap. 6. SIAM, Philadelphia (1997)CrossRef Demmel, J.W.: Applied Numerical Linear Algebra, Chap. 6. SIAM, Philadelphia (1997)CrossRef
27.
28.
Zurück zum Zitat Biham, O., Biron, D., Grassl, M., Lidar, D.A.: Grover’s quantum search algorithm for an arbitrary initial amplitude distribution. Phys. Rev. A 60, 2742 (1999)ADSCrossRef Biham, O., Biron, D., Grassl, M., Lidar, D.A.: Grover’s quantum search algorithm for an arbitrary initial amplitude distribution. Phys. Rev. A 60, 2742 (1999)ADSCrossRef
29.
Zurück zum Zitat Grover, L.K.: Synthesis of quantum superpositions by quantum computation. Phys. Rev. Lett. 85, 1334 (2000)ADSCrossRef Grover, L.K.: Synthesis of quantum superpositions by quantum computation. Phys. Rev. Lett. 85, 1334 (2000)ADSCrossRef
30.
31.
Zurück zum Zitat Soklakov, A.N., Schack, R.: Efficient state preparation for a register of quantum bits. Phys. Rev. A 73, 012307 (2006)ADSCrossRef Soklakov, A.N., Schack, R.: Efficient state preparation for a register of quantum bits. Phys. Rev. A 73, 012307 (2006)ADSCrossRef
32.
Zurück zum Zitat Luis, A., Peřina, J.: Optimum phase-shift estimation and the quantum description of the phase difference. Phys. Rev. A 54, 4564 (1996)ADSCrossRef Luis, A., Peřina, J.: Optimum phase-shift estimation and the quantum description of the phase difference. Phys. Rev. A 54, 4564 (1996)ADSCrossRef
33.
Zurück zum Zitat Weinstein, Y.S., Pravia, M.A., Fortunato, E.M., Lloyd, S., Cory, D.G.: Implementation of the quantum Fourier transform. Phys. Rev. Lett. 86, 1889 (2001)ADSCrossRef Weinstein, Y.S., Pravia, M.A., Fortunato, E.M., Lloyd, S., Cory, D.G.: Implementation of the quantum Fourier transform. Phys. Rev. Lett. 86, 1889 (2001)ADSCrossRef
35.
Zurück zum Zitat Berry, D.W., Ahokas, G., Cleve, R., Sanders, B.C.: Efficient quantum algorithms for simulating sparse Hamiltonians. Commun. Math. Phys. 270, 359–371 (2007)ADSMathSciNetCrossRef Berry, D.W., Ahokas, G., Cleve, R., Sanders, B.C.: Efficient quantum algorithms for simulating sparse Hamiltonians. Commun. Math. Phys. 270, 359–371 (2007)ADSMathSciNetCrossRef
36.
Zurück zum Zitat Wickerhauser, M.V.: Adapted Wavelet Analysis: From Theory to Software, Chap. 3. Peters A.K./CRC Press, Wellesley (1994)MATH Wickerhauser, M.V.: Adapted Wavelet Analysis: From Theory to Software, Chap. 3. Peters A.K./CRC Press, Wellesley (1994)MATH
38.
Zurück zum Zitat Barenco, A., Bennett, C.H., Cleve, R., DiVincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Phys. Rev. A 52, 3457 (1995)ADSCrossRef Barenco, A., Bennett, C.H., Cleve, R., DiVincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Phys. Rev. A 52, 3457 (1995)ADSCrossRef
39.
40.
Zurück zum Zitat Bhaskar, M.K., Hadfield, S., Papageorgiou, A., Petras, I.: Quantum algorithms and circuits for scientific computing. Quantum Inf. Comput. 16, 197–236 (2016)MathSciNet Bhaskar, M.K., Hadfield, S., Papageorgiou, A., Petras, I.: Quantum algorithms and circuits for scientific computing. Quantum Inf. Comput. 16, 197–236 (2016)MathSciNet
41.
Zurück zum Zitat Brassard, G., Hoyer, P., Mosca, M., Tapp, A.: Quantum amplitude amplification and estimation. Contemp. Math. 305, 53–74 (2002)MathSciNetCrossRef Brassard, G., Hoyer, P., Mosca, M., Tapp, A.: Quantum amplitude amplification and estimation. Contemp. Math. 305, 53–74 (2002)MathSciNetCrossRef
42.
Zurück zum Zitat Zhao-Yun, Chen, Qi, Zhou, Cheng, Xue, Xia, Yang, Guang-Can, Guo, Guo-Ping, Guo: 64-qubit quantum circuit simulation. Sci. Bull. 63, 964–971 (2018)CrossRef Zhao-Yun, Chen, Qi, Zhou, Cheng, Xue, Xia, Yang, Guang-Can, Guo, Guo-Ping, Guo: 64-qubit quantum circuit simulation. Sci. Bull. 63, 964–971 (2018)CrossRef
43.
Zurück zum Zitat The web address for accessing our QRunes codes The web address for accessing our QRunes codes
45.
Zurück zum Zitat Mitarai, K., Kitagawa, M., Fujii, K.: Quantum analog-digital conversion. Phys. Rev. A 99, 012301 (2019)ADSCrossRef Mitarai, K., Kitagawa, M., Fujii, K.: Quantum analog-digital conversion. Phys. Rev. A 99, 012301 (2019)ADSCrossRef
47.
Zurück zum Zitat Pan, V.Y., Ivolgin, D., Murphy, B., Rosholt, R.E., Tang, Y., Yan, X.: Additive preconditioning for matrix computations. Linear Algebra Appl. 432, 1070–1089 (2010)MathSciNetCrossRef Pan, V.Y., Ivolgin, D., Murphy, B., Rosholt, R.E., Tang, Y., Yan, X.: Additive preconditioning for matrix computations. Linear Algebra Appl. 432, 1070–1089 (2010)MathSciNetCrossRef
Metadaten
Titel
Quantum fast Poisson solver: the algorithm and complete and modular circuit design
verfasst von
Shengbin Wang
Zhimin Wang
Wendong Li
Lixin Fan
Zhiqiang Wei
Yongjian Gu
Publikationsdatum
01.06.2020
Verlag
Springer US
Erschienen in
Quantum Information Processing / Ausgabe 6/2020
Print ISSN: 1570-0755
Elektronische ISSN: 1573-1332
DOI
https://doi.org/10.1007/s11128-020-02669-7

Weitere Artikel der Ausgabe 6/2020

Quantum Information Processing 6/2020 Zur Ausgabe

Neuer Inhalt