Abstract
In general, linear response theory expresses the relation between a driving and a physical system’s response only to first order in perturbation theory. In the context of charge transport, this is the linear relation between current and electromotive force expressed in Ohm’s law. We show here that in the case of the quantum Hall effect, all higher-order corrections vanish. We prove this in a fully interacting setting and without flux averaging.
Similar content being viewed by others
1 Introduction
Quantization of the Hall conductance in the bulk is a well-understood phenomenon under a spectral gap assumption, both in the absence and presence of interactions between the electrons, see [1,2,3,4,5,6,7,8,9,10].
The Hall conductance is a linear response coefficient and it can be expressed by Kubo’s formula. In the presence of a spectral gap, the validity of linear response is well-established, both in non-interacting [11] and in interacting [12,13,14,15] situations. As was first pointed by Laughlin, the quantum Hall effect has a natural interpretation as a charge pump. In a cylindrical geometry where the current along the cylinder is induced by a time-dependent magnetic flux [16] (see also [17] for a similar idea), the quantum Hall conductance is directly proportional to the charge crossing a fiducial line winding around the cylinder as the flux is slowly increased by one quantum unit. This aspect of the Laughlin argument (the other aspect being the quantization itself) was generalized to the interacting context in [9, 18].
Let \(H_\phi \) be a smooth family of Hamiltonians parameterized by the magnetic flux \(\phi \), and let \(P_\phi \) by the corresponding ground state projections. Kato constructed in [19] an ‘adiabatic’ propagator \(U_\mathrm {A}(\phi )\) such that
If \(\Delta Q_\mathrm {A}\) is the expectation value of the charge transported by \(U_\mathrm {A} = U_\mathrm {A}(2\pi )\) across the fiducial line, then the Laughlin argument concludes, formally, that
where \(\sigma _\mathrm {H}\) is the Hall conductance.Footnote 1
In experiments, the quantization is not exact, but the conductance is quantized to nearly one part in a billion [20]. That suggests that the universality expressed by the quantization of conductance extends to the charge transport of the full driven Schrödinger equation. If \(\phi \) is changing slowly and smoothly in time, namely \(\phi = \phi (\epsilon t)\) with \(\epsilon \ll 1\), one may consider the charge transported by the physical propagator \(U_\epsilon (s)\) associated with the time-dependent Hamiltonian \(H_{\phi (s)}\) in rescaled time \(s = \epsilon t\). The adiabatic theorem in the presence of a gap ensures that \(U_\mathrm {A}(\phi (s))\) approximates \(U_\epsilon (s)\) as \(\epsilon \rightarrow 0\). And indeed, [21] shows that power-law corrections to Kubo’s formula for the flux-averaged Hall conductance vanish to all orders in \(\epsilon \).
In this work, we prove the result in a fully interacting setting without averaging. Just as in [21], the fundamental reason of this exactness is to be found in the adiabatic theorem: If the driving is smooth, then the Schrödinger and adiabatic flows are equal to all orders in adiabatic perturbation theory [13, 22, 23] as soon as the driving has stopped. While [21] is geometric in nature, the present interacting result uses the many-body index of [9] and relies on locality arguments to leverage on the adiabatic theorem. Accordingly, Kato’s propagator \(U_\mathrm {A}\) is replaced with Hastings’ local propagator \(U_{\parallel }\) introduced in [24,25,26] whose action coincides with Kato’s on the ground state space. The corresponding charge transport is denoted \(\Delta Q_\parallel \).
Let us finally comment on the volume dependence of our results. We shall work here in an arbitrary large but finite volume, with errors vanishing faster than any inverse power of the diameter L of the system. Concretely, that means on the one hand that we have \(\Delta Q_\parallel = 2\pi \sigma _\mathrm {H} + {{\mathcal {O}}}(L^{-\infty })\) (and it is an integer up to \({{\mathcal {O}}}(L^{-\infty })\)). On the other hand, if \(\Delta Q_\epsilon \) is the charge transported by the physical \(U_\epsilon = U_\epsilon (2\pi )\), our main result reads
see Theorem 4.4. Here, the bound \({{\mathcal {O}}}(\epsilon ^\infty )\) is meant to be uniform in L, whereas the notation \({{\mathcal {O}}}_\epsilon (L^{-\infty })\) indicates that the bound holds only pointwise in \(\epsilon \). From there, it is a separate question whether \(\sigma _\mathrm {H}\) has a well-defined limit as \(L\rightarrow \infty \). As argued in [7], this can also be answered positively.
2 The Laughlin Pump as a Many-Body Index
The Laughlin argument is traditionally exposed in a cylindrical setting with boundaries connected to infinite reservoirs. We shall work here in a periodic setting, by glueing the ends of the cylinder into a two-dimensional torus. Furthermore, we consider a quantum lattice system defined on the torus and work in a large but finite volume. For clarity of the presentation, we denote \(\Gamma \) the set of vertices of the system and L the diameter of \(\Gamma \), expressed by the graph distance on \(\Gamma \). In this expository section, we ignore errors that vanish fast as \(L\rightarrow \infty \).
In this setting, the quantum Hall effect has a natural interpretation as a charge pump, and we are interested in the charge transported across a fiducial line \(\nu _-\) winding across the torus. The physical source of the pumping is a slowly increasing magnetic flux threading the system, see Fig. 1.
By charge, we mean here that there is a family of operators q(Z) labelled by subsets \(Z\subset \Gamma \) that have diameter smaller than a fixed value \(R_q\); typically, \(R_q=1\). Crucially, these operators have integer spectrum and they mutually commute. The charge in any set \(X\subset \Gamma \) is \(Q_X = \sum _{Z\subset X} q(Z)\) and it has integer spectrum.
The system’s dynamics is described by a Hamiltonian \(H = \sum _{Z\subset \Gamma }\Phi (Z)\), where the interactions \(\Phi (Z) = \Phi (Z)^{*}\) are uniformly bounded and finite range, namely \(\Phi (Z) = 0\) whenever the diameter of Z is larger than \(R_\Phi \). The dynamics generated by H conserves charge in the sense that \([H,Q_Z]\) is an operator supported along the boundary of Z. It follows that if \(Q_{\eta }\) denotes the charge in a half system with one boundary \(\eta _-\) (the other one being at the ‘other end of the universe’ \(\eta _+\), see Fig. 1), then the gauge-transformed
differs from H only along \(\eta _\pm \) for all \(\phi \in [0,2\pi ]\). Finally, we consider the family \(H_\phi \) obtained by gauge transforming only those interaction terms in the vicinity of \(\eta _-\), see Sect. 6.1 in ‘Appendix’ for details. This is no longer a unitarily equivalent family and \(H_\phi \) corresponds to having a flux \(\phi \) threaded in the torus, see again Fig. 1. Integrality of the spectrum of \(Q_{\eta }\) implies that \(H_{2\pi } = H_0 = H\).
We assume that the spectral gap above the lowest eigenvalue of \(H_\phi \) is lower bounded by a positive constant \(\gamma \), uniformly in L and \(\phi \), see Assumption 4.1. Let \(P_\phi \) be the corresponding spectral projection and p be its rank. The result of [24, 25], refined in [26], is the existence of an operator \( K_\phi \) supported only in a neighbourhood of the line \(\eta _-\), which implements parallel transport on \(P_\phi \). Indeed, the propagator \(U_{\parallel }(\phi )\) defined by
satisfies
for all \(\phi \in [0,2\pi ]\). Here, we denoted \(P = P_0\). In particular,
-
(a)
Since the family of Hamiltonians is periodic, \(P = P_{2\pi }\) and so
$$\begin{aligned}{}[U_{\parallel }, P] = 0, \end{aligned}$$where \(U_{\parallel } = U_{\parallel }(2\pi )\).
-
(b)
Since \(K_{\phi }\) is supported in a neighbourhood of \(\eta _-\), the unitary \(U_{\parallel }(\phi )\) acts non-trivially only in that same neighbourhood. See again ‘Appendix 6.1’.
In the quantum Hall effect, the Kubo formula of linear response is equal to the adiabatic curvature, as was first observed in [4]. In fact, it can be further related directly to the parallel transport corresponding to the addition of a flux quantum. Let Q be the charge on the ‘orthogonal’ half torus having \(\nu _-\) as one of its boundaries, see Fig. 1. The operator of charge transported by \(U_{\parallel }\) (over a full cycle increasing the flux by \(2\pi \)) denoted \(T_{\parallel } = U_{\parallel }^{*}Q U_{\parallel } - Q\) is a sum of two contributions \(T_{\parallel ,\pm }\) supported along \(\nu _\pm \). Global charge conservation implies that its expectation value in the invariant state P vanishes, but in general, this is only due to a cancellation of the influx of charge at one boundary and the outflux at the other one. Focussing on just one of them, it is proved in [9], Theorem 3.2 that the expected charge transport is equal to the Hall conductance
a fact at the heart of the original Laughlin argument. It is worth pointing out here that although \(\Delta Q_\parallel \) is the integrated current, it is equal to the Hall conductance \(\sigma _\mathrm {H}\) of the system at \(\phi = 0\), not its flux average.
3 Charge Transport and the Adiabatic Theorem
The propagator \(U_{\parallel }\), featuring in Laughlin’s argument, is an approximation of the ‘true’ adiabatic evolution of the system. By this, we mean the solution of the driven Schrödinger equation for the time dependent family of Hamiltonians \(H_{\phi (t)}\) for a slowly varying flux \(\phi (t)\). In rescaled time \(s = \epsilon t \in [0,1]\), the Schrödinger propagator is the solution of
and the adiabatic regime is characterized by \(0< \epsilon \ll 1\).
The adiabatic theorem for gapped many-body systems [13, 14] now goes as follows: For any local observable A,
where \(U_{\parallel }(s) = U_{\parallel }(\phi (s))\) and C is independent of the volume of the system. Furthermore, if the driving is smooth and has stopped at \(s=1\), that is \(\partial _s H_s\) is compactly supported in (0, 1), then the error is in fact beyond perturbation theory in the sense that
for all \(m\in {{\mathbb {N}}}\).
As in the previous section, we consider the operator of charge transported by \(U_\epsilon \), denoted \(T_\epsilon = U_\epsilon ^{*}Q U_\epsilon - Q\) and its contribution \(T_{\epsilon ,-}\) across \(\nu _-\). We define \(\Delta Q_\epsilon = p^{-1}\mathrm {Tr}(PT_{\epsilon ,-})\). While (3.2) make the following quite plausible, it is a non-trivial result that \(\Delta Q_\epsilon = \Delta Q_\parallel + {{\mathcal {O}}}(\epsilon ^\infty )\). Combined with (2.4), we therefore obtain that
We point out that a direct application of (3.2) would yield an error bound that diverges at any order in \(\epsilon \) as \(L\rightarrow \infty \). Indeed, A would need to be the charge in a macroscopic region. Refining this naive estimate to obtain (3.3) is the main technical aspect of our result.
In physical terms, the driving is in this setting the electromotive force E generated by the time-dependent flux through Faraday’s law:
Hence, (3.3) can be written as \(\Delta Q_\epsilon = {2\pi }\sigma _\mathrm {H} + {{\mathcal {O}}}(\vert E\vert ^\infty )\), expressing the exactness of linear response (namely, Ohm’s law) to all orders in the driving for the quantum Hall effect. The fact that the response is, as in [21], the integrated current is imposed by the present setting of a charge pump.
Let us briefly comment on some technicalities to come. The first class of difficulties arise from the fact that the charge operators \(Q,Q_{\eta }\) have both norms and supports that grow with L. In view of the error term in (3.2), one may fear that the bound in (3.3) cannot be uniform in the volume. A careful observation will however show that this is not the case, since the effective transport is limited by charge conservation to the vicinity of \(\nu _-\), while the current is driven only along \(\eta _-\) where the Hamiltonian itself changes (through the step in the gauge potential). It follows that \(\sigma _\mathrm {H}\) and the operators of charge transport are localized in an L-independent region around the intersection of \(\eta _-\) and \(\nu _-\). The second difficulty is that while the Schrödinger and parallel transport flows agree on the ground state space to all orders in \(\epsilon \) at \(\phi = 2\pi \), the charge transport itself happens throughout the full driving, along which the error is only of order \(\epsilon \). We bypass this issue by comparing \(U_\epsilon (s) P U_\epsilon (s)^{*}\) only with a suitably dressed ground state projection, both remaining \({{\mathcal {O}}}(\epsilon ^\infty )\)-close to each other for all s, while the dressed projection merges with the instantaneous ground state projection when the driving stops.
Finally, we compare the present work with [21]. The result itself differs in two respects. Firstly, the error bound we obtain is uniform in the volume, while that in [21] diverges in the number of particles, although that fact is not explicit for example in Theorem A4 of [21]. Secondly, the conductance there is defined through an average over the flux torus, just as in the original work [4]. The methods differ significantly, too. As already pointed out, in order to obtain volume independent bounds, we use a local parallel transport instead of the traditional one of Kato. We further bypass the geometric argument, in particular the Chern-Simons formula and the need for averaging, by using the many-body index of [10].
4 Equality of Charge Transports
4.1 Spatial Setup
We consider a quantum lattice system defined on a large but finite two-dimensional torus. Let \(L\in {{\mathbb {N}}}\) be even and let \(\Gamma = \Gamma _L= {{\mathbb {Z}}}_L^2\) where \({{\mathbb {Z}}}_L = {{\mathbb {Z}}}/ (L{{\mathbb {Z}}})\) is identified with \(\{-L/2 +1,\ldots ,L/2 - 1, L/2\}\). Note that \(|\Gamma | = L^2\) and that \(\mathrm {diam}(\Gamma ) = L\) in the graph distance \(\mathrm {d}\). We denote by \(\eta \) the ‘horizontal’ strip \(\{(x_1,x_2)\in \Gamma : 0 \le x_2 < L/2\}\) with boundary \(\eta _{-} := \{(x_1,x_2)\in \Gamma : x_2 = 0\}\) and \(\eta _{+} := \{(x_1,x_2)\in \Gamma : x_2 = L/2-1\}\). We similarly denote the ‘vertical’ strip \(\nu := \{(x_1,x_2)\in \Gamma : 0 \le x_1 < L/2\}\) and its boundaries \(\nu _{-} := \{(x_1,x_2)\in \Gamma : x_1 = 0\}\) and \(\nu _{+} := \{(x_1,x_2)\in \Gamma : x_1 = L/2-1\}\).
Let \({{\mathcal {A}}}\) be the even subalgebra of the CAR algebra generated by \(\{a_x,a_x^{*}:x\in \Gamma \}\), which we can think of as acting on the antisymmetric Fock space
An observable \(O\in {{\mathcal {A}}}\) is said to be supported in \(\Lambda \subset \Gamma \) if O can be expressed as an even polynomial in \(\{1,a_x,a_x^{*}:x\in \Lambda \}\), and we denote by \({{\,\mathrm{supp}\,}}(O)\) the smallest set on which O is supported. Crucially, if \({{\,\mathrm{supp}\,}}(O_X) \subset X\) and \({{\,\mathrm{supp}\,}}(O_Y)\subset Y\) and \(X, Y \subset \Gamma \) are disjoint, then \([O_X, O_Y] = 0\). Note that for all of what follows, \({{\mathcal {A}}}\) could equivalently be taken to be the matrix algebra of a finite quantum spin system defined on \(\Gamma \).
For our current purposes, it is handy to consider a weaker notion of support. We say that an operator O is almost supported in a set Z if there is a sequence \((O_r)\), \(r \in {{\mathbb {N}}}\) with \({{\,\mathrm{supp}\,}}(O_{r}) \subset Z_{(r)}\) such that
where \(Z_{(r)}\) denotes the r-fattening of Z, namely
The class of such operators is denoted by \({{\mathcal {A}}}_Z\). We point out that the constants implicit in the notation \( {{\mathcal {O}}}(r^{-\infty }) \) of (4.1) do not depend on the size L of the system nor the adiabatic parameter \(\epsilon \). In fact, the notion of almost support make sense only for a family of operators labelled by L and \(\epsilon \), almost supported in a family of sets labelled by L and \(\epsilon \).
We believe that the chance of misunderstanding coming from this convention is small, but we briefly provide more details for the sake of completeness. Let \(O_{L,\epsilon }\) be a family of operators defined on a sequence of operator algebras \({\mathcal {A}}={\mathcal {A}}_{L}\) associated with tori \({\Gamma }_L\) with diameter L, and let \(Z_{L,\epsilon }\) be a family of subsets of \({\Gamma }_L\). Neither the sets \(Z_{L,\epsilon }\) nor the operators \(O_{L,\epsilon }\) for different values of \(L,\epsilon \) are a priori related in any way. The family \((O_{L,\epsilon })\) belongs to the set \({\mathcal {A}}_{(Z_{L,\epsilon })}\) if for all r there exists a sequence of operators \(O_{L,\epsilon ,r}\) supported in the fattening \((Z_{L,\epsilon })_{(r)}\) such that for any \(k\in {{\mathbb {N}}}\), there are constants \(C_k\) such that
for all L and \(\epsilon \). See ‘Appendix’ of [10] for an extended discussion. In the remaining text, we omit the index L, but keep track of \(\epsilon \).
We note that (4.1) implies that
whenever \(O_X\in {{\mathcal {A}}}_X\) and \(O_Y\in {{\mathcal {A}}}_Y\).
4.2 Extensive Observables and the Lieb–Robinson Bound
An extensive observable
is a sum of local terms \(\Psi (X) = \Psi (X)^{*}\in {{\mathcal {A}}}\) with \({{\,\mathrm{supp}\,}}(\Psi (X)) = X\) that satisfy
-
(i)
finite range condition: There is \(R_\Psi < \infty \) such that \(\Psi (X) = 0\) if \(\mathrm{diam}(X) > R_\Psi \) ,
-
(ii)
finite interaction strength: There is \(m_\Psi < \infty \) such that \(\Vert \Psi (X)\Vert \le m_\Psi \) for all X.
A few remarks. First of all, the above constants are understood to be independent of the system size L. Second of all, while the decomposition (4.2) is not unique, we make it part of the definition.Footnote 2 Thus, there is a natural restriction to a subset \(Z\subset \Gamma \) given by \(S_Z = \sum _{X \subset Z} \Psi (X)\). Finally (i,ii) imply immediately that \(\Vert S_Z\Vert \le C m_\Psi (R_\Psi )^2 \vert Z\vert \) in the present two-dimensional setting.
The first extensive observable of interest is the charge, which is denoted
where the local charge operator q(X) is zero if \(\mathrm {diam}(X) > R_q\) and satisfy
A natural choice in the present fermionic setting is \(q(X) \ne 0\) if and only if X is a singleton in which case \(q(\{x\}) = a^{*}_x a_x\). In a quantum spin system, q(X) could be e.g. plaquette of vertex operators.
An extensive observable \(S = \sum _{X \subset \Gamma } \Psi (X)\) is called charge conserving if
Since \([\Psi (X),Q_Y] =0\) for disjoint sets X, Y, we see that \([\Psi (X), Q_Z] = [\Psi (X), Q_\Gamma ] = 0\) whenever \(\mathrm {d}(X,Z^c) > R_q\). Hence, for any \(Z\subset \Gamma \) and defining \(\partial Z= \{\mathrm {d}(\cdot ,Z)\le 1\} \cap \{\mathrm {d}(\cdot ,Z^c)\le 1\}\),
for any charge conserving extensive observable S, a property that will play an important role in the following.
The second extensive observable we introduce is a periodic family of charge conserving Hamiltonians, parametrized by \(s\in [0,1]\), namely
In this case, the constants appearing in (i,ii) above are assumed to be independent of the parameter s. By (4.3),
We write
and note that \(j_{s, \nu _{\pm }}(X)\) is zero if \(\mathrm {diam}(X) > R_q + R_\Phi \) or \(X\cap \nu _\pm = \emptyset \).
The Lieb–Robinson bound for a dynamics \(\tau _t(O_X) = \mathrm {e}^{\mathrm {i}t S} O_{X}\mathrm {e}^{-\mathrm {i}t S}\) on \(\Gamma \) generated by an extensive observable S implies that if \(\mathrm {supp}(O_X) = X\) then for any \(\delta >0\),
where \({{\mathbb {E}}}_Z\) is a conditional expectation over the complement of the set Z, see [31, Lemma 4.1.], and the positive constants \(C,v,\zeta \) depend on S but not on t, see [27] and Sect. 6.2 in ‘Appendix’. The Lieb–Robinson bound continues to hold in the case of time-dependent generators. This applies in particular for the dynamics implemented by the unitary \(U_\epsilon \) introduced in (3.1) and corresponding to a time of order \(\epsilon ^{-1}\). We then find that \(U_\epsilon ^* O_X U_\epsilon \in {{\mathcal {A}}}_{X_{(v\epsilon ^{-1})}}\) whenever \(O_X\in {{\mathcal {A}}}_X\).
4.3 Assumptions
We can now state our assumptions for the following results. As in the rest of this section, we keep the setting more general than the specific Hall cylinder described in the introductory sections, where charge is being pumped by an increase of the magnetic flux. Still, the assumptions below, in particular Assumption 4.3, are made with this example in mind. The charge transported by parallel transport is not, in general, related to a linear response coefficient, which is why the main theorem does not explicitly refer to a conductance.
Let \(P_s\) denote the orthogonal projection onto the ground state space of \(H_s\). Let \(E^0_s,E^1_s\) be the ground state energy and the energy of the first excited state. \(P_s\) is necessarily finite dimensional, but its rank may grow in the system size L. Our first assumption is that this is not the case. The second part below is the crucial gap assumption.
Assumption 4.1
(Spectral gap). There are constants \(\gamma > 0, p \in {{\mathbb {N}}}\) and an \(L_0\in {{\mathbb {N}}}\) such that if \(L>L_0\), then
-
(i)
\(\text {rk}(P_s) = p\) for all \(s\in [0,1]\) and
-
(ii)
\( E^1_s - E^0_s \ge \gamma \) for all \(s\in [0,1]\).
The second assumption is about smoothness of the function \(s\mapsto H_s\) and the fact that the driving is compactly supported in (0, 1).
Assumption 4.2
(Smooth, compactly supported driving). The matrix-valued function \(s\mapsto \Phi _{s}(X)\) is infinitely often continuously differentiable for any \(X \subset \Gamma \) and \(\Phi ^{(k)}_{s=0}(X) = \Phi ^{(k)}_{s=1}(X) = 0\) for all \(k\in {{\mathbb {N}}}\). Moreover, these derivatives define extensive observables \(H^{(k)}_s = \sum _{X\subset \Gamma }\Phi ^{(k)}_{s}(X)\) in the sense of Sect. 4.2.
As already pointed out, our last assumption reflects the specific geometry of the quantum Hall cylinder depicted in Fig. 1.
Assumption 4.3
(Localized driving). The driving extends only along the line \(\eta _-\), namely \(\partial _s H_s \in {{\mathcal {A}}}_{\eta _{-}}\).
In the case of the Hall effect, this means that the gauge potential describing the threaded flux is constant in space and time away from the line \(\eta _-\) and its change, which drives the Hall current, is spatially localized along that same line, see the discussion in Sect. 2.
Concretely, the last two assumptions are satisfied for the family \(H_s = H_{\phi (s)}\) introduced in Sect. 2 and ‘Appendix 6.1’, where \(\phi \in C^\infty ([0,1];{{\mathbb {R}}})\) with \(\phi (0)= 0, \phi (1) = 2\pi \) and \(\phi '\ge 0\) is compactly supported in (0, 1). While Assumption 4.1 is believed to hold for (possibly fractional) quantum Hall systems, there is at the moment of writing no explicit microscopic model where this can be proved, except for perturbations of free systems (and therefore integer conductance), see [8, 28, 29]; see however [30].
4.4 Conductance, Parallel Transport and Adiabatic Evolution
Let us first recall the two main players transporting charge. On the one hand, \(U_\epsilon (s)\) is the Schrödinger propagator for the slowly driven system with Hamiltonian \(\epsilon ^{-1} H_s\), see (3.1). On the other hand \(U_{\parallel }(s)\) implements parallel transport of \(P_{\phi (s)}\), namely
It is generated by
where \(\vert W(u)\vert = {{\mathcal {O}}}(\vert u \vert ^{-\infty })\). Assumption 4.3 together with the fast decay of W and the Lieb–Robinson bound for \(\mathrm {e}^{-\mathrm {i}u H_s}\) imply that \(K_s\in {{\mathcal {A}}}_{\eta _-}\). See Sect. 6.1 and [13] for more details. To compare with (2.2), \(K_s = \phi '(s) K_{\phi (s)}\).
While \(K_s\) arises from the extensive observable \(\partial _s H_s\), it does not satisfy the finite range condition (i) in Sect. 4.2. However, the Lieb–Robinson bound for \(\mathrm {e}^{-\mathrm {i}u H_s}\) and the fast decay of \(\vert W\vert \) imply that \(K_s = \sum _{X\subset \Gamma }k_s(X)\) with
uniformly in L, for a positive, decreasing function f such that \(f(r) = {{\mathcal {O}}}(r^{-\infty })\). See [26] for details. We refer to operators with such finite \({\left| \left| \left| \cdot \right| \right| \right| }_f\) as generalized extensive observables. The finiteness of \({\left| \left| \left| \cdot \right| \right| \right| }_f\) implies that
where \(X = \mathrm {supp}(O_X)\).
The subexponential decay of f carries over to the Lieb–Robinson bound and (4.5) for the dynamics \(\sigma _t\) generated by such a generalized extensive observable must be weakened to the following: For any \(\alpha >1\) and any \(\mu >0\), there are \(c,C>0\) such that if \(\mathrm {supp}(O_X) = X\) and for all \(\delta >0\),
see Sect. 6.2 in ‘Appendix’. This difference is irrelevant for times of order 1, but it is essential at the adiabatic time scale \(\epsilon ^{-1}\). Since the exact value of \(\alpha \) will bear no effect on the final result, we chose \(\alpha = 2\) for the rest of this paper. With this choice, (4.9) implies that \(\sigma _{\epsilon ^{-1}}(O_X) \in {{\mathcal {A}}}_{X_{(c\epsilon ^{-2})}}\).
Recall the notation \(Q = Q_\nu \) used in the introductory sections. By charge conservation (4.3),
and the Lieb–Robinson bound (4.9) imply that for \(U_\parallel = U_\parallel (1)\)
where \(T_{\parallel ,-}\in {{\mathcal {A}}}_{\nu _-}\) and \(T_{\parallel ,+}\in {{\mathcal {A}}}_{\nu _+}\). We immediately note, and shall use it later, that \(K_s\in {{\mathcal {A}}}_{\eta _-}\) implies that \(T_{\parallel ,\pm }\in {{\mathcal {A}}}_{\nu _\pm \cap \eta _-}\).
The same holds for \(U_\epsilon = U_\epsilon (1)\), in the sense that
see (4.4). Since the time evolution runs over a long time \(\epsilon ^{-1}\), the transport observables \(T_{\epsilon ,\pm }\) are almost localized in a fattening of order \(\epsilon ^{-1}\) of \(\nu _\pm \), see (4.5).
To proceed, we fix a convention about error terms. Our statements depend on two asymptotic parameters \(\epsilon ,L\), but their roles are not symmetric. When writing \({\mathcal {O}}(\epsilon ^\infty )\), we mean that the bound is uniform in L, whereas we write \({\mathcal {O}}_\epsilon (L^{-\infty })\) for a bound that is pointwise in \(\epsilon \), but that does not necessarily hold uniformly. Indeed, as is physically most relevant, we prefer to think of \(\epsilon \) as an arbitrarily small but fixed parameter and let \(L\rightarrow \infty \) first. Then, the main result of our work is
Theorem 4.4
Let Assumptions (4.1), (4.2), (4.3) hold. Then
The theorem expresses in general the equality of two charge transports, independently of the fact that the left hand side is a linear response coefficient. In the more specific case of the Laughlin setting described in Sect. 2 where \(p^{-1}\mathrm {Tr}(PT_{\parallel ,-}) = \Delta Q_\parallel \) and \(p^{-1}\mathrm {Tr}(PT_{\epsilon ,-}) = \Delta Q_\epsilon \), then the left hand side is, up to a factor \(2\pi p\), the Hall conductance
and it is an integer, see [9]. In that case, the theorem states, as announced, that this linear response coefficient expresses the full charge transport, to all orders in the adiabatic parameter \(\epsilon \), and equivalently to all orders in the driving.
5 Dressed Ground States and Proofs
While the adiabatic theorem briefly discussed in the previous sections is the fundamental reason for the validity of the theorem, it will not appear in the proofs below per se. In fact, we shall in the following rather revisit the derivation of the adiabatic theorem presented in [13], with an additional fact that the driving is supported only along the line \(\eta _-\). In this section, we shall not repeat the running assumptions of Theorem 4.4. We will freely use notations introduced in [13].
5.1 Dressing the Ground State Projection
A key player in the proofs are the dressed ground state projections \(\Pi _{n,\epsilon }(s),\, (n\in {{\mathbb {N}}})\). On the one hand, they follow the driven projection \(U_\epsilon (s) P U_\epsilon (s)^{*}\) to order \({{\mathcal {O}}}(\epsilon ^{n-2})\) for all \(s\in [0,1]\). On the other hand they follow the instantaneous (namely, parallel transported) ground state \(P_s\) only to order \({{\mathcal {O}}}(\epsilon )\) for all \(s\in [0,1]\), but \(\Pi _{n,\epsilon }(1) = P_1 = P\) exactly when the driving has stopped, see Assumption 4.2.
The construction of \(\Pi _{n,\epsilon }(s)\) is given in the proof of Lemma 4.3 in [13]. It amounts to finding generalized extensive observables \(\{A_j(s):j\in {{\mathbb {N}}}\}\) such that, with \(S_{n,\epsilon }(s) = \sum _{j=1}^n\epsilon ^j A_j(s)\),
Moreover, \(A_j(s)\) are functions of \(H_s\) and its derivatives, all at the same epoch s. On the one hand, this implies that \(A_j(s)\) are charge conserving. On the other hand, whenever the derivatives vanish, so do the \(A_j\), so that \(A_j(0) = 0\) and \(A_j(1) = 0\). Hence,
On the other hand, there is a unitary propagator \({V}_{n,\epsilon }(s)\) such that
To emphasize the difference with \(\mathrm {e}^{\mathrm {i}S_{n,\epsilon }(s)}\), we note that the right hand side contains P and not \(P_s\). Importantly, \({V}_{n,\epsilon }(s)\) is obtained as the solution of
for a generalized extensive observable \(R_{n,\epsilon }(s)\) which is small in the sense that
for some f(r) vanishing faster than any inverse power, see (4.8). Importantly, \(R_{n,\epsilon }(s)\) is obtained from multicommutators of \(H_s\) and its derivatives \(\{H_s^{(j)}:j=1,\ldots , n\}\) so that \(R_{n,\epsilon }(s)\in {{\mathcal {A}}}_{\eta _-}\) by Assumption 4.3, and it is charge conserving. We refer again to the proof of Lemma 4.3 in [13] for an explicit construction and proofs of the claimed properties.
We use \(V_{n,\epsilon }\) as a link to compare the real evolution \(U_{\epsilon }\) with the parallel transport \(U_\parallel \). To that end we define
and
With Assumption 4.2 and the discussion above, \(W_{n,\epsilon }(0) = \mathbb {1}\), while at \(s=1\),
reduce to a comparison of the driven Schrödinger propagator with the implementation of parallel transport through an intermediary \(V_{n, \epsilon }\). We note that
5.2 Charge Transport
We are finally equipped to prove the main theorem of this paper. The first lemma provides a bound on the charge transport operator associated with the auxiliary unitary \({\widetilde{W}}_{n,\epsilon }(s)^{*}\). It relies on the fact that the difference between the dressed unitary \(V_{n,\epsilon }(s)\) and the Schrödinger propagator \(U_\epsilon (s)\) is small in norm. This is also at the heart of the proof of the adiabatic theorem. Here, we shall moreover use the fact that the driving is localized along \(\eta _-\), Assumption 4.3.
We recall that the notation \({{\mathcal {O}}}_\epsilon (L^{-\infty })\) refers to a bound that is not necessarily uniform in \(\epsilon \). Below, we will need the following structure and notation for an operator or a (generalized) extensive observable S. We write \(S=S_++S_-\) whenever \(S_{\pm }\in {{\mathcal {A}}}_{(v\pm )_{c\in ^{-2}}}\) and \(\mathrm{Tr}(S_{\pm })/ \mathrm{TR}(I)={{\mathcal {O}}}_\epsilon (L^{-\infty })\). If the splitting \(S=S_++S_-\) exists, it is unique up to errors of order \({{\mathcal {O}}}_\epsilon (L^{-\infty })\). Indeed, if \(S=\tilde{S}_++ \tilde{S}_-\) is another splitting then \(S_\pm -\tilde{S}_\pm =cI+{{\mathcal {O}}}_\epsilon (L^{-\infty })\) and the trace constraints ensures that \(c=0\). We note that
The way to make splittings \(S=S_++S_-\) satisfying the trace condition is to cast \(S_\pm \) as commutators, as was already done in (4.12).
Lemma 5.1
For all \(s\in [0,1]\) and \(n\in {{\mathbb {N}}},n>9\),
and
Proof
By its definition (5.5), the unitary \({\widetilde{W}}_{n,\epsilon }(s)\) is the unique solution of the initial value problem
Hence for any operator O,
As already pointed out, \(R_{n,\epsilon }(r)\) is a generalized extensive observable conserving charge and \(R_{n,\epsilon }(r)\in {{\mathcal {A}}}_{\eta _-}\) by Assumption 4.3. Now,
and the charge conservation equations (4.3) and (4.12), imply that both commutators on the right-hand side can be decomposed as \(S=S_-+S_+\), as announced above. By (5.4) and the fact that \(R_{n,\epsilon }(r)\in {{\mathcal {A}}}_{\eta _-}\), we find
On the other hand, using (4.12) we have
Now, \(R_{n,\epsilon }(r)\) is a generalised extensive observable almost supported in \(\eta _-\), while \(U_{\epsilon }(r)^* j_{s,{\nu _-}}(X)U_{\epsilon }(r) \in {{\mathcal {A}}}_{X_{(v\epsilon ^{-1})} \cap (\nu _{-})_{(v\epsilon ^{-1})} } \) and it is zero if \(\mathrm {diam}(X) > R_q + R_\Phi \), see (4.4). Hence,
We do not go through the details of this bound, but its validity follows roughly speaking from the fact that there are of order \(\epsilon ^{-2}\) terms with a leading order contribution to the commutator. With (5.4) and the fact that \(U_\epsilon ^{*}(s) j_{s,{\nu _-}}(X) U_\epsilon (s)\) is almost supported on a set of volume of order \(\epsilon ^{-2}\), the commutator on the right-hand side can be estimated by \(C\epsilon ^{n+1-2}\), so that
Using \(O = Q\) in (5.10), we now conclude that
The first claim follows immediately from this estimate since \( ({\widetilde{W}}_{n,\epsilon }(s) Q {\widetilde{W}}_{n,\epsilon }(s)^* - Q)_{-} = - {\widetilde{W}}_{n,\epsilon }(s)({\widetilde{W}}_{n,\epsilon }(s)^{*}Q {\widetilde{W}}_{n,\epsilon }(s) - Q)_{-}{\widetilde{W}}_{n,\epsilon }(s)^{*}\).
A similar reasoning yields the second claim. The operator \(O = V_{n, \epsilon }^{*}Q V_{n,\epsilon } - Q\) belongs to \({{\mathcal {A}}}_{(\nu _-)_{(c\epsilon ^{-2})}}\) and is a sum of terms that are almost localized on sets of diameter of order \(\epsilon ^{-2}\) by (4.9). But then (4.5) further implies that \(U_{\epsilon }(r) O U_{\epsilon }(r)^* \in {{\mathcal {A}}}_{(\nu _-)_{(c\epsilon ^{-2})}}\) is, roughly speaking, a sum of local terms each of diameter \(\epsilon ^{-2}\). Hence, as above, there are order \(\epsilon ^{-4}\) terms contributing to the commutator in (5.10), each by an order \(\epsilon ^{-5}\), and (5.4) yields
Using (5.10) we get the last estimate of the lemma. \(\square \)
We note that the lemma relies on the fact that both unitaries \(U_\epsilon (s), V_{n,\epsilon }(s)\) being compared within \({\widetilde{W}}_{n,\epsilon }(s)\) are propagators over an adiabatic time \(\epsilon ^{-1}\), see (5.9). This would not be the case for the direct comparison of \(U_\epsilon (s)\) with \(\mathrm {e}^{\mathrm {i}S_{n,\epsilon }(s)}U_\parallel (s)\) since the latter unitaries correspond to a time scale of order 1.
We can now compare the charge transported by \(U_\epsilon \) and by \(V_{n, \epsilon }\).
Lemma 5.2
For any \(s\in [0,1]\), let \(T_{\epsilon ,-}(s)\) be as in (4.12). For \(n >9\),
Proof
All unitaries introduced so far are functions of the Hamiltonian and its derivatives. Therefore, they are all charge conserving in the sense of (4.11), (4.12). It follows that
By Lemma 5.1 we then get
which immediately yields the claim of the lemma. \(\square \)
We now compare the expectation values of charge transported by \(V_{n,\epsilon }\) and \(U_\parallel \). Here, we rely on the many-body index
of [10]. It allows to bypass the geometric picture of [21]. The index is defined for any locality and charge conserving unitary that commutes with P. The index belongs to \({\mathbb {Z}}\) up to an error of order \(L^{-\infty }\). The error bound depends in particular on the unitary U. The fact that we apply the index theorem below for the \(\epsilon \)-dependent \({W}_{n,\epsilon }(s)\) (and again later in the proof of Theorem 4.4 for \(V_{n,\epsilon }\)) is the fundamental origin of the non-uniformity in \(\epsilon \) of the error vanishing as \(L^{-\infty }\).
Lemma 5.3
\(\mathrm {Ind}_P({W}_{n,\epsilon }(s)) = {\mathcal {O}}_\epsilon (L^{-\infty })\) for all \(s \in [0,1]\).
Proof
We first show that \(\mathrm {Ind}_P({W}_{n,\epsilon }(s))\) is well-defined for any \(s\in [0,1]\). The unitary \({W}_{n,\epsilon }(s)\) satisfies a Lieb–Robinson bounds and conserves charge. The observation (5.8) can be written as
exactly, i.e. without any error in either \(\epsilon \) or \(L^{ -1}\). Hence, for any fixed \(\epsilon \), all assumptions of the index theorem in [10] hold, yielding an integer-valued index associated with P and \({W}_{n,\epsilon }(s)\).
The map \(s \mapsto {W}_{n,\epsilon }(s)\) being differentiable, it is a fortiori continuous. It follows that \(s\mapsto \mathrm {Ind}_P({W}_{n,\epsilon }(s))\) is constant up to \({{\mathcal {O}}}_\epsilon (L^{-\infty })\), see [9, Proposition 2.2]. The statement then follows from \({W}_{n,\epsilon }(0) = \mathbb {1}\) and \(\mathrm {Ind}_P(\mathbb {1}) = 0\). \(\square \)
We are now equipped to prove Theorem 4.4.
Proof of Theorem 4.4
At \(s=1\), we have \(W_{n,\epsilon } = V_{n,\epsilon }^{*}U_\parallel \) and each unitary commutes individually with P, because \(P_1 = P_0 = P\) and by (5.2). Hence, each of them is associated with its own index. By additivity of the index, see [10, Proposition 5.1], we then have
The statement follows by Lemmas 5.2 and 5.3 at \(s=1\) since \(n\in {{\mathbb {N}}}\) is arbitrary.
\(\square \)
Notes
We work in units where the flux quantum is \(2\pi \), the electric charge is \(-1\) and \(\hbar = 1\).
Strictly speaking, ‘extended observables’ are hence not operators but functions \({{\mathcal {P}}}(\Gamma ) \rightarrow {{\mathcal {A}}}: X \mapsto \Psi (X)\).
References
Thouless, D.J., Kohmoto, M., Nightingale, M.P., den Nijs, M.: Quantized Hall conductance in a two-dimensional periodic potential. Phys. Rev. Lett. 49(6), 405–408 (1982)
Niu, Q., Thouless, D.J., Wu, Y.-S.: Quantized Hall conductance as a topological invariant. Phys. Rev. B 31(6), 3372 (1985)
Avron, J.E., Seiler, R., Simon, B.: Homotopy and quantization in condensed matter physics. Phys. Rev. Lett. 51(1), 51–53 (1983)
Avron, J.E., Seiler, R.: Quantization of the Hall conductance for general, multiparticle Schrödinger Hamiltonians. Phys. Rev. Lett. 54(4), 259–262 (1985)
Avron, J.E., Seiler, R., Simon, B.: Quantum Hall effect and the relative index for projections. Phys. Rev. Lett. 65(17), 2185–2188 (1990)
Hastings, M.B., Michalakis, S.: Quantization of Hall conductance for interacting electrons on a torus. Commun. Math. Phys. 334, 433–471 (2015)
Bachmann, S., Bols, A., De Roeck, W., Fraas, M.: Quantization of conductance in gapped interacting systems. Ann. H. Poincaré 19(3), 695–708 (2018)
Giuliani, A., Mastropietro, V., Porta, M.: Universality of the Hall conductivity in interacting electron systems. Commun. Math. Phys. 349(3), 1107–1161 (2017)
Bachmann, S., Bols, A., De Roeck, W., Fraas, M.: A many-body index for quantum charge transport. Commun. Math. Phys. 375(2), 1249–1272 (2020)
Bachmann, S., Bols, A., De Roeck, W., Fraas, M.: Rational indices for quantum ground state sectors. arXiv:2001.06458 (2020)
Kubo, R., Toda, M., Hashitsume, N.: Statistical Physics II: Nonequilibrium Statistical Mechanics, vol. 31. Springer, Berlin (2012)
Bachmann, S., De Roeck, W., Fraas, M.: Adiabatic theorem for quantum spin systems. Phys. Rev. Lett. 119(6), 060201 (2017)
Bachmann, S., De Roeck, W., Fraas, M.: The adiabatic theorem and linear response theory for extended quantum systems. Commun. Math. Phys. 361(3), 997–1027 (2018)
Monaco, D., Teufel, S.: Adiabatic currents for interacting fermions on a lattice. Rev. Math. Phys. 31(3), 1950009 (2019)
Teufel, S.: Non-equilibrium almost-stationary states and linear response for gapped quantum systems. Commun. Math. Phys. 373(2), 621–653 (2020)
Laughlin, R.B.: Quantized Hall conductivity in two dimensions. Phys. Rev. B 23(10), 5632 (1981)
Streda, P.: Theory of quantised Hall conductivity in two dimensions. J. Phys. C 15(22), L717 (1982)
Lu, Y.-M., Ran, Y., Oshikawa, M.: Filling-enforced constraint on the quantized Hall conductivity on a periodic lattice. Ann. Phys., 168060 (2020)
Kato, T.: On the adiabatic theorem of quantum mechanics. J. Phys. Soc. Jpn. 5, 435–439 (1950)
Wikipedia Contributors: Quantum hall effect—Wikipedia, the free encyclopedia. https://en.wikipedia.org/w/index.php?title=Quantum_Hall_effect&oldid=959147461 (2020). Accessed 9 June 2020
Klein, M., Seiler, R.: Power-law corrections to the Kubo formula vanish in quantum Hall systems. Commun. Math. Phys. 128(1), 141–160 (1990)
Berry, M.V.: Histories of adiabatic quantum transitions. In: Proceedings of the Royal Society of London. Series A, Vol. 429. The Royal Society, pp. 61–72 (1990)
Nenciu, G.: Linear adiabatic theory. Exponential estimates. Commun. Math. Phys. 152(3), 479–496 (1993)
Hastings, M.B.: Locality in quantum and Markov dynamics on lattices and networks. Phys. Rev. Lett. 93(14), 140402 (2004)
Hastings, M.B., Wen, X.-G.: Quasiadiabatic continuation of quantum states: the stability of topological ground-state degeneracy and emergent gauge invariance. Phys. Rev. B 72(4), 045141 (2005)
Bachmann, S., Michalakis, S., Nachtergaele, S., Sims, R.: Automorphic equivalence within gapped phases of quantum lattice systems. Commun. Math. Phys. 309(3), 835–871 (2012)
Nachtergaele, B., Ogata, Y., Sims, R.: Propagation of correlations in quantum lattice systems. J. Stat. Phys. 124(1), 1–13 (2006)
De Roeck, W., Salmhofer, M.: Persistence of exponential decay and spectral gaps for interacting fermions. Commun. Math. Phys. 365(2), 773–796 (2019)
Hastings, M.B.: The stability of free Fermi Hamiltonians. J. Math. Phys. 60(4), 042201 (2019)
Nachtergaele, B., Warzel, S., Young, A.: Spectral gaps and incompressibility in a \(\nu = 1/3\) fractional quantum Hall system. arXiv:2004.04992 (2020)
Nachtergaele, B., Sims, R., Young, A.: Lieb–Robinson bounds, the spectral flow, and stability of the spectral gap for lattice fermion systems. arXiv:1705.08553 (2018)
Acknowledgements
We thank Stefan Teufel for bringing this problem to our attention. S.B. wishes to thank Marcel Schaub for many related discussions. The work of S.B. and M.L. was supported by NSERC of Canada. M.F. was supported in part by the NSF under grant DMS-1907435. W.D.R. thanks the Flemish Research Fund (FWO) for support via grants G076216N and G098919N.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Vieri Mastropietro.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 On Parallel Transport
The reader may have noticed that the formula (4.13) expressing the equality of conductance with an index appears in fact in a different fashion in the cited [9]. The proposition we wish to prove in this appendix shows that they are indeed the same.
In order to avoid confusion, we insist that all indices \((\cdots )_-\) appearing in this section refer to the boundary of \(\eta \), not of \(\nu \), see Fig. 1.
First of all, recall the definition (2.1) of the ‘twist-antitwist Hamiltonian’ \({\tilde{H}}_\phi \) which arises from H by a gauge transformation. By contrast, the ‘twist Hamiltonian’ \(H_\phi = \sum _{X\subset \Gamma }\Phi _\phi (X)\) is obtained from \(H = \sum _{X\subset \Gamma }\Phi (X)\) by defining
It follows that \(H_\phi \) and H differ from each other only along \(\eta _{-}\), while \({\tilde{H}}_\phi \) and \(H_\phi \) differ from each other only along \(\eta _+\).
Proposition 6.1
Let \(U_\parallel \) be the solution of
at \(s=1\). Here, \(K_s\) is given by (4.7) with the concrete Hamiltonian \(H_{\phi (s)}\). Let
where
Then \(U_\parallel = U + {{\mathcal {O}}}(L^{-\infty })\). In particular, (4.13) holds.
Proof
By construction,
Hence \(\partial _s H_s = (\partial _s {\tilde{H}}_s)_-\) so that
for any \(s\in [0,1]\). The first and last equalities are just the definition of \(K_s\), resp. \({\tilde{K}}_s\) with the observation above. The second follows from the Lieb–Robinson bound using the fact that \({\tilde{H}}_s - H_s\) is supported along \(\eta _{+}\). Now, \(\tilde{H}_\phi \) is a gauge covariant family, see (2.1), hence \({\tilde{K}}_\phi = \mathrm {e}^{\mathrm {i}\phi Q_{\eta }} {\tilde{K}} \mathrm {e}^{-\mathrm {i}\phi Q_{\eta }}\) and
This shows that \(\phi '(s) ({\tilde{K}}_{\phi (s)})_-\) generates the propagator \(\mathrm {e}^{\mathrm {i}\phi (s) Q_{\eta }}\mathrm {e}^{\mathrm {i}\phi (s)({\tilde{K}}_- - Q_{\eta })}\). We conclude by (6.1) and the uniqueness of the solution of ODEs that
for all \(s\in [0,1]\). In particular,
since \(\phi (1) = 2\pi \) and by integrality of the spectrum of charge.
Theorem 3.2 of [9] proves the identity (4.13) with \(T_-\) associated with \(U = \mathrm {e}^{2\pi \mathrm {i}(\tilde{K}_- - Q_{\eta })}\) instead of \(U_\parallel \), hence (6.2) concludes the proof of (4.13).
\(\square \)
1.2 Lieb–Robinson Bounds
The Lieb–Robinson bound for a local dynamics \(\tau _t\) on \(\Gamma \) generated by an extensive observable satisfying the decay condition (4.8) implies that for \(r>0\) and \(\mathrm {supp}(O_X) = X\),
see [27], where \({{\mathbb {E}}}_{Z}\) denotes a conditional expectation over \(Z^c = \Gamma \setminus Z\), and \({{\mathcal {U}}}(Z^c)\) is the unitary group in the algebra of observables supported in \(Z^c\), equipped with its Haar measure \(\mu \). The function f and the constant \(\xi >0\) depend on the generator of \(\tau \) but neither on \(\Gamma \) nor on the observable \(O_X\). As already noted, f is a positive, decreasing function decaying faster than any inverse power. While the Lieb–Robinson bound in this form is useful in any fixed time interval \(t\in [0,T]\), it is desirable to have time-independent error bounds in the present adiabatic context.
Let us first consider the case \(f(r) = C \mathrm {e}^{-\zeta r}\) for some \(\zeta >0\), which happens for a dynamics generated by an extensive observable satisfying the finite range condition (i) of Sect. 4.2. By picking \(r = v t + \delta \) with \(v = \frac{\xi }{\zeta }\), we obtain
where the constant C is uniform in t, namely (4.5).
In the present context, the generator K as well as the \(A_j\)’s and hence also \(R_{n,\epsilon }\) all have slower decay, expressed concretely as \(D_n(r) = r^k\mathrm {e}^{-C r/\ln (\ln (r))}\) for some \(k = k(n)\), see [13]. No affine choice r(t) as above will be such that \(\mathrm {e}^{\xi t}D(r(t))\) is uniformly bounded on \([0,\infty )\). In order to deal with that in a rather explicit fashion, we note that \(D_n(r) \le C\mathrm {e}^{-\zeta r^\beta }\) for any \(0<\beta <1\) and any \(\zeta >0\). In this case, we pick
By midpoint concavity,
and hence
We conclude that for a dynamics \(\sigma _t\) generated by a generalized extensive observable that satisfies (4.8) with only a subexponential f, we have
where the constants \(c,C,\zeta \) are again uniform in t. This is (4.9) with \(\alpha = 1/\beta \) and \(\mu = 2^{\beta -1}\zeta \).
Rights and permissions
About this article
Cite this article
Bachmann, S., De Roeck, W., Fraas, M. et al. Exactness of Linear Response in the Quantum Hall Effect. Ann. Henri Poincaré 22, 1113–1132 (2021). https://doi.org/10.1007/s00023-020-00989-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-020-00989-z