On Ingham-type interpolation in \(\mathbb R^n\) (Q990213)

Let \(S\) be a bounded set in \(\mathbb R^n\) and \(PW_S\) denote the space of all functions \(f \in L^2\) such that the Fourier transform \(\hat{f}\) vanishes a.e outside \(S.\) If \(\Lambda\) is a separated set in \(\mathbb R^n,\) then the restriction operator \(R:~f \rightarrow \hat{f}|_{\Lambda}\) acts boundedly from \(PW_S\) into \(l^2(\Lambda).\) The set \(\Lambda\) is called a set of interpolation for \(PW_S,\) if the operator \(R\) is surjective. A classical result due to Ingham states that, if \(\Lambda \subset \mathbb R\) satisfies \[ \inf_{\lambda_1, \lambda_2 \in \Lambda, \lambda_1 \neq \lambda_2}~|\lambda_1 - \lambda_2| > \pi , \] then \(\Lambda\) is a set of interpolation for \(PW_{[-1, 1]}.\) A pair of sets \((S, K)\) is said to be admissible if every set \(\Lambda\) with the property that \((\Lambda-\Lambda) \cap K = \{0\}\) is a set of interpolation for \(PW_S.\) If \(a \in (0, 1),\) a function \(f \in L^2(\mathbb R^n)\) is said to be \(a\)-concentrated on a set \(A\) if \[ \int_A~|f(t)|^2~dt > a \int_{\mathbb R^n}~|f(x)|^2~dx. \] The paper under review, by a clever argument, proves the following: Let \(A, B \subset \mathbb R^n\) be \(0\)-symmetric convex bodies. Suppose that there exists \(f \in L^2(\mathbb R^n)\) such that \(f\) is \((1-a)\) concetrated on \(A\) and \(\hat{f}\) is \((1-a)\) concentrated on \(B.\) Then the pairs \((A, 12B)\) and \((B, 12A) \) are admissible. A necessary condition for admissibility is that \(vol(A). vol(B) \geq (2\pi)^n.\) Reviewer's remark: The reviewer wonders if there are interesting connections to uncertainty principles.