combinatorics / Random graphs; thresholds for subgraph containment

The Ascoli-He-Park-Talagrand graph-decomposition conjecture at the expectation threshold

Theorem 1.1: there are absolute k≥2k\ge2 and L≥1L\ge1 such that for every n≥2n\ge2 and every graph HH on at most nn vertices, E(H)=E(H1)⊔⋯⊔E(Hk)E(H)=E(H_1)\sqcup\dots\sqcup E(H_k) with pc(Hi;n)≤Lq(H;n)p_c(H_i;n)\le Lq(H;n) for each ii. Pieces may be empty or share vertices, and the partition depends only on HH and nn. It does not give a single copy of HH at threshold Lq(H;n)Lq(H;n) (the separate embeddings need not glue), and kk, LL are not explicit.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsOct 5, 2026Significance 15/100Registry: unreviewed

The Ascoli-He-Park-Talagrand graph-decomposition conjecture at the expectation threshold

Prior state unknown→proved

Theorem 1.1: there are absolute k≥2k\ge2 and L≥1L\ge1 such that for every n≥2n\ge2 and every graph HH on at most nn vertices, E(H)=E(H1)⊔⋯⊔E(Hk)E(H)=E(H_1)\sqcup\dots\sqcup E(H_k) with pc(Hi;n)≤Lq(H;n)p_c(H_i;n)\le Lq(H;n) for each ii. Pieces may be empty or share vertices, and the partition depends only on HH and nn. It does not give a single copy of HH at threshold Lq(H;n)Lq(H;n) (the separate embeddings need not glue), and kk, LL are not expl…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: there are absolute k≥2k\ge2 and L≥1L\ge1 such that for every n≥2n\ge2 and every graph HH on at most nn vertices, E(H)=E(H1)⊔⋯⊔E(Hk)E(H)=E(H_1)\sqcup\dots\sqcup E(H_k) with pc(Hi;n)≤Lq(H;n)p_c(H_i;n)\le Lq(H;n) for each ii. Pieces may be empty or share vertices, and the partition depends only on HH and nn. It does not give a single copy of HH at threshold Lq(H;n)Lq(H;n) (the separate embeddings need not glue), and kk, LL are not explicit.

Theorem 1.1: there are absolute k≥2k\ge2 and L≥1L\ge1 such that for every n≥2n\ge2 and every graph HH on at most nn vertices, E(H)=E(H1)⊔⋯⊔E(Hk)E(H)=E(H_1)\sqcup\dots\sqcup E(H_k) with pc(Hi;n)≤Lq(H;n)p_c(H_i;n)\le Lq(H;n) for each ii. Pieces may be empty or share vertices, and the partition depends only on HH and nn. It does not give a single copy of HH at threshold Lq(H;n)Lq(H;n) (the separate embeddings need not glue), and kk, LL are not explicit.

Recorded attempts

Evidence graph

Connected research record