# Trotter product formulae for $*$-automorphisms of quantum lattice systems

@inproceedings{Bachmann2021TrotterPF, title={Trotter product formulae for \$*\$-automorphisms of quantum lattice systems}, author={Sven Bachmann and Markus Lange}, year={2021} }

We consider the dynamics t 7→ τ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 τ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. We… Expand

#### One Citation

Classification of gapped ground state phases in quantum spin systems

- Physics, Mathematics
- 2021

Recently, classification problems of gapped ground state phases attract a lot of attention in quantum statistical mechanics. We explain about our operator algebraic approach to these problems.

#### References

SHOWING 1-10 OF 30 REFERENCES

Local factorisation of the dynamics of quantum spin systems

- Mathematics, Physics
- 2015

Motivated by the study of area laws for the entanglement entropy of gapped ground states of quantum spin systems and their stability, we prove that the unitary cocycle generated by a local… Expand

A Product Formula Related to Quantum Zeno Dynamics

- Physics, Mathematics
- 2005

Abstract.We prove a product formula which involves the unitary group generated by a semibounded self-adjoint operator and an orthogonal projection P on a separable Hilbert space
$\mathcal{H},$
with… Expand

Quasi-locality bounds for quantum lattice systems. I. Lieb-Robinson bounds, quasi-local maps, and spectral flow automorphisms

- Physics, Mathematics
- Journal of Mathematical Physics
- 2019

Lieb-Robinson bounds show that the speed of propagation of information under the Heisenberg dynamics in a wide class of nonrelativistic quantum lattice systems is essentially bounded. We review works… Expand

Efficient Quantum Algorithms for Simulating Sparse Hamiltonians

- Mathematics, Physics
- 2007

We present an efficient quantum algorithm for simulating the evolution of a quantum state for a sparse Hamiltonian H over a given time t in terms of a procedure for computing the matrix entries of H.… Expand

Index Theory of One Dimensional Quantum Walks and Cellular Automata

- Mathematics, Physics
- 2012

If a one-dimensional quantum lattice system is subject to one step of a reversible discrete-time dynamics, it is intuitive that as much “quantum information” as moves into any given block of cells… Expand

Adiabatic currents for interacting fermions on a lattice

- Mathematics, Physics
- Reviews in Mathematical Physics
- 2019

We prove an adiabatic theorem for general densities of observables that are sums of local terms in finite systems of interacting fermions, without periodicity assumptions on the Hamiltonian and with… Expand

A converse to Lieb-Robinson bounds in one dimension using index theory

- Mathematics, Physics
- 2020

Unitary dynamics with a strict causal cone (or "light cone") have been studied extensively, under the name of quantum cellular automata (QCAs). In particular, QCAs in one dimension have been… Expand

Quantum Algorithm for Simulating Real Time Evolution of Lattice Hamiltonians

- Mathematics, Physics
- 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS)
- 2018

This paper studies the problem of simulating the time evolution of a lattice Hamiltonian, and proves a matching lower bound on the gate count of such a simulation, showing that any quantum algorithm that can simulate a piecewise constant bounded local Hamiltonian in one dimension to constant error requires (nT) gates in the worst case. Expand

Simulating Quantum Dynamics On A Quantum Computer

- Mathematics, Physics
- 2010

We present efficient quantum algorithms for simulating time-dependent Hamiltonian evolution of general input states using an oracular model of a quantum computer. Our algorithms use either constant… Expand

The finite group velocity of quantum spin systems

- Physics
- 1972

AbstractIt is shown that if Φ is a finite range interaction of a quantum spin system,τtΦ the associated group of time translations, τx the group of space translations, andA, B local observables, then… Expand