Large Fourier quasicrystals and Wiener's theorem (Q666644): Difference between revisions

A Radon measure $\mu=\sum_{\lambda\in\Lambda} a_{\lambda}\delta_{\lambda}$ with countable $\Lambda$ is called a Fourier quasicrystal if $\widehat{\mu}=\sum_{\gamma\in \Gamma} b_{\gamma}\delta_{\gamma}$ with countable $\Gamma$ and $\log\left(\sum_{|\lambda|<r} |a_{\lambda}|+\sum_{|\gamma|<r}|b_{\gamma}| \right)=O(\log r)$. A Fourier quasicrystal $\mu$ is called Large if $\inf_{\lambda\in\Lambda} |a_{\lambda}|>0$. \par The set $E\in\mathbb{R}^d$ is called discrete if $E\cap B(x,1)$ is finite for all $x\in\mathbb{R}^d$. $E$ is called uniformly discrete if $|x-x'|\geq\varepsilon>0$ for all $x,x'\in E$, $x\neq x'$. \par Then the following theorems are proved. \par Let $\mu$ be a Large Fourier quasicrystal with a discrete set $\Lambda-\Lambda$. Then $\Lambda$ is a finite union of translates of a single full-rank lattice $L$. \par Let $\mu$ be a Large Fourier quasicrystal in $\mathbb{R}^d$ with uniformly discrete $\Lambda$. Suppose that $|\widehat{\mu}|(B(0,r))=O(r^d)$ as $r\to\infty$. Then $\Lambda$ is a finite union of translates of several disjoint full-rank lattices.