A classical ground-state configuration of a system of interacting particles is one that minimizes the system potential energy. In the laboratory, such states are produced by slowly cooling a liquid to a temperature of absolute zero, and usually the ground states are crystal structures. However, our theoretical understanding of ground states is far from complete. For example, it is difficult to prove what are the ground states for realistic interactions. I discuss recent theoretical/computational methods that we have formulated to identify unusual crystal ground states as well as disordered ground state [1,2,3,4]. Although the latter possibility is counterintuitive, there is no fundamental reason why classical ground states cannot be aperiodic or disordered.

1) M. Rechtsman, F. H. Stillinger and S. Torquato, Synthetic Diamond and Wurtzite Structures Self-Assemble with Isotropic Pair Interactions , Physical Review E, vol. 75, 031403 (2007).
2) S. Torquato and F. H. Stillinger, "New Duality Relations for Classical Ground States," Physical Review Letters, vol. 100, 020602 (2008).
3) R. D. Batten, F. H. Stillinger and S. Torquato, "Classical Disordered Ground States: Super-Ideal Gases, and Stealth and Equi-Luminous Materials," Journal of Applied Physics, vol. 104, 033504, (2008).
4) A. Scardicchio, F. H. Stillinger and S. Torquato, "Estimates of the Optimal Density of Sphere Packings in High Dimensions, Journal of Mathematical Physics, vol. 49, 043301 (2008).

I will describe recent generalizations of mine to a theorem of Harris, Shepherd-Barron, and Taylor, showing that have certain Galois representations become automorphic after one makes a suitably large totally-real extension to the base field. The main innovation is that the result applies to Galois representations to $\GL_n$, where the previous work dealt with representations to $\Sp_n$; I can also dispense with certain congruence conditions which existed in the earlier work, and work over a CM, rather than a totally-real, field. The main technique is the consideration of the cohomology the Dwork hypersurface, and in particular, of pieces of this cohomology other than the invariants under the natural group action.

Given an L^2-normalized cusp form f on a modular curve X_0(N), what can be said about pointwise bounds for f? For Hecke eigenforms, we will prove the first non-trivial bound in terms of the level N as well as hybrid bounds in terms of the level and the Laplacian eigenvalue. Similar techniques work for functions on other spaces, e.g. quotients of quaternion algebras. This is joint work with R. Holowinsky.

The intersection form on the group of line bundles on a complex algebraic surface always has signature (1,n) for some n. So the automorphism group of an algebraic surface always acts on hyperbolic n-space. For a class of surfaces including K3 surfaces and many rational surfaces, there is a close connection between the properties of the variety and the corresponding group acting on hyperbolic space. (In fancier terms: the Morrison-Kawamata cone conjecture holds for klt Calabi-Yau pairs in dimension 2.)

Recent work in the emerging field of compressed sensing indicates that, when feasible, judicious selection of the type of image transformation induced by imaging systems may dramatically improve our ability to perform reconstruction, even when the number of measurements is small relative to the size and resolution of the final image. The basic idea of compressed sensing is that when an image is very sparse (i.e. zero-valued at most locations) or highly compressible in some basis, relatively few incoherent observations suffice to reconstruct the most significant non-zero basis coefficients. These theoretical results have profound implications for the design of new imaging systems, particularly when physical and economical limitations require that these systems be as small, mechanically robust, and inexpensive as possible.

In this talk I will describe the primary theory underlying compressed sensing and discuss some of the key mathematical challenges associated with its application to practical imaging systems. In particular, I will explore several novel imaging system designs based on compressed sensing, including compressive coded aperture and hyperspectral imagers, and examine the interplay between compressed sensing theory and the practical physical constraints which must be considered to effectively exploit this theory.

We will discuss the problem of extending the construction of the classical Abel maps for smooth curves to the case of singular curves. The construction of degree-1 Abel maps will be shown, together with an approach for constructing higher degree Abel maps.

