Abstract
Using recently developed tools from space-adiabatic perturbation theory, in particular the construction of a non-equilibrium almost-stationary state, we give a new proof that the Kubo formula for the Hall conductivity remains valid beyond the linear response regime. In particular, we prove that, in quantum Hall systems and Chern insulators, the transverse response current is quantized up to any order in the strength of the inducing electric field. The latter is introduced as a perturbation to a periodic, spectrally gapped equilibrium Hamiltonian by means of a linear potential; existing proofs of the exactness of Kubo formula rely instead on a time-dependent magnetic potential. The result applies to both continuum and discrete crystalline systems modelling the quantum (anomalous) Hall effect.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
The mathematical understanding of transport properties of quantum system is a fundamental question in the mathematical physics of condensed matter and still to date provides a stimulating challenge. The interest in this line of research has increased further after the discovery of “exotic” transport phenomena of topological origin, most notably the quantum Hall effect, where a 2-dimensional electron gas subject to a perpendicular magnetic field displays a transverse current in response to an inducing in-plane electric field of strength \(\varepsilon \): at zero temperature, the conductivity for this transverse current can be computed by Kubo’s formula at least in the linear response regime [26] and appears experimentally to be quantized (in appropriate physical units) to astounding precision [45]. More recently, a similar topological transport has been observed in Chern insulators, where time-reversal symmetry is broken by a different mechanism than an external magnetic field [7, 11, 12, 19]: this phenomenon is then called quantum anomalous Hall effect. New results are also pushing the study of topological transport and of the corresponding bulk-boundary correspondence to systems at positive temperature [14], but we will stick to the zero-temperature situation in the present paper.
The formula by Kubo expresses the transverse Hall current j as
where \(\sigma _{\textrm{Hall}} \in (e^2/h)\,\mathbb {Z}\) is expressed in terms of equilibrium quantities (see below), involving in particular the Fermi projection \(\Pi _0\) onto occupied energy levels; at positive temperature, this state would be replaced by a Fermi–Dirac distribution. Within the one-particle picture, as reviewed in [18], the quantization of the Hall conductivity has been understood mathematically by establishing its connection first with the Chern number of the Fermi projection from differential geometry [1], then with its non-commutative generalization, the Connes–Chern character (see [6] and references therein); the current physical literature [8, 10, 24] addresses this quantity under the name of (local) Chern marker. Recent mathematical efforts have managed to extend results in this direction also to the setting of electrons interacting on a lattice [4, 17, 20, 38, 44]. We refer the reader to the recent review [21] for further comments on the (mathematical) literature on the Kubo formula.
The topological nature of the Hall conductivity \(\sigma _{\textrm{Hall}}\) is believed to be responsible for its stability and robustness, making it universal, that is, independent of specific features of the model. Furthermore, its geometric origin is responsible also for the fact that the validity of the Kubo formula extends well beyond linear response: indeed, the conductivity associated with the transverse current of Hall systems is known to be equal to \(\sigma _{\textrm{Hall}}\) up to arbitrarily high orders in the strength \(\varepsilon \) of the perturbing electric field, that is,
The existing literature on this property was initiated by the heuristic magnetic flux insertion argument proposed by Laughlin in a cylindrical geometry [27], which was later elaborated in a rigorous way for many-body electron gases in the continuum [25] or discrete [5] setting. These proofs focus on a related quantity, namely the Hall conductance, defined as the (linear) response of the current intensity to the voltage drop: in two dimensions, this quantity agrees with the Hall conductivity \(\sigma _{\textrm{Hall}}\) defined above, see [2]. In the magnetic-flux-insertion argument, the inducing electric field is modelled by a slowly varying time-dependent magnetic potential: this allows to follow time-adiabatically the insertion of this magnetic flux in the ground state. Klein and Seiler [25] then make use of the geometric interpretation of \(\sigma _{\textrm{Hall}}\) to conclude the validity of (the Hall-conductance analogue of) (1.1), at least up to averaging over time and over the inserted magnetic flux. Instead, Bachmann et al. [5] obtain an analogous statement (in the context of lattice spin systems with local interactions and observables) avoiding magnetic-flux averaging and the geometric argument, at the expense of exploiting the integrality of a certain Fredholm index related to the Hall conductance. Both approaches rely on the assumption that this magnetic flux insertion does not close the gap of the unperturbed Hamiltonian. More in general, in the standard time-adiabatic approach to charge transport [3, 4, 9, 15, 30, 38] the “global properties” of the unperturbed model are left invariant by the slowly varying perturbation: for example, the operator domain of the perturbed Hamiltonian is time-independent [3] and in infinite volume ergodicity is preserved by some form of covariance [9].
In this paper, we manage to prove the above-mentioned remarkable property of the Hall conductivity (Theorem 4.1) avoiding the magnetic flux insertion altogether and in particular the use of time-adiabatic perturbation theory. To model the equilibrium system, we employ the one-particle approximation and use a spectrally gapped (insulating) crystalline Hamiltonian \(H_0\); this could be a discrete, tight-binding Hamiltonian, or a continuum (magnetic) Schrödinger-type operator. Contrary to the above-mentioned references, the external electric field will then be introduced by the addition of a linear potential to the equilibrium Hamiltonian, closer to how experimental setups for the quantum Hall effect were originally performed. More concretely, we will define the perturbed Hamiltonian as \(H^\varepsilon = H_0 - \varepsilon \, Y\), where \(\varepsilon \) is a small parameter connected to the intensity of the electric field, which points in the y-direction. Notice in particular that the perturbation \(-\varepsilon \, Y\) is an unbounded operator, even relatively to the unperturbed Hamiltonian \(H_0\), thus the domain of \(H^\varepsilon \) does depend on \(\varepsilon \); moreover, the perturbation breaks periodicity and closes the initial spectral gap of \(H_0\).
Our argument for the proof of (1.1) relies on two main tools:
-
(1)
by treating the linear electric potential as a space-adiabatic perturbation [41, 43] (see also [40] for earlier related works), we are able to construct a non-equilibrium almost-stationary state (NEASS), in the sense of [35, 44], which in the adiabatic regime well approximates the physical state of the system once the dynamical switching drives the Fermi projection out of equilibrium [36] (see the discussion at the end of Sect. 2);
-
(2)
the connection of the conductivity associated with the current flowing in the NEASS with its topological value \(\sigma _{\textrm{Hall}}\) is realized by a Chern–Simons-like formula (Proposition 4.4), similar to that used in [25].
By definition, the NEASS is unitarily conjugated to the equilibrium Fermi projection (see property (SA\(_1\)) below): this structure is reminiscent of the “magnetic gauge transformed projection” of [25], as well as of the “dressed ground state” of [5], with the main difference that the unitary conjugation is defined here by employing space-adiabatic rather than time-adiabatic perturbation theory. The NEASS was constructed in [35] up to first order in \(\varepsilon \) in the same context that we will employ; using arguments from [44], we extend this construction to arbitrarily high orders in \(\varepsilon \) (Theorem 3.1), a result which is interesting in its own right.
Since we deal with extended systems, a prominent role is played by the trace per unit volume \(\tau (\cdot )\), which is used to compute expectation values of extensive observables in (non-)equilibrium states: for example, the charge current which flows in the NEASS \(\Pi ^\varepsilon \) equals (for carriers of unit charge)
and the quantized value of the Hall conductivity can be expressed (in appropriate physical units for which \(e = \hbar = 1\)) as
if the electric field is applied, say, in direction y, and the transverse current is measured along direction x. To ensure the well-posedness of all traces per unit volume that need to be considered, we restrict ourselves to the setting of crystalline systems and periodic operators (that is, operators which commute with translations by crystalline shifts in a Bravais lattice) and introduce certain operator algebras of such operators (see Sect. 2.2). The heart of the proof is, however, of “algebraic” nature, and therefore, we believe that it may be generalized to apply to settings which also include ergodic disorder (at least under a mobility spectral gap assumption), in which the relevant operators satisfy only a covariance property when shifted by lattice translations (see, e. g. [9] for a framework of this type).
Finally, let us comment on the applicability of our result to spin transport. The discovery of topological insulators in the early 2000s stimulated the study of topological transport of spin, for example in the quantum spin Hall effect. When spin is a conserved quantity, namely when the spin-torque operator \(\textrm{i}[H_0, S^z]\) vanishes, a spin current operator can be defined as \(J^z = \textrm{i}[H_0, X]\,S^z\), and the response of this current to an external electric field can be also studied. As it is easily realized, this setting essentially amounts to two “copies” of a quantum Hall system (one corresponding to charge carriers with “up” spin, and one to those with “down” spin), and our result applies to this spin-filtered charge transport as well, leading to the quantization of the Hall conductivity in each spin channel separately. A much richer and mathematically more challenging situation would be to consider systems in which spin is not conserved, for example due to the presence of Rashba spin–orbit coupling in the model. With similar techniques to the ones presented in this paper, one can show that, as explained in Remark 4.5, even in this situation there is no generation of spin torque in the NEASS, namely that \(\tau (\textrm{i}[H_0, S^z] \, \Pi ^\varepsilon ) = {\mathcal {O}}(\varepsilon ^\infty )\) [31]. Instead, while formulæ for the (appropriate generalization of) spin conductivity have been already investigated analytically [34, 35] and numerically [39] within linear response, the existence of possible power-law correction to these formulæ remains to be studied. We postpone this investigation to future work.
The paper is structured as follows: Section 2 details the class of models to which our result applies. Section 3 provides the construction of the NEASS to all orders in \(\varepsilon \), generalizing the results of [35] beyond the linear regime. Section 4 finally contains the proof of our main result stating the validity of the Kubo formula for the Hall conductivity to arbitrarily high orders of \(\varepsilon \). The Appendices contain, for the readers’ convenience, some properties of the trace per unit volume and of the inverse Liouvillian of a gapped Hamiltonian, which are used throughout the paper.
2 Model and mathematical framework
2.1 Crystalline structures and periodic operators
The quantum systems we will be analyzing have a crystalline structure, meaning that their configuration space \(\mathcal {X}\) is invariant under translations by vectors in a Bravais lattice \(\Gamma \). We will address both continuum and discrete models on the same footing: in d-dimensions, by a continuum configuration space we mean \(\mathcal {X}= \mathbb {R}^d\), while a discrete configuration space is a discrete set of points. In both cases, it can be assumed that the Bravais lattice \(\Gamma \) is spanned over the integers by a basis \( \left\{ a_1, \ldots , a_d \right\} \subset \mathbb {R}^d\).
The Hilbert space for a quantum particle with N internal degrees of freedom (say, spin) will be
A prominent feature of this Hilbert space is the possibility to define (self-adjoint) position operators:
The above definition of course makes sense only on a suitable (maximal) domain \(\mathcal {D}(X_j) \subset \mathcal {H}\).
The crystalline structure of the configuration space is lifted to a symmetry of the one-particle Hilbert space, namely we assume that there is a unitary representation \(T :\Gamma \rightarrow \mathcal {U}(\mathcal {H})\), \(\gamma \mapsto T_\gamma \), by translation operators. Let us note that, in the presence of uniform magnetic fields, these operators could be magnetic translations [46], assuming a commensurability condition on the magnetic flux per unit cell and the quantum of magnetic flux. These considerations are relevant for quantum Hall systems, which are included in our framework under the above-mentioned commensurability hypothesis. The case of non-commensurate magnetic fluxes could be treated by means of magnetic-covariant perturbation theory [40], which would require some slightly more involved analysis—see the discussion in Remark 3.2.
An operator A on \(\mathcal {H}\) is called periodic if \([A, T_\gamma ] = 0\) for all \(\gamma \in \Gamma \). As is well-known, the analysis of periodic operators is simplified by the use of the (magnetic) Bloch–Floquet–Zak representation (see, e. g. [16] and references therein), which introduces the crystal momentum \(k \in \mathbb {R}^d\) as a good quantum number. The (magnetic) Bloch–Floquet–Zak transform is initially defined on compactly supported functions \(\psi \in C_0 (\mathcal {X},\mathbb {C}^N)\subset L^2(\mathcal {X},\mathbb {C}^N)\) as
For fixed \(k\in \mathbb {R}^d\), the function \((\mathcal {U}_{\textrm{BFZ}}\psi )(k,\cdot )\) is periodic with respect to the translations operators; hence, it defines an element in the so-called fiber Hilbert space
which is equipped with the scalar product inducing the norm
where \({\mathcal {C}}_1\) is a fundamental cell for \(\Gamma \) (see (A.1)). The crystal momentum is effectively defined up to translations in the dual Bravais lattice \(\Gamma ^*\), consisting of those \(\lambda \in \mathbb {R}^d\) such that \(\lambda \cdot \gamma \in 2\pi \mathbb {Z}\) for all \(\gamma \in \Gamma \): indeed,
where \((\varrho _{\gamma ^*}\varphi )(y){:}{=}{\textrm{e}}^{-\textrm{i}\gamma ^*\cdot y} \varphi (y)\), and \(\varrho :\Gamma ^* \rightarrow \mathcal {U}(\mathcal {H}_{\textrm{f}})\), \(\gamma ^* \mapsto \varrho _{\gamma ^*}\), defines a unitary representation. The map defined by (2.1) extends then to a unitary operator \(\mathcal {U}_{\textrm{BFZ}}:\mathcal {H}\rightarrow \mathcal {H}_\varrho \), where \(\mathcal {H}_\varrho \equiv L^2_{\varrho }(\mathbb {R}^d,\mathcal {H}_{\textrm{f}})\) is the space of locally-\(L^2\), \(\mathcal {H}_{\textrm{f}}\)-valued, \(\varrho \)-equivariant functions on \(\mathbb {R}^d\). Denoting by \(\mathbb {B}^d\) a fundamental cell for \(\Gamma ^*\), the inverse transformation \(\mathcal {U}_{\textrm{BFZ}}^{-1} :\mathcal {H}_\varrho \rightarrow \mathcal {H}\) is explicitly given by
This transform is useful in the analysis of periodic operators as they become covariant fibered operators on \(\mathcal {H}_\varrho \): upon the identification
one has
where each A(k) acts on \(\mathcal {H}_{\textrm{f}}\) and satisfies the covariance property
2.2 Operator algebras of periodic operators
Since the paper relies on the analysis of periodic operators, we will introduce in this section the necessary algebras of operators which have a smooth fiber in the Bloch–Floquet–Zak representation, in an appropriate sense. In the following, \(\mathcal {H}_1\) and \(\mathcal {H}_2\) will denote Hilbert subspaces of \(\mathcal {H}_{\textrm{f}}\) (possibly endowed with different norms than the subspace norm) which are left invariant by the action of all momentum-space translation operators \(\rho _{\gamma ^*}\), \(\gamma ^* \in \Gamma ^*\). As we will specify in the next sections, in our applications such Hilbert spaces will be either \(\mathcal {H}_{\textrm{f}}\) itself, or the domain \(\mathcal {D}_{\textrm{f}}\) of the fiber unperturbed Hamiltonian (endowed with the graph norm of the latter).
Definition 2.1
Let \(\mathcal {L}(\mathcal {H}_1,\mathcal {H}_2)\) denote the space of bounded linear operators from \(\mathcal {H}_1\) to \(\mathcal {H}_2\), and \(\mathcal {L}(\mathcal {H}_1){:}{=}\mathcal {L}(\mathcal {H}_1,\mathcal {H}_1)\). We define
equipped with the norm
We also set \(\mathcal {P}(\mathcal {H}_1) {:}{=}\mathcal {P}(\mathcal {H}_1,\mathcal {H}_1)\).
Since the Fréchet derivative follows the usual rules of differential calculus, we have that
-
(1)
\(\mathcal {P}(\mathcal {H}_1,\mathcal {H}_2)\) is a linear space;
-
(2)
\(\mathcal {P}(\mathcal {H}_1)\) is a normed algebra, as well as \(\mathcal {P}( \mathcal {H}_1,\mathcal {H}_2 )\) ifFootnote 1\(\mathcal {H}_2 \subset \mathcal {H}_1\);
-
(3)
if \(\mathcal {H}_2 \subset \mathcal {H}_1\), then for \(A\in \mathcal {P}(\mathcal {H}_2,\mathcal {H}_1)\) and \(B\in \mathcal {P}(\mathcal {H}_1,\mathcal {H}_2)\) we have
$$\begin{aligned} AB\in \mathcal {P}(\mathcal {H}_1)\text { with }\left\| AB \right\| _{\mathcal {P}(\mathcal {H}_1)}\le \left\| A \right\| _{\mathcal {P}(\mathcal {H}_2, \mathcal {H}_1)}\left\| B \right\| _{\mathcal {P}(\mathcal {H}_1, \mathcal {H}_2)}. \end{aligned}$$
It is also useful to consider smooth functions in \(\mathcal {H}_\varrho \equiv L^2_{\varrho }(\mathbb {R}^d,\mathcal {H}_{\textrm{f}})\). As decay at infinity translates into regularity in k via the Bloch–Floquet–Zak transform, for example compactly supported functions of x are mapped by \(\mathcal {U}_{\textrm{BFZ}}\) to smooth functions of k.
Definition 2.2
We set
This space of smooth functions, which is clearly dense in \(L^2_\varrho (\mathbb {R}^d,\mathcal {H}_1)\), is particularly convenient to formulate the invariance of the operator algebras \(\mathcal {P}(\mathcal {H}_1,\mathcal {H}_2)\) under the derivations given by the commutation with position operators, as detailed in the following statement. Its proof can be found in [35, Sect. 3].
Lemma 2.3
Let \(A\in \mathcal {P}(\mathcal {H}_1,\mathcal {H}_2)\). Then
is in \(\mathcal {P}(\mathcal {H}_1,\mathcal {H}_2)\), and
We conclude this section by recalling that the space \(\mathcal {B}_\infty ^\tau \) of bounded periodic operators is endowed with a trace-like functional, called the trace per unit volume, defined equivalently as
whenever the right-hand sides make sense (see Proposition A.3). Here, \(\chi _{{\mathcal {C}}_1}\) is the multiplication operator times the characteristic function of the fundamental cell \({\mathcal {C}}_1 \subset \mathcal {X}\). Periodic operators of trace-per-unit-volume class define the space \(\mathcal {B}_1^\tau \). As we will see shortly, the trace per unit volume is used to compute expectation values of extensive observables in the crystalline, periodic setting which we also employ. We refer the reader to Appendix A and to [35] for a list of the relevant properties of the trace per unit volume that will be repeatedly used in the paper.
2.3 The model
As stated in the Introduction, our goal is to investigate the response of a crystalline system to the application of an external constant electric field of small intensity. Consequently, a prominent role is played by the Hamiltonian \(H_0\) of the system at equilibrium, before the electric field is applied and the response current is probed. Our assumptions on this unperturbed model, which coincide with those adopted in [35, Sect. 3], are stated below.
Assumption 2.4
We assume the following.
- \((\textrm{H}_1)\):
-
The Hamiltonian \(H_0\) of the unperturbed system is a self-adjoint periodic operator on \(\mathcal {H}\), bounded from below. Moreover, its fibers \(H_0(k)\), defined in the Bloch–Floquet–Zak representation via (2.2), are self-adjoint operators with a common dense domain \(\mathcal {D}_{\textrm{f}}\subset \mathcal {H}_{\textrm{f}}\). Finally, we assume that \(H_0 \in \mathcal {P}(\mathcal {D}_{\textrm{f}},\mathcal {H}_{\textrm{f}})\), where hereinafter \(\mathcal {D}_{\textrm{f}}\) is understood to be equipped with the graph norm \(\left\| \,\cdot \, \right\| _{\mathcal {D}_{\textrm{f}}}\) of the operator \(H_0(0)\).
- \((\textrm{H}_2)\):
-
We assume the Fermi energy \(\mu \in \mathbb {R}\) to lie in a spectral gap of \(H_0\). We denote by \(\Pi _0 = \chi _{(-\infty , \mu )}(H_0)\) the corresponding spectral projector (Fermi projector). Finally, we assume thatFootnote 2\(\Pi _0\in \mathcal {B}_1^\tau \).
The above assumptions are satisfied by a large class of physically relevant models, including tight-binding Hamiltonian of common use in condensed matter physics to model discrete systems, as well as Bloch–Landau operators (under mild regularity assumptions on the electro-magnetic potentials—see e. g. [37, Sect. 3]) used as continuum models for crystalline systems.
We list below a number of relevant properties which can be deduced from the above Assumption, in combination with Lemma 2.3, and which will be used repeatedly throughout the paper. As before, we refer the reader to [35, Sect. 3] for a proof.
Proposition 2.5
Under Assumption 2.4, we have that
-
(i)
for every \(z\in \rho (H_0)\) the resolvent operator \((H_0 - z \mathbb {1})^{-1}\) lies in \(\mathcal {P}( \mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\), and consequently \(\Pi _0\) is in \(\mathcal {P}( \mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\) as well;
-
(ii)
all iterated commutators of \(H_0\) with position operators lie in \(\mathcal {P}( \mathcal {D}_{\textrm{f}},\mathcal {H}_{\textrm{f}})\), while all iterated commutators of \(\Pi _0\) with position operators lie in \(\mathcal {P}(\mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\).
Having specified the conditions on the model at equilibrium, we drive the system out of equilibrium by introducing an external constant electric field. We choose the direction of this field to be along a preferred coordinate, say y. The perturbation will then be modelled space-adiabatically by adding a linear potential to the unperturbed Hamiltonian, namely
where \( \varepsilon \in [0,1]\) and Y denotes the multiplication operator by the coordinate function y.
We will be interested in measuring the response to this perturbation of a (possibly different) coordinate of the charge current operator, say along x: assuming charge carriers of unit charge,
where X denotes the multiplication operator by x. This response will be computed in an appropriate out-of-equilibrium state, called non-equilibrium almost-stationary state (NEASS) in [44], that will be constructed in the next section. Conventionally, a candidate non-equilibrium state would be identified via time-adiabatic perturbation theory, as follows. Consider the time-dependent perturbed Hamiltonian
where f is a switching function, that is \(f:\mathbb {R}\rightarrow [0,1]\) is a smooth map such that \(f(s)=0\) for \(s\le -1\) and \(f(s)=1\) for \(s\ge 0\), and \(\eta \) plays the role of a time-adiabatic parameter. A natural choice for the non-equilibrium state is the solution of the Cauchy problem associated with \(H^{\varepsilon ,\eta }(t)\) at \(t=0\) (or any nonnegative time, when the perturbation is fully on), i. e. \(\rho ^{\varepsilon ,\eta }{:}{=}\rho ^{\varepsilon ,\eta }(0)\) where \(\rho ^{\varepsilon ,\eta }(t)\) solves
In order to compute the current response \(\tau (J\,\rho ^{\varepsilon ,\eta })\) without the need for a time-adiabatic limit \(\eta \rightarrow 0^+\), we will exploit the fact that \(\rho ^{\varepsilon ,\eta }\) is well-approximated by an \(\eta \)-independent projection, namely the NEASS. More precisely, one can prove [36] that for all times \(t \ge 0\) and any nonzero \(n\in \mathbb {N}\)
where \(\Pi ^\varepsilon _n\) is the NEASS constructed in the next section. Inequality (2.7) holds for suitable observables A (e. g. the charge current operator) uniformly on bounded intervals in (macroscopic) time and uniformly in an appropriate time-scale interval for \(\eta \), which in general depends on the perturbation intensity \(\varepsilon \). The same inequality was already shown in the context of interacting fermions on finite lattices in [44, Proposition 3.2, Theorem 5.1], and remains valid in the thermodynamic limit under a uniform spectral gap assumption [22] or under a spectral gap hypothesis only in the bulk [23]. For a more detailed comparison between the standard time-adiabatic approach to electronic transport and the NEASS paradigm, see [31, Sects. II.A & II.B].
3 Construction of the NEASS to all orders
In this section, we generalize the construction of the non-equilibrium almost-stationary state (NEASS), realized up to the first order in \(\varepsilon \) in [35, Section 4], to all orders, following the construction performed in the context of interacting models on lattices by [44] (see [4, 38] for related statements in time-dependent adiabatic perturbation theory). For every \(n\in \mathbb {N}\) the NEASS, denoted by \(\Pi ^\varepsilon _n\), is determined uniquely (up to terms of order \({\mathcal {O}}(\varepsilon ^{n+1})\)) by the following two properties:
- (SA\(_1\)):
-
\(\Pi ^\varepsilon _n = {\textrm{e}}^{-\textrm{i}\varepsilon \mathcal {S}^\varepsilon _n} \, \Pi _0 \, {\textrm{e}}^{\textrm{i}\varepsilon \mathcal {S}^\varepsilon _n}\) for some bounded, periodic and self-adjoint operator \(\mathcal {S}^\varepsilon _n\);
- (SA\(_2\)):
-
\(\Pi ^\varepsilon _n\) almost commutes with the Hamiltonian \(H^\varepsilon \), namely \([H^\varepsilon ,\Pi ^\varepsilon _n] = {\mathcal {O}}(\varepsilon ^{n+1})\).
Here \({\mathcal {O}}(\varepsilon ^{n+1})\) is understood in the sense of the operator norm.
Theorem 3.1
Consider the Hamiltonian \(H^\varepsilon =H_0 - \varepsilon Y\) where \(H_0\) satisfies Assumption 2.4. Then, there exists a sequence \(\{A_j\}_{j\in \mathbb {N}} \subset \mathcal {P}(\mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\) such that, setting for any \(n\in \mathbb {N}\)
we have that
where the map \([0,1]\ni \varepsilon \mapsto R_n^\varepsilon \in \mathcal {P}(\mathcal {H}_{\textrm{f}}) \subset \mathcal {B}_{\infty }^{\tau }\) is bounded.
Proof
We start by computing
Hence, it suffices to choose the operators \(A_j\) in such a way that there exists \(R_n^{\varepsilon }\) uniformly bounded in \(\varepsilon \) with
Consider the Taylor expansion in \(\lambda \) near \(\lambda _0=0\) of the expression
Evaluating such expansion at \(\lambda =\varepsilon \), one obtains for some \(\tilde{\varepsilon }\in [0,\varepsilon ]\)
On the first line, we use the notation \(\mathscr {L}_A(B){:}{=}-\textrm{i}[A,B]\), we denoted by \(\mathscr {L}^k_A(B)\) the k nested commutators \([-\textrm{i}A,[\dots ,[-\textrm{i}A,[-\textrm{i}A,B]]\dots ]]\) for \(k\ge 1\) and we set \(\mathscr {L}^0_A(B){:}{=}B\). On the second line, we collected in \(B_j\) all the terms of order \(\varepsilon ^j\), \(0\le j\le n\), coming from the power expansion of \(\mathcal {S}_n^\varepsilon \) as in the statement, while \(B_{n+1}(\varepsilon )\) contains contributions from higher-order powers of \(\varepsilon \) and still defines a uniformly bounded function of \(\varepsilon \). In particular, each of these coefficients is expressed as nested commutators involving (possibly different) \(A_\mu \)’s with B: for example
We apply the expansion above to \(B = H_0\) and a similar expansion, up to order \(n-1\), to \(B=Y\). We will therefore denote the corresponding coefficients by \(H_{0,j}\) and \(Y_j\), respectively. Notice that the presence of an extra factor of \(\varepsilon \) in the perturbation \(H^\varepsilon - H_0 = -\varepsilon Y\) shifts the indices of the coefficients \(Y_j\) by one in the following equations.
Plugging all the expansions into (3.3) yields
(notice that the sum on the left-hand side starts from \(j=1\) as for \(j=0\) we get \([H_{0,0},\Pi _0] = [H_0, \Pi _0] = 0\)). Thus, it suffices to determine \(A_1,\dots ,A_n\) in such a way that for all \(j\in \{1,\dots ,n\}\)
To this end, it is convenient to notice that
where \(L_{j-1}\) involves commutators of \(H_0\) with the operators \(A_\mu \) with \(\mu < j\). Therefore, if we assume that \(A_1,\ldots ,A_{j-1}\) have been already determined, then \(L_{j-1}\) is given and only \(A_j\) is still unknown in the above equality: this suggests to determine \(A_1, \ldots , A_n\) recursively.
Let us first start then by determining \(A_1\) from (3.5). Since \(L_0 = 0\) and \(Y_0 = Y\), the equation for \(A_1\) reads
Notice that the operator \([Y,\Pi _0]\) is off-diagonal with respect to the decomposition \(\mathcal {H}= {{\,\textrm{Ran}\,}}\Pi _0 \oplus ({{\,\textrm{Ran}\,}}\Pi _0)^\perp \), i.e.,
(we denote by \(\Pi _0^\perp {:}{=} \mathbb {1}-\Pi _0\) the orthogonal projection on \(({{\,\textrm{Ran}\,}}\Pi _0)^\perp \)). As is well-known (see Appendix B) the Liouvillian \(\mathscr {L}_{H_0}\) is invertible on such operators, yielding
Taking a further commutator of both sides with \(\Pi _0\), we conclude
The above considerations hence determine uniquely the off-diagonal part of \(A_1\); we may then choose to set
For \(1 < j \le n\), we are then required to solve
or, arguing as above,
Observe that \(L_{j-1}\) and \(Y_{j-1}\) are determined by the previously computed \(A_1, \ldots , A_{j-1}\). Once again, we choose \(A_j\) to be purely off-diagonal, that is,
In conclusion, we have determined
As each \(A_j\) and then \(\mathcal {S}_n^\varepsilon \) are inverse Liouvillians of off-diagonal operators in \(\mathcal {P}(\mathcal {H}_{\textrm{f}})\) by virtue of Lemma 2.3, they are naturally in \(\mathcal {P}(\mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\) as claimed (see Proposition B.1). With this definition of \(\mathcal {S}_n^{\varepsilon }\), it follows by construction that (3.4) will be satisfied if we set
Clearly, this remainder term is uniformly bounded as a function of \(\varepsilon \) with values in \(\mathcal {P}(\mathcal {H}_{\textrm{f}})\) in view of the previous discussion on \(H_{0,n+1}(\varepsilon )\) and \( Y_{n}(\varepsilon )\). \(\square \)
Remark 3.2
Clearly the expression \(\Pi ^\varepsilon _n = {\textrm{e}}^{\textrm{i}\varepsilon \mathcal {S}_n^{\varepsilon }} \,\Pi _0\, {\textrm{e}}^{-\textrm{i}\varepsilon \mathcal {S}_n^{\varepsilon }}\) can be used also to obtain a Taylor expansion for the NEASS in powers of \(\varepsilon \):
The coefficients \(\Pi _\ell \) in the above expansion are computable in terms of the \(A_j\)’s in the statement of Theorem 3.1: more specifically, \(\Pi _\ell \) will be determined from \(A_1, \ldots , A_\ell \). As these \(A_j\)’s are determined inductively as in the proof (that is, \(A_1, \ldots , A_\ell \) determine \(A_{\ell +1}\)), it is also clear that the above Taylor expansions for the NEASS’s \(\Pi _n^\varepsilon \) and \(\Pi _{n+1}^\varepsilon \) coincide up to order \(\varepsilon ^n\). Explicit expressions for the coefficients in this Taylor expansion are in any case not needed for the proof of our main Theorem 4.1 in the next section.
The order-by-order construction of \(\Pi ^\varepsilon _n\) as an expansion in powers of \(\varepsilon \) as in (3.6), or rather the construction of an “almost-invariant subspace” for the perturbed dynamics which is associated with a projection \(\Pi ^\varepsilon \) expressed as an asymptotic power series in \(\varepsilon \), is at the heart of the original approach to space-adiabatic perturbation theory [40, 41, 43]. It is worth noting that the coefficients of the Taylor expansion (3.6) coincide with what one would obtain from this order-by-order construction. The almost-invariant subspace can be produced also under weaker hypotheses than the ones we formulate in Assumption 2.4: in particular, Nenciu [40, Theorem 4.1] showed that, aside from certain typical domain specifications that ensure the self-adjointness of \(H^\varepsilon \) and from the spectral gap condition, it is sufficient to assume that the operator-valued map \(t \mapsto \textrm{e}^{\textrm{i}\, Y \, t} \, (H_0 - \textrm{i}\mathbb {1})^{-1} \, \textrm{e}^{-\textrm{i}\, Y \, t}\) is norm-differentiable sufficiently many times. This condition amounts to the boundedness of iterated commutators of (the resolvent of) \(H_0\) and Y: in view of Lemma 2.3 and of Proposition 2.5, in the periodic setting this is essentially equivalent to our Assumption 2.4 on the unperturbed Hamiltonian, which is instead formulated as a smoothness condition of its Bloch–Floquet fibers with respect to the crystal momentum. Nenciu’s assumption is more general and can be verified in a larger class of models, which could include e. g. periodicity-breaking disordered potentials or a constant magnetic field of incommensurate flux per unit cell. To simplify our analysis and to make a closer connection to the recent literature on the NEASS [35, 38, 44], we decided, however, to concentrate only on translationally invariant models falling in the operator algebras described in Section 2.2, leaving to future investigations the technical details needed to adapt our proofs to more general settings.
We conclude this section with some immediate consequences from the previous theorem, which will be used in the next section.
Corollary 3.3
Consider the Hamiltonian \(H^\varepsilon =H_0 - \varepsilon Y\) where \(H_0\) satisfies Assumption 2.4. Then we have that for every \(n\in \mathbb {N}\)
-
(i)
the operator \((\Pi ^{\varepsilon }_n)^\perp H^{\varepsilon } \Pi ^\varepsilon _n=\varepsilon ^{n+1}(\Pi ^{\varepsilon }_n)^\perp R_n^{\varepsilon } \Pi ^\varepsilon _n\) lies in \(\mathcal {B}_{1}^{\tau }\) and the map \([0,1]\ni \varepsilon \mapsto (\Pi ^{\varepsilon }_n)^\perp H^{\varepsilon } \Pi ^\varepsilon _n\in \mathcal {B}_{1}^{\tau }\) is bounded;
-
(ii)
for \(\mathcal {S}_n^{\varepsilon }\) as in (3.1), the operator \({\textrm{e}}^{\textrm{i}\varepsilon \mathcal {S}_n^{\varepsilon }}-\mathbb {1}\) lies in \(\mathcal {P}(\mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\) and the map \([0,1]\ni \varepsilon \mapsto {\textrm{e}}^{\textrm{i}\varepsilon \mathcal {S}_n^{\varepsilon }}-\mathbb {1}\in \mathcal {P}(\mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\) is bounded;
-
(iii)
the NEASS operator \(\Pi ^{\varepsilon }_n\) lies in \(\mathcal {P}(\mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\) and the map \([0,1]\ni \varepsilon \mapsto [X,\Pi ^{\varepsilon }_n]\in \mathcal {P}(\mathcal {H}_{\textrm{f}})\) is bounded.
Proof
- (i) :
-
The statement is an immediate consequence of (3.2), the fact that \(\Pi ^{\varepsilon }_n \, (\Pi ^{\varepsilon }_n)^\perp = (\Pi ^{\varepsilon }_n)^\perp \, \Pi ^{\varepsilon }_n = 0\), and the fact that \(\Pi ^{\varepsilon }_n\) is unitarily equivalent to \(\Pi _0\), implying that it is a projection in \(\mathcal {B}_1^\tau \) by hypothesis (H\(_2\)).
- (ii) :
-
In view of (3.1) \(\mathcal {S}_n^{\varepsilon }\in \mathcal {P}(\mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\), thus [35, Lemma 6.4] implies the thesis.
- (iii) :
-
By using Proposition 2.5(ii), [35, Lemma 6.4] and the Leibniz rule, we obtain that \([X,\Pi ^{\varepsilon }_n]\in \mathcal {P}(\mathcal {H}_{\textrm{f}})\) and its norm is bounded uniformly in \(\varepsilon \).
\(\square \)
4 Validity of the Kubo formula beyond the linear regime
We are finally able to state our main result.
Theorem 4.1
Consider the Hamiltonian \(H^\varepsilon =H_0 - \varepsilon Y\) where \(H_0\) satisfies Assumption 2.4. Then for every \( n\in \mathbb {N}\) we have that
where J is the charge current operator in (2.4), the NEASS \(\Pi ^\varepsilon _n\) is as in the statement of Theorem 3.1, and
The above Theorem states that the conductivity associated with the response of the current operator J is given by the Hall conductivity \(\sigma _{\textrm{Hall}}\), a quantity which is defined only through the equilibrium Fermi projection \(\Pi _0\) and which emerges at the linear level (Kubo formula), up to orders which are arbitrarily high in the strength of the perturbing electric field. The result thus establishes the validity of the Kubo formula for this conductivity also beyond linear response.
The proof of the above theorem relies on a number of intermediate steps, which we detail first.
4.1 A useful proposition
As a first tool to be used in the argument for the main Theorem 4.1, we prove the following
Proposition 4.2
Let P be a projection on \(\mathcal {H}\) such that \(P \in \mathcal {P}(\mathcal {H}_{\textrm{f}}) \cap \mathcal {B}_{1}^{\tau }\). Assume that the operator A is such that \(PAP \in \mathcal {P}(\mathcal {H}_{\textrm{f}})\). Then for all \(j\in \left\{ 1,\ldots ,d \right\} \) the trace per unit volume of the commutator \([PAP, PX_jP]\) is well-defined and
Proof
We observe that
where \(X_j^{\textrm{OD}}\) refers to the off-diagonal decomposition of the operator \(X_j\) with respect to the projection P, and the equality is first established on the dense subspace \(\mathcal {U}_{\textrm{BFZ}}^{-1}C^\infty _\varrho (\mathbb {R}^d,\mathcal {H}_{\textrm{f}})\). Proposition A.3(iv) implies that the first summand on the right-hand side has vanishing trace per unit volume, since \(PAP \in \mathcal {P}(\mathcal {H}_{\textrm{f}})\cap \mathcal {B}_1^\tau \). On the other hand, the second summand is \(\mathcal {B}_1^\tau \) in view of the hypothesis that \(P \in \mathcal {P}(\mathcal {H}_{\textrm{f}})\cap \mathcal {B}_1^\tau \) (see Lemma 2.3); invoking Lemma A.2, we conclude that its trace per unit volume vanishes. \(\square \)
Remark 4.3
Observe that the above Proposition does not apply to the operator \(A=X_i\), \(i\ne j\); indeed (compare e. g. [33, Eq. (2.15)])
where the equality is first established on \(\mathcal {U}_{\textrm{BFZ}}^{-1}C^\infty _\varrho (\mathbb {R}^d,\mathcal {H}_{\textrm{f}})\). Therefore, the trace per unit volume \(\tau ([PX_iP, PX_jP])\) equals (up to a factor \(2\pi \textrm{i}\)) the Chern marker of the projection P, which may very well be nonzero (cf. the discussion in the Introduction).
As we saw in the statement of the main result, the Chern marker of the Fermi projection \(\Pi _0\) defines the linear response coefficient \(\sigma _{\textrm{Hall}}\). It is worth mentioning that, in the present context of periodic operators, the (non-)vanishing of the Chern marker has been linked to the (non-)existence of localized orthogonal Wannier functions spanning the Fermi projection \(\Pi _0\) [13, 32, 37]. In a more general setting, where periodicity is broken, one can still define a generalized notion of Wannier basis for an isolated spectral island, but the relation of its existence with the Chern marker remains to be fully understood. In fact, while the existence of a generalized Wannier basis (with suitable localization) has been shown to imply the vanishing of the Chern marker (see [28, 33]), the converse implication [29] remains a challenging and interesting line of research.
4.2 Chern–Simons formula
Following the previous Remark, we prove an analogue of the Chern–Simons formula, well rooted in differential geometry and bundle theory, which was exploited in [25] in a context similar to ours. There, the Hall conductance is related to the Berry curvature of an adiabatic spectral projection, viewed as a differential 2-form on the torus of magnetic fluxes: the Chern–Simons formula then describes how the Berry curvature changes by an exact form under unitary conjugation of the associated projection, and therefore, its integral over the torus of fluxes is left unchanged under such transformations. Our Chern–Simons formula similarly establishes the invariance of the Chern marker of a projection under suitable unitary conjugations.
Proposition 4.4
(Chern–Simons formula). Let \(P \in \mathcal {P}(\mathcal {H}_{\textrm{f}}) \cap \mathcal {B}_{1}^{\tau }\) be a projection and \(U \in \mathcal {P}(\mathcal {H}_{\textrm{f}})\) be unitary. Define \(P_U {:}{=} U P U^{-1}\). Then
Proof
Write
Notice now that, with the standing assumptions, the operators \(U^{-1}[X_i,U]\) and \(U^{-1}[X_j,U]\) are in \(\mathcal {P}(\mathcal {H}_{\textrm{f}})\) by virtue of Lemma 2.3. Using Proposition 4.2 and Lemma A.2, the conclusion follows. \(\square \)
4.3 Proof of theorem 4.1
First of all, notice that by the very definition of the current operator J in (2.4) and the construction of the NEASS \(\Pi ^\varepsilon _n\) in Theorem 3.1
where each summand on the right-hand side is in \(\mathcal {B}_{1}^{\tau }\). Indeed, for the first summand observe that
by applying Proposition 2.5(ii), Corollary 3.3(ii), and hypothesis (H\(_2\)). Similarly, for the second summand note that
In view of the cyclicity of the trace per unit volume, Corollary 3.3(i) and Corollary 3.3(iii), we have thatFootnote 3
where the term carrying the prefactor \(\varepsilon ^{n+1}\) is uniformly bounded in \(\varepsilon \). Observe that in view of Corollary 3.3(ii) and Proposition 2.5(i) we have that
thus Proposition 4.2 implies that the first summand on the right-hand side of (4.1) vanishes. On the other hand, by Corollary 3.3(ii) the unitary \({\textrm{e}}^{\textrm{i}\varepsilon \mathcal {S}_n^{\varepsilon }}\) is in \(\mathcal {P}(\mathcal {H}_{\textrm{f}})\), therefore Proposition 4.4 and Remark 4.3 imply that the second summand in (4.1) can be rewritten as
This concludes the proof. \(\square \)
Remark 4.5
It is worth pointing out that in the context of spin transport at zero temperature, which is relevant for the quantum Hall spin effect, one can use a similar argument to prove the vanishing of the spin torque in the NEASS up to \({\mathcal {O}}(\varepsilon ^\infty )\) [31]. Specifically, denoting by \(S_z\) the operator representing the z-component of the spin, defined as
[31, Theorem III.4] shows that under the same hypotheses of Theorem 4.1 one has that for every \(n \in \mathbb {N}\)
In other words, the spin torque operator \(\textrm{i}[H_0,S_z]\) has an expectation in the NEASS which vanishes at any order in \(\varepsilon \). This result validates the claim in [42] that “one is often interested in a particular component of the spin, and the corresponding torque component can vanish in the bulk on average [...] This is certainly true for the many models used for the study of the spin-Hall effect”.
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
With this inclusion, we mean also that the inclusion \(\mathcal {H}_2 \hookrightarrow \mathcal {H}_1\) is bounded as a map of normed spaces.
This assumption is equivalent to require that the fibration \(k\mapsto \Pi _0(k)\) takes values in the finite-rank projections on \(\mathcal {H}_{\textrm{f}}\). Indeed, in view of the fact that \(\Pi _0\) is an orthogonal projection and the smoothness assumption (H\(_1\)), it follows that the dimension m(k) of the range of \(\Pi _0(k)\) is independent of k, i.e., \(m(k)=m\in \mathbb {N}\cup \left\{ + \infty \right\} \) for all \(k\in \mathbb {B}^d\). Therefore, by virtue of Proposition A.3(iii) \(\Pi _0\in \mathcal {B}_1^\tau \) is equivalent to \(m<\infty \).
Notice that in the discrete case this condition is automatically satisfied for any operator A because the range of \(\chi _K\) is finite-dimensional.
References
Avron, J.E., Seiler, R., Simon, B.: Homotopy and quantization in condensed matter physics. Phys. Rev. Lett. 51, 51–53 (1983)
Avron, J.E., Seiler, R., Simon, B.: Charge deficiency, charge transport and comparison of dimensions. Commun. Math. Phys. 159, 399–422 (1994)
Avron, J.E., Seiler, R., Yaffe, L.G.: Adiabatic theorems and applications to the quantum Hall effect. Commun. Math. Phys. 110, 33–49 (1987)
Bachmann, S., De Roeck, W., Fraas, M.: The adiabatic theorem and linear response theory for extended quantum systems. Commun. Math. Phys. 361, 997–1027 (2018)
Bachmann, S., De Roeck, W., Fraas, M., Lange, M.: Exactness of linear response in the quantum Hall effect. Ann. Henri Poincaré 22, 1113–1132 (2021)
Bellissard, J., van Elst, A., Schulz-Baldes, H.: The noncommutative geometry of the quantum Hall effect. J. Math. Phys. 35, 5373 (1994)
Bestwick, A.J., et al.: Precise quantization of the anomalous Hall effect near zero magnetic field. Phys. Rev. Lett. 114, 187201 (2015)
Bianco, R., Resta, R.: Mapping topological order in coordinate space. Phys. Rev. B 84, 241106 (2011)
Bouclet, J.-M., Germinet, F., Klein, A., Schenker, J.H.: Linear response theory for magnetic Schrödinger operators in disordered media. J. Funct. Anal. 226, 301–372 (2005)
Caio, M.D., Möller, G., Cooper, N.R., Bhaseen, M.J.: Topological marker currents in Chern insulators. Nature Physics 15, 257–261 (2019)
Chang, C.Z., et al.: Experimental observation of the quantum anomalous Hall effect in a magnetic topological insulator. Science 340, 167–170 (2013)
Chang, C.Z., et al.: High-precision realization of robust quantum anomalous Hall state in a hard ferromagnetic topological insulator. Nat. Mater. 14, 473 (2015)
Cornean, H.D., Monaco, D., Moscolari, M.: Parseval frames of exponentially localized magnetic Wannier functions. Commun. Math. Phys. 371, 1179–1230 (2019)
Cornean, H.D., Moscolari, M., Teufel, S.: General bulk-edge correspondence at positive temperature. arXiv:2107.13456 (2021)
Elgart, A., Schlein, B.: Adiabatic charge transport and the Kubo formula for Landau-type Hamiltonians. Commun. Pure Appl. Math. 57, 590–615 (2004)
Freund, S., Teufel, S.: Peierls substitution for magnetic Bloch bands. Anal. & PDE 9, 773–811 (2016)
Giuliani, A., Mastropietro, V., Porta, M.: Universality of the Hall conductivity in interacting electron systems. Commun. Math. Phys. 349, 1107–1161 (2017)
Graf, G.M.: Aspects of the Integer Quantum Hall Effect. In: Gesztesy, F., Deift, P., Galvez, C., Perry, P., Schlag, W. (eds.) Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday, pp. 429–442. No. 76 in Proceedings of Symposia in Pure Mathematics. American Mathematical Society, providence (RI) (2007)
Haldane, F.D.M.: Model for a quantum Hall effect without Landau levels: condensed-matter realization of the “parity anomaly.” Phys. Rev. Lett. 61, 2017 (1988)
Hastings, M., Michalakis, S.: Quantization of Hall conductance for interacting electrons on a torus. Commun. Math. Phys. 334, 433–471 (2015)
Henheik, J., Teufel, S.: Justifying Kubo’s formula for gapped systems at zero temperature: a brief review and some new results. Rev. Math. Phys. 33, 2060004 (2021)
Henheik, J., Teufel, S.: Adiabatic theorem in the thermodynamic limit: systems with a uniform gap. J. Math. Phys. 63, 011901 (2022)
Henheik, J., Teufel, S.: Adiabatic theorem in the thermodynamic limit: systems with a gap in the bulk. Forum Math. Sigma 10, e4 (2022)
Irsigler, B., Zheng, J., Hofstetter, W.: Microscopic characteristics and tomography scheme of the local Chern marker. Phys. Rev. A 100, 23610 (2019)
Klein, M., Seiler, R.: Power-law corrections to the Kubo formula vanish in quantum Hall systems. Commun. Math. Phys. 128, 141–160 (1990)
Kubo, R.: Statistical-mechanical theory of irreversible processes I: general theory and simple applications to magnetic and conduction problems. J. Phys. Soc. Jpn. 12, 570–586 (1957)
Laughlin, R.B.: Quantized Hall conductivity in two dimensions. Phys. Rev. B 23, 5632 (1981)
Lu, J., Stubbs, K.D.: Algebraic localization of Wannier functions implies Chern triviality in non-periodic insulators. arXiv:2107.10699 (2021)
Lu, J., Stubbs, K.D., Watson, A.: Existence and computation of generalized Wannier functions for non-periodic systems in two dimensions and higher. Arch. Ration. Mech. Anal. 243, 1269–1323 (2022)
Marcelli, G.: Improved energy estimates for a class of time-dependent perturbed Hamiltonians. Lett. Math. Phys. 112, 51 (2022)
Marcelli, G., Monaco, D.: From charge to spin: analogies and differences in quantum transport coefficients. J. Math. Phys. 63, 072102 (2022)
Marcelli, G., Monaco, D., Moscolari, M., Panati, G.: The Haldane model and its localization dichotomy. Rend. Mat. Appl. 39, 307–327 (2018)
Marcelli, G., Moscolari, M., Panati, G.: Localization of Generalized Wannier Bases Implies Chern Triviality in Non-periodic Insulators. arXiv:2012.14407 (2020)
Marcelli, G., Panati, G., Tauber, C.: Spin conductance and spin conductivity in topological insulators: analysis of Kubo-like terms. Ann. Henri Poincaré 20, 2071–2099 (2019)
Marcelli, G., Panati, G., Teufel, S.: A new approach to transport coefficients in the quantum spin Hall effect. Ann. Henri Poincaré 22, 1069–1111 (2021)
Marcelli, G., Teufel, S.: Non-equilibrium almost-stationary states and linear response for gapped non-interacting quantum systems. In preparation
Monaco, D., Panati, G., Pisante, A., Teufel, S.: Optimal decay of Wannier functions in Chern and quantum Hall insulators. Comm. Math. Phys. 359, 61–100 (2018)
Monaco, D., Teufel, S.: Adiabatic currents for interacting electrons on a lattice. Rev. Math. Phys. 31, 1950009 (2019)
Monaco, D., Ulčakar, L.: Spin Hall conductivity in insulators with non-conserved spin. Phys. Rev. B 102, 125138 (2020)
Nenciu, G.: Dynamics of band electrons in electric and magnetic fields: rigorous justification of the effective Hamiltonians. Rev. Mod. Phys. 63, 91–127 (1991)
Panati, G., Spohn, H., Teufel, S.: Space-adiabatic perturbation theory. Adv. Theor. Math. Phys. 7, 145–204 (2003)
Shi, J., Zhang, P., Xiao, D., Niu, Q.: Proper definition of spin current in spin-orbit coupled systems. Phys. Rev. Lett. 96, 076604 (2006)
Teufel, S.: Adiabatic Perturbation Theory in Quantum Dynamics. No. 1821 in Lecture Notes in Mathematics. Springer, Berlin (2003)
Teufel, S.: Non-equilibrium almost-stationary states and linear response for gapped quantum systems. Commun. Math. Phys. 373, 621–653 (2020)
von Klitzing, K., Dorda, G., Pepper, M.: New method for high-accuracy determination of the fine-structure constant based on quantized Hall resistance. Phys. Rev. Lett. 45, 494 (1980)
Zak, J.: Magnetic translation group. Phys. Rev. 134, A1602 (1964)
Acknowledgements
The authors are grateful to G. Panati, M. Porta and S. Teufel for their careful reading and valuable comments on a first draft of the paper. This work was supported by the National Group of Mathematical Physics (GNFM–INdAM) within the project “Progetto Giovani GNFM 2020”. G. M. gratefully acknowledges the financial support from the European Research Council (ERC), under the European Union’s Horizon 2020 research and innovation programme (ERC Starting Grant MaMBoQ, no. 802901).
Funding
Open access funding provided by Università degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this article was revised: One title in reference list was not correct.
Appendices
Appendix A. Trace per unit volume
Here we recall the definition and the main properties of the trace-per-unit-volume functional (for further details, see [35, Sect. 2] and references therein). For any \(L\in 2\mathbb {N}+1\), we define
and \(\chi _L{:}{=}\chi _{{\mathcal {C}}_L}\), denoting the orthogonal projection on \(\mathcal {H}\) which multiplies by the characteristic function of \({\mathcal {C}}_L\). In particular, the set \({\mathcal {C}}_1\) is called a fundamental cell.
We say that an operator A acting in \(\mathcal {H}\) is trace class on compact sets if and only if \(\chi _K A \chi _K\) is trace class for all compact sets \(K \subset \mathcal {X}\)Footnote 4.
Definition A.1
(Trace per unit volume). Let A be an operator acting in \(\mathcal {H}\) such that A is trace class on compact sets. The trace per unit volume of A is defined as
whenever the limit exists.
The most relevant properties of the trace per unit volume are presented in the following results, whose proofs can be found in [35, Sect. 2]. We detail an argument only for Proposition A.3(iv), which is not present in the above reference.
We introduce the vector spaces
We recall that \(\mathcal {B}_1^\tau \) is invariant by left and right multiplication by elements of \(\mathcal {B}_\infty ^\tau \supset \mathcal {P}(\mathcal {H}_{\textrm{f}})\). Similarly to the standard trace, the trace per unit volume is (conditionally) cyclic.
Lemma A.2
(Cyclicity of the trace per unit volume). If \(A\in \mathcal {B}_1^\tau \) and \(B\in \mathcal {B}_\infty ^\tau \), then \(\tau (AB)=\tau (BA).\)
The next result collects all the essential properties of the trace per unit volume.
Proposition A.3
-
(i)
Let \(A\in \mathcal {B}_1^\tau \). Then
$$\begin{aligned} {{\,\textrm{Tr}\,}}(\left|\chi _L A \chi _L\right|)<\infty \quad \forall \, L\in 2\mathbb {N}+1. \end{aligned}$$In particular, we have that A is trace class on compact sets.
-
(ii)
Let A be periodic and trace class on compact sets. Then \(\tau (A)\) is well-defined and
$$\begin{aligned} \tau (A) =\frac{1}{\left|{\mathcal {C}}_1\right|} {{\,\textrm{Tr}\,}}(\chi _1 A \chi _1). \end{aligned}$$ -
(iii)
Let A be a periodic and bounded operator acting on \(\mathcal {H}\). Denoting by
$$\begin{aligned} \mathcal {U}_{\textrm{BFZ}}\, A \, \mathcal {U}_{\textrm{BFZ}}^{-1} = \int _{\mathbb {R}^d}^{\oplus }\textrm{d}k\, A(k) \end{aligned}$$its Bloch–Floquet–Zak decomposition, assume that A(k) is trace class and that \({{\,\textrm{Tr}\,}}_{\mathcal {H}_{\textrm{f}}}(\left|A(k)\right|)<C\) for all \(k\in \mathbb {B}^d\). Then
$$\begin{aligned} {{\,\textrm{Tr}\,}}(\chi _1 A \chi _1) = \frac{1}{|\mathbb {B}^d|} \int _{\mathbb {B}^d} \textrm{d}k\,{{\,\textrm{Tr}\,}}_{\mathcal {H}_{\textrm{f}}}(A(k)). \end{aligned}$$ -
(iv)
Let \(A\in \mathcal {P}(\mathcal {H}_{\textrm{f}})\cap \mathcal {B}_1^\tau \). Then \(\tau ([A,X_i])\) is well-defined and \(\tau ([A,X_i])=0\) for every \(1\le i\le d\).
Proof
- (iv) :
-
By Lemma 2.3, we have that \([A,X_i]\in \mathcal {P}(\mathcal {H}_{\textrm{f}})\). Observe that the operator
$$\begin{aligned} \chi _L [A,X_i] \chi _L=\chi _L A \chi _L X_i \chi _L-\chi _L X_i \chi _L A \chi _L\, \text { is trace class on compact sets}, \end{aligned}$$by applying Proposition A.3(i) and noticing that \(\chi _L X_i \chi _L\) is bounded. Thus, Proposition A.3(ii) implies that
$$\begin{aligned} \left|{\mathcal {C}}_1\right|\cdot \tau ([A,X_i])={{\,\textrm{Tr}\,}}(\chi _1 [A,X_i] \chi _1)={{\,\textrm{Tr}\,}}(\chi _1 A\chi _1 X_i \chi _1-\chi _1 X_i\chi _1 A \chi _1), \end{aligned}$$where both summands inside the trace are trace class because \(\chi _1 A \chi _1\) is trace class. The cyclicity of the standard trace concludes the proof. \(\square \)
Appendix B. Inverse Liouvillian
Here we recall the expression of the inverse Liouvillian \(\mathscr {L}_{H_0}^{-1}\), associated with the unperturbed Hamiltonian \(H_0\), and its relevant properties.
We look for the solution B to the equation \(\mathscr {L}_{H_0}(B)=-\textrm{i}[H_0,B] = A\), where \(A=A^{\textrm{OD}}\in \mathcal {P}(\mathcal {H}_{\textrm{f}})\) is off-diagonal with respect to the decomposition \(\mathcal {H}= {{\,\textrm{Ran}\,}}\Pi _0 \oplus ({{\,\textrm{Ran}\,}}\Pi _0)^\perp \). We state in the following Proposition, whose proof can be found in [35, Subsection 6.2], the solution to this problem, which traces back at least to [3, Equation (2.11)] (see also [25, Equation (A10)]).
Proposition B.1
Under Assumption 2.4, let \(A\in \mathcal {P}(\mathcal {H}_{\textrm{f}})\) be such that \(A=A^{\textrm{OD}}\) with respect to \(\Pi _0\). Then, the unique off-diagonal solution in \(\mathcal {P}(\mathcal {H}_{\textrm{f}},\mathcal {D}_{\textrm{f}})\) to the equation
is given by
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
Marcelli, G., Monaco, D. Purely linear response of the quantum Hall current to space-adiabatic perturbations. Lett Math Phys 112, 91 (2022). https://doi.org/10.1007/s11005-022-01574-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-022-01574-7
Keywords
- Linear response
- Quantum Hall effect
- Space-adiabatic perturbation theory
- Non-equilibrium almost-stationary state
- Chern marker