---
abstract: |
    The Laughlin state is an ansatz for the ground state of a system of 2D quantum particles submitted to a strong magnetic field and strong interactions. The two effects conspire to generate strong and very specific correlations between the particles.

    I present a mathematical approach to the rigidity these correlations display in their response to perturbations. This is an important ingredient in the theory of the fractional quantum Hall effect. The main message is that potentials generated by impurities and residual interactions can be taken into account by generating uncorrelated quasi-holes on top of Laughlin's wave-function.

    An appendix contains a conjecture (not due to me) that should be regarded as a major open mathematical problem of the field, relating to the spectral gap of a certain zero-range interaction.

    Expository text based on joint works with Elliott H. Lieb, Alessandro Olgiati, Sylvia Serfaty and Jakob Yngvason.
address: 'Université Grenoble Alpes & CNRS, LPMMC (UMR 5493), B.P. 166, F-38042 Grenoble, France'
author:
- Nicolas Rougerie
date: 'June, 2019'
title: On the Laughlin function and its perturbations
---

This text is based on a talk given at the Laurent Schwartz X-EDP seminar in Bures-sur-Yvette in December 2018 (thanks to François Golse and Frank Merle for the invitation). The talk was mostly based on @LieRouYng-17 [@RouYng-17], but the following exposition also contains results obtained later @OlgRou-19. A conjecture, folklore in the condensed matter physics community, is presented in an appendix.

Physical motivation
===================

Laughlin's state
----------------

We are looking for a wave-function for $N$ 2D planar quantum spinless electrons. It should be a square-integrable function $\Psi_N: {\mathbb{R}}^{2N} \mapsto {\mathbb{C}}$, normalized $$\label{eq:mass}
 \int_{{\mathbb{R}}^{2N}} |\Psi_N| ^2 = 1$$ and (because of the Pauli principle) antisymmetric with respect to exchange of particle labels: $$\label{eq:antisym}
\Psi_N (x_{\sigma(1)},\ldots,x_{\sigma(N)}) = (-1) ^{\mathrm{sign} (\sigma)} \Psi_N (x_1,\ldots,x_N)$$ for all $x_1,\ldots,x_N \in {\mathbb{R}}^{2}$ and all permutations $\sigma$ of the $N$ labels.

More precisely we study the Laughlin wave-function from 1983 @Laughlin-83 [@Laughlin-87] $$\label{eq:PsiLau}
 {\Psi_{\rm Lau}}^{(\ell)} (z_1,\ldots,z_N):= {c _{\rm Lau}}\prod_{1\leq i < j \leq N} (z_i-z_j) ^\ell e^{-\frac{B}{4}\sum_{j=1} ^N |z_j| ^2}$$ where the planar coordinates $x_1,\ldots,x_N $ of the electrons are identified with complex numbers $z_1,\ldots,z_N$, $B>0$, $\ell$ is an *odd*[^1] integer and ${c _{\rm Lau}}={c _{\rm Lau}}(\ell)$ is a $L^2$-normalization constant.

As we shall explain shortly, it is natural to consider general perturbations of the Laughlin function, of the form $$\label{eq:PsiF}
 \Psi_F (z_1,\ldots,z_N):= c_F {\Psi_{\rm Lau} ^{(\ell)}}(z_1,\ldots,z_N) F (z_1,\ldots,z_N)$$ where $F$ is analytic in all its complex arguments and symmetric $$\label{eq:sym}
F (z_{\sigma(1)},\ldots,z_{\sigma(N)}) =  F (z_1,\ldots,z_N)$$ for any permutation $\sigma$, so that $\Psi_F$ retains the symmetry of ${\Psi_{\rm Lau} ^{(\ell)}}$. Again, $c_F$ is a $L^2$-normalization constant.

It is of interest in fractional quantum Hall physics to restrict the general perturbation  to a much more restricted class $$\label{eq:Psif}
 \Psi_f (z_1,\ldots,z_N):= c_f {\Psi_{\rm Lau} ^{(\ell)}}(z_1,\ldots,z_N) \prod_{j=1} ^N f(z_j)$$ where $f:{\mathbb{C}}\mapsto {\mathbb{C}}$ is analytic and $c_f$ is a normalization constant.

The purpose of this expository note is to review mathematical theorems of the following flavor:

$$\begin{gathered}
\label{eq:meta thm}
 \mbox{Variational problem on the full set } \{ \Psi_F \} \underset{N\to \infty}{\longrightarrow} \\ \mbox{Same variational problem, on the restricted set } \{ \Psi_f \}.\end{gathered}$$

The class of "natural" variational problems we consider is described in more details below. The motivation is from fractional quantum Hall physics @Jain-07 [@Girvin-04; @Goerbig-09; @StoTsuGos-99; @Laughlin-99]. More details can be found in the original research papers this note summarizes @LieRouYng-17 [@OlgRou-19; @RouSerYng-13a; @RouSerYng-13b; @RouYng-14; @RouYng-15; @RouYng-17]. Other expository versions are in @LieRouYng-16 [@Rougerie-INSMI] and @Rougerie-hdr [Chapter 3].

There are two ways, both instructive, to interpret a result of the form :

**Absence of superfluous correlations**. The wave-function ${\Psi_{\rm Lau} ^{(\ell)}}$ we start from contains pair correlations between electrons, because of the Jastrow factors $(z_i-z_j) ^\ell$. Since $F$ in  is analytic, it cannot "undo" these correlations by canceling a factor: $\Psi_F$ can only be more correlated than ${\Psi_{\rm Lau} ^{(\ell)}}$. What the statement says is that, in the situations of our concern, it is physically useless to add more correlations: the minimizers of the variational problem have an uncorrelated $F = f ^{\otimes N}$.

