Optimal Hamiltonian simulation for time-periodic systems

Kaoru Mizuta1 and Keisuke Fujii2,3,1,4

1RIKEN Center for Quantum Computing (RQC), Hirosawa 2-1, Wako, Saitama 351-0198, Japan
2Graduate School of Engineering Science, Osaka University, 1-3 Machikaneyama, Toyonaka, Osaka 560-8531, Japan.
3Center for Quantum Information and Quantum Biology, Osaka University, Japan.
4Fujitsu Quantum Computing Joint Research Division at QIQB, Osaka University, 1-2 Machikaneyama, Toyonaka 560-0043, Japan

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.


The implementation of time-evolution operators $U(t)$, called Hamiltonian simulation, is one of the most promising usage of quantum computers. For time-independent Hamiltonians, qubitization has recently established efficient realization of time-evolution $U(t)=e^{-iHt}$, with achieving the optimal computational resource both in time $t$ and an allowable error $\varepsilon$. In contrast, those for time-dependent systems require larger cost due to the difficulty of handling time-dependency. In this paper, we establish optimal/nearly-optimal Hamiltonian simulation for generic time-dependent systems with time-periodicity, known as Floquet systems. By using a so-called Floquet-Hilbert space equipped with auxiliary states labeling Fourier indices, we develop a way to certainly obtain the target time-evolved state without relying on either time-ordered product or Dyson-series expansion. Consequently, the query complexity, which measures the cost for implementing the time-evolution, has optimal and nearly-optimal dependency respectively in time $t$ and inverse error $\varepsilon$, and becomes sufficiently close to that of qubitization. Thus, our protocol tells us that, among generic time-dependent systems, time-periodic systems provides a class accessible as efficiently as time-independent systems despite the existence of time-dependency. As we also provide applications to simulation of nonequilibrium phenomena and adiabatic state preparation, our results will shed light on nonequilibrium phenomena in condensed matter physics and quantum chemistry, and quantum tasks yielding time-dependency in quantum computation.

Simulating quantum materials has been an essential task of quantum computers since their beginning. We establish an optimal/nearly-optimal protocol for accurately simulating time-periodic Hamiltonians by fundamental notions of quantum physics such as Floquet theory and Lieb-Robinson bound. Significantly, its efficiency can reach the theoretically best one for time-independent systems, despite the difficulty of time-dependency. Not only our result gives insights into relation between quantum dynamics and quantum computation from the viewpoint of computational complexity, but also it builds versatile technology of quantum computers toward nonequilibrium phenomena in condensed matter physics and quantum chemistry, such as light-irradiated materials.

► BibTeX data

► References

[1] Richard P. Feynman. ``Simulating Physics with Computers''. Int. J. Theor. Physics 21, 467 (1982).

[2] S Lloyd. ``Universal Quantum Simulators''. Science 273, 1073–1078 (1996).

[3] Adam Smith, M S Kim, Frank Pollmann, and Johannes Knolle. ``Simulating quantum many-body dynamics on a current digital quantum computer''. npj Quantum Information 5, 1–13 (2019).

[4] Frank Arute et al. ``Observation of separated dynamics of charge and spin in the Fermi-Hubbard model'' (2020). arXiv:2010.07965.

[5] A. Yu. Kitaev. ``Quantum measurements and the Abelian Stabilizer Problem'' (1995). arXiv:quant-ph/​9511026.

[6] Jiangfeng Du, Nanyang Xu, Xinhua Peng, Pengfei Wang, Sanfeng Wu, and Dawei Lu. ``NMR implementation of a molecular hydrogen quantum simulation with adiabatic state preparation''. Phys. Rev. Lett. 104, 030502 (2010).

[7] B P Lanyon et al. ``Towards quantum chemistry on a quantum computer''. Nat. Chem. 2, 106–111 (2010).

[8] P. J. J O'Malley et al. ``Scalable Quantum Simulation of Molecular Energies''. Phys. Rev. X 6, 031007 (2016).

