Uniform observable error bounds of Trotter formulae for the
semiclassical Schr\"odinger equation
- URL: http://arxiv.org/abs/2208.07957v1
- Date: Tue, 16 Aug 2022 21:34:49 GMT
- Title: Uniform observable error bounds of Trotter formulae for the
semiclassical Schr\"odinger equation
- Authors: Yonah Borns-Weil, Di Fang
- Abstract summary: We show that the computational cost for a class of observables can be much lower than the state-of-the-art bounds.
We show that the number of Trotter steps used for the observable evolution can be $O(1)$, that is, to simulate some observables of the Schr"odinger equation on a quantum scale.
- Score: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: By no fast-forwarding theorem, the simulation time for the Hamiltonian
evolution needs to be $O(\|H\| t)$, which essentially states that one can not
go across the multiple scales as the simulation time for the Hamiltonian
evolution needs to be strictly greater than the physical time. We demonstrated
in the context of the semiclassical Schr\"odinger equation that the
computational cost for a class of observables can be much lower than the
state-of-the-art bounds. In the semiclassical regime (the effective Planck
constant $h \ll 1$), the operator norm of the Hamiltonian is $O(h^{-1})$. We
show that the number of Trotter steps used for the observable evolution can be
$O(1)$, that is, to simulate some observables of the Schr\"odinger equation on
a quantum scale only takes the simulation time comparable to the classical
scale. In terms of error analysis, we improve the additive observable error
bounds [Lasser-Lubich 2020] to uniform-in-$h$ observable error bounds. This is,
to our knowledge, the first uniform observable error bound for semiclassical
Schr\"odinger equation without sacrificing the convergence order of the
numerical method. Based on semiclassical calculus and discrete microlocal
analysis, our result showcases the potential improvements taking advantage of
multiscale properties, such as the smallness of the effective Planck constant,
of the underlying dynamics and sheds light on going across the scale for
quantum dynamics simulation.
Related papers
- Scattering Neutrinos, Spin Models, and Permutations [42.642008092347986]
We consider a class of Heisenberg all-to-all coupled spin models inspired by neutrino interactions in a supernova with $N$ degrees of freedom.
These models are characterized by a coupling matrix that is relatively simple in the sense that there are only a few, relative to $N$, non-trivial eigenvalues.
arXiv Detail & Related papers (2024-06-26T18:27:15Z) - Stochastic error cancellation in analog quantum simulation [0.7204413136269974]
We consider an error model in which the actual Hamiltonian of the simulator differs from the target Hamiltonian.
We analyze the error accumulated in observables in this setting and show that, due to error cancellation, the error scales as the square root of the number of qubits instead of linearly.
arXiv Detail & Related papers (2023-11-24T19:25:08Z) - Real-time dynamics of false vacuum decay [49.1574468325115]
We investigate false vacuum decay of a relativistic scalar field in the metastable minimum of an asymmetric double-well potential.
We employ the non-perturbative framework of the two-particle irreducible (2PI) quantum effective action at next-to-leading order in a large-N expansion.
arXiv Detail & Related papers (2023-10-06T12:44:48Z) - Probing finite-temperature observables in quantum simulators of spin
systems with short-time dynamics [62.997667081978825]
We show how finite-temperature observables can be obtained with an algorithm motivated from the Jarzynski equality.
We show that a finite temperature phase transition in the long-range transverse field Ising model can be characterized in trapped ion quantum simulators.
arXiv Detail & Related papers (2022-06-03T18:00:02Z) - Average-case Speedup for Product Formulas [69.68937033275746]
Product formulas, or Trotterization, are the oldest and still remain an appealing method to simulate quantum systems.
We prove that the Trotter error exhibits a qualitatively better scaling for the vast majority of input states.
Our results open doors to the study of quantum algorithms in the average case.
arXiv Detail & Related papers (2021-11-09T18:49:48Z) - Hamiltonian simulation with random inputs [74.82351543483588]
Theory of average-case performance of Hamiltonian simulation with random initial states.
Numerical evidence suggests that this theory accurately characterizes the average error for concrete models.
arXiv Detail & Related papers (2021-11-08T19:08:42Z) - Provably accurate simulation of gauge theories and bosonic systems [2.406160895492247]
We develop methods for bounding the rate of growth of local quantum numbers.
For the Hubbard-Holstein model, we compute a bound on $Lambda$ that achieves accuracy $epsilon$.
We also establish a criterion for truncating the Hamiltonian with a provable guarantee on the accuracy of time evolution.
arXiv Detail & Related papers (2021-10-13T18:00:02Z) - Fragility to quantum fluctuations of classical Hamiltonian period
doubling [0.0]
We add quantum fluctuations to a classical period-doubling Hamiltonian time crystal, replacing the $N$ classical interacting angular momenta with quantum spins of size $l$.
The full permutation symmetry of the Hamiltonian allows a mapping to a bosonic model and the application of exact diagonalization for quite large system size.
arXiv Detail & Related papers (2021-08-25T18:02:57Z) - Observable Error Bounds of the Time-splitting Scheme for
Quantum-Classical Molecular Dynamics [0.0]
We prove an additive observable error bound of Schwartz observables for the proposed time-splitting schemes.
We establish a uniform-in-$h$ observable error bound, which allows an $mathcalO(1)$ time step to accurately capture the physical observable.
arXiv Detail & Related papers (2021-08-18T17:07:48Z) - The classical limit of Schr\"{o}dinger operators in the framework of
Berezin quantization and spontaneous symmetry breaking as emergent phenomenon [0.0]
A strict deformation quantization is analysed on the classical phase space $bR2n$.
The existence of this classical limit is in particular proved for ground states of a wide class of Schr"odinger operators.
The support of the classical state is included in certain orbits in $bR2n$ depending on the symmetry of the potential.
arXiv Detail & Related papers (2021-03-22T14:55:57Z) - Quantum Algorithms for Simulating the Lattice Schwinger Model [63.18141027763459]
We give scalable, explicit digital quantum algorithms to simulate the lattice Schwinger model in both NISQ and fault-tolerant settings.
In lattice units, we find a Schwinger model on $N/2$ physical sites with coupling constant $x-1/2$ and electric field cutoff $x-1/2Lambda$.
We estimate observables which we cost in both the NISQ and fault-tolerant settings by assuming a simple target observable---the mean pair density.
arXiv Detail & Related papers (2020-02-25T19:18:36Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.