**Emergence of quasi-particles**. The analytic function $f$ defining  is essentially a polynomial. Write it as $$\label{eq:f zeroes}
 f (z) = \prod_{k=1} ^K (z-a_k) ^{m_k}.$$ The complex numbers $a_1,\ldots,a_K$ are interpreted as the locations of quasi-particles (in fact, quasi-holes) generated from the Laughlin state. These are the effective particles responsible for the phenomenology of the fractional quantum Hall effect (FQHE), in particular the charge transport @SamGlaJinEti-97 [@MahaluEtal-97; @YacobiEtal-04] in lumps of $\ell^{-1}\times $ the electron's elementary charge (the $\ell$ is that appearing in ). One can indeed argue that each $a_k$ corresponds to a defect of density $\sim m_k \ell^{-1}$ in the charge density of $\Psi_f$, as compared to the (approximately flat, see Theorem \[thm:Lau\] below) density of the bare ${\Psi_{\rm Lau} ^{(\ell)}}$.

We shall refer to states of the form  as the *Laughlin phase*. As regards the Laughlin quasi-holes, we stress that they are here seen as classical particles, parameters in a many-body wave-function. If one considers them as true quantum particles instead, they should be be thought of @AroSchWil-84 [@LunRou-16] as anyons with statistics parameter $-1/\ell$. That is, they are neither bosons nor fermions, but something in between. We shall not discuss this topic here.

Physics background
------------------

Let us quickly explain what ${\Psi_{\rm Lau} ^{(\ell)}}$ (and its descendants) are supposed to do. In fact, it is constructed out of the following considerations:

It is of the form "analytic $\times$ gaussian" or, in other words, made entirely of single-particle orbitals belonging to the lowest Landau level of a magnetic field perpendicular to the plane, of intensity $B$. This means that all the electrons collectively described by ${\Psi_{\rm Lau} ^{(\ell)}}$ have the lowest possible magnetic kinetic energy: they do the best they can to accommodate a huge external magnetic field, the crucial ingredient of the quantum Hall effect. This is true for any choice of $\ell$ in .

It vanishes when electrons come close, because of the zeroes of the wave-function on the hyperplanes $z_i = z_j$. The parameter $\ell$ adjusts the rate of vanishing, but it is in fact fixed by other considerations (see below). The ansatz thus seems to do a good job at reducing repulsive interactions (Coulombic, or any other repulsive interaction for that matter).

The one-particle density of ${\Psi_{\rm Lau} ^{(\ell)}}$ is almost constant in a thermodynamically large (i.e. of radius $\propto \sqrt{N}$) disk, with value $B/(2\pi \ell)$. The ansatz is thus relevant to describe a homogeneous electron gas at density $B/(2\pi \ell)$, in the thermodynamic limit.

The function ${\Psi_{\rm Lau} ^{(\ell)}}$ is expected to be very rigid in its response to perturbations. Its natural excitations are described by simple variants, the Laughlin-plus-quasi-holes states . There are also Laughlin-plus-quasi-*particles* states, but their description is not as easy.

Points and conspire together: there is not much freedom in an analytic $\times$ gaussian function to vanish upon particle encounters $z_i=z_j$. The rate of vanishing is quantized (polynomial) and the zeroes come with a phase circulation/topological degree/winding number (whose chirality is imposed by the direction of the external magnetic field).

Another way to think of the good job the wave-function does against interactions is as a kind of super-Pauli principle. While the usual Pauli principle prevents electrons from multiple occupancy of a single-particle orbital, ${\Psi_{\rm Lau} ^{(\ell)}}$ has electrons occupying only $1$ out of $\ell$ available natural orbitals. These being spatially localized (again, because of the magnetic field), one can hope this favors repulsive interactions. See @CheBis-18 [@Haldane-11; @Haldane-18; @JohetalHal-16] and references therein for more details in this direction. Also observe that, any LLL (analytic $\times$ gaussian) many-body wave function satisfying  (i.e. the Pauli principle) must be of the form  with $\ell=1$ (because they must vanish at $z_i=z_j$). Taking a higher exponent thus enhances the Pauli principle.

Concerning point , we can formulate this as a theorem (see @RouSerYng-13b and references therein for a proof; this is in fact an instance of a large class of results on classical Coulomb gases old enough for me not to try to attribute priority, see @AndGuiZei-10 [@Forrester-10; @Serfaty-15]):

\[**Density of the Laughlin function**\]\[thm:Lau\]\
For a many-body wave-function $\Psi_N : {\mathbb{R}}^{2N} \mapsto {\mathbb{C}}$ satisfying , define its one-body density as $$\label{eq:density}
\rho_{\Psi_N} (x) := N \int_{{\mathbb{R}}^{2(N-1)}} |\Psi_N (x,x_2,\ldots,x_N)|^2 dx_2 \ldots dx_N.$$ Let ${\rho_{\rm Lau} ^{(\ell)}}$ be the one-body density of ${\Psi_{\rm Lau} ^{(\ell)}}$. Then, with $\ell$ and $B$ fixed, $$\label{eq:dens Lau}
 \int_{{\mathbb{R}}^2} \left| {\rho_{\rm Lau} ^{(\ell)}}- \frac{B}{2\pi \ell} {{\ensuremath {\mathds 1} }}_{D(0,R)}\right| \ll N$$ in the limit $N\to \infty$. Here $D(0,R)$ is the disk of center $0$ and radius $$R = \sqrt{\frac{2\ell N}{B}}.$$

Points , and above indicate (with a bit of hand-waving, perhaps) that ${\Psi_{\rm Lau} ^{(\ell)}}$ should be a very good ansatz for minimizing the energy of a 2D electron gas in a uniform perpendicular magnetic field, at density[^2] $\rho = B (2\pi \ell) ^{-1}$. This fact has been extensively checked numerically, see @Jain-07 [@Girvin-04; @Goerbig-09; @StoTsuGos-99; @Laughlin-99] for references.

What about point ? There are two aspects to it. One is a major open problem, that one can refer to as the *spectral gap conjecture*. I have nothing new to report on it, see Appendix \[app:spectral gap\] for a precise formulation. The other aspect is the topic of the following exposition, so see below.

