Mar 17, 2025
Monday
|
09:15 AM - 09:30 AM
|
|
Welcome to SLMath
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
09:30 AM - 10:30 AM
|
|
The induced matchings behind some things
Cosmin Pohoata (Emory University)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
We will discuss a few simple (to state) questions about induced matchings, together with some old and new connections between these questions and various topics at the intersection of extremal combinatorics, discrete geometry and number theory.
- Supplements
-
--
|
10:30 AM - 11:00 AM
|
|
Morning Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
Lower bounds for incidences
Alex Cohen (Massachusetts Institute of Technology)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
--
- Abstract
Zoom Link
Lots of problems in combinatorics and analysis are connected to upper bounds for incidences: given a set of points and tubes, how much can they intersect? On the other hand, lower bounds for incidences have not been studied much. In this vein, we prove that if you choose `n’ points in the unit square and a line through each point, then there is a nontrivial point-line pair with distance <= n^{-2/3+o(1)}. It quickly follows that in any set of `n’ points in the unit square some three form a triangle of area <= n^{-7/6+o(1)}, a new bound for this problem. The main work is proving a more general incidence lower bound result under a new regularity condition. Joint work with Cosmin Pohoata and Dmitrii Zakharov.
- Supplements
-
--
|
12:00 PM - 02:00 PM
|
|
Lunch
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
02:00 PM - 03:00 PM
|
|
Expanding polynomials and the Elekes-Szabó problem using proximity
Joshua Zahl (University of British Columbia)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
Elekes and Rónyai proved that if P(x,y) is a polynomial, then either P has a very special structure (for example P(x,y) = x+y or P(x,y) = xy), or else for every pair of sets A, B \subset R of size n, P(A x B) has cardinality substantially larger than n. This result was generalized by Elekes and Szabó, who proved that if Z \subset R^3 is an algebraic variety, then either Z has a very special structure (for example Z is a plane), or else for every triples of sets A, B, C \subset R of size n, Z \cap (A x B x C) has cardinality substantially smaller than n^2.
The Elekes-Rónyai and Elekes-Szabó theorems have applications to extremal questions in incidence geometry. There have been several generalizations of the above results, and several quantitative improvements that have strengthened the exponent in the Elekes-Szabó theorem from n^2 to n^{2-c} for various explicit values of c > 0 (and similarly for the Elekes-Rónyai theorem). I will discuss some ideas that give further quantitative improvements for this problem, leading to the exponent c = 2/7. This is joint work with Jozsef Solymosi.
- Supplements
-
--
|
03:00 PM - 03:30 PM
|
|
Afternoon Tea
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
03:30 PM - 04:30 PM
|
|
Real polynomial partitioning
Hung-Hsun Yu (Princeton University)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
The Guth--Katz polynomial partitioning was first introduced in their ground-breaking result on the Erdős distinct distances problem, and it has found many applications in incidence geometry since then. In this talk, I will discuss two recent works that apply the tool. The first is a joint work with Gabriel Currier and József Solymosi, which shows that near optimizers of the Szemerédi–Trotter theorem must be "rigid" in some sense. The second is a joint work with Jonathan Tidor, which concerns hypergraphs that are called semialgraic. A semialgebraic hypergraph is a hypergraph with vertices being points in some Euclidean space and edges defined by some semialgebraic relations. I will talk about how polynomial partitioning is useful to prove a strong regularity lemma and a Zarankiewciz-type result for semialgebraic hypergraphs.
- Supplements
-
--
|
|
Mar 18, 2025
Tuesday
|
09:30 AM - 10:30 AM
|
|
Non-averaging sets
Dmitrii Zakharov (Massachusetts Institute of Technology)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
A set of integers A is non-averaging if no element of A is an average of two or more other elements of A. We show that the largest non-averaging subset in [n] has size n^{1/4+o(1)}, resolving a problem of Erdos and Straus. Our proof combines convex geometric arguments with a structure theorem for subset sums. Joint work with Huy Pham.
- Supplements
-
--
|
10:30 AM - 11:00 AM
|
|
Morning Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
New Bounds for the Furstenberg-Sarkozy Theorem
Mehtaab Sawhney (Columbia University)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
We discuss improved bounds for sets with no square difference. A crucial development in our proof is importing tools related to hypercontractivity to the arithmetic setting.
Based on joint work with Ben Green
- Supplements
-
--
|
12:00 PM - 02:00 PM
|
|
Lunch
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
02:00 PM - 03:00 PM
|
|
Reflection groups in extremal graph theory
David Conlon (California Institute of Technology)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
In this talk, we describe how finite reflection groups naturally arise in connection to a variety of themes in extremal graph theory, including Sidorenko's conjecture, graph norms and extremal numbers. Joint work with Jisun Baek and Joonkyung Lee.
- Supplements
-
--
|
03:00 PM - 03:30 PM
|
|
Afternoon Tea
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
03:30 PM - 04:30 PM
|
|
On Zarankiewicz's Problem for Intersection Hypergraphs of Geometric Object
Chaya Keller (Ariel University)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
The hypergraph Zarankiewicz's problem, introduced by Erd\H{o}s in 1964, asks for the maximum number of hyperedges in an $r$-partite hypergraph with $n$ vertices in each part that does not contain a copy of $K_{t,t,\ldots,t}$. Erd\H{o}s obtained a near optimal bound of $O(n^{r-1/t^{r-1}})$ for general hypergraphs. In recent years, several works obtained improved bounds under various algebraic assumptions -- e.g., if the hypergraph is semialgebraic.
In this talk we study the problem in a geometric setting -- for $r$-partite intersection hypergraphs of families of geometric objects. Our main results are essentially sharp bounds for families of axis-parallel boxes in $\mathbb{R}^d$ and for families of pseudo-discs.
Joint work with Timothy Chan and Shakhar Smorodinsky
- Supplements
-
--
|
04:30 PM - 06:30 PM
|
|
Reception
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
Mar 19, 2025
Wednesday
|
09:30 AM - 10:30 AM
|
|
Sums of algebraic dilates
Jeck Lim (California Institute of Technology)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
Given a real number λ and a finite set A of real numbers, how small can the size of the sum of dilate A + λ.A be in terms of |A|? If λ is transcendental, then |A + λ.A| grows superlinearly in |A|, whereas if λ is algebraic, then |A + λ.A| only grows linearly in |A|. There have been several works in recent years to prove optimal linear bounds in the algebraic case, but tight bounds were only known when λ is an algebraic integer or of the form (p/q)^{1/d}.
In this talk, we prove tight bounds for sums of arbitrarily many algebraic dilates |A + λ1.A + ... + λk.A|. We will discuss the main tools used in the proof, which include a Frieman-type structure theorem for sets with small sums of dilates, and a high-dimensional notion of density which we call "lattice density". Joint work with David Conlon.
- Supplements
-
--
|
10:30 AM - 11:00 AM
|
|
Morning Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
Integer distance sets
Sarah Peluse (Stanford University)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
--
- Abstract
Zoom Link
I'll speak about joint work with Rachel Greenfeld and Marina Iliopoulou in which we address some classical questions concerning the size and structure of integer distance sets. A subset of the Euclidean plane is said to be an integer distance set if the distance between any pair of points in the set is an integer. Our main result is that any integer distance set in the plane has all but a very small number of points lying on a single line or circle. From this, we deduce a near-optimal lower bound on the diameter of any non-collinear integer distance set of size n and a strong upper bound on the size of any integer distance set in [-N,N]^2 with no three points on a line and no four points on a circle.
- Supplements
-
--
|
|
Mar 20, 2025
Thursday
|
09:30 AM - 10:30 AM
|
|
Independence in random graphs
Jacob Fox (Stanford University)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
Various random graphs models satisfy that each edge appears independently of all other edges but those in a bounded degree graph. Examples include Erdős–Rényi random graphs, random Cayley graphs, random Latin square graphs, and random entangled graphs. We begin the systematic study of random graphs under this weak independence hypothesis, focusing on the clique number. We prove that for 0<p<1 fixed, for any such N-vertex random graph with edge probabilities each p, the clique number is asymptotically almost surely at least (2-o(1))log_{1/p} N and at most O(log N loglog N). The lower bound is tight for the Erdős–Rényi random graph, and the upper bound is tight for random Cayley graphs in finite vector spaces over a fixed finite field. The upper bound solves various open problems in the area. We will also discuss the solution of conjectures of Ruzsa on quantitative versions of Freiman's theorem and of Alon and Orlitsky in information theory building on the same methods. Based on joint works with David Conlon, Huy Tuan Pham, and Liana Yepremyan.
- Supplements
-
--
|
10:30 AM - 10:40 AM
|
|
Group Photo
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
10:40 AM - 11:00 AM
|
|
Morning Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
Counting perfect matchings in dense regular bipartite graphs
Frederick Manners (University of California, San Diego)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
--
- Abstract
Zoom Link
Given a d-regular bipartite graph, how many perfect matchings does it have? Equivalently, what is the permanent of the corresponding 0-1 matrix? It is well-known that the answer is at least 1, and known that it is #P-hard to compute exactly. Some general upper and lower bounds have been proven, but they are typically quite far apart. In this talk we describe an asymptotic formula for the number of perfect matchings, up to a factor 1+o(1), depending only on the singular values of the graph. The formula applies to all somewhat dense graphs under a mild (and necessary) hypothesis that they are not "almost disconnected". We will outline some consequences, and the key ideas of the proof. Joint work with Emily Zhu.
- Supplements
-
--
|
12:00 PM - 02:00 PM
|
|
Lunch
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
02:00 PM - 03:00 PM
|
|
Discrepancy of graphs and hypergraphs
Istvan Tomon (University of Umeå)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
The discrepancy of a graph (or a hypergraph) measures the maximum deviation of the sizes of its induced subgraphs from their expected size. This notion is closely related to many other extensively studied functions of graphs, such as maximum cut, minimum bisection, and spectral gap. I will talk about how to attack several problems in this area with the help of linear algebraic techniques. Based on joint works with Eero Räty and Benny Sudakov.
- Supplements
-
--
|
03:00 PM - 03:30 PM
|
|
Afternoon Tea
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
03:30 PM - 04:30 PM
|
|
Burling graphs and their generalizations
Bartosz Walczak (Jagiellonian University)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
- Abstract
Zoom Link
In 1965, Burling constructed a sequence of triangle-free high-chromatic graphs that admit an intersection model by 3-dimensional boxes. In the last 12 years, Burling's construction has been used to solve several important problems in graph theory, most notably, to disprove Scott's conjecture on the chromatic number of graphs with excluded induced subdivisions. The class of graphs obtained from Burling's construction by taking all induced subgraphs, known as Burling graphs, has recently become a subject of study on its own. For instance, it is a minimal hereditary class of graphs with unbounded chromatic number—the only one known besides the "obvious" class of complete graphs. In this talk, I will present several points of view on Burling's construction, focusing or properties that make it different from other known constructions of triangle-free high-chromatic graphs. I will also present a generalization of Burling's construction that answers a recent question of Fox, Pach, and Suk, which is related to a 35-year-old conjecture that so-called k-quasi-planar graphs have linearly many edges. The latter is joint work with Aristotelis Chaniotis.
- Supplements
-
--
|
|
Mar 21, 2025
Friday
|
09:30 AM - 10:30 AM
|
|
Independent Sets in H-free Hypergraphs
Xiaoyu He (Georgia Institute of Technology)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
--
- Abstract
Zoom Link
It is a fundamental question in Ramsey theory to determine the smallest possible independence number of an H-free hypergraph on n vertices. In the case of graphs, the problem was famously solved for H=K3 by Kim and for H=K4 (up to a logarithmic factor) by Mattheus-Verstraete in 2023. Even C4 and K5 remain wide open. We study the problem for 3-uniform hypergraphs and conjecture a full classification: the minimum independence number is poly(n) if and only if H is contained in the iterated blowup of the single-edge hypergraph. We prove this conjecture for all H with at most two tightly connected components. Based on joint work with Conlon, Fox, Gunby, Mubayi, Suk, Verstraete, and Yu.
- Supplements
-
--
|
10:30 AM - 11:00 AM
|
|
Morning Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
Pentagons in triple systems
Dhruv Mubayi (University of Illinois, Chicago)
|
- Location
- SLMath: Eisenbud Auditorium, Online/Virtual
- Video
-
--
- Abstract
Zoom Link
We consider the question of determining the number of pentagons in a linear triple system and show some connections to number theory, graph theory and geometry. This is joint work with Jozsef Solymosi.
- Supplements
-
--
|
12:00 PM - 02:00 PM
|
|
Lunch
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
03:00 PM - 03:30 PM
|
|
Afternoon Tea
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|