The Laughlin gap: a quantum Hall state that resists weak disorder

← All digests

Family 269 · Mathematical physics
Importance 5/5 · Provisional editorial rating
Sources consulted 2026-10-25

1. The question

An exact ground-state formula can be extraordinarily informative without answering a basic physical question: how much energy does it cost to leave that state? If the cost tends to zero as a sample grows, a beautiful finite-system formula may describe a fragile thermodynamic state.

This distinction is central to the fractional quantum Hall effect. Electrons restricted to a plane, placed in a strong magnetic field and cooled to low temperature can form strongly correlated states. Laughlin’s wavefunction describes one of the most famous examples, at filling fraction one third. A specially chosen repulsive interaction has this wavefunction as its exact zero-energy ground state. The longstanding spectral question asks whether every orthogonal state costs at least a fixed positive energy, independently of the number of electrons.

Family 269 reports such a bound for the full spherical interaction and a planar consequence. Its companion asks a further question: does the gap survive a weak, spatially irregular external potential? The claimed answer is uniform even when that potential changes with the size of the system. The manuscripts are labeled M1 and M2 below; the unperturbed gap in M2 supplies an input to the stability theorem in M1.

2. Background and essential definitions

Restricting the available states

A magnetic field organizes single-particle energies into Landau levels. The model retains only the lowest level, treating excitation to higher levels as unavailable. On a sphere carrying an integer number $Q$ of magnetic flux quanta, its one-particle space $U_Q$ has dimension $Q+1$. It is also the spin-$Q/2$ representation of the rotation group.

For $N$ identical fermions, the space is the antisymmetric product $\bigwedge^N U_Q$: exchanging two particle labels reverses the wavefunction’s sign. The interaction is

$$H_{N,Q}=\sum_{1\leq i<j\leq N}P_{ij}^{(1)}.$$

Each $P_{ij}^{(1)}$ is an orthogonal projection onto pair relative angular momentum one, equivalently pair total spin $Q-1$. A projection has eigenvalues zero and one. Thus each pair pays for occupying one specified relative-motion channel. Every unordered pair has coefficient one; there is no size-dependent normalization. This convention matters when reading numerical gap bounds.

The operator is positive. At the Laughlin flux $Q=3(N-1)$, its zero space is a single line generated by

$$\Psi_{L,N}=\prod_{i<j}(u_i v_j-u_j v_i)^3.$$

Here $(u_i,v_i)$ are homogeneous coordinates for particle $i$ on the sphere. Cubing makes the polynomial antisymmetric and imposes a third-order zero when two particles meet. Each particle has degree $3(N-1)$, explaining the flux relation. The finite-size correction by one is the spherical shift; the ratio of particle number to flux tends to one third.

Gaps and limits

For a normalized ground state $\Omega$, a gap at least $\Delta>0$ means

$$\langle\psi,H_{N,Q}\psi\rangle\geq\Delta\|\psi\|^2, \qquad \langle\Omega,\psi\rangle=0.$$

Uniformity means the same positive $\Delta$ works as $N$ grows. With magnetic length set to one, the sphere has radius $\sqrt{Q/2}$ and area $2\pi Q$. Increasing flux therefore gives a genuinely expanding two-dimensional sample, rather than a fixed-radius thin cylinder.

The Fock space $\mathcal F_Q=\bigoplus_{n=0}^{Q+1}\bigwedge^n U_Q$ simply collects every allowed particle number. Its Hamiltonian $H_Q$ acts as $H_{n,Q}$ in each sector. This larger space is useful because removing particles reveals relations between states at different fillings.

3. Development history and previous partial results

Laughlin’s 1983 paper proposed the correlated wavefunction and a description of fractional excitations. Haldane’s spherical construction organized the problem through angular momentum and pair interactions. Trugman and Kivelson subsequently identified exact Laughlin ground states for suitable repulsive interactions in a vanishing-range limit. These developments explained why a particular polynomial is special; they did not themselves bound every competing excitation from below.

