Seminars and Colloquia by Series

Zarankiewicz problem, VC-dimension, and incidence geometry

Series
Job Candidate Talk
Time
Thursday, February 17, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
https://gatech.bluejeans.com/939739653/6882
Speaker
Cosmin PohoataYale University
The Zarankiewicz problem is a central problem in extremal graph theory, which lies at the intersection of several areas of mathematics. It asks for the maximum number of edges in a bipartite graph on $2n$ vertices, where each side of the bipartition contains $n$ vertices, and which does not contain the complete bipartite graph $K_{s,t}$ as a subgraph. One of the many reasons this problem is rather special among Turán-type problems is that the extremal graphs in question, whenever available, always seem to have to be of algebraic nature, in particular witnesses to basic intersection theory phenomena. The most tantalizing case is by far the diagonal problem, for which the answer is unknown for most values of $s=t$, and where it is a complete mystery what the extremal graphs could look like. In this talk, we will discuss a new phenomenon related to an important variant of this problem, which is the analogous question in bipartite graphs with bounded VC-dimension. We will present several new consequences in incidence geometry, which improve upon classical results. Based on joint work with Oliver Janzer.
 

On the sum-product problem

Series
Job Candidate Talk
Time
Tuesday, February 15, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
ONLINE
Speaker
George ShakanCRM

Let A be a subset of the integers of size n. In 1983, Erdos and Szemeredi conjectured that either A+A or A*A must have size nearly n^2. We discuss ideas towards this conjecture, such as an older connection to incidence geometry as well as somewhat newer breakthroughs in additive combinatorics. We further highlight applications of the sum-product phenomenon. 

Recent progress on Hadwiger's conjecture

Series
Job Candidate Talk
Time
Monday, February 14, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
ONLINE
Speaker
Luke PostleUniversity of Waterloo

Link: https://bluejeans.com/398474745/0225

In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t \ge 1$. Hadwiger's Conjecture is a vast generalization of the Four Color Theorem and one of the most important open problems in graph theory. Only the cases when $t$ is at most 6 are known. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t (\log t)^{0.5})$ and hence is $O(t (\log t)^{0.5})$-colorable.  In a recent breakthrough, Norin, Song, and I proved that every graph with no $K_t$ minor is $O(t (\log t)^c)$-colorable for every $c > 0.25$,  Subsequently I showed that every graph with no $K_t$ minor is $O(t (\log \log t)^6)$-colorable.  Delcourt and I improved upon this further by showing that every graph with no $K_t$ minor is $O(t \log \log t)$-colorable. Our main technical result yields this as well as a number of other interesting corollaries.  A natural weakening of Hadwiger's Conjecture is the so-called Linear Hadwiger's Conjecture that every graph with no $K_t$ minor is $O(t)$-colorable.  We prove that Linear Hadwiger's Conjecture reduces to small graphs. In 2005, Kühn and Osthus proved that Hadwiger's Conjecture for the class of $K_{s,s}$-free graphs for any fixed positive integer $s \ge 2$. Along this line, we show that Linear Hadwiger's Conjecture holds for the class of $K_r$-free graphs for every fixed $r$.

Stochastic and Convex Geometry for the Analysis of Complex Data

Series
Job Candidate Talk
Time
Thursday, February 10, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
https://gatech.bluejeans.com/532559688
Speaker
Eliza O’ReillyCalifornia Institute of Technology

Many modern problems in data science aim to efficiently and accurately extract important features and make predictions from high dimensional and large data sets. While there are many empirically successful methods to achieve these goals, large gaps between theory and practice remain.  A geometric viewpoint is often useful to address these challenges as it provides a unifying perspective of structure in data, complexity of statistical models, and tractability of computational methods.  As a consequence, an understanding of problem geometry leads both to new insights on existing methods as well as new models and algorithms that address drawbacks in existing methodology.

 In this talk, I will present recent progress on two problems where the relevant model can be viewed as the projection of a lifted formulation with a simple stochastic or convex geometric description. In particular, I will first describe how the theory of stationary random tessellations in stochastic geometry can address computational and theoretical challenges of random decision forests with non-axis-aligned splits. Second, I will present a new approach to convex regression that returns non-polyhedral convex estimators compatible with semidefinite programming. These works open a number of future research directions at the intersection of stochastic and convex geometry, statistical learning theory, and optimization.

On sphere packings and the hard sphere model

Series
Job Candidate Talk
Time
Tuesday, February 8, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
https://bluejeans.com/552606446/5315
Speaker
Will PerkinsUniversity of Illinois, Chicago
The classic sphere packing problem is to determine the densest possible packing of non-overlapping congruent spheres in Euclidean space.  The problem is trivial in dimension 1, straightforward in dimension 2, but a major challenge or mystery in higher dimensions, with the only other solved cases being dimensions 3, 8, and 24.  The hard sphere model is a classic model of a gas from statistical physics, with particles interacting via a hard-core pair potential.  It is believed that this model exhibits a crystallization phase transition in dimension 3, giving a purely geometric explanation for freezing phenomena in nature, but this remains an open mathematical problem. The sphere packing problem and the hard sphere model are closely linked through the following rough rephrasing of the phase transition question: do typical sphere packings at densities just below the maximum density align with a maximum packing or are they disordered?  
 
I will present results on high-dimensional sphere packings and spherical codes and new bounds for the absence of phase transition at low densities in the hard sphere model.  The techniques used take the perspective of algorithms and optimization and can be applied to problems in extremal and enumerative combinatorics as well.
 
 

Understanding Statistical-vs-Computational Tradeoffs via Low-Degree Polynomials

Series
Job Candidate Talk
Time
Thursday, February 3, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
https://bluejeans.com/500115320/1408
Speaker
Alex WeinUC Berkeley/Simons Institute

