The Espuny Diaz-Lichev-Wesolek Conjecture on Dirac Subgraphs

asymptotic in k; the paper also shows the analogous statement is false for d = 2

15Significance / 100

1Frontier events

0Verification tasks

0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

combinatoricsJun 5, 2026Significance 15/100Registry: unreviewed

Prior state unknown→proved

asymptotic in k; the paper also shows the analogous statement is false for d = 2

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Source authenticated

asymptotic in k; the paper also shows the analogous statement is false for d = 2

asymptotic in k; the paper also shows the analogous statement is false for d = 2

Evidence graph