Seminars and Colloquia by Series

Reciprocal Discriminants

Series
Combinatorics Seminar
Time
Friday, October 9, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Frank SottileTexas A&M University

Motivated by applications and the classical theory of A-discriminants of Gel'fand, Kapranov, and Zelevinsky, we develop the basic theory of discriminants of multivariate reciprocal polynomials. These reciprocal discriminants parameterize reciprocal polynomials that define a singular hypersurface. We show that a reciprocal discriminant has a rich combinatorial structure. It is a reducible hypersurface whose components are dual varieties to Chebyshev subvarieties which correspond to certain layers in a toric arrangement associated to the exponents of the reciprocal polynomials. The layers which contribute correspond to certain matroidal decompositions of the exponents.

This is joint work with Trevor Karn and Simon Telen.

Stability of large cuts in random graphs

Series
Combinatorics Seminar
Time
Friday, October 2, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
IIay HoshenTel Aviv University
We prove that the family of largest cuts in the binomial random graph exhibits the following stability property: If $1/n \ll p \leq 1-\Omega(1)$, then, with high probability, there is a set of $n - o(n)$ vertices that is partitioned in the same manner by all maximum cuts of $G_{n, p}$. Moreover, the analogous statement remains true when one replaces maximum cuts with nearly-maximum cuts.
 
We then demonstrate how one can use this statement as a tool for showing that certain properties of $G_{n, p}$ that hold in a fixed balanced cut hold simultaneously in all maximum cuts. We provide two example applications of this tool. In this talk, we show that maximum cuts in $G_{n, p}$ typically partition the neighbourhood of every vertex into nearly equal parts; this resolves a conjecture of DeMarco and Kahn for all but a narrow range of densities $p$. We will also mention another application regarding sharp thresholds in Turán type problems.
 
This is joint work with Wojciech Samotij and Maksim Zhukovskii.

The multipermutohedral Chow ring

Series
Combinatorics Seminar
Time
Friday, September 25, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Anastasia NathansonUniversity of Minnesota

The multipermutohedral Chow ring was introduced in a series of papers by Clader, Damiolini, Eur, Huang, Li, and Ramadas to study moduli spaces with cyclic symmetry. It generalizes Chow rings of permutohedral varieties and type-B Coxeter arrangements. In this talk, we establish the combinatorial structure of the multipermutohedral Chow ring through an explicit Gröbner basis, yielding a Feichtner-Yuzvinsky-type monomial basis and a formula for the Hilbert series. Using this formula, we refine the palindromicity of the Hilbert series. From a representation-theoretic perspective, we also compute the equivariant Hilbert series under two natural group actions and construct combinatorial maps that establish equivariant unimodality and palindromicity.

Coprime mappings and lonely runners

Series
Combinatorics Seminar
Time
Friday, September 4, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Fei PengGeorgia Institute of Technology

For $x$ real, let $ \{ x \}$ be the fractional part of $x$ (i.e. $\{x\} = x - \lfloor x \rfloor $).  The lonely runner conjecture can be stated as follows: for any $n$ positive integers $ v_1 < v_2 < \dots < v_n $ there exists a real number $t$ such that $ 1/(n+1) \le \{ v_i t\} \le n/(n+1) $ for $ i = 1, \dots, n$.  In this paper we prove that if $ \epsilon >0 $ and $n$ is sufficiently large (relative to $\epsilon$) then such a $t$ exists for any collection of positive integers $ v_1 < v_2 < \dots < v_n$ such that $ v_n < (2-\epsilon)n$.  This is an approximate version of a natural next step for the study of the lonely runner conjecture suggested by Tao.  
    
The key ingredient in our proof is a result on coprime mappings.  Let $A$ and $B$ be sets of integers.  A bijection $ f:A \to B$ is a coprime mapping if $ a $ and $f(a)$ are coprime for every $ a \in A$. We show that if $A,B \subset [n]$ are intervals of length $2m$ where $ m = e^{ \Omega({(\log\log n)}^2)}$ then there exists a coprime mapping from $A$ to $B$. 

On Spielman's Laplacian Eigenratio Conjecture and Related Problems

Series
Combinatorics Seminar
Time
Monday, June 29, 2026 - 15:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Jie MaUniversity of Science and Technology of China/Tsinghua University

