number-theory / Analytic number theory

The Landau-Siegel zero problem: a uniform logarithmic gap for real zeros of real Dirichlet L-functions

Claims an absolute constant c>0c>0 such that every real zero β∈(0,1)\beta\in(0,1) of every primitive nonprincipal real Dirichlet LL-function of conductor q≥3q\ge3 satisfies (1−β)log⁡q≥c(1-\beta)\log q\ge c. The proof combines a prime-bias estimate forced by a zero close to 11 with an interpolation determinant on a biquadratic field Q(d,2)\mathbb Q(\sqrt d,\sqrt2). The constant is not made explicit, so the result does not by itself give effective class-number bounds with numbers attached. It excludes real zeros in 1−c/log⁡q<β<11-c/\log q<\beta<1 only; zeros elsewhere in (0,1)(0,1) are not addressed by this manuscript (the family's 7/8 manuscript excludes those above 7/87/8).

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theorySep 30, 2026Significance 72/100Registry: expert verified

The Landau-Siegel zero problem: a uniform logarithmic gap for real zeros of real Dirichlet L-functions

Prior state unknown→proved

Claims an absolute constant c>0c>0 such that every real zero β∈(0,1)\beta\in(0,1) of every primitive nonprincipal real Dirichlet LL-function of conductor q≥3q\ge3 satisfies (1−β)log⁡q≥c(1-\beta)\log q\ge c. The proof combines a prime-bias estimate forced by a zero close to 11 with an interpolation determinant on a biquadratic field Q(d,2)\mathbb Q(\sqrt d,\sqrt2). The constant is not made explicit, so the result does not by itself giv…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Claims an absolute constant c>0c>0 such that every real zero β∈(0,1)\beta\in(0,1) of every primitive nonprincipal real Dirichlet LL-function of conductor q≥3q\ge3 satisfies (1−β)log⁡q≥c(1-\beta)\log q\ge c. The proof combines a prime-bias estimate forced by a zero close to 11 with an interpolation determinant on a biquadratic field Q(d,2)\mathbb Q(\sqrt d,\sqrt2). The constant is not made explicit, so the result does not by itself give effective class-number bounds with numbers attached. It excludes real zeros in 1−c/log⁡q<β<11-c/\log q<\beta<1 only; zeros elsewhere in (0,1)(0,1) are not addressed by this manuscript (the family's 7/8 manuscript excludes those above 7/87/8).

Claims an absolute constant c>0c>0 such that every real zero β∈(0,1)\beta\in(0,1) of every primitive nonprincipal real Dirichlet LL-function of conductor q≥3q\ge3 satisfies (1−β)log⁡q≥c(1-\beta)\log q\ge c. The proof combines a prime-bias estimate forced by a zero close to 11 with an interpolation determinant on a biquadratic field Q(d,2)\mathbb Q(\sqrt d,\sqrt2). The constant is not made explicit, so the result does not by itself give effective class-number bounds with numbers attached. It excludes real zeros in 1−c/log⁡q<β<11-c/\log q<\beta<1 only; zeros elsewhere in (0,1)(0,1) are not addressed by this manuscript (the family's 7/8 manuscript excludes those above 7/87/8).

Recorded attempts

Evidence graph

Connected research record

The Landau-Siegel zero problem: a uniform logarithmic gap for real zeros of real Dirichlet L-functions — Mathematical Frontier Network