To conclude with the physical motivation, we should emphasize the importance of point for the theory of the FQHE. Indeed, the effect does *not* occur in a *homogeneous electron gas at zero temperature and density $\rho = B (2\pi \ell) ^{-1}$* but in an *electron gas with impurities at small temperature and density in the vicinity of $\rho = B (2\pi \ell) ^{-1}$*. This is not a technical distinction: without impurities there would be no effect, and the essence of the QHE is a quantized plateau in the Hall conductivity of the sample for densities *close to* $B /(2\pi \ell)$. The latter fact is crucial to the main application of the QHE (in metrology, setting the standard for the von Klitzing constant $h/e^2$). Again, see @Jain-07 [@Girvin-04; @Goerbig-09; @StoTsuGos-99; @Laughlin-99] for introductions to the topic.

The mathematical problem and the main theorem
=============================================

We turn to proposing a mathematical formulation for point of the previous section. We first observe that the (more or less informal) arguments and proposed to arrive at Laughlin's wave-function  in fact point to the larger class of functions  built on it. So why indeed restrict attention to , or even to the functions in  decorated by quasi-holes ? : why should we do something complicated when we can try something simpler first ? : by fiddling around the proof of Theorem \[thm:Lau\] and/or more informal intuitions, one can guess that ${\Psi_{\rm Lau}}$ will be the only function of the class  with mean density $B/(2\pi \ell)$. But we have explained (or at least, alluded to) the fact that in FQHE physics it is crucial to understand what happens around the special density $B/(2\pi \ell)$, in particular, for smaller values.

The problem we propose below is intended to shed some light on these issues. It takes for granted the restriction of admissible states to the class . It is believed that the class  is an approximate low-energy eigenspace for the full physical Hamiltonian, separated by a gap (which does not close in the thermodynamic limit) from the rest of the spectrum. In Appendix \[app:spectral gap\], I present a problem in this direction: the class  is an exact ground eigenspace for an approximate Hamiltonian, is it separated by a gap from the rest of the spectrum ?

In the spirit of degenerate perturbation theory, we consider the problem of minimizing what is left of the energy, within the class . Since the magnetic kinetic energy is fixed by the restriction to lowest Landau level (analytic $\times$ gaussian) functions, all that is left to minimize are the interaction energy and the energy due external potentials (trapping and/or impurities). We thus arrive at the following problem $$\label{eq:qm_energy}
E (N,\lambda)=\inf\Big\{\mathcal{E}_{N,\lambda}[\Psi_F]\;|\;\Psi_F \mbox{ of the form~\eqref{eq:PsiF}},\,\int_{\mathbb{R}^{2N}}|\Psi_F|^2=1\Big\}.$$ where $$\label{eq:many_body_energy}
\mathcal{E}_{N,\lambda}[\Psi_F]=\Big\langle\Psi_F\Big|\sum_{j=1}^N V(x_j)+\lambda \sum_{i<j}W(x_i-x_j)\Big|\Psi_F\Big\rangle_{L^2}.$$ Here $V,W:{\mathbb{R}}^2 \mapsto {\mathbb{R}}$ are the external and pair-interaction potentials respectively (seen as mutliplication operators in ), and $\lambda \in {\mathbb{R}}$ is a coupling constant. Note that $W$ might be reduced a lot (this is in fact hoped for) by restricting to the class $\Psi_F$, but it is not strictly canceled (unlike the zero-range interactions considered in Appendix \[app:spectral gap\]), in particular it can have a long-range, 3D-Coulomb-like, part.

A more precise version of the statement  is as follows. Consider the simpler energy $$\label{eq:qh_energy}
e (N,\lambda)=\inf\Big\{\mathcal{E}_{N,\lambda}[\Psi_f]\;|\;\Psi_f \text{ of the form \eqref{eq:Psif}},\,\int_{\mathbb{R}^{2N}}|\Psi_f|^2=1\Big\}.$$ Obviously $E(N,\lambda) \leq e(N,\lambda)$. We would like to prove that $$\label{eq:anticipation}
\boxed{E (N,\lambda)\simeq e (N,\lambda)\quad\text{as}\;N\to\infty \mbox{ with } \lambda \mbox{ fixed}.}$$ This means that, for the purpose of minimizing a natural energy functional, it is sufficient to restrict to the sub-class  instead of considering the fully general . We can prove this under some simplifying assumptions that we now describe.

Since, in view of Theorem \[thm:Lau\], the Laughlin state lives on thermodynamically large length scales $\propto \sqrt{N}$, it is natural to demand that the potentials $V$ and $W$ also do. We thus set, for fixed functions $v,w$, $$V (x) = v\left(N^{-1/2} x\right)$$ and (the $N$ pre-factor ensures that the potential and interaction energies stay of the same order when $N\to \infty$) $$\label{eq:rescaled_w}
W (x) = N ^{-1} w \left(N^{-1/2} x\right).$$ Note that it *is* physically relevant to consider potentials living on smaller length scales, in particular to take impurities into account. We thus simplify the physics of the problem at this point.

In @OlgRou-19 we proved the $\lambda \neq 0$ version of the following theorem, while the (still highly non-trivial) $\lambda = 0$ case was solved earlier @LieRouYng-17 [@RouYng-17]:

\[**Energy of the Laughlin phase**\]\[thm:ener\]\
Assume that $v$ and $w$ are smooth fixed functions. Assume that $v$ goes to $+\infty$ polynomially at infinity, and that it has finitely many non-degenerate critical points. There exists $\lambda_0 >0$ such that $$\frac{E(N,\lambda)}{e(N,\lambda)} \underset{N\to \infty}{\to} 1$$ with $B > 0$, $\ell$ a fixed odd integer and $|\lambda| \leq \lambda_0$.

\[Comments\]\
**1**. The assumption that $|\lambda|$ be small enough is probably necessary. Indeed, increasing $\lambda \geq 0$ would mean decreasing the relative influence of the external potential $V$, which in particular represents trapping. Less trapping should mean a lower mean density. But for significantly lower densities, the likely behavior of the system is not to generate more quasi-holes as in  but to reorganize into a different fractional quantum Hall state, e.g. a Laughlin wave-function with higher exponent. What the theorem shows is that for $\lambda$ small but $O(1)$ in the $N\to \infty$ limit, the system does respond by generating quasi-holes. This robustness is related to the finite width of the plateaus in the Hall conductivity, although a full explanation thereof requires many more ingredients.

