Georgia Institute of Technology College of Sciences

The Ehrhard-Borell inequality stands at the top of the pyramid of Gaussian inequalities. It is a powerful and delicate statement about the convexity of the Gaussian measure. In this talk I will discuss the inequality and its beautiful proof by Borell. The delicate nature of the inequality however makes the characterization of the equality cases difficult and they were left unknown. I will explain how we solved this problem. Joint work with Ramon van Handel.

That the ball minimizes surface area among all sets of fixed volume, was known since antiquity; this is equivalent to the fact that the ball is the unique set which yields equality in the isoperimetric inequality. But the isoperimetric inequality is only a very special case of quadratic inequalities about mixed volumes of convex bodies, whose equality cases were unknown since the time of Minkowski. This talk is about these quadratic inequalities and their unusual equality cases which we resolved using degenerate diffusions on the sphere. No background in geometry will be assumed. Joint work with Ramon van Handel.

Usual statistical inference techniques for the tree of life like maximum likelihood and bayesian inference through Markov chain Monte Carlo (MCMC) have been widely used, but their performance declines as the datasets increase (in number of genes or number of species).

I will present two new approaches suitable for big data: one, importance sampling technique for bayesian inference of phylogenetic trees, and two, a pseudolikelihood method for inference of phylogenetic networks.

The proposed methods will allow scientists to include more species into the tree of life, and thus complete a broader picture of evolution.

Given a graph X and a group G, a G-cover of X is a morphism of graphs X’ --> X together with an invariant G-action on X’ that acts freely and transitively on the fibers. G-covers are classified by their monodromy representations, and if G is a finite abelian group, then the set of G-covers of X is in natural bijection with the first simplicial cohomology group H1(X,G).

In tropical geometry, we are naturally led to consider more general objects: morphisms of graphs X’ --> X admitting an invariant G-action on X’, such that the induced action on the fibers is transitive, but not necessarily free. A natural question is to classify all such covers of a given graph X. I will show that when G is a finite abelian group, a G-cover of a graph X is naturally determined by two data: a stratification S of X by subgroups of G, and an element of a cohomology group H1(X,S) generalizing the simplicial cohomology group H1(X,G). This classification can be viewed as a tropical version of geometric class field theory, and as an abelianization of Bass--Serre theory.

I will discuss the realizability problem for tropical abelian covers, and the relationship between cyclic covers of a tropical curve C and the corresponding torsion subgroup of Jac(C). The realizability problem for cyclic covers of prime degree turns out to be related to the classical nowhere-zero flow problem in graph theory.

Joint work with Yoav Len and Martin Ulirsch.