Let $G$ be an $n$-vertex graph with Laplacian eigenvalues $0=\lambda_1(G)\le \lambda_2(G)\le\cdots\le \lambda_n(G)$. Motivated by the Alon--Boppana bound and the Ramanujan phenomenon for regular graphs, Spielman conjectured that, for every graph $G$ with fixed average degree $d\ge 1$, its Laplacian eigenratio satisfies $$\frac{\lambda_2(G)}{\lambda_n(G)} \le \frac{d-2\sqrt{d-1}}{d+2\sqrt{d-1}}+o_n(1),$$ where $o_n(1)\to 0$ as $n\to\infty$. The main purpose of this paper is to investigate this conjecture. We show that the situation is mixed. On the negative side, the conjecture fails for infinitely many average degrees $d>2$, via constructions based on bipartite Ramanujan graphs. On the positive side, it holds in two important settings: we verify it for all average degrees $d\le 2$, and we prove it for all regular graphs. In fact, for regular graphs we obtain stronger bounds comparing higher Laplacian eigenvalues. As a consequence, we show that for every fixed $d\ge 3$ and every $\varepsilon>0$, every sufficiently large $d$-regular Ramanujan graph has linearly many adjacency eigenvalues below $-2\sqrt{d-1}+\varepsilon$, thereby strengthening earlier results of Li and Cioabă by giving an unconditional result of this form. We also settle two related conjectures: one of You and Liu concerning the maximum Laplacian eigenratio of trees, and one of Gu concerning the Hamiltonicity of graphs with large Laplacian eigenratio.

Joint with Quanyu Tang, Yuchang Wang and Zhiheng Zheng.

Path partitions in regular (directed) graphs

Series
Combinatorics Seminar
Time
Friday, April 24, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Akif YildizCentrum Wiskunde &amp; Informatica

As a generalization of Hamiltonicity problems, one may consider partitioning the vertices of a (directed) graph into as few paths (or cycles) as possible. Ore's classical theorem gives a tight upper bound on the number of paths needed to cover an n-vertex graph, with imbalanced bipartite graphs showing that the bound is best possible. A conjecture of Magnant and Martin (2009) suggests that Ore's bound can be significantly improved for regular graphs. This is also connected to the famous linear arboricity conjecture and has attracted considerable attention in recent years, including a very recent result establishing the conjecture up to a factor of two. In this talk, I will discuss directed and oriented variants of this conjecture and present some results in these settings. Based mostly on joint work with Allan Lo and Viresh Patel.

Spanning trees and discrete curvature on graphs

Series
Combinatorics Seminar
Time
Friday, April 17, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Karel DevriendtOxford University

Kirchhoff's celebrated matrix tree theorem expresses the number of spanning trees of a graph as a minor of the Laplacian matrix of the graph. In modern language, this determinantal counting formula reflects the fact that spanning trees in a graph form a regular matroid. In this talk, I will give a short historical overview of the tree-counting problem and a related quantity from electrical circuit theory: the effective resistance. I will describe a characterization of effective resistances in terms of a certain polytope and discuss a recent application to discrete notions of curvature on graphs. The talk is based on the article: https://arxiv.org/abs/2410.07756

Randomly piercing algebraic sets

Series
Combinatorics Seminar
Time
Friday, April 3, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Nathan TungStanford University

How large of a random subset $D \subset \mathbb{F}_p^n$ does one need to almost surely intersect zero sets cut out by at most $s$ polynomials each of degree at most $k$? We determine the sharp threshold for this problem for all fixed $s$ and $k$. A corollary is that there exists a dense subset $A \subset \mathbb{F}_p^n$ free of k-term arithmetic progressions with common difference in a sufficiently small $D$, improving the lower bound for what is known as Szemerédi’s theorem with random differences. Our bound is the first to capture dependence of $|D|$ on $|A|$ in the finite field setting. Based on joint work with Daniel Altman.

Ramsey and Turán numbers of sparse hypergraphs

Series
Combinatorics Seminar
Time
Friday, February 27, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Jonathan TidorPrinceton University

The degeneracy of a graph is a measure of sparseness that appears in many contexts throughout graph theory. In extremal graph theory, it is known that graphs of bounded degeneracy have Ramsey number which is linear in their number of vertices (Lee, 2017). Also, the degeneracy gives good bounds on the Turán exponent of bipartite graphs (Alon--Krivelevich--Sudokav, 2003). Extending these results to hypergraphs presents a challenge, as it is known that the naïve generalization of these results -- using the standard notion of hypergraph degeneracy -- are not true (Kostochka--Rödl 2006). We define a new measure of sparseness for hypergraphs called skeletal degeneracy and show that it gives information on both the Ramsey- and Turán-type properties of hypergraphs.

 

Based on joint work with Jacob Fox, Maya Sankar, Michael Simkin, and Yunkun Zhou

Exact threshold for non-linear Hamilton cycles

Series
Combinatorics Seminar
Time
Friday, February 6, 2026 - 15:15 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Byron ChinMIT

For positive integers $r > \ell \geq 1$, an $\ell$-cycle in an $r$-uniform hypergraph is a cycle where each edge consists of $r$ vertices and each pair of consecutive edges intersect in $\ell$ vertices. For $\ell \geq 2$, we determine the exact threshold for the appearance of Hamilton $\ell$-cycles in an Erd\H{o}s--R\'enyi random hypergraph, confirming a conjecture of Narayanan and Schacht. The main difficulty is that the second moment is not tight for these structures. I’ll discuss how a variant of small subgraph conditioning and a subsampling procedure overcome this difficulty.

Pages