Jan

01/07/20
Toan Nguyen  Penn State & Princeton
On Landau damping
AbstractThe talk presents a quick review on Landau damping for VlasovPoisson system near Penrose stable data, followed by a joint work with D. HanKwan and F. Rousset, where the damping, with screening potential, is proved for data with (essentially) $C^{1}$ regularity on the whole space.

01/07/20
Jinchao Xu  Penn State University
Deep Learning and Multigrid Methods
AbstractIn this talk, I will discuss some models and algorithms from
two different fields: (1) machine learning, including logistic
regression and deep learning, and (2) numerical PDEs, including
multigrid methods. I will explore mathematical relationships between
these models and algorithms and demonstrate how such relationships can
be used to understand, study and improve the model structures,
mathematical properties and relevant training algorithms for deep
neural networks. In particular, I will demonstrate how a new
convolutional neural network known as MgNet, can be derived by making
very minor modifications of a classic geometric multigrid method for
the Poisson equation and then explore the theoretical and practical
potentials of MgNet. 
01/08/20
Nick Edelen  Northwestern
Existence and partial regularity of the freeboundary mean curvature flow
AbstractA surface has geometric freeboundary in a barrier hypersurface if its boundary meets the barrier orthogonally, like a bubble on a bathtub. We extend Brakke's weak notion of mean curvature flow to have a freeboundary condition, and using toy examples we show why this extension is necessary. Contrary to the classical flow, for which the barrier is ``invisible,'' the weak flow allows for the surfaces to ``pop'' upon tangential contact with the barrier. When the initial surface is meanconvex, we generalize White's partial regularity and structure theory to the freeboundary setting. This is in part joint work with Robert Haslhofer, Mohammad Ivaki, and Jonathan Zhu.

