mathematical-physics / Fractional quantum Hall effect; spectral gaps

The Laughlin spectral gap conjecture for the V1 pseudopotential on the sphere

Theorem 1.1: for every 0<γ<γ∗=4616733319001/1014>1/250<\gamma<\gamma_*=4616733319001/10^{14}>1/25 there is QγQ_\gamma with HQ2≥γHQH_Q^2\ge\gamma H_Q on the full lowest-Landau-level fermionic Fock space for Q≥QγQ\ge Q_\gamma, independently of particle number. Corollary 1.2: HN,3(N−1)≥125(1−PL,N)H_{N,3(N-1)}\ge\frac1{25}(1-P_{\mathrm L,N}) for N≥N0N\ge N_0. Section 7 proves the planar analogue at γ∗\gamma_*, the fermionic cubic case of Rougerie's Conjecture A.1. The companion adds stability under bounded projected scalar potentials. Thresholds are existential; bosonic and other fillings are not treated.

38Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

mathematical-physicsSep 24, 2026Significance 38/100Registry: lean checked

The Laughlin spectral gap conjecture for the V1 pseudopotential on the sphere

Prior state unknown→proved

Theorem 1.1: for every 0<γ<γ∗=4616733319001/1014>1/250<\gamma<\gamma_*=4616733319001/10^{14}>1/25 there is QγQ_\gamma with HQ2≥γHQH_Q^2\ge\gamma H_Q on the full lowest-Landau-level fermionic Fock space for Q≥QγQ\ge Q_\gamma, independently of particle number. Corollary 1.2: HN,3(N−1)≥125(1−PL,N)H_{N,3(N-1)}\ge\frac1{25}(1-P_{\mathrm L,N}) for N≥N0N\ge N_0. Section 7 proves the planar analogue at γ∗\gamma_*, the fermionic cubic case of Rougerie's Conjecture A.1. The compan…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every 0<γ<γ∗=4616733319001/1014>1/250<\gamma<\gamma_*=4616733319001/10^{14}>1/25 there is QγQ_\gamma with HQ2≥γHQH_Q^2\ge\gamma H_Q on the full lowest-Landau-level fermionic Fock space for Q≥QγQ\ge Q_\gamma, independently of particle number. Corollary 1.2: HN,3(N−1)≥125(1−PL,N)H_{N,3(N-1)}\ge\frac1{25}(1-P_{\mathrm L,N}) for N≥N0N\ge N_0. Section 7 proves the planar analogue at γ∗\gamma_*, the fermionic cubic case of Rougerie's Conjecture A.1. The companion adds stability under bounded projected scalar potentials. Thresholds are existential; bosonic and other fillings are not treated.

Theorem 1.1: for every 0<γ<γ∗=4616733319001/1014>1/250<\gamma<\gamma_*=4616733319001/10^{14}>1/25 there is QγQ_\gamma with HQ2≥γHQH_Q^2\ge\gamma H_Q on the full lowest-Landau-level fermionic Fock space for Q≥QγQ\ge Q_\gamma, independently of particle number. Corollary 1.2: HN,3(N−1)≥125(1−PL,N)H_{N,3(N-1)}\ge\frac1{25}(1-P_{\mathrm L,N}) for N≥N0N\ge N_0. Section 7 proves the planar analogue at γ∗\gamma_*, the fermionic cubic case of Rougerie's Conjecture A.1. The companion adds stability under bounded projected scalar potentials. Thresholds are existential; bosonic and other fillings are not treated.

Recorded attempts

Evidence graph

Connected research record

The Laughlin spectral gap conjecture for the V1 pseudopotential on the sphere — Mathematical Frontier Network