If $H$ is bipartite and $r$-degenerate, is $\mathrm{ex}(n;H) \ll n^{2-1/r}$ (a $500 Erdős-Simonovits prize conjecture)? A counterexample refutes the degeneracy conjecture.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

1False ↔2  ∀ (r q : ℕ) (H : SimpleGraph (Fin q)),3    0 < r →4      H.IsBipartite →5        Erdos146.IsDegenerate r H →6          (fun n => ↑(SimpleGraph.extremalNumber n H)) =O[Filter.atTop] fun n => ↑n ^ (2 - 1 / ↑r)

Reported activity

Reported by these sources. Not reviewed here.

• construction

  VibeMathed

  Machine

  Astra (internal preview)

  Reported outcome

  candidate

  Open the source record