English

Intersections of iterated shadows

Combinatorics 2024-09-16 v2 Classical Analysis and ODEs

Abstract

We show that if A([n]n/2)\mathcal{A} \subset {[n] \choose n/2} with measure bounded away from zero and from one, then the Ω(n)\Omega(\sqrt{n})-iterated upper shadows of A\mathcal{A} and Ac\mathcal{A}^c intersect in a set of positive measure. This confirms (in a strong form) a conjecture of Friedgut. It can be seen as a stability result for the Kruskal--Katona theorem.

Keywords

Cite

@article{arxiv.2409.05487,
  title  = {Intersections of iterated shadows},
  author = {Hou Tin Chau and David Ellis and Marius Tiba},
  journal= {arXiv preprint arXiv:2409.05487},
  year   = {2024}
}

Comments

Minor corrections. 8 pages

R2 v1 2026-06-28T18:38:20.032Z