Pith. sign in

REVIEW 7 cited by

New bounds of two hypergraph Ramsey problems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2410.22019 v1 pith:MQBUM3IU submitted 2024-10-29 math.CO

New bounds of two hypergraph Ramsey problems

classification math.CO
keywords boundfoldhypergraphiteratedlogarithmconjecturedemphfunction
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We focus on two hypergraph Ramsey problems. First, we consider the Erd\H{o}s-Hajnal function $r_k(k+1,t;n)$. In 1972, Erd\H{o}s and Hajnal conjectured that the tower growth rate of $r_k(k+1,t;n)$ is $t-1$ for each $2\le t\le k$. To finish this conjecture, it remains to show that the tower growth rate of $r_4(5,4;n)$ is three. We prove a superexponential lower bound for $r_4(5,4;n)$, which improves the previous best lower bound $r_4(5,4;n)\geq 2^{\Omega(n^2)}$ from Mubayi and Suk (\emph{J. Eur. Math. Soc., 2020}). Second, we prove an upper bound for the hypergraph Erd\H{o}s-Rogers function $f^{(k)}_{k+1,k+2}(N)$ that is an iterated $(k-3)$-fold logarithm in $N$ for each $k\geq 5$. This improves the previous upper bound that is an iterated $(k-13)$-fold logarithm in $N$ for $k\ge14$ due to Mubayi and Suk (\emph{J. London Math. Soc., 2018}), in which they conjectured that $f^{(k)}_{k+1,k+2}(N)$ is an iterated $(k-2)$-fold logarithm in $N$ for each $k\ge3$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 7 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A double-exponential lower bound for $r_4(5,n)$

    math.CO 2026-04 unverdicted novelty 8.0

    r_4(5,n) is at least 2^{2^{c n^{1/7}}}, determining the tower growth rate of r_k(k+1,n) for hypergraph Ramsey numbers.

  2. Hypergraph Erd\H{o}s--Rogers functions with consecutive clique sizes

    math.CO 2026-07 conditional novelty 7.0

    For every fixed s ≥ 4, f^{(4)}_{s,s+1}(n) = (log n)^{o(1)}, from a new 3-uniform bound f^{(3)}_{s,s+1}(n) = O(log n/log log n).

  3. Hypergraph Erd\H{o}s--Rogers functions with consecutive clique sizes

    math.CO 2026-07 accept novelty 7.0

    For fixed s≥4, every n-vertex K_{s+1}^{(4)}-free 4-graph has a K_s^{(4)}-free set of size (log n)^{o(1)}, via a new O(log n / log log n) bound for 3-graphs.

  4. New Tower-Type Lower Bounds for Hypergraph Ramsey Numbers

    math.CO 2026-06 unverdicted novelty 7.0

    Improves r_k(k+1,k+1) > s_3(⌊k/2⌋-2) for k≥6 and proves s_3(k) ≥ (twr_{k-2}(2))^2 for k≥5, yielding r_k(k+1,k+1) > (twr_{⌊k/2⌋-4}(2))^2 for k≥14.

  5. A Note on Generalized Erd\H{o}s-Rogers Problems

    math.CO 2026-04 unverdicted novelty 7.0

    f^{(4)}_{5^{-},6}(N) equals (log log N) to the Theta(1) power, with improved lower bounds r_4(6,n) >= 2^{2^{c sqrt(n)}} and r_k(k+2,n).

  6. An improved double-exponential lower bound for $r_4(5,n)$

    math.CO 2026-05 unverdicted novelty 5.0

    The Ramsey number r_4(5,n) is at least 2^{2^{Omega(n^{1/5})}}, an improvement over the prior 2^{2^{Omega(n^{1/7})}} achieved by reducing greedy layers in the construction from seven to five.

  7. An improved double-exponential lower bound for $r_4(5,n)$

    math.CO 2026-05 unverdicted novelty 4.0

    The paper establishes the improved lower bound r_4(5,n) >= 2^{2^{Omega(n^{1/5})}} for the 4-uniform 5-clique Ramsey number by reducing greedy local-maxima selection from seven layers to five in a modified construction.