01/09/20
Jianfeng Lin  UCSD
Khovanov homology and its applications
AbstractKhovanov homology, as defined by Mikhail Khovanov based on the representation theory of quantum groups, is a powerful invariant for knots. It categorifies the famous Jones polynomial, meaning that Jones polynomial can be recovered as its Euler characteristic. Despite its simple combinatorial definition, Khovanov homology has deep relation with quantum topology, gauge theory and representation theory. In this talk, I will recall the definition of Khovanov homology and introduce some of its important properties and applications (including Rassmussen's combinatorial proof of the Milnor conjecture). No previous knowledge on knot theory will be assumed.

01/09/20
Florian Bossmann  Harbin Institute of Technology
Shifted rank$1$ approximation for seismic data
AbstractLow rank approximation has been extensively studied in the past. It is most suitable to reproduce rectangular like structures in the data. In this talk I introduce a generalization using ``shifted'' rank1 matrices to approximate $A\in\mathbb{C}^{M\times N}$. These matrices are of the form $S_{\lambda}(uv^*)$ where $u\in\mathbb{C}^M$, $v\in\mathbb{C}^N$ and $\lambda\in\mathbb{Z}^N$. The operator $S_{\lambda}$ circularly shifts the $k$th column of $uv^*$ by $\lambda_k$.
These kind of shifts naturally appear in applications, where an object $u$ is observed in $N$ measurements at different positions indicated by the shift $\lambda$. The vector $v$ gives the observation intensity. This model holds e.g., for seismic waves that are recorded at $N$ sensors at different times $\lambda$.
The main difficulty of the above stated problem lies in finding a suitable shift vector $\lambda$. Once the shift is known, a simple singular value decomposition can be applied to reconstruct $u$ and $v$. We propose a greedy method to reconstruct $\lambda$ and validate our approach in numerical examples.
Reference:
F. Boss mann, J. Ma, Enhanced image approximation using shifted rank1 reconstruction, Inverse Problems and Imaging, accepted 2019, https://arxiv.org/abs/1810.01681

01/09/20
Alexander Dunlap  Stanford University
Stationary solutions for the stochastic heat, KPZ, and Burgers equations
AbstractThe KPZ equation, a model for the random growth of rough interfaces, has been the subject of great physical and mathematical interest since its introduction in 1986. By simple changes of variables, it is closely related to the stochastic heat equation, which models the partition function of a random walk in a random environment, and the stochastic Burgers equation, a simple model for turbulence. I will explain several recent results about the existence, classification, and properties of spacetimestationary solutions to these equations on ${\bf R}^d$ for various values of $d$. These solutions thus represent the behavior of the models in large domains on long time scales. Most of the results are joint work with various combinations of C. Graham, Y. Gu, L. Ryzhik, and O. Zeitouni.

01/09/20
Brendon Rhoades  UCSD
The mysteries of Chern plethysm
AbstractSymmetric functions are highly ubiquitous in algebraic combinatorics, with connections to the representation theory of $GL_n$ and $S_n$, the geometry of Grassmannians, and more. There is a classical way to 'compose' symmetric functions called plethysm which has a nice representationtheoretic interpretation. We will describe a related operation called Chern plethysm which has inputs given by a symmetric function F and a vector bundle E and outputs a symmetric polynomial. Chern plethysm provides numerous Schurpositivity results, indicating a representationtheoretic connection, but finding this connection remains an open problem. Joint with Sara Billey and Vasu Tewari.

01/09/20
Nathan Broaddus  Ohio State University
Level structures and images of the Steinberg module for surfaces with marked points
AbstractThe moduli space M of complex curves of fixed topology is an orbifold classifying space for surface bundles. As such the cohomology rings of M and its various orbifold covers give characteristic classes for surface bundles. I will discuss the Steinberg module which is central to the duality present in these cohomology rings. I will then explain current joint work with T. Brendle and A. Putman on surfaces with marked points which expands on results of N. Fullarton and A. Putman for surfaces without marked points. We show that certain finitesheeted orbifold covers M[l] of M have large nontrivial Qcohomology in their cohomological dimension.

01/10/20
Sam Spiro  UCSD
Spectral Graph Theory and the Adjacency Matrix
AbstractGiven a graph $G$, one can compute the eigenvalues of its adjacency matrix $A_G$. Remarkably, these eigenvalues can tell us quite a bit about $G$. More generally, spectral graph theory consists of taking a graph $G$, associating to it a matrix $M_G$, and then using algebraic properties of $M_G$ to recover combinatorial information about $G$. This talk is the first in a series of introductory talks to the subject of spectral graph theory. In particular, we'll be discussing the adjacency matrix and the information encoded by its eigenvalues.

01/10/20
Nicholas Sieger  UCSD
Knots, Graphs, and Bicycles: An attempt to solve the Cycle Double Cover Conjecture
AbstractFirst stated in 1973, the Cycle Double Cover Conjecture states that every bridgeless graph has a collection of cycles which cover every edge exactly twice. The problem remains wide open to this day despite much work. This talk is to present my partial results on the problem, explain why the tutte polynomial is awesome, and to draw some of the beautiful proofs by picture that arose in my work.

01/10/20
David Stapleton  UCSD
Hypersurfaces which are far from being rational
AbstractRational varieties are some of the simplest examples of varieties, e.g. most of their points can be parametrized by affine space. It is natural to ask (1) How can we determine when a variety is rational? and (2) If a variety is not rational, can we measure how far it is from being rational? A famous particular case of this problem is when the variety is a smooth hypersurface in projective space. This problem has attracted a great deal of attention both classically and recently. The interesting case is when the degree of the hypersurface is at most the dimension of the projective space (the ``Fano''range), these hypersurfaces share many of the properties of projective space. In this talk, we present recent work with Nathan Chen which says that smooth Fano hypersurfaces of large dimension can have arbitrarily large degrees of irrationality, i.e. they can be arbitrarily far from being rational.

01/10/20
Xiaochuan Tian  UT Austin
Analysis and computation of nonlocal models
AbstractNonlocal models are experiencing a firm upswing recently as more realistic alternatives to the conventional local models for studying various phenomena from physics and biology to materials and social sciences. In this talk, I will describe our recent effort in taming the computational challenges for nonlocal models. I will first highlight a family of numerical schemes  the asymptotically compatible schemes  for nonlocal models that are robust with the modeling parameter approaching an asymptotic limit. Second, I will discuss nonlocaltolocal coupling techniques so as to improve the computational efficiency of using nonlocal models. This also motivates the development of new mathematical results  for instance, a new trace theorem that extends the classical results.
Although new nonlocal models have been gaining popularity in various applications, they often appear as phenomenological models, such as the peridynamics model in fracture mechanics. Here I will illustrate how to characterize the origin of nonlocality through homogenization of wave propagation in periodic media.

01/13/20
Wanli Qiao  George Mason University
Confidence Regions for Density Ridges
AbstractA ridge in a data cloud is a lowdimensional geometric feature that generalizes the concept of local modes, in the sense that ridge points are local maxima constrained in some subspace. In this talk we give nonparametric confidence regions for $r$dimensional ridges of probability density functions on ${R}^d$ , where $1 \leq r \< d$. We view ridges as the intersections of level sets of some special functions. The vertical variation of the plugin kernel estimators for these functions constrained on the ridges is used as the measure of maximal deviation for ridge estimation. Two types of confidence regions for density ridges will be presented: one is based on the asymptotic distribution of the maximal vertical deviation, which is established by utilizing the extreme value theory of nonstationary $\chi^2$fields indexed by manifolds; and the other is a bootstrap approach (including multiplier bootstrap and empirical bootstrap), the theoretical validity of which leverages the recent study in the literature on the Gaussian approximation of suprema of empirical processes.

01/14/20
Tye Lidman  North Carolina State University
Khovanov homology detects the figureeight knot
AbstractKhovanov homology is a powerful invariant of knots which has many connections to other areas of mathematics, such as representation theory and gauge theory. However, it is strangely difficult to extract topological information from this invariant. After discussing this invariant, we will show that it is able to detect the figureeight knot.

01/14/20

01/14/20
Peter Polacik  University of Minnesota
Liouville theorems for superlinear parabolic equations
AbstractAs in complex analysis, Liouville theorems in PDEs assert that any solution of a specific equation is trivial. The meaning of
``trivial'' depends on the context. In this lecture, we will discuss Liouville theorems for superlinear parabolic PDEs. An overview, a typical application, and recent results will be presented. 
01/14/20
Swee Hong Chan  UCLA
Performing random walks without any randomness
AbstractCan one emulate the simple random walk without actually doing anything random? This talk will be about a deterministic version of random walk called rotor walk, and we will measure its performance in emulating the simple random walk with respect to different parameters, e.g., the shape of the trajectory, number of returns to the origin, etc. In particular, we will see that the number of returns to the origin for the rotor walk can be made equal to the same number for the simple random walk. This resolves a conjecture of Florescu, Ganguly, Levine, and Peres (2014).

01/14/20
Tushar Das  Wisconsin  La Crosse
A variational principle in the parametric geometry of numbers
AbstractWe describe an ongoing program to resolve certain problems at the interface of Diophantine approximation and homogenous dynamics. Highlights include computing the Hausdorff and packing dimensions of the set of singular systems of linear forms and show they are equal, thereby resolving a conjecture of KadyrovKleinbockLindenstraussMargulis (2014) as well as answering a question of BugeaudCheungChevallier (2016). As a corollary of the Dani correspondence principle, this implies that the set of divergent trajectories of a oneparameter diagonal action on the space of unimodular lattices with exactly two Lyapunov exponents with opposite signs has equal Hausdorff and packing dimensions. Other applications include dimension formulas with respect to the uniform exponent of irrationality for simultaneous and dual approximation in two dimensions. This is joint work with David Simmons, Lior Fishman, and Mariusz Urbanski. The reduction of various problems to questions about certain combinatorial objects that we call templates along with a variant of Schmidt's game allows us to answer some of these problems, while leaving plenty that remain open. The talk will be accessible to students and faculty interested in some convex combination of homogeneous dynamics, Diophantine approximation and geometric measure theory.

01/15/20
Yuxing Deng  BIT
On the asymptotical geometry of 4D steady GRS
AbstractIn Perelman's wellknown paper, he claimed the unqueness of the 3D \verb=\=kappanoncollpased steady GRS (without giving any proof or ideas) and conjectured that 3D noncompact \verb=\=kappasolution with positive sectional curvature must be the Ricci flow generated the Bryant soliton. Perelman's claim and conjecture has been proved by Simon Brendle in 2012 and 2018, respectively. The classification of 3D \verb=\=kappanoncollpased steady GRS plays an important role in his proof of the conjecture. Brendle's work is based on the observation that 3D \verb=\=kappanoncollpased steady GRS must be asymptotically cylindercial. In higher dimensions, the asymptotical geometry of steady GRS is much more complicated. In this talk, we will talk about some recent progress on the asymptotical geometry of 4D steady GRS. This is a joint work with Prof. Bennett Chow.

01/16/20
Jianfeng Lin  UCSD
Rokhlin invariant, homology cobordism group and triangulation of manifolds
AbstractA triangulation of a topological space is a homeomorphism from this space to a simplicial complex. A famous problem in topology is whether all manifolds are triangulable. Surprisingly, the answer is no when dimension is at least 4. In this talk, I will explain the beautiful work of GalewskiStern and Matumoto, which provides an obstruction theory for triangulating manifolds. I will also explain Manolescu's disproof of triangulation conjecture in all dimensions greater than 4.

01/16/20
Bo Li  UCSD
Modeling and Simulation of Bacterial Colony Growth with CellCell Mechanical Interactions
AbstractThe growth of bacterial colony exhibits striking complex patterns and robust scaling laws. Understanding the principles that underlie such growth has farreaching consequences in biological and health sciences. In this work, we develop a mechanical theory of cellcell and cellenvironmental interactions and construct a hybrid threedimensional computational model for the growth of {\it E.~coli} colony on a hard agar surface. Our model consists of microscopic descriptions of the growth, division, and movement of individual cells, and macroscopic diffusion equations for the nutrients. The cell movement is driven by the cellular mechanical interactions. Our unique treatment of the force arising from the liquidair surface tension is applicable to both the monolayer (discrete) and multilayer (continuum) growth regimes. Our largescale simulations and analysis predict the linear growth of the colony in both the radial and vertical directions, conforming the experimental observations. This work is the first step toward detailed computational modeling of bacterial growth with mechanical and biochemical interactions. This is joint work with Mya Warren, Hui Sun, Yue Yan, Jonas Cremer, and Terence Hwa.

01/16/20
Marius Junge  UIUC
Graphs and sublaplacians from an operator algebra perspective.
AbstractMotivated by quantum information theory, we study logSobolev inequalities for matrix valued functions on finite graphs and compact Lie groups. Using tools from noncommutative geometry we find a surprising link between graph Laplacians and sublaplacians on the orthogonal group. Simple combinatorial tools, namely the existence of a spanning tree, then allows us to find concrete lower bounds for spectral gaps. Joint work with H. Li and N. LaRacuente.

01/17/20
Alex Guldermond  UCSD
Fast Fourier Transform
AbstractIn this talk, we will be discussing the discrete fourier transform in one
and two dimensions, including some of the transform's properties, as well
as various strategies for efficiently evaluating the discrete fourier transform
via several fast fourier transform algorithms. The algorithms discussed
will include the CooleyTurkey algorithm, the radix2 decimation in time
strategy, the splitradix algorithm, the mixedradix algorithm, the prime
factor algorithm, and Rader's algorithm. Finally, we will discuss various
applications of the fast fourier transform, as well as considerations for
using it in practical applications. 
01/17/20
Ziquan Zhuang  MIT
Positivity of CM line bundle on the Kmoduli space
AbstractRecently there has been a lot of work on the construction of the Kmoduli space, i.e. a good moduli space parametrizing Kpolystable Fano varieties. It is conjectured that this moduli space is projective and the polarization is given by a natural line bundle, the ChowMumford (CM) line bundle. In this talk, I will present a recent joint work with Chenyang Xu where we show the CM line bundle is ample on any proper subspace parametrizing reduced uniformly Kstable Fano varieties, which conjecturally should be the entire Kmoduli. As an application, we prove that the moduli space parametrizing smoothable Kpolystable Fano varieties is projective.

01/21/20
Lillian Pierce  Duke University
On some questions in number theory, from the perspective of moments

01/21/20
Boyu Zhang  Princeton University
Classification of ncomponent links with Khovanov homology of rank $2^n$
AbstractSuppose $L$ is a link with n components and the rank of $Kh(L;Z/2)$ is $2^n$, we show that $L$ can be obtained by disjoint unions and connected sums of Hopf links and unknots. This result gives a positive answer to a question asked by BatsonSeed, and generalizes the unlink detection theorem of Khovanov homology by HeddenNi and BatsonSeed. The proof relies on a new excision formula for the singular instanton Floer homology introduced by Kronheimer and Mrowka. This is joint work with Yi Xie.

01/22/20
Richard Bamler  UC Berkeley
Uniqueness of Weak Solutions to the Ricci Flow and Topological Applications
AbstractIn this talk I will survey recent work with Kleiner in which we verify two topological conjectures using Ricci flow. First, we classify the homotopy type of every 3dimensional spherical space form. This proves the Generalized Smale Conjecture and gives an alternative proof of the Smale Conjecture, which was originally due to Hatcher. Second, we show that the space of metrics with positive scalar curvature on every 3manifold is either contractible or empty. This completes work initiated by Marques. Our proof is based on a new uniqueness theorem for singular Ricci flows, which I have previously obtained with Kleiner. Singular Ricci flows were inspired by Perelman's proof of the Poincar\'e and Geometrization Conjectures, which relied on a flow in which singularities were removed by a certain surgery construction. Since this surgery construction depended on various auxiliary parameters, the resulting flow was not uniquely determined by its initial data. Perelman therefore conjectured that there must be a canonical, weak Ricci flow that automatically ``flows through its singularities'' at an infinitesimal scale. Our work on the uniqueness of singular Ricci flows gives an affirmative answer to Perelman's conjecture and allows the study of continuous families of singular Ricci flows leading to the topological applications mentioned above.

01/22/20
Eric Lybrand  UCSD
The Generic Chaining
AbstractThe study of stochastic processes and their expected suprema arises in many natural contexts. Some examples include understanding the modulus of continuity for Brownian motion, bounding the maximum singular value of a random matrix, or quantifying discrepancies between a distribution and its corresponding empirical distribution. Early attempts at understanding Gaussian processes dates back as far as Kolmogorov and more recently to Dudley, Fernique, Pisier, and Marcus, among many others. Michel Talagrand has provided a powerful and elegant framework known as the Generic Chaining which unifies and extends the work of these mathematicians to give optimal bounds on the expected suprema of Gaussian processes. The aspirational goal of this talk is to outline chaining \'a la Talagrand while focusing on understanding and not getting lost in the details of the setup. Material is drawn mostly from Chapter 2 of Talagrand's text ``Upper and Lower Bounds for Stochastic Processes.''

01/23/20
Ery AriasCastro  UCSD
On using graph distances to estimate Euclidean and related distances
AbstractGraph distances have proven quite useful in machine learning/statistics, particularly in the estimation of Euclidean or geodesic distances. The talk will include a partial review of the literature, and then present more recent developments on the estimation of curvatureconstrained distances on a surface, and well as on the estimation of Euclidean distances based on an unweighted and noisy neighborhood graph.

01/23/20
Mark Alber  UC Riverside
Multi Scale modeling of deformation of blood clots
AbstractThromboembolism, one of the leading causes of morbidity and mortality worldwide, is characterized by formation of obstructive intravascular clots (thrombi) and their mechanical breakage (embolization). A novel twodimensional multiphase computational model will be described that simulates active interactions between the main components of the clot, including platelets and fibrin. It can be used for studying the impact of various physiologically relevant blood shear flow conditions on deformation and embolization of a partially obstructive clot with variable permeability. Simulations provide new insights into mechanisms underlying clot stability and embolization that cannot be studied experimentally at this time. In particular, multiphase model simulations, calibrated using experimental intravital imaging of an established arteriolar clot, show that flowinduced changes in size, shape and internal structure of the clot are largely determined by two sheardependent mechanisms: reversible attachment of platelets to the exterior of the clot and removal of large clot pieces [1]. Model simulations also predict that blood clots with higher permeability are more prone to embolization with enhanced disintegration under increasing shear rate. In contrast, less permeable clots are more resistant to rupture due to shear rate dependent clot stiffening originating from enhanced platelet adhesion and aggregation. Role of plateletsfibrin network mechanical interactions in determining shape of a clot will be also discussed and quantified using analysis of experimental data [2,3]. These results can be used in future to predict risk of thromboembolism based on the data about composition, permeability and deformability of a clot under specific local hemodynamic conditions.
1. Xu S, Xu Z, Kim OV, Litvinov RI, Weisel JW, Alber M. Model predictions of deformation, embolization and permeability of partially obstructive blood clots under variable shear flow. J. R. Soc. Interface 14 (2017) 20170441.
2. Oleg V. Kim, Rustem I. Litvinov, Mark S. Alber & John W. Weisel, Quantitative structural mechanobiology of platelet driven blood clot contraction, Nature Communications 8 (2017) 1274.
3. Samuel Britton, Oleg Kim, Francesco Pancaldi, Zhiliang Xu, Rustem I. Litvinov, John W.Weisel, Mark Alber [2019], Contribution of nascent cohesive fiberfiber interactions to the nonlinear elasticity of fibrin networks under tensile load, Acta Biomaterialia 94 (2019) 514523.

01/23/20
Adam Logan  Carleton University
Automorphism groups of K3 surfaces over nonclosed fields
AbstractUsing the Torelli theorem for K3 surfaces of PyatetskiiShapiro and
Shafarevich one can describe the automorphism group of a K3 surface over
${\mathbb C}$ up to finite error as the quotient of the orthogonal group
of its Picard lattice by the subgroup generated by reflections in
classes of square 2. We will give a similar description valid over an
arbitrary field in which the reflection group is replaced by a certain
subgroup. We will then illustrate this description by giving several
examples of interesting behaviour of the automorphism group, and by
showing that the automorphism groups of two families of K3 surfaces that
arise from Diophantine problems are finite. This is joint work with
Martin Bright and Ronald van Luijk (University of Leiden). 
01/23/20
Angela Yu  UCSD
Three wrongs make a right: reward underestimation mitigates idiosyncrasies in human bandit behavior
AbstractCombining a multiarmed bandit task and Bayesian computational modeling, we find that humans systematically underestimate reward availability in the environment. This apparent pessimism turns out to be an optimism bias in disguise, and one that compensates for other idiosyncrasies in human learning and decisionmaking under uncertainty, such as a default tendency to assume nonstationarity in environmental statistics as well as the adoption of a simplistic decision policy. In particular, reward rate underestimation discourages the decisionmaker from switching away from a ``good'' option, thus achieving nearoptimal behavior (which never switches away after a win). Furthermore, we demonstrate that the Bayesian model that best predicts human behavior is equivalent to a particular class of reinforcement learning models, thus giving statistical, normative grounding to phenomenological models of human behavior.

01/23/20
Aaron Pollack  Duke University
Modular forms on exceptional groups
AbstractBy a ``modular form'' for a reductive group $G$ we mean an
automorphic form that has some sort of very nice Fourier expansion. The
classic example are the holomorphic Siegel modular forms, which are
special automorphic functions for the group $\mathrm{Sp}_{2g}$.
Following work of Gan, Gross, Savin, and Wallach, it turns out that
there is a notion of modular forms on certain real forms of the
exceptional groups. I will define these objects and explain what is
known about them. 
01/24/20
Sam Spiro  UCSD
The Normalized Laplacian
AbstractWe introduce the normalized Laplacian matrix and study how its eigenvalues relate to random walks on graphs and isoperimetric inequalities.

01/24/20
Greg Patchell  UCSD
Automatic Analysis
AbstractIn the early '60s, Abraham Robinson scrapped his standard transmission
calcmobile and built a nonstandard (aka automatic) model. His new model
allowed him and others to shift many proofs into a more intuitive gear.
We'll discuss the first time he took his model through the
car \L o\'s; and drive the transfer principle. We'll also get
infinitely close to talking about the hyperreal numbers. 
01/24/20
Kristin DeVleming  UCSD
Wall crossing for Kmoduli spaces of plane curves
AbstractI will discuss compactifications of the moduli space of smooth plane curves of degree d at least 4. We will regard a plane curve as a log Fano pair $(\mathbb{P}^2,aC)$, where a is a rational number, and study the compactifications coming from K stability for general log Fano pairs. We establish a wall crossing framework to study these spaces as a varies and show that, when a is small, the moduli space coming from K stability is isomorphic to the GIT moduli space. We describe all wall crossings for degree 4, 5, and 6 plane curves and discuss the picture for general QGorenstein smoothable log Fano pairs. This is joint work with Kenneth Ascher and Yuchen Liu.

01/28/20
Sherry Gong  UCLA
On the KronheimerMrowka concordance invariant
AbstractWe will talk about Kronheimer and Mrowka's knot concordance
invariant, $s^\sharp$. We compute the invariant for various knots. Our
computations reveal some unexpected phenomena, including that
$s^\sharp$ differs from Rasmussen's invariant $s$, and that it is not
additive under connected sums. We also generalize the definition of
$s^\sharp$ to links by giving a new characterization of the invariant
in terms of immersed cobordisms. 
01/28/20
Pieter Spaas  UCLA
What can central sequences in von Neumann algebras look like?
AbstractWe will discuss central sequence algebras of von Neumann algebras, and provide a class of II$_1$ factors whose central sequence algebra is not the ``tail'' algebra associated to any decreasing sequence of von Neumann subalgebras. This settles a question of McDuff from 1969. We will also discuss an application of these techniques to the notion of tracial stability for groups. This is based on joint work with Adrian Ioana.

01/28/20
Tianyuan Xu  University of Colorado
On elements of avalue 2 in Coxeter groups
AbstractThe afunction on a Coxeter group W is a function a : W $\rightarrow$ N defined by Lusztig which is intimately related to the partition of W into KazhdanLusztig cells and to the representation theory of the Hecke algebra of W. It is known that the identity element of W is the only element with avalue 0, while a nonidentity element has avalue 1 if and only if it has a unique reduced word. However, as its definition relies on the KazhdanLusztig basis of the Hecke algebra, theafunction is often difficult to compute for general elements.
In this talk we will focus on elements of avalue 2, or a2 elements. We show that a2 elements arefully commutative in the sense of Stembridge, which allows us to associate to them certain posets called heaps and, in many cases, certain generalized TemperleyLieb diagrams. Using heaps and TemperleyLieb diagrams, we conjecture a combinatorial characterization of a2 elements, classify all Coxeter groups with finitely many a2 elements, and enumerate a2 elements for all groups from the classification. Joint with Richard Green. 
01/29/20
Yizhe Zhu  UCSD
Upper Bounds on the Spectral Norm of Random Matrices
AbstractWe will talk about several methods of proving nonasymptotic bounds on
the spectral norm of random matrices including epsilonnet argument and
Slepian's lemma. The main idea is to relate the spectral norm of a
random matrix to the supremum of a random process. 
01/30/20
Robert Hough  Stony Brook University
The shape of low degree number fields
AbstractIn his thesis, M. Bhargava proved parameterizations and identified local
conditions which he used to give asymptotic counts for $S_4$ quartic and
quintic number fields, ordered by discriminant. This talk will discuss
results in an ongoing project to add detail to Bhargava's work by
considering in addition to the field discriminant, the lattice shape of
the ring of integers in the canonical embedding, and by giving strong
rates with lower order terms in the asymptotics. These results build on
earlier work of TaniguchiThorne, BhargavaShankarTsimerman and
BhargavaHarron. 
01/30/20
Eva Loeser  UCSD
The equivalence between processor sharing and service in random order

01/31/20
Thomas Grubb  UCSD
Solving Equations in Roots of Unity
AbstractI will discuss certain methods used to find so called ``cyclotomic
solutions'' to a system of polynomial equations. These are solutions in
which each coordinate is a root of unity. I will then give a simple real
world example in which these methods come in handy, coming from joint work
with Christian Woll. 
01/31/20
Kiran Kedlaya  UCSD
The tame Belyi theorem in positive characteristic
AbstractBelyi's theorem says that on one hand, a curve over a field of
characteristic 0 that admits a finite map to $\mathbf{P}^1$ ramified
over at most three points must descend to a subfield algebraic over
$\mathbb{Q}$, and on the other hand any curve over such a subfield does
indeed admit such a morphism (without any further base extension). One
might ask whether a similar statement holds over a field of
characteristic $p$, replacing $\mathbb{Q}$ with $\mathbb{F}_p$. For
general morphisms this is false, but it becomes true if we restrict to
tamely ramified morphisms to $\mathbf{P}^1$. Such a statement was
originally given by Saidi, in which the ``other hand'' assertion was made
conditional on the existence of some tamely ramified morphism from the
given curve to $\mathbf{P}^1$.In the pretalk, we will discuss how to establish existence of a tamely
ramified morphism in characteristic \mbox{$p\>2$}. This is ``classical'' over an
infinite algebraic extension of $\mathbb{F}_p$; to do it over a fixed
finite field requires a density statement in the style of Poonen's
finite field Bertini theorem.In the talk proper, we will discuss work of SugiyamaYasuda that
establishes the existence of a tamely ramified morphism when the base
field is algebraically closed of characteristic 2. The case where the
base field is finite of characteristic 2 requires a further geometric
reinterpretation of the key construction of SugiyamaYasuda; this is
joint work with Daniel Litt and Jakub Witaszek.
Feb

02/03/20
Alexander James Sutherland  UC Irvine
On the Geometry of Solutions of the Sextic in Two Variables
AbstractAbel's theorem (1824) that the generic polynomial of degree n is
solvable in radicals if and only if $n$ $\<$ 5 is wellknown. However, the
classical works of Bring (1786) and Klein (1884) give solutions of the
generic quintic polynomial by allowing certain other ``nice'' algebraic
functions of one variable. For the sextic, it is conjectured that any
solution requires algebraic functions of two variables. In this talk, we
will examine and relate the intrinsic geometries of the known solutions
of the sextic in two variables, extending the work of Green (1978). 
02/04/20
Rekha Biswal  Max Planck Institute
Macdonald polynomials and level two Demazure modules for affine $\mathfrak{sl}_{n+1}$
AbstractAn important result due to Sanderson and Ion says that characters of level one Demazure modules are specialized Macdonald polynomials. In this talk, I will introduce a new class of symmetric polynomials indexed by a pair of dominant weights in $\mathfrak{sl}_{n+1}$ which is expressed as a linear combination of specialized symmetric Macdonald polynomials with coefficients defined recursively. These polynomials arose in my own work while investigating the characters of higher level Demazure modules. Using representation theory, we will see that this new family of polynomials interpolates between characters of level one and level two Demazure modules for affine $\mathfrak{sl}_{n+1}$ and give rise to new results in the representation theory of current algebras as a corollary. This is based on joint work with Vyjayanthi Chari, Peri Shereen, and Jeffrey Wand.

02/05/20
Zhichao Wang  UCSD
An overview of some applications of chaining methods.
AbstractIn this talk, we will first briefly review the generic chaining method and Dudley's inequality. Then, we will show the application of chaining methods in random dimensionality reduction. We will mainly consider dimensionality reduction with JohnsonLindenstrauss type embeddings, which are random matrix constructions to reduce the dimension while approximately preserving Euclidean interpoint distances in the data set. In particular, we will consider ``fast'' and ``sparse'' JohnsonLindenstrauss embeddings. Finally, we summarize some applications of chaining methods in data streaming algorithms and dictionary learning. The material of this talk is based on some lecture notes by Jelani Nelson and some research work by Sjoerd Dirksen, Jean Bourgain and Jelani Nelson.

02/06/20
Alex Hening  Tufs University
Stochastic persistence and extinction
AbstractA key question in population biology is understanding the conditions under which the species of an ecosystem persist or go extinct. Theoretical and empirical studies have shown that persistence can be facilitated or negated by both biotic interactions and environmental fluctuations. We study the dynamics of n interacting species that live in a stochastic environment. Our models are described by $n$ dimensional piecewise deterministic Markov processes. These are processes $(X(t), r(t))$ where the vector $X$ denotes the density of the $n$ species and $r(t)$ is a finite state space process which keeps track of the environment. In any fixed environment the process follows the flow given by a system of ordinary differential equations. The randomness comes from the changes or switches in the environment, which happen at random times. We give sharp conditions under which the populations persist as well as conditions under which some populations go extinct exponentially fast. As an example we look at the competitive exclusion principle from ecology and show how the random switching can `rescue' species from extinction.

02/06/20
Nehemiah Zewde  Salk Institute for Biological Studies
Computational Modeling of the Complement System Under Homeostasis, Renal Disease, Meningococcal Infection, and Therapeutic Interventions
AbstractThe complement system plays a major role in the immune system to recognize and clear invading pathogens. Although activation of the complement system is tightly controlled, dysregulation leads to a cascade of events that is implicated in autoimmune disorders and infectious diseases. Here, to gain a systemslevel understanding of the complement system, we developed two comprehensive quantitative models that describe the biochemical reactions of the complement system under a renal disorder known as C3 glomerulopathy (C3G) and bacterial infection by Neisseria meningitidis. Our C3G model is composed of (ODEs) 290 ordinary differential equations with 142 kinetic parameters that describe the state of complement system under homeostasis and disease (C3G). Furthermore, we introduced therapy states by modeling known inhibitors of the complement system, a compstatin variant (C3 inhibitor) and eculizumab (C5 inhibitor). We then evaluate our system by generating concentrationtime profiles of biomarkers such as C3, C3adesArg, C5, and fC5b9. Our model shows compstatin treatment to have strong restorative effects on earlystage biomarkers such as C3 and C3adesArg, whereas eculizumab has strong restorative effects on latestage biomarkers C5 and fC5b9. These results also implicate the need for patienttailored therapies that target early stage complement activation under C3G and that treatment may depend on the specific manifestations of a patient's genetic profile in complement regulatory function. After our modeling efforts in C3G, we continued complement modeling for Neisseria meningitidis. This pathogen can cause meningococcal disease and studies have shown individuals with deficiencies in the complement system, notably the membrane attack complex (MAC), have a 7,000 to 10,000fold higher risk of developing meningococcal disease. We subsequently developed a quantitative biochemical model to assess dynamics of MAC production. bacterial infection by composed of 670 ODEs with 328 kinetic parameters Our model shows highest MAC deposition on Neisseria meningitidis is mainly dependent on a concentration barrier where immune activators are at least three orders of magnitude higher than regulators. This makes rising levels of immune regulators as early intervention markers for the sporadic meningococcal disease. Altogether, our models serve as frameworks to simulate diseasespecific scenarios. Subsequently, this can lead to early diagnosis, patientspecific treatments, and aid in drug discovery to identify novel inhibitory sites.

02/06/20
Paromita Dubey  UC Davis
Fr\'echoed Change Point Detection
AbstractChange point detection is a popular tool for identifying locations in a data sequence where an abrupt change occurs in the data distribution and has been widely studied for Euclidean data. Modern data very often is non Euclidean, for example distribution valued data or network data. Change point detection is a challenging problem when the underlying data space is a metric space where one does not have basic algebraic operations like addition of the data points and scalar multiplication.
In this talk, I propose a method to infer the presence and location of change points in the distribution of a sequence of independent data taking values in a general metric space. Change points are viewed as locations at which the distribution of the data sequence changes abruptly in terms of either its Fr\'echet mean or Fr\'echet variance or both. The proposed method is based on comparisons of Fr\'echet variances before and after putative change point locations. First, I will establish that under the null hypothesis of no change point the limit distribution of the proposed scan function is the square of a standardized Brownian Bridge. It is well known that such con vergence is rather slow in moderate to high dimensions. For more accurate results in finite sample applications, I will provide a theoretically justified bootstrapbased scheme for testing the presence of change points. Next, I will show that when a change point exists, (1) the proposed test is con sistent under contiguous alternatives and (2) the estimated location of the changepoint is consistent. All of the above results hold for a broad class of metric spaces under mild entropy conditions. Examples include the space of univariate probability distributions and the space of graph Laplacians for networks. I will illustrate the efficacy of the proposed approach in empirical studies and in real data applications with sequences of maternal fertility distributions. Finally, I will talk about some future extensions and other related research directions, for instance, when one has samples of dynamic metric space data. This talk is based on joint work with Prof. HansGeorg M"uller. 
02/06/20
James Upton  UC Irvine
A trace formula for deformations of $p$adic representations
AbstractLet $X$ be a smooth affine variety over a finite field of characteristic
$p$. The DworkMonsky trace formula is a fundamental tool in
understanding the $L$functions of $p$adic representations of
$\pi_1(X)$. We extend this result to the study of representations valued
in a higherdimensional local ring $R$. The special case
$R=\mathbb{Z}_p[[T]]$ arises naturally in the study
of \'etale $\mathbb{Z}_p$towers over $X$. Time permitting, we discuss
some spectralhalo type results and conjectures describing the $p$adic
variation of slopes in certain $\mathbb{Z}_p$towers. 
02/06/20
Felipe Campos  UCSD
On the Wasserstein distance

02/06/20
Camillo De Lellis  Institute of Advanced Studies
Rigidity and flexibility of isometric embeddings
AbstractConsider a smooth connected closed twodimensional Riemannian manifold
$\Sigma$ with positive Gauss curvature. If $u$ is a $C^2$ isometric
embedding of $\Sigma$, then $u (\Sigma)$ is convex. In the fifties Nash
and Kuiper showed, astonishingly, that this is not necessarily true when
the map is $C^1$. It is expected that the threshold at which isometric
embeddings "change nature" is the $\frac{1}{2}$Hoelder continuity of
their derivatives, a conjecture which shares a striking similarity with
a (recently solved) problem in the theory of fully developed turbulence.In my talk I will review several plausible reasons for the threshold
and a very recent work, joint with Dominik Inauen, which indeed shows a
suitably weakened form of the conjecture. 
02/07/20
Alex Mathers  UCSD
Geometry Over the padic Numbers
AbstractWe will define the padic numbers and discuss some basic properties,
and in the process try to give the audience a sense of how analysis over
the padics compares to (and differs from) analysis over the real or
complex numbers. In particular, we hope to convey why a nice theory of
analytic geometry over the padics might be hard to come by, and then
discuss some of the more sophisticated methods created in order to develop
such a theory. 
02/10/20
Finley McGlade  UCSD
Hecke Modules for $SL_3(\mathbb{Q}_p)$
AbstractFrom number theory to knots, Hecke algebras have applications within
many areas of mathematics.In this talk we describe a pictorial calculus for computing convolution
products in affine Hecke algebras over fields of characteristic zero.Convolution products of this type have been understood since the work of
Iwahori and Matsumoto [1965].However, using results of Parkinson, Ram and Schwer [2006], we can now
draw pictures illustrating the rich combinatorial nature of these products.We describe this pictorial calculus in the example of
$\mathrm{SL}_3(\mathbb{Q}_p)$. Its applicability is limited to
characteristic zero. 
02/11/20
Chris Cox  Carnegie Mellon University
Periodic words, common subsequences and frogs
AbstractLet $W^{(n)}$ be the $n$letter word obtained by repeating a fixed word $W$, and let $R_n$ be a random $n$letter word over the same alphabet. We show several results about the length of the longest common subsequence (LCS) between $W^{(n)}$ and $R_n$; in particular, we show that its expectation is $\gamma_W nO(\sqrt{n})$ for an efficientlycomputable constant $\gamma_W$.\\
This is done by relating the problem to a new interacting particle system, which we dub ``frog dynamics''. In this system, the particles (`frogs') hop over one another in the order given by their labels. Stripped of the labeling, the frog dynamics reduces to a variant of the PushASEP.\\
In the special case when all symbols of $W$ are distinct, we obtain an explicit formula for the constant $\gamma_W$ and a closedform expression for the stationary distribution of the associated frog dynamics.\\
Froggies on a pond\\
They get scared and hop along\\
Scaring others too.\\Their erratic gait\\
Gives us tools to calculate\\
LCS of words.\\(Joint work with Boris Bukh)

02/12/20
Shira Faigenbaum  Tel Aviv University
Manifold Reconstruction and Denoising from Scattered Data in High Dimension via a Generalization of L1 Median

02/12/20
Max Engelstein  University of Minnesota
The Riemannian Quantitative Isoperimetric Inequality
AbstractThe (Euclidean) isoperimetric inequality says that any set has larger perimeter than a ball with the same area. The quantitative isoperimetric inequality says that the difference in perimeters is bounded from below by the square of the distance from our set E to the ``closest'' ball of the same area. In this talk, we will discuss an extension of this result to closed Riemannian manifolds with analytic metrics. In particular, we show that a similar inequality holds but with the distance raised to a power that depends on the geometry. We also have examples which show that a greater power than two is sometimes necessary and that the analyticity condition is necessary. This is joint work with O. Chodosh (Stanford) and L. Spolaor (UCSD).

02/13/20
Jinjie Zhang  UCSD
Grothendieck Constant, optimization and Strassen Matrix Multiplication Tensor
AbstractGrothendieck's inequality guarantees that a certain discrete optimization problemoptimizing a bilinear form
over +1, 1 inputsis equivalent up to a constant, called Grothendieck's constant, to a continuous optimization
problem  optimizing the same bilinear form over unit vectors in a Hilbert space. This is important for
convex relaxation, because the former contains NPhard problems such as maxcut, whereas the latter is
a semidefinite program and can be solved in polynomial time. A world apart from convex relaxation is
algebraic computational complexity, where it is wellknown that the exponent of matrix multiplication is
exactly the sharp lower bound for the (log of) tensor rank of the Strassen matrix multiplication tensor.
We show that Grothendieck's constant is the sharp upper bound on a tensor norm of Strassen matrix
multiplication tensor. Hence these two important quantities from disparate areas of theoretical computer
science Strassen's exponent of matrix multiplication and Grothendieck's constantare just different measures
of the same underlying tensor. This allows us to rewrite Grothendieck's inequality as a norm inequality for
a 3tensor, which in turn gives a family of natural generalized inequalities. We show that these are locally
sharp and prove that Grothendieck's inequality is unique. 
02/13/20
Paul Bressloff  University of Utah
Biological Pattern Formation: Beyond Classical DiffusionBased Morphogenesis
AbstractA fundamental question in modern cell biology is how cellular and subcellular structures are formed and maintained given their particular molecular components. How are the different shapes, sizes, and functions of cellular organelles determined, and why are specific structures formed at particular locations and stages of the life cycle of a cell? In order to address these questions, it is necessary to consider the theory of selforganizing nonequilibrium systems. We are particularly interested in identifying and analyzing novel mechanisms for pattern formation that go beyond the standard Turing mechanism and diffusionbased mechanisms of protein gradient formation. In this talk we present three examples of nonclassical biological pattern formation: (i) Spacedependent switching diffusivities and cytoplasmic protein gradients in the C. elegans zygote (ii) Transport models of cytonemebased morphogenesis. (iii) Hybrid Turing mechanism for the homeostatic control of synaptogenesis in C. elegans.

02/13/20

02/14/20
Evangelos ``Vaki'' Nikitopoulos  UCSD
What is (free) independence?
AbstractFree probability is a subfield of mathematics at the intersection of
operator algebras, complex analysis, probability, and combinatorics. It is
used, among other things, to study the ``$n=\infty$'' case of various $n
\times n$ random matrix models. A concept of central importance in free
probability is \textit{free independence}, the ``noncommutative analogue''
of independence (of random variables) from classical probability. The goal
of this talk is to develop a rigorous understanding of the throwaway
clause in the previous sentence with an interesting mix of analysis and
algebra. Time permitting, we may also discuss why classical independence
and free independence are in a precise sense the only ``reasonable''
notions on independence. 
02/18/20
Caroline TurnageButterbaugh  Carleton College
Moments of zeta and the vertical distribution of its zeros

02/18/20
Itai Maimon  UCSD
Lee theory and Rasmussen's invariant
AbstractKhovanov homology is a knot invariant, which generalizes and more specifically categorifies the Jones
polynomial of knots. However, in the construction of Khovanov homology we seem to make several
choices in the Frobenius algebra that we consider. In this talk, we will discuss a distinct alternative to
Khovanov homology known as Lee theory, in which we make different choices on our Frobenius algebra.
These different choices break the qgrading, but allow us to create a filtration, and use this to define a
Rasmussen's sinvariant. We will describe several properties and applications of this invariant. 
02/18/20
Martin Dindos  University of Edinburgh
On $p$ellipticity and connections to solvability of elliptic complexvalued PDEs
AbstractThe notion of an elliptic partial differential equation (PDE) goes back at least to 1908, when it appeared in a paper J. Hadamard. In this talk we present a recently discovered structural condition, called $p$ellipticity, which generalizes classical ellipticity. It was codiscovered independently by Carbonaro and Dragicevic on one hand, and Pipher and myself on the other, and plays a fundamental role in many seemingly unrelated aspects of the $L^p$ theory of elliptic complexvalued PDE. So far, $p$ellipticity has proven to be the key condition for:
(i) convexity of power functions (Bellman functions)
(ii) dimensionfree bilinear embeddings,
(iii) $L^p$contractivity and boundedness of semigroups $(P_t^A)_{t>0}$
associated with elliptic operators,
(iv) holomorphic functional calculus,
(v) multilinear analysis,
(vi) regularity theory of elliptic PDE with complex coefficients.During the talk, I will describe my contribution to this development, in particular to (vi).

02/18/20
Christophe Hohlweg  UQAM
Garside shadow and Shi arrangements in Coxeter groups
AbstractGiven an affine Coxeter group W, the corresponding Shi arrangement is a refinement of the corresponding Coxeter hyperplane arrangements which was introduced by Shi to study the KazhdanLusztig cells for W. Shi showed, in particular, that each region of a Shi arrangement contains exactly one element in W of minimal length. Garside shadows in W were introduced to study the word problem of the corresponding ArtinTits (braid) group and turns out to produce automata to study the combinatorics of reduced words in W.
In this talk, we will discuss the following conjecture: the set of minimal length elements of the regions in a Shi arrangement is a Garside Shadow. The talk will be illustrated by the example of the affine symmetric group.

02/19/20
Taiyuan Gao  JiangSu Norm. University
Nonlocal curvature flows of closed curves in the plane
AbstractWe first talk about Gage's areapreserving flow (GAPF) for simple, smooth and starshaped curves. It is shown that GAPF drives a centrosymmetric initial curve into a circle as time tends to infinity. Then we generalize GAPF to deform one convex curve to another. This work gives a partial answer to Yau's problem on realizing WhitneyGraustein Theorem via curvature flows.

02/19/20
Eva Loeser  UCSD
Introduction to the Stochastic Integral
AbstractThis talk will be a short review of the construction of the stochastic integral and some basic properties. The purpose is to remind the group of how the integral is defined, the importance of the Ito Isometry, and the Ito Formula.

02/19/20
Nhat Ho  UC Berkeley
Statistical and computational perspectives on latent variable models
AbstractThe growth in scope and complexity of modern data sets presents the field of statistics and data science with numerous inferential and computational challenges, among them how to deal with various forms of heterogeneity. Latent variable models provide a principled approach to modeling heterogeneous collections of data. However, due to the overparameterization, it has been observed that parameter estimation and latent structures of these models have nonstandard statistical and computational behaviors. In this talk, we provide new insights into these behaviors under mixture models, a building block of latent variable models.
From the statistical viewpoint, we propose a general framework for studying the convergence rates of parameter estimation in mixture models based on Wasserstein distance. Our study makes explicit the links between model singularities, parameter estimation convergence rates, and the algebraic geometry of the parameter space for mixtures of continuous distributions.
From the computational side, we study the nonasymptotic behavior of the EM algorithm under the overspecified settings of mixture models in which the likelihood need not be strongly concave, or, equivalently, the Fisher information matrix might be singular. Focusing on the simple setting of a twocomponent mixture fit with equal mixture weights to a multivariate Gaussian distribution, we demonstrate that EM updates converge to a fixed point at Euclidean distance $\mathcal{O}((d/n)^{1/4})$ from the true parameter after $\mathcal{O}((n/d)^{1/2})$ steps where $d$ is the dimension.
From the methodological standpoint, we develop computationally efficient optimizationbased methods for the multilevel clustering problem based on Wasserstein distance. Experimental results with largescale realworld datasets demonstrate the flexibility and scalability of our approaches. If time allows, we further discuss a novel postprocessing procedure, named MergeTruncateMerge algorithm, to determine the true number of components in a wide class of latent variable models.

02/20/20
Dominik St"oger  University of Southern California
On the convex geometry of blind deconvolution and matrix completion
AbstractLowrank matrix recovery from structured measurements has been a topic of intense study in the last decade and many important problems such as blind deconvolution and matrix completion have been formulated in this framework. An important benchmark method to solve these problems is to minimize the nuclear norm, a convex proxy for the rank. A common approach to establish recovery guarantees for this convex program relies on the construction of a socalled approximate dual certificate. However, this approach provides only limited insight in various respects. Most prominently, the noise bounds exhibit seemingly suboptimal dimension factors. In this talk, we will discuss a more geometric viewpoint to analyze the blind deconvolution scenario. We find that for both these applications the dimension factors in the noise bounds are not an artifact of the proof, but the problems are intrinsically badly conditioned. We show, however, that bad conditioning only arises for very small noise levels: Under mild assumptions that include many realistic noise levels we derive nearoptimal error estimates for blind deconvolution under adversarial noise. At the end, we will briefly discuss how the results can be extended to the scenario of matrix completion.

02/20/20
Edgar Costa  MIT
Frobenius distributions
AbstractIn this talk, we will focus on how one can deduce some
geometric invariants of an abelian variety or a K3 surface by
studying their Frobenius polynomials. In the case of an abelian variety,
we show how to obtain the decomposition of the endomorphism algebra, the
corresponding dimensions, and centers. Similarly, by studying the
variation of the geometric Picard rank, we obtain a sufficient criterion
for the existence of infinitely many rational curves on a K3 surface of
even geometric Picard rank. 
02/20/20
Sayanta Mandal  UIC
Betti numbers of the moduli space of sheaves on projective plane
AbstractWe will discuss stabilization of the Betti numbers of the moduli space of
sheaves on surfaces, and in the special case of the projective plane we
will produce lower bounds on the second Chern class of the sheaves such
that the Betti numbers of their moduli space stabilizes. 
02/20/20
Yingjia Fu
On relative entropy

02/20/20
Chao Li  Columbia University
From sum of two squares to arithmetic SiegelWeil formula
AbstractCan an integer $n$ be represented as a sum of two squares $n=x^2+y^2$? If so, how many different representations are there? We begin with the answers to these classical questions due to Fermat and Jacobi. We then illustrate Hurwitz's class number formula for binary quadratic forms, and put all these classical formulas under the modern perspective of the SiegelWeil formula. We explain how the latter perspective led GrossKeating to discover a new type of identity between arithmetic intersection numbers on modular surfaces and derivatives of certain Eisenstein series. After outlining the influential program of Kudla and Rapoport for generalization to higher dimensions, we report a recent proof (joint with W. Zhang) of the KudlaRapoport conjecture and hint at the usage of the uncertainty principle in the proof.

02/21/20
Srivatsa Srinivas  UCSD
Interesting Results from Abstract Nonsense I
AbstractDear Math Enthusiast, have you ever been afraid that mathematics
contains nothing of substance? Are you afraid of realizing that, maybe,
all the proofs near and dear to you are actually easy corollaries of some
deeper, horrendous technicality with no interesting geometric,
numbertheoretic, algebraic, combinatorial, or analytic interpretation?
Well, you are in luck! We will be providing the simulation of such an
experience. In this week's Food for Thought talk, we will present
interesting problems, such as a solution to a version of Fermat's Last
Theorem in a field with large enough characteristic, only to realize that
these problems boil down to dry logical tricks! 
02/25/20
Yunyi Zhang  UCSD
Topics in bootstrap estimation and prediction
AbstractIn this talk, we will introduce a new bootstrap algorithm for estimating linear combinations of coefficients in high dimensional threshold ridge regression model. In addition, we will also introduce a new definition about prediction and demonstrate how bootstrap calibration algorithm achieves this goal.

02/25/20
Barak Weiss  Tel Aviv University
Spaces of cut and project quasicrystals: classification and statistics
AbstractCut and project sets are wellstudied models of almostperiodic discrete subsets of $R^d$. In 2014 Marklof and Strombergsson introduced a natural class of random processes which generate cut and project sets in a way which is invariant under the group $ASL(d,R)$. Using Ratner's theorem and the theory of algebraic groups we classify all these measures. Using the classification we obtain results analogous to those of Siegel, Rogers, and Schmidt in geometry of numbers: summation formulas and counting points in large sets for typical cut and project sets. Joint work with Rene Ruehr and Yotam Smilansky.

02/25/20
Bonnie Berger  MIT
Compressive genomics: leveraging the geometry of biological data
AbstractResearchers around the globe are gathering biomedical information at a massive scale. We develop algorithms to compress this data that enable computation on the reduced representation. In this talk, I will discuss how we can leverage the lowdimensional true structure of biological data manifolds in order to build useable compact geometric summaries of this data. I will highlight our latest work on singlecell transcriptomic datasets, that enables an unprecedented scale of data to be effectively pooled from individuals and institutions across nations to enable novel lifesaving discoveries.

02/26/20
Lu Wang  Caltech
A MountainPass Theorem for Selfexpanders
AbstractIn this talk, I will show that, given two distinct strictly stable selfexpanders (of mean curvature flow) that are asymptotic to the same cone, there is a new selfexpander trapped between these two. This is achieved by developing a minmax theory for the relative expander entropy. This is joint with Jacob Bernstein.

02/26/20
Felipe Campos  UCSD
Local Time for Brownian motion
AbstractHow much time does Brownian motion spends at 0? Even though it spends Lebesgue 0 amount of time there, this is not the end of the story. The Local Time for Brownian motion let us go deeper into this question, creating an object that keeps track of how much time Brownian motion spends at 0. Once established, we will discuss applications of Local Time such as Tanaka's Formula, change of variables formula, EngelbertSchimdt 01 Law and Reflected Diffusions.

02/26/20
Andrea Bertozzi  UCLA
A Theory for Undercompressive Shocks in Tears of Wine
AbstractWe revisit the tears of wine problem for thin films in waterethanol mixtures and present a new model for the climbing dynamics. The new formulation includes a Marangoni stress balanced by both the normal and tangential components of gravity as well as surface tension which lead to distinctly different behavior. The combined physics can be modeled mathematically by a scalar conservation law with a nonconvex flux and a fourth order regularization due to the bulk surface tension. Without the fourth order term, shock solutions must sastify an entropy condition  in which characteristics impinge on the shock from both sides. However, in the case of a nonconvex flux, the fourth order term is a singular perturbation that allows for the possibility of undercompressive shocks in which characteristics travel through the shock. We present computational and experimental evidence that such shocks can happen in the tears of wine problem, with a protocol for how to observe this in a real life setting.

02/27/20
Steven Heilman  USC
Independent Sets in Random Graphs and Random Trees
AbstractAn independent set of size $k$ in a finite undirected graph is a set of $k$ vertices of the graph, no two of which are connected by an edge. The structure of independent sets of size $k$ as $k$ varies is of interest in probability, statistical physics, combinatorics, and computer science. In 1987, Alavi, Malde, Schwenk and Erdos conjectured that the number of independent sets of size $k$ in a tree is a unimodal sequence (this number goes up and then it goes down), and this problem is still open. A variation on this question is: do the number of independent sets of size $k$ form a unimodal sequence for ErdosRenyi random graphs, or random trees? By adapting an argument of CojaOghlan and Efthymiou, we show unimodality for ErdosRenyi random graphs, random bipartite graphs and random regular graphs (with high probability as the number of vertices in the graph goes to infinity, when the expected degree of a single vertex is large). The case of random trees remains open, as we can only show weak partial results there.

02/27/20
Nathan Green  UCSD
Algebraic independence of zeta values of function fields of elliptic curves
AbstractClassically, the transcendence (and even the irrationality) of
odd zeta values is widely conjectured, but yet unproven. However, for
zeta values defined over the rational function field, Jing Yu succeeded
in proving their transcendence in 1991, and many other transcendence
results (including algebraic independence) followed in the intervening
years. In this work (joint with T. Ngo Dac), we prove the algebraic
independence of zeta values defined over the function field of an
elliptic curve. The main technique we use is to construct a Tannakian
category of tmotives whose associated periods contain these zeta values
 thus we may exploit the existence of a motivic Galois group to study
the transcendence degree. We also discuss the difficulties and pathway
to proving algebraic independence for zeta values of function fields of
arbitrary curves. 
02/27/20
Jiaqi Liu
On minmax option pricing meets BlackScholes in the limit.
AbstractOption contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset's future market price. In short, an option has a particular payout that is based on the market price for an asset on a given date in the future. In 1973, Black and Scholes proposed a valuation model for options that essentially estimates the tail risk of the asset price under the assumption that the price will fluctuate according to geometric Brownian motion. More recently, DeMarzo et al., among others, have proposed more robust valuation schemes, where we can even assume an adversary chooses the price fluctuations. This framework can be considered as a sequential twoplayer zerosum game between the investor and Nature. We analyze the value of this game in the limit, where the investor can trade at smaller and smaller time intervals. Under weak assumptions on the actions of Nature (an adversary), we show that the minimax option price asymptotically approaches exactly the Black Scholes valuation. The key piece of our analysis is showing that Nature's minimax optimal dual strategy converges to geometric Brownian motion in the limit.

02/28/20
David Corwin  UC Berkeley
Explicit nonabelian Chabauty via motives
AbstractI will introduce a program, begun by DanCohen and Wewers, to compute
Minhyong Kim's Selmer varieties using mixed Tate motives. The idea is as
follows. We care about the Galois action on the unipotent fundamental
group of $\mathbf{P}^1 \setminus \{0,1,\infty\}$. This Galois action
lives in a certain category of $p$adic Galois representations known as
mixed Tate representations. We will see that this category is Tannakian
and has a fairly simple description, in terms of its Ext groups, which
are just BlochKato Selmer groups. The BlochKato Selmer groups are
$p$adic vector spaces, but they also have a rational structure coming
from algebraic Ktheory. The category of mixed Tate motives gives us a
$\mathbb{Q}$linear Tannakian category that underlies the
$\mathbb{Q}_p$linear Tannakian category of Galois representations. This
in turn allows us to define a Selmer variety over $\mathbb{Q}$ (rather
than $\mathbb{Q}_p$), and a more explicit understanding of the category
of mixed Tate motives allows us to compute this variety explicitly. 
02/28/20
Sam Spiro  UCSD
How to Make a Website, and Other Things You Maybe Don't Know but Should
AbstractIn this talk I'll teach the basics of making a website and how to connect with the ucsd server. If you want to have a working website by the end of the week, it will help to (1) talk to Saul about getting your login information for the ucsd math servers, (2) have a text editor to make the website (I like notepad++), and (3) have a way to SSH to the math server (I like WinSCP). To stall for time I'll also talk about other resources that might be of use to a math phd student. Other people are more than welcome to contribute ideas in this direction!

02/28/20
Ming Zhang  University of British Columbia
Ktheoretic quasimap wallcrossing for GIT quotients
AbstractWhen $X$ is a Grassmannian, MarianOpreaPandharipande and Toda constructed alternate compactifications of spaces of maps from curves to $X$. The construction has been generalized to a large class of GIT quotients $X=W//G$ by CiocanFontanineKimMaulik and many others. It is called the theory of $\epsilon$stable quasimaps. In this talk, we will introduce permutationequivariant Ktheoretic epsilonstable quasimap invariants and prove their wallcrossing formulae for all targets in all genera. The wallcrossing formulae generalize Givental's Ktheoretic toric mirror theorem in genus zero. In physics literature, these Ktheoretic invariants are related to the $3d N = 2$ supersymmetric gauge theories studied by JockersMayr, and the wallcrossing formulae can be interpreted as relations between invariants in the UV and the IR phases of the $3d$ gauge theory. It is based on joint work with Yang Zhou.
Mar

03/02/20
Andrew Ying  UCSD
Statistical Inference: Global Testing, Multiple Testing and Causal Inference in Survival Analysis
AbstractIn this defense I will talk about two lines of research during my PhD. I will develop some scan statistics and derive their asymptotic distributions, using moderate deviation, large deviation, Kolmogorov's theorem and a Poisson approximation. I will briefly mention their applications in global testing and multiple testing, resulting from the work before advancement. Next I will talk about another project on causal inference, where the causal effects of etanercept on birth defects are investigated, in the presence of missing outcomes not at random, left truncation, observational nature, and rare events.

03/03/20
David ZureickBrown  Emroy University
Moduli Spaces and Arithmetic Statistics

03/03/20
Michael Brannan  Texas A&M University
Quantum Graphs and Quantum Graph $C^\ast$Algebras
AbstractI will give a light introduction to the theory of quantum graphs. Quantum graphs are noncommutative generalizations of finite graphs that arise naturally in many areas, including the study of zeroerror capacities of quantum channels, quantum symmetry groups of graphs, and in the theory of nonlocal games. I will give an overview of some of these connections and explain some ongoing joint work with Kari Eifler, Christian Voigt and Moritz Weber, where we generalize the wellknown graph $C^\ast$algebra construction to the setting of quantum graphs.

03/03/20
Ali Behzadan  UCSD
On a generalized version of the BabuskaLaxMilgram Theorem
AbstractIn this talk we will introduce a generalization of BabuskaLaxMilgram theorem that is particularly wellsuited for the study of global existence of solutions to certain parabolic PDEs on compact manifolds.

03/03/20
Amanda Wilkens  University of Kansas
Finitary isomorphisms of Poisson point processes
AbstractAs part of a general theory for the isomorphism problem for actions of amenable groups, Ornstein and Weiss proved that any two Poisson point processes are isomorphic as measurepreserving actions. We give an elementary construction of an isomorphism between Poisson point processes that is finitary. This is joint work with Terry Soo.

03/04/20
Mikhail Karpukhin  UC Irvine
Applications of harmonic map theory to eigenvalue inequalities
AbstractThe Laplacian is a canonical second order elliptic operator defined on any Riemannian manifold. The study of upper bounds for its eigenvalues under the volume constraint is a classical problem of spectral geometry going back to J. Hersch, P. Li and S.T. Yau. The particular interest to this problem stems from a surprising connection to the theory of harmonic maps to spheres. In the present talk we will survey some recent results in the area with an emphasis on the role played by the energy index of harmonic maps. In particular, we will discuss some recent applications, including a minmax proof of the existence of optimisers and an optimal upper bound for Laplacian eigenvalues on the projective plane.

03/05/20
Michael Hitrik  UCLA
Toeplitz operators, asymptotic Bergman projections, and second microlocalization
AbstractIn the first part of the talk (based on joint work with L.Coburn, J. Sj"ostrand, and F. White) we discuss continuity conditions for Toeplitz operators acting on spaces of entire functions with quadratic exponential weights (Bargmann spaces), in connection with a conjecture by C. Berger and L. Coburn, relating Toeplitz and Weyl quantizations. In the second part of the talk (based on joint work in progress with J. Sj"ostrand), we discuss elements of a semiglobal approach to analytic second microlocalization with respect to a hypersurface, in the semiclassical case, based on the study of the heat evolution semigroup for large times. We describe properties of the associated exponentially weighted spaces of holomorphic functions with
($h$dependent) plurisubharmonic exponents and construct asymptotic Bergman projections in such spaces. 
03/05/20
Nicholas Sieger  UCSD
Cutting Down Trees to Solve ODEs
AbstractWe show how to express the solution to an ordinary differential
equation as a sum over rooted trees, discover a group structure on the set
of rooted trees, extend it to a Hopf algebra related to quantum
renormalization, and finally bring ourselves back down to Earth and derive
the coefficients used in RungeKutta integrators. 
03/05/20
Jeff Manning  UCLA
The Wiles defect for Hecke algebras that are not complete intersections
AbstractIn his work on modularity theorems, Wiles proved a numerical criterion for a map of
rings R $\rightarrow$ T to be an isomorphism of complete intersections. He used this to show
that certain deformation rings and Hecke algebras associated to a mod p Galois
representation at nonminimal level were isomorphic and complete intersections,
provided the same was true at minimal level. In addition to proving modularity
theorems, this numerical criterion also implies a connection between the order of a
certain Selmer group and a special value of an Lfunction. In this talk I will
consider the case of a Hecke algebra acting on the cohomology a Shimura curve
associated to a quaternion algebra. In this case, one has an analogous map of ring
R $\rightarrow$ T which is known to be an isomorphism, but in many cases the rings R and T
fail to be complete intersections. This means that Wiles' numerical criterion will fail
to hold. I will describe a method for precisely computing the extent to which the
numerical criterion fails (i.e. the ``Wiles defect''), which will turn out to be
determined entirely by local information at the primes dividing the discriminant of
the quaternion algebra. This is joint work with Gebhard Bockle and Chandrashekhar
Khare. 
03/05/20
Ashwin Pananjady  UC Berkeley
Statistics meets computation: Exploring the interface between parametric and nonparametric modeling
AbstractModeling and tractable computation form two fundamental but competing pillars of data science; indeed, fitting good models to data is often computationally challenging in modern applications. Focusing on the canonical tasks of ranking and regression, I introduce problems where this tension is immediately apparent, and present methodological solutions that are both statistically sound and computationally tractable.
I begin by describing a class of ``permutationbased'' models as a flexible alternative to parametric modeling in a host of inference problems including ranking from ordinal data. I introduce procedures that narrow a conjectured statisticalcomputational gap, demonstrating that carefully chosen nonparametric structure can significantly improve robustness to misspecification while maintaining interpretability. Next, I address a complementary question in the context of convex regression, where I show that the curse of dimensionality inherent to nonparametric modeling can be mitigated via parametric approximation. Our provably optimal methodology demonstrates that it is often possible to enhance the interpretability of nonparametric models while maintaining important aspects of their flexibility.

03/05/20
Johannes Sj"ostrand  Institut de Math\'ematiques de Bourgogne
Bergman kernels and complex phase asymptotics.
AbstractWe present one aspect of Bergman kernels, which includes the
following topics:
Fourier integral operators with complex phase and projections for certain scalar equations,
Bergman and Szeg"o kernels for strictly pseudoconvex domains,
Projections for exponentially weighted spaces and powers of complex line bundles. 
03/06/20
Woonam Lim  UCSD
Rationality of the virtual invariant series of Quot schemes on surfaces
AbstractOprea and Pandharipande studied the virtual Euler characteristic of Quot schemes on surfaces. Based on the calculations in several cases, they conjectured the rationality of the generating series of the virtual invariants. In this talk, I will explain the virtual $\chi_{y}$genera of Quot schemes, thus refining the work of [OP]. The main result expresses the Quot scheme invariants universally in terms of SeibergWitten invariants of D"urr, Kabanov, and Okonek. Based on the calculations in several cases and the blow up formula, we resolve the $\chi_{y}$genus analogue of the rationality conjecture of [OP], for all surfaces with $p_g>0$. In addition, the reduced Quot scheme invariants for $K3$ surfaces will be discussed with connections to the KawaiYoshioka formula.

03/10/20
Marco Marengon  UCLA
A generalization of Rasmussen's invariant, with applications to surfaces in some fourmanifolds
AbstractBuilding on previous work of Rozansky and Willis, we generalise Rasmussen's sinvariant to links in connected sums of $S^1 \times S^2$. Such an invariant can be computed by approximating the KhovanovLee complex of a link in $\#^r S^1 \times S^2$ with that of appropriate links in $S^3$. We use the approximation result to compute the sinvariant of a family of links in $S^3$ which seems otherwise inaccessible, and use this computation to deduce an adjunction inequality for nullhomologous surfaces in a (punctured) connected sum of $\bar{CP^2}$. This inequality has several consequences: first, the sinvariant of a knot in the threesphere does not increase under the operation of adding a nullhomologous full twist. Second, the sinvariant cannot be used to distinguish $S^4$ from homotopy 4spheres obtained by Gluck twist on $S^4$. We also prove a connected sum formula for the sinvariant, improving a previous result of Beliakova and Wehrli. We define two sinvariants for links in $\#^r S^1 \times S^2$. One of them gives a lower bound to the slice genus in $\natural^r S^1 \times B^3$ and the other one to the slice genus in $\natural^r D^2 \times S^2$ . Lastly, we give a combinatorial proof of the slice Bennequin inequality in $\#^r S^1 \times S^2$.

03/10/20
Stanley Snelson  Florida Institute of Technology
Coercive lower bounds and vacuumfilling in the Boltzmann equation
AbstractIn this talk, we describe selfgenerating pointwise lower bounds for solutions of the noncutoff Boltzmann equation, which models the evolution of the particle density of a diffuse gas. These lower bounds imply that vacuum regions in the initial data are filled instantaneously, and also lead to key coercivity estimates for the collision operator. As an application, we can remove the assumptions of mass bounded below and entropy bounded above, from the known criteria for smoothness and continuation of solutions. The proof strategy also applies to the Landau equation, and we will compare this (deterministic) proof with our prior (probabilistic) proof of lower bounds for the Landau equation. This talk is based on joint work with Chris Henderson and Andrei Tarfulea.

03/10/20
Erin Meger  Mount Allison University
The Iterated Local Model for Social Networks
AbstractComplex networks are said to exhibit four key properties: large scale, evolving over time, small world properties, and power law degree distribution. The Preferential Attachment Model (Barab\'asiAlbert, 1999) and the ACL Preferential Attachment Model (Aiello, Chung, Lu, 2001) for random networks, evolve over time and rely on the structure of the graph at the previous time step. Further models of complex networks include: the Iterated Local Transitivity Model (Bonato, Hadi, Horn, Pralat, Wang, 2011) and the Iterated Local AntiTransitivity Model (Bonato, Infeld, Pokhrel, Pralat, 2017). In this talk, we will define and discuss the Iterated Local Model. This is a generalization of the ILT and ILAT models, where at each time step edges are added deterministically according to the structure of the graph at the previous time step.

03/11/20
Jiaqi Liu  UCSD
The strong Markov property of Ito diffusions
AbstractIn this talk, we will first introduce several versions of existence and uniqueness theorems for stochastic differential equations(SDEs). Then we will focus on a special type of SDEs, Ito diffusions. We will give a detailed proof of the strong Markov property of Ito diffusions. This talk can be viewed as an extension of math 286 and material is drawn mostly from Chapter 10 of Chung and Williams' $Introduction$ $to$ $Stochastic$ $Integration$.

03/12/20
Yunong Shi  University of Chicago
Error correction methods for Nearterm and $\smallskip$ Faulttolerant Quantum Computing
AbstractThough promised to solve intractable problems, quantum computers are much noisier than classical computers. To make quantum computers practical, efficient error correction schemes have to be developed. In the first half of the talk, I will first introduce the theory of Quantum Error Correction (QEC) and current proposals of using QEC to achieve faulttolerant quantum computing, then I will talk about a new scheme that can greatly lower the cost of QEC. In the second half, I will talk about a promising nearterm qubit encoding called the GKP qubit that has errorcorrecting abilities and a protocol to prepare such qubits.

03/12/20
Elliot Paquette  Ohio State University
Random matrices and the Gaussian multiplicative chaos on the line
AbstractThe Gaussian multiplicative chaos is a relatively new universal object in probability that has many interesting geometric properties.The characteristic polynomial of many classes of random matrices is, in many cases conjecturally, one class of finite approximation to these random measures. Great progress has been made on showing the random matrices from specific ``circular ensembles" converge to the GMC.
Likewise, some progress has been made for unitarilyinvariant random matrices. We show some new partial progress in showing the ``Gaussianbeta ensemble'' has a GMC limit. This we do by using the representation of its characteristic polynomial as an entry in a product of independent random twobytwo matrices. For a point $z$ in the complex plane, at which the transfer matrix is to be evaluated, this product of transfer matrices splits into three independent factors, each of which can be understood as a different dynamical system in the complex plane.
This is joint work with Gaultier Lambert. 
03/12/20
Luciena Xiao  Caltech
The Hecke Orbit Conjecture for PEL Type Shimura Varieties
AbstractCentral leaves in the special fiber of Shimura varieties are the loci where the isomorphism class of the universal $p$divisible group remains constant. The Hecke orbit conjecture asserts that every primeto$p$ Hecke orbit in a PEL type Shimura variety is dense in the central leaf containing it. This conjecture is proved for Hilbert modular varieties by C.F. Yu, and for Siegel modular varieties by Chai and Oort. In this talk I give an overview of the conjecture and present my work that generalizes Chai and Oort's strategy to irreducible components of certain Newton strata on Shimura varieties of PEL type.

03/13/20
Itai Maimon  UCSD
An Introduction to Vector Bundles and Characteristic Classes
AbstractA smooth manifold is a topological structure that admits some standard
calculus constructions. A vector bundle over a manifold is a smooth choice
of a vector space at every point of the manifold. One motivation for such
an object is that the differential of a map between two manifolds is a map
between their tangent bundles. At first glance, vector bundles seem as
though they should be Cartesian products of the manifold with a vector
space. In general, this is false, and certain ``characteristic classes''
are the explicit obstructions. In this talk, we will construct these
classes and discuss some theorems explaining why they are of interest to
many mathematicians. 
03/17/20
AndreaWei Coladangelo  Simons Institute, UC Berkeley
Certifying and leveraging quantum devices for computation, cryptography and more
AbstractQuantum computing is receiving increasing attention as
it promises to revolutionize the current computational landscape. The
advent of quantum computers will be particularly disruptive in the
field of cryptography, where characteristically quantum properties
like entanglement and the ``nocloning theorem'' open up a plethora of
novel opportunities. In this talk, I will describe two broad, and
connected, research questions. The first is: if a quantum device is
meant to perform tasks that are beyond the reach of classical
computers, how can a classical user trust that her quantum device is
behaving as intended? I will focus particularly on the connections of
this question with foundational questions in quantum information. The
second is: once we trust our quantum devices, what kinds of
cryptographic tasks can we realize that are beyond the reach of
classical computers? I will describe some concrete examples. 
03/17/20
Jingwen Liang  UCSD
Sparse Recovery and Representation Learning
AbstractIn my defense, I will talk about three relative topics relative to sparse recovery and representation of signals. I will start with the topic of recovering the lowrank matrix from incomplete measurements with prior information. Signal recovery assumes that we know the sensing matrix i.e. the linear transformation. But sometimes, we want the sparse representation of signals without knowing the transformation between the signal and its representation. Thus in the second topic, I'll talk about a novel algorithm that allows us to learn the linear transformation as well as the sparse representation and admits the transformation in complexity $O(n\log n)$ for a $n$ dimensional input signal. In the third topic, I'll introduce the usage of representation learning assuming that the transformation is a more complex function. I'll propose a deep neural network structure that can be used in image generation and introduce a specific application about it raised in computer game industry.

03/19/20
NaiHua Chia  UT Austin
The Capabilities and Limits of Quantum Algorithms
AbstractQuantum computing has notable impacts on computer
science in recent years. While quantum computers are about to achieve
socalled ``quantum supremacy'' (i.e., solving some
classicallyintractable computational tasks), it is the right time to
understand the capabilities and limits of quantum computers. In this
talk, I will address the following two questions: 1) What is the power
of nearterm quantum computers? 2) What speedup can general quantum
computers achieve for problems in machine learning and data analysis?
We will first see that a general quantum computer is strictly more
powerful than smalldepth quantum computers in the presence of
classical computers. Then, I will show quantuminspired classical
algorithms for problems including SVM, lowrank linear system,
lowrank SDP, and more. Our algorithms running in time polylog(n) are
asymptotically as good as existing quantum ones. This result also
implies that existing quantum machine learning algorithms have not
achieved exponential quantum speedups. Finally, I will discuss
polynomial quantum speedups for fundamental problems in data analysis
and their limits under plausible assumptions in complexity theory. 
03/23/20
Victor Albert  Caltech
Harnessing exotic configuration spaces for quantum applications
AbstractThe position states of the harmonic oscillator describe
the location of a particle moving on the real line. Similarly, the
phase difference between two superconductors on either side of a
Josephson junction takes values in the configuration space of a
particle on a circle. More generally, many physical systems can be
described by a basis of ``position states,'' describing a particle
moving on a more general configuration or state space. Most of this
space is usually ignored due to the energy cost required to pin a
particle to a precise ``position''. However, as our control over quantum
systems improves, utilizing more of this higherenergy space harbors
benefits for protecting quantum information and probing quantum
matter. I will discuss quantum applications taking advantage of state
spaces associated with the harmonic oscillator, as well as molecular
rotational and nuclear states.\\Bio: Victor V. Albert received his Bachelor's degree in physics
and mathematics from the University of Florida in 2010 and his
Ph.D. in physics from Yale University in 2017. He is currently a Lee
A. DuBridge Postdoctoral Scholar in Physics at the California
Institute of Technology. He pursues an interdisciplinary line of
research in quantum science, including open quantum systems,
errorcorrection, experimental realizations, and topological band
theory. 
03/24/20
Kiran Kedlaya  UCSD
The SatoTate conjecture and its generalizations
AbstractThis is the first talk in a series on ``SatoTate
distributions''. See https://sites.google.com/view/vantageseminar for a
complete listing. 
03/30/20
Thomas Grubb  UCSD
An $FS^{op}$ structure on FultonMacPherson Compactifications
AbstractWe will start by giving a brief introduction to representation stability
and combinatorial categories. Then we will introduce Fulton and
MacPherson's ``wonderful compactifications'' of configuration spaces,
and describe how they may be studied through the lens of representation
stability. In particular, we show that under a mild hypothesis we can
approach the representation theory of these spaces using the
combinatorial category $FS^{op}$. We end by discussing an attempt at
showing that these spaces do exhibit representation stability, although
to date the results of this approach have been fairly underwhelming.
This talk can be accessed at https://ucsd.zoom.us/j/309940113 . 
03/31/20
Gayane Vardoyan  University of Massachusetts Amherst
On the Analysis of Entanglement Distribution in Quantum Network
AbstractEntanglement is an essential component of quantum
computation, information, and communication. Its applications range
from quantum key distribution and secret sharing to quantum
sensing. These applications drive the increasing need for a quantum
switching network that can supply endtoend entangled states to
groups of endpoints that request them. To this end, I study a quantum
switch that distributes entanglement to users in a star topology. I
will present models for variants of this system and derive expressions
for switch capacity and the expected number of qubits stored in memory
at the switch.Much of this work focuses on bipartite entanglement switching. For
this case, I will discuss how performance metrics are affected by
decoherence and link heterogeneity. In this talk, I will also discuss
a work wherein we explore a set of switching policies for a switch
that can serve both bipartite and tripartite entangled states. I will
conclude the talk with a discussion of future research directions and
a longterm vision of leveraging tools from performance evaluation to
analyze and help guide the design of future quantum networks.\\Bio: Gayane Vardoyan is a PhD candidate in the College of
Information & Computer Sciences, at the University of Massachusetts,
Amherst. She is advised by Prof. Don Towsley. She holds a B.S. in
Electrical Engineering and Computer Sciences from the University of
California, Berkeley. Her research interests include the performance
evaluation of classical and quantum communication systems.She interned at Inria, Sophia Antipolis during the summer of
2017. Previously, she worked at the Argonne National Lab and the
Computation Institute at the University of Chicago. She was a
participant of the Rising Stars 2019 academic career workshop for
women in EECS.
Apr