**2**. The smoothness assumptions on the potentials should not be necessary, although our method of proof does demand some regularity. In particular, for the Coulomb interaction $w (x) = |x| ^{-1}$ the theorem is inconclusive.

**3**. A key tool in the proof is to relate the two infima - to the flocking @BurChoTop-15 [@FraLie-16] (or, for $\lambda = 0$, bath-tub @LieLos-01 [Theorem 1.14]) energy $$\label{eq:flocking}
E^{\rm flo} (N,\lambda) := \inf \left\{\int_{{\mathbb{R}}^2} V \varrho + \frac{\lambda}{2} \iint_{{\mathbb{R}}^2} \varrho(x) W (x-y) \varrho(y) dxdy  , \: 0 \leq \varrho \leq \frac{B}{2\pi \ell}, \: \int_{{\mathbb{R}}^2} \varrho = N \right\}.$$ In fact, since $E(N,\lambda) \leq e (N,\lambda)$, it is sufficient to prove $$e (N,\lambda) \lessapprox E^{\rm flo} (N,\lambda)$$ by a trial state argument, and $$\label{eq:low bound}
 E(N,\lambda) \gtrapprox E^{\rm flo} (N,\lambda),$$ which, as for most variational problems, is the hardest inequality.

**4**. In order to prove , the main tool is what we coined an *incompressibility estimate*, starting from @RouYng-14. Namely, for any $L^2$-normalized $\Psi_F$ of the form , with $\rho_F$ the associated one-particle density , we have in an appropriate sense $$\label{eq:incomp}
\rho_F \leq \frac{B}{2\pi \ell} (1 + o_N(1)).$$ Note that this holds irrespective of the (sequence of) analytic factor(s) $F$ chosen, so that the variational set defining  is in some sense included in that defining .

See @LieRouYng-17 [@OlgRou-19; @RouSerYng-13a; @RouSerYng-13b; @RouYng-14; @RouYng-15; @RouYng-17] for more details, and for corollaries regarding the minimizers of the problem.

In the next section I discuss in more details the tool . Partial results were obtained in @RouYng-14 [@RouYng-15], and a satisfactory statement (although there is still room for improvement) in @LieRouYng-16 [@LieRouYng-17]. For the results of @OlgRou-19 we in fact need something stronger than : the latter is a result in expectation, for the $\lambda \neq 0$ case we need a deviation result.

Incompressibility estimates for 2D Coulomb systems
==================================================

Let me now present the main insight behind , and some elements of proof.

Plasma analogy
--------------

The main way one has to get to grips with Laughlin's wave-function and its descendants is via an analogy with classical statistical mechanics, more precisely the 2D one-component plasma, or log-gas, or $\beta$-ensemble, which is itself connected to random matrices via the Ginibre ensemble @AndGuiZei-10 [@Forrester-10; @Mehta-04; @Serfaty-15]. The analogy originates in the seminal paper @Laughlin-83.

For the applications we have in mind, one is only interested in the probability density $|\Psi_F| ^2$ of a function $\Psi_F$ of form . One writes it as a Boltzmann-Gibbs factor, $$\label{eq:plasma}
 |\Psi_F (z_1,\ldots,z_N)| ^2 = \frac{1}{\mathcal{Z}_F} \exp\left( - H_F (z_1,\ldots,z_N)\right)$$ with $\mathcal{Z}_F$ ensuring $L^1$-normalization (partition function of the effective plasma) and $H_F$ an effective Hamilton function $$\label{eq:class hamil}
H_F (z_1,\ldots,z_N) = \frac{B}{2} \sum_{j=1} ^N |z_j| ^2 - 2 \ell \sum_{1\leq i < j \leq N} \log |z_i-z_j| - 2 \log \left| F (z_1,\ldots,z_N) \right|.$$ Usually, writing a function as the exponential of its logarithm is not a particularly brilliant idea. The reason it is in this case is that, in a 2D universe, the function $H_F$ has a clear interpretation[^3] in terms of electrostatics. This is because in 2D the electrostatic potential $\Phi$ generated by a charge distribution $\sigma$ is given by $$- \Delta \Phi = \sigma, \quad \Phi = -\frac{1}{2\pi}\log|\,.\,| \star \sigma.$$ More precisely $H_F$ is the energy of $N$ mobile 2D particles (at locations $z_1,\ldots,z_N \in {\mathbb{C}}\leftrightarrow {\mathbb{R}}^2$) of charge $- \sqrt{4\pi \ell}$

**1**. Interacting among themselves via repulsive Coulomb forces.

**2**. Attracted to a fixed uniform background of charge density $+B \ell ^{-1/2} / \sqrt{\pi}$.

**3**. Feeling the potential ${\mathcal{W}}= -2 \log |F|$ generated by additional "phantom" $+$ charges. The location of the latter can be essentially arbitrary, and correlated with the positions of $z_1,\ldots,z_N$, but their charge must be positive because $$- \Delta_{z_j} {\mathcal{W}}\geq 0$$ for any $j$ (recall that $F$ is analytic).

Now the bound  ought to become less mysterious. The density $\rho_F$ is interpreted as the mean distribution of the charges in the plasma described above, at thermal equilibrium with temperature $1$. It turns out that this is an effectively small temperature, so that one can just as well think of the charges as distributed to minimize the energy given by $H_F$.

Then, the density value $B/(2\pi \ell)$ appearing in  is just that corresponding to local charge neutrality for the effective plasma (compare points **1** and **2** above), a situation notoriously favorable to minimize the electrostatic energy. This is the intuitive explanation behind Theorem \[thm:Lau\]: for $F= 1$ there are only the effects of **1** and **2** to take into account, so that the density wants to be *equal* to $B/(2\pi \ell)$. This can be made very precise @BauBouNikYau-15 [@BauBouNikYau-16; @Leble-15b; @LebSer-16].

