Lower bounds for the Tur\'an densities of daisies

TL;DR

This paper establishes lower bounds for the Turán densities of t-daisies in hypergraphs, connecting the problem to additive combinatorics and a new extremal subset problem in cyclic groups.

Contribution

It introduces a novel additive combinatorics problem related to cyclic groups and uses it to derive lower bounds for Turán densities of t-daisies.

Findings

Provided explicit lower bounds for Turán densities of r-uniform t-daisies.

Linked the Turán density problem to a new extremal subset problem in cyclic groups.

Made progress on a natural additive combinatorics problem involving subset sums in modular arithmetic.

Abstract

For integers $r \geq 3$ and $t \geq 2$, an $r$-uniform $t$-daisy $\mathcal{D}^t_r$ is a family of $\binom{2t}{t}$ $r$-element sets of the form $$\{S \cup T \ : T\subset U, \ |T|=t \}$$ for some sets $S,U$ with $|S|=r-t$, $|U|=2t$ and $S \cap U = \emptyset$. It was conjectured by Bollob\'as, Leader and Malvenuto (and independently Bukh) that the Tur\'an densities of $t$-daisies satisfy $\lim\limits_{r \to \infty} \pi(\mathcal{D}_r^t) = 0$ for all $t \geq 2$; this has become a well-known problem, and it is still open for all values of $t$. In this paper, we give lower bounds for the Tur\'an densities of $r$-uniform $t$-daisies. To do so, we introduce (and make some progress on) the following natural problem in additive combinatorics: for integers $m \geq 2t \geq 4$, what is the maximum cardinality $g(m,t)$ of a subset $R$ of $\mathbb{Z}/m\mathbb{Z}$ such that for any $x \in \mathbb{Z}/m\mathbb{Z}$ and any $2t$-element subset $X$ of $\mathbb{Z}/m\mathbb{Z}$, there are $t$ distinct elements of $X$ whose sum is not in the translate $x+R$? This is a slice-analogue of the extremal Hilbert cube problem considered by Gunderson and R\"odl and its generalization studied by Cilleruelo and Tesoro.