04/01/20
Zilu Ma  UCSD
Classification results for expanding and shrinking gradient K"ahlerRicci solitons.
AbstractWe shall discuss a classification result of gradient shrinking solitons.

04/02/20
Adam Bouland  UC Berkeley
Theoretical computer science at the quantum crossroads
AbstractThe first demonstration of quantum supremacy in October
2019 was a major achievement of experimental physics. At the same
time, it relied on important developments in theoretical computer
science. In this talk I will describe my recent work laying the
complexitytheoretic foundations for Google/UCSB's quantum supremacy
experiment, providing evidence that their device is exponentially
difficult to simulate with a classical computer. This crossroad
between complexity theory and quantum physics also offers new insights
into both disciplines. For example, I will describe how techniques
from quantum complexity theory can be used to settle purely classical
problems.Specifically, I will give a quantum argument which nearly resolves the
approximate degree composition conjecture, generalizing nearly 20
years of prior work. In a different direction, I will show that the
notion of computational pseudorandomness from complexitybased
cryptography has fundamental implications for black hole physics and
the theory of quantum gravity.\\Bio: Adam Bouland is a postdoctoral researcher in computer science
at the University of California, Berkeley. He completed his Ph.D. in
computer science at MIT in 2017, where he was advised by Scott
Aaronson. Prior to that he completed master's degrees in computer
science and mathematics at the University of Cambridge, as well as a
B.S. in computer science/mathematics and physics at Yale. His research
focuses on the theory of quantum computation and its connections with
classical complexity theory and physics. 
04/02/20