What about the effect of the additional potential ${\mathcal{W}}= - 2 \log |F|$ ? We know essentially nothing of it, except that it is generated by a positive charge distribution and hence exercises a *repulsive* force on the points $z_1,\ldots,z_N$. Hence it is perhaps natural that a non-trivial analytic $F$ leads to a smaller density, whence . However this is much more subtle than it looks. The bound  should hold *everywhere* in space. Why cannot one generate a local bump of charge above the preferred value $B/(2\pi \ell)$ by acting suitably with repulsive charges ?

Consider the following thought experiment: we are given a patch of negative (mobile) and positive (fixed) charges, screening one another (i.e. the total charge distribution is locally neutral). Now add around this patch additional (phantom) positive charges (generating ${\mathcal{W}}$), pushing on the negative charges already present. The kind of result we aim at is: however we distribute the phantom charges, the effect is that the mobile negative charges leak out the original patch, but never accumulate above the density of the fixed charges.

Even worse: since the positions of the phantom charges can (via the zeroes of the analytic function $F$) be correlated in any way we like with the positions of the mobile charges, one could even make them "run after" the leaking charge. If there is some leaking, the phantom charges relocate themselves so as to push back the indisciplined mobile charges to force them to concentrate. This, we say, can only result in more leaking.

That the bound  is true is a remarkable instance of the power of screening in electrostatics. We give a sketch of the main part of the proof of  in the next subsections.

Density bounds for Coulomb ground states
----------------------------------------

In this exposition we shall be content with explaining why the density bound  is true at the level of ground states of . Taking into account the temperature is done in a second step, and is the less optimal part of the proof as it now stands. From now one we thus focus exclusively on the effective 2D electrostatic problem described in the previous subsection.

Let us clean the notation a bit. By changing length and energy units we can consider the Hamilton function $$\label{eq:class hamil 2}
{\mathcal{H}}(x_1,\ldots,x_N) = \frac{\pi}{2} \sum_{j=1} ^N |x_j| ^2 - \sum_{1\leq i < j \leq N} \log |x_i - x_j| + {\mathcal{W}}(x_1,\ldots,x_N)$$ with $x_1,\ldots,x_N \in {\mathbb{R}}^2$ and ${\mathcal{W}}$ superharmonic in each variable: $$\label{eq:superharm}
 -\Delta_{x_j} {\mathcal{W}}\geq 0, \quad \forall j.$$ We consider only zero-temperature equilibrium configurations (minima of ${\mathcal{H}}$) and want to prove that their density of points is everywhere bounded above by $1$ (the neutrality density in the new units). The following, proved in @LieRouYng-17, shows that this is true on any length scale much larger than the typical inter-particle distance ($O(1)$ independently of $N$ in the new units):

\[**Incompressibility for 2D Coulomb ground states**\]\[thm:incomp GS\]\
There exists a bounded function $g:{\mathbb{R}}^+ \mapsto {\mathbb{R}}^+$, independent of $N$ and ${\mathcal{W}}$, with $$g(R) \underset{R\to \infty}{\to} 0,$$ such that, for any $X_N^0 = (x_1^0,\ldots,x_N ^0)$ minimizing ${\mathcal{H}}$, any point $a\in {\mathbb{R}}^2$ and any radius $R > 0$ $$\label{eq:incomp GS}
N(a,R) := \sharp\left\{ x_j^0 \in X_N ^0 \cap D(a,R) \right\} \leq \pi R^2 (1 + g(R))$$ where $D(a,R)$ is the disk of center $a$ and radius $R$ and $\sharp$ stands for the cardinal of a discrete set.

\[Comments\] A look at a simplified problem is instructive. Consider a positive measure $\sigma$ with $$\int_{{\mathbb{R}}^2} \sigma = N,$$ the particle number, minimizing a continuous/mean-field version of the energy : $$\begin{gathered}
\label{eq:class MF}
 \frac{\pi}{2}  \int_{{\mathbb{R}}^2} |x| ^2 \sigma (x) dx - \frac{1}{2} \iint_{{\mathbb{R}}^2 \times {\mathbb{R}}^2} \sigma (x) \log |x-y| \sigma (y) dx dy \\
 + N^{-N}\int_{{\mathbb{R}}^{2N}} {\mathcal{W}}(x_1,\ldots,x_N) \sigma(x_1) \ldots \sigma(x_N) dx_1 \ldots dx_N. \end{gathered}$$ The Euler-Lagrange for this problem says that, on the support of $\sigma$, $$\frac{\pi}{2} |x| ^2 - \log |\,.\,| \star \sigma (x)+ N^{1-N} \int_{{\mathbb{R}}^{2(N-1)}} {\mathcal{W}}(x,x_2,\ldots,x_N) \sigma(x_2) \ldots \sigma(x_N) dx_2 \ldots dx_N = \mu,$$ a constant (Lagrange multiplier associated with the mass constraint). Taking the Laplacian of the above equation and using  immediately gives $$\sigma \leq 1.$$ The issue is that, for a general genuine many-body potential ${\mathcal{W}}$, it does not seem feasible to reduce the minimization of  for point configurations to that of  for measures. For particular ${\mathcal{W}}$ containing only few-particle interactions one can pass rigorously @RouYng-14 from  to , which gives a particular, weaker, case of the Theorem and its applications. The proof of the general case, sketched below, does not use the continuum/mean-field approximation.

Sketch of proof for Theorem \[thm:incomp GS\]
---------------------------------------------

We present the four main lemmas of the proof and a few explanations of how they fit together. See @LieRouYng-16 [@LieRouYng-17] for more details. The method is rooted in potential theory.

![**Exclusion rule**. The blue points generate a screening region (dashed white). No other (red) point of a minimizing configuration may lie within it.<span data-label="fig:exclusion"></span>](Ecrantage.jpg "fig:"){width="10cm"}\

