Georgia Institute of Technology College of Sciences

This talk is about an application of complex function theory to inverse spectral problems for differential operators. We consider the Schroedinger operator on a finite interval with an L^1-potential. Borg's two spectra theorem says that the potential can be uniquely recovered from two spectra. By another classical result of Marchenko, the potential can be uniquely recovered from the spectral measure or Weyl m-function. After a brief review of inverse spectral theory of one dimensional regular Schroedinger operators, we will discuss complex analytic methods for the following problem: Can one spectrum together with subsets of another spectrum and norming constants recover the potential?

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.