Seminars and Colloquia by Series

Second order terms in Arithmetic Statistics

Series
School of Mathematics Colloquium
Time
Thursday, October 29, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Arul ShankarUniversity of Toronto

Arithmetic Statistics is the study of arithmetic objects as they vary in a family. This is the framework used to analyze distributional properties of discriminants and class groups of number fields, ranks and Selmer groups of elliptic and hyperelliptic curves, low-lying zeroes and central values of L-functions, and many other key objects and invariants. An interrelated web of conjectures (Malle, Cohen--Lenstra, Poonen--Rains, Goldfeld, Katz--Sarnak, Loughran--Santens, and their many refinements) give quite precise conjectural descriptions (based on heuristical models) of the leading terms and asymptotic constants of the counts arising in these distributional questions. However, the secondary terms of the counts are much more mysterious, and very little is known (or even conjectured) about them.

In this talk, I will discuss some of the main distributional questions in arithmetic statistics, give some theoretical and practical explanations of why these secondary terms are so important, and end with explaining a series of results, joint with Manjul Bhargava, Takashi Taniguchi, and Jacob Tsimerman, in which some of these secondary terms are proved to exist, and computed.

TBA

Series
School of Mathematics Colloquium
Time
Thursday, October 22, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Gigliola StaffilaniMassachusetts Institue of Technology

Swarm-Based Gradient Descent: A Multi-Agent Approach to Non-Convex Optimization (special Friday time)

Series
School of Mathematics Colloquium
Time
Friday, October 2, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Eitan Tadmor University of Maryland

We discuss a novel class of swarm-based gradient descent (SBGD) methods for nonconvex optimization. Each agent in the swarm is characterized by its position and mass. 

The dynamics combines two mechanisms: persistent transfer of mass from agents positioned on “higher ground” to those with lower objective values, and a mass-dependent time-stepping protocol. This coupling creates a dynamic distinction between “leaders” and “explorers.” Heavier agents act as leaders, use small time steps to refine promising regions near local minima, while light agents take larger steps, exploring the landscape for lower objective values. The swarm dynamics adaptively balances exploitation of local refinement with global exploration. 

We present convergence results and numerical experiments illustrating the effectiveness of SBGD for global optimization.

TBA

Series
School of Mathematics Colloquium
Time
Thursday, September 24, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Matthew BallardUniversity of South Carolina

Contact geometry and knot theory

Series
School of Mathematics Colloquium
Time
Thursday, September 10, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
John EtnyreGeorgia Tech

Contact geometry has a long history, with connections to many areas of physics and mathematics. I will begin with some history and motivation for contact geometry. I will then discuss the development of contact geometry in dimension three, and the central role knot theory has played in that development. We will end by considering the beautiful structure of special knots in contact manifolds and their use in classifying contact structures on three-manifolds. 

Kuramoto oscillators: dynamical systems meet algebraic geometry

Series
School of Mathematics Colloquium
Time
Thursday, May 14, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Michael StillmanCornell

Coupled oscillators appear in a large number of applications: e.g. in biological, chemical sciences, neuro science, power grids, and many more fields. They appear in nature: fireflies flashing in sync with each other is one fun situation.

In 1974, Yoshiki Kuramoto proposed a simple, yet surprisingly effective model for oscillators. We consider homogeneous Kuramoto systems (we will define these notions!). They are determined from a finite graph. In this talk, we describe some of what is known about long term behavior of such systems (do the oscillators self-synchronize? or are there other, "exotic" solutions?), and then relate these systems to systems of polynomial equations. We use algebra, computations in algebraic geometry, and algebraic geometry to study equilibrium solutions to these systems. We will see how computations using algebraic geometry and my computer algebra system Macaulay2 finds all graphs with at most 8 vertices (i.e. 8 oscillators) which have exotic solutions.

Note: we assume essentially NO dynamical systems nor algebraic geometry in this talk! This talk should be understandable to a general mathematical audience. The parts of the talk that are new represent joint work with Heather Harrington and Hal Schenck, and also Steve Strogatz and Alex Townsend.

On complexity of model based derivative free optimization

Series
School of Mathematics Colloquium
Time
Thursday, April 30, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Katya ScheinbergGeorgia Tech ISYE

In many applications of mathematical optimization, one may wish to optimize an objective function without access to its derivatives. These situations call for derivative-free optimization (DFO) methods. Among the most successful approaches in practice are model-based trust-region methods, such as those pioneered by M.J.D Powell. These methods rely on function approximations via low degree polynomials and carefully adapt the local geometry of interpolation points to balance exploration and exploitation.  While relatively complex to implement, these methods are now available in standard scientific computing platforms, including MATLAB and SciPy. However, theoretical analysis of their computational complexity lags behind practice. In particular, it is important to bound the number of function evaluations required to achieve a desired level of accuracy. Using concepts from Lagrangian interpolation and linear algebra we systematically derive complexity bounds for classical model-based trust-region methods and their modern variations. We establish, for the first time, that these methods can have the same worst case complexity than any other known DFO method.

Geometry and spectrum of graphs: regularity of the spectral measure

Series
School of Mathematics Colloquium
Time
Thursday, April 23, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Charles BordenaveInstitut de Mathématiques de Marseille

The spectrum of the discrete Laplacian on a infinite graph, or of its random perturbations such as the Anderson tight-binding model, encodes a rich information about the structure of that space. While natural questions abound (nature of the spectrum, localization of eigenfunctions, behavior of the spectral measure), few admit complete answers outside of very specific cases. In this talk, we will briefly survey some of the main open questions in the area. We will then present an elementary geometric criterion that provides control over the  regularity of the spectral measure.

Convergence of ergodic averages from an observational viewpoint

Series
School of Mathematics Colloquium
Time
Friday, April 17, 2026 - 11:00 for
Location
Skiles 005 and 006
Speaker
Lai-Sang YoungNew York University

The Birkhoff Ergodic Theorem describes typical behaviors and averaged quantities with respect to an invariant measure. In this talk, I will focus on "observable" events, equating observability with positive Lebesgue measure. From this observational viewpoint, "typical" means typical with respect to Lebesgue measure. This leads immediately to issues for attractors, where all invariant measures are singular. I will present highlights of developments in smooth ergodic theory that address these questions. The theory of physical and SRB measures applies to dynamical systems that are deterministic as well as random, in finite and infinite dimensions (where observability has to be interpreted differently). This body of ideas argue in favor of convergence of ergodic averages for typical orbits. But the picture is a little more complicated: In the last part of the talk, I will discuss some recent work that shows that in many natural settings (e.g. reaction networks), it is also typical for ergodic averages 
to fluctuate in perpetuity due to heteroclinic-like behavior.

Conformally Rigid Graphs

Series
School of Mathematics Colloquium
Time
Thursday, March 19, 2026 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Rekha ThomasUniversity of Washington

A well known result in graph theory states that a graph is connected if and only if the second eigenvalue of its Laplacian matrix is positive. In fact, the larger the second eigenvalue, the more connected the graph is. By varying the weights on edges, one can in general increase the second eigenvalue which in turn affects many graph properties such as expansion, mixing times of random walks etc.

In this talk, I will introduce conformally rigid graphs, which are those unweighted undirected graphs in which one cannot increase the second eigenvalue or decrease the largest eigenvalue by changing
weights. This notion turns out to be deeply connected to graph embeddings, semidefinite programming and other ideas in geometry, optimization and combinatorics.

Joint work with Joao Gouveia and Stefan Steinerberger

Pages