\[**Screening regions**\]\[lem:screening\]\
Let $x_1,\ldots,x_K$ be points in ${\mathbb{R}}^2$. There exists an open set $\Sigma = \Sigma(x_1,\ldots,x_K) \subset {\mathbb{R}}^2$ with Lebesgue measure $$\label{eq:size}
 \left| \Sigma(x_1,\ldots,x_K) \right| = K$$ such that the electrostatic potential $$\label{eq:potential}
 \Phi := -\log |\,.\,| \star \left( \sum_{k=1} ^K \delta_{x_j} - {{\ensuremath {\mathds 1} }}_{\Sigma} \right)$$ satisfies $$\label{eq:PhiSigma}
\begin{cases}
\Phi &> 0 \mbox{ almost everywhere in } \Sigma\\  
\Phi &= 0 \mbox{ almost everywhere in the complement of } \Sigma. 
\end{cases}$$

\[Comments\] In other words, given $K$ charges in ${\mathbb{R}}^2$, one can always screen their electrostatic potential by putting a patch of constant charge density of opposite sign around them. The proof is semi-constructive, using an auxiliary variational problem (incompressible neutral Thomas-Fermi molecule) whose solution is the indicative function of $\Sigma$.

The utility for the minimizers of  is as follows (see Figure \[fig:exclusion\] for illustration):

\[**Exclusion rule**\]\[lem:exclusion\]\
Let $X_N^0$ be a minimizing configuration of points for . Let $K < N$ be an integer and $y_1,\ldots,y_{K+1} \in X_N ^0$. Then, $y_{K+1}\notin \Sigma (y_1,\ldots,y_K)$, where $\Sigma (y_1,\ldots,y_K)$ is the screening region of Lemma \[lem:screening\]. We refer to this as the *exclusion rule*.

For minimality, $y_{K+1}$ must minimize ${\mathcal{W}}$ plus the potential generated by all the other points and the background. If $y_{K+1}\in \Sigma (y_1,\ldots,y_K)$, one would be able to decrease this total potential by moving it the boundary of $y_{K+1}$. The argument uses  and the superharmonicity of ${\mathcal{W}}$.

Now we can forget about the minimality of the configuration $X_N^0$, for we have the

\[**Exclusion $\Rightarrow$ density bound**\]\[lem:density\]\
There exists a continuous function $g:{\mathbb{R}}^+ \mapsto {\mathbb{R}}^+$ going to $0$ at infinity such that, for any (possibly infinite) point configuration $X = x_1,\ldots,x_N,\ldots $ satisfying the exclusion rule of Lemma \[lem:exclusion\] and for any disk $D(a,R)$ we have $$\label{eq:dens excl}
\sharp\left\{ x_j \in X \cap D(a,R)\right\} \leq \pi R^2 (1+g(R)).$$

Consider a minimizing configuration, and a disk $D(a,R)$. The proof is illustrated by Figure \[fig:good\], to which the color code below refers. Suppose the screening region (white line) from Lemma \[lem:screening\] generated by the (blue) points inside the (blue) circle is included within a slightly larger circle (dashed white) of radius $\tilde{R}$. Then we know from  that the number of points in the disk $D(a,R)$ is not larger than $\pi \tilde{R} ^2$. If we can construct such a $\tilde{R}\sim R$ when $R\to \infty$, we have won. Since the (white) screening region may not contain any of the (red) points outside the disk, it is conceivable that the latter force the white line to stay close to the blue circle. The typical enemy we fight is a pathological configuration such as that presented in Figure \[fig:bad\]. The screening region sends long serpentine tendrils to infinity, still avoiding the red points. Its area is still (by definition) the number of points in the disk, but the latter can now have an area much smaller than that of the screening region. This kind of pathology is excluded by Lemma \[lem:support\] below.

![**Good configuration**. The blue points inside the (blue) circle generate a screening region (inside of white line), avoiding the other (red) points. It is contained in a disk (inside of white dashed circle) not too large compared to the original blue circle.<span data-label="fig:good"></span>](Bon.jpg "fig:"){width="10cm"}\

![**Pathological configuration, to be excluded**. The blue points inside the (blue) circle generate a screening region (inside of white line). It sends tendrils out to infinity, while still avoiding the other (red) points.<span data-label="fig:bad"></span>](Mauvais.jpg "fig:"){width="10cm"}\

Clearly Theorem \[thm:incomp GS\] follows from the previous lemmas. The final element of the proof of Lemma \[lem:density\] is

\[**Support of the screening region**\]\[lem:support\]\
We use the notation of Lemma \[lem:support\]. There exists a constant $C>0$ such that, for any $a\in {\mathbb{R}}^2$ and $r \in {\mathbb{R}}^+$ $$\Sigma \subset D(a,R)$$ with $$R = r + C \sqrt{\max\left\{ |\Phi (x)|, \: |x-a| = r\right\}}.$$

\[Comments\] In other words, if one happens to know that the potential  is small on some circle, then the screening region must sit inside a slightly larger concentric circle: there is no need to screen any further to make the potential vanish.

To see that this completes the proof of Lemma \[lem:density\] we argue as follows. One can assume the density of point in the configuration is bounded below everywhere (this requires some argument, but clearly, a high density everywhere is the most likely enemy). Recall that (blue, red etc ... again refer to the color-code of Figures \[fig:good\] and \[fig:bad\]) the potential  generated by the blue points and the screening region must vanish at all the red points. Since there are many such points outside the blue circle, it takes only a small leap of faith (and/or a few estimates) to hope that the potential must in fact be small uniformly outside of the blue circle. But then Lemma \[lem:support\] implies that the screening region (white line) must be included in a slightly larger disk (dashed line in Figure \[fig:good\]). The pathological configuration of Figure \[fig:bad\] is thus excluded.

