Complexity of Implementing Trotter Steps
Quantum dynamics can be simulated on a quantum computer by exponentiating elementary terms from the Hamiltonian in a sequential manner. However, such an implementation of Trotter steps has gate complexity depending on the total Hamiltonian term number, comparing unfavorably to algorithms using more...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
American Physical Society
2023-05-01
|
| Series: | PRX Quantum |
| Online Access: | http://doi.org/10.1103/PRXQuantum.4.020323 |
| _version_ | 1797830302138105856 |
|---|---|
| author | Guang Hao Low Yuan Su Yu Tong Minh C. Tran |
| author_facet | Guang Hao Low Yuan Su Yu Tong Minh C. Tran |
| author_sort | Guang Hao Low |
| collection | DOAJ |
| description | Quantum dynamics can be simulated on a quantum computer by exponentiating elementary terms from the Hamiltonian in a sequential manner. However, such an implementation of Trotter steps has gate complexity depending on the total Hamiltonian term number, comparing unfavorably to algorithms using more advanced techniques. We develop methods to perform faster Trotter steps with complexity sublinear in the number of terms. We achieve this for a class of Hamiltonians whose interaction strength decays with distance according to power law. Our methods include one based on a recursive block encoding and one based on an average-cost simulation, overcoming the normalization-factor barrier of these advanced quantum simulation techniques. We also realize faster Trotter steps when certain blocks of Hamiltonian coefficients have low rank. Combining with a tighter error analysis, we show that it suffices to use (η^{1/3}n^{1/3}+n^{2/3}/η^{2/3})n^{1+o(1)} gates to simulate uniform electron gas with n spin orbitals and η electrons in second quantization in real space, asymptotically improving over the best previous work. We obtain an analogous result when the external potential of nuclei is introduced under the Born-Oppenheimer approximation. We prove a circuit lower bound when the Hamiltonian coefficients take a continuum range of values, showing that generic n-qubit two-local Hamiltonians with commuting terms require at least Ω(n^{2}) gates to evolve with accuracy ϵ=Ω(1/poly(n)) for time t=Ω(ϵ). Our proof is based on a gate-efficient reduction from the approximate synthesis of diagonal unitaries within the Hamming weight-2 subspace, which may be of independent interest. Our result thus suggests the use of Hamiltonian structural properties as both necessary and sufficient to implement Trotter steps with lower gate complexity. |
| first_indexed | 2024-04-09T13:34:00Z |
| format | Article |
| id | doaj.art-71a857b3f56b4411bd3d254c4577bc6f |
| institution | Directory Open Access Journal |
| issn | 2691-3399 |
| language | English |
| last_indexed | 2024-04-09T13:34:00Z |
| publishDate | 2023-05-01 |
| publisher | American Physical Society |
| record_format | Article |
| series | PRX Quantum |
| spelling | doaj.art-71a857b3f56b4411bd3d254c4577bc6f2023-05-09T15:46:04ZengAmerican Physical SocietyPRX Quantum2691-33992023-05-014202032310.1103/PRXQuantum.4.020323Complexity of Implementing Trotter StepsGuang Hao LowYuan SuYu TongMinh C. TranQuantum dynamics can be simulated on a quantum computer by exponentiating elementary terms from the Hamiltonian in a sequential manner. However, such an implementation of Trotter steps has gate complexity depending on the total Hamiltonian term number, comparing unfavorably to algorithms using more advanced techniques. We develop methods to perform faster Trotter steps with complexity sublinear in the number of terms. We achieve this for a class of Hamiltonians whose interaction strength decays with distance according to power law. Our methods include one based on a recursive block encoding and one based on an average-cost simulation, overcoming the normalization-factor barrier of these advanced quantum simulation techniques. We also realize faster Trotter steps when certain blocks of Hamiltonian coefficients have low rank. Combining with a tighter error analysis, we show that it suffices to use (η^{1/3}n^{1/3}+n^{2/3}/η^{2/3})n^{1+o(1)} gates to simulate uniform electron gas with n spin orbitals and η electrons in second quantization in real space, asymptotically improving over the best previous work. We obtain an analogous result when the external potential of nuclei is introduced under the Born-Oppenheimer approximation. We prove a circuit lower bound when the Hamiltonian coefficients take a continuum range of values, showing that generic n-qubit two-local Hamiltonians with commuting terms require at least Ω(n^{2}) gates to evolve with accuracy ϵ=Ω(1/poly(n)) for time t=Ω(ϵ). Our proof is based on a gate-efficient reduction from the approximate synthesis of diagonal unitaries within the Hamming weight-2 subspace, which may be of independent interest. Our result thus suggests the use of Hamiltonian structural properties as both necessary and sufficient to implement Trotter steps with lower gate complexity.http://doi.org/10.1103/PRXQuantum.4.020323 |
| spellingShingle | Guang Hao Low Yuan Su Yu Tong Minh C. Tran Complexity of Implementing Trotter Steps PRX Quantum |
| title | Complexity of Implementing Trotter Steps |
| title_full | Complexity of Implementing Trotter Steps |
| title_fullStr | Complexity of Implementing Trotter Steps |
| title_full_unstemmed | Complexity of Implementing Trotter Steps |
| title_short | Complexity of Implementing Trotter Steps |
| title_sort | complexity of implementing trotter steps |
| url | http://doi.org/10.1103/PRXQuantum.4.020323 |
| work_keys_str_mv | AT guanghaolow complexityofimplementingtrottersteps AT yuansu complexityofimplementingtrottersteps AT yutong complexityofimplementingtrottersteps AT minhctran complexityofimplementingtrottersteps |