Finite-size calculations by Haldane and Rezayi supported a gap. The density-wave picture of Girvin, MacDonald and Platzman supplied a physical description of collective excitations. A variational trial excitation, however, provides an upper bound on an excitation energy. A uniform gap requires a lower bound valid for all orthogonal wavefunctions, including ones not captured by the trial construction.

Rigorous progress became possible in more restricted geometries and interactions. Nachtergaele, Warzel and Young established gaps for a truncated pseudopotential in the thin-cylinder regime. Warzel and Young treated a thin torus and distinguished bulk behavior from open-chain edge effects. Algebraic work by Ortiz, Nussinov, Dukelsky, Seidel and collaborators clarified the zero spaces. These are substantive predecessors, but truncating the interaction or keeping a cylinder thin changes the problem addressed by an expanding round sphere.

Another route concerns incompressibility: density estimates for Laughlin wavefunctions multiplied by analytic symmetric factors. Work of Rougerie and Yngvason, and of Lieb, Rougerie and Yngvason, established strong restrictions within that correlated class. Such information differs from a spectral bound on arbitrary states. M2 does not assume a density-screening hypothesis.

Stability has its own history. Lattice theorems of Bravyi, Hastings and Michalakis, and of Michalakis and Zwolak, relate gap stability to additional local conditions. A bulk gap alone is not their entire input. M1 develops the corresponding local control for the spherical lowest-Landau-level setting, using M2 as its unperturbed starting point.

4. What the new manuscripts claim

A uniform gap for the full interaction

M2 states that, for every $0<\gamma<\gamma_*$, all sufficiently large fluxes satisfy

$$H_Q^2\geq\gamma H_Q, \qquad \gamma_*=\frac{4616733319001}{10^{14}}>\frac1{25}.$$

The flux threshold is independent of particle number. For a nonnegative eigenvalue $E$, this inequality says $E^2\geq\gamma E$, so either $E=0$ or $E\geq\gamma$. At Laughlin filling, where the zero state is unique, M2 obtains

$$H_{N,3(N-1)}\geq\frac1{25}(I-P_{L,N})$$

for every sufficiently large $N$, with $P_{L,N}$ the ground-line projection. The threshold is existential. The finite-sphere theorem does not assert the endpoint coefficient $\gamma_*$.

In a particle sector having no zero mode, the Fock-space inequality only bounds its lowest energy away from zero. It does not automatically give a gap between that sector’s first two energies.

M2 also reports a planar consequence for the full fermionic relative-degree-one pair interaction, still with coefficient one and unrestricted center-of-mass degree. Its positive spectrum is bounded below by $\gamma_*$, uniformly over particle number $N\geq2$ and total polynomial degree. This includes the cubic fermionic case of the planar folklore gap conjecture described in Rougerie’s survey. The planar endpoint conclusion should not be transferred back to finite spheres.

Stability under bounded scalar disorder

M1 fixes $Q=3(N-1)$. For a real bounded measurable function $\varphi$ on the sphere, let

$$T_Q(\varphi)=\Pi_Q M_\varphi\Pi_Q\big|_{U_Q}, \qquad V_{N,Q}(\varphi)=\sum_{i=1}^{N}T_Q(\varphi)^{(i)}.$$

Here $M_\varphi$ multiplies by the potential and $\Pi_Q$ projects to the lowest Landau level. This projected multiplication is called a Toeplitz operator. The perturbed Hamiltonian is $H_{N,Q}+\lambda V_{N,Q}(\varphi)$.

M1 claims constants $\lambda_*,\Delta_*>0$ and $N_*$ such that, whenever $N\geq N_*$, $\|\varphi\|_\infty\leq1$ and $|\lambda|\leq\lambda_*$, the two lowest eigenvalues, counted with multiplicity, obey

$$E_1(N,\lambda,\varphi)-E_0(N,\lambda,\varphi)\geq\Delta_*.$$

Thus the ground state remains unique. No symmetry, derivative bound or randomness assumption on $\varphi$ is required. Both constants are uniform over its profile and system size. They are existential, rather than optimized numerical disorder thresholds. The ground vector and ground energy may change.

5. Why the advance matters

