Skip to content

Erdős problem 562

Let Rr(n)R_r(n) denote the rr-uniform hypergraph Ramsey number: the minimal mm such that if we 22-colour all edges of the complete rr-uniform hypergraph on mm vertices then there must be some monochromatic copy of the complete rr-uniform hypergraph on nn vertices.

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

562.lean

Retained formal statement1 of 1

Let Rr(n)R_r(n) denote the rr-uniform hypergraph Ramsey number: the minimal mm such that if we 22-colour all edges of the complete rr-uniform hypergraph on mm vertices then there must be some monochromatic copy of the complete rr-uniform hypergraph on nn vertices.

Prove that, for r3r \ge 3, logr1Rr(n)rn, \log_{r-1} R_r(n) \asymp_r n, where logr1\log_{r-1} denotes the (r1)(r-1)-fold iterated logarithm.

FormalConjectures/ErdosProblems/562.leanErdos562.erdos_5621 lineExact file
True ↔ ∀ r ≥ 3, (fun n => Real.log^[r - 1] ↑(Combinatorics.hypergraphRamsey r n)) =Θ[Filter.atTop] fun n => ↑n
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page