Hypergraph Erdős--Rogers functions with consecutive clique sizes
For integers \(k\le s<t\), the hypergraph Erdős--Rogers function \(f^{(k)}_{s,t}(n)\) is the largest integer \(m\) such that every \(n\)-vertex \(K_t^{(k)}\)-free \(k\)-graph contains a set of \(m\) vertices spanning no copy of \(K_s^{(k)}\). We prove that, for every fixed \(s\ge4\), \[ f^{(4)}_{s,s+1}(n)=(\log n)^{o(1)}, \] thereby resolving a problem posed by Conlon, Fox and Sudakov. The key input is a new \(3\)-uniform estimate: for every fixed \(s\ge3\), \(f^{(3)}_{s,s+1}(n)=O(\frac{\log n}{\log\log n})\), which improves the logarithmic upper bound of Dudek and Mubayi. The proof develops…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.10111
curl -X POST /api/v1/records/arxiv/2607.10111/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.10111/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'