Trigonometric moment problems for arbitrary finite subsets of $\mathbb Z^n$

Abstract:

We consider finite subsets $\Lambda \subset \mathbf {Z}^{n}$ satisfying the extension property, i.e. the property that every collection $\{c_{\mathbf {k}}\}_{\mathbf {k} \in \Lambda - \Lambda }$ of complex numbers which is positive-definite on $\Lambda$ is the restriction to $\Lambda - \Lambda$ of the Fourier coefficients of some positive measure on $\mathbf {T}^{n}$. A simple algebraic condition on the set of trigonometric polynomials with non-zero coefficients restricted to $\Lambda$ is shown to imply the failure of the extension property for $\Lambda$. This condition is used to characterize the one-dimensional sets satisfying the extension property and to provide many examples of sets failing to satisfy it in higher dimensions. Another condition, in terms of unitary matrices, is investigated and is shown to be equivalent to the extension property. New two-dimensional examples of sets satisfying the extension property are given as well as explicit examples of collections for which the extension property fails.