Algorithm for the solution of the Dirac equation on digital quantum computers
Open accessAbstract
A quantum algorithm that solves the time-dependent Dirac equation on a digital quantum computer is developed and analyzed. The time evolution is performed by an operator-splitting decomposition technique that allows for a mapping of the Dirac operator to a quantum walk supplemented by unitary rotation steps in spinor space. Every step of the splitting method is decomposed into sets of quantum gates. It is demonstrated that the algorithm has an exponential speed-up over the implementation of the same numerical scheme on a classical computer, as long as certain conditions are satisfied. Finally, an explicit decomposition of this algorithm into elementary gates from a universal set is carried out to determine the resource requirements. It is shown that a proof-of-principle calculation may be possible with actual quantum technologies.
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The number of gates has a polynomial growth rate with the number of steps.
“The number of gates has a polynomial growth rate with the number of steps54.”
From Quantum walks and Dirac cellular automata on a programmable trapped-ion quantum computer (2020) · cites this paper as [54]
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
The citation lists haven’t been fetched yet
References 94 · Cited by 33
Research works printed but not linked: 42
- [11]W. Greiner, B. Muller, and J. Rafelski, Quantum Elec- trodynamics of Strong Fields (Springer-Verlag, 1985).
- [13]G. R. Mocken and C. H. Keitel, Computer Physics Communications 178 , 868 (2008). http://dx.doi.org/DOI:%2010.1016/j.cpc.2008.01.042 · DOI
- [14]G. R. Mocken and C. H. Keitel, Journal of Computational Physics 199 , 558 (2004).
- [16]H. Bauke and C. H. Keitel, Computer Physics Communications 182 , 2454 (2011). http://dx.doi.org/10.1016/j.cpc.2011.07.003 · DOI
- [17]Z. Huang, S. Jin, P. A. Markowich, C. Sparber, and C. Zheng, Journal of Computational Physics 208 , 761 (2005).
- [18]W. Bao and X.-G. Li, Journal of Computational Physics 199 , 663 (2004).
- [19]J. Xu, S. Shao, and H. Tang, Journal of Computational Physics 245 , 131 (2013).
- [22]F. Fillion-Gourdeau, E. Lorin, and A. Bandrauk, Journal of Computational Physics 307 , 122 (2016).
- [242](http://dx.doi.org/DOI:%2010.1016/S0375-9601(98)00218-7) · DOI
- [, 245](http://dx.doi.org/DOI:%2010.1016/S0375-9601(98)00218-7) · DOI
- [(1998).](http://dx.doi.org/DOI:%2010.1016/S0375-9601(98)00218-7) · DOI
- [25]U. Becker, N. Grun, and W. Scheid, Journal of Physics B: Atomic and Molecular Physics 16 , 1967 (1983).
- [30]R. Hammer, W. P¨ otz, and A. Arnold, Journal of Computational Physics 265 , 50 (2014).
- [32]S. Succi, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 360 , 429 (2002). http://dx.doi.org/10.1098/rsta.2001.0937 · DOI
- [34]D. Lapitski and P. J. Dellar, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 369 , 2155 (2011). http://dx.doi.org/10.1098/rsta.2011.0017 · DOI · Paper page
- [35]E. Lorin and A. Bandrauk, Nonlinear Analysis: Real World Applications 12 , 190 (2011). http://dx.doi.org/DOI:%2010.1016/j.nonrwa.2010.06.007 · DOI
- [40]G. di Molfetta and F. Debbasch, Journal of Mathematical Physics 53 , 123302 (2012). and W. Scheid, Physics Letters A http://dx.doi.org/DOI:%2010.1016/S0375-9601(9800218-7) · DOI
- [42]P. Arrighi, V. Nesme, and M. Forets, Journal of Physics A: Mathematical and Theoretical 47 , 465302 (2014).
- [45]M. Suzuki, Proceedings of the Japan Academy. Ser. B: Physical and Biological Sciences 69 , 161 (1993).
- [46]R. J. LeVeque, Finite volume methods for hyperbolic problems , Vol. 31 (Cambridge university press, 2002).
- [48]F. Alouges, F. D. Vuyst, G. L. Coq, and E. Lorin, European Journal of Mechanics - B/Fluids 27 , 643 (2008). http://dx.doi.org/http://dx.doi.org/10.1016/j.euromechflu.2008.01.001 · DOI
- [50]A. D. Bandrauk and H. Shen, Chemical Physics Letters 176 , 428 (1991).
- [51]A. D. Bandrauk, E. Dehghanian, and H. Lu, Chemical Physics Letters 419 , 346 (2006).
- [53]C. Zalka, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 454 , 313 (1998). http://dx.doi.org/10.1098/rspa.1998.0162 · DOI
- [54]C. Zalka, Fortschritte der Physik 46 , 877 (1998). http://dx.doi.org/%2010.1002/(SICI1521-3978(199811)46:6/8%3C877::AID-PROP877%3E3.0.CO;2-A) · DOI
- [55]I. Kassal, J. D. Whitfield, A. Perdomo-Ortiz, M.-H. Yung, and A. Aspuru-Guzik, Annual review of physical chemistry 62 , 185207 (2011).
- [56]M.-H. Yung, J. D. Whitfield, S. Boixo, D. G. Tempel, and A. Aspuru-Guzik, 'Introduction to quantum algorithms for physics and chemistry,' in Quantum Information and Computation for Chemistry (John Wiley & Sons, Inc., 2014) pp. 67-106.
- [58]I. Kassal, S. P. Jordan, P. J. Love, M. Mohseni, and A. Aspuru-Guzik, Proceedings of the National Academy of Sciences 105 , 18681 (2008).
- [61]G. Benenti and G. Strini, American Journal of Physics 76 , 657 (2008).
- [66]N. Wiebe, D. Berry, P. Hyer, and B. C. Sanders, Journal of Physics A: Mathematical and Theoretical 43 , 065203 (2010).
- [73]A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger, and B. Valiron, in ACM SIGPLAN Notices , Vol. 48 (ACM, 2013) pp. 333-342.
- [74]A. Scherer, B. Valiron, S.-C. Mau, S. Alexander, E. van den Berg, and T. E. Chapuran, arXiv preprint arXiv:1505.06552 (2015). · arXiv
- [75]S. Siddiqui, M. J. Islam, and O. Shehab, arXiv preprint arXiv:1406.4481 (2014). · arXiv
- [79]R. Barends, L. Lamata, J. Kelly, L. Garc´ ıa- ´ Alvarez, A. Fowler, A. Megrant, E. Jeffrey, T. White, D. Sank, J. Mutus, et al. , Nature communications 6 (2015), doi:10.1038/ncomms8654. · DOI
- [81]B. P. Lanyon, C. Hempel, D. Nigg, M. M¨ uller, R. Gerritsma, F. Z¨ ahringer, P. Schindler, J. T. Barreiro, M. Rambach, G. Kirchmair, M. Hennrich, P. Zoller, R. Blatt, and C. F. Roos, Science 334 , 57 (2011), http://science.sciencemag.org/content/334/6052/57.full.pdf.
- [86]I. Arrazola, J. S. Pedernales, L. Lamata, and E. Solano, Scientific Reports 6 (2016), doi:10.1038/srep30534. · DOI
- [87]M. Suzuki, Physics Letters A 146 , 319 (1990). http://dx.doi.org/http://dx.doi.org/10.1016/0375-9601(9090962-N) · DOI
- [89]M. Feit, J. Fleck, and A. Steiger, Journal of Computational Physics 47 , 412 (1982).
- R. Laflamme, Phys. Rev. A 65 , 042323 (2002). http://dx.doi.org/%2010.1103/PhysRevA.65.042323 · DOI
- [94]G. Heinzel, A. R¨ udiger, and R. Schilling, 'Spectrum and spectral density estimation by the discrete fourier transform (dft), including a comprehensive list of window functions and some new at-top windows,' (2002), technical report. http://hdl.handle.net/11858/00-001M-0000-0013-557A-5
- [96]H. Terashima and M. Ueda, International Journal of Quantum Information 03 , 633 (2005). http://dx.doi.org/10.1142/S0219749905001456 · DOI
- [98]A. Blass and Y. Gurevich, Journal of Mathematical Physics 56 , 042201 (2015).
- Authors
- Fillion-Gourdeau, F., MacLean, S., & Laflamme, R.
- Affiliations
- University of Waterloo (CA)
- Canadian Institute for Advanced Research (CA)
- Venue
- Physical Review A
- Publisher
- American Physical Society (APS)
- Published
- 2017-04-28
- Volume
- 95
- Issue
- 4
- ISSN
- 0556-2791 (ISSN-L)
- 2469-9926
- 2469-9934
- OpenAlex
- W2608164063
- Cited by
- 33
- References
- 94
- Citations by year
- 2025: 3 · 2024: 6 · 2023: 4 · 2022: 5 · 2021: 4 · 2020: 5 · 2019: 4 · 2018: 2
- FWCI
- 1.79
- Type
- journal article
- Language
- en
- Open access
- green
- arxiv.org
- Locations
- Physical Review A (publishedVersion)
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
- Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum many-body systems
- Physical Sciences › Mathematics › Numerical Analysis › Numerical methods for differential equations
- Keywords
- Dirac equation, quantum algorithms, time-dependent Dirac equation, operator splitting, quantum walks, quantum gate decomposition, quantum advantage, resource requirements, relativistic quantum mechanics
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review