On rationality of spectrums for spectral sets in R

Weiqi Zhou
DOI: https://doi.org/10.1016/j.jfa.2024.110402
IF: 1.891
2024-05-01
Journal of Functional Analysis
Abstract:Let Ω ⊂ R be a compact measurable set of measure 1 and with null boundary measure. We show that if Ω is a spectral set, then it admits a rational spectrum. The proof relies on the periodicity of spectrums shown in [16], and adopts the technique in [28] for analyzing zeros of exponential sums as well as the technique in [16] that relates the spectrum to the tiling of | 1 ˆ Ω | 2 . The key technical ingredient we contribute that eventually leads to the result is the periodicity of values from an exponential sum on a certain subgroup of Z , which characterizes the torsion part of the spectrum. An immediate consequence of this result, together with periodicity and rationality results in [16,28], is the equivalence between the Fuglede conjecture in R and in Z n .
mathematics
What problem does this paper attempt to address?