Title: A Short Proof of the Containers Theorem for Hypergraphs
|Affiliation:||University of Waterloo|
Abstract: A modern trend in extremal combinatorics is extending classical results from the dense setting (e.g. Szemerédi's theorem) to the sparse random setting. More precisely, one shows that a property of a given "dense" structure is inherited by a randomly chosen "sparse" substructure. A recent breakthrough tool for proving such statements is the Balogh–Morris–Samotij and Saxton–Thomason hypergraph containers method, which bounds the number of independent sets in homogeneously dense finite hypergraphs, thus implying that a random sparse subset is not independent. Here we present the first known deterministic proof of the containers theorem that is not algorithmic, i.e., it does not involve an iterative process. This is joint work with Anton Bernshteyn, Henry Towsner, and Anush Tserunyan.
200 University Avenue West
Waterloo, ON N2L 3G1