[9] Daniel S Abrams and Seth Lloyd. ``Simulation of Many-Body Fermi Systems on a Universal Quantum Computer''. Phys. Rev. Lett. 79, 2586–2589 (1997).

[10] A T Sornborger and E D Stewart. ``Higher-order methods for simulations on quantum computers''. Phys. Rev. A 60, 1956–1965 (1999).

[11] Earl Campbell. ``Random Compiler for Fast Hamiltonian Simulation''. Phys. Rev. Lett. 123, 070503 (2019).

[12] Andrew M. Childs, Yuan Su, Minh C. Tran, Nathan Wiebe, and Shuchen Zhu. ``Theory of Trotter Error with Commutator Scaling''. Phys. Rev. X 11, 011020 (2021).

[13] Andrew M Childs and Nathan Wiebe. ``Hamiltonian simulation using linear combinations of unitary operations''. Quantum Information & Computation 12, 901 (2012).

[14] Dominic W Berry, Andrew M Childs, and Robin Kothari. ``Hamiltonian Simulation with Nearly Optimal Dependence on all Parameters''. In 2015 IEEE 56th Annual Symposium on Foundations of Computer Science. Pages 792–809. ieeexplore.ieee.org (2015).

[15] Dominic W Berry, Andrew M Childs, Richard Cleve, Robin Kothari, and Rolando D Somma. ``Simulating Hamiltonian dynamics with a truncated Taylor series''. Phys. Rev. Lett. 114, 090502 (2015).

[16] Dominic W Berry, Andrew M Childs, Richard Cleve, Robin Kothari, and Rolando D Somma. ``Exponential improvement in precision for simulating sparse Hamiltonians''. Forum of Mathematics, Sigma 5, E8 (2017).

[17] Guang Hao Low and Isaac L Chuang. ``Optimal Hamiltonian Simulation by Quantum Signal Processing''. Phys. Rev. Lett. 118, 010501 (2017).

[18] Guang Hao Low and Isaac L Chuang. ``Hamiltonian simulation by qubitization''. Quantum 3, 163 (2019).

[19] Guang Hao Low and Nathan Wiebe. ``Hamiltonian simulation in the interaction picture'' (2018). arXiv:1805.00675.

[20] Mária Kieferová, Artur Scherer, and Dominic W Berry. ``Simulating the dynamics of time-dependent Hamiltonians with a truncated Dyson series''. Phys. Rev. A 99, 042314 (2019).

[21] Dominic W. Berry, Andrew M. Childs, Yuan Su, Xin Wang, and Nathan Wiebe. ``Time-dependent Hamiltonian simulation with $L^1$-norm scaling''. Quantum 4, 254 (2020).

[22] Jeongwan Haah, Matthew B Hastings, Robin Kothari, and Guang Hao Low. ``Quantum algorithm for simulating real time evolution of lattice Hamiltonians''. SIAM J. Comput.Pages FOCS18–250–FOCS18–284 (2021).

[23] Yi-Hsiang Chen, Amir Kalev, and Itay Hen. ``Quantum Algorithm for Time-Dependent Hamiltonian Simulation by Permutation Expansion''. PRX Quantum 2, 030342 (2021).

[24] Jacob Watkins, Nathan Wiebe, Alessandro Roggero, and Dean Lee. ``Time-dependent Hamiltonian Simulation Using Discrete Clock Constructions'' (2022). arXiv:2203.11353.

[25] Takuya Kitagawa, Erez Berg, Mark Rudner, and Eugene Demler. ``Topological characterization of periodically driven quantum systems''. Phys. Rev. B 82, 235114 (2010).

[26] Mark S Rudner, Netanel H Lindner, Erez Berg, and Michael Levin. ``Anomalous edge states and the bulk-edge correspondence for periodically driven two-dimensional systems''. Physical Review X 3, 031005 (2013).