Importance: 5/5, provisional. The family addresses a central spectral problem for a canonical fractional quantum Hall Hamiltonian and adds a robustness statement on a fixed perturbation interval. Its importance rests on these claimed mathematical conclusions, not on a verification of their proofs.

The full interaction and expanding geometry are decisive. A gap surviving only in a thin or truncated model would leave open whether the two-dimensional parent Hamiltonian has arbitrarily cheap bulk excitations. The all-particle-sector estimate also provides information beyond one selected ground state, which becomes useful in the stability argument.

Disorder stability connects an exact, highly symmetric model to imperfect external environments. The theorem allows irregular scalar profiles without making the perturbation strength shrink as the number of particles grows. It concerns a particular projected interaction, so its physical significance should not be confused with a theorem covering every experimental quantum Hall material.

6. The main idea

Compare the square with the energy itself

M2 expands $H_Q^2$ into terms involving two, three and four particles. It then constructs a positive auxiliary operator from squares of combinations of particle-removal and particle-creation operations, averaged over rotations. Rotation symmetry sorts the comparison into angular-momentum blocks.

Some comparisons reduce to finite matrices with rational data. The manuscript reports the needed finite inequalities; the role of these matrices is to support a bound for the full interaction, not to replace it with a truncated Hamiltonian.

The difficult passage is from limiting blocks to large finite spheres. An absolute error on a growing many-body space could overwhelm the desired gap. M2 instead controls the error by a small multiple of $H_Q$ itself. It therefore vanishes on the zero space and remains uniform in particle number. The resulting comparison has the form $H_Q^2\geq K_Q+(\gamma_*-o(1))H_Q$, with $K_Q\geq0$.

Pay for disorder with interaction energy

Even if $\|\varphi\|_\infty\leq1$, the many-particle perturbation can have norm of order $N$. Ordinary perturbation estimates using that full norm would allow a disorder interval shrinking like $1/N$. M1 seeks a local, energy-relative estimate instead.

First it analyzes zero modes with fewer electrons at fixed flux. An orthogonal branching construction records missing flux or particles. Pinning zeros at a pole and transporting between nearby fluxes turn this algebra into quantitative control of local observables. After averaging rotations, the change in a suitable observable is bounded by a constant times the number of missing electrons.

Second, local particle-loss operations reduce interaction energy while controlling how many particles are removed. M1 retains additional positive four-body information from M2 to establish this descent. Combining descent with the zero-mode estimates bounds centered local perturbations by an appropriate energy operator.

Finally, spectral transport follows the moving ground line along the perturbation. A gap bootstrap closes the argument on a fixed interval of $\lambda$. The local estimates are the extra ingredient that turns an unperturbed spectral gap into uniform stability.

7. Scope, limitations, and open questions

The principal model is the fermionic cubic Laughlin parent interaction at filling one third. The statements do not automatically extend to other filling fractions, bosonic versions, Coulomb interactions, Landau-level mixing or arbitrary two-body disorder.

M1 concerns real scalar one-body potentials projected to the lowest level on expanding spheres. Its amplitude-only hypothesis is broad within that class, but it is not a general theorem for every local perturbation. The planar gap consequence in M2 is likewise distinct from a planar disorder-stability theorem.

The constants leave quantitative questions: what is the actual excitation gap, what finite sizes are covered, and how large can the stable disorder interval be? Edge spectra, transport coefficients and fractional quasiparticle statistics require additional statements beyond the displayed inequalities. A unique spherical ground state also says nothing by itself about the ground-state degeneracies appropriate to other spatial topologies.

8. Sources and further reading

The primary historical links in section 3 introduce the wavefunction, spherical model and earlier thin-geometry gap results. M2 supplies the unperturbed Fock-space inequality and planar consequence; M1 supplies the local estimates and disorder-stability theorem. Their claims are reported as stated.

Source manuscripts

• M1. OpenAI, Uniform Stability of the Spherical Laughlin Gap (October 5, 2026).
• M2. OpenAI, A Fock-space inequality and the Laughlin spectral gap (September 24, 2026).

Sources consulted on 25 October 2026 at repository revision 1581d4c. Download the manuscript citations.