04/03/20
Daniel Litt  UGA
The section conjecture at the boundary of moduli space
AbstractGrothendieck's section conjecture predicts that over arithmetically interesting fields (e.g. number fields or padic fields), rational points on a smooth projective curve X of genus at least 2 can be detected via the arithmetic of the etale fundamental group of X. We construct infinitely many curves of each genus satisfying the section conjecture in interesting ways, building on work of Stix, Harari, and Szamuely. The main input to our result is an analysis of the degeneration of certain torsion cohomology classes on the moduli space of curves at various boundary components. This is (preliminary) joint work with Padmavathi Srinivasan, Wanlin Li, and Nick Salter.

04/08/20
Yelin Ou  Texas A&M University Commerce
Some study of biharmonic maps and submanifolds since 2000
AbstractBiharmonic maps are maps between Riemannian manifolds which are critical points of the bienergy. They are solutions of a system of 4thorder PDEs and they include harmonic maps and biharmonic functions as special cases. Biharmonic submanifolds (which include minimal submanifolds as special cases) are the images of biharmonic isometric immersions. The talk will review some problems, including classification of biharmonic submanifolds in space forms, biharmonic maps into spheres, biharmonic conformal maps, and unique continuation theorems, studied in this field and their progress since 2000. The talk also presents some recent work on equivariant biharmonic maps and the stability and index of biharmonic hypersurfaces in space forms.

04/10/20
Ignacio Barros Reyes  Northeastern University
On product identities and the Chow rings of holomorphic symplectic varieties
AbstractFor a moduli space $M$ of stable sheaves over a K3 surface $X$, we propose a series of conjectural identities in the Chow rings $CH_\ast (M\times X^l)$, $l\geq 1$, generalizing the classic BeauvilleVoisin identity for a K3 surface. We emphasize consequences of the conjecture for the structure of the tautological subring $R_\ast (M)\subset CH_\ast (M)$. We prove the proposed identities when $M$ is the Hilbert scheme of points on a K3 surface. This is joint work with L. Flapan, A. Marian and R. Silversmith.

04/15/20
Guido De Philippis  CIMS
Regularity of the free boundary for the twophase Bernoulli problem
AbstractI will illustrate a recent result obtained in collaboration with L. Spolaor and B. Velichkov concerning the regularity of the free boundaries in the two phase Bernoulli problems. The new main point is the analysis of the free boundary close to branch points, where we show that it is given by the union of two $C^1$ graphs. This complete the analysis started by Alt Caffarelli Friedman in the '80s.

04/17/20
Junliang Shen  MIT
Hitchin systems, hyperKaehler geometry, and the P=W conjecture
AbstractThe P=W conjecture by de Cataldo, Hausel, and Migliorini suggests a surprising connection between the topology of Hitchin systems and Hodge theory of character varieties. In this talk, we will focus on interactions between compact and noncompact hyperKaehler geometries. Such connections, together with symmetries coming from the moduli of compact hyperKaehler manifolds, lead to new progress on the P=W conjecture. I will discuss the results we obtained and the difficulties we met. Based on joint work with Mark de Cataldo and Davesh Maulik.

04/21/20
Andrea Ricolfi  SISSA
Higher rank Ktheoretic DonaldsonThomas theory of points
AbstractRecently Okounkov proved Nekrasovs conjecture expressing the
partition function of Ktheoretic DT invariants of the Hilbert scheme of
points Hilb($\mathbb C^3$, points) on affine 3space as an explicit
plethystic exponential. We generalise Nekrasovs formula to higher rank,
where the Quot scheme of finite length quotients of the trivial rank $r$
bundle replaces Hilb($\mathbb C^3$,points). This proves a conjecture of
AwataKanno. Specialising to cohomological invariants, we obtain the
statement of Szabos conjecture. We discuss some further applications if
time permits. This is joint work with Nadir Fasola and Sergej Monavari. 
04/23/20
Jishnu Ray  University of British Columbia
Conjectures in Iwasawa Theory of Selmer groups and Iwasawa Algebras
AbstractThe Iwasawa Theory of Selmer groups provides a natural way for padic approach to the celebrated Birch and Swinnerton Dyer conjecture. Over a noncommutative padic Lie extension, the (dual) Selmer group becomes a module over a noncommutative Iwasawa algebra and its structure can be understood by analyzing ``(left) reflexive ideals'' in the Iwasawa algebra. In this talk, we will start by recalling several existing conjectures in Iwasawa Theory and then we will give an explicit ringtheoretic presentation, by generators and relations, of such Iwasawa algebras and sketch its implications in understanding the (twosides) reflexive ideals. Generalizing Clozel's work for $SL(2)$, we will also show that such an explicit presentation of Iwasawa algebras can be obtained for a much wider class of padic Lie groups viz. uniform prop groups and the prop Iwahori of $GL(n,Z_p)$. Further, if time permits, I will also sketch some of my recent Iwasawa theoretic results joint with Sujatha Ramdorai.

04/24/20
Gavril Farkas  Humbolt Universit"at, Berlin
Green's Conjecture via Koszul modules.
AbstractUsing ideas from geometric group theory we provide a novel approach to Green's Conjecture on syzygies of canonical curves. Via a strong vanishing result for Koszul modules we deduce that a general canonical curve of genus $g$ satisfies Green's Conjecture when the characteristic is zero or at least $(g+2)/2$. Our results are new in positive characteristic (and answer positively a conjecture of Eisenbud and Schreyer), whereas in characteristic zero they provide a different proof for theorems first obtained in two landmark papers by Voisin. Joint work with Aprodu, Papadima, Raicu and Weyman.

04/29/20
Alexander Waldron  Michigan State University
Energy identities for YangMills flow
AbstractYangMills flow is one of the classical geometric evolution equations, having much in common both with harmonic map flow and with Ricci flow. I will describe its key properties, focusing on the refined energy identities that have led to new results about the flow in dimension four and on specialholonomy manifolds.

04/30/20
Jize Yu  California Institute of Technology
The integral geometric Satake equivalence in mixed characteristic
AbstractThe integral geometric Satake equivalence in mixed characteristic
Abstract: The geometric Satake equivalence establishes a link between
two monoidal categories: the category of perverse sheaves on the local
Hecke stack and the category of finitely generated representations of
the Langlands dual group. It has many important applications in the
study of the geometric Langlands program and number theory. In this
talk, I will discuss the integral coefficient geometric Satake
equivalence in the mixed characteristic setting. It generalizes the
previous results of Lusztig, Ginzburg, MirkovicVilonen, and Zhu. Time
permitting, I will discuss an application of this result in constructing
a JacquetLanglands transfer.
May

05/06/20
Ovidiu Munteanu  UConn
The gradient estimate for complete Kaehler manifolds.
AbstractOn a complete Riemannian manifold with Ricci curvature bounded below, Yau proved a sharp gradient estimate for positive harmonic functions. One comparison space is the hyperbolic space (but it is not unique). This talk will report on the corresponding question for complete noncompact Kaehler manifolds.

05/06/20
Steven Sam  UCSD
Big polynomial rings and Stillman's conjecture
AbstractStillman's conjecture asserts the existence of a uniform bound
on the projective dimension of an ideal in a polynomial ring generated
by a fixed number of polynomials of fixed degrees. Ananyan and Hochster
gave a proof of Stillman's conjecture by proving the existence of ``small
subalgebras''. I'll describe a simplification of their approach using
ultraproducts (and in particular, explain what ultraproducts are and all
of the terms mentioned above). This is based on joint work with Daniel
Erman and Andrew Snowden. 
05/06/20
Kiran Kedlaya  UCSD
Effective methods for the multiplicative ManinMumford problem
AbstractGiven a semiabelian variety over a number field and a closed
subvariety thereof, it is a theorem (of various people) that the torsion
points on the subvariety have Zariski closure equal to some finite union
of torsion cosets of semiabelian subvarieties. We will focus on this
question for (split) tori, where it manifests as the more concrete
problem of finding solutions to a system of polynomial equations valued
in roots of unity. We compare two effective methods for solving this
problem: a combinatorial approach introduced by ConwayJones, and a
commutative algebra approach introduced by BeukersSmyth. 
05/06/20
Jasper Bird  UCSD
Resolving toric singularities by normalized Nash blowups
AbstractHironaka's theorem states that every algebraic variety over a field of characteristic zero admits a resolution, however the algorithm to do so is very complex. It was conjectured by Nash that repeated Nash blowups (which replace each singular point by limiting positions of tangent spaces at nonsingular points) might provide a simple way to resolve. I plan to investigate the case of toric varieties.

05/07/20
Carl WangErickson  University of Pittsburgh
The Eisenstein ideal with squarefree level
AbstractIn his landmark paper ``Modular forms and the Eisenstein
ideal,'' Mazur studied congruences modulo a prime p between the Hecke
eigenvalues of an Eisenstein series and the Hecke eigenvalues of cusp
forms, assuming these modular forms have weight 2 and prime level N. He
asked about generalizations to squarefree levels N. I will present some
work on such generalizations, which is joint with Preston Wake and
Catherine Hsu. 
05/12/20
Zilu Ma  UCSD
Ricci Solitons and Singularities in Hamilton's Ricci Flow.
AbstractIn the 1980s, Richard Hamilton invented the Ricci flow and initiated the geometricanalytic approach towards the Poincar\'e conjecture, which was eventually solved by Grisha Perelman. In this talk, we will briefly discuss the formation of singularities in the Ricci flow and the relations with Ricci solitons. We will introduce some recent advances and main conjectures in Ricci solitons, especially in steady gradient Ricci solitons. We end the talk by discussing some recent results (joint work with Professor Chow and Yuxing Deng) about asymptotic behaviors and a rigidity theorem of steady solitons.

05/13/20
Song Sun  UC Berkeley
Metric collapsing of CalabiYau manifolds and complex structure degenerations
AbstractA CalabiYau manifold is a Ricciflat Kahler manifold. It is a longstanding question to understand how the Ricciflat metrics develop singularities when the complex structure degenerates. An especially intriguing phenomenon is that these metrics can collapse to lower dimensions and exhibit very nonalgebraic features, and it is challenging to describe the corresponding geometric behavior. In this talk I will discuss an answer to this question for a special class of degenerations. Based on joint works with H. HeinJ. ViaclovskyR. Zhang 2018 and with R. Zhang 2019.

