Helffer–Léna conjectures for the magnetic Neumann Laplacian in the disk

Let λ(b)\lambda(b) be the lowest eigenvalue of the magnetic Neumann Laplacian in the unit disk for a constant magnetic field of strength b>0b>0, and let Θ0\Theta_0 denote the de Gennes constant. The Helffer–Léna conjectures assert: (i) λ\lambda is strictly increasing on (0,+∞)(0,+\infty); (ii) the normalized energies (ηn∗)n∈N\bigl(\eta_n^*\bigr)_{n\in\mathbb N} at the successive crossings of the angular-momentum branches form a strictly increasing sequence, ηn+1∗>ηn∗\eta_{n+1}^*>\eta_n^*; and (iii) the de Gennes bound holds for every field strength, λ(b)<Θ0b\lambda(b)<\Theta_0 b for all b>0b>0.

References

Progress summary

Refreshed
Claimed solved

A September 2026 preprint claims to settle all three disk conjectures, but the claim has not been independently verified.

The Helffer–Léna conjectures concern monotonicity, crossing-energy ordering, and the de Gennes bound for the magnetic Neumann Laplacian in the disk. Earlier work supplied partial results and asymptotic or numerical evidence; a new submission claims all three are proved.

Known results

  • A 2023 paper proved a new monotonicity property for the disk’s lowest eigenvalue, previously conjectured from numerical evidence.
  • A 2024 study gave asymptotic and numerical evidence and controlled the conjectures for large magnetic field, including λ(β)=Θ0β+o(β)\lambda(\beta)=\Theta_0\beta+o(\beta) as β→+∞\beta\to+\infty.
  • The same study recorded the conjectures η(β)<Θ0\eta(\beta)<\Theta_0 for β>0\beta>0 and strict increase of (ηn∗)n∈N(\eta_n^*)_{n\in\mathbb N}, with the latter implying the de Gennes bound.

September 2026 claimed proof

A September 2026 arXiv submission claims proofs of the monotonicity, crossing-energy, and de Gennes-bound conjectures, which would determine the local spectral critical field for every Ginzburg–Landau parameter in the disk. The claim is unrefereed and remains unverified.

Current status (as of September 2026): all three conjectures are claimed solved by an unrefereed submission, but independent verification is absent.

Sources

Solutions 0

No solutions have been posted yet.