MIT

Let G be a finite Chevalley group, i.e., the group of F_q points of a reductive group over F_q. Virtual representations of G in defining characteristic can be constructed in two ways, either by Brauer-Nesbitt reduction of complex representations, or by restricting an algebraic representation. G. Lusztig conjectured the shape of formulas connecting the two procedures; I will discuss a realization of his proposal related to decomposition of the class of diagonal for G/B coming from summands in the push-forward of the structure sheaf under Frobenius. 

Time permitting I will discuss a different, unrelated at present, way to describe such virtual representations linking it to homology of an affine Springer fiber. This found application in the work of Tony Feng and Viet Bao Le Hung on Breuil-Mezard conjectures. 

Based on joint works with Finkelberg, Kazhdan and Morton-Ferguson and with Boixeda Alvarez, McBreen and Yun respectively.

Asymptotically Locally Flat (ALF) Ricci-flat metrics are expected to model certain long-time singularities in four-dimensional Ricci flow, so understanding their stability is essential. In this talk, I will discuss that conformally Kähler, non-hyperkähler Ricci-flat ALF metrics are dynamically unstable under Ricci flow. Our work establishes three key tools in this setting: a Fredholm theory for the Laplacian on ALF metrics, the preservation of the ALF structure along the Ricci flow, and an extension of Perelman’s λ-functional to ALF metrics. This is joint work with Tristan Ozuch.

In their study of GL(N)-GL(m) Howe duality, Cautis-Kamnitzer-Morrison observed that the GL(N) Reshetikhin-Turaev link invariant can be computed in terms of quantum gl(m). This idea inspired Cautis and Lauda-Queffelec-Rose to give a construction of GL(N) link homology in terms of Khovanov-Lauda's categorified quantum gl(m). There is a Spin(2n+1)-Spin(m) Howe duality, and a quantum analogue that was first studied by Wenzl. In the first half of the talk, I will explain how to use this duality to compute the Spin(2n+1) link polynomial, and present calculations which suggest that the Spin(2n+1) link invariant is obtained from the GL(2n) link invariant by folding. In the second part of the talk, I will introduce the parallel categorified constructions and explain how to use them to define Spin(2n+1) link homology.

This is based on joint work in progress with Ben Elias and David Rose.

Many practical Bayesian inference problems fall into the simulation-based or "likelihood-free" setting, where evaluations of the likelihood function or prior density are unavailable or intractable; instead one can only draw samples from the joint parameter-data prior. Learning conditional distributions is essential to the solution of these problems. 
To this end, I will discuss a powerful class of methods for conditional density estimation and conditional simulation based on transportation of measure. An important application for these methods lies in data assimilation for dynamical systems, where transport enables new approaches to nonlinear filtering and smoothing. 
To illuminate some of the theoretical underpinnings of these methods, I will discuss recent work on monotone map representations, optimization guarantees for learning maps from data, and the statistical convergence of transport-based density estimators.
 

More than 30 year ago Jerrum studied the planted clique problem and proved that under worst-case initialization Metropolis fails to recover planted cliques of size $\ll n^{1/2}$ in the Erdős-Rényi graph $G(n,1/2)$. This result is classically cited in the literature of the problem, as the "first evidence" that finding planted cliques of size much smaller than square root $n$ is "algorithmically hard". Cliques of size $\gg n^{1/2}$ are easy to find using simple algorithms. In a recent work we show that the Metropolis process actually fails to find planted cliques under worst-case initialization for cliques up to size almost linear in $n$. Thus the algorithm fails well beyond the $\sqrt{n}$ "conjectured algorithmic threshold". We also prove that, for a large parameter regime, that the Metropolis process fails also under "natural initialization". Our results resolve some open questions posed by Jerrum in 1992. Based on joint work with Zongchen Chen and Iias Zadik.

Let $V$ be a finite dimensional vector space over the field with two elements with a given nondegenerate symplectic form. Let $[V]$ be the vector space of complex valued functions on $V$ and let $[V]_{\mathbb Z}$ be the subgroup of $[V]$ consisting of integer valued functions. We show that there exists a Z-basis of $[V]_{\mathbb Z}$ consisting of characteristic functions of certain explicit isotropic subspaces of $V$ such that the matrix of the Fourier transform from $[V]$ to $[V]$ with respect to this basis is triangular. This continues the tradition started by Hermite who described eigenvectors for the Fourier transform over real numbers.

We discuss the Local Langlands correspondence in connection with the Bernstein center and the Stable Bernstein center. We also give an example of stable Bernstein center as a stable essentially compact invariant distribution.

We prove that with high probability $\mathbb{G}^{(3)}(n,n^{-1+o(1)})$ contains a spanning Steiner triple system for $n\equiv 1,3\pmod{6}$, establishing the exponent for the threshold probability for existence of a Steiner triple system. We also prove the analogous theorem for Latin squares. Our result follows from a novel bootstrapping scheme that utilizes iterative absorption as well as the connection between thresholds and fractional expectation-thresholds established by Frankston, Kahn, Narayanan, and Park.
This is joint work with Ashwin Sah and Michael Simkin.