Erdős problem 146 · problems.science

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.

Retained declaration

FormalConjectures/ErdosProblems/146.lean

Formal Conjectures

FormalConjectures/ErdosProblems/146.leanErdos146.erdos_1466 linesExact file

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)

SolvedStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

construction
VibeMathed
Machine
Astra (internal preview)
Reported outcome
candidate
Open the source record

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Reported activity

Continue

Search problems.science