Georgia Institute of Technology College of Sciences

How well can a convex body be approximated by a polytope? This is a fundamental question in convex geometry, also in view of applications in many other areas of mathematics and related fields. It often involves side conditions like a prescribed number of vertices, or, more generally, k-dimensional faces and a requirement that the body contains the polytope or vice versa. Accuracy of approximation is often measured in the symmetric difference metric, but other metrics can and have been considered. We will present several results about these issues, mostly related to approximation by “random polytopes”.

Approximate separable representation of the Green’s functions for differential operators is a fundamental question in the analysis of differential equations and development of efficient numerical algorithms. It can reveal intrinsic complexity, e.g., Kolmogorov n-width or degrees of freedom of the corresponding differential equation. Computationally, being able to approximate a Green’s function as a sum with few separable terms is equivalent to the existence of low rank approximation of the discretized system which can be explored for matrix compression and fast solution techniques such as in fast multiple method and direct matrix inverse solver. In this talk, we will mainly focus on Helmholtz equation in the high frequency limit for which we developed a new approach to study the approximate separability of Green’s function based on an geometric characterization of the relation between two Green's functions and a tight dimension estimate for the best linear subspace approximating a set of almost orthogonal vectors. We derive both lower bounds and upper bounds and show their sharpness and implications for computation setups that are commonly used in practice. We will also make comparisons with other types of differential operators such as coercive elliptic differential operator with rough coefficients in divergence form and hyperbolic differential operator. This is a joint work with Bjorn Engquist.

As the cornerstone of two-fluid models in plasma theory, Euler-Maxwell (Euler-Poisson) system describes the dynamics of compressible ion and electron fluids interacting with their own self-consistent electromagnetic field. It is also the origin of many famous dispersive PDE such as KdV, NLS, Zakharov, ...etc. The electromagnetic interaction produces plasma frequencies which enhance the dispersive effect, so that smooth initial data with small amplitude will persist forever for the Euler-Maxwell system, suppressing any possible shock formation. This is in stark contrast to the classical Euler system for a compressible neutral fluid, for which shock waves will develop even for small smooth initial data. A survey along this direction for various two-fluid models will be given during this talk.

Much effort in the past several decades has gone into lifting various algebraic structures into a topological context. I will describe one such lifting: that of the arithmetic theory of elliptic curves. The result is a rich and highly structured family of cohomology theories collectively known as elliptic cohomology. By forming "global sections" one is led to a topological enrichment of the ring of modular forms. Geometric interpretations of these theories are enticing but still conjectural at best.