English

A conditional lower bound for the Tur\'an number of spheres

Combinatorics 2026-01-14 v1

Abstract

We consider the hypergraph Tur\'an problem of determining ex(n,Sd)\mathrm{ex}(n, S^d), the maximum number of facets in a dd-dimensional simplicial complex on nn vertices that does not contain a simplicial dd-sphere (a homeomorph of SdS^d) as a subcomplex. We show that if there is an affirmative answer to a question of Gromov about sphere enumeration in high dimensions, then ex(n,Sd)Ω(nd+1(d+1)/(2d+12))\mathrm{ex}(n, S^d) \geq \Omega(n^{d + 1 - (d + 1)/(2^{d + 1} - 2)}). Furthermore, this lower bound holds unconditionally for 2-LC spheres, which includes all shellable spheres and therefore all polytopes. We also prove an upper bound on ex(n,Sd)\mathrm{ex}(n, S^d) of O(nd+11/2d1)O(n^{d + 1 - 1/2^{d - 1}}) using a simple induction argument. We conjecture that the upper bound can be improved to match the conditional lower bound.

Keywords

Cite

@article{arxiv.2403.05364,
  title  = {A conditional lower bound for the Tur\'an number of spheres},
  author = {Andrew Newman and Marta Pavelka},
  journal= {arXiv preprint arXiv:2403.05364},
  year   = {2026}
}

Comments

9 pages