combinatorics / Spectral graph theory

The Bilu-Linial signing conjecture for regular graphs

False for general regular graphs: an explicit cubic graph FF for which every signing produces an eigenvalue outside the Ramanujan interval. FF is not itself Ramanujan, and the conjecture restricted to Ramanujan base graphs - the form that would yield Ramanujan graphs of every degree by iteration - remains open.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 14, 2026Significance 35/100Registry: unreviewed

The Bilu-Linial signing conjecture for regular graphs

Prior state unknown→disproved

False for general regular graphs: an explicit cubic graph FF for which every signing produces an eigenvalue outside the Ramanujan interval. FF is not itself Ramanujan, and the conjecture restricted to Ramanujan base graphs - the form that would yield Ramanujan graphs of every degree by iteration - remains open.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

False for general regular graphs: an explicit cubic graph FF for which every signing produces an eigenvalue outside the Ramanujan interval. FF is not itself Ramanujan, and the conjecture restricted to Ramanujan base graphs - the form that would yield Ramanujan graphs of every degree by iteration - remains open.

False for general regular graphs: an explicit cubic graph FF for which every signing produces an eigenvalue outside the Ramanujan interval. FF is not itself Ramanujan, and the conjecture restricted to Ramanujan base graphs - the form that would yield Ramanujan graphs of every degree by iteration - remains open.

Recorded attempts

Evidence graph

Connected research record