The tight tree Ramsey growth conjecture for non-trivial tight hypergraph trees

About 2 years old · traced to

Let r-graphr\text{-graph} mean an rr-uniform hypergraph. A tight rr-tree is an rr-graph whose edges can be ordered as e1,…,ete_1,\dots,e_t so that for every i≥2i\geq 2 there exist v∈eiv\in e_i and 1≤s≤i−11\leq s\leq i-1 with v∉⋃j=1i−1ejv\notin\bigcup_{j=1}^{i-1}e_j and ei∖{v}⊂ese_i\setminus\{v\}\subset e_s. A tight rr-tree is non-trivial if no vertex is contained in all of its edges. For an rr-graph FF, let R(F,n)R(F,n) be the least integer NN such that every FF-free NN-vertex rr-graph has an independent set of size nn.

Tight tree Ramsey growth conjecture. For r≥5r\geq 5, if TT is a non-trivial tight rr-tree, then there exist constants c1,c2>0c_1,c_2>0 such that, for every positive integer nn,

c1nr−1≤R(T,n)≤c2nr−1.c_1n^{r-1}\leq R(T,n)\leq c_2n^{r-1}.

The paper proves this order of growth for r=3r=3 and r=4r=4. The conjecture extends that result to all higher uniformities; the source notes that natural generalizations of the known constructions already fail for r=5r=5, so the lower bound remains the main obstacle.

References

Primary source

Jiaxi Nie, “On tight tree-complete hypergraph Ramsey numbers”, arXiv:2412.19461 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.