This thesis analyses several locality properties of extended quantum lattice systems, considering both spins and fermions. We begin by assuming locality of the Hamiltonian and then discuss how this translates into locality of the time evolution and the thermal states. Starting from a local Hamiltonian, it is well known that the Heisenberg time evolution satisfies Lieb-Robinson bounds, which quantify its locality. We strengthen these bounds for long-range interacting fermions and for commuting interactions. Furthermore, we establish the first Lieb-Robinson bounds for Hamiltonians whose local terms can grow linearly away from the origin. We also prove stability of Lieb-Robinson bounds with respect to local perturbations in the Hamiltonian. For the thermal states we focus on three types of locality known as decay of correlations, the local perturbations perturb locally (LPPL) principle and local indistinguishability. As a key tool we use spectral filters, which were introduced by Hastings in the 2000s for various applications. It enable us to use Lieb-Robinson bounds to obtain information about locality properties of states. In particular, we use quantum belief propagation to prove an equivalence of decay of correlations, LPPL and local indistinguishability for Gibbs states at any positive temperature. Using the improved Lieb-Robinson bounds mentioned before, we obtain improvements for decay of correlations in the ground state, the locality of the spectral flow and LPPL for long-range interacting systems and commuting Hamiltonians. Furthermore, we adjust the filter functions to achieve exponential decay for certain applications that were previously limited to stretched exponential decay. Spectral filters are also used to rigorously justify response theory, which usually requires a gapped system to begin with. To relax this assumption, we introduce various notions of local gaps, discuss their relations and use one to justify response theory and Kubo’s formula in the absence of a global gap. In another result we use local indistinguishability as an input to prove bulk-edge correspondence at finite temperature, in the sense that the bulk magnetisation is equal to the edge current. This result has mostly been studied for non-interacting models or at zero temperature before. Finally, we present a class of weakly interacting spin systems with an on-site gap and prove that the ground state satisfies a strong form of LPPL. Moreover, we show that these systems satisfy decay of correlations and local indistinguishability uniformly in temperature.
We propose Lieb-Robinson bounds (bounds on the speed of propagation of information in quantum systems) with an explicit dependence on the interaction strengths of the Hamiltonian. For systems with more than two interactions it is found that the Lieb-Robinson speed is not always algebraic in the interaction strengths. We consider Hamiltonians with any finite number of bounded operators and also a certain class of unbounded operators. We obtain bounds and propagation speeds for quantum systems on lattices and also general graphs possessing a kind of homogeneity and isotropy. One area for which this formalism could be useful is the study of quantum phase transitions which occur when interactions strengths are varied.
Gapped ground states of quantum spin systems have been referred to in the physics\n literature as being `in the same phase' if there exists a family of Hamiltonians H(s), with\n finite range interactions depending continuously on
sin[0,1], such that for each
s,\n H(s) has a non-vanishing gap above its ground state and with the two initial states being\n the ground states of H(0) and H(1), respectively. In this work, we give precise conditions\n under which any two gapped ground states of a given quantum spin system that 'belong to the\n same phase' are automorphically equivalent and show that this equivalence can be\n implemented as a flow generated by an
s-dependent interaction which decays faster than\n any power law (in fact, almost exponentially). The flow is constructed using Hastings'\n 'quasi-adiabatic evolution' technique, of which we give a proof extended to\n infinite-dimensional Hilbert spaces. In addition, we derive a general result about the\n locality properties of the effect of perturbations of the dynamics for quantum systems with\n a quasi-local structure and prove that the flow, which we call the {\\em spectral flow},\n connecting the gapped ground states in the same phase, satisfies a Lieb-Robinson bound. As\n a result, we obtain that, in the thermodynamic limit, the spectral flow converges to a\n co-cycle of automorphisms of the algebra of quasi-local observables of the infinite spin\n system. This proves that the ground state phase structure is preserved along the curve of\n models
H(s),0leqsleq1.
We derive an extension of the Lieb--Robinson bound that accounts for memory effects in quantum lattice systems evolving under discrete-time non-Markovian dynamics generated by local interactions with finite-dimensional memory subsystems associated with each bond. The global evolution is unitary on an extended Hilbert space
Hext=⨂i=1NHi⊗⨂bondsHM(i), while non-Markovian behavior, arising from repeated coupling to the same bond memory at successive time steps, leads to temporal correlations in the system. In this work, “finite memory” refers specifically to memory subsystems of fixed finite Hilbert space dimension whose reduced dynamics satisfy an exponential mixing condition in operator norm, meaning that correlation functions decay exponentially over time, with a characteristic timescale
τ. More precisely, the memory channels satisfy
∥TMs(X)−Tr(X)σM∥≤ce−s/τ∥X∥, for all memory observables
X, where
σM is a stationary state, and
c>0 depends only on the memory dynamics. For a one-dimensional lattice with nearest-neighbor interactions, we prove that the connected correlation function, defined as
Ci,j(t):=supAi=Ai†,Bj=Bj†∥Ai∥≤1,∥Bj∥≤1∣Tr[(Ai⊗Bj)ρ(t)]−Tr[Aiρi(t)]Tr[Bjρj(t)]∣, satisfies an exponential bound of the form
Ci,j(t)≤C0exp[−ξd(i,j)−veff(τ)t], where
d(i,j)=∣i−j∣ and
ξ>0 is independent of system size and time. The effective velocity
veff(τ) is explicitly bounded in terms of the local interaction strength and the memory mixing parameters, ensuring the system exhibits a finite light cone, meaning that information propagation is confined to a region growing linearly with time, with a well-defined maximum speed. In the limit
τ→∞, the bound no longer guarantees a finite propagation speed, reflecting the transition to a persistent memory regime where correlations do not decay exponentially. As an operational consequence, the entanglement fidelity between two-site reduced states
ρi,j(t) and a maximally entangled state satisfies
Fi,j(t)=⟨Φ+∣ρi,j(t)∣Φ+⟩≤21[1+Ci,j(t)]. These results extend Lieb--Robinson theory to a class of discrete-time quantum dynamics with memory subsystems associated with each bond, enabling resummation of multi-step memory effects into an effective correlation propagation kernel that governs the decay of temporal correlations. This establishes a quantitative relationship between the timescale of memory mixing and the effective speed of information propagation in the system.
Abstract We study the stability with respect to a broad class of perturbations of gapped ground-state phases of quantum spin systems defined by frustration-free Hamiltonians. The core result of this work is a proof using the Bravyi–Hastings–Michalakis (BHM) strategy that under a condition of local topological quantum order (LTQO), the bulk gap is stable under perturbations that decay at long distances faster than a stretched exponential. Compared to previous work, we expand the class of frustration-free quantum spin models that can be handled to include models with more general boundary conditions, and models with discrete symmetry breaking. Detailed estimates allow us to formulate sufficient conditions for the validity of positive lower bounds for the gap that are uniform in the system size and that are explicit to some degree. We provide a survey of the BHM strategy following the approach of Michalakis and Zwolak, with alterations introduced to accommodate more general than just periodic boundary conditions and more general lattices. We express the fundamental condition known as LTQO by means of an indistinguishability radius, which we introduce. Using the uniform finite-volume results, we then proceed to study the thermodynamic limit. We first study the case of a unique limiting ground state and then also consider models with spontaneous breaking of a discrete symmetry. In the latter case, LTQO cannot hold for all local observables. However, for perturbations that preserve the symmetry, we show stability of the gap and the structure of the broken symmetry phases. We prove that the GNS Hamiltonian associated with each pure state has a non-zero spectral gap above the ground state.