The spectral gap conjecture {#app:spectral gap}
===========================

Here I expose a conjecture whose resolution would go a long way towards a full rigorous justification of point of the introduction. The conjecture is not mine: it can be traced back to the fundamental papers @Laughlin-83 [@Haldane-83], and is more or less folklore in the condensed matter physics community. I am grateful to F.D.M. Haldane, E. H. Lieb and J. Yngvason in particular for discussions relating to the topic below. Previous explicit mentions of the conjecture are e.g. in @LewSei-09 [@RouSerYng-13b].

To obtain a clean mathematical statement, we consider a toy Hamiltonian defined as follows. Let the bosonic and fermionic lowest Landau levels be respectively $$\begin{aligned}
{\mathrm{LLL}_{\rm sym} ^N}&= \left\{ A(z_1,\ldots,z_N) e^{-\frac{B}{4} \sum_{j=1} ^N |z_j| ^2 }, \quad A \mbox{ analytic and symmetric} \right\} \\
{\mathrm{LLL}_{\rm asym} ^N}&= \left\{ A(z_1,\ldots,z_N) e^{-\frac{B}{4} \sum_{j=1} ^N |z_j| ^2 }, \quad A \mbox{ analytic and antisymmetric} \right\}\end{aligned}$$ where symmetric/antisymmetric means "under exchange of the labels of the coordinates $z_1,\ldots,z_N$". On these spaces, consider the $m$-th Haldane pseudo-potential Hamiltonian $$\label{eq:pseupot}
H (m,N) := \sum_{1\leq i < j \leq N} |\varphi_m \rangle \langle \varphi_m |_{ij}$$ where $|\varphi_m \rangle \langle \varphi_m |_{ij}$ projects the relative coordinate[^4] $x_i - x_j$ of particles $i$ and $j$ on the one-body state ($c_m$ is a normalization constant) $$\varphi_m (z) = c_m z^m e^{-\frac{B}{4} |z| ^2}.$$ Note that, when acting on ${\mathrm{LLL}_{\rm sym} ^N}$ or ${\mathrm{LLL}_{\rm asym} ^N}$, only for even (respectively, odd) $m$ does $H(m,N)$ act non-trivially.

Clearly, ${\Psi_{\rm Lau} ^{(\ell)}}$ is an exact ground state, i.e. eigenfunction with eigenvalue $0$ for $H(\ell-2,N)$ acting on ${\mathrm{LLL}_{\rm sym} ^N}$ (even $\ell$) or ${\mathrm{LLL}_{\rm asym} ^N}$ (odd $\ell$). The conjecture says that the gap above the eigenvalue $0$ does not close in the thermodynamic limit $N\to \infty$. To formulate it, observe first that $H(\ell-2,N)$ commutes with the total angular momentum operator $$\label{eq:tot mom}
{\mathcal{L}}_N := \sum_{j=1} ^N z_j \partial {z_j} - \overline{z}_j \partial_{\overline{z}_j},$$ and consider a joint diagonalization of the two operators on either ${\mathrm{LLL}_{\rm sym} ^N}$ (if $\ell$ is even) or ${\mathrm{LLL}_{\rm asym} ^N}$ (if $\ell$ is odd). The angular momentum of the Laughlin state  is $${\mathcal{L}}_ N {\Psi_{\rm Lau} ^{(\ell)}}= \frac{\ell}{2} N (N-1) {\Psi_{\rm Lau} ^{(\ell)}}.$$

\[**Spectral gap conjecture**\]\[conj:spec\]\
Consider the spectral gap of $H_{\ell-2,N}$ on the sector of angular momenta below that of the Laughlin state $$\label{eq:spectral gap}
 \sigma (N,\ell) = \inf \left\{ \mathrm{spec} \left(H(\ell-2,N) _{|{\mathcal{L}}_N \leq \frac{\ell}{2} N (N-1)} \right) \setminus \{ 0 \}\right\}.$$ There exists a constant $c_{\ell}>0$, independent of $N$, such that $$\sigma (N,\ell) \geq c_\ell >0.$$

To motivate the conjecture, observe that if one projects a bona-fide pair interaction Hamiltonian $$H_w = \sum_{1\leq i< j \leq N} w (x_i-x_j)$$ with radial potential $w\geq 0$ on the LLL, one obtains $$\label{eq:LLL hamil}
H_w ^{\mathrm{LLL}} := P_{\mathrm{LLL}^N_{\rm sym/asym}} H_w \: \: P_{\mathrm{LLL}^N_{\rm sym/asym}}= \sum_{i<j} \sum_{m\geq 0} \left\langle \varphi_m | w | \varphi_m \right\rangle |\varphi_m \rangle \langle \varphi_m |_{ij}.$$ The coefficients $\left\langle \varphi_m | w | \varphi_m \right\rangle$ are called "Haldane pseudo-potentials". The toy Hamiltonian  above is obtained by discarding all terms from the sum but one, in order for the Laughlin state to be an exact ground state, and not just a very good approximation.

There is one particular case, namely $\ell=2$, with $H (0,N)$ acting on ${\mathrm{LLL}_{\rm sym} ^N}$ where this truncation of  is more than a crude simplification. Indeed, $H_{0,N}$ is nothing but a Dirac-delta interaction projected on the LLL. This makes perfect sense @BerPap-99 [@RouSerYng-13b; @LieSeiYng-09; @LewSei-09; @PapBer-01; @GirJac-84] since LLL functions are very regular. In fact $H_{0,N}$ acts as $$\begin{gathered}
 H_{0,N} \left( A (z_1,\ldots,z_N) e ^{-\frac{B}{4} \sum_{j=1} ^N |z_j|^2} \right) = \\ 
 \frac{1}{2\pi}\sum_{1\leq i <j\leq N} A \left(z_1,\ldots, \frac{z_i+z_j}{2},\ldots, \frac{z_i+z_j}{2},\ldots ,z_N\right) e ^{-\frac{B}{4} \sum_{j=1} ^N |z_j|^2}\end{gathered}$$ and this model can be derived from a true many-body Hamiltonian in a physically relevant limit @LewSei-09.

The conjecture is widely believed to be true in the FQHE-physics community on the grounds that:

**1**. It is supported by numerical simulations (numerical diagonalizations of the Hamiltonian for small particle numbers, say up to $\sim 20$, see for example @Jain-07 [@Viefers-08] and references therein).

**2**. Where it to be false, it would be extremely hard to make sense of the experimental data of the FQHE.

It should not actually be necessary to restrict the Hamiltonian to angular momenta below $\ell N(N-1)/2$ to obtain a lower bound to the spectral gap. It is likely that restricting to angular momenta below a larger value (but still of order $N^2$ when $N\to \infty$) would suffice. It is conceivable that the conjecture holds only for small values of $\ell$. If so, a likely threshold @YanHalRez-01 for the conjecture ceasing to hold is $\ell=7$.

Finally, there are other versions of the conjecture: for particles living on a sphere or a cylinder instead of in the plane, see @Jain-07 [Sections 3.10 and 3.11] and references therein.

**Acknowledgments.** Thanks to Elliott H. Lieb, Alessandro Olgiati, Sylvia Serfaty and Jakob Yngvason, collaborations with whom this text is based on. Thanks to F.D.M. Haldane for discussions relating to Appendix \[app:spectral gap\]. Thanks to the European Research Council for funding (under the European Union's Horizon 2020 Research and Innovation Programme, Grant agreement CORFRONMAT No 758620).

<span>10</span>

, vol. 118 of <span>*Cambridge Studies in Advanced Mathematics*</span>. Cambridge University Press, Cambridge, 2010.

Fractional statistics and the quantum <span>H</span>all effect. , 7 (1984), 722–723.

The two-dimensional <span>C</span>oulomb plasma: quasi-free approximation and central limit theorem. arXiv:1609.08582, 2016.

Local density for two-dimensional one-component plasma. , 1 (2017), 189–230.

Yrast line for weakly interacting trapped bosons. (1999), 5412–5414.

. (2017).

Gauge-invariant variables reveal the quantum geometry of fractional quantum <span>H</span>all states. arXiv:1807.03306, 2018.

Direct observation of a fractional charge. (1997), 162–164.

, vol. 34 of <span>*London Mathematical Society Monographs Series*</span>. Princeton University Press, Princeton, NJ, 2010.

. (2017).

Introduction to the fractional quantum <span>H</span>all effect. (2004), 54–74.

Formalism for the quantum <span>H</span>all effect: <span>H</span>ilbert space of analytic functions. , 10 (1984), 5617–5625.

Quantum <span>H</span>all effects. arXiv:0909.1998, 2009.

Fractional quantization of the <span>H</span>all effect: A hierarchy of incompressible quantum fluid states. (Aug 1983), 605–608.

. (2011), 116801.

. (2018), 081901.

. Cambridge University Press, 2007.

Probing the geometry of the laughlin state. , 2 (feb 2016), 025011.

Anomalous quantum <span>H</span>all effect: An incompressible quantum fluid with fractionally charged excitations. , 18 (May 1983), 1395–1398.

Elementary theory : the incompressible quantum fluid. In <span>*The quantum <span>H</span>all effect*</span>, R. E. Prange and S. E. Girvin, Eds. Springer, Heidelberg, 1987.

Nobel lecture: Fractional quantization. (Jul 1999), 863–874.

Local microscopic behavior for <span>2D C</span>oulomb gases. , 3-4 (2017), 931–976.

Fluctuations of two-dimensional <span>C</span>oulomb gases. arXiv:1609.08088, 2016.

Strongly correlated phases in rapidly rotating <span>B</span>ose gases. , 5-6 (Dec 2009), 1040–1062.

, 2nd ed., vol. 14 of <span>*Graduate Studies in Mathematics*</span>. American Mathematical Society, Providence, RI, 2001.

Rigidity of the <span>L</span>aughlin liquid. , 2 (2018), 544–554.

Local incompressibility estimates for the <span>L</span>aughlin phase. , 2 (2019), 431–470.

rast line of a rapidly rotating <span>B</span>ose gas: <span>G</span>ross-<span>P</span>itaevskii regime. (2009), 063626.

. (2016), 170401.

Localization of fractionally charged quasi-particles. (2004), 980–983.

. Elsevier/Academic Press, 2004.

. Stability of the laughlin phase against long-range interactions. arXiv, 2019.

Rotational spectra of weakly interacting <span>B</span>ose-<span>E</span>instein condensates. , 2 (2001), 023616.

. Lettre de l'INSMI, 2015.

Some contributions to many-body quantum mathematics. arXiv:1607.03833, 2016. habilitation thesis.

Quantum <span>H</span>all states of bosons in rotating anharmonic traps. (Feb 2013), 023618.

Quantum <span>H</span>all phases and plasma analogy in rotating trapped <span>B</span>ose gases. (2014), 2–50.

Incompressibility estimates for the <span>L</span>aughlin phase. (2015), 1109–1140.

Incompressibility estimates for the <span>L</span>aughlin phase, part <span>II</span>. (2015), 263–277.

The <span>L</span>aughlin liquid in an external potential. , 4 (2018), 1007–1029.

Observation of the $e/3$ fractionally charged <span>L</span>aughlin quasiparticle. (Sep 1997), 2526–2529.

. Zurich Lectures in Advanced Mathematics. Euro. Math. Soc., 2015.

The fractional quantum <span>H</span>all effect. (1999), S298–S305.

Quantum <span>H</span>all physics in rotating <span>B</span>ose-<span>E</span>instein condensates. (2008), 123202.

. (2001), 081301(R).

[^1]: In order to satisfy , but even values are relevant for bosons.

[^2]: I.e. at filling factor $\nu = (hc/e) (\rho/B) = \ell ^{-1}$ in view of our implicit choice of units $\hbar = c = e = 1$.

[^3]: This effective Hamiltonian is a technical tool, it has nothing to do with the original, physical, energy that $\Psi_F$ should be chosen to minimize.

[^4]: Again, ${\mathbb{R}}^2 \ni x \leftrightarrow z \in {\mathbb{C}}$.

{'source': 'arXiv_out/1906'}