TBD by Andrew Stuart
- Series
- School of Mathematics Colloquium
- Time
- Friday, April 23, 2027 - 11:00 for 1 hour (actually 50 minutes)
- Location
- TBD
- Speaker
- Andrew Stuart
Separator theorems are cornerstones of modern structural and algorithmic graph theory. Over the last few decades, researchers have developed various separator theorems for many different classes of graphs. The techniques underlying these results reveal deep and unexpected connections between different areas of math and computer science. In this talk, I will discuss a (biased) sample of a few separator theorems and sketch the techniques behind them.
TBA
Fix a graph or uniform hypergraph $F$ and consider the following simple
process. Start with the complete (hyper)graph $K_n$ on $n$ vertices and
repeatedly remove the edge set of a copy of $F$, chosen uniformly at
random among all copies present at that time. Stop when no copy of $F$
is left. This is the $F$-removal process, and the key question is when
it ends, that is, how many edges are left at the end.
This question has proven to be very hard. In 2015, Bohman, Frieze and
Lubetzky famously proved that the triangle-removal process typically
ends with $n^{3/2+o(1)}$ edges. Until now, the answer was not known for
any other $F$.
We determine when the $F$-removal process ends for many choices of $F$.
This includes cliques, where it confirms a well-known conjecture of
Bennett and Bohman on the final number of edges. This is joint work with
Kühn.
We discuss the bow lemma or Schur comparison theorem, and in particular its higher dimensional analogs. We first investigate isoperimetry under upper and lower curvature bounds, including the Cartan-Hadamard conjecture. We then discuss Fenchel's theorem for CAT(0) spaces and its higher dimensional versions concerning tight (hyper)surfaces in Cartan-Hadamard manifolds. We also develop a rigidity mechanism for flat hypersurfaces in Alexandrov ambient spaces, which is applied to completely characterize surfaces which optimize total Gauss curvature in 3-folds with upper or lower curvature bounds.
Teams link: https://teams.microsoft.com/meet/2172100941812051?p=0YimD0FGzxQfer6TrD
TBA