Uniform semiclassical observable error bound of Trotter-Suzuki splitting: a simple algebraic proof
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914326825140224 |
|---|---|
| author | Fang, Di Qu, Conrad |
| author_facet | Fang, Di Qu, Conrad |
| contents | Efficient simulation of the semiclassical Schrödinger 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_02783 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Uniform semiclassical observable error bound of Trotter-Suzuki splitting: a simple algebraic proof Fang, Di Qu, Conrad Numerical Analysis Quantum Physics Efficient simulation of the semiclassical Schrödinger 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. |
| title | Uniform semiclassical observable error bound of Trotter-Suzuki splitting: a simple algebraic proof |
| topic | Numerical Analysis Quantum Physics |
| url | https://arxiv.org/abs/2507.02783 |