Abstract:We consider vanishing properties of exponential sums of the Liouville function $\lambda$ of the form $$ \lim_{H\to\infty}\limsup_{X\to\infty}\frac{1}{\log X}\sum_{m\leq X}\frac{1}{m}\sup_{\alpha\in C}\bigg|\frac{1}{H}\sum_{h\leq H}\lambda(m+h)e^{2\pi ih\alpha}\bigg|=0, $$ where $C\subset\mathbb{T}$. The case $C=\mathbb{T}$ 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 $C\subset\mathbb{T}$ of zero Lebesgue measure. Moreover, we prove that extending this to any set $C$ with non-empty interior is equivalent to the $C=\mathbb{T}$ 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 $e^{2\pi ih\alpha}$ is replaced by a polynomial phase $e^{2\pi ih^t\alpha}$ for $t\geq 2$ then the statement remains true for any set $C$ of upper box-counting dimension $<1/t$. 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 $t$-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.

Almost everywhere convergence of Fourier series on SU(2): the case of Holder continuous functions

Unconditional Convergent Series on Locally Convex Spaces

Functional Limit Theorems for the Infinite Series of OU Processes in Hölder Norm

Almost everywhere summability of Fourier series with indicating the set of convergence

Almost-everywhere convergence of Fourier series for functions in Sobolev spaces

On the local Fourier uniformity problem for small sets

Unconditional convergence of general Fourier series

A Liouville Theorem on Asymptotically Calabi Spaces

On Hardy's Theorem on SU(1, 1)*

On the coexistence of convergence and divergence phenomena for integral averages and an application to the Fourier–Haar series

Lacunary Fourier and Walsh-Fourier series near L^1

Convergence of Mock Fourier Series on Generalized Bernoulli Convolutions

Spectral gaps and Fourier dimension for self-conformal sets with overlaps

The Liouville theorem for a class of Fourier multipliers and its connection to coupling

Hölder Continuity of the Spectral Measures for One-Dimensional Schrödinger Operator in Exponential Regime

On the Foiaş and Stratila theorem

Completely bounded homomorphisms of the Fourier algebra revisited

On convexity and weak closeness for the set of Φ-superharmonic functions

POINTWISE CONVERGENCE OF NONCOMMUTATIVE FOURIER SERIES

Advances in Almost Convergence