On the Local Fourier Uniformity Problem for Small Sets
: Kanigowski, Adam; Lemańczyk, Mariusz; Richter, Florian K.; Teräväinen, Joni
Publisher: OXFORD UNIV PRESS
: OXFORD
: 2024
: International Mathematics Research Notices
: INTERNATIONAL MATHEMATICS RESEARCH NOTICES
: INT MATH RES NOTICES
: 2024
: 15
: 11488
: 11512
: 25
: 1073-7928
: 1687-0247
DOI: https://doi.org/10.1093/imrn/rnae134
: https://doi.org/10.1093/imrn/rnae134
: https://research.utu.fi/converis/portal/detail/Publication/457144882
We consider vanishing properties of exponential sums of the Liouville function of the form
lim(->infinity) lim(->infinity) sup 1/log Sigma(<=) 1/ sup(is an element of)|1/ Sigma (<=) ( + )(2)| = 0,
where subset of . The case = corresponds to the local 1-Fourier uniformity conjecture of Tao, a central open problem in the study of multiplicative functions with far-reaching number-theoretic applications. We show that the above holds for any closed set subset of of zero Lebesgue measure. Moreover, we prove that extending this to any set with non-empty interior is equivalent to the = case, which shows that our results are essentially optimal without resolving the full conjecture. We also consider higher-order variants. We prove that if the linear phase (2) is replaced by a polynomial phase (2) for >= 2 then the statement remains true for any set of upper box-counting dimension <1/. The statement also remains true if the supremum over linear phases is replaced with a supremum over all nilsequences coming form a compact countable ergodic subsets of any -step nilpotent Lie group. Furthermore, we discuss the unweighted version of the local 1-Fourier uniformity problem, showing its validity for a class of "rigid" sets (of full Hausdorff dimension) and proving a density result for all closed subsets of zero Lebesgue measure.
:
The research of the second author was partially supported by Narodowe Centrum Nauki grant UMO-2019/33/B/ST1/00364. The research of the fourth author was supported by a von Neumann Fellowship and funding from European Union’s Horizon Europe research and innovation programme under Marie Skłodowska-Curie grant agreement No 101058904. The third and fourth author were supported by (NSF grant DMS-1926686).