05/14/20
Federico Pellarin  U. Jean Monnet, SaintEtienne, France
On Drinfeld modular forms in Tate algebras
AbstractIn this talk we will describe some recent works on Drinfeld modular forms with values in Tate algebras (in `equal positive characteristic'). In particular, we will discuss some remarkable identities (proved or conjectural) for Eisenstein and Poincar\'e series, and the problem of analytically interpolate families of Drinfeld modular forms for congruence subgroups at the infinity place.

05/14/20
Iacopo Brivio  UCSD
Invariance of plurigenera in positive and mixed characteristic
AbstractOver the complex numbers, a famous theorem of Siu states that the plurigenera $P_m$ of projective manifolds are invariant under deformations. We give examples of families of elliptic surfaces over a DVR of positive or mixed characteristic such that $P_m$ fails to be constant for all sufficiently divisible $m\geq 0$. Time permitting, we will show that (asymptotic) invariance of plurigenera holds for families of quasielliptic surfaces.

05/14/20
Xin Tong  University of California, San Diego
Towards a HodgeIwasawa Theory
AbstractWith the motivation of generalizing the corresponding
geometrization of TamagawaIwasawa theory after KedlayaPottharst, and
with motivation of establishing the corresponding equivariant version of
the relative padic Hodge theory after KedlayaLiu aiming at the
deformation of representations of profinite fundamental groups and the
family of \'etale local systems, we initiate the corresponding
HodgeIwasawa theory with deep point of view and philosophy in mind from
early work of Kato and FukayaKato. In this talk, we are going to
discuss some foundational results on the HodgeIwasawa modules and
HodgeIwasawa sheaves, as well as some interesting investigation towards
the goal in our mind, which are taken from our first paper in this
series project. 
05/15/20
Pierrick Bousseau  ETH Zurich
Quasimodular forms from Betti numbers
AbstractThis talk will be about refined curve counting on local $P^2$, the noncompact CalabiYau 3fold total space of the canonical line bundle of the projective plane. I will explain how to construct quasimodular forms starting from Betti numbers of moduli spaces of onedimensional coherent sheaves on $P^2$. This gives a proof of some stringy predictions about the refined topological string theory of local $P^2$ in the NekrasovShatashvili limit. This work is in part joint with Honglu Fan, Shuai Guo, and Longting Wu.

05/20/20
Otis Chodosh  Stanford
Mean curvature flow of generic initial data
AbstractWe show that certain singularities do not arise as blowups of mean curvature flow starting at a generic hypersurface. This is joint work with Kyeongsu Choi, Christos Mantoulidis, and Felix Schulze.

05/21/20
Evangelos ``Vaki'' Nikitopoulos  UCSD
It\={o}'s Formula in Free Stochastic Integration
AbstractIn 1998, P. Biane and R. Speicher developed a theory of stochastic integration against free additive selfadjoint Brownian motion, the large$n$ limit of $n \times n$ Hermitian Brownian motion. This development included a kind of It\={o} Formula for certain functions of free It\={o} processes. In this talk, we discuss  for motivation  the finite$n$ version of this It\={o} Formula and use objects called \textit{double operator integrals} to give a new analytic interpretation of the quantities therein, which to date have been understood and interpreted mostly in combinatorial ways. This analytic interpretation yields an extension, which we shall also discuss, of Biane and Speicher's original formula.

05/21/20
Jack Thorne  Cambridge University
Symmetric power functoriality for holomorphic modular forms
AbstractLanglands's functoriality conjectures predict the existence of
``liftings'' of automorphic representations along morphisms of Lgroups. A
basic case of interest comes from the irreducible algebraic
representations of GL(2), thought of as the Lgroup of the reductive
group GL(2) over Q. I will discuss the proof, joint with James Newton,
of the existence of the corresponding functorial liftings for a broad
class of holomorphic modular forms, including Ramanujan's Delta function. 
05/22/20
Isabel Vogt  Stanford
TBD

05/26/20
Justin Lacini  UC San Diego
On log del Pezzo surfaces in characteristic different from two and three

05/27/20
Zhouli Xu  MIT
Smooth structures on spheres and stable homotopy groups of spheres
AbstractHow many smooth structures are there on a sphere? For dimensions at least 5, KervaireMilnor solved this problem in terms of another problem in algebraic topology: The computations of stable homotopy groups of spheres. In this talk, I will discuss recent progress on this problem in algebraic topology and its applications on smooth structures, which includes the following result with Guozhen Wang, building up on Moise, KervaireMilnor, Browder, HillHopkinsRavenel: Among all odd dimensions, the nsphere has a unique smooth structure if and only if n = 1, 3, 5, 61. I will also discuss some recent progress towards the Kervaire invariant problem in dimension 126.

05/27/20
Nattalie Tamam  UCSD
Effective equidistribution of horospherical flows in infinite volume
AbstractIn applications to number theory, it is often desirable to
find effective dynamical results. We want to provide effective
information about averages of orbits of the horospherical subgroup
acting on a hyperbolic manifold of infinite volume. We will start by
presenting the setting and results for manifolds with finite volume.
Then, we will discuss the difficulties that arise when studying the
infinite volume setting, and the measures that play a crucial role in
it. This is joint work with Jacqueline Warren. 
05/27/20
Alina Bucur  UCSD
Effective SatoTate under GRH
AbstractBased on the LagariasOdlyzko effectivization of the
Chebotarev density theorem, Kumar Murty gave aneffective version of the
SatoTate conjecture for an elliptic curve conditional on the analytic
continuationand the Riemann hypothesis for all the symmetric power
Lfunctions. Using similar techniques, Kedlaya and I obtained a
similar conditional effectivization of the generalized SatoTate
conjecture for an arbitrary motive. As an application, we obtained a
conditional upper bound of the form $O((\log N)^2(\log \log N)^2)$ for
the smallest prime at which two given rational elliptic curves with
conductor at most $N$ have Frobenius traces of opposite sign. In this
talk, I will discuss how to improve this bound to the best possible in
terms of Nand under slightly weaker assumptions. Our new approach
extends to abelian varieties. This is joint work with Kiran Kedlaya and
Francesc Fit\'e. 
05/28/20
Elena Fuchs  University of California, Davis
Prime Components in Integral Circle Packings
AbstractCircle packings in which all circles have integer curvature,
particularly Apollonian circle packings, have in the last decade become
objects of great interest in number theory. In this talk, we explore
some of their most fascinating arithmetic features, from local to global
properties to prime components in the packings, going from theorems, to
widely believed conjectures, to wild guesses as to what might be true. 
05/29/20
Peter Wear  UCSD
Perfectoid covers of abelian varieties and the weightmonodromy conjecture
AbstractDeligne's weightmonodromy conjecture gives control over the zeros of local factors of Lfunctions of varieties at places of bad reduction. His proof in characteristic p was a step in his proof of the generalized Weil conjectures. Scholze developed the theory of perfectoid spaces to transfer Deligne's proof to characteristic 0, proving the conjecture for complete intersections in toric varieties. Building on Scholze's techniques, we prove the weightmonodromy conjecture for complete intersections in abelian varieties.

05/29/20
Anand Deopurkar  Australian National University
Apparent boundaries of projective varieties
AbstractFix a smooth projective variety in projective space and project it to a linear subspace of the same dimension. The ramification divisor of this projection is classically known as the ``apparent boundary''. How does the apparent boundary move when we move the center of projection? I will discuss the geometry arising from this natural question. I will explain why the situation is most interesting for varieties of minimal degree, and how it is related to limit linear series for vector bundles.
Jun

06/03/20
Ronan Conlon  Florida International University
Steady gradient KahlerRicci solitons
AbstractA complete Kahler metric $g$ on a Kahler manifold $M$ is a ``steady gradient KahlerRicci soliton'' if there exists a smooth realvalued function $f:M \rightarrow R$ with $\nabla^{g}f$ holomorphic such that $Ric(g)=Hess(f)$. I will present a theorem of existence and uniqueness for such metrics. This is joint work with Alix Deruelle (Sorbonne).

06/04/20
Niccol\`{o} Rocchetti  UCLA
A derived Hecke action on the ordinary Hida tower
AbstractWhen studying the cohomology of Shimura varieties and arithmetic manifolds, one encounters the following phenomenon: the same Hecke eigensystem shows up in multiple degrees around the middle dimension, and its multiplicities in these degrees resembles that of an exterior algebra.\\
In a series of recent papers, Venkatesh and his collaborators provide an explanation: they construct graded objects having a graded action on the cohomology, and show that under good circumstances this action factors through that of an explicit exterior algebra, which in turn acts faithfully and generate the entire Hecke eigenspace.\\
In this talk, we discuss joint work with Khare where we investigate the p=p situation (as opposed to the l $\neq$ p situation, which is the main object of study of Venkatesh's Derived Hecke Algebra paper): we construct a degreeraising action on the cohomology of the ordinary Hida tower and show that (under some technical assumptions), this action generates the full Hecke eigenspace under its lowest nonzero degree. Then, we bring Galois representations into the picture, and show that the derived Hecke action constructed before is in fact related to the action of a certain dual Selmer group.

06/05/20
Ziyan Zhu  UCSD
Regularization with Cubics

06/05/20
Behrouz Taji  University of Sydney
Birational geometry of projective families of manifolds with good minimal models
AbstractA classical conjecture of Shafarevich, solved by Parshin and Arakelov, predicts that any smooth projective family of high genus curves over the complex line minus a point or an elliptic curve is isotrivial (has zero variation in its algebraic structure). A natural question then arises as to what other families of manifolds and base spaces might behave in a similar way. Kebekus and Kov\'acs conjecture that families of manifolds with good minimal models form the most natural category where Shafarevichtype conjecturesshould hold. For example, analogous to the original setting of Shafarevich Conjecture, they expect that over a base space of Kodaira dimension zero such families are always (birationally) isotrivial. In this talk I will discuss a solution to KebekusKov\'acs Conjecture.

06/08/20
Daniel Copeland  UCSD
Classification of ribbon categories with the fusion rules of $SO(N)$
AbstractIn this talk we discuss a classification of ribbon categories with the tensor product rules of the finitedimensional complex representations of $SO(N)$, for $N \geq 5$ and $N=3$. The equivalence class of a category with $SO(N)$ fusion rules depends only on the eigenvalues of the braid operator on $X \otimes X$, where $X$ corresponds to the defining representation. The classification applies both to generic $SO(N)$ tensor product rules, and to certain fusion rings having only finitely many simple objects.

06/12/20
Chenyang Xu  MIT
Algebraic Kstability theory of Fano varieties
AbstractIn recent years, Kstability of Fano varieties has been proved to be a rich topic for higher dimensional geometers. The transition of knowledge is mutual. In one direction, we use the powerful machinery from higher dimensional geometry, especially the minimal model program, to have a better understanding of various concepts in Kstability. On the other direction, Kstability provides the right subclass to construct moduli spaces of Fano varieties, which had been once considered beyond reach by algebraic geometers. In the first half hour, I will explain how people change their viewpoint on the definition of Kstability. Then in the main talk, I will focus on the moduli of Fano varieties.
Jul

07/01/20
Ronan Conlon  Florida International Univ.
Twodimensional shrinking gradient KahlerRicci solitons
AbstractI will outline the proof of the classification of twodimensional shrinking gradient KahlerRicci solitons with scalar curvature tending to zero at infinity. This is joint work with Alix Deruelle and Song Sun.
Aug

08/03/20
Zilu Ma  UC San Diego
Cone rigidity, Part 1
Abstracthttp://www.math.ucsd.edu/\~{}benchow/ccseminar.html.

08/05/20
Zilu Ma  UC San Diego
Cone rigidity, Part 2
Abstracthttp://www.math.ucsd.edu/\~{}benchow/ccseminar.html

08/18/20
Virtual Conference on Several Complex Variables
https://www.math.ucsd.edu/\~{}m3xiao/econferencescv/index.html
Abstract\textbf{August 1821}\\
\\
\textbf{Organizers}\\
Shiferaw Berhanu (Temple University)\\
Ming Xiao (University of California, San Diego)\\
\\
\textbf{Speakers}\\
Paulo Cordaro (Universidade de Sao Paulo)\\
JeanPierre Demailly (Universit\'e Grenoble Alpes)\\
TienCuong Dinh (National University of Singapore)\\
Peter Ebenfelt (University of California, San Diego)\\
John Erik Fornaess (Norwegian University of Science and Technology)\\
Xianghong Gong (University of WisconsinMadison)\\
Xiaojun Huang (Rutgers UniversityNew Brunswick)\\
Bernhard Lamel (Texas A&M University at Qatar)\\
Min Ru (University of Houston)\\
Berit Stensones (Norwegian University of Science and Technology)\\
Laurent Stolovitch (University of Nice Sophia Antipolis)\\
Emil Straube (Texas A&M University)\\
Andrew Zimmer (University of WisconsinMadison)\\
Sep

09/23/20
Qi S. Zhang  UC Riverside
Heat kernel and curvature bounds in Ricci flows with bounded scalar curvature, Part 2

09/28/20
Qi S. Zhang  UC Riverside
Heat kernel and curvature bounds in Ricci flows with bounded scalar curvature, Part 3
Oct

10/01/20
Rene Vidal  Johns Hopkins University
On the Regularization Properties of Structured Dropout
AbstractDropout and its extensions (e.g. DropBlock and DropConnect) are popular heuristics for training neural networks, which have been shown to improve generalization performance in practice. However, a theoretical understanding of their optimization and regularization
properties remains elusive. This talk will present a theoretical analysis of several dropoutlike regularization strategies, all of which can be understood as stochastic gradient descent methods for minimizing a certain regularized loss. In the case of single
hiddenlayer linear networks, we will show that Dropout and DropBlock induce nuclear norm and spectral ksupport norm regularization, respectively, which promote solutions that are lowrank and balanced (i.e. have factors with equal norm). We will also show
that the global minimizer for Dropout and DropBlock can be computed in closed form, and that DropConnect is equivalent to Dropout. We will then show that some of these results can be extended to a general class of Dropoutstrategies, and, with some assumptions,
to deep nonlinear networks when Dropout is applied to the last layer. 
10/02/20
Glenn Tesler  UC San Diego
Introduction to Genome Rearrangements
AbstractIn addition to frequent singlenucleotide mutations, mammalian and many
other genomes undergo rare and dramatic changes called genome
rearrangements. These include inversions, fissions, fusions, and
translocations. Although analysis of genome rearrangements was pioneered
by Dobzhansky and Sturtevant in 1938, we still know very little about the
rearrangement events that produced the existing varieties of genomic
architectures. Recovery of mammalian rearrangement history is a difficult
combinatorial problem that I will cover in this talk. Our data sets have
included sequenced genomes (human, mouse, rat, and others), as well as
radiation hybrid maps of additional mammals. 
10/04/20
Richard Bamler  UC Berkeley
Ricci flow in higher dimensions, part 1
AbstractWe present a new compactness theory of Ricci flows. This theory states that any sequence of Ricci flows that is pointed in an appropriate sense, subsequentially converges to a synthetic flow. Under a natural noncollapsing condition, this limiting flow is smooth on the complement of a singular set of parabolic codimension at least 4. We furthermore obtain a stratification of the singular set with optimal dimensional bounds depending on the symmetries of the tangent flows. Our methods also imply the corresponding quantitative stratification result and the expected $L^p$curvature bounds.
\\
\\
As an application we obtain a description of the singularity formation at the first singular time and a longtime characterization of immortal flows, which generalizes the thickthin decomposition in dimension 3. We also obtain a backwards pseudolocality theorem and discuss several other applications.
\\
\\
The schedule of the lecture series will be approximately as follows:
\\
1. Heat Kernel and entropy estimates on Ricci flow backgrounds and related geometric bounds.
\\
2. Continuation of Lecture 1 + Synthetic definition of Ricci flows (metric flows) and basic properties
\\
3. Convergence and compactness theory of metric flows
\\
4. Partial regularity of limits of Ricci flows 
10/06/20
Philip Gill  UC San Diego
Organizational meeting

10/06/20
Sam Spiro  UC San Diego
How to Make a Website and Other Things You Maybe Don't Know but Should
AbstractIn this talk I'll introduce the Zoom for Thought seminar and then
teach the basics of making a website and how to connect with the UCSD
server. If you want to have a working website by the end of the week, it
will help to (1) talk to Saul about getting your login information for the
UCSD math servers, (2) have a text editor to make the website (I like
notepad++), and (3) have a way to SSH to the math server (I like WinSCP).
To stall for time I'll also talk about other resources that might be of
use to a math PhD student. Other people are more than welcome to
contribute ideas in this direction. 
10/06/20
Sam Spiro  UC San Diego
Relative Turan Numbers of Hypergraphs
AbstractGiven an $r$uniform hypergraph $H$ and an $r$uniform hypergraph $F$, define the relative Tur\'an number $ex(H,F)$ to be the maximum number of edges in an $F$free subgraph of $H$. In this talk we discuss bounds for $ex(H,F)$ when $F$ is a loose cycle, Berge cycle, and a complete $r$partite $r$graph when the host $H$ is either arbitrary or when it is the random hypergraph $H_{n,p}^r$.
\\
\\
This is joint work with Jiaxi Nie and Jacques Verstraete. 
10/06/20
Richard Bamler  UC Berkeley
Ricci flow in higher dimensions, part 2
AbstractWe present a new compactness theory of Ricci flows. This theory states that any sequence of Ricci flows that is pointed in an appropriate sense, subsequentially converges to a synthetic flow. Under a natural noncollapsing condition, this limiting flow is smooth on the complement of a singular set of parabolic codimension at least 4. We furthermore obtain a stratification of the singular set with optimal dimensional bounds depending on the symmetries of the tangent flows. Our methods also imply the corresponding quantitative stratification result and the expected $L^p$curvature bounds.
\\
\\
As an application we obtain a description of the singularity formation at the first singular time and a longtime characterization of immortal flows, which generalizes the thickthin decomposition in dimension 3. We also obtain a backwards pseudolocality theorem and discuss several other applications.
\\
\\
The schedule of the lecture series will be approximately as follows:
\\
1. Heat Kernel and entropy estimates on Ricci flow backgrounds and related geometric bounds.
\\
2. Continuation of Lecture 1 + Synthetic definition of Ricci flows (metric flows) and basic properties
\\
3. Convergence and compactness theory of metric flows
\\
4. Partial regularity of limits of Ricci flows 
10/07/20
Salvatore Stuvard  The University of Texas at Austin
On the Brakke flow of surfaces with fixed boundary conditions
AbstractBrakke flow is a measuretheoretic generalization of the mean curvature flow which exploits the flexibility of geometric measure theory in order to describe the evolution by (generalized) mean curvature of surfaces exhibiting singularities, such as, for instance, a planar network with multiple junctions. In the first part of this talk, I will discuss the proof of the following result: given any $n$dimensional rectifiable subset $\Gamma_0$ of a strictly convex bounded domain $U \subset \mathbb{R}^{n+1}$ such that $U \setminus \Gamma_0$ is not connected, there exists a Brakke flow of surfaces (possibly weighted with integer multiplicities) starting from $\Gamma_0$ and with the additional property that their boundary coincides with $\partial \Gamma_0$ at all times. Furthermore, the flow subconverges, as $t \to \infty$ and in the sense of varifolds, to a (generalized) minimal surface in $U$ with the prescribed boundary $\partial \Gamma_0$, thus providing a dynamical solution to Plateau's problem. In the second part, I will discuss recent developments concerning the relationship between the singularities of a stationary initial surface $\Gamma_0$ and the (non) uniqueness of the flow. This investigation leads to the definition of a class of \emph{dynamically stable} stationary varifolds, which seems worthy of further study. Based on joint works with Yoshihiro Tonegawa (Tokyo Institute of Technology).

10/08/20
Jun Kitagawa  Michigan State University
Optimal transport with storage fees: theory and numerics
AbstractIn this talk I will discuss the optimal transport problem with ``storage fees.'' This is a variant of the semidiscrete optimal transport (a.k.a. MongeKantorovich) problem, where instead of transporting an absolutely continuous measure to a fixed discrete
measure and minimizing the transport cost, one must choose the weights of the target measure, and minimize the sum of the transport cost and some given ``storage fee function'' of the target weights. This problem arises in queue penalization and semisupervised
data clustering. I will discuss some basic theoretical questions, such as existence, uniqueness, a dual problem, and characterization of solutions. Then, I will present a numerical algorithm which has global linear and local superlinear convergence for a subcase
of storage fee functions.
\\
\\
All work in this talk is joint with M. Bansil (UCLA). 
10/08/20
Jorge GarzaVargas  UC Berkeley
Spectral stability under random perturbations
AbstractAbstract: Consider an $n\times n$ deterministic matrix $A$ and a random matrix $M$ with independent standard Gaussian entries. In this talk I will discuss recent results that state that, if $A\leq 1$, for any $\delta \textgreater 0$, with high probability $A+\delta M$ has eigenvector condition number of order poly$(n/\delta)$ and eigenvalue gaps of order poly$(\delta/n)$, which implies that the randomly perturbed matrix has a stable spectrum. This has useful applications to numerical analysis and was used to obtain the fastest known provable algorithm for diagonalizing an arbitrary matrix.
This is joint work with Jess Banks, Archit Kulkarni and Nikhil Srivastava.

10/08/20
Aaron Pollack  UC San Diego
Singular modular forms on quaternionic $E_8$
AbstractThe exceptional group $E_{7,3}$ has a symmetric space with
Hermitian tube structure. On it, Henry Kim wrote down low weight
holomorphic modular forms that are ``singular'' in the sense that their
Fourier expansion has many terms equal to zero. The symmetric space
associated to the exceptional group $E_{8,4}$ does not have a Hermitian
structure, but it has what might be the next best thing: a quaternionic
structure and associated ``modular forms''. I will explain the
construction of singular modular forms on $E_{8,4}$, and the proof that
these special modular forms have rational Fourier expansions, in a
precise sense. This builds off of work of Wee Teck Gan and uses key
input from Gordan Savin. 
10/08/20
Amber Puha  California State University San Marcos
WorkloadDependent Dynamic Priority for the Multiclass Queue with Reneging following Rami Atar, Anat LevAri

10/09/20
John Eggers  UC San Diego
The Compensating Polar Planimeter
AbstractHow does one measure area? As an example, how can one determine
the area of a region on a map for the purpose of real estate appraisal?
Wouldn't it be great if there were an instrument that would measure the
area of a region by simply tracing its boundary? It turns out that there
is such an instrument: it is called a planimeter. In this talk we will
discuss a particular type of planimeter called the compensating polar
planimeter. There will be a little bit of history and some analysis
involving line integrals and Green's theorem. Finally, there will be a
chance to (virtually) see actual examples of these fascinating instruments
from the speaker's collection. 
10/11/20
Richard Bamler  UC Berkeley
Heat kernel and curvature bounds in Ricci flows with bounded scalar curvature, part 3
AbstractWe present a new compactness theory of Ricci flows. This theory states that any sequence of Ricci flows that is pointed in an appropriate sense, subsequentially converges to a synthetic flow. Under a natural noncollapsing condition, this limiting flow is smooth on the complement of a singular set of parabolic codimension at least 4. We furthermore obtain a stratification of the singular set with optimal dimensional bounds depending on the symmetries of the tangent flows. Our methods also imply the corresponding quantitative stratification result and the expected $L^p$curvature bounds.
\\
\\
As an application we obtain a description of the singularity formation at the first singular time and a longtime characterization of immortal flows, which generalizes the thickthin decomposition in dimension 3. We also obtain a backwards pseudolocality theorem and discuss several other applications.
\\
\\
The schedule of the lecture series will be approximately as follows:
1. Heat Kernel and entropy estimates on Ricci flow backgrounds and related geometric bounds.
2. Continuation of Lecture 1 + Synthetic definition of Ricci flows (metric flows) and basic properties
3. Convergence and compactness theory of metric flows
4. Partial regularity of limits of Ricci flows 
10/13/20
Jiawang Nie  UC San Diego
An Introduction to Polynomial Optimization and Tensor Computation
AbstractPolynomial optimization is a class of optimization programs whose objective and constraining functions are polynomials. The core task in polynomial optimization is to compute global optimizers when the optimization is nonconvex. Tensor computation is about optimization and decompositions of tensors, such as tensor norms, tensor eigenvalues and tensor decompositions. All these problems are connected to each other by the theory nonnegative polynomials and moment problems. This talk will give an introduction about classical backgrounds, currently existing results and remaining challenges for the research of these topics.

10/13/20
Ionut Chifan  University of Iowa
New examples of W* and C*superrigid groups

10/13/20
Peter LambertCole  University of Georgia
Symplectic trisenctions and the adjunction inequality
AbstractThe minimal genus problem is a fundamental question in smooth 4manifold topology. Every 2dimensional homology class can be represented by a surface. But how small can this surface be? A generation ago, techniques from gauge theory were used to solve this in a large class of 4manifolds with extra geometric structure, namely symplectic 4manifolds. Recent work on trisections if 4manifolds has revealed a deep connection with symplectic geometry and gives a new perspective on this result.

10/13/20
Evangelos Nikitopoulos  Ph.D. Candidate  UC San Diego
Differentiating Matrix Functions
AbstractIf $\operatorname{M}_n(\mathbb{C})$ is the set of $n \times n$ complex
matrices and $A \in \operatorname{M}_n(\mathbb{C})$, then we write
$\sigma(A) \subseteq \mathbb{C}$ for the set of eigenvalues of $A$. If $A$
is diagonalizable and $f \colon \sigma(A) \to \mathbb{C}$ is any function,
then one can define $f(A) \in \operatorname{M}_n(\mathbb{C})$ in a
reasonable way. Now, let
$\operatorname{M}_n(\mathbb{C})_{\operatorname{sa}}$ be the set of $n
\times n$ Hermitian matrices, which are unitarily diagonalizable and have
real eigenvalues. If $f \colon \mathbb{R} \to \mathbb{C}$ is a continuous
function, then one can fairly easily show that the map $\tilde{f} \colon
\operatorname{M}_n(\mathbb{C})_{\operatorname{sa}} \to
\operatorname{M}_n(\mathbb{C})$ defined by $A \mapsto f(A)$ is also
continuous. In this talk, we shall discuss the less elementary fact that
if $f$ is $k$times continuously differentiable, then so is $\tilde{f}$.
Time permitting, we shall also discuss the much more complicated
infinitedimensional case  where instead of matrices, one considers
linear operators on a Hilbert space  which is still an active area of
research. 
10/13/20
Finn McGlade  UC San Diego
Representations of padic GL(n)
AbstractThis is an examplebased introduction to the characteristic zero representation theory of padic GL(n). Highlights include Reeder's construction of the ``simple supercuspidal representations'', the proof that these are irreducible, and a discussion of their Langlands parameters. We assume a few basic definitions from representation theory and padic arithmetic.

10/13/20
Richard Bamler  UC Berkeley
Heat kernel and curvature bounds in Ricci flows with bounded scalar curvature, part 4
AbstractWe present a new compactness theory of Ricci flows. This theory states that any sequence of Ricci flows that is pointed in an appropriate sense, subsequentially converges to a synthetic flow. Under a natural noncollapsing condition, this limiting flow is smooth on the complement of a singular set of parabolic codimension at least 4. We furthermore obtain a stratification of the singular set with optimal dimensional bounds depending on the symmetries of the tangent flows. Our methods also imply the corresponding quantitative stratification result and the expected $L^p$curvature bounds.
\\
\\
As an application we obtain a description of the singularity formation at the first singular time and a longtime characterization of immortal flows, which generalizes the thickthin decomposition in dimension 3. We also obtain a backwards pseudolocality theorem and discuss several other applications.
\\
\\
The schedule of the lecture series will be approximately as follows:
1. Heat Kernel and entropy estimates on Ricci flow backgrounds and related geometric bounds.
2. Continuation of Lecture 1 + Synthetic definition of Ricci flows (metric flows) and basic properties
3. Convergence and compactness theory of metric flows
4. Partial regularity of limits of Ricci flows 
10/14/20
Elia Brue
Boundary regularity and stability for spaces with Ricci curvature bounded below
AbstractThe theory of RCD spaces has seen a huge development in the last teen years. They are metric measure structures satisfying a synthetic notion of Ricci bounded below. This class includes several spaces with boundary, such as GromovHausdorff limits of manifolds with convex boundary and Ricci bounded below in the interior. In this talk we will present new stability and regularity results for boundaries of RCD spaces. We will focus mostly on a new epsilonregularity theorem which is new even in the setting of smooth Riemannian manifolds. It is based on a work in progress joint with Aaron Naber and Daniele Semola.

10/15/20
Reinhard Heckel  Technical University of Munich
Provable Image Recovery with Untrained Convolutional Neural Networks
AbstractConvolutional Neural Networks are highly successful tools for image recovery and restoration. A major contributing factor to this success is that convolutional networks impose
strong prior assumptions about natural images  so strong that they enable image recovery without any training data. A surprising observation that highlights those prior assumptions is that one can remove noise from a corrupted natural image by simply fitting
(via gradient descent) a randomly initialized, overparameterized convolutional generator to the noisy image.
\\
\\
In this talk, we discuss a simple untrained convolutional network, called the deep decoder, that provably enables image denoising and regularization of inverse problems such as compressive sensing with excellent performance. We formally characterize the dynamics
of fitting this convolutional network to a noisy signal and to an undersampled signal, and show that in both cases earlystopped gradient descent provably recovers the clean signal.
\\
\\
Finally, we discuss our own numerical results and numerical results from another group demonstrating that untrained convolutional networks enable magnetic resonance imaging from highly undersampled measurements, achieving results surprisingly close to trained
networks, and outperforming classical untrained methods. 
10/15/20
Cristian Popescu  UC San Diego
An equivariant Tamagawa number formula for Drinfeld modules and beyond
AbstractI will present a vast generalization of Taelman's 2012
celebrated classnumber formula for Drinfeld modules to the setting of
(rigid analytic) Lfunctions of Drinfeld module motives with Galois
equivariant coefficients. I will discuss applications and potential
extensions of this formula to the category of tmodules and tmotives.
This is based on joint work with Ferrara, Green and Higgins, and a
result of meetings in the UCSD Drinfeld Module Seminar. 
10/15/20
Toni Gui  Grad student  UC San Diego
Mean Field Games and Mathematical Finance

10/16/20
Martijn Kool  Utrecht University
Virtual Segre and Verlinde numbers of projective surfaces.
AbstractRecently, MarianOpreaPandharipande proved Lehn's conjecture for
Segre numbers associated to Hilbert schemes of points on surfaces.
They also provided a conjectural correspondence between Segre and
Verlinde numbers. For surfaces with holomorphic 2form, we propose
conjectural generalizations of their results to moduli spaces of
stable sheaves of any rank. We provide several verifications by using
Mochizuki's formula. Joint work with Gottsche. 
10/16/20
Joshua Swanson  UC San Diego
Asymptotics of Mahonian statistics
AbstractPercy MacMahon introduced the ``major index'' of a permutation a century
ago and proved that it has the same distribution as the ``inversion
number''. Such statistics are now called ``Mahonian''. Baxter and
Zeilberger considered the joint distribution of inversions and the major
index on permutations and showed they are jointly independently
asymptotically normally distributed. However, BaxterZeilberger's argument
has no hope of giving a more precise ``local limit theorem'' and
Zeilberger subsequently offered a \$300 reward for a different proof. This
is the story of that reward. 
10/19/20
Ovidiu Munteanu  University of Connecticut
Fourdimensional shrinking gradient Ricci solitons, Part 1
AbstractIn these two lectures we plan to survey some known results about complete noncompact shrinking Ricci solitons in dimension four. The main goal is to understand the geometry at infinity of these manifolds, and for that we address the following basic questions:
*Estimate the number of ends of 4d shrinkers.
*Understand the asymptotic geometry along each end.
*Uniqueness results.
*Open problems/conjectures. 
10/20/20
Anthony Sanchez Graduate student  University of Washington
Gaps of saddle connection directions for some branched covers of tori
AbstractHolonomy vectors of translation surfaces provide a geometric generalization for higher genus surfaces of (primitive) integer lattice points. The counting and distribution properties of holonomy vectors on translation surfaces have been studied extensively. A natural question to ask is: How random are the holonomy vectors of a translation surface? We motivate the gap distribution of slopes of holonomy vectors as a measure of randomness and compute the gap distribution for the class of translation surfaces given by gluing two identical tori along a slit. No prior background on translation surfaces or gap distributions will be assumed.

10/20/20
Albert Chern  UC San Diego, Department of Computer Science and Engineering
An Exact Discretization of Reflectionless Boundaries for Wave Equations
AbstractThis talk concerns a classical problem in computational wave propagations: How does one truncate an infinite domain to a finite size without introducing reflection waves from the artificial boundaries? The stateoftheart approach is attaching to those boundaries a perfectly matched layer (PML). In the continuous theory, PMLs are subject to an analytically continued wave equation that damps all incident waves without creating any interfacial reflection. However, it is believed that ``numerical reflections'' are unavoidable after discretization. In this talk, I will demonstrate a truly reflectionless discrete PML. The key is to uncover the geometric mechanism hidden in the differential calculus formalism; in discretizing the theory, approximations are the best one can hope for the latter, while the former often admits exact discretization.

10/20/20
Maggie Miller  MIT
Nonorientable 4manifolds
AbstractI will talk about why some classical theorems (e.g. Waldhausen, LaudenbachPoenaru) can be modified to hold for nonorientable 3 and 4manifolds. As a consequence, we can draw Kirby diagrams and trisection diagrams and conclude the usual main trisection theorems for nonorientable 4manifolds. This is joint work with Patrick Naylor (University of Waterloo).

10/20/20
Srivatsa ``Vatsa'' Srinivas  UC San Diego
A Funny Proof of an $L_p$ Inequality
AbstractDear ZFT attendee, has your research ever come down to proving a polynomial inequality? If so, would you want to use boring old analysis to come up with a five line proof? Or would you rather spend two days creating an algorithm to find the exact factorization of the polynomial? The latter is the obvious choice. Come on over to ZFT this week and see how Clarkson's inequality can be proved in a special case by using linear recursion and binomial coefficients! I guarantee that you will think of the polynomial $y^22y+1$ differently for the rest of your life!

10/20/20
Nicholas Sieger  UC San Diego
A Quick and Dirty Introduction to Higher Order Fourier Analysis
AbstractRoth famously used fourier analysis to upper bound the size of a set of integers without 3term arithmetic progressions. One might hope that similar techniques can be used for 4 or more term progressions, and some simple examples demonstrate otherwise. However, Gowers (2001) introduced a ``higher order'' fourier analysis which generalizes Roth's proof to longer arithmetic progressions. In this talk, we will give a combinatorial sketch of the methods of higher order fourier analysis culminating in the key problem of the field, the inverse conjecture for the gowers norms.

10/20/20
Srivatsa Srinivas  UC San Diego
Expanders: Introduction and Applications
AbstractAn expander graph is a type of graph that is sparse yet highlyconnected. They have found uses in many subjects including computer science, topology, algebra, number theory and algebraic geometry. We will talk about the basics of expander graphs and how they can be used to give quantitative versions of algebraic statements regarding interesting groups

10/21/20
PakYeung Chan  UC San Diego
Steady Kaehler Ricci soliton with nonnegative Ricci curvature and integrable scalar curvature
AbstractRicci soliton is a selfsimilar solution to the Ricci flow and arises naturally in the singularity analysis of the flow. Steady Ricci soliton is a kind of soliton whose associated Ricci flow evolves by reparametrizing a fixed metric. It is closely related to the Type II limit solution to the Ricci flow. Steady Ricci soliton with integrable scalar curvature was studied by Deruelle in 2012, later by CatinoMastroliaMonticelli in 2016, MunteanuSungWang in 2019, DengZhu in 2020. In this talk, we shall discuss a classification result on steady Kaehler Ricci soliton with nonnegative Ricci curvature and integrable scalar curvature. We then apply the result to study the steady Kaehler Ricci soliton with subquadratic volume growth or fast curvature decay.

10/21/20
Felipe Campos  UC San Diego
Stochastic (Bio)Chemical Reaction Networks: Diffusion Approximations and Singular Perturbations

10/21/20
Jiyoung Choi  UC San Diego
Exact DNN relaxations for Polynomial Optimization Problems

10/21/20
Ovidiu Munteanu  University of Connecticut
Fourdimensional shrinking gradient Ricci solitons, Part 2
AbstractIn these two lectures we plan to survey some known results about complete noncompact shrinking Ricci solitons in dimension four. The main goal is to understand the geometry at infinity of these manifolds, and for that we address the following basic questions:
*Estimate the number of ends of 4d shrinkers.
*Understand the asymptotic geometry along each end.
*Uniqueness results.
*Open problems/conjectures. 
10/22/20
Giuseppe Caire  Technical University of Berlin
The Mathematics of Massive Random Access Communications
AbstractThe Multiple Access Channel (MAC) is one of the most well studied and understood network information theoretic models, describing a scenario where K users wish to deliver their information message to one receiver, sharing the same transmission channel. Beyond the multitude of practical and somewhat heuristic MAC protocols (e.g., TDMA, FDMA, CDMA, CSMA, Aloha, and variations thereof), the information theoretic capacity region is well understood under many situations of interest, and in particular in the Gaussian case, modeling the uplink of a wireless system with one access point or base station (receiver) and several users, sharing the same frequency band.
\\
\\
More recently, a variant of this model has been proposed for a situation where a very large (virtually unlimited) number of users wish to communicate only very sporadically, such that at any point in time only a finite and relatively small number of users are ``active''. This scenario is appropriate for machinetype communications and Internet of Things, where a multitude of sensors and objects have only rather sporadic data to send, but they need to send them when they are created, at random times.
\\
\\
The identification of the active user set, or the active message set (the list of messages transmitted, irrespectively of who is transmitting them) has some points in common with a compressed sensing problem, where the activity vector (entry 1 if a user/message is active and 0 otherwise) is the key object to be estimated at the receiver side.
\\
\\
In this talk we review the basic MAC model and results, a variant for massive random access called ``unsourced random access'' where all users use the same codebook, and related recent results and algorithms. including some capacity scaling for this model, which remains quite open as far as a full information theoretic characterization is concerned. 
10/22/20
Patrik Murphy  Rice University
Modeling rapid diffusion state switching during cellular polarization of a C. Elegans zygote
AbstractMorphogen gradients play a vital role in developmental biology by enabling embryonic cells to infer their spatial location and determine their developmental fate accordingly. The standard mechanism for generating a morphogen gradient involves a morphogen being produced from a localized source and subsequently degrading. While this mechanism is effective over the length and time scales of tissue development, it fails over typical subcellular length scales due to the rapid dissipation of spatial asymmetries. Singleparticle tracking experiments have recently found that C. elegans zygotes rely on spacedependent switching diffusivities to form intracellular gradients during cell polarization. We analyze a model of switching diffusivities to determine its role in protein concentration gradient formation. In particular, we determine how the presence of switching diffusivities modifies the standard theory and show that spacedependent switching diffusivities can yield a gradient in the absence of a localized source. Our mathematical analysis yields explicit formulas for the intracellular concentration gradient which closely match the results of previous experiments and numerical simulations. We further consider how this mechanism of switching diffusive states interacts with a locally varying periodic microstructure in the cell, and use homogenization theory to show that at the typical cellular scales involved, such a microstructure does not necessarily need to be resolved in fine detail in order to accurately capture the dynamics of the system.

10/22/20
Paul Van Koughnett  Purdue University
Topological modular forms for number theorists
AbstractThis will be a mainly expository talk about some recent
applications of number theory to topology. The crux of these
applications is the construction of a cohomology theory called
topological modular forms (TMF) out of the moduli of elliptic curves.
I'll explain what TMF is, what we have been doing with it, and what we'd
still like to know; I'll also discuss more recent attempts to extend the
theory using level structures, higherdimensional abelian varieties, and
K3 surfaces. Time permitting, I'll talk about my work with Dominic
Culver on some partial numbertheoretic interpretations of TMF
cooperations. 
10/22/20
Paul VanKoughnett  Purdue University
Topological modular forms for number theorists
AbstractThis will be a mainly expository talk about some recent applications of number theory to topology. The crux of these applications is the construction of a cohomology theory called topological modular forms (TMF) out of the moduli of elliptic curves. I'll explain what TMF is, what we have been doing with it, and what we'd still like to know; I'll also discuss more recent attempts to extend the theory using level structures, higherdimensional abelian varieties, and K3 surfaces. Time permitting, I'll talk about my work with Dominic Culver on some partial numbertheoretic interpretations of TMF cooperations.

10/22/20
Varun Khurana, Graduate student  UC San Diego
Mean Field Games, Mean Field Control Problems and Machine Learning

10/23/20
Ben Davison  University of Edinburgh
The BorelMoore homology of the stack of objects in a 2CY category
AbstractMany familiar objects in algebra, geometry and topology belong to
2CalabiYau categories, e.g. coherent sheaves on a K3 or Abelian
surface, Higgs bundles on a smooth and proper curve, local systems on a
Riemann surface, and representations of a fixed preprojective algebra.
In each case the BorelMoore homology of the stack of objects carries a
Hall algebra structure, which in the preprojective algebra case contains
all of the raising operators on the cohomology of Nakajima quiver
varieties, and in other cases produces a kind of nonlinear/global
analogue of this theory. By reducing everything locally to the case of
representations of a preprojective algebra, I'll show that in each case
the BorelMoore homology of the stack of objects carries a perverse
filtration. I'll explain how this filtration can be used to produce
generators for the BorelMoore homology of the stack of objects coming
from intersection cohomology of the coarse moduli space, along with
tautological classes. In joint work with Sjoerd Beentjes, we show that
in all but one of the examples in the first sentence of this abstract
this BorelMoore homology is pure. In the K3 case this proves a
conjecture of HalpernLeistner. 
10/23/20
Andy Zucker  UC San Diego
An introduction to Fraisse structures
AbstractGiven a class of finite structures, is there a way to assemble them into a
countably infinite limit object in a canonical way? For example, consider
the collection of finite linear orders. Clearly the limit object should be
some infinite linearly ordered set, but there are lots to choose from.
Should we use the order of the naturals? The integers? The rationals?
Similarly, consider the class of finite graphs. There are lots of
countably infinite graphs which embed every finite graph. Which one is
best? Fraisse theory allows us to answer this question; for certain
collections of finite structures, we can consider the ``generic''
countably infinite structure which embeds every member of the finite
class. 
10/26/20
Shubham Sinha  Ph.D. student  UC San Diego
Isotropic quot scheme
AbstractIsotropic Quot scheme is a projective scheme that compactifies the moduli space of maps (of a given degree) from a smooth projective algebraic curve to an Isotropic Grassmannian. Isotropic quot schemes are often not smooth, but we construct a virtual fundamental class which makes it 'virtually' smooth. We use this to understand intersection theory of this space and find a VafaIntriligator type formula for the intersection of certain cohomology classes.

10/27/20
Jacqueline Warren  Graduate student  UC San Diego
Effective equidistribution of horospherical flows in infinite volume
AbstractBy Ratner's famous equidistribution theorem, we know that unipotent orbits in finite volume quotients of Lie groups equidistribute in their closures. Often, in applications, one needs to know more: specifically, at what rate does the orbit equidistribute? We call a statement that includes a quantitative error term effective. In this talk, I will present an effective equidistribution theorem, with polynomial rate, for horospherical orbits in the frame bundle of certain infinite volume hyperbolic manifolds. This is joint work with Nattalie Tamam.

10/27/20
Linh Truong  University of Michigan
The Upsilon invariant and fibered knots
AbstractIn 2010, Hedden showed that the OzsvathSzabo concordance invariant tau detects whether a fibered knot induces a tight contact structure on the threesphere. In 2017, Ozsvath, Stipsicz, and Szabo constructed a oneparameter family of concordance invariants Upsilon, which recovers tau as a special case. I will discuss a sufficient condition using Upsilon for the monodromy of the open book decomposition of a fibered knot to be rightveering. I will also discuss a generalization of a result of Baker on ribbon concordances between fibered knots. This is joint work with Dongtai He and Diana Hubbard.

10/27/20
Zi Yang  UC San Diego
The Saddle Point Problem of Polynomials
AbstractThis talk discusses the saddle point problem of polynomials. We give an algorithm for computing saddle points, based on Lasserre's hierarchy of MomentSOS relaxations. Under some genericity assumptions, we show that: i) if there exists a saddle point, the algorithm can get one by solving a finite number of relaxations; ii) if there is no saddle point, the algorithm can detect its nonexistence.

10/27/20
Paul Skoufranis  York University
Versions of BiFree Entropy
AbstractIn a series of papers, Voiculescu generalized the notions of entropy and Fisher information to the free probability setting. In particular, the notions of free entropy have several applications in the theory of von Neumann algebras and free probability such as demonstrating certain von Neumann algebras do not have property Gamma, demonstrating the absence of atoms in the distributions of polynomials of random matrices, and the construction of free monotone transport. With the recent bifree extension of free probability being sufficiently developed, it is natural to ask whether there are bifree extensions of Voiculescu's notions of free entropy. In this talk, we will provide an introduction to a few notions of bifree entropy and discuss the difficulties and peculiarities that occur. This is joint work with Ian Charlesworth.

10/27/20
Varun Khurana  Ph.D. student  UC San Diego
Solving Mean Field Games and Mean Field Control Problems Using Machine Learning
AbstractA mean field game is usually denoted as a game with the number of
players tending to infinity, which leads us to consider population
densities of players and their resulting ``Nash equilibrium'' strategies.
Mean field games have been used to model financial markets, population
dynamics, and more, but solving the mean field games ends up requiring us
to solve a highdimensional PDE. To avoid the curse of dimensionality, we
can instead use the method of characteristics to turn one of the PDEs in
the mean field game into a system of ODEs and then solve the mean field
game by parameterizing the dynamics of the ODE with a neural network. 
10/27/20
Woonam Lim, Graduate Student  UC San Diego
Strange Duality
AbstractTheta functions are certain quasiperiodic functions in several complex variables. ``Nonabelian'' analogues of theta functions can be defined via moduli of stable bundles over a curve. There exist surprising symmetries in the dimension formulas, called Verlinde numbers, of spaces of nonabelian theta functions. We will talk about the strange duality which is a geometric explanation for the symmetry between spaces of nonabelian theta functions.

10/28/20
Xavier FernandezReal Girona  EPFL
The nonregular part of the free boundary for the fractional obstacle problem
AbstractThe fractional obstacle problem in $\mathbb R^n$ with obstacle $\varphi\in C^\infty(\mathbb{R}^n)$ can be written as \[ \min\{(\Delta)^s u , u\varphi\} = 0,\quad\textrm{in }\quad\mathbb{R}^n. \] The set $\{u = \varphi\} \subset \mathbb{R}^n$ is called the contact set, and its boundary is the free boundary, an unknown of the problem. The free boundary for the fractional obstacle problem can be divided between two subsets: regular points (around which the free boundary is smooth, and is $n1$ dimensional) and degenerate points. The set of degenerate points, even for smooth obstacles, can be very large (for example, with infinite $\mathcal{H}^{n1}$ measure). In a joint work with X. RosOton we show, however, that generically solutions to the fractional obstacle problem have a lower dimensional degenerate set. That is, for almost every solution (in an appropriate sense), the set of degenerate points is lower dimensional.

10/28/20
Yian Ma  UC San Diego
Optimization in the space of probabilities with MCMC: Uncertainty quantification and sequential decision making
AbstractI will present MCMC algorithms as optimization over the KLdivergence in the space of probabilities. By incorporating a momentum variable, I will discuss an algorithm which performs accelerated gradient descent over the KLdivergence. Using optimizationlike ideas, a suitable Lyapunov function is constructed to prove that an accelerated convergence rate is obtained. I will then discuss how MCMC algorithms compare against variational inference methods in parameterizing the gradient flows in the space of probabilities and how it applies to sequential decision making problems.

10/29/20
Guillaume Dubach  IST Austria
Overlaps between eigenvectors of nonHermitian random matrices
AbstractRight and left eigenvectors of nonHermitian matrices form a biorthogonal system to which one can associate homogeneous quantities known as overlaps. The matrix of overlaps quantifies the stability of the spectrum and characterizes the joint eigenvalues increments under Dysontype dynamics. Overlaps first appeared in the physics literature: Chalker and Mehlig calculated their conditional expectation for complex Ginibre matrices (1998). For the same model, we extend their results by deriving the distribution of the overlaps and their correlations (joint work with P. Bourgade). Similar results have been obtained in other integrable settings, namely quaternionic Gaussian matrices, as well as matrices from the spherical and truncated unitary ensembles.

10/29/20
Isaac Klapper  Temple University
Modeling Microbial Community Metabolism
AbstractOutside of laboratories, microbial communities (biofilms and other types)
often exist in relatively stable environments where, on average, resource quality and quantity
are predictable. In these conditions, these communities are able to organize
into tuned chemical factories, efficiently turning resources into biomass and
waste byproducts. To do so, physical, chemical, and biological constraints
must be accomodated. In this seminar, techniques to model this
organization will be discussed. In particular, the importance of coupling microscale
metabolic information to community scale transport processes will be emphasized. 
10/29/20
Brandon Alberts  UC San Diego
Modeling Malle's Conjecture with Random Groups
AbstractModeling Malle's Conjecture with Random Groups
Abstract: We construct a random group with a local structure that models
the behavior of the absolute Galois group ${\rm Gal}(\overline{K}/K)$,
and prove that this random group satisfies Malle's conjecture for
counting number fields ordered by discriminant with probability 1. This
work is motivated by the use of random groups to model class group
statistics in families of number fields (and generalizations). We take
care to address the known counterexamples to Malle's conjecture and how
these may be incorporated into the random group. 
10/29/20
Yingjia Fu, Graduate Student  UC San Diego
Asymptotic Behavior of a Critical Fluid Model for Bandwidth Sharing with General File Size Distributions

10/30/20
Noah Arbesfeld  Imperial College London
DonaldsonThomas theory and the Hilbert scheme of points on a surface
AbstractOne approach to computing integrals over Hilbert schemes of
points on surfaces (and other moduli spaces of sheaves on surfaces) is
to reduce to the special case when the surface in question is $C^2$.
\\
\\
I'll explain how to use the (Ktheoretic) DonaldsonThomas theory of
threefolds to deduce identities for holomorphic Euler characteristics
of tautological bundles over the Hilbert scheme of points on $C^2$. I'll
also explain how these identities control the behavior of such Euler
characteristics over Hilbert schemes of points on general surfaces. 
10/30/20
Jacques Verstraete  UC San Diego
Decentralized Search in Networks
AbstractIt is known both scientifically and anecdotally that typical largescale
social networks exhibit short paths between pairs of nodes, hence
the common phrase ``six degrees of separation''. In this talk, mathematical
background for this phenomenon is given, together with a study of the
algorithmic question of how to search such largescale networks using only
local information. In particular, one could imagine that each
person in the network is allowed to pass a message to one of their
acquaintances, until a particular target person in the network receives the
message. Remarkably, for many networks with $n$ nodes, there is a simple
algorithm which does this extremely efficiently  a ``decentralized
search'' algorithm which runs in time polylogarithmic in the number of
nodes. The mathematics in this talk involves only elementary combinatorics
and probability.
Nov

11/03/20
Eva Belmont  Northwestern University
Rmotivic homotopy theory and the Mahowald invariant
AbstractThe Mahowald invariant is a highly nontrivial map (with indeterminacy) from the homotopy groups of spheres to itself with deep connections to chromatic homotopy theory. In this talk I will discuss a variant of the Mahowald invariant that can be computed using knowledge of the Rmotivic stable homotopy groups of spheres, and discuss its comparison to the classical Mahowald invariant. This is joint work with Dan Isaksen.

11/03/20
Thomas Sinclair  Purdue University
TBA

11/03/20
Sam Spiro  UC San Diego
Card Guessing with Partial Feedback
AbstractConsider the following experiment: a deck with $m$ copies of $n$ different card types is randomly shuffled, and a guesser attempts to guess the cards sequentially as they are drawn. Each time a guess is made, some amount of ``feedback'' is given. For example, one could tell the guesser the true identity of the card they just guessed (the complete feedback model) or they could be told nothing at all (the no feedback model).
\\
\\
In this talk we explore a partial feedback model, where upon guessing a card, the guesser is only told whether or not their guess was correct. We show in this setting that, uniformly in $n$, at most $m+O(m^{3/4}\log m)$ cards can be guessed correctly in expectation, which is roughly the number of cards one gets by naively guessing the same card type $mn$ times. This is joint work with Persi Diaconis, Ron Graham, and Xiaoyu He. 
11/03/20
Alex Mathers  Ph.D. student  UC San Diego
The Direct Summand Conjecture
AbstractThe direct summand conjecture, part of the homological conjectures in commutative algebra, was first proposed by Mel Hochster in 1973. The conjecture is easily proven when the given ring contains a field, but the ``mixed characteristic'' case seemed, for the most part, impenetrable. In 2016 Yves Andre announced a proof of the conjecture which utilizes the theory of perfectoid spaces. We will attempt to give a (somewhat) detailed proof of the DSC in a simplified scenario, and then give a general idea of the methods used to prove the theorem in the general case.

11/04/20
ManChun Lee  Northwestern University
KahlerRicci flow with unbounded curvature and application
AbstractIn this talk, we will discuss the existence theory of KahlerRicci flow when the Kahler metric has unbounded curvature. We will discuss some application of the KahlerRicci flow in the study of uniformization and the regularity of GromovHausdorff limit. This is joint work with L.F. Tam.

11/04/20
Jane Ye  University of Victoria
Direction necessary optimality conditions for bilevel optimization

11/05/20
Samuel Mundy  Columbia University
Archimedean components of Eisenstein series and CAP forms for $G_2$
AbstractI will talk about some recent work determining the archimedean
components of certain Eisenstein series and CAP forms induced from the
long root parabolic of $G_2$. I will also discuss how these results are
being used in some work in progress on producing nonzero classes in
symmetric cube Selmer groups. 
11/05/20
Andrea Agazzi  Duke University
Large deviations and chemical reaction networks
AbstractAt the microscopic level, the dynamics of arbitrary networks of chemical reactions can be modeled as jump Markov processes whose sample paths converge, in the limit of large number of molecules, to the solutions of a set of algebraic ordinary differential equations. Fluctuations around these asymptotic trajectories and the corresponding phase transitions can in principle be studied through large deviations theory in path space, also called WentzellFreidlin (WF) theory. However, the specific form of the jump rates for this family of processes does not satisfy the standard regularity assumptions imposed by such theory, and weaker conditions need to be developed to deal with the framework at hand. Using tools of Lyapunov stability theory we design sufficient conditions for the applicability of large deviations estimates to the asymptotics of the Markov process at hand. We then translate such conditions in terms of the topological structure of the chemical reaction network. This ultimately allows to define a large class of chemical reaction systems to which the estimates of interest can automatically be applied.

11/06/20
David Stapleton  UC San Diego
The Geometry of Projective Space
AbstractWe introduce projective space over a field, and we investigate its
geometry. Along the way we find connections to many other fascinating
geometries including M\``{o}bius strips, the Hopf fibration, and the Fano
plane. We also discuss the basics of algebraic geometry in projective
space. 
11/06/20
Jeongseok Oh  Korea Institute for Advanced Study
Counting sheaves on CalabiYau 4folds
AbstractWe define a localised Euler class for isotropic
sections, and isotropic cones, in SO(N) bundles. We use this to give an
algebraic definition of BorisovJoyce sheaf counting invariants on
CalabiYau 4folds. When a torus acts, we prove a localisation result.
This talk is based on the joint work with Richard. P. Thomas. 
11/09/20
Simon Brendle  Columbia University
Ancient solutions to the Ricci flow, part 1
AbstractA solution to a geometric flow is called ancient if it has a backhistory going back infinitely far in time. Ancient solutions of parabolic PDE are analogous to entire solutions of elliptic PDE. In particular, they play a fundamental role in understanding singularity formation.
\\
\\
Perelman studied ancient solutions to the Ricci flow in dimension 3 which are kappanoncollapsed, and proved a crucial structure theorem for these ancient kappasolutions. Moreover, Perelman conjectured that, up to scaling, every noncompact ancient kappasolution in dimension 3 is isometric to either the Bryant soliton or the standard cylinder (or a quotient thereof). In these lectures, I will discuss the proof of this conjecture. 
11/10/20
Octave Lacourte  Graduate student  Claude Bernard Lyon 1 University
A signature for some subgroups of the permutation group of [0,1[
AbstractFor every infinite set X we define S(X) as the group of all permutations of X. On its subgroup consisting of all finitely supported permutations there exists a natural group homomorphism signature. However, thanks to an observation of Vitali in 1915, we know that this group homomorphism does not extend to S(X). In the talk we extend the signature on the subgroup of S(X) consisting of all piecewise isometric elements (strongly related to the Interval Exchange Transformation group). This allows us to list all of its normal subgroups and gives also informations about an element of the second cohomology group of some groups.

11/10/20
Ariel Jaffe  Yale University
Recovering tree models via spectral graph theory
AbstractModeling high dimensional data by latent tree graphical models is a common approach in multiple
machine learning applications. In these models, the key task is to infer the structure of the tree, given
only observations on its leaves. A canonical example of this setting is the tree of life, where the
evolutionary history of a set of organisms is inferred by their nucleotide or protein sequences.
\\
\\
In this talk, we will show that the tree structure is strongly related to the spectral properties of a fully
connected graph, defined over the terminal nodes of the tree. This relation forms the theoretical basis
of two new methods to recover latent tree models. Comparing our approach to several competing
methods, we show that in many settings, spectral methods have stronger theoretical guarantees and
work better in practice. 
11/10/20
Hannah Schwartz  Princeton University
Isotopy vs. homotopy for disks with a common dual
AbstractRecent work of both Gabai and SchneidermanTeichner on the smooth isotopy of homotopic surfaces with a common dual has reinvigorated the study of concordance invariants defined by Freedman and Quinn in the 90's, along with homotopy theoretic invariants of Dax from the 70's obstructing isotopy of disks. Using the Dax invariant, we will give conditions under which pairs of homotopic properly embedded disks in a smooth 4manifold with boundary with a common dual are isotopic.

11/10/20
Yusu Wang  Halicioglu Data Science Institute  UC San Diego
Topological and Geometric Analysis of Graphs
AbstractIn recent years, topological and geometric data analysis (TGDA) has emerged as a new and promising field for processing, analyzing and understanding complex data. Indeed, geometry and topology form natural platforms for data analysis, with geometry describing the ``shape'' behind data; and topology characterizing / summarizing both the domain where data are sampled from, as well as functions and maps associated to them.
\\
\\
In this talk, I will show how topological (and geometric ideas) can be used to analyze graph data, which occurs ubiquitously across science and engineering. Graphs could be geometric in nature, such as road networks in GIS, or relational and abstract. I will particularly focus on the reconstruction of hidden geometric graphs from noisy data, as well as graph matching and classification. I will discuss the motivating applications, algorithm development, and theoretical guarantees for these methods. Through these topics, I aim to illustrate the important role that topological and geometric ideas can play in data analysis. 
11/10/20
Thomas Grubb  Ph.D. Candidate  UC San Diego
Natural Language Processing
AbstractI will discuss topics in Natural Language Processing

11/11/20
Damin Wu  University of Connecticut
Bergman metric on complete Kahler manifold.
AbstractIt has been proved by R. E. Greene and H. Wu that a simplyconnected complete Kahler manifold negatively pinched sectional curvature possesses a complete Bergman metric. I will briefly review the history and present the estimates of the Bergman metric using the bounded geometry. This talk is based on the joint work with Yau.

11/11/20
Simon Brendle  Columbia University
Ancient solutions to the Ricci flow, part 2
AbstractA solution to a geometric flow is called ancient if it has a backhistory going back infinitely far in time. Ancient solutions of parabolic PDE are analogous to entire solutions of elliptic PDE. In particular, they play a fundamental role in understanding singularity formation.
\\
\\
Perelman studied ancient solutions to the Ricci flow in dimension 3 which are kappanoncollapsed, and proved a crucial structure theorem for these ancient kappasolutions. Moreover, Perelman conjectured that, up to scaling, every noncompact ancient kappasolution in dimension 3 is isometric to either the Bryant soliton or the standard cylinder (or a quotient thereof). In these lectures, I will discuss the proof of this conjecture. 
11/12/20
Hrushikesh Mhaskar  Claremont Graduate University
Revisiting the theory of machine learning
AbstractA central problem of machine learning is the following. Given data of the form $\{(y_i, f(y_i)+\epsilon_i)_{i=1}^M\}$, where $y_i$'s are drawn randomly from an unknown (marginal) distribution $\mu^*$ and $\epsilon_i$ are random noise variables from another unknown distribution, find an approximation to the unknown function $f$, and estimate the error in terms of $M$.
The approximation is accomplished typically by neural/rbf/kernel networks, where the number of nonlinear units is determined on the basis of an estimate on the degree of approximation, but the actual approximation is computed using an optimization algorithm.
Although this paradigm is obviously extremely successful, we point out a number of perceived theoretical shortcomings of this paradigm, the perception reinforced by some recent observations about deep learning.
We describe our efforts to overcome these shortcomings and develop a more direct and elegant approach based on the principles of approximation theory and harmonic analysis.\\
%We demonstrate a duality between certain problems of function approximation and probability estimation in machine learning and problems of superresolution in signal separation. In particular, we will explain how the same tools from harmonic analysis can be used for both purposes, leading to a unified theory. We will demonstrate our ideas with some numerical examples. 
11/12/20
Tianyu Zhang  Montana State University
Multiscale FluxBased Modeling of Microbial Communities
AbstractFor most microbial communities, the environment and the microbial community structure and function are intimately connected. Most environments outside of the lab are physically and chemically heterogeneous, shaping and complicating the metabolisms of their resident microbial communities: spatial variations introduce physics such as diffusive and advective transport of nutrients and byproducts for example. Conversely, microbial metabolic activity can strongly affect the environment in which the community must function. Hence it is important to link metabolism at the cellular level to physics and chemistry at the community level.
\\
\\
To introduce metabolism to communityscale population dynamics, many modeling methods rely on large numbers of reaction kinetics parameters that are unmeasured, also making detailed metabolic information mostly unusable. The bioengineering community has addressed this difficulty by moving to kineticsfree formulations at the cellular level, termed flux balance analysis. To combine and connect the two scales, we propose to replace classical kinetics functions in community scale models with celllevel metabolic models, and predict metabolism and how it is influenced by and influences the environment. Further, our methodology permits assimilation of many types of measurement data. We will discuss the background and motivation, model development, and some numerical simulation results. 
11/12/20
James Upton  UCSD
Newton Slopes in $\mathbb{Z}_p$Towers of Curves
AbstractLet $X/\mathbb{F}_q$ be a smooth affine curve over a finite
field of characteristic $p > 2$. In this talk we discuss the $p$adic
variation of zeta functions $Z(X_n,s)$ in a procovering
$X_\infty:\cdots \to X_1 \to X_0 = X$ with total Galois group
$\mathbb{Z}_p$. For certain ``monodromy stable'' coverings over an
ordinary curve $X$, we prove that the $q$adic Newton slopes of
$Z(X_n,s)/Z(X,s)$ approach a uniform distribution in the interval
$[0,1]$, confirming a conjecture of Daqing Wan. We also prove a
``Riemann hypothesis'' for a family of Galois representations associated
to $X_\infty/X$, analogous to the Riemann hypothesis for
equicharacteristic $L$series as posed by David Goss. This is joint
work with Joe KramerMiller. 
11/12/20
Eva Loeser  Graduate student  UC San Diego
On a stochastic epidemic model of COVID19 disease

11/13/20
Calum Spicer  King's College London
Applications of birational geometry to holomorphic foliations
AbstractA foliation on an algebraic variety is a partition of the variety into ``parallel'' disjoint immersed complex submanifolds.
\\
\\
This turns out to be a very useful notion and holomorphic foliations
have played a central role in several recent developments in the study
of the geometry of projective varieties.
\\
\\
This is the first part of a two talks series (with Roberto Svaldi)
in which we will explain some recent work building towards the
birational classification of holomorphic foliations on projective
varieties in the spirit of the Minimal Model program. We will explain some applications of these ideas
to the study of the dynamics and geometry of foliations and foliation
singularities.
\\
\\
Features joint work with P. Cascini and R. Svaldi 
11/13/20
Ioana Dumitriu  UC San Diego
How ``Random'' are Random Matrices?
AbstractRandom matrices are an incredibly useful tool for modelling noise and understanding the behavior of large, chaotic systems. They can help us understand the ``average'' complexity of a linear algebra algorithm, model ``on the cheap'' the behavior of large data sets, serve as benchmarks for clustering algorithms, and so much more. And they can do all of this for a very good reason: random matrices are, well, not so random after all. Their spectral asymptotics are highly structured, and highly concentrated, and that is the source of their usefulness.
\\
\\
This talk will be accessible to an audience familiar with basic linear algebra and probability. 
11/17/20
HansJoachim Hein  University of Muenster
Moduli of Einstein Manifolds, Part 1
AbstractI will briefly review the convergence theory for noncollapsed Einstein 4manifolds developed by Anderson, BandoKasueNakajima and Tian around 1990. This was the main precursor for the more recent higherdimensional theory of CheegerColdingNaber. However, several difficult problems have remained open even in dimension 4. I will focus on the structure of the possible bubbles and bubble trees in the 4dimensional theory. In particular, I will explain Kronheimer's classical work on gravitational instantons as well as a recent result of BiquardH concerning the renormalized volume of a 4dimensional Ricciflat ALE space.

11/17/20
Brandon Seward  UC San Diego
An introduction to the finvariant
AbstractThe finvariant was introduced by Lewis Bowen in 2008 and is a realvalued isomorphism invariant that is defined for a large class of probability measurepreserving actions of finiterank free groups. Most notably, the finvariant provided the first classification up to isomorphism of Bernoulli shifts over finiterank free groups. It is also quite useful for the study of finite state Markov chains with values indexed by a finiterank free group. The finvariant is conceptually similar to entropy, and it has a formal connection to sofic entropy. In this expository talk, I will introduce the finvariant and discuss some of its basic properties.

11/17/20
David Jekel  UC San Diego
Noncommutative smooth functions and noncommutative probability distributions
AbstractIn free probability theory, there is no direct analog of density for probability distributions, but there is something like a notion of ``logdensity'' in the study of free Gibbs laws and free score functions. Noncommutative notions of smoothness are important for studying both these logdensities and the functions used for changes of variables (or transport of measure) in free probability. In the singlevariable setting, we have a good understanding of the smoothness properties of a function $f: \mathbb{R} \to \mathbb{R}$ applied to selfadjoint operators thanks to the work of Peller, Aleksandrov, and Nazarov; see the recent paper of Evangelos Nikitopoulos. However, in the multivariable setting, much of the literature has used classes of functions that are either too restrictive (such as analytic functions) or very technical to define (such as Dabrowski, Guionnet, and Shlyakhtenko's smooth functions where Haagerup tensor norms were used for the derivatives). We will discuss a notion of tracial noncommutative smooth functions that is modeled on trace polynomials. These smooth functions have many desirable properties, such as a chain rule, good behavior under conditional expectations, and a natural way to incorporate the onevariable functional calculus. We will sketch current work about the smooth transport of measure for free Gibbs laws as well as future directions in relating these smooth functions to free SDE.

11/17/20
Hana Jia Kong  University of Chicago
The motivic Chow tstructure and the computational applications
AbstractIn this talk, I will introduce the Chow tstructure on the motivic stable homotopy category over a general base field. This tstructure is a generalization of the ChowNovikov tstructure defined on a pcompleted cellular motivic module category in work of GheorgheWangXu.
\\
\\
Moreover, we identify the heart of this tstructure with a purely algebraic category, and expand the results of GheorgheWangXu to integral results on the entire motivic category over general base fields. This leads to computational applications on determining the Adams spectral sequences in the classical stable homotopy category, as well as that in the motivic stable homotopy category over C, R, and $F_p$. This is joint work with Tom Bachmann, Guozhen Wang and Zhouli Xu. 
11/17/20
Caroline Moosmueller  UC San Diego
Efficient Classification of Distributions via Optimal Transport Embeddings
AbstractDetecting differences and building classifiers between distributions, given only finite samples, is an important task in data science applications. Optimal transport (OT) has evolved as the most natural concept to measure the distance between distributions, and has gained significant importance in machine learning in recent years. There are some drawbacks to OT: Computing OT is usually slow, and it often fails to exploit reduced complexity in case the family of distributions is generated by simple group actions.
\\
\\
In this talk, we discuss how optimal transport embeddings can be used to deal with these issues, both on a theoretical and a computational level. In particular, we'll show how to embed the space of distributions into an $L^2$space via OT, and how linear techniques can be used to classify families of distributions generated by simple group actions in any dimension. We'll also show conditions under which the $L^2$ distance in the embedding space between two distributions in arbitrary dimension is nearly isometric to Wasserstein2 distance between those distributions. This is of significant computational benefit, as one must only solve N optimal transport problems to define the $N^2$ pairwise distances between N distributions. We'll present some applications in image classification and supervised learning.
\\
\\
This is joint work with Alex Cloninger. 
11/17/20
Jack Garzella  Ph.D. student  UC San Diego
Anatomy of a Buzzword: Condensed Mathematics
AbstractOnce upon a time, in the land of Mathlandia, the people in the city of Algebraic Geometria had a brilliant vision: what if all math was algebra, every theorem was category theory, and every proof used cohomology? Armed with their categories and rings, they declared war on the other cities of Mathlandia. Number Theoryberg was the first to fall, succumbing to the glory of sheaves and schemes. Next was Representation Theory City, which fell soon after. But alas, despite their efforts the algebraists had not made any progress since... until now! Scholze and Clausen have started the Condensed Mathematics program, which vows to take over Functional Analysisberg and Differential Geometria. We will deal with the very first matter in this program, the story of locally compact abelian groups.

11/17/20
Samir Canning  Graduate Student  UC San Diego
Stability in the Chow rings of Hurwitz spaces
AbstractHurwitz spaces parametrize finite covers of the projective line by curves of genus g. We show that the Chow rings of Hurwitz spaces of low degree covers exhibit interesting stabilization properties as g goes to infinity. We also consider applications to the moduli space of curves. This is joint work with Hannah Larson.

11/17/20
Jack Garzella  Ph.D. student  UC San Diego
Condensed Mathematics: A gateway to Topological Algebra
AbstractOften in Number Theory and Geometry, it is necessary to consider topological algebraic objects, like locally compact abelian groups, continuous group cohomology, and adic spaces. However, many of these topological structures don't have good categorical properties, at least when compared to their purely algebraic counterparts. We will explore Condensed Mathematics, a program of Clausen and Scholze to systematically add topological structure to algebra with nice categorical properties.

11/18/20
Natasa Sesum  University of Rutgers
Ancient solutions in geometric flows
AbstractWe will discuss classification of ancient solutions to geometric flows. We will focus especially on the Ricci flow.

11/18/20
Wenrui Hao  Pennsylvania State University
Nonlinear scientific computing in machine learning
AbstractMachine learning achieves tremendous success in image classification, speech recognition, and medical diagnosis. In the meantime, machine learning also brings some interesting mathematical questions: How to solve the resulting optimization more efficiently and robustly? How to apply the machine learning technique to tackle challenging problems in mathematics. In this talk, I will view the neural networks model from a nonlinear scientific computing point of view and present some recent work on developing a homotopy training algorithm to train neural networks ``layerbylayer'' and ``nodebynode.'' I will also review the neural network from numerical algebraic geometry point view and provide a novel initialization for ReLU networks.

11/19/20
Tristan Ozuch  Massachusetts Institute of Technology
Moduli of Einstein Manifolds, Part 2
AbstractThe classical convergence theory and singularity formation for noncollapsed Einstein 4manifolds leaves some important issues open. Which singular Einstein metrics are actually limits of smooth ones? Can we describe the moduli space of Einstein metrics close to its boundary? We partially answer these by proving that any Einstein manifold sufficiently GHclose to an Einstein orbifold is the result of a gluingperturbation procedure. This completely describes the singularity formation of compact Einstein metrics and moreover lets us show that the desingularization of Einstein metrics by Kronheimer's gravitational instantons is obstructed. The recent results of BiquardHein let us extend a weaker obstruction for general Ricciflat ALE spaces.

11/19/20
Yonina Eldar  Weizmann Institute of Science
Deep AnalogtoDigital Compression: Tasks, Structures, and Models
AbstractThe famous ShannonNyquist theorem has become a landmark in the development of digital signal and image processing. However, in many modern applications, the signal bandwidths have increased tremendously, while the acquisition capabilities have not scaled sufficiently fast. Consequently, conversion to digital has become a serious bottleneck. Furthermore, the resulting digital data requires storage, communication and processing at very high rates which is computationally expensive and requires large amounts of power. In the context of medical imaging sampling at high rates often translates to high radiation dosages, increased scanning times, bulky medical devices, and limited resolution.
In this talk, we present a framework for sampling and processing a large class of wideband analog signals at rates far below Nyquist in space, time and frequency, which allows to dramatically reduce the number of antennas, sampling rates and band occupancy. Our framework relies on exploiting signal structure and the processing task. We consider applications of these concepts to a variety of problems in communications, radar and ultrasound imaging and show several demos of realtime subNyquist prototypes including a wireless ultrasound probe, subNyquist MIMO radar, superresolution in microscopy and ultrasound, cognitive radio, and joint radar and communication systems. We then discuss how the ideas of exploiting the task, structure and model can be used to develop interpretable modelbased deep learning methods that can adapt to existing structure and are trained from small amounts of data. These networks achieve a more favorable tradeoff between increase in parameters and data and improvement in performance, while remaining interpretable. 
11/19/20
Benjamin Landon  Massachusetts Institute of Technology
Fluctuations of the 2spin spherical Sherrington Kirkpatrick model
AbstractThe 2spin spherical Sherrington Kirkpatrick (SSK) model was introduced by Kosterlitz, Thouless and Jones as a simplification of the usual SherringtonKirkpatrick model with Ising spins. The SSK model admits tractable formulas for many of its observables, allowing for a detailed analysis of its fluctuations using techniques from random matrix theory. We discuss recent results on the fluctuations of the SSK model with a magnetic field as well as at critical temperature. Based on joint work with P. Sosoe.

11/19/20
Yiren Wang  UCSD Graduate student  UC San Diego
On A Tale of Two Time Scales: Determining Integrated Volatility with Noisy High Frequency Data

11/19/20
Yifeng Liu  Yale University
BeilinsonBloch conjecture and arithmetic inner product formula
AbstractIn this talk, we study the Chow group of the motive associated
to a tempered global Lpacket $\pi$ of unitary groups of even rank with
respect to a CM extension, whose global root number is 1. We show that,
under some restrictions on the ramification of $\pi$, if the central
derivative $L'(1/2,\pi)$ is nonvanishing, then the $\pi$nearly isotypic
localization of the Chow group of a certain unitary Shimura variety over
its reflex field does not vanish. This proves part of the
BeilinsonBloch conjecture for Chow groups and Lfunctions. Moreover,
assuming the modularity of Kudla's generating functions of special
cycles, we explicitly construct elements in a certain $\pi$nearly
isotypic subspace of the Chow group by arithmetic theta lifting, and
compute their heights in terms of the central derivative $L'(1/2,\pi)$ and
local doubling zeta integrals. This is a joint work with Chao Li. 
11/20/20
Alex Perry  University of Michigan
Kuznetsov's Fano threefold conjecture via K3 categories
AbstractKuznetsov conjectured the existence of a correspondence
between different types of Fano threefolds which identifies a
distinguished semiorthogonal component of the derived category on each
side. I will explain joint work with Arend Bayer which resolves one of
the outstanding cases of this conjecture. This relies on the study of
the Hodge theory of certain K3 categories associated to the
semiorthogonal components. 
11/20/20
Brandon Alberts  UC San Diego
Questions and Tools in Arithmetic Statistics
AbstractArithmetic statistics is a subfield of number theory which studies arithmetic objects in the context of statistical properties like distribution, expected value, etc. Work in this field involves both an understanding of the underlying arithmetic structure and the application of strong analytic tools. We will first explore a few types of questions that are studied in this field today, then we discuss a major analytic tool used by researchers called a Tauberian theorem.

11/23/20
Woonam Lim  Ph.D. Student  UC San Diego
Virtual invariants of Quot schemes of surfaces
AbstractQuot schemes are fundamental objects in moduli theory of algebraic geometry. We show that the generating series of certain virtual invariants of Quot schemes of surfaces are expressed by the universal series and SeibergWitten invariants.
We apply this to several cases including homological and Ktheoretic descendent series, reduced invariants of K3 surfaces, virtual Segre and Verlinde series. In particular, descendent series are shown to be rational functions whenever the curve class is of SeibergWitten length N. 
11/23/20
Jiaqi Liu  UC San Diego
On two variant models of branching Brownian motion
AbstractBranching Brownian motion (BBM) is a random particle system where each particle diffuses as Brownian motion and branches into a random number of particles at a constant rate. In this talk, we will focus on two variant models of BBM, BBM with absorption and BBM with inhomogeneous breeding potential. In the first model, we derive the long run expected number of particles conditioned on survival in the near critical case. In the second model, we study the entire configuration of particles.

11/24/20
Christopher Shriver  Graduate Student  UCLA
Sofic entropy and the (relative) finvariant
AbstractIn this talk I will explain an interpretation (due to Lewis Bowen) of the finvariant as a variant of sofic entropy: it is the exponential growth rate of the expected number of ``good models'' for an action over a random sofic approximation. I will then introduce the relative finvariant and provide a similar interpretation of this quantity. This provides a formula for the growth rate of the expected number of good models over a type of stochastic block model.

11/24/20
Kyle Hayden  Columbia University
Surfaces in 4manifolds behaving badly
AbstractCorks are special contractible 4manifolds that play a key role in the study of exotic smooth 4manifolds. In this talk, I will describe applications of corks to the study of surfaces in 4manifolds. I'll begin with some badly behaved 2spheres in 4space, based on joint work with Piccirillo. Then I'll use a twist on these ideas to construct smoothly (indeed, holomorphically) embedded disks in the 4ball that are isotopic through ambient homeomorphisms but not through diffeomorphisms. There will be lots of cartoons.

11/24/20
Alcides Buss  Universidade Federal de Santa Catarina
Amenable actions of locally compact groups on C*algebras
AbstractI will talk about joint work with Siegfried Echterhoff and Rufus Willett in which we introduce and study amenable actions of locally compact groups on C*algebras, building on previous similar notions by AnantharamanDelaroche for actions of discrete groups. Among the new results we prove an extension of Matsumura's theorem giving a characterisation of the weak containment property (coincidence of full and reduced crossed products) for actions on commutative C*algebras and give examples showing that this result does not extend to general noncommutative C*algebras.

11/25/20
Ming Zhang  University of British Columbia
The Verlinde/Grassmannian Correspondence
AbstractIn the 90s', Witten gave a physical derivation of an isomorphism
between the Verlinde algebra of GL(n) of level l and the quantum
cohomology ring of the Grassmannian Gr(n,n+l). In the joint work arXiv:1811.01377 with Yongbin Ruan, we proposed a Ktheoretic generalization of Witten's work by relating the $GL_n$ Verlinde numbers to
the level l quantum Kinvariants of the Grassmannian Gr(n,n+l), and refer
to it as the Verlinde/Grassmannian correspondence. The correspondence was formulated precisely in the aforementioned paper, and we proved the rank 2
case (n=2) there.
\\
\\
In this talk, I will first explain the background of this correspondence
and its interpretation in physics. Then I will discuss the main idea of
the proof for arbitrary rank. A new technical ingredient is the virtual
nonabelian localization formula developed by Daniel HalpernLeistner. 
11/25/20
Xindong Tang  UC San Diego
Nash Equilibrium Problems

11/30/20
Eric Chen  UC Santa Barbara
Ricci flow and integral pinching results, Part 1
AbstractCurvature pinching theorems restrict the topology of smooth manifolds satisfying suitable curvature assumptions. In some situations the Ricci flow can transform initial integral curvature bounds into later pointwise bounds and thereby extend pointwise to integral pinching results. I will first review $L^p$ integral pinching theorems of Gursky, HebeyVaugon, DaiWeiYe, and others, which all rely on supercritical powers p greater than n/2 or on ChernGaussBonnet in dimension four. Then I will discuss how stronger control of the Sobolev inequality obtained using Perelman's mufunctional can be used to address the critical case $p=n/2$, leading both to a generalization of previous results as well as to a separate pinching result in the asymptotically flat setting. Some of the work presented is joint with Guofang Wei and Rugang Ye.
Dec

12/01/20
Brian Tran  UC San Diego
Discrete Multisymplectic and Variational Principles of the FEM in Lagrangian Field Theory
AbstractThe variational principle of Lagrangian PDE is encoded geometrically in a multisymplectic structure. This multisymplectic structure gives rise to a covariant formulation of Noether's theorem and conservation of multisymplecticity, a spacetime generalization of the symplecticity of Lagrangian mechanics. Multisymplecticity has many important physical implications, such as reciprocity in electromagnetism and conservation of wave action, a key ingredient in the stability analysis of wave propagation problems. Furthermore, upon introducing a foliation of spacetime, multisymplecticity can be reformulated as symplecticity on an infinitedimensional phase space. Consequently, understanding how these multisymplectic structures are affected under discretization is an important aspect to the numerical integration of this class of PDE.
\\
\\
In this talk, after discussing the multisymplectic formulation of Lagrangian PDE, we discuss how the multisymplectic structure is affected under discretization of the variational principle via the finite element method. We show how choices of discretization which preserve functional and geometric relationships of the underlying function spaces naturally give rise to discrete analogs of the continuum multisymplectic structures. In particular, we discuss how cochain projections and groupequivariant projections from the continuum function spaces to the finite element function spaces induce discrete analogs of the variational, multisymplectic, and Noethertheoretic structures.
\\
\\
This is joint work with Melvin Leok. 
12/01/20
Calista Bernard  Stanford University
Twisted homology operations
AbstractIn the 70s, Fred Cohen and Peter May gave a description of the mod $p$ homology of a free $E_n$algebra in terms of certain homology operations, known as DyerLashof operations, and the Browder bracket. These operations capture the failure of the $E_n$ multiplication to be strictly commutative, and they prove useful for computations. After reviewing the main ideas from May and Cohen's work, I will discuss a framework to generalize these operations to homology with certain twisted coefficient systems and give a complete classification of twisted operations for $E_{\infty}$algebras. I will also explain computational results that show the existence of new operations for $E_2$algebras.

12/01/20
Finley McGlade  Ph.D. Student  UC San Diego
Wild $p$structures
AbstractOf all the polynomials over $\mathbb{Q}_p$, those of degree divisible by $p$ are most complicated. Similarly, the $p$local subgroup structure of $\operatorname{GL}_n(\mathbb{C})$ is more complicated if $p$ divides $n$. The talk will be an example based introduction to these ideas, which fall under the ``wild aspect'' of the local Langlands correspondence. Along the way we will define $\mathbb{Q}_p$, some reductive groups of exceptional type, and exhibit wild $p$structures in both of these examples.

12/01/20
Zeyu Liu  Ph.D. student  UC San Diego
Shtukas
AbstractWe give a brief introduction to moduli of shtukas, with an eye towards its application in the Langlands correspondence for global function fields.

12/02/20
Gabor Szekelyhidi  Notre Dame
Uniqueness of certain cylindrical tangent cones
AbstractLeon Simon showed that if an area minimizing hypersurface admits a cylindrical tangent cone of the form C x R, then this tangent cone is unique for a large class of minimal cones C. One of the hypotheses in this result is that C x R is integrable and this excludes the case when C is the Simons cone over $S^3 x S^3$. The main result in this talk is that the uniqueness of the tangent cone holds in this case too. The new difficulty in this nonintegrable situation is to develop a version of the LojasiewiczSimon inequality that can be used in the setting of tangent cones with nonisolated singularities.

12/02/20
Svetlana Makarova  University of Pennsylvania
Moduli spaces of stable sheaves over quasipolarized K3 surfaces, and Strange Duality
AbstractIn this talk, I will talk about my construction of relative moduli
spaces of stable sheaves over the stack of quasipolarized surfaces.
For this, I first retrace some of the classical results in the theory
of moduli spaces of sheaves on surfaces to make them work over the
nonample locus. Then I will recall the theory of good moduli spaces,
whose study was initiated by Alper and concerns an intrinsic (stacky)
reformulation of the notion of good quotients from GIT. Finally, I use
a criterion by AlperHeinlothHalpernLeistner to prove existence of
the good moduli space. The application of the construction that I have
in mind is extending the Strange Duality results to degree two K3
surfaces  this part is still work in progress. 
12/02/20
Guanghui Lan  Georgia Institute of Technology
Stochastic Variational Inequality Methods for Policy Evaluation in Reinforcement Learning
AbstractIn this talk, we discuss a few simple and optimal methods for solving stochastic variational inequalities (VI). A prominent application of our algorithmic developments is the stochastic policy evaluation problem in reinforcement learning. Prior investigations in the literature focused on temporal difference (TD) learning by employing nonsmooth finite time analysis motivated by stochastic subgradient descent leading to certain limitations. These encompass the requirement of analyzing a modified TD algorithm that involves projection to an apriori defined Euclidean ball, achieving a nonoptimal convergence rate and no clear way of deriving the beneficial effects of parallel implementation. Our approach remedies these shortcomings in the broader context of stochastic VIs and in particular when it comes to stochastic policy evaluation. We developed a variety of simple TD learning type algorithms motivated by its original version that maintain its simplicity, while offering distinct advantages from a nonasymptotic analysis point of view. We first provide an improved analysis of the standard TD algorithm that can benefit from parallel implementation. Then we present versions of a conditional TD algorithm (CTD), that involves periodic updates of the stochastic iterates, which reduce the bias and therefore exhibit improved iteration complexity. This brings us to the fast TD (FTD) algorithm which combines elements of CTD and our newly developed stochastic operator extrapolation method. For a novel index resetting stepsize policy FTD exhibits the best known convergence rate. We also devised a robust version of the algorithm that is particularly suitable for discounting factors close to 1.

12/03/20
Maxim Mornev  ETHZ
Local monodromy of Drinfeld modules
AbstractThe theory of Drinfeld modules is remarkably similar to the
theory of abelian varieties, but their local monodromy behaves
differently and is poorly understood. In this talk I will present a
research program which aims to fully describe this monodromy. The
cornerstone of this program is a ``zadic'' variant of Grothendieck's
ladic monodromy theorem.
\\
\\
The talk is aimed at a general audience of number theorists and
arithmetic geometers. No special knowledge of monodromy theory or
Drinfeld modules is assumed. 
12/03/20
Amber Puha  CSU San Marcos and UC San Diego
Scaling Limits for Shortest Remaining Processing Time Queues
AbstractIn an SRPT queue, the job with the shortest remaining processing time is served first, with preemption. The SRPT scheduling rule is of interest due to its optimality properties; it minimizes queue length (number of jobs in system). However, even with Markovian distributional assumptions on the processing times, an exact analysis is not possible. Hence, approximations in the form of a fluid (functional law of large numbers) limit or a diffusion (functional central limit theorem) limit can provide insights into system performance. It was shown by Gromoll, Kruk and Puha (2011) that, if the processing time distribution has unbounded support, then, under standard heavy traffic conditions, the diffusion limit of the queue length process is identically equal to zero. This exhibits the queue length minimization property of SRPT in sharpest relief. It also demonstrates that the SRPT queue length process is orders of magnitude smaller than the workload process in the diffusion limit. (The workload process tracks the time it will take the server to process the work associated with each job in system.) In this talk, we report on progress in characterizing this order of magnitude difference. We find that distribution dependent scaling must be used to obtain a nontrivial limit for the queue length and the associated measure valued state descriptor. The scaling captures the order of magnitude difference, and the nature of the limit is dependent on the tail decay of the processing time distribution.
\\
\\
This work is joint with Sayan Banerjee (UNC) and Amarjit Budhiraja (UNC). 
12/03/20
Shuang Liu  Los Alamos National Lab
Numerical Simulations of ReactionDiffusion Equations with Free Boundaries for Spreading Behavior of Invasive Species
AbstractThe spreading behavior of new or invasive species is a central topic in ecology. The modeling of free boundary problems is widely studied to better understand the nature of spreading behaviors of new species. From mathematical modeling point of view, it is a challenge to perform numerical simulations of the free boundary problems, due to the moving boundaries, the topological changes, and the stiffness of the system.
\\
\\
Our work is concerned with numerical simulations of the longterm dynamical behavior of invasive species modeled by reactiondiffusion equations with free boundaries. We develop a fronttracking method to track the locations of the moving boundary explicitly in one dimension and higher dimensions with spherical symmetry. In two dimensional cases, we employ the level set method to handle topological bifurcations. For single invasive species, we numerically analyze the spreadingvanishing dichotomy in the diffusive logistic model. Various numerical experiments are presented in the twodimensional spaces to show that the population range tend to be more and more spherical as time increases no matter what geometrical shape the initial population range has if the invasive species spreads successfully. For two invasive species in a weakstrong competition case, we examine how the longtime dynamics of the model changes as the initial functions are varies. Specifically, we simulate the ``chaseandrun coexistence'' phenomenon by choosing the initial function properly. The spreading behavior under timeperiodic perturbation of the environment is also considered in our work. 
12/03/20
Felipe Campos  Graduate Student  UC San Diego
On Separation of timescales and model reduction for stochastic reaction networks

12/04/20
Rohini Ramadas  Brown University
TBA

12/04/20
David Meyer  UC San Diego
Determinants and Geometry
AbstractMost of us learn about determinants in an algebra course, but they have important geometrical meanings. I'll explain a few instances of these in this talk.

12/07/20
Eric Chen  UC Santa Barbara
Ricci flow and integral pinching results, Part 2
AbstractCurvature pinching theorems restrict the topology of smooth manifolds satisfying suitable curvature assumptions. In some situations the Ricci flow can transform initial integral curvature bounds into later pointwise bounds and thereby extend pointwise to integral pinching results. I will first review $ L^p$ integral pinching theorems of Gursky, HebeyVaugon, DaiWeiYe, and others, which all rely on supercritical powers p greater than n/2 or on ChernGaussBonnet in dimension four. Then I will discuss how stronger control of the Sobolev inequality obtained using Perelman's mufunctional can be used to address the critical case p=n/2, leading both to a generalization of previous results as well as to a separate pinching result in the asymptotically flat setting. Some of the work presented is joint with Guofang Wei and Rugang Ye.

12/08/20
Yotam Smilansky  Rutgers University
Multiscale substitution tilings
AbstractMultiscale substitution tilings are a new family of tilings of Euclidean space that are generated by multiscale substitution rules. Unlike the standard setup of substitution tilings, which is a basic object of study within the aperiodic order community and includes examples such as the Penrose and the pinwheel tilings, multiple distinct scaling constants are allowed, and the defining process of inflation and subdivision is a continuous one. Under a certain irrationality assumption on the scaling constants, this construction gives rise to a new class of tilings, tiling spaces and tiling dynamical systems, which are intrinsically different from those that arise in the standard setup. In the talk I will describe these new objects and discuss various structural, geometrical, statistical and dynamical results. Based on joint work with Yaar Solomon.

12/08/20
Martin Licht  Postdoctoral Fellow  UC San Diego and ICERM
De Rham Regularizers and Compatible Discretizations

12/08/20
Morgan Opie  Harvard University
Vector bundles on projective spaces
AbstractGiven the ubiquity of vector bundles, it is perhaps surprising that there are so many open questions about them  even on projective spaces. In this talk, I will outline some results about vector bundles on projective spaces, including my ongoing work on complex rank 3 topological vector bundles on $CP^5$. In particular, I will describe a classification of such bundles which involves a connection to topological modular forms; a concrete, rankpreserving additive structure which allows for the construction of new rank 3 bundles on $CP^5$ from ``simple'' ones; and future directions related to this project.

12/08/20
Vern Paulsen  University of Waterloo
Synchronous Games and the Connes Embedding Problem
AbstractIn MIP*$=$RE the authors settle the CEP in the negative by showing that two computational complexity classes are equal. But the heart of their argument is the construction of a synchronous game with certain properties. In this talk we will describe the theory of synchronous games, and show how our construction of the algebra of a game leads more directly to the CEP. This approach to the CEP still depends on their construction of a synchronous game with particular properties, but stays within the context of operator algebras and games.

12/08/20
Gregory Patchell  Ph.D. student  UC San Diego
Zoomelo Forkel and Thoughts about Choice
AbstractAs an independent mathematician, you want to determine which of your axioms are internally consistent. Since you only have a finite amount of time, you may choose to come to this talk! I will be giving a countably long survey of results related to the Axiom of Choice. Well, hopefully you find it a maximally useful way to spend your Tuesday afternoon. (Or maybe you won't not find it useful, depending on what you decide.)

12/08/20
Shubham Sinha  Ph.D. student  UC San Diego
Counting maximal subbundles over smooth projective curves
AbstractLet $V$ be a vector bundle over a smooth projective curve of rank $n$. We are interested in understanding the set of subbundles of rank $r$ with maximal degree. When we impose some numerical conditions, this set happens to be finite. In this talk, we will go over chronological developments in finding the number of maximal subbundles. Surprisingly, these numbers are related to the GromovWitten invariants of Grassmannian which are computed by the VafaIntriligator formula.

12/09/20
Albert Chau  UBC
The Kaehler Ricci flow with log canonical singularities
AbstractIn this talk I will discuss certain singular (and degenerate) solutions to the Kaehler Ricci flow (KRF) on smooth compact complex manifolds. Algebraically this will correspond to solving the Kahler Ricci flow on a projective varieties with so called log canonical singularities. Analytically this will correspond to solving a complex parabolic Monge Ampere equation on a smooth manifild, with degeneracies and singularities in the equation and possibly the initial condition. Settings for this study include the analytic minimal model program via KRF, pluripotential theory and KRF, the conical KRK, and the flow of complete unbounded curvature metrics. Our results will be discussed within each of these contexts.

12/10/20
Anna Little  University of Utah
Clustering Highdimensional Data with Path Metrics: A Balance of Density and Geometry
AbstractThis talk discusses multiple methods for clustering highdimensional data, and explores the delicate balance between utilizing data density and data geometry. I will first present pathbased spectral clustering, a novel approach which combines a densitybased metric with graphbased clustering. This densitybased path metric allows for fast algorithms and strong theoretical guarantees when clusters concentrate around lowdimensional sets. However, the method suffers from a loss of geometric information, information which is preserved by simple linear dimension reduction methods such as classic multidimensional scaling (CMDS). The second part of the talk will explore when CMDS followed by a simple clustering algorithm can exactly recover all cluster labels with high probability. However, scaling conditions become increasingly restrictive as the ambient dimension increases, and the method will fail for irregularly shaped clusters. Finally, I will discuss how a more general family of path metrics, combined with MDS, give lowdimensional embeddings which respect both data density and data geometry. This new method exhibits promising performance on single cell RNA sequence data and can be computed efficiently by restriction to a sparse graph.

12/10/20
Bao Le Hung  Northwestern
Moduli of FontaineLaffaille modules and mod p localglobal compatibility.
AbstractThe mod p cohomology of locally symmetric spaces for definite
unitary groups at infinite level is expected to realize the mod p local
Langlands correspondence for $GL_n$. In particular, one expects the
(component at p) of the associated Galois representation to be
determined by cohomology as a smooth representation. I will describe how
one can establish this expectation in many cases when the local Galois
representation is FontaineLaffaille.
\\
\\
This is joint work with D. Le, S. Morra, C. Park and Z. Qian. 
12/11/20
Mareike Dressler  UC San Diego
A New Approach to Nonnegativity and Polynomial Optimization
AbstractDeciding nonnegativity of real polynomials is a key
question in real algebraic geometry with crucial importance in
polynomial optimization. It is wellknown that in general this problem
is NPhard, therefore one is interested in finding sufficient conditions
(certificates) for nonnegativity, which are easier to check. Since the
19th century, sums of squares (SOS) are a standard certificate for
nonnegativity, which can be detected by using semidefinite programming
(SDP). This SOS/SDP approach, however, has some issues, especially in
practice if the problem has many variables or high degree.
In this talk I will introduce sums of nonnegative circuit polynomials
(SONC). SONC polynomials are certain sparse polynomials having a special
structure in terms of their Newton polytopes and supports and serve as a
nonnegativity certificate for real polynomials, which is independent of
sums of squares. I will present some structural results of SONC
polynomials and I will provide an overview about polynomial optimization
via SONC polynomials. 
12/11/20
He Jiang  Ph.D. student  UC San Diego
Clustering with Center Separation Constraints and Consistency of Metric and Nonmetric KMedoids

12/11/20
Radoslav Fulek  UC San Diego
Polygons with Prescribed Angles in 2D and 3D
AbstractWe consider the construction of a polygon $P$ with $n$ vertices whose turning angles at the vertices are given by a sequence $A=(\alpha_0,\ldots, \alpha_{n1})$, $\alpha_i\in (\pi,\pi)$,
for $i\in\{0,\ldots, n1\}$.
\\
\\
The problem of realizing $A$ by a polygon can be seen as that of constructing a straightline drawing of a graph with prescribed angles at vertices, and hence, it is a special case of the well studied problem of constructing an \emph{angle graph}.
\\
\\
In 2D, we characterize sequences $A$ for which every generic polygon $P\subset \mathbb{R}^2$ realizing $A$ has at least $c$ crossings, for every $c\in \mathbb{N}$, and describe an efficient algorithm that constructs, for a given sequence $A$, a generic polygon $P\subset \mathbb{R}^2$ that realizes $A$ with the minimum number of crossings.
\\
\\
In 3D, we describe an efficient algorithm that tests whether a given sequence $A$ can be realized by a (not necessarily generic) polygon $P\subset \mathbb{R}^3$, and for every realizable sequence the algorithm finds a realization. 
12/16/20
Zirui Zhang  Ph.D. student  UC San Diego
Numerical Methods in the Variational Implicit Solvent Model
AbstractThe Variational Implicit Solvent Model (VISM) is a theoretical and computational framework for studying bimolecular systems with complex topology. Central in VISM is an effective freeenergy of all possible interfaces separating solutes (e.g., proteins) from solvent (e.g., water). Such a functional can be minimized numerically by a levelset method to determine the stable equilibrium conformations and solvation free energies. In this talk we introduce two numerical methods related to VISM. The first one is the Compact Coupling Interface Method (CCIM), which is a finite difference method for elliptic interface problems with accurate gradient approximation. The second one is the Binary Level SetVISM, which is coupled with the Monte Carlo method to simulate the binding of biomolecules.

12/16/20
Rommie Amaro, Suckjoon Jun, Bo Li  UC San Diego
201920 Lattimer Faculty Research Fellows \\ Public Lecture
AbstractPlease join the Division of Physical Sciences for a virtual public lecture presented by the 201920 Lattimer Fellows: Rommie Amaro (Chemistry and Biochemistry), Suckjoon Jun (Physics), and Bo Li (Mathematics).
\\
\\
The George W. and Carol A. Lattimer Faculty Research Fellowship seeks to stimulate thought about avenues of productive scientific exploration that may result from unique fusions and collaborations and promotes crosscollateral work between scientists and nonscientists at UC San Diego.
\\
\\
Learn more about this opportunity and hear from past fellows about their research made possible through this fellowship. 
12/17/20
David P. Woodruff  Carnegie Mellon University
A Very Sketchy Talk
AbstractWe give an overview of dimensionality reduction methods, or sketching, for a number of problems in optimization, first surveying work using these methods for classical problems, which gives near optimal algorithms for regression, low rank approximation, and natural variants. We then survey recent work applying sketching to column subset selection, kernel methods, sublinear algorithms for structured matrices, tensors, trace estimation, and so on. The focus in the talk will be on fast algorithms.