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.

Translation-based completeness on compact intervals

Translation-based completeness on compact intervals

Completeness of uniformly discrete translates in $L^p(\mathbb{R})$

Unconditional Convergent Series on Locally Convex Spaces

Completeness of translation-invariant ideals in groups

Non-Existence of Common Hypercyclic Entire Functions for Certain Families of Translation Operators

Translation functors for locally analytic representations

Order-boundary characterization of the linear lattice of Riemann μ-integrable functions as a certain completion of the linear lattice of bounded continuous functions

A rigidity theorem for translates of uniformly convergent Dirichlet series

On the local integrability condition for generalised translation-invariant systems

A quantitative converse of Fekete's theorem

Compact subsets of C λ , u ( X )

Completeness of systems of inner functions

Translation beyond Delsarte

A Generalized Translation Operator Generated by the Sinc Function on an Interval

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals

Symbolic coding of linear complexity for generic translations on the torus, using continued fractions

Density of Stable Interval Translation Maps

On the local Fourier uniformity problem for small sets

Uniform convergence of translation operators

The basin of infinity of tame polynomials