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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For any two matrices A and B, Lie proved the celebrated product formula
There is a long line of similar formulae of increasing generality, pioneered by Trotter [1], simplified by Chernoff [2] for semigroups on Banach spaces, see e.g., [3]. In the particular setting of quantum mechanics where A, B are densely defined semibounded self-adjoint operators and \(\exp (i t A),\exp (i t B)\) and \(\exp (i t (A+B))\) are the corresponding unitary groups, the product formula was proved under general assumptions by Kato [4] and Ichinose [5], see also [6]. It plays a crucial role in functional integration, see in particular [7]. For related results in the context of the quantum Zeno effect, we refer to [8], and point further to [9] for a historical overview, in particular in the case of Gibbs semigroups.
The recent interest in proving general product formulae with explicit control of the rate of convergence has been motivated by two related developments in many-body quantum systems. On the one hand in quantum information theory, operator products arise as quantum circuits and a product formula is interpreted as a simulation algorithm for the time evolution of a quantum system [10,11,12]. On the other hand in condensed matter physics, operator products are referred to as finite depth quantum circuits and play a central role in the classification of gapped phases [13], as they can be used to define the very notion of equivalence of states. In both cases, the concepts have recently been tested experimentally, see e.g., [14, 15].
In both applications, the rate of convergence of the product formula to the full dynamics is of crucial importance: for quantum simulation because it determines the number of quantum gates required to simulate to a given error, for gapped phases because it relates to the degree of entanglement of ground states. The standard general product formulae yield a rather poor scaling of either \(n^{-1/2}\) or at best \(n^{-1}\), see again [3]. In fact, in the case of Gibbs semigroups, there exist pairs of unbounded operators for which the norm difference is lower bounded by \(L(t) n^{-1}\), see [9]. Furthermore, beyond the mere scaling, sharp constants are essential and may prove fatal in a many-body setting. Indeed, for a lattice system having N degrees of freedom, the error diverges as \(N\rightarrow \infty \), even in the strong operator topology, which is the natural topology as soon as A, B are unbounded. This is related to the infrared catastrophe: If two states are locally close to each other but the error extends to spatial infinity, then they are in fact orthogonal.
In this work, we consider d-dimensional quantum lattice systems in the infinite volume limit. The dynamics is an automorphism group \(t\mapsto \tau ^\Phi _t\) of the quasi-local algebra (which is a C*-algebra) generated by a local Hamiltonian formally given by
where the \(K_j\)’s correspond to an arbitrary grouping of the interaction terms. We provide product formulae and prove explicit bounds for sufficiently localized observables: For any \(m\in {\mathbb N}\), there is a product automorphism denoted \(\pi _{t,n}^{(m)}\) such that
for any almost local observable. The constant \(C_{m,t,k}(O)\) depends on both the observable O and the Hamiltonian. The convergence we consider here is in the C*-norm, pointwise for sufficiently localized elements of the algebra. In other words, we consider the strong topology of operators acting on the C*-algebra. This is a purely Banach space result.
As in (1.1), \(\pi _{t,n}^{(m)}\) are compositions of the individual dynamics generated by each \(K_j\) individually. The general form of the product \(\pi _{t,n}^{(m)}\) was proposed by Suzuki [16] although in the Hilbert space setting, see also [17], and used recently by Childs et al. [18], but only for finite systems with bounds that diverge in the volume.
From a technical point of view, we find it convenient to consider almost exclusively the interaction norms, see Definition (2.2), that measure the local size of extensive observables of the type (1.2). We extend their definition to be able to consider interactions localized in (possibly infinite) subsets of the lattice (see also [19]) and remark that this construction is well-suited to discuss almost local observables. Crucially, the unbounded \(*\)-derivation formally given by
is well-defined on the set of almost local observables: it maps this set into itself, and we quantify explicitly the weakening of the localization induced by its action in terms of the interaction norms.
We further wish to point out two related results. Firstly, a slightly different approach to a product formula was taken in [20], focussing on the ‘quasi-adiabatic’ properties of product formulae, namely the error when projected onto the ground state space. Secondly, a similar spatial product factorization with sharp error bounds was derived in [21]: it is not based on the Trotter strategy but it uses rather directly the Lieb–Robinson bound, see also [22].
While the results hold for a general decomposition (1.2), in applications the factors \(K_j\) will be chosen so as to be commuting Hamiltonians, namely each \(K_j\) is a sum of mutually commuting interaction terms \(\Phi _j(X)\), i.e., \([\Phi _j(X),\Phi _j(X')] = 0\) for all \(X,X'\). Such Hamiltonians have the property that the corresponding automorphism \(\tau ^{\Phi _j}_t(O)\) is strictly local in that the support of the observable O grows at most by the range of the interaction, uniformly in the time t. Propagation, which is obviously present in the full dynamics \(\tau _t^{\Phi }(O)\) arises then through the alternating action of the automorphisms \(\{\tau ^{\Phi _j}:j=1,\ldots ,k\}\). While the Lieb–Robinson bound is at the heart of the proofs, the product formulae provide a very clear picture of the mechanism of propagation.
In the context of quantum simulation, much attention is given to the error made in the approximation upon truncation of the product formula to a finite number of terms. As we shall see, the error has a complicated dependence on a number of parameters and we shall discuss this in detail later. We already point out now (i) that the error is exponential in the total time t, (ii) that the number of factors in \(\pi _{t,n}^{(m)}\) is proportional to n and to the number k of factors in the decomposition of the Hamiltonian, and that it is exponential in the order m of approximation, and (iii) that unlike in the original Trotter product formula, the times involved in the various factors of \(\pi _{t,n}^{(m)}\) are not all equal, although they are all of order \(\frac{t}{n}\); in fact, the time evolution runs backwards for a fraction of the factors, giving rise to a fractal path, see Fig. 1 at the end of Sect. 4.
Finally, we comment on the relation of the present work to [23]. While we start with a Hamiltonian evolution and approximate it with a finite depth quantum circuit, [23] goes beyond, although only in one dimension. The starting point there is an almost locality preserving unitary (ALPU, an automorphism satisfying a Lieb–Robinson bound), which is not a priori generated by a Hamiltonian. Generalizing the index defined in [24], and in the case that the index of the ALPU vanishes, Theorem 5.8 in [23] goes on to prove that the automorphism is in fact well approximated by a finite depth quantum circuit. The construction there is of a very different nature than ours and the successive layers of the circuit have increasing interaction range but decreasing strength and they act over a decreasing time interval.
2 Setting
Let \((\Gamma ,{\textbf {d}})\) be a metric graph, where \({\textbf {d}}\) is the graph distance. We assume that \(\Gamma \) is d-dimensional in the sense that \(\sup _{x\in \Gamma }\vert \{y\in \Gamma : {\textbf {d}}(x,y) = r\}\vert =\omega (1+r)^{d-1}\). For any subset \(X\subset \Gamma \), we define for any \(r>0\) the set \(X^{(r)} = \{x\in \Gamma :{\textbf {d}}(x,X)\le r\}\) which is an r-fattening of the set X.
To each site \(x \in \Gamma \), we associate a finite-dimensional complex Hilbert space \({{\mathcal {H}}}_x\) and define for any finite \(\Lambda \subset \Gamma \),
where \({{\mathcal {B}}}({{\mathcal {H}}}_x)\) denotes the bounded linear operators over \({{\mathcal {H}}}_x\). Moreover, we identify \(A \in {{\mathcal {A}}}_{\Lambda _0}\) with \(A \otimes {\mathbb I}_{\Lambda \setminus \Lambda _0} \in {{\mathcal {A}}}_\Lambda \) whenever \(\Lambda _0\subset \Lambda \). With this, we can inductively define the algebra of local observables
where the union is taken over \({{\mathcal {P}}}_\mathrm{fin}(\Gamma )\), the set of all finite subsets of \(\Gamma \). If \(O\in {{\mathcal {A}}}_\mathrm{loc}\), then \(\mathrm {supp}(O)\) is the smallest set X such that \(O\in {{\mathcal {A}}}_X\). The completion of \({{\mathcal {A}}}_\mathrm{loc}\) with respect to the norm topology is a \(C^*\)-algebra which is called the quasi-local algebra and we denote it by \({{\mathcal {A}}}\). The above construction of \({{\mathcal {A}}}\) is completely standard and we refer to [3, 25] for further details.
2.1 Interactions and Hamiltonians
Definition 2.1
An interaction is a map \(\Phi : {{\mathcal {P}}}_\mathrm{fin}(\Gamma ) \rightarrow {{\mathcal {A}}}_\mathrm{loc}\) such that
for all \(X \in {{\mathcal {P}}}_\mathrm{fin}(\Gamma )\).
We turn the set of interactions into a Banach space in the following way. Let \(0 < p \le 1\) and let
for any \(b > 0\). The function \(\xi _{b}\) is a decreasing, logarithmically superadditive function, namely \(\xi _b(x+y)\ge \xi _b(x)\xi _b(y)\), that is summable in the following sense
since \(\Gamma \) is finite dimensional.
Definition 2.2
Let \(D(X):= \max \{{\textbf {d}}(x,y) : x, y \in X\}\) denote the diameter of the set \(X\subset \Gamma \). The interaction norm of an interaction \(\Phi \) is given by
![](http://media.springernature.com/lw237/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ5_HTML.png)
For fixed \(b>0\), we denote the Banach space of interactions with finite -norm by \({{\mathcal {B}}}_b\) and set
An interaction \(\Phi \) therefore belongs to \({{\mathcal {B}}}\) if it belongs to at least one \({{\mathcal {B}}}_b\). If \(\Phi \in {{\mathcal {B}}}_{b_0}\), it then follows by definition that \(\Phi \in {{\mathcal {B}}}_b\) for all \(0<b\le b_0\). Note that while each \({{\mathcal {B}}}_b\) is a Banach space, their union \({{\mathcal {B}}}\) is not.
Finally, we shall denote \({{\mathcal {B}}}_\infty = \bigcap _{b>0} {{\mathcal {B}}}_b\), namely \(\Phi \in {{\mathcal {B}}}_\infty \) if and only if \(\Phi \in {{\mathcal {B}}}_b\) for all \(b>0\).
We point out the norm indicates both the rate of decay of the interaction and its intensity in the sense that the total interaction at any given \(x \in \Gamma \) is bounded by the interaction norm:
![](http://media.springernature.com/lw225/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ81_HTML.png)
We will also need the notion of an interaction that is almost localized in some set \(Z \subset \Gamma \).
Definition 2.3
Let \(Z \subset \Gamma \) and let \(D_{Z}(X) := D(X) + {\textbf {d}}(X,Z)\). Let
![](http://media.springernature.com/lw261/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ6_HTML.png)
We denote \({{\mathcal {B}}}_b(Z)\) the corresponding Banach space of interactions and define
Note that the replacement of the diameter by \(D_{Z}(X)\) captures the decay of the interaction \(\Phi (X)\) in the size of X and in the distance from X to Z. If \(\Phi \in {{\mathcal {B}}}_b(Z)\), then the total contribution of \(\Phi \) at a given point x is not only finite, but it decays with the distance of x to Z,
![](http://media.springernature.com/lw290/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ7_HTML.png)
Indeed, we first write
Given \(x\in X\), let \(z,z_0\in Z\) and \(x_0\in X\) be such that \({\textbf {d}}(x,Z) = {\textbf {d}}(x,z)\), \({\textbf {d}}(X,Z) = {\textbf {d}}(x_0,z_0)\). Then,
Since \(\xi _b\) is a decreasing function, we have that \(\xi _b(D_Z(X)) \le \xi _b({\textbf {d}}(x,Z))\) which yields (2.4) when plugged in (2.5).
In general, the sum of an interaction is not convergent in \({{\mathcal {A}}}\), but such a local Hamiltonian defines a dynamics and a densely defined *-derivation on \({{\mathcal {A}}}\). Moreover, if an interaction is almost localized in a finite set, then the sum is convergent and defines what we shall call an almost local observable in \({{\mathcal {A}}}\).
We start with the latter.
Lemma 2.4
Let \(Z\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\) and \(\Phi \in {{\mathcal {B}}}(Z)\). The sum
is convergent in \({{\mathcal {A}}}\). Moreover,
![](http://media.springernature.com/lw151/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ82_HTML.png)
for all \(b>0\), where the right-hand side is infinite whenever \(\Phi \notin {{\mathcal {B}}}_b(Z)\).
Proof
Let \(b>0\) be such that \(\Phi \in {{\mathcal {B}}}_b(Z)\). Then for any \(\Lambda \in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\),
and we conclude by (2.4) that
![](http://media.springernature.com/lw322/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ83_HTML.png)
The integrability (2.1) of \(\xi _b\) and the finiteness of Z imply that \(\lim _{\Lambda \nearrow \Gamma }\sum _{x\in \Lambda ^c} {\xi _b({{\textbf {d}}}(x,Z))} = 0\). The second claim follows from
![](http://media.springernature.com/lw501/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ84_HTML.png)
where we used (2.6). We decompose \(\sum _{x\in \Gamma } = \sum _{n=0}^\infty \sum _{x:{\textbf {d}}(x,Z) = n}\) to finally get the bound
![](http://media.springernature.com/lw390/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ85_HTML.png)
where \(C_b = \omega \sum _{n=0}^\infty (1+n)^{d-1}\xi _b(n)\) is convergent. \(\square \)
Definition 2.5
An almost local observable is an element \(O\in {{\mathcal {A}}}\) for which there exists \(Z\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\) and a \(\Phi \in {{\mathcal {B}}}(Z)\) such that \(O = G^\Phi \). We denote the set of almost local observables by \({{\mathcal {L}}}(Z)\), respectively, \({{\mathcal {L}}}_b(Z)\) whenever the rate b is fixed.
Slightly abusing language, we shall call Z the almost support of \(O\in {{\mathcal {L}}}(Z)\). Moreover, we say that the interaction \(\Phi \) in the definition is an interaction associated with O.
Let us now turn to interactions that are supported in the whole set \(\Gamma \). They are locally finite, but the fact that they are extensive implies that a sum as in (2.7) is divergent. This suggests the following definition.
Definition 2.6
A family of self-adjoint operators \(H = \{H_\Lambda \, : \, \Lambda \in {{\mathcal {P}}}_\mathrm{fin}(\Gamma )\}\) with \({{\,\mathrm{supp}\,}}(H_\Lambda ) = \Lambda \) is a local Hamiltonian if there exists an interaction \(\Phi \in {{\mathcal {B}}}\) such that
We denote the set of local Hamiltonians by \({{\mathcal {L}}}\).
Let H be a local Hamiltonian associated with an interaction \(\Phi \in {{\mathcal {B}}}_b\). Let \((\Lambda _n)_{n\in {\mathbb N}}\) be an increasing and absorbing sequence of finite sets. For an observable \(O\in {{\mathcal {A}}}_Z\), we have that if \(n>m\)
![](http://media.springernature.com/lw448/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ86_HTML.png)
since \(D_Z(X) = D(X) \ge {\textbf {d}}(Z,\Lambda _m^c)\). Hence, \((i [H_{\Lambda _n} , O ])_{n\in {\mathbb N}}\) is a Cauchy sequence and \(\lim _{n\rightarrow \infty }[H_{\Lambda _n},O]\) exists in \({{\mathcal {A}}}\).
2.2 Strongly Continuous Dynamics and Derivations
Let \(H\in {{\mathcal {L}}}\) with interaction \(\Phi \in {{\mathcal {B}}}\). The finite volume dynamics \({\mathbb R}\ni t\mapsto \mathrm {e}^{itH_\Lambda }O \mathrm {e}^{-itH_\Lambda }\) satisfies a Lieb–Robinson bound. While the proof runs along the general lines of [26], we reproduce it in Appendix A in the specific setting of this paper; see also Section 4 in [27]. By standard arguments (see the previously cited reference or the original [28]), the Lieb–Robinson bound implies that
exists for all \(O\in {{\mathcal {A}}}_\mathrm{loc}\) and that it extents to a strongly continuous group of \(^*\)-automorphisms of \({{\mathcal {A}}}\). The corresponding generator \(\delta ^\Phi \) of the dynamics \(\tau _t^{\Phi }\) is given by
A core for \(\delta ^\Phi \) is the local algebra \({{\mathcal {A}}}_\mathrm{loc}\), see e.g., Proposition 6.2.3 in [25] where \(\delta ^\Phi \) is explicitly given as the limit
and the sum is convergent by the remark immediately after Definition 2.6.
For a general Hamiltonian in \({{\mathcal {L}}}\), neither \(\tau _t^\Phi (O)\) nor \(\delta ^\Phi (O)\) is strictly local even if \(O\in {{\mathcal {A}}}_{\mathrm {loc}}\). However, we shall prove later that for any finite Z, \({{\mathcal {L}}}(Z)\) belongs to the domain of \(\delta ^\Phi \) and it is invariant under the action of the derivation. Similarly, the Lieb–Robinson bound implies that \({{\mathcal {L}}}(Z)\) is invariant under the action of \(\tau _t^\Phi \).
Let \(r\in {\mathbb N}_0\). For any local observable \(O \in {{\mathcal {A}}}_Z\), we write
where \({\mathbb E}_{X}\) is the projection onto the subalgebra \({{\mathcal {A}}}_{X}\). Now, if \(\Phi \in {{\mathcal {B}}}_{b'}\), then the Lieb–Robinson bound for \(\tau _t^\Phi \) implies that, for any \(b''<b'\) and \(n \in {\mathbb N}\),
where
is finite for any \(\epsilon >0\), and the constant in the exponent is given by
![](http://media.springernature.com/lw190/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ15_HTML.png)
These estimates now yield the following proposition.
Proposition 2.7
Let \(Z\subset \Gamma \) and \(O\in {{\mathcal {L}}}_b(Z)\) with associated interaction \(\Psi \). Let \(\Phi \in {{\mathcal {B}}}_{b'}\) and let \(\tau _t^\Phi \) be the corresponding dynamics. Then \(\tau ^\Phi _t(O)\in {{\mathcal {L}}}_{b''}\left( Z\right) \) for any \(b''<\min \{b,2^{-p} b'\}\). There is an interaction \(\tau ^\Phi _t(\Psi )\) associated with \(\tau ^\Phi _t(O)\) such that
![](http://media.springernature.com/lw378/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ87_HTML.png)
where the constant depends only on \(b,b',b''\).
Proof
Let \(\Psi \in {{\mathcal {B}}}_{b}(Z)\) be the interaction associated with O, namely \(O = \sum _{X\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )}\Psi (X)\). We construct an interaction, denoted \(\tau _t^\Phi (\Psi )\), such that \(\tau _t^\Phi (O) = \sum _{X\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )}\tau _t^\Phi (\Psi )(X)\) as follows. We decompose each \(\tau _t^\Phi (\Psi (Y))\) according to (2.9) with \(r=0\) and gather contributions supported in a given set X to get
Using (2.10), all terms in the sum are bounded above by
for any \({{\tilde{b}}}<b'\). The first term is bounded above by \(\Vert \Psi (X)\Vert \) since \({\mathbb E}_{X}\) is a projection; for simplicity, we shall rather use the estimate (2.14) with \(n=0\) in the following.
Let \(x\in \Gamma \). We claim that \(\sum _{\begin{array}{c} X \in {{\mathcal {P}}}_\mathrm{fin}(\Gamma ) : \\ x\in X \end{array}}\frac{\Vert \tau _t^\Phi (\Psi )(X)\Vert }{\xi _{b''}(D_{Z}(X))}\) is uniformly bounded.
We shall use (2.13) together with the estimate (2.14). If \(x\in X= Y^{(n)}\), then in particular \(B_n(x)\cap Y\ne \varnothing \) and so
In this estimate, we firstly recalled that \(X = Y^{(n)}\) and used \(D_Z(Y^{(n)})\le D_Z(Y) + 2n\) to conclude that \(\xi _{b''}(D_{Z}(X))\ge \xi _{b''}(D_{Z}(Y))\xi _{b''}(2n)\), secondly factorized \(\frac{1}{\xi _{b''}} = \frac{\xi _{b-b''}}{\xi _{b}}\). We also used that \(\vert Y^{(n)}\vert \le \omega \vert Y\vert (1+n)^d\). Hence,
![](http://media.springernature.com/lw448/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ88_HTML.png)
where we used that \(S({{\tilde{b}}},b'') = \sum _{n=0}^\infty \frac{\xi _{{{\tilde{b}}}}(n)}{\xi _{b''}(2n)}(1+n)^{2d}\) is finite because we can pick \({{\tilde{b}}}\) such that \(b''<2^{-p}{{\tilde{b}}}\) since \(b''<2^{-p}b'\) to ensure the convergence of the series. For simplicity, we make the specific choice \({{\tilde{b}}} = \frac{1}{2}(b'' + 2^{-p}b')\) and let \(C(b,b',b'') = 2\omega S({{\tilde{b}}},b'') \frac{ M_{b-b''}}{M_{b'-{{\tilde{b}}}}}\). \(\square \)
Remark 2.8
(i) A less detailed but clearer way to formulate the result would be that the *-subalgebra of almost local observables supported in Y is an invariant subspace for \(\tau _t^\Phi \) for t in a compact interval.
(ii) One could wish to take the propagation into account in this result and prove rather that \(\tau _t^\Phi ({{\mathcal {L}}}(Z)) \subset {{\mathcal {L}}}(Z^{(v\vert t\vert )})\), at least in the case of an interaction \(\Phi \) that decays exponentially. This is of course true as \({{\mathcal {L}}}(Z^{(v\vert t\vert )})\) and \({{\mathcal {L}}}(Z)\) are equal as sets, but equipped with different norms. Since however the bound would still be superpolynomially large in time (because the support of each individual interaction term grows with time and hence the decay rate of the interaction does worsen), there is no real gain in doing so.
The derivation \(\delta ^\Phi \) associated with a local interaction is in general unbounded on \({{\mathcal {A}}}\) and accordingly not everywhere defined. As pointed out earlier, \({{\mathcal {A}}}_{\mathrm {loc}}\) is a core on which it is given explicitly as the limit of a commutator. We prove that \(\delta ^\Phi \) extends to the set of almost local observables and that, as for the automorphism \(\tau ^\Phi _t\), the sets \({{\mathcal {L}}}(Y)\) are invariant under the action of \(\delta ^\Phi \).
Instead of considering \(\delta ^\Phi \) as an unbounded operator on observables, we find it more convenient to define it on the set of interactions \({{\mathcal {B}}}\) and to show that it extends to a bounded linear operator \({{\mathcal {B}}}_b\rightarrow {{\mathcal {B}}}_{b'}\) for appropriate pairs \((b,b')\). A similar approach was in fact already taken in [27].
Definition 2.9
Let \(\Phi ,\Psi \in {{\mathcal {B}}}\). The interaction \(\delta ^\Phi (\Psi )\) is defined by
for any \(X\in {{\mathcal {P}}}_\mathrm{fin}(\Gamma )\).
Note that the condition \(Y \cap Y' \ne \varnothing \) is only for clarity since the commutator vanishes if it is not satisfied.
Remark 2.10
If \(O\in {{\mathcal {A}}}_Z\) and \(\Psi \) is the interaction trivially associated with it, namely \(\Psi (Z) = O\) and \(\Psi (X) = 0\) otherwise, then the definition above yields an interaction such that
as in (2.8), justifying the notation \(\delta ^\Phi \).
Proposition 2.11
Let \(Z\subset \Gamma \) and let \(\Psi \in {{\mathcal {B}}}_b(Z)\). Let \(\Phi \in {{\mathcal {B}}}_{b'}\). If \(\delta ^\Phi (\Psi )\) is defined as in (2.15), then \(\delta ^\Phi (\Psi )\in {{\mathcal {B}}}_{b''}(Z)\) for any \(b''<\min \{b,b'\}\) and
![](http://media.springernature.com/lw323/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ19_HTML.png)
Proof
For \(x\in \Gamma \), we wish to estimate
There are two possibilities for the second sum, either \(x\in Y\) or \(x\in Y'\setminus Y\). In the first case, we can bound the sum by
and in the second case the bound is similar. Now \({\textbf {d}}(Z,Y\cup Y')\le {\textbf {d}}(Z,Y')\). What is more, since \(Y,Y'\) are not disjoint, \(D(Y\cup Y') \le D(Y) + D(Y')\) so that monotonicity and superadditivity yield
Since \(b''<\min \{b,b'\}\), we conclude that
![](http://media.springernature.com/lw230/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ89_HTML.png)
where \(C = 4\sup _{Y,Y' \in {{\mathcal {P}}}_\mathrm{fin}(\Gamma ) } \left\{ |Y| \xi _{\min \{b,b'\}-b''}(D(Y)+ D_Z(Y'))\right\} \le 4M_{\min \{b,b'\}-b''}\), as announced. \(\square \)
Remark 2.12
We note that this is valid for any set Z, not necessarily finite. If \(Z\in {{\mathcal {P}}}_\mathrm{fin}(\Gamma )\), then by the proposition both \(\Psi \) and \(\delta ^\Phi (\Psi )\) correspond to almost local observables \(G^\Psi \) and \(G^{\delta ^\Phi (\Psi )}\) in \({{\mathcal {L}}}(Z)\) and the map \(G^\Psi \mapsto \delta ^\Phi (G^\Psi ):= G^{\delta ^\Phi (\Psi )}\) provides the announced extension of \(\delta ^\Phi \) from \({{\mathcal {A}}}_{\mathrm {loc}}\) to the set of almost local observables in \({{\mathcal {A}}}\). Moreover, the proposition shows that if \(\Phi \in {{\mathcal {B}}}_{b'}\), then the map \(\delta ^\Phi \) is well-defined for any interaction in \({{\mathcal {B}}}\) and that it is a bounded linear operator \({{\mathcal {B}}}_b(Z)\rightarrow {{\mathcal {B}}}_{b''}(Z)\) for any \(b''<\min \{b,b'\}\) and any subset Z. The upper bound on \(\Vert \delta ^\Phi \Vert _{{{\mathcal {L}}}({{\mathcal {B}}}_{b}(Z),{{\mathcal {B}}}_{b''}(Z))}\) provided by the proof diverges as \(b''\rightarrow \min \{b,b'\}\), but it can be taken to be uniform in Z.
We conclude this section with a joint corollary of Proposition 2.7 and 2.11. For any \(Z \in {{\mathcal {P}}}_\mathrm{fin}(\Gamma )\), the set \({{\mathcal {L}}}(Z)\) of almost local observables is invariant under the action of \(\tau _t^\Phi \) and \(\delta ^\Phi \) for any t in a compact interval. It follows in particular that Duhamel’s formula and its iterates to arbitrary order are well-defined.
Corollary 2.13
Let \(H\in {{\mathcal {L}}}\) with interaction \(\Phi \in {{\mathcal {B}}}\). The function \(t\mapsto \tau _t^\Phi \) is infinitely often strongly differentiable on the algebra of almost local observables. In particular, if \(O\in {{\mathcal {L}}}(Z)\) for some \(Z\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\), then Duhamel’s formula
is well-defined for any \(n\in {\mathbb N}\). We denoted \(\Sigma ^n_t :=\{0\le s_1\le \ldots \le s_n\le t\}\) and \(d^n\!s = ds_n\ldots ds_1\).
3 A Product Automorphism of Lowest Order
With these preliminaries at hand, we now prove the validity of what is sometimes referred to as the symmetric Trotter product formula in the context of an infinite quantum lattice system. Let \(H\in {{\mathcal {L}}}\) be a local Hamiltonian with interaction \(\Phi \in {{\mathcal {B}}}\). We assume that
where \(K_{j,\Lambda }\in {{\mathcal {L}}}\) are local Hamiltonians with corresponding interactions \(\Phi _{j}\in {{\mathcal {B}}}\). We denote \(\tau ^j_t = \tau _t^{\Phi _j}\) and \(\delta ^j = \delta ^{\Phi _j}\). Let us first consider the automorphism of \({{\mathcal {A}}}\) defined by
We assume that \(\Phi \in {{\mathcal {B}}}_{b'}\) and \(\Phi _j\in {{\mathcal {B}}}_{b_j}\) for \(j=1,\ldots ,k\). We denote
![](http://media.springernature.com/lw295/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ24_HTML.png)
Theorem 3.1
Let \(n \in {\mathbb N}\), \(t \in {\mathbb R}_+\), \(\mu = \frac{t}{n}\) and let
Let \(Z\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\) and let \(b>0\). There are positive constants C, v depending only on \(b,b',b_1,\ldots ,b_k\) and k such that if \(O \in {{\mathcal {L}}}_b(Z)\),
![](http://media.springernature.com/lw316/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ90_HTML.png)
Here, \(\Psi \) is an interaction associated with O.
Note that in the case \(k=2\), namely \(H = A+B\), and in finite volume, the product automorphism reduces to the adjoint action of \(\left( \mathrm {e}^{i\frac{t}{2n}B}\mathrm {e}^{i\frac{t}{n}A}\mathrm {e}^{i\frac{t}{2n}B}\right) ^n\), which is indeed well-known to converge to the adjoint action of \(\mathrm {e}^{i t (A+B)}\) as \(n\rightarrow \infty \). While the convergence is trivially uniform in the observable O in finite volume (the finite volume algebras being finite dimensional), this uniformity cannot be expected to hold in the infinite volume limit. Pointwise convergence in norm is a consequence of the general Banach space theory originally due to Chernoff, see again [3]. In this context, the interest of Theorem 3.1 is that it provides an explicit rate of convergence \(n^{-2}\), for any almost local \(O\in {{\mathcal {L}}}(Z)\) and any finite set Z (a fortiori for any strictly local observable).
Proof of Theorem 3.1
We first decompose the time interval [0, t] in n subintervals of width \(\mu = \frac{t}{n}\) to get the following telescopic sum:
For any almost local observable \({\widetilde{O}}\in {{\mathcal {L}}}_{b''}(Z)\), we see that
by (3.2) and (3.1). Similarly, but with a little more algebra,
Writing \(\sum _{j=1}^k\sum _{l=1}^j \delta ^l \delta ^j = (\delta ^\Phi )^2 - \sum _{j=1}^k\sum _{l=j+1}^k \delta ^l \delta ^j\) and proceeding similarly for the second-to-last term of the second line, we conclude that this derivative vanishes again by \(\delta ^\Phi = \sum _{j=1}^k\delta ^j\). Thus,
Distributing the three derivatives across the 2k factors of \(\sigma ^{(1)}_{s_3}\circ \tau ^\Phi _{-s_3}\) inserts three derivations to the product \(\tau ^1_{s_3/2}\circ \cdots \circ \tau ^k_{s_3}\circ \cdots \circ \tau ^1_{s_3/2}\circ \tau ^\Phi _{-s_3}(\tau ^\Phi _\mu ({\widetilde{O}}))\). By Propositions 2.7 and 2.11, all terms are well-defined and belong to \({{\mathcal {L}}}(Z)\) since \(\tau ^\Phi _\mu ({\widetilde{O}}) \in {{\mathcal {L}}}(Z)\). Specifically, each application of an automorphism yields an exponential factor and the three derivations provide an additional \({{\mathcal {N}}}^3\), see (3.3). Moreover, each of these operations yields an additional multiplicative constant, resulting in an overall factor that depends on k and on the rates \(b',b_1,\ldots ,b_k\), but it is independent of n. It follows that for any \({{\tilde{b}}} < \min \{b'', 2^{-p}b', 2^{-p}b_1, \ldots , 2^{-p}b_k\}\), the interaction norm of each term is bounded by , where \((k+1)s_3 + \mu \) is the total time (in absolute value) involved in \(\left( \sigma ^{(1)}_{s_3}\circ \tau ^\Phi _{-s_3}\right) (\tau ^\Phi _\mu ({\widetilde{O}}))\) and the constant c is the maximum of all \((2k+1)\) constants \(\kappa (\cdot ,\cdot )\) given by Proposition 2.7. Finally, we recall from (3.4) that \({\widetilde{O}} = (\tau ^\Phi _{\mu })^{n-j-1}(O) = \tau ^\Phi _{(n-j-1)\mu }(O)\) with \(O\in {{\mathcal {L}}}_b(Z)\), so that its \(b''\)-interaction norm (with \(b''<\min \{b,2^{-p} b'\}\)) is bounded by
, where C, c are, again, independent of n. Gathering all estimates,
![](http://media.springernature.com/lw533/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ91_HTML.png)
Since \(\sigma ^{(1)}_\mu \) preserves the operator norm, each term of (3.4) is bounded by
![](http://media.springernature.com/lw447/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ92_HTML.png)
by Lemma 2.4, where we used that \(c(n-j+(k+1))\mu \le vt\), where \(v=c(k+2)\). This estimate being uniform across the n terms of (3.4), we immediately conclude with the claim of the theorem. \(\square \)
4 Arbitrary Order
The symmetric Trotter formula discussed in the previous section has an error of order \(n^{-2}\). As pioneered by Suzuki in, e.g., [16], a recursive construction can be build upon it to generate higher order product formulae. We now show that they too extend to the infinite volume setting.
4.1 Time Reversal
Let us recall the automorphism \(\sigma _t^{(1)}\) defined for all \(t\in {\mathbb R}\) by (3.2). Since \(\sigma ^{(1)}_t\) is a composition of automorphisms, it is an automorphism, but the fact that the individual factors do not commute with each other breaks the group property of the fundamental time evolution \(\tau ^\Phi _t\circ \tau ^\Phi _{s} = \tau ^\Phi _{t+s}\). However, the specific ‘symmetric’ form of (3.2) implies that
A product automorphism having this property shall be called time-reversal symmetric. Theorem 3.1 shows that, despite its label (1), the corresponding product automorphism \(\pi _{t,n}^{(1)}\) is in fact a second-order approximation of \(\tau _t^\Phi \). This improvement from any odd order to the next even order is in fact general for time-reversal symmetric product approximations.
Proposition 4.1
Let \(m\in {\mathbb N}\) and let \(\{\sigma ^{(2m-1)}_\mu :\mu \in {\mathbb R}\}\) be an \((2m-1)\)-th order product approximation of \(\tau ^\Phi _\mu \) in the sense that
for any \({\widetilde{O}} \in {{\mathcal {L}}}(Y)\). If \(\sigma ^{(2m-1)}_\mu \) is time-reversal symmetric,
then it is a (2m)-th order approximation of \(\tau ^\Phi _\mu \).
Proof
The identity
and time-reversal symmetry imply that
The derivative of order 2m of this equation at \(\mu =0\) reduces by (4.1) to
which concludes the proof since the two derivatives of even order are equal. \(\square \)
4.2 Suzuki’s Ansatz
We now recall Suzuki’s inductive construction [16] of higher-order product formulae, translated in the present language of automorphisms. Since Sect. 3 provides a time reversal symmetric approximation of order 2, we shall use it to anchor the induction. For that, we first let \(\sigma _\mu ^{(2)}:=\sigma _\mu ^{(1)}\) for any \(\mu \in {\mathbb R}\).
Let \(\sigma _\mu ^{(2m)}\) be a time-reversal symmetric (2m)-th order product approximation of \(\tau _\mu ^\Phi \) in the sense of (4.1). A higher order approximation can be constructed as follows. Let \(r = 2\ell + 1 \ge 3\) be an odd integer and let
We immediately point out firstly that \(2\ell s_m + (1-(r-1)s_m) = 1\) and secondly that \( -1+(r-1)s_m =s_m(r-1)^{\frac{1}{2m+1}}\), and so
We now define the following product automorphisms:
This procedure provides, given an odd integer r, a family of automorphisms \(\{\sigma _\mu ^{(2m+1)}:m\in {\mathbb N}\}\) parametrized by \(\mu \in {\mathbb R}\).
For the following result, recall the setting of Sect. 3.
Theorem 4.2
Let \(\ell \ge 1\) and \(r = 2\ell +1\). For all \(m\ge 1\), \(\{\sigma _{s}^{(m)}:s\in {\mathbb R}\}\) is time-reversal symmetric. Let \(n \in {\mathbb N}\), \(t \in {\mathbb R}_+\), and \(\mu = \frac{t}{n}\). Define
Let \(Z\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\) and let \(b>0\). There are positive constants C, v such that if \(O \in {{\mathcal {L}}}_b(Z)\), then
![](http://media.springernature.com/lw354/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ31_HTML.png)
with \( \alpha = {\left\{ \begin{array}{ll}\;\;\,m \quad \,, \text { if m is even} \\ m+1 \,, \text { if m is odd} \end{array}\right. } \).
Here, \(\Psi \) is an interaction associated with O. The constants C, v depend on \(b,b',b_1,\ldots ,b_k,k,r\) and the order m, but they are independent of Z, n and t.
Proof
The symmetry for all m is immediate by (4.4) since \(\sigma _\mu ^{(1)}\) is symmetric. The estimate holds by Theorem 3.1 for \(m=1,2\), so we proceed by induction. We assume that \(\sigma ^{(2m)}_\mu \) is a (2m)-th order approximation of \(\tau _\mu ^\Phi \) and that the claim of the theorem holds for 2m. We write as in (3.4)
and proceed with an estimate on \((\tau ^\Phi _\mu -\sigma ^{(2m+1)}_\mu )({\widetilde{O}})\) for an almost local observable \({\widetilde{O}}\in {{\mathcal {L}}}(Y)\). Here again, we decompose the interval \([0,\mu ]\) into \(r = 2\ell + 1\) intervals according to (4.4) and obtain
where we denoted \({{\tilde{s}}}_m = 1-(r-1)s_{m}\). By the induction hypothesis, \(\left. \frac{d^{j}}{d\mu ^{j}}\left( \tau ^\Phi _\mu ({\widetilde{O}}) - \sigma _\mu ^{(2m)}({\widetilde{O}})\right) \right| _{\mu =0}=0\) for all \(j=0,\ldots ,2m\). This and the above identity imply first of all that the same holds with \(\sigma _\mu ^{(2m+1)}\) instead of \(\sigma _\mu ^{(2m)}\), and secondly that
Since \(2\ell = r-1\), this vanishes by (4.3), so that \(\sigma _\mu ^{(2m+1)}\) is a \((2m+1)\)-th order approximation. Since \(\sigma ^{(2m+1)}_\mu \) is time-reversal symmetric we get from Proposition 4.1 that the \((2m+2)\)-th derivative similarly vanishes at \(\mu =0\). Hence,
and we can proceed as in the proof of Theorem 3.1.
There are \(r^m(2k-2)+1\) factors in \(\sigma _u^{(2m+1)}\) and hence a total of \(2^{2m+3}(r^m(k-1)+1)^{2m+3}\) terms in the derivative, each of them involving a combination of \(2m+3\) derivations from \(\{\delta ^\Phi \}\cup \{\delta ^{j}:j=1,\ldots , k\}\). If \({u}^{(m)}\) is the total time (in absolute value) involved in \(\sigma _{{u}}^{(m)}\) (for example, \({u}^{(1)} = {u}^{(2)} = k{u}\)), then \({u}^{(2m+1)} = (r-1)s_{m}{u}^{(2m)} + \left| (1-(r-1)s_m)\right| {u}^{(2m)} = (2(r-1)s_m -1){u}^{(2m)}\) since \(1-(r-1)s_m = -s_m(r-1)^{\frac{1}{2m+1}}<0\). Hence,
Setting \({\widetilde{O}} = (\tau ^\Phi _{\mu })^{n-j-1}(O)\), we conclude by Propositions 2.7 and 2.11 that
![](http://media.springernature.com/lw610/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ93_HTML.png)
for any \({{\tilde{b}}} < \min \{b, 2^{-p}b', 2^{-p}b_1,\ldots , 2^{-p}b_k\}\) where C, c depend on k, the rates \(b,b',b_1,\ldots ,b_k\) as well as the choice of r and m. Integrating this over the simplex \(\Sigma ^{2m+3}_\mu \) and gathering all constants yields
![](http://media.springernature.com/lw560/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ94_HTML.png)
where the constant v depends again on \(k, b,b',b_1,\ldots ,b_k, r, m\). Since there are n such terms in (4.6), we have now proved that (4.5) holds for \(2m+1\) and therefore also for \(2m+2\) by the definition (4.4) of \(\sigma _\mu ^{(2m+2)}\), concluding the induction. \(\square \)
Remark 4.3
The theorem should not be misinterpreted as an invitation to take a limit in m. Rather, it provides for each fixed m a formula that scales as \(n^{-m}\) as \(n\rightarrow \infty \), while t is arbitrary but fixed. As can be read from the proof, the constant C scales as \(\frac{r^{m^2}\mathrm {e}^{r^m}}{m!}\), underlying the importance of picking a small possible r, namely \(r=3,5\).
In the definition (4.4), the interval of size \(\mu \) is split into \(r = 2\ell +1\) subintervals of width \(s_m\mu \) (for \(2\ell \) of them) and \((1-(r-1)s_{m})\) (for the middle one). As is clear in the proof (see also [16]) this choice is largely arbitrary. The claim of the theorem would continue to hold if these r coefficients were replaced by r other real coefficients \(\{p_{m,j}:j\in \{1,\ldots ,r\}\}\) provided \(p_{m,j} = p_{m,r+1-j}\) for all \(j=1,\ldots ,\ell \) as well as
Reality of the coefficients ensures that \(\pi _{t,n}^{(m)}\) are automorphisms and the symmetric choice of coefficient on either side of \(p_{m,\ell +1}\) is for time-reversal symmetry. Clearly, there is no non-trivial positive solution of these equations, and (4.4) indeed has \(p_{m,\ell +1} = -s_m(r-1)^{\frac{1}{2m+1}}<0\), as already pointed out. The appearance of such a negative time evolutions to improve the order of the approximation is reminiscent of the decomposition proposed in [21].
Remark 4.4
If \(r=3\), then \(\vert s_m \vert , \vert 1-(r-1)s_m \vert >1\) with \({\lim _{m\rightarrow \infty } s_m =1}\), \({\lim _{m\rightarrow \infty } (1-(r-1)s_m ) =-1}\) and so the individual time intervals in the product scale as \(\frac{t}{n}\), independently of m for large m. On the other hand, if \(r=5,7,\ldots \), then \(\vert s_m \vert , \vert 1-(r-1)s_m \vert <1\) with \(\lim _{m\rightarrow \infty }s_m = \frac{1}{r-2}\) and \(\lim _{m\rightarrow \infty } (1-(r-1)s_m ) =-\frac{1}{r-2}\). Hence, the individual time intervals in the product scale as \(\frac{1}{(r-2)^m}\frac{t}{n}\). The inductive construction and the appearance of negative signs yield a fractal path in the time domain. This behavior—already noted in [16]—is exhibited in Fig. 1.
The discrete time steps in \(\sigma _\mu ^{(m)}\) for \(r=3\) on the left and \(r=5\) on the right, for the same order \(m=9\) and in the case \(k=2\). There is an order of magnitude difference between the number of terms involved, with the ratio of the number of terms being \(\frac{5^42+1}{3^42+1}\simeq 7.7\)
5 Quantum Simulation: Decomposition in Commuting Hamiltonians
5.1 Finite Depth Unitary Quantum Circuits
So far, the results are completely general in the sense that they do not require any assumption on the Hamiltonians \(K_{j,\Lambda }\in {{\mathcal {L}}}\) beyond their locality. In concrete applications however, the choice of decomposition of H is determined by the requirement that each \(K_{j,\Lambda }\) is a sum of terms acting on spatially disjoint subsets of the lattice and hence mutually commuting. In the simple example of a one-dimensional lattice with nearest-neighbor interaction, namely \(\Phi (X) = 0\) if \(X\ne \{x,x+1\}\) for some \(x\in {\mathbb Z}\), one would choose \(\Phi _1,\Phi _2\) to be supported on pairs of neighboring sites \(\{2x,2x+1\}\), respectively \(\{2x+1,2x+2\}\). Each dynamics \(\tau _t^{\Phi _1}, \tau _t^{\Phi _2}\) is then strictly local and corresponds to the action of quantum gates in parallel, as illustrated in Fig. 2.
In this setting where a product formula is referred to as a finite depth unitary quantum circuit, Theorem 4.2 provides a quantitative bound on the error in the approximation of the full dynamics \(\tau _t\) by a circuit. The number of factors in the product automorphism is referred to as the depth of the circuit. We point out that the following is valid in arbitrary spatial dimensions.
Corollary 5.1
Let \(\Phi \) be a finite range interaction, namely \(\Phi (X) = 0\) if \({D(X) >R}\) for a fixed \(R>0\). Let \(Z\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\) and \(O\in {{\mathcal {L}}}(Z)\). For any \(m\in {\mathbb N}\), there is a finite depth unitary quantum circuit of depth \({{\mathcal {O}}}(\epsilon ^{-\frac{1}{m}})\) approximating \(\tau _t^\Phi (O)\) within error \(\epsilon \), as \(\epsilon \rightarrow 0\).
Proof
The depth h of the circuit \(\pi _{t,n}^{(m)}\) is proportional to n. Hence, imposing that the bound (4.5) is less than \(\epsilon \) yields the claim, since \(\alpha \ge m\). \(\square \)
With (4.5), we further point out that, as should be expected, the depth of the circuit diverges as \(\vert Z\vert ^{\frac{1}{m}}\) with the volume of the support Z. The depth is furthermore exponential in time, but with a rate \(\frac{v}{m}\) that is smaller for a higher order product automorphism. The depth of the circuit proposed in [21] scales as \({{\mathcal {O}}}\left( t \, \mathrm {polylog}(N t\epsilon ^{-1})\right) \), namely better in the total time. However, this is divergent in the size of the system N, and uses \({{\mathcal {O}}}\left( \mathrm {polylog}(Nt\epsilon ^{-1})\right) \) additional ancilla qubits to achieve the scaling.
In the context of finite range interactions and for a strictly local observable, one may wish to decompose the telescopic sum (3.4) rather as
since \((\sigma ^{(1)}_\mu )^{n-j-1}(O)\) is strictly local. If the \(K_{j,\Lambda }\)’s are all commuting Hamiltonians, all factors in \((\sigma ^{(1)}_\mu )^{n-j-1}\) induce no propagation beyond the range R of the interactions so that \((\sigma ^{(1)}_\mu )^{n-j-1}(O)\) is strictly supported in \(Z^{((n-j-1)(2k-1)R)}\) and of operator norm O. However, while the action of all derivations \(\delta ^\Phi ,\delta ^j\) is again strictly local, increasing the support by R, the bound valid for an observable \({\widetilde{O}}\in {{\mathcal {A}}}_Y\) yields an estimate
where d is the spatial dimension, for every term of (5.1). One would therefore obtain \(\Vert \tau ^\Phi _t(O) - \pi _{t,n}^{(1)}(O)\Vert = {{\mathcal {O}}}(n^{3d-2})\), emphasizing the need for a careful use of the Lieb–Robinson bound on the very short time intervals of width \({{\mathcal {O}}}(n^{-1})\). This also shows that the physical propagation is in fact much slower than what can be read off from the diagram in Fig. 2.
5.2 Long Range Interactions
While long range interactions pose no issue for our main theorem, Theorem 4.2, they cannot be decomposed as a finite depth unitary quantum circuit as just described. A necessary intermediate step is a truncation to finite range interaction. We now comment the error induced by neglecting the interactions between far enough lattice points.
Let \(\Phi \in {{\mathcal {B}}}_{b'}\) and \(\Phi _R\in {{\mathcal {B}}}_{b'}\) be defined by
Then, for any \(b''<b'\),
so that . Moreover,
so that if \(O\in {{\mathcal {L}}}_b(Z)\) with associated interaction \(\Psi \),
![](http://media.springernature.com/lw515/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ95_HTML.png)
by Propositions 2.7,2.11 and Lemma 2.4, where \({{\tilde{b}}}<\min \{b,2^{-p}b'\}\), since \(\delta ^{\Phi _R} - \delta ^{\Phi } = \delta ^{\Phi _R - \Phi }\). In other words, the error associated with the truncation of the interaction is superpolynomially small in the range R. In order to achieve an error \({{\mathcal {O}}}(\epsilon )\), the range must be chosen as \(R = {{\mathcal {O}}}(\xi _{b'-b''}^{-1}(\epsilon )) = {{\mathcal {O}}}((\log {\epsilon ^{-\frac{1}{b'-b''}}})^{\frac{1}{p}})\). A commuting decomposition for an interaction of range R requires of the order of \(k = R^d\) terms in d dimensions, and since the constant in the Trotter error is exponentially large in the number of terms, (4.5) and the lower bound \(\exp \left( (\log {\epsilon ^{-\frac{1}{b'-b''}}})^{\frac{d}{p}}\right) \ge \epsilon ^{-\frac{1}{b'-b''}}\) yield a circuit depth \(h = {{\mathcal {O}}}\left( \epsilon ^{-\frac{c}{m}}\right) \) for a constant \(c>1\) that depends on \(b'\) and \(b''\).
References
Trotter, H.F.: On the product of semi-groups of operators. Proc. Am. Math. Soc. 10(4), 545–551 (1959)
Chernoff, P.R.: Note on product formulas for operator semigroups. J. Funct. Anal. 2(2), 238–242 (1968)
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics: Volume 1: C*-and W*-Algebras. Symmetry Groups. Decomposition of States. Springer, Berlin (2012)
Kato, T.: Trotter’s product formula for an arbitrary pair of self-adjoint contraction semigroup. Top. Funct. Anal. Adv. Math. Suppl. Stud. 3, 185–195 (1978)
Ichinose, T.: A product formula and its application to the Schrödinger equation. Publ. Res. Inst. Math. Sci. 16(2), 585–600 (1980)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics. I: Functional Analysis. Academic Press, Cambridge (1980)
Nelson, E.: Feynman integrals and the Schrödinger equation. J. Math. Phys. 5(3), 332–343 (1964)
Exner, P., Ichinose, T.: A product formula related to quantum zeno dynamics. Ann. H. Poincaré 6(2), 195–215 (2005)
Zagrebnov, V.A.: Gibbs Semigroups Volume 273 of Operator Theory: Advances and Applications. Springer, Berlin (2019)
Lloyd, S.: Universal quantum simulators. Science 273(5278), 1073–1078 (1996)
Berry, D.W., Ahokas, G., Cleve, R., Sanders, B.C.: Efficient quantum algorithms for simulating sparse Hamiltonians. Commun. Math. Phys. 270(2), 359–371 (2006)
Wiebe, N., Berry, D.W., Høyer, P., Sanders, B.C.: Simulating quantum dynamics on a quantum computer. J. Phys. A 44(44), 445308 (2011)
Chen, X., Gu, Z.-Ch., Wen, X.-G.: Local unitary transformation, long-range quantum entanglement, wave function renormalization, and topological order. Phys. Rev. B 82(15), 155138 (2010)
Bernien, H., Schwartz, S., Keesling, A., Levine, H., Omran, A., Pichler, H., Choi, S., Zibrov, A.S., Endres, M., Greiner, M., Vuletić, V., Lukin, M.D.: Probing many-body dynamics on a 51-atom quantum simulator. Nature 551(7682), 579–584 (2017)
Smith, A., Kim, M., Pollmann, F., Knolle, J.: Simulating quantum many-body dynamics on a current digital quantum computer. NPJ Quantum Inf. 5, 12 (2019)
Suzuki, M.: General theory of fractal path integrals with applications to many-body theories and statistical physics. J. Math. Phys. 32(2), 400–407 (1991)
Hatano, N., Suzuki, M.: Finding exponential product formulas of higher orders. In: Quantum Annealing and Other Optimization Methods, pp. 37–68. Springer, Berlin (2005)
Childs, A.M., Su, Y., Tran, M.C., Wiebe, N., Zhu, Sh.: Theory of Trotter error with commutator scaling. Phys. Rev. X 11, 011020 (2021)
Monaco, D., Teufel, S.: Adiabatic currents for interacting fermions on a lattice. Rev. Math. Phys. 31(03), 1950009 (2019)
Sahinoglu, B., Somma, R.D.: Hamiltonian simulation in the low energy subspace. Bull. Am. Phys. Soc. 7, 1–5 (2021)
Haah, J., Hastings, M.B., Kothari, R., Low, G.H.: Quantum algorithm for simulating real time evolution of lattice Hamiltonians. SIAM J. Comp. Special Section FOCS 2018:350–360 (2021)
Bachmann, S., Bluhm, A.: Local factorisation of the dynamics of quantum spin systems. J. Math. Phys. 58(7), 071901 (2017)
Ranard, D., Walter, M., Witteveen, F.: A converse to Lieb–Robinson bounds in one dimension using index theory. arXiv preprint arXiv:2012.00741 (2020)
Gross, D., Nesme, V., Vogts, H., Werner, R.F.: Index theory of one dimensional quantum walks and cellular automata. Commun. Math. Phys. 310(2), 419–454 (2012)
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics Volume 2: Equilibrium States Models in Quantum Statistical Mechanics. Springer, Berlin (2012)
Nachtergaele, B., Ogata, Y., Sims, R.: Propagation of correlations in quantum lattice systems. J. Stat. Phys. 124(1), 1–13 (2006)
Nachtergaele, B., Sims, R., Young, A.: Quasi-locality bounds for quantum lattice systems. I. Lieb–Robinson bounds, quasi-local maps, and spectral flow automorphisms. J. Math. Phys. 60(6), 061101 (2019)
Lieb, E.H., Robinson, D.W.: The finite group velocity of quantum spin systems. Commun. Math. Phys. 28, 251–257 (1972)
Acknowledgements
Sven Bachmann is supported by NSERC of Canada. S.B. would like to thank Marcel Schaub for introducing the specific interaction norm used in this work. Markus Lange was supported by NSERC of Canada and also acknowledges financial support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (ERC StG MaMBoQ, Grant Agreement No. 802901).
Funding
Open access funding provided by Scuola Internazionale Superiore di Studi Avanzati - SISSA within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alain Joye.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Lieb–Robinson Bounds
Appendix A. Lieb–Robinson Bounds
In this section, we show that the dynamics generated by an interactions in the class \({{\mathcal {B}}}= \bigcup _{b > 0} {{\mathcal {B}}}_b\) satisfy a Lieb–Robinson bound. The Banach spaces \({{\mathcal {B}}}_b\) of interactions with finite -norm are defined in Sect. 2, where we also defined the local Hamiltonian \(H\in {{\mathcal {L}}}\) associated with \(\Phi \in {{\mathcal {B}}}\).
Proposition A.1
Let \(\Phi \in {{\mathcal {B}}}_{b}\) and let \(\Lambda \in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\). Let \(X,Y\subset \Lambda \) with \(X\cap Y = \varnothing \) and \(A\in {{\mathcal {A}}}_X,B\in {{\mathcal {A}}}_Y\). For any \(b'<b\), we have that
where and \(M_{\epsilon } := \sup \{\vert X\vert \xi _{\epsilon }(D(X)):X\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\}\).
Proof
We denote \(\tau _t^\Lambda (A) = \mathrm {e}^{i t H_\Lambda }A\mathrm {e}^{-i t H_\Lambda }\) and let \(f(t) = [\tau _t^\Lambda (A),B]\). Then \(f'(t) = \sum _{Z\cap X\ne \varnothing }[i\tau _t^\Lambda ([\Phi (Z),A]),B]\) and by Jacobi’s identity,
The first term being norm preserving, we conclude that
see Lemma A.1 in [26], namely
where \(C_B(X,t) = \sup \{\Vert A\Vert ^{-1} \Vert [\tau _t^\Lambda (A),B] \Vert :A\in {{\mathcal {A}}}_X\}\). Iterating this step, it follows that
Since \(C_B(Z,0) = 0\) whenever \(Z\cap Y = \varnothing \) and \(C_B(Z,0) \le 2\Vert B\Vert \) otherwise, we conclude that
where \(\delta _{X,Y} = 0\) if \(X\cap Y =\varnothing \) and \(\delta _{X,Y} = 1\) otherwise, and we denote \(a_n=a_n(X,Y) = \sum _{\begin{array}{c} Z_{n}\cap Z_{n-1}\ne \varnothing \\ Z_n\cap Y\ne \varnothing \end{array}}\cdots \sum _{Z_{1}\cap X\ne \varnothing } \prod _{j=1}^n\Vert \Phi (Z_j)\Vert \). We claim that
![](http://media.springernature.com/lw292/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ36_HTML.png)
First of all,
![](http://media.springernature.com/lw528/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ96_HTML.png)
by monotonicity of \(\xi _{b'}\), since \(d(x,Y) \le D(Z)\). The same inequality holds with X and Y exchanged. This is (A.2) for \(n=1\) since \(b'<b\) implies that . We continue by induction, obtaining
![](http://media.springernature.com/lw524/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ97_HTML.png)
We factorize \(\xi _b(r) = \xi _{b-b'}(r)\xi _{b'}(r)\) and bound
by monotonicity and logarithmic subadditivity, since \(D(Z_1)\ge d(x,z)\). With this,
![](http://media.springernature.com/lw321/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ98_HTML.png)
as announced.
The sets X, Y appearing symmetrically in the estimates above, the right-hand side of (A.2) can be improved to the minimum of \(\sum _{x\in X}\xi _{b'}(d(x,Y))\) and \(\sum _{y\in Y}\xi _{b'}(d(y,X))\). It remains to use
and to plug the resulting bound into (A.1) to get
![](http://media.springernature.com/lw566/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ99_HTML.png)
If \(X\cap Y = \varnothing \), this reads
![](http://media.springernature.com/lw528/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ100_HTML.png)
which is the claim of the proposition. \(\square \)
The proof yields the following bound that is valid for any X, Y not necessarily disjoint:
where \(g_{b,b'}(t) = \mathrm {e}^{\kappa (b,b')\vert t\vert }-(1-\delta _{X,Y}\)).
As pointed out earlier, the proof runs along the general lines of [26]. It only differs in the estimate of \(a_n\) because of the choice of a different norm and a slightly more general class of interactions. In particular, in the case \(p<1\), the subexponential decay in d(X, Y) has its origin in the subexponential decay of the interaction \(\Phi \in {{\mathcal {B}}}_b\).
It is also a well-known fact that the Lieb–Robinson bound yields the existence of the dynamics in the infinite volume limit. We provide here a short proof in the specific setting of this paper. We now consider an increasing sequence of subsets \(\Lambda _n\) that is absorbing in the sense that for any \(x\in \Gamma \), there is N such that \(x\in \Lambda _n\) for all \(n\ge N\).
Corollary A.2
Let \(\Phi \in {{\mathcal {B}}}_{b}\), let \(X\in {{\mathcal {P}}}_{\mathrm {fin}}(\Gamma )\) and \(A\in {{\mathcal {A}}}_X\). For all n such that \(X\subset \Lambda _n\), let \(\tau ^n_t(A) = \mathrm {e}^{i t H_{\Lambda _n}}A\mathrm {e}^{-i t H_{\Lambda _n}}\). The sequence \(\tau ^n_t(A)\) is convergent to \(\tau _t(A)\). Moreover, \(t\mapsto \tau _t\) extends to a strongly continuous group of automorphisms on \({{\mathcal {A}}}\).
Proof
We note that if \(n>m\), then
Since \(H_{\Lambda _n}- H_{\Lambda _m} = \sum _{Z\cap (\Lambda _n\setminus \Lambda _m)\ne \varnothing }\Phi (Z)\), we conclude that
The Lieb–Robinson bound now yields
for any \(b'<b\). The sum over Z can be upper bounded by \(\sum _{z\in \Lambda _n\setminus \Lambda _m}\sum _{Z\ni z}\). We introduce the factor \(\xi _{b'}(D(Z))\) and use the logarithmic superadditivity of \(\xi _{b'}\) and finally the bound \(d(x,z) \le d(x,Z) + D(Z)\) to get
Note that \(\Phi \in {{\mathcal {B}}}_b\) implies that for all \(b'<b\). It remains to use the bound \(d(x,z) \le d(x,Z) + D(Z)\) to get
![](http://media.springernature.com/lw481/springer-static/image/art%3A10.1007%2Fs00023-022-01207-8/MediaObjects/23_2022_1207_Equ101_HTML.png)
The summability of \(\xi _{b'}\) and the fact that X is a finite set implies that the sum vanishes as \(n,m\rightarrow \infty \). In other words, \((\tau ^n_t(A))_{n}\) is Cauchy sequence in \({{\mathcal {A}}}\) (uniformly in t for t in a compact set) and hence convergent.
The limiting map \(\tau _t\) is bounded (since \(\Vert \tau _t(A)\Vert = \Vert A\Vert \)) on the dense set of local observables. Therefore, it extends to a bounded linear map on \({{\mathcal {A}}}\). The group property follows from that of the finite volume approximations. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bachmann, S., Lange, M. Trotter Product Formulae for \(*\)-Automorphisms of Quantum Lattice Systems. Ann. Henri Poincaré 23, 4463–4487 (2022). https://doi.org/10.1007/s00023-022-01207-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-022-01207-8