Abstract We prove a generalised super-adiabatic theorem for extended fermionic systems assuming a spectral gap only in the bulk. More precisely, we assume that the infinite system has a unique ground state and that the corresponding Gelfand–Naimark–Segal Hamiltonian has a spectral gap above its eigenvalue zero. Moreover, we show that a similar adiabatic theorem also holds in the bulk of finite systems up to errors that vanish faster than any inverse power of the system size, although the corresponding finite-volume Hamiltonians need not have a spectral gap.
We show that recent results on adiabatic theory for interacting gapped many-body systems on finite lattices remain valid in the thermodynamic limit. More precisely, we prove a generalised super-adiabatic theorem for the automorphism group describing the infinite volume dynamics on the quasi-local algebra of observables. The key assumption is the existence of a sequence of gapped finite volume Hamiltonians which generates the same infinite volume dynamics in the thermodynamic limit. Our adiabatic theorem holds also for certain perturbations of gapped ground states that close the spectral gap (so it is an adiabatic theorem also for resonances and in this sense `generalised'), and it provides an adiabatic approximation to all orders in the adiabatic parameter (a property often called `super-adiabatic'). In addition to existing results for finite lattices, we also perform a resummation of the adiabatic expansion and allow for observables that are not strictly local. Finally, as an application, we prove the validity of linear and higher order response theory for our class of perturbations also for infinite systems.
While we consider the result and its proof as new and interesting in itself, they also lay the foundation for the proof of an adiabatic theorem for systems with a gap only in the bulk, which will be presented in a follow-up article.
We show that recent results on adiabatic theory for interacting gapped many-body systems on finite lattices remain valid in the thermodynamic limit. More precisely, we prove a generalized super-adiabatic theorem for the automorphism group describing the infinite volume dynamics on the quasi-local algebra of observables. The key assumption is the existence of a sequence of gapped finite volume Hamiltonians, which generates the same infinite volume dynamics in the thermodynamic limit. Our adiabatic theorem also holds for certain perturbations of gapped ground states that close the spectral gap (so it is also an adiabatic theorem for resonances and, in this sense, “generalized”), and it provides an adiabatic approximation to all orders in the adiabatic parameter (a property often called “super-adiabatic”). In addition to the existing results for finite lattices, we also perform a resummation of the adiabatic expansion and allow for observables that are not strictly local. Finally, as an application, we prove the validity of linear and higher order response theory for our class of perturbations for infinite systems. While we consider the result and its proof as new and interesting in itself, we also lay the foundation for the proof of an adiabatic theorem for systems with a gap only in the bulk, which will be presented in a follow-up article.
We prove that weak long-range many-body interactions preserve the bulk gap of a free fermion system and that a quasi-local spectral flow transports the free ground state to ground states of the interacting system. Let
Φh be a free fermionic interaction, possibly including pairing terms, whose infinite-volume Majorana coefficient operator
h has no spectrum in
(−g,g), and let
V be an even self-adjoint many-body interaction. For sufficiently small
∣λ∣, we construct pure ground states
ωλ of the interacting bulk system
Φλ=Φh+λV and quasi-local automorphisms
β0,λ such that
ωλ=ω0∘β0,λ, where
ω0 is the free ground state of
Φh. Each
ωλ has a GNS Hamiltonian with gap at least
g−C∗∣λ∣∥V∥∗, where
∥⋅∥∗ is the relevant interaction norm.
Our result allows polynomial decay of both the free coefficients and the many-body interaction. For two-site interactions on a uniformly discrete point set
Γ⊂Rd, a sufficient condition is decay as
(1+∣x−y∣)−ϖ with
ϖ>2d, for both the hopping and pairing coefficients and the interaction terms. The spectral-flow generator preserves the spatial exponent of the polynomial interaction norm, and its automorphisms satisfy locality bounds at that exponent. If
h and
V have stretched-exponential decay, so does the spectral-flow generator.
The proof constructs the spectral flow and establishes the gap through an excitation-number comparison, using polynomial propagation bounds for evolved interactions proved in a companion paper.
Determining spectral gaps in the thermodynamic limit is a central challenge in quantum many-body physics. When a fixed boundary condition is imposed, this problem is undecidable: no algorithm, even with unlimited resources, can decide for every Hamiltonian whether it is gapped. Yet the thermodynamic limit is meant to capture the intrinsic properties of very large systems, which should not depend on how their boundaries are chosen. We therefore consider the bulk spectral gap, which concerns only the intrinsic excitations of the infinite system, and ask what can and cannot be computed about it. First, we give a general algorithm producing a hierarchy of certified upper bounds on the bulk gap, arbitrarily tight at the cost of more computation. Second, we prove that the spectral gap problem remains undecidable in the bulk, already for translationally invariant nearest-neighbour chains of fixed local dimension. Hence no general algorithm produces convergent lower bounds, and no convergent upper-bounding algorithm, ours included, admits a computable convergence rate. The bulk spectral gap is thus certifiable from above but uncomputable from below; more precisely, the bulk-gaplessness promise problem is RE-complete, exactly as hard as the halting problem. The same construction shows that no general algorithm can decide whether a given product state is a ground state, and that convergent bounds on ground-state expectation values admit no computable convergence rate in general. Finally, we obtain the first nontrivial certified upper bounds on the bulk gap of the spin-1/2 kagome Heisenberg antiferromagnet.