[27] Fenner Harper, Rahul Roy, Mark S. Rudner, and S.L. Sondhi. ``Topology and Broken Symmetry in Floquet Systems''. Annual Review of Condensed Matter Physics 11, 345–368 (2020).

[28] Vedika Khemani, Achilleas Lazarides, Roderich Moessner, and S L Sondhi. ``Phase Structure of Driven Quantum Systems''. Phys. Rev. Lett. 116, 250401 (2016).

[29] Dominic V Else, Bela Bauer, and Chetan Nayak. ``Floquet Time Crystals''. Phys. Rev. Lett. 117, 090402 (2016).

[30] Vedika Khemani, Roderich Moessner, and S L Sondhi. ``A Brief History of Time Crystals'' (2019). arXiv:1910.10745.

[31] Feng Mei, Qihao Guo, Ya-Fei Yu, Liantuan Xiao, Shi-Liang Zhu, and Suotang Jia. ``Digital Simulation of Topological Matter on Programmable Quantum Processors''. Phys. Rev. Lett. 125, 160503 (2020).

[32] J Randall et al. ``Many-body-localized discrete time crystal with a programmable spin-based quantum simulator''. Science 374, 1474 (2021).

[33] Xiao Mi et al. ``Time-crystalline eigenstate order on a quantum processor''. Nature 601, 531–536 (2022).

[34] R M Potvliege and R Shakeshaft. ``Multiphoton processes in an intense laser field: Harmonic generation and total ionization rates for atomic hydrogen''. Phys. Rev. A 40, 3061–3079 (1989).

[35] F H M Faisal and J Z Kamiński. ``Floquet-Bloch theory of high-harmonic generation in periodic structures''. Phys. Rev. A 56, 748–762 (1997).

[36] Takashi Oka and Hideo Aoki. ``Photovoltaic Hall effect in graphene''. Phys. Rev. B 79, 081406 (2009).

[37] Takashi Oka and Sota Kitamura. ``Floquet Engineering of Quantum Materials''. Annual Review of Condensed Matter Physics 10, 387–408 (2019).

[38] D J Thouless. ``Quantization of particle transport''. Phys. Rev. B 27, 6083 (1983).

[39] M Lohse, C Schweizer, O Zilberberg, M Aidelsburger, and I Bloch. ``A Thouless quantum pump with ultracold bosonic atoms in an optical superlattice''. Nat. Phys. 12, 350–354 (2015).

[40] Shuta Nakajima, Takafumi Tomita, Shintaro Taie, Tomohiro Ichinose, Hideki Ozawa, Lei Wang, Matthias Troyer, and Yoshiro Takahashi. ``Topological Thouless pumping of ultracold fermions''. Nat. Phys. 12, 296–300 (2016).

[41] Alán Aspuru-Guzik, Anthony D Dutoi, Peter J Love, and Martin Head-Gordon. ``Simulated quantum computation of molecular energies''. Science 309, 1704–1707 (2005).

[42] Tameem Albash and Daniel A. Lidar. ``Adiabatic quantum computation''. Rev. Mod. Phys. 90, 015002 (2018).

[43] Elliott H Lieb and Derek W Robinson. ``The finite group velocity of quantum spin systems''. Commun. Math. Phys. 28, 251–257 (1972).

[44] Hideo Sambe. ``Steady States and Quasienergies of a Quantum-Mechanical System in an Oscillating Field''. Phys. Rev. A 7, 2203–2213 (1973).

[45] T O Levante, M Baldus, B H Meier, and R R Ernst. ``Formalized quantum mechanical Floquet theory and its application to sample spinning in nuclear magnetic resonance''. Mol. Phys. 86, 1195–1212 (1995).

[46] Ryan Babbush, Craig Gidney, Dominic W Berry, Nathan Wiebe, Jarrod McClean, Alexandru Paler, Austin Fowler, and Hartmut Neven. ``Encoding Electronic Spectra in Quantum Circuits with Linear T Complexity''. Phys. Rev. X 8, 041015 (2018).