A central goal in modern data science is to design algorithms for statistical inference tasks such as community detection, high-dimensional clustering, sparse PCA, and many others. Ideally these algorithms would be both statistically optimal and computationally efficient. However, it often seems impossible to achieve both these goals simultaneously: for many problems, the optimal statistical procedure involves a brute force search while all known polynomial-time algorithms are statistically sub-optimal (requiring more data or higher signal strength than is information-theoretically necessary). In the quest for optimal algorithms, it is therefore important to understand the fundamental statistical limitations of computationally efficient algorithms.

I will discuss an emerging theoretical framework for understanding these questions, based on studying the class of "low-degree polynomial algorithms." This is a powerful class of algorithms that captures the best known poly-time algorithms for a wide variety of statistical tasks. This perspective has led to the discovery of many new and improved algorithms, and also many matching lower bounds: we now have tools to prove failure of all low-degree algorithms, which provides concrete evidence for inherent computational hardness of statistical problems. This line of work illustrates that low-degree polynomials provide a unifying framework for understanding the computational complexity of a wide variety of statistical tasks, encompassing hypothesis testing, estimation, and optimization.

Algebraic/Arithmetic properties of curves and Galois cohomology 

Series
Job Candidate Talk
Time
Wednesday, February 2, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
ONLINE
Speaker
Wanlin LiCRM Montreal

A lot of the algebraic and arithmetic information of a curve is contained in its interaction with the Galois group. This draws inspiration from topology, where given a family of curves over a base B, the fundamental group of B acts on the cohomology of the fiber. As an arithmetic analogue, given an algebraic curve C defined over a non-algebraically closed field K, the absolute Galois group of K acts on the etale cohomology of the geometric fiber and this action gives rise to various Galois cohomology classes. In this talk, we discuss how to use these classes to detect algebraic/arithmetic properties of the curve, such as the rational points (following Grothendieck's section conjecture), whether the curve is hyperelliptic, and the set of ``supersingular'' primes.

https://bluejeans.com/270212862/6963

On Gapped Ground State Phases of Quantum Lattice Models

Series
Job Candidate Talk
Time
Monday, January 31, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
ONLINE
Speaker
Amanda YoungTechnical University Munich

Quantum spin systems are many-body physical models where particles are bound to the sites of a lattice. These are widely used throughout condensed matter physics and quantum information theory, and are of particular interest in the classification of quantum phases of matter. By pinning down the properties of new exotic phases of matter, researchers have opened the door to developing new quantum technologies. One of the fundamental quantitites for this classification is whether or not the Hamiltonian has a spectral gap above its ground state energy in the thermodynamic limit. Mathematically, the Hamiltonian is a self-adjoint operator and the set of possible energies is given by its spectrum, which is bounded from below. While the importance of the spectral gap is well known, very few methods exist for establishing if a model is gapped, and the majority of known results are for one-dimensional systems. Moreover, the existence of a non-vanishing gap is generically undecidable which makes it necessary to develop new techniques for estimating spectral gaps. In this talk, I will discuss my work proving non-vanishing spectral gaps for key quantum spin models, and developing new techniques for producing lower bound estimates on the gap. Two important models with longstanding spectral gap questions that I recently contributed progress to are the AKLT model on the hexagonal lattice, and Haldane's pseudo-potentials for the fractional quantum Hall effect. Once a gap has been proved, a natural next question is whether it is typical of a gapped phase. This can be positively answered by showing that the gap is robust in the presence of perturbations. Ensuring the gap remains open in the presence of perturbations is also of interest, e.g., for the development of robust quantum memory. A second topic I will discuss is my research studying spectral gap stability.

URL for the talk: https://bluejeans.com/602513114/7767

 

 

Is there a smallest algebraic integer?

Series
Job Candidate Talk
Time
Thursday, January 27, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
ONLINE
Speaker
Vesselin DimitrovUniversity of Toronto

The Schinzel-Zassenhaus conjecture describes the narrowest collar width around the unit circle that contains a full set of conjugate algebraic integers of a given degree, at least one of which lies off the unit circle. I will explain what this conjecture precisely says and how it is proved. The method involved in this solution turns out to yield some other new results whose ideas I will describe, including to the closest interlacing of Frobenius eigenvalues for abelian varieties over finite fields, the closest separation of Salem numbers in a fixed interval, and the distribution of the short Kobayashi geodesics in the Siegel modular variety.

https://bluejeans.com/476147254/8544

Dimension-free analysis of k-means clustering, stochastic convex optimization and sample covariance matrices in log-concave ensembles

Series
Job Candidate Talk
Time
Tuesday, January 25, 2022 - 11:00 for 1 hour (actually 50 minutes)
Location
https://bluejeans.com/958288541/0675
Speaker
Nikita ZhivotovskiyETH Zurich

The first part of the talk is devoted to robust algorithms for the k-means clustering problem where a quantizer is constructed based on N independent observations. I will present recent sharp non-asymptotic performance guarantees for k-means that hold under the two bounded moments assumption in a general Hilbert space. These bounds extend the asymptotic result of D. Pollard (Annals of Stats, 1981) who showed that the existence of two moments is sufficient for strong consistency of an empirically optimal quantizer. In the second part of the talk I discuss a dimension-free version of the result of Adamczak, Litvak, Pajor, Tomczak-Jaegermann (Journal of Amer. Math. Soc, 2010) for the sample-covariance matrix in log-concave ensembles. The proof of the dimension-free result is based on a duality formula between entropy and moment generating functions. Finally, I will briefly discuss a recent bound on an empirical risk minimization strategy in stochastic convex optimization with strongly convex and Lipschitz losses.

Link to the online talk: https://bluejeans.com/958288541/0675

Pages