Uniform semiclassical observable error bound of Trotterization without the Egorov theorem: a simple algebraic proof

• URL: http://arxiv.org/abs/2507.02783v1
• Date: Thu, 03 Jul 2025 16:47:29 GMT
• Title: Uniform semiclassical observable error bound of Trotterization without the Egorov theorem: a simple algebraic proof
• Authors: Di Fang, Conrad Qu,
• Abstract summary: We show that the error in certain classes of observables admits a time step size independent of $h$.<n>This is the first proof of uniform-in-$h$ observable error bounds for Trotterization in the semiclassical regime.
• Score: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Efficient simulation of the semiclassical Schr\"odinger equation has garnered significant attention in the numerical analysis community. While controlling the error in the unitary evolution or the wavefunction typically requires the time step size to shrink as the semiclassical parameter $h$ decreases, it has been observed -- and proved for first- and second-order Trotterization schemes -- that the error in certain classes of observables admits a time step size independent of $h$. In this work, we explicitly characterize this class of observables and present a new, simple algebraic proof of uniform-in-$h$ error bounds for arbitrarily high-order Trotterization schemes. Our proof relies solely on the algebraic structure of the underlying operators in both the continuous and discrete settings. Unlike previous analyses, it avoids Egorov-type theorems and bypasses heavy semiclassical machinery. To our knowledge, this is the first proof of uniform-in-$h$ observable error bounds for Trotterization in the semiclassical regime that relies only on algebraic structure, without invoking the semiclassical limit.

Related papers

• Quasiclassical theory of out-of-time-ordered correlators [0.0]
  Out-of-time correlators (OTOCs) represent observables that provide useful indicators for chaos. We present a quasiclassical formalism of OTOCs, which is obtained from the semiclassical van Vleck-Gutzwiller propagator.
  arXiv  Detail & Related papers  (2024-10-08T14:11:49Z)
• Critical spin models from holographic disorder [49.1574468325115]
  We study the behavior of XXZ spin chains with a quasiperiodic disorder not present in continuum holography. Our results suggest the existence of a class of critical phases whose symmetries are derived from models of discrete holography.
  arXiv  Detail & Related papers  (2024-09-25T18:00:02Z)
• A U-turn on Double Descent: Rethinking Parameter Counting in Statistical Learning [68.76846801719095]
  We show that double descent appears exactly when and where it occurs, and that its location is not inherently tied to the threshold p=n. This provides a resolution to tensions between double descent and statistical intuition.
  arXiv  Detail & Related papers  (2023-10-29T12:05:39Z)
• Instance-Dependent Generalization Bounds via Optimal Transport [51.71650746285469]
  Existing generalization bounds fail to explain crucial factors that drive the generalization of modern neural networks. We derive instance-dependent generalization bounds that depend on the local Lipschitz regularity of the learned prediction function in the data space. We empirically analyze our generalization bounds for neural networks, showing that the bound values are meaningful and capture the effect of popular regularization methods during training.
  arXiv  Detail & Related papers  (2022-11-02T16:39:42Z)
• Uniform observable error bounds of Trotter formulae for the semiclassical Schrödinger equation [0.0]
  We show that the computational cost for a class of observables can be much lower than the state-of-the-art bounds. We improve the additive observable error bounds to uniform-in-$h$ observable error bounds. This is, to our knowledge, the first uniform observable error bound for semiclassical Schr"odinger equation.
  arXiv  Detail & Related papers  (2022-08-16T21:34:49Z)
• Optimal policy evaluation using kernel-based temporal difference methods [78.83926562536791]
  We use kernel Hilbert spaces for estimating the value function of an infinite-horizon discounted Markov reward process. We derive a non-asymptotic upper bound on the error with explicit dependence on the eigenvalues of the associated kernel operator. We prove minimax lower bounds over sub-classes of MRPs.
  arXiv  Detail & Related papers  (2021-09-24T14:48:20Z)
• 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)
• Understanding Double Descent Requires a Fine-Grained Bias-Variance Decomposition [34.235007566913396]
  We describe an interpretable, symmetric decomposition of the variance into terms associated with the labels. We find that the bias decreases monotonically with the network width, but the variance terms exhibit non-monotonic behavior. We also analyze the strikingly rich phenomenology that arises.
  arXiv  Detail & Related papers  (2020-11-04T21:04:02Z)
• Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
  We present the construction of quantum Hamiltonians for a three-body system consisting of identical bosons mutually coupled by a two-body interaction of zero range. For a large part of the presentation, infinite scattering length will be considered.
  arXiv  Detail & Related papers  (2020-06-03T17:54:43Z)
• Topological Euler class as a dynamical observable in optical lattices [0.0]
  We show that the invariant $(xi)$ falls outside conventional symmetry-eigenvalue indicated phases. We theoretically demonstrate that quenching with non-trivial Euler Hamiltonian results in stable monopole-antimonopole pairs. Our results provide a basis for exploring new topologies and their interplay with crystalline symmetries in optical lattices beyond paradigmatic Chern insulators.
  arXiv  Detail & Related papers  (2020-05-06T18:00:03Z)

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.