[47] András Gilyén, Yuan Su, Guang Hao Low, and Nathan Wiebe. ``Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics''. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 193–204 (2019).

[48] John M. Martyn, Zane M. Rossi, Andrew K. Tan, and Isaac L. Chuang. ``Grand Unification of Quantum Algorithms''. PRX Quantum 2, 040203 (2021).

[49] Lov K. Grover. ``Quantum Mechanics Helps in Searching for a Needle in a Haystack''. Phys. Rev. Lett. 79, 325–328 (1997).

[50] Zongping Gong and Ryusuke Hamazaki. ``Bounds in Nonequilibrium Quantum Dynamics''. International Journal of Modern Physics B 36, 223007 (2022).

[51] Robert M Gray. ``Toeplitz and Circulant Matrices: A Review''. Foundations and Trends® in Communications and Information Theory 2, 155–239 (2006).

[52] R M Corless, G H Gonnet, D E G Hare, D J Jeffrey, and D E Knuth. ``On the LambertW function''. Adv. Comput. Math. 5, 329–359 (1996).

[53] Steven A Cuccaro, Thomas G Draper, Samuel A Kutin, and David Petrie Moulton. ``A new quantum ripple-carry addition circuit'' (2004). arXiv:quant-ph/​0410184.

[54] Lov Grover and Terry Rudolph. ``Creating superpositions that correspond to efficiently integrable probability distributions'' (2002). arXiv:quant-ph/​0208112.

[55] Aram W. Harrow, Avinatan Hassidim, and Seth Lloyd. ``Quantum algorithm for linear systems of equations''. Phys. Rev. Lett. 103, 150502 (2009).

[56] L K Grover. ``Synthesis of quantum superpositions by quantum computation''. Phys. Rev. Lett. 85, 1334–1337 (2000).

[57] Yuval R Sanders, Guang Hao Low, Artur Scherer, and Dominic W Berry. ``Black-Box Quantum State Preparation without Arithmetic''. Phys. Rev. Lett. 122, 020502 (2019).

[58] Arthur G Rattew and Bálint Koczor. ``Preparing Arbitrary Continuous Functions in Quantum Registers With Logarithmic Complexity'' (2022). arXiv:2205.00519.

[59] Dmitry A Abanin, Wojciech De Roeck, and François Huveneers. ``Exponentially Slow Heating in Periodically Driven Many-Body Systems''. Phys. Rev. Lett. 115, 256803 (2015).

[60] Tomotaka Kuwahara, Takashi Mori, and Keiji Saito. ``Floquet–Magnus theory and generic transient dynamics in periodically driven many-body quantum systems''. Ann. Phys. 367, 96–124 (2016).

[61] Takashi Mori, Tomotaka Kuwahara, and Keiji Saito. ``Rigorous Bound on Energy Absorption and Generic Relaxation in Periodically Driven Quantum Systems''. Phys. Rev. Lett. 116, 120401 (2016).

[62] Dmitry A Abanin, Wojciech De Roeck, Wen Wei Ho, and François Huveneers. ``Effective Hamiltonians, prethermalization, and slow energy absorption in periodically driven many-body systems''. Phys. Rev. B 95, 014112 (2017).

[63] Dmitry Abanin, Wojciech De Roeck, Wen Wei Ho, and François Huveneers. ``A Rigorous Theory of Many-Body Prethermalization for Periodically Driven and Closed Quantum Systems''. Commun. Math. Phys. 354, 809–827 (2017).

[64] Frank Verstraete, J Ignacio Cirac, and José I Latorre. ``Quantum circuits for strongly correlated quantum systems''. Phys. Rev. A 79, 032316 (2009).

[65] Andrew J Ferris. ``Fourier transform for fermionic systems and the spectral tensor network''. Phys. Rev. Lett. 113, 010401 (2014).

