Abstract
We consider the ideal Fermi gas of indistinguishable particles without spin but with electric charge, confined to a Euclidean plane \({{\mathbb {R}}}^2\) perpendicular to an external constant magnetic field of strength \(B>0\). We assume this (infinite) quantum gas to be in thermal equilibrium at zero temperature, that is, in its ground state with chemical potential \(\mu \ge B\) (in suitable physical units). For this (pure) state we define its local entropy \(S(\Lambda )\) associated with a bounded (sub)region \(\Lambda \subset {{\mathbb {R}}}^2\) as the von Neumann entropy of the (mixed) local substate obtained by reducing the infinite-area ground state to this region \(\Lambda \) of finite area \(|\Lambda |\). In this setting we prove that the leading asymptotic growth of \(S(L\Lambda )\), as the dimensionless scaling parameter \(L>0\) tends to infinity, has the form \(L\sqrt{B}|\partial \Lambda |\) up to a precisely given (positive multiplicative) coefficient which is independent of \(\Lambda \) and dependent on B and \(\mu \) only through the integer part of \((\mu /B-1)/2\). Here we have assumed the boundary curve \(\partial \Lambda \) of \(\Lambda \) to be sufficiently smooth which, in particular, ensures that its arc length \(|\partial \Lambda |\) is well-defined. This result is in agreement with a so-called area-law scaling (for two spatial dimensions). It contrasts the zero-field case \(B=0\), where an additional logarithmic factor \(\ln (L)\) is known to be present. We also have a similar result, with a slightly more explicit coefficient, for the simpler situation where the underlying single-particle Hamiltonian, known as the Landau Hamiltonian, is restricted from its natural Hilbert space \(\text{ L}^2({{\mathbb {R}}}^2)\) to the eigenspace of a single but arbitrary Landau level. Both results extend to the whole one-parameter family of quantum Rényi entropies. As opposed to the case \(B=0\), the corresponding asymptotic coefficients depend on the Rényi index in a non-trivial way.
Similar content being viewed by others
1 Introduction
Quantum correlations in many-particle ground states occur in a genuine and simple form for fermions without interactions between them. In this case all correlations are exclusively due to the Pauli–Fermi–Dirac statistics and are not affected by classical correlations. This certainly explains why the authors of many recent publications, devoted to the “trendy topic” of entanglement entropy, have considered ground states of free fermions in discrete or continuous position space. For these pure states its (bipartite spatial) entanglement entropy boils down to its local entropy associated with a bounded region \(\Lambda \) in the position space. An informal definition of the local entropy is given in the above abstract. For a formal definition, in the present context, see (4.2) (with \(\alpha =1\)) below. This local ground-state entropy may serve as a useful, but rough, single-number quantification of the correlations of all the particles in the region \(\Lambda \) with all those outside.
The local ground-state entropy is a complicated function(al) of \(\Lambda \) and difficult to study by analytic methods. Even without interactions, one can in general only hope for estimates and/or asymptotic results when the volume of the bounded region becomes large. As discovered by Gioev and Klich [8], one fascinating aspect of these type of asymptotic results is the connection to the quasi-classical evaluation of traces of (truncated) Wiener–Hopf operators (or Toeplitz matrices in the discrete, one-dimensional, case), that is, to a conjecture of Harold Widom (respectively of Fisher and Hartwig). The “Widom conjecture” was finally proved by one of us in [29] and opened the gate to prove a conjecture by Gioev and Klich [8] about the precise asymptotic growth of the local ground-state entropy of free fermions in multi-dimensional Euclidean space, see [16].
Of course, it is physically relevant and mathematically interesting to determine such a precise asymptotics also for ground states of fermions subject to an external field or even with interactions between them. From a rigorous point of view, the latter seems currently to be out of reach. Concerning external scalar fields there are publications devoted to free fermions in a (random) potential [6, 19,20,21,22] or in a one-dimensional periodic potential [24]. As an aside, we mention that in the case of free fermions the large-scale behavior of the local entropy is not only known for the ground state, but also for the thermal equilibrium state at any temperature [15, 17].
In the present paper, we (return to zero temperature and) consider the ground state of non-relativistic, spinless, and electrically charged fermions in the Euclidean plane \({{\mathbb {R}}}^2\) without interactions between them, but subject to an external magnetic field which is perpendicular to the plane and of constant strength \(B>0\). This ground state became of interest in condensed-matter physics at first in the early 1930s for simplified explanations of the Landau diamagnetism and the De Haas–Van Alphen effect observed in metals, see [10, 23]. The interest got revived and enhanced after the discovery of the (integrally) quantized Hall effect in certain quasi-two-dimensional semiconductor materials by Klaus von Klitzing in the year 1980, see [10, 30]. To our knowledge, analytical contributions to the asymptotic growth of the local entropy of this ground state were made by Klich [13], by Rodríguez and Sierra [26, 27], and recently by Charles and Estienne [4]. All these authors consider the case of the lowest Landau level only. In addition, [13, 26, 27] treat regions of simple geometric shape only. The important work of Rodríguez and Sierra [26] contains non-rigorous arguments, but their formula for the asymptotic coefficient \({\mathsf {M}}_0(h_{1})\) (see (4.1) and (4.4) for the definition), confirmed in [4], has been a guide for us to arrive at the more general asymptotic coefficients presented here. After all, the simplicity of the coefficient \({\mathsf {M}}_\ell (f)\) of the sub-leading boundary-curve term in (2.13), see (2.9) and (2.10), is striking, given that it results from the 2m-fold integration in (3.20) for arbitrary exponent \(m\ge 1\).
By adapting Roccaforte’s approach for translation invariant integral kernels [25] to those of the Landau-projection operators we extend results in [4, 26] to rather general regions, to an arbitrary single Landau-level eigenspace, and even to the orthogonal sum of the first \(n+1\) eigenspaces for arbitrary \(n\ge 0\). By the last extension we can allow for an arbitrary value of the chemical potential \(\mu \ge B\) (in suitable physical units) and, hence, for an arbitrary areal density of the particle number. Our proof consists of two basic steps. In the first step, we present the precise asymptotics of the trace of smooth functions of localized (or spatially truncated) Landau projections. By a suitable application of the Stone–Weierstraß approximation theorem this asymptotics is shown to follow from a corresponding one for polynomials, based on Lemma 5. Our proof of Lemma 5 is elementary in the sense that it does not make use of the quasi-classical functional calculus for pseudo-differential operators, not even of standard stationary-phase evaluation techniques. However, it involves one change of variables which is cumbersome to utilize, see (3.26). In the second step, we show how to get from smooth functions to the Rényi entropy functions \(h_\alpha \). This is not obvious, in particular for Rényi index \(\alpha \le 1\), and does not follow from standard approximation schemes. Therefore we prove and employ certain Schatten–von Neumann quasi-norm estimates, similarly to what has been done in [16].
Our main result is Theorem 8. It turns out that all local Rényi ground-state entropies grow to leading order proportional to L when the dimensionless parameter \(L>0\) of the scaled region \(L\Lambda \) is sent to infinity (due to the off-diagonal Gaussian decay of the Landau-projection integral kernels). This is in agreement with the so-called area-law scaling [5]. Given that, the corresponding proportionality factor has the form \(\sqrt{B}|\partial \Lambda |{\mathsf {M}}_{\le \nu }(h_\alpha )\). Here, the first two factors are expected from considering physical dimensions, because \(|\partial \Lambda |\) denotes the arc length of the (smooth) boundary curve \(\partial \Lambda \). The third factor \({\mathsf {M}}_{\le \nu }(h_\alpha )\) is a dimensionless asymptotic coefficient precisely given by (2.12) and (4.1). It depends in a non-trivial way on the Rényi index \(\alpha >0\), but on B and \(\mu \) only through the integer part \(\nu \) of \((\mu /B-1)/2\). It is finite and positive, but in general a rather complicated expression. However, if \(\mu <3B\), then it simplifies considerably, because only the lowest Landau-level eigenspace remains to be relevant. The result agrees (for \(\alpha =1\)) with the one proved recently by Charles and Estienne [4].
2 Setting the Stage and Basic Asymptotic Results for Smooth Functions
We denote the scalar products in the Euclidean plane \({{\mathbb {R}}}^2\) and in the Hilbert space \(\text{ L}^2({\mathsf {D}})\) of complex-valued, square-integrable functions on a Borel set \({\mathsf {D}}\subseteq {{\mathbb {R}}}^2\) by the same bracket \(\langle \cdot |\cdot \rangle \) and use the same notation \(\Vert \cdot \Vert \) for the induced norms. Our convention is that the scalar product is anti-linear in the first and linear in the second argument.
Since in the ideal Fermi gas the indistinguishable (point) particles do not interact with each other, it is sufficient to consider the common Schrödinger operator for the kinetic energy of a single particle in the plane subject to a perpendicular constant magnetic field of strength \(B>0\). This operator is known as the Landau Hamiltonian. It acts self-adjointly on a dense domain of definition in the single-particle Hilbert space \(\text{ L}^2({{\mathbb {R}}}^2)\) and is given by
Here, we choose the symmetric gauge \(a(x)=(a_1(x), a_2(x)) := (x_2,-x_1)B/2\) for the vector potential \(a: {{\mathbb {R}}}^2 \rightarrow {{\mathbb {R}}}^2\) generating the constant magnetic field (vector) perpendicular to the plane with Cartesian coordinates \(x=(x_1, x_2)\). Other gauges yield operators being unitarily equivalent to \({\text {H}}\). Moreover, here and in the following we are using physical units such that the particle mass and the particle charge equals 1/2 and 1, respectively. Similarly, we put the speed of light, Planck’s constant (divided by \(2\pi \)), and Boltzmann’s constant all equal to 1.
Throughout the paper we use the symplectic \(2\times 2\) matrix \({\mathsf {J}} := \begin{bmatrix}0&{}\quad 1\\ -1&{}\quad 0\end{bmatrix}\), the generalized Laguerre polynomials
of degree \(\ell \in {\mathbb {N}}_0\), and the abbreviation \({\mathcal {L}}_\ell := {\mathcal {L}}^{(0)}_\ell \). For each degree \(\ell \) we define an infinite-dimensional projection (operator) \({\text {P}}_\ell \) on \(\text{ L}^2({{\mathbb {R}}}^2)\) by the Hermitian integral kernel
It is obviously \({\mathsf {C}}^\infty \)-smooth and a Carleman kernel in the sense that it is square integrable with respect to \(y\in {{\mathbb {R}}}^2\) for all \(x\in {{\mathbb {R}}}^2\), and vice versa. Now the spectral decomposition of the Landau Hamiltonian \({\text {H}}\) may be written as
As usual, this formula is meant in the sense of strong operator convergence on \(\text{ L}^2({{\mathbb {R}}}^2)\). It goes back to Fock [7] and Landau [14]. The projections \({\text {P}}_\ell \), now recognizable as spectral projections, depend on the chosen gauge through the last (complex-valued phase) factor in (2.2), but the set \( \{ B, 3B, 5B,\ldots \}\) of harmonic-oscillator like eigenvalues, in other words Landau levels, does not. The degree \(\ell \) is now called Landau-level index. We will also need the projection \({\text {P}}_{\le n} := \sum _{0\le \ell \le n} {\text {P}}_\ell \) on the orthogonal sum of the first \(n+1\) Landau-level eigenspaces \({\text {P}}_\ell \text{ L}^2({{\mathbb {R}}}^2)\) and mention the functional relation \({\mathcal {L}}_{\le n} := \sum _{0\le \ell \le n} {\mathcal {L}}_\ell = {\mathcal {L}}_n^{(1)}\). For later purposes we single out the (translation invariant) Gaussian part of the kernel by defining
so that
Now we are prepared to turn to the ground state of the ideal Fermi gas with the Landau Hamiltonian, see (2.1) and (2.3), as its single-particle Hamiltonian and with the chemical potential \(\mu \ge B\) as a real parameter. According to the grand-canonical formalism of quantum statistical mechanics [3, 10] this (infinite-area) ground state is quasi-Gaussian (in other words, quasi-free) and, as such, characterized by its reduced single-particle density operator on \(\text{ L}^2({{\mathbb {R}}}^2)\) given by the Fermi projection
Here, \(\Theta \) is Heaviside’s unit-step function (defined by \(\Theta (t):=1\) if \(t\ge 0\) and zero otherwise), \(\mathbb {1}\) denotes the identity operator on \(\text {L}^2({\mathbb {R}}^2)\), and \(\nu :=\lfloor {(\mu /B-1)/2}\rfloor \) is the integer part of \((\mu /B-1)/2\ge 0\). Now we consider a Borel set \(\Lambda \subseteq {{\mathbb {R}}}^2\) and the multiplication operator \(\mathbb {1}_\Lambda \) on \(\text {L}^2({\mathbb {R}}^2)\) corresponding to its indicator function \(1_\Lambda \) on \({{\mathbb {R}}}^2\). Moreover, we introduce the local(ized) Landau projections
The quasi-Gaussian substate associated with \(\Lambda \subseteq {{\mathbb {R}}}^2\) is now simply characterized by the local(ized) Fermi projection
see [9].
We ignore the uninteresting case \(\mu <B\), because then the Fermi projection is the zero operator corresponding to a vanishing number of particles. In contrast, as a function of \(\mu \ge B\) the (mean) local areal density of the particle number, \(\rho (x)\), in the ground state characterized by the density operator (2.5) is non-zero and equal to the diagonal of its integral kernel, that is,
Integration over the plane \({{\mathbb {R}}}^2\) gives the (mean) total number of particles, \((\nu +1)B|\Lambda | /2\pi \), in its subset \(\Lambda \) with (Lebesgue) area \(|\Lambda |\). So \(\nu +1\) corresponds to an integer value of the filling factor in the physics literature. In view of (2.5) it suffices in the following to consider the projection \({\text {P}}_{\le n}(\Lambda )\) for arbitrary \(n\in {\mathbb {N}}_0\). Moreover, from now on we typically assume that \(\Lambda \subset {{\mathbb {R}}}^2\) is the union of finitely many bounded domains (open connected sets), such that their closures are pairwise disjoint. We call such a \(\Lambda \) a bounded region. If the boundary curve \(\partial \Lambda \) of \(\Lambda \) is \({\mathsf {C}}^{\gamma }\), \(\gamma \in {\mathbb {N}}\cup \{\infty \}\), then we say that \(\Lambda \) is a bounded \({\mathsf {C}}^{\gamma }\)-region.
Before we state our basic asymptotic results we recall the definition of the Hermite polynomials, \(H_\ell \), of degree \(\ell \in {\mathbb {N}}_0\). They satisfy the orthogonality relation
An explicit formula is
The Hermite functions \(\psi _\ell \), defined by
constitute an orthonormal basis of the Hilbert space \(\text{ L}^2({{\mathbb {R}}})\) and are the (energy) eigenfunctions of the one-dimensional harmonic oscillator, that is,
For \(\xi \in {{\mathbb {R}}}\) and a complex-valued function f on the closed unit interval [0, 1] as in Lemma 3 below we define
Obviously, each function \(\lambda _\ell \) takes values in [0, 1] and is (strictly) decreasing. We also need to introduce for each \(n\in {\mathbb {N}}_0 \) the one-parameter family of operators
The operator \({\mathcal {K}}_{n, \xi }\) maps \({{\mathrm {L}}}^2({\mathbb {R}})\) self-adjointly on its \((n+1)\)-dimensional subspace spanned by the first \((n+1)\) truncated Hermite functions \(\psi _{\ell , \xi } := \psi _\ell 1_{[\xi , \infty )}\). This operator is not a projection, but it satisfies \(0\le {\mathcal {K}}_{n,\xi } \le \mathbb {1}_{[\xi ,\infty )}\le \mathbb {1}\). Its integral kernel is given by the sum \(\sum _{0\le \ell \le n} \psi _{\ell , \xi }(t)\psi _{\ell , \xi }(t')\), which can be evaluated explicitly, see (3.36) below.
Along with \(\mathsf{M}_\ell (f)\) we also define for \(n\in {\mathbb {N}}_0\)
Here the trace refers to operators on \({{\mathrm {L}}^2}({\mathbb {R}})\). Now we are in a position to present our two basic asymptotic results.
Theorem 1
(For the \(\ell \hbox {th}\) Landau level, \(\ell \in {\mathbb {N}}_0\)). Let \(\Lambda \subset {{\mathbb {R}}}^2\) be a bounded \({\mathsf {C}}^3\)-region in the sense defined below (2.6). Moreover, let \(f:[0, 1]\rightarrow {\mathbb {C}}\) be a complex-valued continuous function on the closed unit interval with \(f(0)=0\), differentiable from the right at \(t=0\) and differentiable from the left at \(t=1\). Finally, let \(L>0\) be a (dimensionless) scaling parameter. Then we have
as \(L\rightarrow \infty \). The asymptotic coefficient is finite, that is, \(|\mathsf{M}_\ell (f)|<\infty \).
Here the trace refers to operators on \({{\mathrm {L}}}^2({\mathbb {R}}^2)\) and, as usual, o(L) stands for some function of L with \(\limsup _{L\rightarrow \infty }|o(L)|/L=0\).
Theorem 2
(For the first \((n+1)\) Landau levels, \(n\in {\mathbb {N}}_0\)). Under the same assumptions as in Theorem 1 we have
as \(L\rightarrow \infty \). The asymptotic coefficient is finite, that is, \(|\mathsf{M}_{\le n}(f)|<\infty \).
The finiteness of the coefficients \(\mathsf{M}_\ell (f)\) and \(\mathsf{M}_{\le n}(f)\) are consequences of the following Lemmas 3 and 4, because the smooth function f assumed in Theorems 1 and 2 satisfies the bound (2.15). The proofs of (2.13) and (2.14) are postponed until the proof of Lemma 4. In the next lemma and in the following, by C, c with or without indices, we denote various finite and positive constants, whose precise values are of no importance.
Lemma 3
Let \(f:[0, 1]\rightarrow {\mathbb {C}}\) be a measurable function satisfying the bound
with some \(q>0\). Then \(|\mathsf{M}_\ell (f)|<\infty \) for all \(\ell \in {\mathbb {N}}_0\).
Proof
Firstly, we observe that
with a constant C depending on \(\ell \). Therefore, for \(\xi \ge 0\) the function \(\lambda _\ell \) satisfies the bound
with an arbitrary \(\delta < 1\). Similarly, for \(\xi <0\) we have
Combining this with (2.15) yields the claimed result. \(\quad \square \)
Concerning the other coefficient \(\mathsf{M}_{\le n}(f)\) we have the following
Lemma 4
Under the same assumption as in Lemma 3 we have
for every \(n\in {\mathbb {N}}_{0}\) with an arbitrary \(0<\delta <1\), and hence \(|\mathsf{M}_{\le n}(f)|<\infty \).
Before proving this lemma we compile, for the reader’s convenience, some basic properties of the Schatten–von Neumann classes, \({\mathfrak {S}}_p, 0<p<\infty \), of compact operators, see [2, 28]. By \(s_n(\mathrm{T})\) with \(n\in {\mathbb {N}}\), we denote the singular values of a compact operator \(\mathrm{T}\) on an abstract (separable) Hilbert space, enumerated in decreasing order. Then, the operator \(\mathrm{T}\) is said to belong to \({\mathfrak {S}}_p\) if it has the finite Schatten–von Neumann (quasi-)norm
If \(p\ge 1\), then \(\Vert \cdot \Vert _p\) is a norm. If \(0< p < 1\), then it is a quasi-norm which satisfies the p-triangle inequality
The class \({\mathfrak {S}}_1\) is the standard trace class. For \(\mathrm{T}\in {\mathfrak {S}}_1\) its trace, \(\mathrm{tr}\,\mathrm{T}\), is well-defined and satisfies \(|\mathrm{tr}\,\mathrm{T}|\le \Vert \mathrm{T}\Vert _1 \). If \(\mathrm{T}\ge 0\), then \(\mathrm{tr}\,\mathrm{T}=\Vert \mathrm{T}\Vert _1 \). We also note that the usual (uniform) operator norm \(\Vert \cdot \Vert \) may be viewed as \(\Vert \cdot \Vert _p\) in the limit \(p\rightarrow \infty \). Finally, we mention that \(\Vert \cdot \Vert _p\) satisfies a Hölder-type inequality in the sense that
for any \(p_1, p_2 \in (0,\infty ]\) with \( 1/p_1 + 1/p_2=1/p\).
Proof
(Proof of Lemma 4) Let us now consider the operator \({\mathcal {K}}_{n, \xi } = \sum _{\ell =0}^n Q_{\ell , \xi }\) defined in (2.11), where we have put \(Q_{\ell , \xi }:= |\psi _{\ell , \xi }\rangle \langle \psi _{\ell , \xi }| \) With \({\tilde{g}}(t):= t(1-t)\) we then have
Since each operator \(Q_{\ell , \xi }\) is one-dimensional, we easily find that
according to the proof of Lemma 3. Furthermore,
Consequently, for \(\xi \ge 0\), we have
For the case \(\xi <0\) we observe that \(\langle \psi _\ell |\psi _{\ell '}\rangle = 0\), \(\ell \not = \ell '\), so that \(\langle \psi _{\ell , \xi }| \psi _{\ell ', \xi }\rangle = - \langle \psi _\ell - \psi _{\ell , \xi }| \psi _{\ell '} - \psi _{\ell ', \xi }\rangle \), and hence
Collecting the above bounds we conclude that
Using now (2.15) we have
Since the operator \({\mathcal {K}}_{n, \xi }\) has finite dimension \(n+1\), the right-hand side of the last inequality is bounded from above by \(C\Vert {\tilde{g}}({\mathcal {K}}_{n, \xi })\Vert ^q\). Therefore (2.18) leads to the claimed result. \(\quad \square \)
Proofs of Theorem 1 and Theorem 2
By linearity, Lemmas 5 and 6 in the next section imply Theorems 1 and 2, respectively, for an arbitrary polynomial f (with \(f(0)=0\)). So here we only need to show how to extend the claimed results (2.13) and (2.14) from polynomials to the smooth function f assumed in Theorems 1 and 2. This is by now standard and several versions of this extension are available, e.g. [24, 25, 29, 31]. Here we follow the recent one in [24]. As a by-product we get the a-priori finiteness of the left-hand side of (2.13), see (2.19) and (2.20). The a-priori finiteness of the left-hand side of (2.14) follows similarly.
Without loss of generality we may assume that f is real-valued. Besides the necessary condition \(f(0)=0\) we may assume that \(f(1)=0\). This can be achieved by replacing f(t) with \(f(t) - f(1)t\). The function f has the form \(f= b{\tilde{g}}\) with \({\tilde{g}}(t) = t(1-t)\), from above, and with some real-valued continuous function b on [0, 1]. According to the Stone–Weierstraß approximation theorem, there exists for any given \(\varepsilon >0\) a real-valued polynomial p on [0, 1] such that \(\sup _{t\in [0,1]} |p(t)-b(t)|\le \varepsilon \). Thus with \({\tilde{p}}:={\tilde{g}} p\) we have
and hence
Using (2.13) for \({{\tilde{p}}}\) and \({\tilde{g}}\), we arrive at the bound
Since \(\mathsf{M}_\ell ({{\tilde{p}}}) = \mathsf{M}_\ell (f) + \mathsf{M}_\ell ({\tilde{g}}(p-b)) \le \mathsf{M}_\ell (f) + \varepsilon \mathsf{M}_\ell ({\tilde{g}})\), the right-hand side of the above inequality does not exceed \( \mathsf{M}_\ell (f) + 2\varepsilon \mathsf{M}_\ell ({\tilde{g}})\). Similarly,
Since \(\varepsilon \) is arbitrary, formula (2.13) follows.
In order to prove Theorem 2 we use the same argument as above for the operator \({\text {P}}_{\le n}(L\Lambda )\) and the asymptotic coefficient \(\mathsf{M}_{\le n}(f)\). \(\quad \square \)
3 Underlying Asymptotic Results for Polynomials
We have seen that the asymptotic results of Theorems 1 and 2 rely on corresponding results for polynomials f. By linearity, it suffices to consider natural powers of the corresponding projections. We begin with
Lemma 5
Let \(\Lambda \subset {{\mathbb {R}}}^2\) be a bounded \({\mathsf {C}}^3\)-region and \(m\in {\mathbb {N}}\). Then we have for any \(\ell \in {\mathbb {N}}_0\)
as \(L\rightarrow \infty \). Here, as usual, \(\mathcal {O}(1)\equiv \mathcal {O}(L^0)\) stands for some function of L with lim sup\(_{L\rightarrow \infty }|\mathcal {O}(1)|< \infty \).
Proof
At first we note that \(\mathbb {1}_\Lambda {\text {P}}_\ell \) is a Hilbert–Schmidt operator on \(\text{ L}^2({{\mathbb {R}}}^2)\), equivalently \(\Vert \mathbb {1}_\Lambda {\text {P}}_\ell \Vert _2<\infty \), because its integral kernel \(1_\Lambda (x) p_\ell (x,y)\) is square-integrable. Therefore \({\text {P}}_\ell (\Lambda ) = (\mathbb {1}_\Lambda {\text {P}}_\ell ) ({\text {P}}_\ell \mathbb {1}_\Lambda )\) is a trace-class operator and so are its natural powers, due to \( \Vert {\text {P}}_\ell (\Lambda )\Vert \le 1\). The trace of the power \({\text {P}}_\ell (\Lambda )^m\) can be calculated by integrating the diagonal of its integral kernel, that is,
This follows from the continuity of \({\text {P}}_\ell (\Lambda )^m (x,y)\) as a function of \((x,y) \in \Lambda \times \Lambda \) which, in turn, follows from the m-fold iteration of \({\text {P}}_\ell (\Lambda )(x,y)= p_\ell (x,y) 1_\Lambda (x)1_\Lambda (y) \) and the dominated-convergence theorem. If \(x\not \in \Lambda \) or \(y\not \in \Lambda \), then \({\text {P}}_\ell (\Lambda )^m (x,y)=0\). We proceed with (3.2). Since (3.1) is now seen to be true for \(m=1\), we assume from now on \(m\ge 2\). Then the diagonal \({\text {P}}_\ell (\Lambda )^m(x,x)\) is given by
It is convenient to change to new integration variables \(\mathbf{y } := (y_1,\ldots ,y_{m-1})\) defined by \(y_1:=x-x_1,y_2:=x_1-x_2,\ldots , y_{m-1}:=x_{m-2}-x_{m-1}\). Furthermore, we set \(y_m := y_1+\cdots +y_{m-1}\). Then, \(x_1 = x-y_1,x_2 = x-y_1-y_2,\ldots ,x_{m-1} = x-y_m\) and
With \(x_0:=x_m:=x\) we therefore have
If \(m=2\) then the left-hand side of (3.4) is zero and its right-hand side is meant to be 0. By combining (3.2), (3.3), (2.2), and (3.4) the trace of \({\text {P}}_\ell (\Lambda )^m\) can now be written as
with the function \({\mathfrak {f}}_m\) defined by
Now we insert the scaling parameter \(L>0\) and apply Roccaforte’s asymptotic expansion of Appendix A up to the first order
as \(L\rightarrow \infty \). Here, A is the canonical arc-length measure on \(\partial \Lambda \) and \(n_x\) is the inward unit normal vector at the point \(x\in \partial \Lambda \) and W is a linearly bounded function on the positive half-line. We scale \(\mathbf{y }\) by \(B^{-1/2}\) and \(\Lambda \) by \(B^{1/2}\). Then we can set from now on \(B=1\) in the function \({\mathfrak {f}}_m\) and replace \(L\Lambda \) by \(\sqrt{L^2 B}\Lambda \). The parameter that tends to infinity in our asymptotic analysis is thus effectively \(\sqrt{L^2B}\).
For a given point on the boundary curve, \(x\in \partial \Lambda \), we decompose each vector \(y_i\in {{\mathbb {R}}}^2\) into a component parallel and a component perpendicular to the tangent (line) \(\text{ T}_x(\partial \Lambda )\cong {{\mathbb {R}}}\) at \(x\in \partial \Lambda \) according to
with the real numbers \(t_i:=\langle y_i|n_x\rangle \) and \(z_i:= -\langle y_i|{\mathsf {J}} n_x \rangle \) so that \(\Vert y_i\Vert ^2 = z_i^2 + t_i^2\). Then we get
and
to be used on the right-hand side of (3.6). Here, \(\mathbf{z } := (z_1,\ldots ,z_{m-1})\) and \(\mathbf{t } := (t_1,\ldots ,t_{m-1})\). Moreover, \({\mathsf {S}}\) is the \((m-1)\times (m-1)\) matrix with entries
By setting \(t_0:=0\) the maximum in (3.6) can now be written as follows
Let us now introduce new variables \((T_1,\ldots ,T_{m-1})\) by the sums
We also define \(T_m:=0\), \(t_m:=t_1+\cdots + t_{m-1}\), and \(z_m := z_1+\cdots +z_{m-1}\).
The change (3.8) from the (global) variables \(y_i\) to the x-dependent (local) variables \((z_i,t_i)\) corresponds to a translation and a rotation of the coordinate system. This implies that \(\text{ d }y_i = \text{ d }t_i \text{ d }z_i\) which is shorthand for the underlying invariance of the multi-dimensional Lebesgue measure. Once the integration with respect to all the variables \(z_i\) and \( t_i\) is done, the result will turn out to be independent of \(x\in \partial \Lambda \) and the remaining integration with respect to x along the boundary curve \(\partial \Lambda \) simply yields the factor \(L\sqrt{B}|\partial \Lambda |\).
By combining (3.5), (3.6), (3.8), (3.9), (3.10), and (3.12), and by referring to the Fubini–Tonelli theorem we get for the time being
with
and
[When it comes to integration we do not switch from the t-variables to the T-variables; moreover, we note that \(\det {\mathsf {S}}=0\), resp. \(=1\) if m is even, resp. odd.] The integral \(I_m(\mathbf{t })\) can be viewed as the m-fold convolution product \(g_{T_1,t_1}*\cdots *g_{T_m,t_m}\) evaluated at 0. This suggests to introduce the (inverse) Fourier transform
If \(\ell =0\), then this integral can be calculated explicitly. But even then it turns out to be more convenient not to perform this integration at this point.
Therefore, the \((m-1)\)-fold integral (3.15) can be rewritten as an integral over the real line according to
and the term of the sub-leading order L in (3.14) becomes equal to (using the notation \(\varvec{\omega }:=(\omega _1,\ldots ,\omega _m)\))
Following Roccaforte [25] we now introduce \(m(\ge 2)\) subsets \( {\mathcal {S}}, {\mathcal {S}}_1,\ldots ,{\mathcal {S}}_{(m-1)}\) of \({{\mathbb {R}}}^{m-1}\) by
and
for \(1\le q\le m-1\). The sets \({\mathcal {S}}_q\) are pairwise disjoint and make up all of \({\mathcal {S}}\) in the sense that \({\mathcal {S}} = \bigcup _{q=1}^{m-1} {\mathcal {S}}_q\), up to (hyperplane) sets of \((m-1)\)-dimensional Lebesgue measure zero. In fact, \(\mathbf{t } \in {\mathcal {S}}_q \) implies that \( M({\mathbf{t }})=\sum _{r=1}^{q} t_{r} >0\). And the conditions for \(2\le s\le q\) and for \(1\le p\le m-1-q\) ensure that the sets \({\mathcal {S}}_q\) are indeed disjoint. Following again Roccaforte [25] we introduce variables \(\varvec{\tau }:=(\tau _1,\ldots ,\tau _{m-1})\) adapted to the just introduced sets. We define
for \(1\le s\le q\) and
for \(1\le p\le m-1-q\).
On the set \({\mathcal {S}}_q\) we have \(\varvec{\tau }' = {\mathsf {A}}^{(q)}\mathbf{t }' \). Here \(\varvec{\tau }'\) denotes the column tuple as the transpose of the (row) tuple \(\varvec{\tau }\) and similarly for \(\mathbf{t }'\). And the \((m-1)\times (m-1)\) matrix \({\mathsf {A}}^{(q)}\) is defined in terms of its entries
Then we have \(\det {\mathsf {A}}^{(q)} = 1\) and on \({\mathcal {S}}_q\) the comforting identity
using the abbreviations \(1_\pm \) for the indicator functions on the real line \({{\mathbb {R}}}\) for its two half-lines \({{\mathbb {R}}}_{\pm }\).
Now we consider the joint integration with respect to the m variables \(\xi \) and \(\varvec{\tau }\) and apply the following changes of variables. Firstly, we change \(\tau _{q+1},\ldots ,\tau _{m-1}\) to \(-\tau _{q+1},\ldots ,-\tau _{m-1}\). Clearly, the \(\varvec{\tau }\) integral is now over \({{\mathbb {R}}}_+^{m-1}\). Secondly, we replace \(\xi \) by \(\xi -(\tau _1+\tau _{m-1})/2\), and thirdly we replace \(\xi \) by \(-\xi \). The negative of the argument in the product of exponentials in (3.20) then changes according to
Here and in the following we are using the notation \(\rightsquigarrow \) to present the results of changes of variables efficiently, without the explicit introduction of the underlying mappings. We prove (3.26) in Appendix B.1. The main advantage of the quadratic form (3.26) over that in the \(\mathbf{t }\)-variables is that there are no mixed terms between the \(\tau \)’s and the exponential can be factorized. The resulting term does not depend on q. This turns out to remain true with the Laguerre polynomials included as we will see next.
We perform the same changes of variables in the arguments of the Laguerre polynomials. For instance, if \(q=1\), then
Next we change \(\tau _1\) to \(\tau _1-\xi \) so that the last expression equals
Similarly,
For general \(q\ge 2\), see Appendix B.2. In the end, the product of the Laguerre polynomials equals
The following remarkable identity will be proved in Appendix B.3,
After performing the m-fold integration with respect to \(\varvec{\omega }\) we obtain
To summarize, the boundary-curve term of the order L equals \(-L\sqrt{B} |\partial \Lambda |/(2\pi )\) times
Finally, we turn to the leading area term of the order \(L^2\) in (3.14),
Here, we use (3.19) for \(I_m(\mathbf{t })\) and switch to the variables \(\tau _1,\ldots ,\tau _{m-1}\) from (3.23) and (3.24) for \(q=1\), in all of \({{\mathbb {R}}}^{m-1}\). We perform the same shifts in \(\xi \) and in the \(\tau \)’s. Then the area term turns into
by the normalization of the Hermite functions. Alternatively, the leading term can be obtained by replacing the x-integral in (3.5) by \(|\Lambda |\). The remaining \(\mathbf{y }\)-integration yields \(B/(2\pi )\). This finishes the proof of Lemma 5. \(\quad \square \)
The next lemma provides the basis for the proof of Theorem 2.
Lemma 6
Under the same assumptions as in Lemma 5 we have for any \(n\in {\mathbb {N}}_0\)
as \(L\rightarrow \infty \).
Proof
By the same arguments as in the beginning of the proof of Lemma 5, the projection \({\text {P}}_{\le n}(\Lambda )^m\) is a trace-class operator and its trace can be calculated by integrating the diagonal of the m-fold iterated integral kernel of \({\text {P}}_{\le n}(\Lambda )\). Again, the case \(m=1\) is then obvious and we only need to consider the case \(m\ge 2\). We recall that \({\text {P}}_{\le n}(x,y) = \sum _{0\le \ell \le n}p_\ell (x,y)\). So in the proof of Lemma 5 we simply have to replace \({\mathcal {L}}_\ell \) with \({\mathcal {L}}_{\le n} = \sum _{0\le \ell \le n}{\mathcal {L}}_\ell = {\mathcal {L}}_n^{(1)}\). For instance, expression (3.27) is replaced with the expression
We multiply this expression by \((2\pi )^{-m/2}\prod _{j=1}^{m} \exp (-\omega _j{^2}/4)\) and integrate with respect to \(\varvec{\omega }\) over \({{\mathbb {R}}}^m\) by using (3.28). This yields
To pause for a moment, the term of the order L equals \(-\sqrt{B}L|\partial \Lambda |/(2\pi )\) times
We include the factors of \(\pi \) into the terms \((2^\ell \ell !)^{-1/2}\), split them in halves, and combine them with each corresponding factor \(H_\ell \). In accordance with that we define
Then the summand for \(q=1\) can be written in the form
For \(q=2\) we get the term
and similarly for \(q=3,\dots ,m-1\). By summing over all q we obtain
Inside the derivative with respect to \(\xi \) we subtract the constant \(C_{\ell _1,\ldots ,\ell _m} := \lambda _{\ell _1,\ell _2}(-\infty ) \lambda _{\ell _2,\ell _3}(-\infty )\) \( \cdots \lambda _{\ell _{m-1},\ell _m}(-\infty )\) so that we can integrate by parts. Then we get
By (2.7) we know that \(C_{\ell _1,\ldots ,\ell _m} = \delta _{\ell _1,\ell _2}\delta _{\ell _2,\ell _3}\cdots \delta _{\ell _{m-1},\ell _m}\). Now we sum over \(\ell _1,\ldots ,\ell _m\) and use the Christoffel–Darboux formula (of the years 1858 and 1878)
and
Then, for instance,
Performing also the summations over \(\ell _1,\ell _3,\dots ,\ell _m\) yields
By (3.33) we also find
Now we apply (3.33) directly to the integral kernel of the operator \({\mathcal {K}}_{n,\xi }\) as defined in (2.11). Then we get
whenever \(\tau \ge \xi \) and \(\tau '\ge \xi \) and zero otherwise. By comparing this with the just given definitions (3.34) and (3.35) of \(\lambda _{\le n,m}(\xi )\) we arrive at the relation \(\lambda _{\le n,m}(\xi ) = \mathrm{tr}\,{\mathcal {K}}_{n,\xi }^m\) for all \(m\in {\mathbb {N}}\) as claimed in Lemma 6 for the sub-leading term of the order L. Finally, we turn to the leading term of the order \(L^2\). It equals
By the orthogonality (2.7) this yields \(L^2B(n+1)|\Lambda |/(2\pi )\) as claimed. \(\quad \square \)
4 From Smooth Functions to the Entropy Functions
In this section we build on Theorems 1 and 2 with a suitable function f to derive the precise leading asymptotic growth of the local ground-state entropy with arbitrary Rényi index \(\alpha > 0\). While the case \(\alpha >1\) is rather straightforward, non-smoothness in the case \(\alpha \le 1\) requires considerable attention. In the first subsection we define the local ground-state entropies and present our main result and related results. The second subsection prepares the ground for getting from smooth functions to the non-smooth functions needed in the case \(\alpha \le 1\). Proofs of our results are then given in the third subsection.
4.1 Definitions and results
For a real parameter \(\alpha >0\) we define the \(\alpha \)-Rényi entropy function \(h_\alpha :[0,1]\rightarrow [0,\ln (2)]\) by
and recall (2.1) as well as (2.3) for the Landau Hamiltonian \({\text {H}}\).
Then the positive number
is the local \(\alpha \)-Rényi ground-state entropy (with chemical potential \(\mu \ge B\)), see (2.5) and [9]. Here, the integer \(\nu \in {\mathbb {N}}_0\) is the integer part of \((\mu /B-1)/2\) as defined already below (2.4). In particular, \(S(\Lambda ) := S_1(\Lambda )\) is the local von Neumann ground-state entropy mentioned in the abstract. The third equality in (4.2) is due to \(h_\alpha (0)=0\).
Finiteness of the local \(\alpha \)-Rényi ground-state entropy is guaranteed by
Lemma 7
Let \(\Lambda \subset {{\mathbb {R}}}^2\) be a bounded Borel set and \(\mu \ge B\). Then \(S_\alpha (\Lambda ) <\infty \) for any \(\alpha >0\).
The proof is given in subsection 4.3 after certain preparations in subsection 4.2. The next theorem gives the precise asymptotic growth. It is our main result.
Theorem 8
(Asymptotics of the local Rényi ground-state entropies). Let \(\Lambda \subset {{\mathbb {R}}}^2\) be a bounded \({\mathsf {C}}^3\)-region and let the chemical potential satisfy \(\mu \ge B\). Then the local \(\alpha \)-Rényi ground-state entropy (4.2) obeys
as \(L\rightarrow \infty \). The asymptotic coefficient \(\mathsf{M}_{\le \nu }(h_\alpha )\) is given by (2.12) with \(n=\nu \). It is finite and positive.
The proof is given in subsection 4.3. It builds on Lemma 7, Theorem 2, and Subsection 4.2.
Remarks 9
-
(i)
The coefficient \(\mathsf{M}_{\le \nu }(h_\alpha )\) in (4.3) is in general not easy to calculate. The simplest case occurs when \(\nu =0\). Then we have
$$\begin{aligned} \mathsf{M}_{\le 0}(h_\alpha ) = \mathsf{M}_{0}(h_\alpha ) = \int _{{\mathbb {R}}}\frac{{\text {d}}\xi }{2\pi }\, h_\alpha (\lambda _0(\xi )) \end{aligned}$$(4.4)with \(\lambda _0(\xi ) = {\pi }^{-1/2}\int _\xi ^\infty {\text {d}} t \,\exp (-t^2)\) being 1/2 of the complementary error function. The coefficient (4.4) was found in [26] for \(\alpha =1\) and special regions \(\Lambda \). The first proof of (4.3) for \(\alpha =1\), \(\nu =0\) (equivalently, \(\ell =0\) in (4.7)), \(L^2 B\in {\mathbb {N}}\), and general bounded \({\mathsf {C}}^\infty \)-regions is due to Charles and Estienne in [4]. A numerical computation gives \(\mathsf{M}_{0}(h_1) = 0.203\dots \), also in agreement with [26].
-
(ii)
In the zero-field case \(B=0\), the leading term of the local Rényi ground-state entropy depends on its index \(\alpha \) simply through the pre-factor \((1+\alpha )/\alpha \), see [16]. A numerical computation shows that in the case \(B\not = 0\) the dependence on \(\alpha \) is not so simple.
We are going to define a local \(\alpha \)-Rényi ground-state entropy also for the simpler situation where the Landau Hamiltonian \({\text {H}}\) is restricted (or “projected”) from the outset to a single Landau-level eigenspace \({\text {P}}_\ell \text{ L}^2({{\mathbb {R}}}^2)\) with arbitrary index \(\ell \in {\mathbb {N}}_{0}\). This restriction means that \({\text {H}}\) is replaced with \({\text {P}}_{\ell } {\text {H}} {\text {P}}_{\ell }\) and similarly for related operators, confer, for example, [11]. Then the corresponding local(alized) Fermi projection is in analogy to (2.5) given by
We ignore the case \(\mu <(2\ell +1)B\), because then the local Fermi projection (4.5) is the zero operator. In analogy to (4.2) we now define for each \(\ell \in {\mathbb {N}}_0\) the positive number
and call it the local \(\alpha \)-Rényi ground-state entropy of the \(\ell \hbox {th}\) Landau level (with chemical potential \(\mu \ge (2\ell +1)B\)). Obviously, we have \(S_{\alpha ,0}(\Lambda )=S_\alpha (\Lambda )\) if \(0<B\le \mu <3B\). Along with Theorem 8 the following result holds
Theorem 10
(Asymptotics of the local Rényi ground-state entropies of the \(\ell \)th Landau level) Let \(\Lambda \subset {{\mathbb {R}}}^2\) be a bounded \({\mathsf {C}}^3\)-region, \(\ell \in {\mathbb {N}}_0\), and \(\mu \ge (2\ell +1)B\). Then the local \(\alpha \)-Rényi ground-state entropy of the \(\ell \)th Landau level (4.6) obeys
as \(L\rightarrow \infty \). The asymptotic coefficient \(\mathsf{M}_{\ell }(h_\alpha )\) is given by (2.10). It is finite and positive.
The remark immediately below Theorem 8 applies analogously to this theorem when (2.14) is replaced with (2.13). The proof of Theorem 10 builds on Theorem 1 and repeats the proof of Theorem 8 in Subsection 4.3 with \({\text {P}}_{\le \nu }\) replaced by \({\text {P}}_\ell \).
The next subsection contains estimates being crucial for the proof of the above results.
4.2 Estimates for singular values
We begin by introducing certain operators \(\mathrm{T}_{r, R}\) on \(\mathrm {L}^2({\mathbb {R}}^2)\). To this end, we denote by \(\mathsf{D}(x, R)\subset {\mathbb {R}}^2\) the open disk of radius \(R>0\), centered at the point \(x\in {\mathbb {R}}^2\) and abbreviate \(\mathbb {1}_R := \mathbb {1}_{\mathsf{D}(0, R)}\) and similarly with R replaced by \(r>0\). Then we define the operators
Here we assume that the magnetic-field strength has been “scaled out”, so that \(B=1\) in formula (2.2). We interpret \(\mathrm{T}_{r,R}\) as an operator from \(\mathrm {L}^2({\mathbb {R}}^2)\) into \(\mathrm {L}^2(\mathsf{D}(0,r))\).
In order to estimate the singular values of \(\mathrm{T}_{r,R}\) we recall the short compilation below Lemma 4 and a classical result due to Birman and Solomyak, see [1, Theorem 4.7]. We quote the required fact in a form adapted to our purposes.
Proposition 11
Let \(\mathrm{Z}:\mathrm {L}^2({\mathbb {R}}^2)\rightarrow \mathrm {L}^2(\mathsf{D}(0,r))\) be an integral operator defined by a complex-valued kernel \({\mathcal {Z}}(x, y)\) obeying
for some \(\gamma \in {\mathbb {N}}_0\). Then the singular values \(s_n(\mathrm{Z})\) of \(\mathrm{Z}\) satisfy the bound
with a positive constant C dependent on r but independent of the kernel \({\mathcal {Z}}\).
Lemma 12
The operator \(\mathrm{T}_{r, 0}\) belongs to the Schatten–von Neumann class \({\mathfrak {S}}_p\) for all \(p>0\). Moreover, if \(R >r\), then
with some constant C dependent on r but independent of R.
Proof
In order to apply Proposition 11, we estimate for \(\Vert x\Vert < r\), and \(s,t\in {\mathbb {N}}_0\), \(0\le s,t\le \gamma \):
with a constant \(C_{\gamma , \ell }\) depending on r. Here we have used the fact that \({\mathcal {L}}_\ell \) is a polynomial of degree \(\ell \). For \(R > r\) and \(y\notin \mathsf{D}(0, R)\) we conclude that
Thus the integral kernel \({\mathcal {T}}_{r, R}(x,y) := 1_r(x) p_\ell (x, y) (1 - 1_R(y))\) of \(\mathrm{T}_{r, R} \) satisfies, for any \(\gamma \in {\mathbb {N}}\), the bounds
where the constant \(C_{\gamma , \ell }\) is independent of R. For an arbitrary \(p>0\) we now take \(\gamma >2p^{-1}-1\). Then by Proposition 11, \(\mathrm{T}_{r, R}\in {\mathfrak {S}}_p\) for all \(R\ge 0\) and the bound (4.9) holds for \(R>r\). \(\quad \square \)
Lemma 12 is an important ingredient to bound quasi-norms of the operator \(\mathbb {1}_{L\Lambda }{\text {P}}_\ell (\mathbb {1}-\mathbb {1}_{L\Lambda })\). Although our main result Theorem 8 is proved for a bounded \({\mathsf {C}}^3\)-region \(\Lambda \), the next theorem even holds for a bounded Lipschitz region. Here, the boundary curve \(\partial \Lambda \) of \(\Lambda \) is Lipschitz continuous.
Theorem 13
Let \(\Lambda \subset {\mathbb {R}}^2\) be a bounded Lipschitz region and \(\ell \in {\mathbb {N}}_0\). Moreover, let \(p\in {(0, 1]}\) and \(L_0 >0\) finite. Then there exists a constant C, depending only on \(\Lambda \) and \(L_0\), such that for any \(L\ge L_0\),
Proof
We begin with two useful observations. Firstly, we note that \(\Vert \mathbb {1}_{L\Lambda } \mathrm{P}_\ell (\mathbb {1}-\mathbb {1}_{L\Lambda })\Vert _p\le \Vert \text{ T}_{Lr, 0}\Vert _p\) by (2.17) with some \(r >0\), where the operator \(\text{ T}_{r, 0}\) is defined in (4.8). Thus, by Lemma 12, for every fixed L the left-hand side of the claim (4.10) is finite. Consequently, it suffices to prove (4.10) for \(L\ge L_0\) with an arbitrary choice of the finite \(L_0\).
Secondly, denoting \(\Lambda ' := L_0\Lambda \), we can rewrite (4.10) as follows:
where C depends on \(\Lambda \) and the arbitrary \(L_0\).
Now we can proceed with the proof. We cover \(\Lambda \) by finitely many disks \(\mathsf{D}(x_k, r_k)\) such that either
-
(1)
\(x_k\in \partial \Lambda \) and inside each disk \(\mathsf{D}(x_k, 8r_k)\), with an appropriate choice of coordinates, the domain \(\Lambda \) is given locally by the epigraph of a Lipschitz function (see below), or
-
(2)
\(\mathsf{D}(x_k, r_k)\subset \Lambda \) and \(\mathrm{dist}\big (\mathsf{D}(x_k, r_k), \Lambda ^\complement \big )>0\), where \(\Lambda ^\complement :={{\mathbb {R}}}^2\setminus \Lambda \) denotes the complement of \(\Lambda \).
It is clear that we may assume that all radii \(r_k\) are equal to each other. Moreover, by replacing \(\Lambda \) with \(\Lambda ' = L_0\Lambda \) with \(L_0 = r_k^{-1}\), we may assume that \(r_k=1\). This equality holds throughout the proof.
Case (1): We fix one disk \(\mathsf{D} := \mathsf{D}(x_k, 1)\subset {\mathbb {R}}^2\), \(x_k\in \partial \Lambda \), and denote \(\widetilde{\mathsf{D}} := \mathsf{D}(x_k, 8)\). Let \(\Phi : {\mathbb {R}}\rightarrow {\mathbb {R}}\) be a Lipschitz function such that
By \(M\ge 0\) we denote the Lipschitz constant for \(\Phi \), i.e.
It is clear that
and that the Lipschitz constant for \(\Phi _L\) also equals M. Without loss of generality we may assume that \(\mathsf{D} = \mathsf{D}(0, 1)\) and \(\Phi (0) = 0\).
Now we construct a covering of \(L\Lambda \cap L\mathsf{D}\) by open disks. Let \(\mathsf{D}_{jk}\) be a disk of radius 1, centered at the point \(z_{j, k} := (j/2, k/2)\in L\mathsf{D}\), \((j, k)\in {\mathbb {Z}}^2\). Clearly, such disks form an open covering for \(L\mathsf{D}\). To extract a convenient covering for \(L\Lambda \cap L\mathsf{D}\), we define two index sets:
Since \(\Phi \) is Lipschitz, the number of indices in \(I_2\) obeys \(|I_2| \le CL\) with a constant independent of L. The disks \(\mathsf{D}_{jk}\), \((j, k)\in I_1\cup I_2\) form a covering of the intersection \(L\Lambda \cap L\mathsf{D}\). Observe that for every point \(x = (x', x'')\in L\Lambda \cap L\mathsf{D}\) we have
and
so that
Let \((\varphi _{jk})_{jk}\subset {\mathsf {C}}^\infty _0({\mathbb {R}}^2)\) be a partition of unity subordinate to the constructed covering. In the following, we use a superposed hat for the (bounded) multiplication operator \({\widehat{\varphi }}\) on \(\text{ L}^2({{\mathbb {R}}}^2)\) uniquely corresponding to \(\varphi \in {\mathsf {C}}^\infty _0({\mathbb {R}}^2)\). We estimate individually the quasi-norms
for \(p\in (0, 1]\). Let us consider firstly the set \(I_2\). For all \((j, k)\in I_2\) we have
The first inequality follows from (2.17). The second inequality holds since \(\varphi _{jk} 1_{L\Lambda } \le 1_{\mathsf{D}_{jk}}\) and hence \({\widehat{\varphi }}_{jk} \mathbb {1}_{L\Lambda }{\text {P}}_\ell \mathbb {1}_{L\Lambda } {\widehat{\varphi }}_{jk} \le \mathbb {1}_{\mathsf{D}_{jk}} {\text {P}}_\ell \mathbb {1}_{\mathsf{D}_{jk}}\). Using the standard unitary equivalence of the Hamiltonian (2.1) under “magnetic” translations, we conclude that the right-hand side coincides with \(\Vert \mathbb {1}_\mathsf{D} {\text {P}}_\ell \Vert _p\), where \(\mathsf{D} = \mathsf{D}(0, 1)\), as before. By Lemma 12, this norm is bounded for all \(p>0\), and hence
uniformly in j and k. Applying the p-triangle inequality (2.16) for quasi-norms, we get
Suppose now that \((j, k)\in I_1\). Thus
with \(R_{jk} = {\mathrm{dist}}(z_{jk}, L{\Lambda ^\complement })\ge 2\). By the translation argument, the right-hand side coincides with \(\Vert \mathrm{T}_{1, R_{jk}}\Vert _p\), where the operator \(\mathrm{T}_{1, R}\) is defined in (4.8). Consequently, by (4.9),
Using the p-triangle inequality again, we obtain that
Employing (4.11), for any fixed j, the summation over k yields the estimate
Since \(|j|\le 2L\), the right-hand side of (4.12) does not exceed CL. Putting these estimates together we obtain
Case (2): We fix one disk \(\mathsf{D} = \mathsf{D}(x_k, r_k)\) such that \({\mathrm{dist}}(\mathsf{D}, \Lambda ^\complement ) \ge c\), so that \({\mathrm{dist}}(L\mathsf{D}, L\Lambda ^\complement ) \ge cL\). We cover \(L\mathsf{D}\) by unit disks \(\mathsf{D}_j\), \(j=1,\ldots ,N\) with \(N\le CL^2\) and \({\mathrm{dist}}(\mathsf{D}_j, L\Lambda ^\complement )\ge cL\). As in the proof of Case (1), we introduce a smooth partition of unity \((\varphi _j)_j\subset {\mathsf {C}}^\infty _0({\mathbb {R}}^2)\) subordinate to this covering, and estimate:
Consequently, by the p-triangle inequality (2.16)
To complete the proof we add the estimates of the form (4.13) and (4.14) for all disks covering \(\Lambda \), using the p-triangle inequality again. \(\quad \square \)
4.3 Proofs of Lemma 7 and Theorem 8
We use the bound
with a positive constant \(C_\alpha <\infty \). Here we choose \(\beta = \alpha \) if \(\alpha < 1\), any \(\beta \in (0,1)\) if \(\alpha = 1\), and \(\beta =1\) if \(\alpha >1\). Since \(\Lambda \) is bounded, we have \(\Lambda \subset \mathsf{D}(0, r)\) with some \(r >0\). This leads to the estimate
Using the \(\beta \)-triangle inequality and Lemma 12, we obtain the estimate (see (4.8) for the definition of \(\text{ T}_{r, 0}^{(\ell )}\))
as claimed. This proves Lemma 7. \(\quad \square \)
Now we prove Theorem 8. Since \(h_\alpha \) satisfies the bound (4.15), it follows from Lemma 4 that the coefficient \(\mathsf{M}_{\le \nu }(h_\alpha )\) is finite. The positivity of \(\mathsf{M}_{\le \nu }(h_\alpha )\) is obvious from \(h_\alpha \ge 0, {\mathcal {K}}_{\nu ,\xi }\ge 0\), and \(h_\alpha (1)=0\). If \(\alpha >1\), then the function \(h_\alpha \) is \({\mathsf {C}}^1\)-smooth on [0, 1], and hence the claim follows immediately from Theorem 2.
In order to prove (4.3) for \(\alpha \le 1\) we follow the method of [16]. For \(\varepsilon >0\) we choose a smooth function \(\zeta _\varepsilon \) such that \(0\le \zeta _\varepsilon \le 1\) and
In view of estimate (4.15), we have
and hence
By Theorem 13, the quasi-norm on the right-hand side does not exceed CL. Consequently,
On the other hand, the function \((1-\zeta _\varepsilon )h_\alpha \) vanishes in a vicinity of 0 and 1 and, therefore, by Theorem 2, we have
By (4.16),
Combining (4.18), (4.19), and (4.20) gives
Since \(\varepsilon >0\) is arbitrary, this yields the claim. \(\quad \square \)
5 On an Improvement to Sub-leading Terms
Without going into details, we show here how one can improve the asymptotic expansions in Lemmas 5 and 6 to
where \(f(t) = t^n, n = 1, 2,\ldots \). This follows again by proving the corresponding statements for all natural powers of \({\text {P}}_\ell (L\Lambda )\). Here, we use the expansion of Roccaforte in Proposition 14 up to the second order \(\varepsilon ^2\). For any vector \(y = -z {\mathsf {J}}n_x + tn_x\in {{\mathbb {R}}}^2\), written in the form (3.8), we have \(\Vert y\Vert ^2 - 2\,\langle y| n_x\rangle ^2 = z^2 - t^2\). Then the W-term in (3.7) takes the form
If we exchange the \(\mathbf{z }\) and \(\mathbf{t }\) variables, the integrand is seen to be almost anti-symmetric except for the sign in the exponent. This can be remedied by changing, for instance, \(\mathbf{t }\) to \(-\mathbf{t }\). Hence, the integral in (5.3) vanishes by symmetry.
At present we do not know how to extend the expansions (5.1) and (5.2) to the entropy function \(f=h_\alpha \), but believe that the corresponding term vanishes also in this case. In other words, there is zero topological (entanglement) entropy, see [12, 18].
References
Birman, M.Sh., Solomyak, M.Z.: Estimates of singular numbers of integral operators, Russian Math. Surveys 32, 15–89 (1977) [Russian original: Uspekhi Mat. Nauk 32, 17–84 (1977)]
Birman, M.Sh, Solomyak, M.Z.: Spectral Theory of Self-Adjoint Operators in Hilbert Space. Reidel, Dordrecht (1987)
Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics 2, 2nd edn. Springer, Berlin (1996)
Charles, L., Estienne, B.: Entanglement entropy and Berezin–Toeplitz operators. Commun. Math. Phys. 376, 521–554 (2020)
Eisert, J., Cramer, M., Plenio, M.B.: Area laws for the entanglement entropy: a review. Rev. Mod. Phys. 82, 277–306 (2010)
Elgart, A., Pastur, L., Shcherbina, M.: Large block properties of the entanglement entropy of disordered fermions. J. Stat. Phys. 166, 1092–1127 (2017)
Fock, V.: Bemerkung zur Quantelung des harmonischen Oszillators im Magnetfeld. Z. Phys. 47, 446–448 (1928). [in German]
Gioev, D., Klich, I.: Entanglement entropy of fermions in any dimension and the Widom conjecture. Phys. Rev. Lett. 96, 100503 (2006)
Helling, R., Leschke, H., Spitzer, W.: A special case of a conjecture by Widom with implications to fermionic entanglement entropy. Int. Math. Res. Notices 2011, 1451–1482 (2011)
Huang, K.: Statistical Mechanics, 2nd edn. Wiley, New York (1987)
Hupfer, T., Leschke, H., Warzel, S.: Upper bounds on the density of states of single Landau levels broadened by Gaussian random potentials. J. Math. Phys. 42, 5626–5641 (2001)
Kitaev, A., Preskill, J.: Topological entanglement entropy. Phys. Rev. Lett. 96, 110404 (2006)
Klich, I.: Lower entropy bounds and particle number fluctuations in a Fermi sea. J. Phys. A Math. Gen. 39, L85–L91 (2006)
Landau, L.: Diamagnetismus der Metalle. Z. Phys. 64, 629–637 (1930). [in German]
Leschke, H., Sobolev, A.V., Spitzer, W.: Large-scale behaviour of local and entanglement entropy of the free Fermi gas at any temperature. J. Phys. A: Math. Theor. 49 30LT04 (2016); Corrigendum: 50 129501 (2017)
Leschke, H., Sobolev, A.V., Spitzer, W.: Scaling of Rényi entanglement entropies of the free Fermi-gas ground state: a rigorous proof. Phys. Rev. Lett. 112, 160403 (2014)
Leschke, H., Sobolev, A.V., Spitzer, W.: Trace formulas for Wiener–Hopf operators with applications to entropies of free fermionic equilibrium states. J. Funct. Anal. 273, 1049–1094 (2017)
Levin, M., Wen, X.-G.: Detecting topological order in a ground state wave function. Phys. Rev. Lett. 96, 110405 (2006)
Müller, P., Schulte, R.: Stability of the enhanced area law of the entanglement entropy, preprint: arXiv:2004.02700
Müller, P., Pastur, L., Schulte, R.: How much delocalisation is needed for an enhanced area law of the entanglement entropy? Commun. Math. Phys 376, 649–679 (2020). https://doi.org/10.1007/s00220-020-03784-3
Pastur, L., Shcherbina, M.: Szegö-type theorems for one-dimensional Schrödinger operator with random potential (smooth case). J. Math. Phys. Anal. Geom. [Zh. Mat. Fiz. Anal. Geom.] 14, 362–388 (2018)
Pastur, L., Slavin, V.: The absence of the selfaveraging property of the entanglement entropy of disordered free fermions in one dimension. J. Stat. Phys. 170, 207–220 (2017)
Peierls, R.: Surprises in Theoretical Physics. Princeton University Press, Princeton (1979)
Pfirsch, B., Sobolev, A.V.: Formulas of Szegő type for the periodic Schrödinger operator. Commun. Math. Phys. 358, 675–704 (2018)
Roccaforte, R.: On asymptotic expansions of traces for certain convolution operators. Trans. Am. Math. Soc. 285, 581–602 (1984)
Rodríguez, I.D., Sierra, G.: Entanglement entropy of integer quantum Hall states. Phys. Rev. B 80, 153303 (2009)
Rodríguez, I.D., Sierra, G.: Entanglement entropy of integer quantum Hall states in polygonal domains. J. Stat. Mech. 1012, P12033 (2010)
Simon, B.: Trace Ideals and Their Applications, 2nd edn. American Mathematical Society, Providence, Rhode Island (2005)
Sobolev, A.V.: Pseudo-Differential Operators with Discontinuous Symbols: Widom’s Conjecture, Memoirs of the Amer. Math. Soc. 222(1043), Providence, Rhode Island, 2013
von Klitzing, K.: The quantized Hall effect. Rev. Mod. Phys. 58, 519–531 (1986)
Widom, H.: On a class of integral operators with discontinuous symbol. Oper. Theory Adv. Appl. 4, 477–500 (1982)
Acknowledgements
Various parts of this paper were developed and written during several visits of HL and AVS to the FernUniversität in Hagen in 2016–2019, and during the stay of all authors at the International Newton Institute (Cambridge, UK) in 2015 and to the American Institute of Mathematics (AIM) at San Jose (CA, USA) in 2017. The authors are grateful to these institutions for hospitality and financial support. AVS was also supported by the EPSRC grants EP/J016829/1 and EP/P024793/1. We thank Paul Pfeiffer for helpful comments.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Marklof
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Roccaforte’s Formula for the Area of Intersections
We recall Roccaforte’s results in [25, Corollary 2.4, Lemma 2.5] for the special case of the Euclidean plane. Since the boundary curve \(\partial \Lambda \) is a one-dimensional manifold, the second fundamental form of \(\partial \Lambda \) is just its curvature. Therefore, his formula takes the simpler form given in Proposition 14 below.
In our application we scale out \(\varepsilon \) and identify \(L\sqrt{B}=1/\varepsilon \). For given points/vectors \(v_1,\ldots ,v_r\) in \({{\mathbb {R}}}^2\) we denote by \(\Lambda _\varepsilon := \Lambda \cap (\Lambda +\varepsilon v_1) \cap \cdots \cap (\Lambda +\varepsilon v_r)\) the intersection of \(\Lambda \) with its r translates.
Proposition 14
Let \(\Lambda \subset {{\mathbb {R}}}^2\) be a bounded \({\mathsf {C}}^3\)-region. Then for arbitrary \((v_1,\ldots ,v_r)\in {{\mathbb {R}}}^{2}\times \cdots \times {{\mathbb {R}}}^2\), we have
with some constant C independent of \(\varepsilon > 0\) or \(v_1, v_2,\ldots ,v_r\), where \(n_x\) is the inward unit normal to the curve \(\partial \Lambda \). Moreover, for all \((v_1,\ldots , v_r) \in \mathbb {R}^2 \times \cdots \times \mathbb {R}^2\) except for a set of 2r-dimensional Lebesgue measure zero we have
Here, \({\mathcal {C}}_q := \big \{x\in \partial \Lambda :\langle v_q|n_x\rangle = \max \big \{0,\langle v_1|n_x\rangle ,\ldots ,\langle v_r|n_x\rangle \big \}\big \}\) and \(\kappa (x)\) is the curvature of \(\partial \Lambda \) at the point \(x\in \partial \Lambda \).
Miscellaneous Identities
1.1 Proof of the result (3.26) of a change of variables
The term quadratic in \(\xi \) is obviously correct and we start with the linear term in \(\xi \). The inverse of the matrix \({\mathsf {A}} := {\mathsf {A}}^{(q)}\) has the entries
and
In the \(\rightsquigarrow \) line we have reversed the signs of \(\tau _{q+1},\ldots ,\tau _{m-1}\). Now we replace \(\xi \) on the left-hand side of (3.26) by \(\xi - (\tau _1+\tau _{m-1})/2\), which finally yields the linear term
Similarly, since
we have (\(T_m=0\))
Next, we write
Now we reverse the signs of \(\tau _{q+1},\ldots ,\tau _{m-1}\). To this end, let \({\mathsf {I}}:={\mathsf {I}}^{(q)} = {\mathrm {diag}}(\underbrace{1,\ldots ,1}_q,\underbrace{-1,\ldots ,-1}_{m-1-q})\) be the diagonal \((m-1)\times (m-1)\) matrix that provides this reversal. Then we get
Recall that \(\xi \) in (3.26) is replaced by \(\xi -(\tau _1+\tau _{m-1})/2\). That is, on top of the term \({\textstyle \frac{1}{4}}\sum _{1\le j\le m} (T_j^2 + t_j^2)\) (after reversing signs of \(\tau _{q+1},\ldots ,\tau _{m-1}\)) we also have the term
Let \({\mathsf {B}}\) be the \((m-1)\times (m-1)\) matrix defined as
Then we need to show that \({\mathsf {B}} = \mathbb 1\). We distinguish between certain ranges of indices.
-
\(i_0 = j_0 = 1\): From the first and last term in the definition of \({\mathsf {B}}\) we get \({\mathsf {B}}_{1,1} = {\textstyle \frac{m}{4}} + (1-{\textstyle \frac{m}{4}}) = 1 \ \checkmark \)
-
\(1=i_0 < j_0\le q-1\): choose in (B.2) \(k=1,\ell =j_0\) or \(k=1,\ell =j_0-1\). Then we have \({\mathsf {B}}_{1,j_0} = 1-(j_0-i_0) + (j_0-1-i_0) = 0 \ \checkmark \)
-
\(i_0=1, j_0=q\): choose in (B.2) \(k=1,\ell =q-1\). Then, together with (B.3) and the last term in the definition of \({\mathsf {B}}\) we get \({\mathsf {B}}_{1,q} = q-2 - (q-1) +1 = 0 \ \checkmark \)
-
\(i_0=1, j_0=q+1\): choose in (B.5) \(k=1,\ell =q+2\). Then, together with (B.4) and the last term in the definition of \({\mathsf {B}}\) we get \({\mathsf {B}}_{1,q+1} = q -(q+1) -1= 0\ \checkmark \)
-
\(i_0=1, q+2\le j_0\le m-1\): choose in (B.5) \(k=1,\ell =j_0\) and \(k=1,\ell =j_0+1\). Then, together with the last term in the definition of \({\mathsf {B}}\) we get \({\mathsf {B}}_{1,j_0} = j_0-1 -j_0 +1 = 0 \ \checkmark \)
-
\(2\le i_0 = j_0\le q-1\): choose in (B.2) \(k=i_0-1,\ell =i_0\). Then \({\mathsf {B}}_{i_0,i_0} = 1 \ \checkmark \)
-
\(2\le i_0<j_0\le q-1\): choose in (B.2) \(k=i_0,\ell =j_0\), \(k=i_0-1,\ell =j_0-1\), \(k=i_0,\ell =j_0-1\), or \(k=i_0-1,\ell =j_0\). Then \({\mathsf {B}}_{i_0,j_0} = -(j_0 - i_0) - (j_0 - i_0) + (j_0-1-i_0) + (j_0 - i_0 +1) = 0\ \checkmark \)
-
\(2\le i_0\le q-1, j_0 = q\): choose in (B.2) \(\ell = q-1\) and \(k=i_0\) or \(k=i_0-1\) and in (B.3) \(k=i_0\). Then \({\mathsf {B}}_{i_0,q} = q-1-i_0-(q-1-i_0+1)+1=0\ \checkmark \)
-
\(2\le i_0\le q-1, j_0 = q+1\): choose in (B.4) \(k=i_0\) and in (B.5) \(\ell =q+2\) and \(k=i_0\) or \(k=i_0-1\). Then \({\mathsf {B}}_{i_0,q+1} = -1 -(q+2-i_0) + q+2-i_0+1 = 0\ \checkmark \)
-
\(2\le i_0\le q-1, q+2\le j_0 \le m-1\): choose in (B.5) \(k=i_0\) and \(\ell =j_0\) or \(\ell =j_0+1\), or \(k=i_0-1\) and \(\ell =j_0\) or \(\ell =j_0+1\). Then \({\mathsf {B}}_{i_0,j_0} = (j_0-i_0) -(j_0+1-i_0)-(j_0-i_0+1)+(j_0+1-i_0+1) = 0\ \checkmark \)
-
\(i_0=q, j_0=q\): this term appears in (B.3) if \(k=q\). Then \({\mathsf {B}}_{q,q} = 1\ \checkmark \)
-
\(i_0=q, j_0=q+1\): choose in (B.4) \(k=q\), in (B.5) \(k=q-1\) and \(\ell =q+2\), in (B.7) \(\ell =q+2\). Then \({\mathsf {B}}_{q,q+1} = -1 + (q+2-q+1) +1 -(q+2-q) 0\ \checkmark \)
-
\(i_0=q, q+2\le j_0\le m-1\): choose in (B.5) \(k=q-1\) and \(\ell =j_0\) or \(\ell = j_0+1\) and in (B.7) \(\ell =j_0\) or \(\ell =j_0+1\). Then \({\mathsf {B}}_{q,j_0} = -(j_0-q+1) + (j_0+1-q+1) +(j_0-q) -(j_0+1-q) = 0\ \checkmark \)
-
\(i_0=j_0=q+1\): choose in (B.8) \(\ell = q+2\). Then \({\mathsf {B}}_{q+1,q+1} = 1 \ \checkmark \)
-
\(i_0=q+1, j_0=q+2\): choose in (B.6) \(k=q+2,\ell =q+3\) and in (B.8) \(\ell = q+2\) or \(\ell = q+3\). Then \({\mathsf {B}}_{q+1,q+2} = -1 -1 +2 = 0\ \checkmark \)
-
\(i_0=q+1, q+2\le j_0\le m-1\): choose in (B.6) \(k=q+1\) and \(\ell =j_0\) or \(\ell = j_0+1\), and in (B.8) \(\ell = j_0\) or \(\ell =j_0+1\). Then \({\mathsf {B}}_{q+1,j_0} = (j_0-q-1) -(j_0+1-q-1) -(j_0-q-1) +(j_0+1-q-1) = 0\ \checkmark \)
-
\(q+2\le i_0 = j_0\le m-2\): choose in (B.6) \(k=i_0\) and \(\ell =i_0+1\). Then \({\mathsf {B}}_{i_0,i_0} = 1 \ \checkmark \)
-
\(i_0 = j_0 = m-1\): \({\mathsf {B}}_{m-1,m-1}\) comes from the first and third one in the definition of \({\mathsf {B}}\). That is, \({\mathsf {B}}_{m-1,m-1} = {\textstyle \frac{m}{4}} + (1-{\textstyle \frac{m}{4}}) = 1 \ \checkmark \)
-
\(q+2\le i_0<j_0\le m-2\): choose in (B.6) \(k=i_0,\ell =j_0\), \(k=i_0+1,\ell =j_0\), \(k=i_0,\ell =j_0+1\), \(k=i_0+1,\ell =j_0+1\). Then \({\mathsf {B}}_{i_0,j_0} = -(j_0-i_0) + (j_0-i_0-1) + (j_0+1-i_0) -(j_0-i_0) = 0\ \checkmark \)
-
\(q+2\le i_0, j_0= m-1\): choose (B.6) \(\ell =m-1\) and \(k=i_0\) or \(k=i_0+1\). In conjunction with the last term in the definition we obtain \({\mathsf {B}}_{i_0,m-1} = -(m-1-i_0) + (m-1-i_0-1) + 1=0\ \checkmark \)
Finally, switching \(\xi \) to \(-\xi \) proves (3.26).
1.2 Change of variables in Laguerre polynomials
With \(T_j\) from (3.13) and \(\varvec{\tau }= {\mathsf {A}} \mathbf{t }, {\mathsf {A}}={\mathsf {A}}^{(q)}\) from (3.25), we claim that
To this end, we write
and assume for example that \(1\le j\le q-1\). Then, using (B.1)
Also,
The other two cases follow in a similar vein. After reversing the signs of \(\tau _{q+1},\ldots ,\tau _{m-1}\),
Next, we replace \(\xi \) by \(\xi -(\tau _1+\tau _{m-1})/2\). So we subtract from \(T_j\) the term \((\tau _1+\tau _{m-1})/2\). This leads to
Let
Now we replace \(\xi \) by \(-\xi \) so that
For \(j=q\) the last expression equals
Next, we shift the integration with respect to \(\tau _q\) by \(\xi \). That is, we replace \(\tau _q\) by \(\tau _{q}-\xi \). Then we have
For \(j=q+1\) we get in the end the expression \((\omega -2\mathrm {i}\xi )(\omega -2\mathrm {i}\tau _{q+1})\).
For \(1\le j\le q-1\) we have
Similarly, for \(q+2\le j\le m-1\),
Finally, with \(T_m=0\) and \(t_m = \tau _1+\tau _{m-1}\),
1.3 Proof of the identity (3.28)
We start out with the representation of the Laguerre polynomial as a contour integral in the complex plane \({\mathbb {C}}\), namely
Here, the contour \(\Gamma \) is, say, a circle of radius \(<1\), centered at the origin 0, and with counter-clockwise orientation. Then, for any given pair \(\xi ,\tau \in {{\mathbb {R}}}\), we have
Now we observe
and perform the \(\omega \)-integration. This yields
By the Cauchy integral formula (of the year 1831) we therefore get
The Mehler formula (of the year 1866)
now completes the proof of (3.28).
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
Leschke, H., Sobolev, A.V. & Spitzer, W. Asymptotic Growth of the Local Ground-State Entropy of the Ideal Fermi Gas in a Constant Magnetic Field. Commun. Math. Phys. 381, 673–705 (2021). https://doi.org/10.1007/s00220-020-03907-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-020-03907-w