Georgia Institute of Technology College of Sciences

Let X be an elliptic surface with a section defined over a number field. Specialization theorems by Néron and Silverman imply that the rank of the Mordell-Weil group of special fibers is at least equal to the MW rank of the generic fiber. We say that the rank jumps when the former is strictly large than the latter. In this talk, I will discuss rank jumps for elliptic surfaces fibred over the projective line. If the surface admits a conic bundle we show that the subset of the line for which the rank jumps is not thin in the sense of Serre. This is joint work with Dan Loughran.

While most evolutionary studies of host-pathogen dynamics consider pathogen evolution alone or host-pathogen coevolution, for some diseases (e.g., White Nose syndrome in bats), there is evidence that hosts can sometimes evolve more rapidly than their pathogen. In this talk, we will discuss the spatial, temporal, and epidemiological factors may drive the evolutionary dynamics of the host population. We consider a simplified system of two host genotypes that trade off factors of disease robustness and spatial mobility or growth. For diseases that infect hosts for life, we find that migration and disease-driven mortality can have antagonistic effect on host densities when disease selection on hosts is low, but show synergy when selection is high. For diseases that allow hosts to recover with immunity, we explore the conditions under which the disease dies out, becomes endemic, or has periodic outbreaks, and show how these dynamics relate to the relative success of the robust and wild type hosts in the population over time. Overall, we will discuss how combinations of host spatial structure, demography, and epidemiology of infectious disease can significantly influence host evolution and disease prevalence. We will conclude with some profound implications for wildlife conservation and zoonotic disease control.

The Torelli group is the subgroup of the mapping class group acting trivially on homology.  We will discuss some basic properties of the Torelli group and explain how to define it for surfaces with boundary.  We will also give some Torelli analogues of the Birman exact sequence.

Matroids are combinatorial gadgets that reflect properties of linear algebra in situations where this latter theory is not available. This analogy prescribes that the moduli space of matroids should be a Grassmannian over a suitable base object, which cannot be a field or a ring; in consequence usual algebraic geometry does not provide a suitable framework. In joint work with Matt Baker, we use algebraic geometry over F1, the so-called field with one element, to construct such moduli spaces. As an application, we streamline various results of matroid theory and find simplified proofs of classical theorems, such as the fact that a matroid is regular if and only if it is binary and orientable.

We will dedicate the first half of this talk to an introduction of matroids and their generalizations. Then we will outline how to use F1-geometry to construct the moduli space of matroids. In a last part, we will explain why this theory is so useful to simplify classical results in matroid theory.

 A powerful method for analyzing graphs is to first apply regularity lemmas, which roughly state that one can partition the graph into a few parts so that it looks mostly random between the parts, and then apply probabilistic tools from there.  The drawback of this approach is that it only works in general when the input graph is very dense: standard regularity lemmas are trivial already for n-node graphs on "only" <= n^{1.99} edges.

In this work we prove extensions of several standard regularity lemmas to sparse graphs, which are nontrivial so long as the graph spectrum is not too far from that of a random graph.  We then apply our notion of "spectral pseudorandomness" to port several notable regularity-based results in combinatorics and theoretical computer science down to sparser graphs.

Joint work with Santosh Vempala.

High-dimensional inference problems such as sparse PCA and planted clique often exhibit statistical-vs-computational tradeoffs whereby there is no known polynomial-time algorithm matching the performance of the optimal estimator. I will discuss an emerging framework -- based on the so-called low-degree likelihood ratio -- for precisely predicting these tradeoffs and giving rigorous evidence for computational hardness in the conjectured hard regime. This method was originally proposed in a sequence of works on the sum-of-squares hierarchy, and the key idea is to study whether or not there exists a low-degree polynomial that succeeds at a given statistical task.

In the second part of the talk, I will give an application to the algorithmic problem of finding an approximate ground state of the SK (Sherrington-Kirkpatrick) spin glass model. I will explain two variants of this problem: "optimization" and "certification." While optimization can be solved in polynomial time [Montanari'18], we give rigorous evidence (in the low-degree framework) that certification cannot be. This result reveals a fundamental discrepancy between two classes of algorithms: local search succeeds while convex relaxations fail.

Based on joint work with Afonso Bandeira and Tim Kunisky (https://arxiv.org/abs/1902.07324 and https://arxiv.org/abs/1907.11636).

Breathers are periodic in time spatially localized solutions of evolutionary PDEs. They are known to exist for the sine-Gordon equation but are believed to be rare in other Klein-Gordon equations. Exchanging the roles of time and position, breathers can be interpreted as homoclinic solutions to a steady solution. In this talk, I will explain how to obtain an asymptotic formula for the distance between the stable and unstable manifold of the steady solution when the steady solution has weakly hyperbolic one dimensional stable and unstable manifolds. Their distance is exponentially small with respect to the amplitude of the breather and therefore classical perturbative techniques cannot be applied. This is a joint work with O. Gomide, T. Seara and C. Zeng.

In this talk, I will introduce my old(1.) and current works(2.).

1. Bounds on regularity of quadratic monomial ideals

We can understand invariants of monomial ideals by invariants of clique (or flag) complex of  corresponding graphs. In particular, we can bound the Castelnuovo-Mumford regularity (which is a measure of algebraic complexity) of the ideals by bounding homol0gy of corresponding (simplicial) complex. The construction and proof of our main theorem are simple, but it provides (and improves) many new bounds of regularities of quadratic monomial ideals.

2. Pythagoras numbers on projections of Rational Normal Curves

Observe that forms of degree $2d$ are quadratic forms of degree $d$. Therefore, to study the cone of  sums of squares of degree $2d$, we may study quadratic forms on Veronese embedding of degree $d$.  In particular,  the rank of sums of squares (of degree $2d$) can be studied via Pythagoras number  (which is a classical notion) on the Veronese embedding of degree $d$. In this part, I will compute the Pythagoras number on rational normal curve (which is a veronese embedding of $\mathbb{P}^1$) and discuss about how Pythagoras numbers are changed when we take some projections away from some points.

We will describe a twisted action of the symmetric group on the polynomial ring in n variables and use it to define a twisted version of Schubert polynomials. These twisted Schubert polynomials are known to be related to the Chern-Schwartz-MacPherson classes of Schubert cells in the flag variety. Using properties of skew divided difference operators, we will show that these twisted Schubert polynomials are monomial positive and give a combinatorial formula for their coefficients.