English

Generating non-jumps from a known one

Combinatorics 2022-08-02 v1

Abstract

Let r2r\ge 2 be an integer. The real number α[0,1]\alpha\in [0,1] is a jump for rr if there exists a constant c>0c > 0 such that for any ϵ>0\epsilon >0 and any integer mrm \geq r, there exists an integer n0(ϵ,m)n_0(\epsilon, m) satisfying any rr-uniform graph with nn0(ϵ,m)n\ge n_0(\epsilon, m) vertices and density at least α+ϵ\alpha+\epsilon contains a subgraph with mm vertices and density at least α+c\alpha+c. A result of Erd\H{o}s, Stone and Simonovits implies that every α[0,1)\alpha\in [0,1) is a jump for r=2r=2. Erd\H{o}s asked whether the same is true for r3r\ge 3. Frankl and R\"{o}dl gave a negative answer by showing that 11lr11-\frac{1}{l^{r-1}} is not a jump for rr if r3r\ge 3 and l>2rl>2r. After that, more non-jumps are found using a method of Frankl and R\"{o}dl. In this note, we show a method to construct maps f ⁣:[0,1][0,1]f \colon [0,1] \to [0,1] that preserve non-jumps, if α\alpha is a non-jump for rr given by the method of Frankl and R\"{o}dl, then f(α)f(\alpha) is also a non-jump for rr. We use these maps to study hypergraph Tur\'{a}n densities and answer a question posed by Grosu.

Cite

@article{arxiv.2208.00794,
  title  = {Generating non-jumps from a known one},
  author = {Jianfeng Hou and Heng Li and Caihong Yang and Yixiao Zhang},
  journal= {arXiv preprint arXiv:2208.00794},
  year   = {2022}
}
R2 v1 2026-06-25T01:22:44.202Z