Nonstandard analysis and new standard proof of the containers theorem

Logic Seminar

Meeting Details

For more information about this meeting, contact Kristin Berrigan, Jan Reimann, Linda Westrick.

Speaker: Henry Towsner, University of Pennsylvania

Abstract: The hypergraph containers theorem, introduced by Balogh-Morris-Samotij and Saxton-Thomason, is a breakthrough in extremal combinatorics which gives a tool for controlling the number of independent sets in finite hypergraphs. (I will not assume any familiarity with the containers method!) The original proof depends on giving a program which constructs 'containers' for independent sets and analyzing its behavior to ensure the construction has the right properties. Inspired by the idea of pseudofinite dimension in ultraproducts, we give a new, elementary and nonalgorithmic, proof of the containers theorem which gives a direct characterization of the 'containers'. Joint work with Bernshteyn, Delcourt, and Tserunyan.


Room Reservation Information

Room Number: 315 McAllister

Date: 11/12/2019

Time: 2:30pm - 4:00pm