Georgia Institute of Technology College of Sciences

Mathematicians have long been trying to understand which domains admit an orthogonal (or, sometimes, not) basis of exponentials of the form , for some set of frequencies (this is the spectrum of the domain). It is well known that we can do so for the cube, for instance (just take ), but can we find such a basis for the ball? The answer is no, if we demand orthogonality, but this problem is still open when, instead of orthogonality, we demand just a Riesz basis of exponentials.

When equiangular tight frames (ETF's), a type of structured optimal packing of lines, exist and are of size $|\Phi|=N$, $\Phi\subset\mathbb{F}^d$ (where $\mathbb{F}=\mathbb{R}$, $\mathbb{C}$, or $\mathbb{H}$), for $p > 2$ the so-called $p$-frame energy $E_p(\Phi)=\sum\limits_{i\neq j} |\langle \varphi_{i}, \varphi_{j} \rangle|^p$ achieves its minimum value on an ETF over all sized $N$ collections of unit vectors. These energies have potential functions which are not positive definite when $p$ is not even. For these cases the apparent complexity of the problem of describing minimizers of these energies presents itself. While there are several open questions about the structure of these sets for fixed $N$ and fixed $p$, we focus on another question:

What structural properties are expressed by minimizing probability measures for the quantity $I_{p}(\mu)=\int\limits_{\mathbb{S}_{\mathbb{F}}^{d-1}}\int\limits_{\mathbb{S}_{\mathbb{F}}^{d-1}} |\langle x, y \rangle|^p d\mu(x) d\mu(y)$?
We collect a number of surprising observations. Whenever a tight spherical or projective $t$-design exists for the sphere $\mathbb{S}_{\mathbb{F}}^d$, equally distributing mass over it gives a minimizer of the quantity $I_{p}$ for a range of $p$ between consecutive even integers associated with the strength $t$. We show existence of discrete minimizers for several related potential functions, along with conditions which guarantee emptiness of the interior of the support of minimizers for these energies. 
This talk is based on joint work with D. Bilyk, A. Glazyrin, R. Matzke, and O. Vlasiuk.

Many problems of spherical discrete and metric geometry may be reformulated as energy minimization problems and require techniques that stem from harmonic analysis, potential theory, optimization etc. We shall discuss several such problems as well of applications of these ideas to combinatorial geometry, discrepancy theory, signal processing etc.

If $f$ is a function supported on a truncated paraboloid, what can we say about $Ef$, the Fourier transform of f? Stein conjectured in the 1960s that for any $p>3$, $\|Ef\|_{L^p(R^3)} \lesssim \|f\|_{L^{\infty}}$.

We make a small progress toward this conjecture and show that it holds for $p> 3+3/13\approx 3.23$. In the proof, we combine polynomial partitioning techniques introduced by Guth and the two ends argument introduced by Wolff and Tao.