(,) mapping properties of convolution transforms
Let U be an open subset of a locally compact abelian group G and let E be a subset of its dual group Γ. We say E is I₀(U) if every bounded sequence indexed by E can be interpolated by the Fourier transform of a discrete measure supported on U. We show that if E·Δ is I₀ for all finite subsets Δ of a torsion-free Γ, then for each open U ⊂ G there exists a finite set F ⊂ E such that E∖F is I₀(U). When G is connected, F can be taken to be empty. We obtain a much stronger form of that for Hadamard sets...
A subset E of a discrete abelian group is a "Fatou-Zygmund interpolation set" (FZI₀ set) if every bounded Hermitian function on E is the restriction of the Fourier-Stieltjes transform of a discrete, non-negative measure. We show that every infinite subset of a discrete abelian group contains an FZI₀ set of the same cardinality (if the group is torsion free, a stronger interpolation property holds) and that ε-Kronecker sets are FZI₀ (with that stronger interpolation property). ...