English

Constructions of Tur\'an systems that are tight up to a multiplicative constant

Combinatorics 2025-02-07 v3

Abstract

For positive integers ns>rn\ge s> r, the Tur\'an function T(n,s,r)T(n,s,r) is the smallest size of an r-graph with n vertices such that every set of s vertices contains at least one edge. Also, define the Tur\'an density t(s,r)t(s,r) as the limit of T(n,s,r)/(nr)T(n,s,r)/ {n\choose r} as nn\to\infty. The question of estimating these parameters received a lot of attention after it was first raised by Tur\'an in 1941. A trivial lower bound is t(s,r)1/(ssr)t(s,r)\ge 1/{s\choose s-r}. In the early 1990s, de Caen conjectured that rt(r+1,r)r\cdot t(r+1,r)\to\infty as rr\to\infty and offered 500 Canadian dollars for resolving this question. We disprove this conjecture by showing more strongly that for every integer R1R\ge1 there is μR\mu_R (in fact, μR\mu_R can be taken to grow as (1+o(1))RlnR(1+o(1))\, R\ln R) such that t(r+R,r)(μR+o(1))/(r+RR)t(r+R,r)\le (\mu_R+o(1))/ {r+R\choose R} as rr\to\infty, that is, the trivial lower bound is tight for every RR up to a multiplicative constant μR\mu_R.

Keywords

Cite

@article{arxiv.2406.07443,
  title  = {Constructions of Tur\'an systems that are tight up to a multiplicative constant},
  author = {Oleg Pikhurko},
  journal= {arXiv preprint arXiv:2406.07443},
  year   = {2025}
}

Comments

10 pages, incorporating referees' comments and adding 2 new references, accepted by Advances in Mathematics