[66] Ryan Babbush, Nathan Wiebe, Jarrod McClean, James McClain, Hartmut Neven, and Garnet Kin-Lic Chan. ``Low-Depth Quantum Simulation of Materials''. Phys. Rev. X 8, 011044 (2018).

[67] R E F Silva, Igor V Blinov, Alexey N Rubtsov, O Smirnova, and M Ivanov. ``High-harmonic spectroscopy of ultrafast many-body dynamics in strongly correlated systems''. Nat. Photonics 12, 266–270 (2018).

[68] Yuta Murakami, Martin Eckstein, and Philipp Werner. ``High-Harmonic Generation in Mott Insulators''. Phys. Rev. Lett. 121, 057405 (2018).

[69] Yuta Murakami, Shintaro Takayoshi, Akihisa Koga, and Philipp Werner. ``High-harmonic generation in one-dimensional Mott insulators''. Phys. Rev. B 103, 035110 (2021).

[70] In order to capture nontrivial phenomena in the steady states, we should attach a coupling with an external bath to the time-independent term $H_0$. While it alters the block-encoding of $H_0$, the scaling of the computational cost does not severely increase.

[71] Koki Chinzei and Tatsuhiko N. Ikeda. ``Time Crystals Protected by Floquet Dynamical Symmetry in Hubbard Models''. Phys. Rev. Lett. 125, 060601 (2020).

[72] Jérémie Roland and Nicolas J. Cerf. ``Quantum search by local adiabatic evolution''. Phys. Rev. A 65, 042308 (2002).

[73] Daniel A Lidar, Ali T Rezakhani, and Alioscia Hamma. ``Adiabatic approximation with exponential accuracy for many-body systems and quantum computation''. J. Math. Phys. 50, 102106 (2009).

[74] Nathan Wiebe and Nathan S Babcock. ``Improved error-scaling for adiabatic quantum evolutions''. New J. Phys. 14, 013024 (2012).

[75] Kianna Wan and Isaac H Kim. ``Fast digital methods for adiabatic state preparation'' (2020). arXiv:2004.04164.

[76] Di Fang, Lin Lin, and Yu Tong. ``Time-marching based quantum solvers for time-dependent linear differential equations''. Quantum 7, 955 (2023).

[77] Heinz-Peter Breuer, Francesco Petruccione, and School of Pure and Applied Physics Francesco Petruccione. ``The Theory of Open Quantum Systems''. Oxford University Press. (2002).

[78] Angel Rivas and Susana F Huelga. ``Open Quantum Systems''. Springer Berlin Heidelberg. (2012).

[79] Derek W Robinson. ``Properties of propagation of quantum spin systems''. ANZIAM J. 19, 387–399 (1976).

[80] Bruno Nachtergaele and Robert Sims. ``Lieb-Robinson bounds and the exponential clustering theorem''. Commun. Math. Phys. 265, 119–130 (2006).

[81] Bruno Nachtergaele, Yoshiko Ogata, and Robert Sims. ``Propagation of correlations in quantum lattice systems''. J. Stat. Phys. 124, 1 (2006).

Cited by

[1] Kaoru Mizuta, "Optimal/Nearly-optimal simulation of multi-periodic time-dependent Hamiltonians", arXiv:2301.06232, (2023).

[2] Xiao-Ming Zhang, Zixuan Huo, Kecheng Liu, Ying Li, and Xiao Yuan, "Unbiased random circuit compiler for time-dependent Hamiltonian simulation", arXiv:2212.09445, (2022).

The above citations are from SAO/NASA ADS (last updated successfully 2023-06-08 14:38:30). The list may be incomplete as not all publishers provide suitable and complete citation data.

On Crossref's cited-by service no data on citing works was found (last attempt 2023-06-09 07:13:15). Could not fetch ADS cited-by data during last attempt 2023-06-09 07:13:16: cURL error 28: Operation timed out after 10003 milliseconds with 0 bytes received