The Empirical Mode Decomposition (EMD) was an empirical one-dimensional data decomposition method invented by Dr. Norden Huang about ten years ago and has been used with great success in many fields of science and engineering. In this talk, I will introduce, from the perspective of a physical scientist, the thinking behind and the algorithm of EMD; and its most recent developments, especially the Ensemble EMD (EEMD), a noise-assisted data analysis method, and the multi-dimensional EMD based on EEMD. I will also outline some open questions that we currently do not have answers, or even clues to the answers, such as how to optimize EMD algorithm, what is the mathematical nature of EMD. To a significant degree, this is a talk intended for obtaining helps from mathematicians.

Consider the following random process. At each round, one is presented with two random edges from the edge set of the complete graph on n vertices, and is asked to choose one of them. The selected edges are collected into a graph, which thus grows at the rate of one edge per round. This is known in the literature as an Achlioptas process, and has been studied by many researchers, mainly in the context of delaying or accelerating the appearance of the giant component.

In our work, we investigate the classical small subgraph problem for Achlioptas processes. That is, given a fixed graph H, we study whether there is a deterministic online algorithm that substantially delays or accelerates a typical appearance of H, compared to its threshold of appearance in the random graph G(n,M). It is easy to see that one cannot accelerate the appearance of any fixed graph by more than a factor of 2, so we concentrate on the task of avoiding H. We determine thresholds for the avoidance of all cycles C_t, cliques K_t, and complete bipartite graphs K_{t,t}.

Joint work with Michael Krivelevich and Benny Sudakov.

Compressed sensing (CS) is a signal processing technique that allows for accurate, polynomial time recovery of sparse data-vectors based on a small number of linear measurements. In its most basic form, robust CS can be viewed as a specialized error-control coding scheme in which the data alphabet does not necessarily have the structure of a finite field and where the notion of a “parity-check” is replaced by a more general functionality. It is therefore possible to combine and extend classical CS and coding-theoretic paradigms in terms of introducing new minimum distance, reconstructions complexity, and quantization precision constraints. In this setting, we derive fundamental lower and upper bounds on the achievable compression rate for such constrained compressed sensing (CCS) schemes, and also demonstrate that sparse reconstruction in the presence of noise can be performed via low-complexity correlation-maximization algorithms that operate based on belief propagation iterations. Our problem analysis is motivated by a myriad of applications ranging from compressed sensing microarray designs, reliability-reordering decoding of linear block-codes, identification in multi-user communication systems, and fault tolerant computing. This is a joint work with Wei Dai and Vin Pham Hoa from the ECE Department at UIUC.

In combinatorial geometry one frequently wants to select a point or a set of points that meets many simplices of a given family. The two examples are choosing a point in many simplices spanned by points of some P in R^d, and choosing a small set of points which meets the convex hull of every large subset of P (the weak epsilon-net problem). I will present a new class of constructions that yield the first nontrivial lower bound on the weak epsilon-net problem, and improve the best bounds for several other selection problems. Joint work with Jiří Matoušek and Gabriel Nivasch.

To simulate supernova explosions, one must solve simultaneously the non-linear, coupled partial differential equations of radiation hydrodynamics. What's more, due to a variety of instabilities and asymmetries, this must eventually be accomplished in 3D. The current state-of-the-art is 2D, plus rotation and magnetic fields (assuming axisymmetry). Nevertheless, with the current suite of codes, we have been able to explore the evolution of the high-density, high-temperature, high-speed environment at the core of a massive star at death. It is in this core that the supernova explosion is launched. However, the complexity of the problem has to date obscured the essential physics and mechanisms of the phenomenon, making it indeed one of the "Grand Challenges" of 21st century astrophysics. Requiring forefront numerical algorithms and massive computational resources, the resolution of this puzzle awaits the advent of peta- and exa-scale architectures and the software to efficiently use them. In this talk, I will review the current state of the science and simulations as we plan for the fully 3D, multi-physics capabilities that promise credibly to crack open this obdurate astrophysical nut.