Trotter product formulae for $*$-automorphisms of quantum lattice
systems
- URL: http://arxiv.org/abs/2105.14168v4
- Date: Mon, 11 Jul 2022 16:51:10 GMT
- Title: Trotter product formulae for $*$-automorphisms of quantum lattice
systems
- Authors: Sven Bachmann and Markus Lange
- Abstract summary: We show that $tau_t$ can be efficiently approximated by a product of $n$ automorphisms.
Our bounds hold in norm, pointwise for algebra elements that are sufficiently well approximated by finite volume observables.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We consider the dynamics $t\mapsto\tau_t$ of an infinite quantum lattice
system that is generated by a local interaction. If the interaction decomposes
into a finite number of terms that are themselves local interactions, we show
that $\tau_t$ can be efficiently approximated by a product of $n$
automorphisms, each of them being an alternating product generated by the
individual terms. For any integer $m$, we construct a product formula (in the
spirit of Trotter) such that the approximation error scales as $n^{-m}$. Our
bounds hold in norm, pointwise for algebra elements that are sufficiently well
approximated by finite volume observables.
Related papers
- Tensor network approximation of Koopman operators [0.0]
We propose a framework for approximating the evolution of observables of measure-preserving ergodic systems.
Our approach is based on a spectrally-convergent approximation of the skew-adjoint Koopman generator.
A key feature of this quantum-inspired approximation is that it captures information from a tensor product space of dimension $(2d+1)n$.
arXiv Detail & Related papers (2024-07-09T21:40:14Z) - Connecting Kani's Lemma and path-finding in the Bruhat-Tits tree to compute supersingular endomorphism rings [0.0]
We give a deterministic time algorithm to compute the endomorphism ring of a supersingular elliptic curve in characteristic p.
We use techniques of higher-dimensional isogenies to navigate towards the local endomorphism ring.
arXiv Detail & Related papers (2024-02-07T18:10:54Z) - Quantum Current and Holographic Categorical Symmetry [62.07387569558919]
A quantum current is defined as symmetric operators that can transport symmetry charges over an arbitrary long distance.
The condition for quantum currents to be superconducting is also specified, which corresponds to condensation of anyons in one higher dimension.
arXiv Detail & Related papers (2023-05-22T11:00:25Z) - Telling compositeness at a distance with outer automorphisms and CP [0.0]
We investigate charge-parity (CP) and non-CP outer automorphism of groups and the transformation behavior of group representations under them.
We identify situations where composite and elementary states that transform in exactly the same representation of the group, transform differently under outer automorphisms.
arXiv Detail & Related papers (2022-12-14T19:00:00Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk.
The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra.
As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
arXiv Detail & Related papers (2022-08-12T15:05:07Z) - Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann.
We show how our results have immediate applications to the modern theory of polarization.
arXiv Detail & Related papers (2022-05-30T18:01:34Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$.
It is assumed that a density matrix $rho$ can be determined from the expectation values of observables.
Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
arXiv Detail & Related papers (2021-12-14T16:29:53Z) - 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) - Annihilating Entanglement Between Cones [77.34726150561087]
We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied.
Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
arXiv Detail & Related papers (2021-10-22T15:02:39Z) - Note on a Product Formula Related to Quantum Zeno Dynamics [0.0]
We prove that $lim_nrightarrow infty (P,mathrme-itH/nP)n = mathrme-itH_PP$ holds in the strong operator topology.
We derive modifications of this product formula and its extension to the situation when $P$ is replaced by a strongly continuous projection-valued function satisfying $P(0)=P$.
arXiv Detail & Related papers (2020-12-30T07:04:41Z) - Classical Dynamics from Self-Consistency Equations in Quantum Mechanics
-- Extended Version [0.0]
We propose a new mathematical approach to Bona's non-linear generalization of quantum mechanics.
It highlights the central role of self-consistency.
Some new mathematical concepts are introduced, which are possibly interesting by themselves.
arXiv Detail & Related papers (2020-09-10T16:20:25Z)
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.