Threshold widths of increasing symmetric graph properties

How narrow is the transition of a nontrivial increasing graph property on n≥2 vertices that is invariant under relabeling? For 0<ε<1/2, the target width between probabilities ε and 1−ε is O(log(1/(2ε))/(log n)²).

Why it matters and what counts as progress

Why it matters: The squared-log scale quantifies how abruptly symmetric increasing graph properties appear in a random graph.

What counts as progress: Improve the previous 1/log n scale to the conjectured squared-log scale or obtain sharp constants and extremal properties.

How the problem developed

  1. 1996 · Bound and conjecture [1]

    Ehud Friedgut and Gil Kalai Proved an O(log(1/ε)/log n) transition-width bound for symmetric monotone properties and conjectured the sharper squared-log scale.

  2. 25 Sept 2026 · Reported claim [2]

    OpenAI The preprint reports a universal O(log(1/(2ε))/(log n)²) width bound for every nontrivial increasing relabeling-invariant graph property.

AI contribution

Sources

  1. Friedgut and Kalai, Every monotone graph property has a sharp threshold
  2. Sharp-threshold graph-properties paper
  3. A Sharp Threshold Bound for Monotone Graph Properties
  4. OpenAI result overview
  5. OpenAI mathematics release
  6. Lean graph threshold proof
  7. Hypergraph companion model-panel report
Website timeline

Publication dates and editorial changes.