---
abstract: 'A celebrated result of Halász describes the asymptotic behavior of the arithmetic mean of an arbitrary multiplicative function with values on the unit disc. We extend this result to multilinear averages of multiplicative functions providing similar asymptotics, thus verifying a two dimensional variant of a conjecture of Elliott. As a consequence, we get several convergence results for such multilinear expressions, one of which generalizes a well known convergence result of Wirsing. The key ingredients are a recent structural result for multiplicative functions with values on the unit disc proved by the authors and the mean value theorem of Halász.'
address:
- 'University of Crete, Department of mathematics, Voutes University Campus, Heraklion 71003, Greece'
- ' Université Paris-Est Marne-la-Vallée, Laboratoire d'analyse et de mathématiques appliquées, UMR CNRS 8050, 5 Bd Descartes, 77454 Marne la Vallée Cedex, France '
author:
- Nikos Frantzikinakis
- Bernard Host
title: Asymptotics for multilinear averages of multiplicative functions
---

[^1]

Background and main results
===========================

The problem of existence of the mean value $$\label{E:MV}
M(f):=\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nf(n)$$ of a multiplicative function $f$ with values on the unit disc has been an object of intense study in analytic number theory. P. Erdös and A. Wintner @E57 conjectured that if $f$ takes real values and is bounded by $1$, then the mean value $M(f)$ exists. H. Delange @D61 verified this when $\sum_{p\in {{\mathbb P}}} \frac{1-f(p)}{p}<\infty$ in which case $M(f)\neq 0$ unless $f(2^k)=-1$ for every $k\in {{\mathbb N}}$. The proof of the Erdös-Wintner conjecture was completed by E. Wirsing @Wi67; building on earlier work of his @Wi61 [@Wi64], he showed that if the previous series diverges, then $M(f)=0$. Note that the prime number theorem corresponds to the very special case of this result where $f$ is the Möbius function. The previous results were extended to complex valued multiplicative functions by a celebrated result of G. Halász @Hal68. In order to give the precise statement we need a definition:

\[Slowly-varying sequences\] We say that $w\colon {{\mathbb N}}\to {{\mathbb R}}$ is *slowly-varying* if $\max_{x\leq n\leq x^2}|w(n)-w(x)|\to 0$ as $x\to \infty$.

The next result is due to Halász @Hal68. We use it in the form given in @E79 [Theorem 6.2] and @T [Chapter III.4].

\[Halász mean value theorem\] \[T:Halasz\] Let $f$ be a multiplicative function that takes values on the unit disc. Then there exist constants $c\in {{\mathbb C}}$, $t\in {{\mathbb R}}$, and a slowly-varying sequence $w\colon {{\mathbb N}}\to {{\mathbb R}}$ such that $$\frac{1}{N}\sum_{n=1}^Nf(n)=c N^{it}{\mathrm{e}}(w(N))+o_{N\to \infty}(1).$$ If $c\neq 0$, then $t$ is the unique real number such that $\sum_{p\in {{\mathbb P}}}\frac{1}{p}\,\bigl(1-{\operatorname{Re}}\bigl(f(p) p^{-it}\bigr)\bigr)<\infty$ ($c=0$ if no such number exists), in which case we can take $w(N)=\frac 1{2\pi} \sum_{p\in {{\mathbb P}}, p\leq N}\frac{1}{p}{\operatorname{Im}}(f(p)p^{-it})$.

$\bullet$ Explicit quantitative bounds exist in the case $c=0$; see for example @T [Chapter III.4, Corollary 6.3].

$\bullet$ If $f(n)=n^{it}$ for some $t\neq 0$, then $ \frac{1}{N}\sum_{n=1}^Nf(n)=\frac{ N^{it}}{1+it}+o_{N\to \infty}(1)$; hence $M(f)$ does not exist. Lending terminology from @GS15, the theorem of Halász implies that the mean value $M(f)$ exists and is $0$ unless $f(n)$ "pretends" to be $n^{it}$ for some $t\in {{\mathbb R}}$.

Our main goal is to extend the convergence result of Wirsing and the asymptotic formula of Halász to multilinear averages of multiplicative functions. Although the one dimensional multilinear averages $\frac{1}{N}\sum_{n=1}^N  \prod_{j=1}^\ell f_j(k_jn+ a_j),$ where $k_j,a_j\in {{\mathbb N}}$ and $f_j$ are multiplicative functions with modulus at most $1$, are notoriously hard to analyze, a conjecture of P. Elliott @El90 [@El94 Conjecture I] predicts that they satisfy asymptotics similar to those in Halász's theorem. Our main results verify these asymptotics when the one dimensional affine-linear forms $k_jn+ a_j$, $j=1,\ldots, \ell$, are replaced with higher dimensional linear forms, or affine-linear forms with pairwise independent linear parts. The setup is as follows: We are given complex valued multiplicative functions $f_1,\ldots, f_\ell$ and linear forms $L_1,\ldots, L_\ell\colon {{\mathbb N}}^d\to {{\mathbb N}}$ given by $$L_j({{\mathbf{m}}})={{\mathbf{k}}}_j\cdot {{\mathbf{m}}}\text{ for some }{{\mathbf{k}}}_j\in {{\mathbb N}}^d\ .$$

Henceforth, we assume that all multiplicative functions take values on the interval $[-1,1]$ or the unit disc depending on whether they are real or complex valued. Furthermore, with $[N]$ we denote the set $\{1,\ldots, N\}$.

We are interested in studying the asymptotic behavior of the averages $$\label{E:multi1}
\frac{1}{N^d}\sum_{{{\mathbf{m}}}\in [N]^d} \prod_{j=1}^\ell f_j(L_j({{\mathbf{m}}})).$$ We remark that for the purposes of this article the special case where $d=2$ and $L_j(m,n)=m+(j-1)n$, $j=1,\ldots,\ell$, is essentially as hard as the general case. If the linear forms are pairwise (linearly) independent, that is, no two are rational multiples of each other, and one of the multiplicative functions is the Möbius or the Liouville function, then B. Green and T. Tao showed in @GT10 [Proposition 9.1], modulo conjectures which were subsequently verified in @GT12a [@GT12b; @GTZ12c], that the averages converge to $0$.

Our first result is the following:

\[Asymptotic form of multilinear averages\]\[T:Main\] Let $d\in {{\mathbb N}}$, $f_1,\ldots, f_\ell$ be complex valued multiplicative functions with modulus at most $1$, and $L_1,\ldots, L_\ell\colon {{\mathbb N}}^d\to {{\mathbb N}}$ be linear forms. Then there exist $c\in {{\mathbb C}}$, $t\in {{\mathbb R}}$, and a slowly-varying sequence $w\colon {{\mathbb N}}\to {{\mathbb R}}$, such that $$\label{E:multi2}
\frac{1}{N^d}\sum_{{{\mathbf{m}}}\in [N]^d} \prod_{j=1}^\ell f_j(L_j({{\mathbf{m}}}))=cN^{it}{\mathrm{e}}(w(N))+o_{N\to\infty}(1).$$ If in addition we assume that the linear forms are pairwise independent[^2], then $t=\sum_{j=1}^\ell t_{f_j}$ and we can take $w=\sum_{j=1}^\ell w_{f_j}$, where for $j=1,\ldots, \ell$, $t_{f_j}$ are the real numbers and $w_{f_j}$ are the slowly-varying sequences defined in Theorem \[T:HalaszAP\] below. Furthermore, the constant $c$ in is $0$ unless all $f_j$ are "pretentious", meaning, for $j=1,\ldots, \ell$ there exist $t_j\in {{\mathbb R}}$ and Dirichlet characters $\chi_j$ such that $\sum_{p\in {{\mathbb P}}}\frac{1}{p}\,\bigl(1-{\operatorname{Re}}\bigl(\chi_j(p)f_j(p) p^{-it_j}\bigr)\bigr)<\infty$.

$\bullet$ In a recent preprint K. Matomäki, M. Radziwi<span>ł</span><span>ł</span>, T. Tao @MRT15, using techniques from @MR15, prove that the averages $\frac{1}{M^\ell}\sum_{m_1,\ldots, m_\ell\in [M]}|\frac{1}{N}\sum_{n\in [N]}\prod_{j=1}^\ell f_j(n+m_j)|$ converge to $0$ if $M=M(N)$ increases to infinity with $N$ at an arbitrary speed and at least one of the multiplicative functions is "non-pretentious" in a certain uniform sense. Such results are complementary to ours and rely on very different techniques.[^3]

$\bullet$ If the linear forms are pairwise independent, then Theorem \[T:Main\] and all subsequent results remain valid with the affine-linear forms $L_j({{\mathbf{m}}})+a_j$, $a_j\in {{\mathbb Z}}$, in place of the linear forms $L_j({{\mathbf{m}}})$ for $j=1,\ldots, \ell$. Interestingly, this is no longer true if two of the linear forms are dependent, even if the affine-linear forms are independent; an example from @MRT15 [Appendix A] shows that there exists a non-pretentious multiplicative function $f$ such that the averages $ \frac{1}{N}\sum_{n=1}^Nf(n)\overline{f(n+1)}$ do not converge to zero.

For $\ell= 3$, the asymptotic formula can be proved by combining tools from discrete Fourier analysis, a result of H. Daboussi @D74 [@DD74] that provides estimates for the Fourier coefficients of a multiplicative function, and the previously mentioned asymptotic formula of Halász. For $\ell\geq 4$ classical discrete Fourier analysis tools turn out to be insufficient for the task at hand, the reason being that for general bounded sequences the modulus of the averages is not controlled by the maximum modulus of the Fourier coefficients of the individual functions (thought of as functions of ${{\mathbb Z}}_N$). To overcome this obstacle we use a deep structural result from @FH14 (see Theorem \[T:Structure\]) which was proved using the toolbox of "higher order Fourier analysis". For our particular needs it implies that the general multiplicative function with modulus at most $1$ can be decomposed in two terms, one that is approximately periodic and another that contributes negligibly to the averages . The contribution of the structured component is then analyzed using an extension of Halász's asymptotic formula (see Theorem \[T:HalaszAP\]) and after some effort the outcome is the asymptotic formula . The details are given in Section \[S:proofs\].

Using Theorem \[T:Main\] we deduce the following generalization of the convergence result of E. Wirsing which deals with multilinear averages of real valued multiplicative functions:

\[Wirsing's theorem for multilinear averages\] \[T:1\] Let $f_1,\ldots, f_\ell$ be real valued multiplicative functions with modulus at most $1$ and $L_1,\ldots, L_\ell\colon {{\mathbb N}}^d\to {{\mathbb N}}$ be linear forms. Then the averages converge as $N \to \infty$.

If the linear forms are pairwise independent, then the result remains true if we replace the assumption that the $f_j$'s take real values with the assumption that the mean values $\lim_{N\to \infty} \frac{1}{N}\sum_{n=1}^N f_j(n)\chi(n)$ exist for every Dirichlet character $\chi$.[^4]

It follows from the asymptotic formula given in Halász's theorem that if $f$ is a complex valued multiplicative function with modulus at most $1$, then the averages $\Big|\frac{1}{N}\sum_{n=1}^Nf(n)\Big|$ converge as $N\to \infty$. A similar result extends to multilinear averages:

\[Convergence of the modulus\] \[T:2\] Let $f_1,\ldots, f_\ell$ be complex valued multiplicative functions with modulus at most $1$, and $L_1,\ldots, L_\ell\colon {{\mathbb N}}^d\to {{\mathbb N}}$ be linear forms. Then the modulus of the averages converges as $N \to \infty$.

Interestingly, although for complex valued multiplicative functions with modulus at most $1$ the multilinear averages do not in general converge, we do have convergence if in each multiplicative function is paired up with its complex conjugate.

\[T:3\] Let $f_1,\ldots, f_\ell$ be complex valued multiplicative functions with modulus at most $1$ and $L_j,L_j' \colon{{\mathbb N}}^d\to {{\mathbb N}}$, $j=1,\ldots, \ell$, be pairwise independent linear forms. Then the averages $$\frac{1}{N^d}\sum_{{{\mathbf{m}}}\in [N]^d} \prod_{j=1}^\ell f_j(L_j({{\mathbf{m}}}))\cdot \overline{f_j}(L'_j({{\mathbf{m}}}))$$ converge as $N \to \infty$.

We give an application of Theorem \[T:3\] in ergodic theory.

\[T:4\] Let $(X,{{\mathcal X}},\mu)$ be a probability space and for $n\in {{\mathbb N}}$ let $T_n\colon X\to X$ be invertible measure preserving transformations that satisfy $ T_1:=\operatorname{id}$ and $T_m\circ T_n=T_{mn}$ for every $m,n\in{{\mathbb N}}$. Let also $L_j,L_j'\colon  {{\mathbb N}}^d\to {{\mathbb N}}$, $j=1,\ldots, \ell$, be pairwise independent linear forms. Then for all $F,G\in L^2(\mu)$ the averages $$\label{E:ergodic}
\frac{1}{N^d}\sum_{{{\mathbf{m}}}\in [N]^d}
 \int F(T_{\prod_{j=1}^\ell L_j({{\mathbf{m}}})}x)\cdot G(T_{\prod_{j=1}^\ell L'_j({{\mathbf{m}}})}x)\ d\mu$$ converge as $N \to \infty$.

The averages were studied in @FH14 when $d=\ell=2$ and $F=G={\mathbf{1}}_A$ with $\mu(A)>0$ in order to prove partition regularity for certain quadratic equations.

Note that Theorem \[T:4\] is non-trivial even for $d=2$ and $\ell=1$. Interestingly, the averages $
\frac{1}{N}\sum_{n=1}^N
 \int F(T_{n}x)\cdot G(x)\ d\mu
$ do not necessarily converge. To see this, let $T_nx=x +\log n  \bmod{1}$ act on ${{\mathbb T}}$ with the Haar measure and take $F(x)={\mathrm{e}}(x)$, $G(x)={\mathrm{e}}(-x)$. Then the ergodic averages take the form $\frac{1}{N}\sum_{n=1}^Nn^{2\pi i}$. Hence, they do not converge.

It is natural to ask whether we have convergence of the mean value of a multiplicative function evaluated at homogeneous polynomials that do not necessarily factor linearly.

Let $f$ be a real valued bounded completely multiplicative function and $P\in{{\mathbb Z}}[x,y]$ be a homogeneous polynomial with values on the positive integers. Do the averages $$\frac{1}{N^2}\sum_{1\leq m, n\leq N}f(P(m,n))$$ converge as $N\to \infty$? If the multiplicative function $f$ takes complex values, does the modulus of the above averages converge as $N\to\infty$?

Using Theorem \[T:1\] we get a positive answer when $P(m,n)=\prod_{j=1}^\ell L_j(m,n)$ where $L_j\colon{{\mathbb N}}^2\to {{\mathbb N}}$, $j=1,\ldots, \ell$, are linear forms. Lastly, we remark that for $s\geq 2$ the Gowers norms ${\lVert f_N \rVert}_{U^s({{\mathbb Z}}_N)}$ (defined in Section \[S:2\]) of a multiplicative function $f$ with modulus at most $1$ do not necessarily converge as $N\to \infty$ even if $f$ takes values in the set $\{-1,1\}$. To see this, consider the (non-completely) multiplicative function defined by $f(n)=(-1)^{n+1}$. Then $\lim_{N\to \infty}{\lVert f_{2N} \rVert}_{U^2({{\mathbb Z}}_{2N})}=1$ and $\lim_{N\to \infty}{\lVert f_{2N+1} \rVert}_{U^2({{\mathbb Z}}_{2N+1})}=1/2$. On the other hand, Theorem \[T:3\] implies that if $f$ is a complex valued multiplicative function with modulus at most $1$, then the averages $$\frac{1}{N^3}\sum_{1\leq m,n,r\leq N} f(m) \, \overline{f}(m+n) \, \overline{f}(m+r)\,  f(m+n+r)$$ converge as $N\to \infty$. Note that taking the previous average over ${{\mathbb Z}}_N$ leads to ${\lVert f_N \rVert}_{U^2({{\mathbb Z}}_N)}^4$. Theorem \[T:3\] also implies convergence for higher dimensional variants of such averages.

Notation and conventions
------------------------

We denote by ${{\mathbb N}}$ the set of positive integers and by ${{\mathbb P}}$ the set of prime numbers. For $d,N\in{{\mathbb N}}$ we let ${{\mathbb Z}}_N:={{\mathbb Z}}/N{{\mathbb Z}}$, $[N]:=\{1,\dots,N\}$, $[N]^d=[N]\times\cdots \times[N]$. We identify $[N]$ and ${{\mathbb Z}}_N$ in the obvious way. We let ${\mathrm{e}}(t):=e^{2\pi it}$. A linear form $L\colon {{\mathbb N}}^d\to {{\mathbb N}}$ is a function of the form $L({{\mathbf{m}}})={{\mathbf{k}}}\cdot{{\mathbf{m}}}$ for some ${{\mathbf{k}}}\in {{\mathbb N}}^d$. Two linear forms are independent if one is not a rational multiple of the other. With $o_{N\to \infty}(1)$ we denote a quantity that converges to $0$ when $N\to \infty$ and all other implicit parameters are fixed.

A function $f\colon {{\mathbb N}}\to {{\mathbb C}}$ is *multiplicative* if $f(mn)=f(m)f(n)$ whenever $(m,n)=1$. Moreover, $f$ is *completely multiplicative* if this relation holds for all $m,n\in {{\mathbb N}}$.

With ${{\mathcal M}}_{{\mathbb R}}$, ${{\mathcal M}}_{{\mathbb C}}$, ${{\mathcal M}}_{{\mathbb T}}$, we denote the set of multiplicative functions on ${{\mathbb N}}$ that take values on $[-1,1]$, the unit disc, and the unit circle correspondingly.

A Dirichlet character (denoted by $\chi$) is a completely multiplicative function that is periodic and not identically $0$.

Two key ingredients {#S:2}
===================

To prove Theorem \[T:Main\] we will use a structural result for multiplicative functions proved by the authors in @FH14 and the following extension of the mean value theorem of Halász which can be found in the exact form stated here in @D83 [Theorem 1]:

\[Halász-Delange @D72 [@D83; @Hal68]\]\[T:HalaszAP\] Let $f\in {{\mathcal M}}_{{\mathbb C}}$. Then there exists a constant $t\in {{\mathbb R}}$ and a slowly-varying sequence $w\colon {{\mathbb N}}\to {{\mathbb R}}$, such that the following holds: For every $a,b\in {{\mathbb N}}$ there exists a constant $c=c_{f,a,b}\in {{\mathbb C}}$ such that $$\label{E:fab}
  \frac{1}{N}\sum_{n=1}^Nf(an+b)=c N^{it}{\mathrm{e}}(w(N))+o_{N\to \infty}(1).$$ If $c_{f,a,b}= 0$ for all $a,b\in {{\mathbb N}}$, we set $t_f:=0$ and $w_f:=0$. If $c_{f,a,b}\neq 0$ for some $a,b\in {{\mathbb N}}$, then $t=t_f$ is the unique real number for which there exists a primitive Dirichlet character $\chi=\chi_f$ such that $\sum_{p\in {{\mathbb P}}}\frac{1}{p}\,\bigl(1-{\operatorname{Re}}\bigl(\chi(p)f(p) p^{it}\bigr)\bigr)<\infty$. Furthermore, $\chi$ is uniquely determined and we set $w_f(N):=\sum_{p\in {{\mathbb P}}, p\leq N}\frac{1}{p}{\operatorname{Im}}(\chi(p)f(p)p^{-it})$.

$\bullet$ It is important that neither $t_f$ nor $w_f$ depend on $a$ or $b$.

$\bullet$ It follows from and the definition of $w_f$, that for $f\in {{\mathcal M}}_{{\mathbb C}}$ we have $t_{\bar{f}}=-t_f$ and $w_{\bar{f}}=-w_f$. Hence, for $f\in {{\mathcal M}}_{{\mathbb R}}$ we have $t_f=0$ and $w_f=0$. In this case, the averages in converge for all $a,b\in {{\mathbb N}}$; explicit formulas for the limit appear in @BGS12 [@D83].

We now turn to the structural result; in order to state it we need to introduce some notation from @FH14. Given $f\colon {{\mathbb N}}\to {{\mathbb C}}$ and $N\in {{\mathbb N}}$ we let $$f_N:=f\cdot {\mathbf{1}}_{[N]}$$ and whenever appropriate, identifying the interval $[N]$ with ${{\mathbb Z}}_N$, we consider $f_N$ as a function in ${{\mathbb Z}}_N$. By a *kernel* on ${{\mathbb Z}}_N$ we mean a non-negative function on ${{\mathbb Z}}_{N}$ with average $1$. For every prime number $N$ and $\theta>0$, in @FH14 [Section 3.3] we defined two positive integers $Q=Q(\theta)$ and $V=V(\theta)$, and for $N>2QV$, a kernel $\phi_{N,\theta}$ was defined as follows: The spectrum of $\phi_{N,\theta}$ is the set $$\label{eq:def-Xi}
\Xi_{N,\theta}:=\Big\{\xi\in {{\mathbb Z}}_N\colon
\Bigl\Vert\frac{Q \xi}N\Bigr\Vert<
\frac{QV}N\Big\},$$ and $$\label{eq:fourier-phi} \widehat{\phi_{N,\theta}}(\xi) :=\begin{cases}
\displaystyle 1-\Bigl\Vert \frac{Q\xi}N\Bigr\Vert\, \frac
N{ QV}
&\ \  \text{if }\  \xi\in\Xi_{N,\theta} \  ;\\
0 & \ \ \text{otherwise.}
\end{cases}$$ We recall the definition of the $U^s$-Gowers uniformity norms from @G01.

\[Gowers norms on a cyclic group @G01\] Let $N\in {{\mathbb N}}$ and $a\colon {{\mathbb Z}}_N\to {{\mathbb C}}$. For $s\in {{\mathbb N}}$ the *Gowers $U^s({{\mathbb Z}}_N)$-norm* ${\lVert a \rVert}_{U^s({{\mathbb Z}}_N)}$ of $a$ is defined inductively as follows: For every $t\in{{\mathbb Z}}_N$ we write $a_t(n):=a(n+t)$. We let $${\lVert a \rVert}_{U^1({{\mathbb Z}}_N)}:=\Big|\frac{1}{N}\sum_{n\in {{\mathbb Z}}_N} a(n)\Big|$$ and for every $s\in {{\mathbb N}}$ we let $${\lVert a \rVert}_{U^{s+1}({{\mathbb Z}}_N)}:=\Bigl(\frac{1}{N}\sum_{t\in {{\mathbb Z}}_N}{\lVert a\cdot \overline a_t \rVert}_{U^s({{\mathbb Z}}_N)}^{2^s}\Bigr)^{1/2^{s+1}}.$$ If $f$ is a function on ${{\mathbb N}}$, then ${\lVert f_N \rVert}_{U^s({{\mathbb Z}}_N)}$ is defined by considering the function $f_N=f\cdot {\mathbf{1}}_{[N]}$ as a function on ${{\mathbb Z}}_N$.

The following structural result from @FH14 is crucial for our study:

\[Structure theorem for multiplicative functions <span>**@FH14 [Theorem 8.1]**</span>\] \[T:Structure\] Let $s\in {{\mathbb N}}$ and ${\varepsilon}>0$. Then there exists a real number $\theta>0$ and $N_0\in {{\mathbb N}}$, depending on $s$ and ${\varepsilon}$ only, such that for every prime $N\geq N_0$, every $f\in{{\mathcal M}}_{{\mathbb C}}$ admits the decomposition $$f(n)=f_{N,{{\text{\rm st}}}}(n)+f_{N,{{\text{\rm un}}}}(n), \quad \text{ for every }\  n\in [N],$$ where $f_{N,{{\text{\rm st}}}},f_{N,{{\text{\rm un}}}}\colon [N]\to {{\mathbb C}}$ are bounded by $1$ and $2$ respectively and satisfy:

1.  \[it:weakUs-1\] $f_{N,{{\text{\rm st}}}}=f_N*\phi_{N,\theta}$ where $\phi_{N,\theta}$ is the kernel on ${{\mathbb Z}}_N$ defined previously and the convolution product is defined in ${{\mathbb Z}}_N$;

2.  \[it:weakUs-3\] ${\lVert f_{N,{{\text{\rm un}}}} \rVert}_{U^s({{\mathbb Z}}_N)}\leq{\varepsilon}$.

We think of $f_{N,{{\text{\rm st}}}}$ and $f_{N,{{\text{\rm un}}}}$ as the structured and uniform component of $f$ respectively.

From this point on we assume that $N>2QV$. When convenient we identify ${{\mathbb Z}}_N$ with the set $\{0,\ldots, N-1\}$ and we denote by $(a,b) \! \! \! \mod{N}$ the set that consists of those $\xi\in  {{\mathbb Z}}_N$ such that $\xi+kN\in (a,b)$ for some $k\in {{\mathbb Z}}$. Note that $\xi\in \Xi_{N,\theta}$ if and only if there exists $p\in {{\mathbb Z}}$ such that $\xi-\frac{p}{Q}N\in (-V,V) \! \! \mod{N}$. Hence, $$\Xi_{N,\theta}=\bigcup_{p=0}^{Q-1}\big(\frac{p}{Q}N-V,  \frac{p}{Q}N+V\big) \! \! \! \mod{N}.$$ We may choose to include or omit the endpoints of each interval (if they are integers), since for these values the Fourier transform of the kernel is $0$. Hence, we can assume that $$\label{E:StructureXi1}
\Xi_{N,\theta}=\bigcup_{p=0}^{Q-1} \Xi_{N,\theta,p}$$ where for $p=0,\ldots, Q-1$ we have $
\Xi_{N,\theta,p}:=\big\{\big\lfloor\frac{p}{Q}N\big\rfloor+j \bmod{N}\colon -V<j\leq V\big\}.
$ Note that for fixed $N>2QV$ and $\theta>0$ the sets $\Xi_{N,\theta,p}$, $p=0,\ldots, Q-1$, are disjoint, each of cardinality $2V$, hence $|\Xi_{N,\theta}|=2QV$. Furthermore, if $N\equiv 1 \bmod{Q}$, then $$\label{E:StructureXi2}
 \Xi_{N,\theta,p}=\big\{\frac{p}{Q}(N-1)+j  \bmod{N}\colon -V<j\leq V\big\}.$$ Restricting $N$ to a specific congruence class $\bmod Q$ is needed in the proof of Lemma \[L:Structured'\].

Proof of the main results {#S:proofs}
=========================

Preparatory lemmas
------------------

In what follows we use repeatedly the following simple fact: If $(w(n))$ is a slowly-varying sequence, then for every complex valued bounded sequence $(a(n))$ we have $$\frac{1}{N}\sum_{n=1}^Na(n){\mathrm{e}}(w(n))={\mathrm{e}}(w(N))\cdot \frac{1}{N}\sum_{n=1}^Na(n)+o_{N\to \infty}(1).$$

We start with some preliminary lemmas.

\[L:Partial'\] Let $(a(n))$ be a bounded sequence of complex numbers and $(w(n))$ be a slowly-varying sequence. Suppose that there exist $c\in {{\mathbb C}}$ and $t\in {{\mathbb R}}$ such that $$\label{E:assumption}
\frac{1}{N}\sum_{n=1}^Na(n)=cN^{it}{\mathrm{e}}(w(N))+o_{N\to \infty}(1).$$ Then for every $\alpha\in {{\mathbb R}}$ we have $$\frac{1}{N}\sum_{n=1}^Na(n){\mathrm{e}}\big( n\frac{\alpha}{N}\big)=c'N^{it}{\mathrm{e}}(w(N))+o_{N\to \infty}(1)$$ where $c':=c (1+it)  \int_{0}^1 y^{it}{\mathrm{e}}\big(  \alpha y\big)\, dy$.

Without loss of generality we can assume that $c=1/(1+it)$.

We first claim that $$\label{E:a1}
\frac{1}{N}\sum_{n=1}^Na(n){\mathrm{e}}\big( n\frac{\alpha}{N}\big)={\mathrm{e}}(w(N))\cdot \frac{1}{N}\sum_{n=1}^Nn^{it} {\mathrm{e}}\big( n\frac{\alpha}{N}\big)+o_{N\to \infty}(1).$$ Indeed, for $n\in {{\mathbb N}}$ let $$S(n):=\sum_{k=1}^n\big(a(k)-k^{it}{\mathrm{e}}(w(k))\big).$$ Since $w$ is a slowly-varying sequence and $\frac{1}{N}\sum_{n=1}^Nn^{it}=\frac{N^{it}}{1+it}+o_{N\to\infty}(1)$, we get that $\frac{1}{N}\sum_{n=1}^Nn^{it}{\mathrm{e}}(w(n))=\frac{N^{it}}{1+it}{\mathrm{e}}(w(N))+o_{N\to\infty}(1)$; hence gives that $S(n)/n\to 0$ as $n\to \infty$. Using partial summation we see that the modulus of the average $$\frac{1}{N}\sum_{n=1}^N\big(a(n)-n^{it}{\mathrm{e}}(w(n))\big){\mathrm{e}}\big( n\frac{\alpha}{N}\big)$$ is at most $$\frac{1}{N}\big(\sum_{n=2}^{N-1}|S(n)|\big|{\mathrm{e}}\big( (n+1)\frac{\alpha}{N}\big)-{\mathrm{e}}\big( n\frac{\alpha}{N}\big)\big|+|S(N)|\big)+o_{N\to\infty}(1).$$ Let $\varepsilon>0$. Since $S(n)/n\to 0$ as $n\to \infty$ we have $|S(n)|/n\leq \varepsilon$ for every sufficiently large $n$, and thus the last expression is bounded by $$\frac{1}{N}\big(\sum_{n=2}^{N-1}\varepsilon n\frac{|2\pi\alpha|}{N}+\varepsilon N\big)+o_{N\to\infty}(1)\leq (|\pi\alpha|+1)\varepsilon +o_{N\to\infty}(1).$$ Since $\varepsilon$ is arbitrary we get that $$\frac{1}{N}\sum_{n=1}^N\big(a(n)-n^{it}{\mathrm{e}}(w(n))\big){\mathrm{e}}\big( n\frac{\alpha}{N}\big)=o_{N\to\infty}(1)$$ and the asymptotic follows because $w$ is slowly-varying.

Lastly, note that $$\frac{1}{N}\sum_{n=1}^Nn^{it}{\mathrm{e}}\big( n\frac{\alpha}{N}\big)=
N^{it}
\cdot  \frac{1}{N}\sum_{n=1}^N\big(\frac{n}{N}\big)^{it}{\mathrm{e}}\big( n\frac{\alpha}{N}\big).$$ Interpreting the last average as a Riemann sum we get that it converges to the integral $\int_0^1 y^{it}{\mathrm{e}}(\alpha y)\, dy$ (integration by parts shows that the integral converges). Hence, $$\frac{1}{N}\sum_{n=1}^Nn^{it}{\mathrm{e}}\big( n\frac{\alpha}{N}\big)=c'\cdot N^{it}+o_{N\to\infty}(1)$$ where $c':=\int_{0}^1 y^{it}{\mathrm{e}}\big( \alpha y\big)\, dy$.

Combining the above we get the asserted claim.

The next lemma enables us to get asymptotics for the discrete Fourier transform of elements of ${{\mathcal M}}_{{\mathbb C}}$ for certain "major arc" frequencies.

\[L:Fourier'\] Let $f\in {{\mathcal M}}_{{\mathbb C}}$, $t=t_f$, $w=w_f$, be as in Theorem \[T:HalaszAP\]. Furthermore, let $Q\in {{\mathbb N}}$, $p,\xi'\in {{\mathbb Z}}$, and $$\xi_N=\frac{p}{Q}N+\frac{\xi'}{Q}, \quad N\in {{\mathbb N}}.$$ Then there exists a constant $c=c_{f,p,Q,\xi'}\in {{\mathbb C}}$ such that $$\label{E:fouri}
 \frac{1}{N}\sum_{n=1}^{N}f(n){\mathrm{e}}\big(-n\frac{\xi_N}{N}\big)=cN^{it}{\mathrm{e}}(w(N))+o_{N\to\infty}(1).$$

We are going to apply this for integers $p,\xi', N$ such that $N\equiv 1 \bmod{Q}$ and $p+\xi'\equiv 0 \bmod{Q}$, in which case $\xi_N$ is an integer.

Notice first that the left hand side in is equal to $$\frac{1}{Q}\sum_{r=1}^Q{\mathrm{e}}\big(-r\frac{p}{Q}\big) \frac{1}{\lfloor N/Q \rfloor}\sum_{n=1}^{ \lfloor N/Q \rfloor}f(Qn+r){\mathrm{e}}\big(-(Qn+r)\frac{\xi'}{QN}\big)+o_{N\to\infty}(1).$$ Hence, it suffices to show that for every fixed $Q,\xi',$ and $r\in [Q]$, we have the asserted asymptotic for the averages $$\frac{1}{ \lfloor N/Q \rfloor}\sum_{n=1}^{\lfloor N/Q\rfloor}f(Qn+r){\mathrm{e}}\big(-(Qn+r)\frac{\xi'}{QN}\big).$$ Since ${\mathrm{e}}(-r\xi'/(QN))\to 1$ as $N\to \infty$ it suffices to prove the asserted asymptotic for the averages $$\label{E:Av1'}
 \frac{1}{ \lfloor N/Q \rfloor}\sum_{n=1}^{ \lfloor N/Q \rfloor}f(Qn+r){\mathrm{e}}\big(-n\frac{\xi'}{N}\big).$$ By Theorem \[T:HalaszAP\] there exists $c=c_{f,Q,r}\in {{\mathbb C}}$ such that $$\frac{1}{N}\sum_{n=1}^Nf(Qn+r)=cN^{it}{\mathrm{e}}(w(N))+o_{N\to\infty}(1).$$ Using Lemma \[L:Partial'\] for $a(n):=f(Qn+r)$ and that $\lfloor N/Q \rfloor^{it}-(N/Q)^{it}\to 0$ and $w(N)-w(\lfloor N/Q \rfloor)\to 0$ as $N\to \infty$ (since $w$ is slowly-varying), we deduce the needed asymptotic for the averages . This completes the proof.

Next we analyze the asymptotic behavior of the averages when in place of the multiplicative functions $f_1,\ldots, f_\ell$ we use their structured components given by Theorem \[T:Structure\].

\[L:Structured'\] Let $\theta>0$, $d,Q\in {{\mathbb N}}$, $f_1,\ldots, f_\ell \in {{\mathcal M}}_{{\mathbb C}}$, and $t_{f_j}$, $w_{f_j}$, $j=1,\ldots, \ell$, be as in Theorem \[T:HalaszAP\]. Let also $L_1,\ldots, L_\ell\colon {{\mathbb N}}^d\to {{\mathbb N}}$ be linear forms let $\kappa$ be twice the sum of their coefficients. For $N\in {{\mathbb N}}$ let ${{\widetilde N}}>N$ be a prime that satisfies ${{\widetilde N}}\equiv 1  \bmod{Q}$ and suppose that the limit $\beta:=\lim_{N\to \infty} (N/{{\widetilde N}})$ exists and is smaller than or equal to $\kappa{^{-1}}$. For $j=1,\ldots, \ell,$ let $f_{j,{{\widetilde N}},{{\text{\rm st}}}}:=f_{j,{{\widetilde N}}}*\phi_{{{\widetilde N}},\theta}$ where $\phi_{{{\widetilde N}},\theta}$ is defined by and the convolution product is defined in ${{\mathbb Z}}_{{\widetilde N}}$. Then there exists $c\in {{\mathbb C}}$ such that $$\label{E:Str1'}
\frac{1}{N^d}\sum_{{{\mathbf{m}}}\in  [N]^d} \prod_{j=1}^\ell f_{j,{{\widetilde N}}, {{\text{\rm st}}}}(L_j({{\mathbf{m}}}))=c  N^{it}{\mathrm{e}}(w(N))+o_{N\to\infty}(1)$$ where $t:=\sum_{j=1}^\ell t_{f_j}$ and $w:=\sum_{j=1}^\ell w_{f_j}$.

By the definition of $f_{j,{{\widetilde N}},{{\text{\rm st}}}}$ we have for $j=1,\ldots,\ell$ that $$f_{j,{{\widetilde N}},{{\text{\rm st}}}}(n)= \sum_{\xi \in \Xi_{{{\widetilde N}},\theta}} \widehat{f_{j,{{\widetilde N}}}}(\xi)\, \widehat{\phi_{{{\widetilde N}},\theta}}(\xi) \, {\mathrm{e}}\big(n\frac{\xi}{{{\widetilde N}}}\big), \quad n\in
[{{\widetilde N}}],$$ where $\Xi_{{{\widetilde N}},\theta}$ is the spectrum of $\phi_{{{\widetilde N}},\theta}$ (defined in ).

Recall that for $1\leq j\leq\ell$, the linear form $L_j$ has non-negative integer coefficients. By hypothesis, for every ${{\mathbf{m}}}\in[N]^d$ we have $0\leq L_j({{\mathbf{m}}})\leq\kappa N/2$. On the other hand, for $N$ large enough we have ${\widetilde}N\geq \kappa N/2$ and thus, for every ${{\mathbf{m}}}\in[N]^d$, we have $L_j({{\mathbf{m}}})\in[{\widetilde}N]$. Therefore, the last formula holds for $n=L_j({{\mathbf{m}}})$.

Since ${{\widetilde N}}\equiv 1  \bmod{Q}$ it follows from and that for ${{\widetilde N}}>2QV$ if $\xi\in \Xi_{{{\widetilde N}},\theta}$, then $\xi$ can be uniquely represented as $$\xi=\frac{p}{Q}{{\widetilde N}}+\frac{\xi'}{Q}$$ for some $p\in \{0,\ldots, Q-1\}$ and $\xi'\in \Xi'_{p,\theta}$ where for $p=0,1,\ldots, Q-1$ we have $$\Xi'_{p,\theta}:=
\big\{-p+jQ\colon -V< j\leq V\big\}.$$ Hence, it suffices to show that the averages satisfy the asserted asymptotic when for $j=1,\ldots, \ell$ the (finite) sequence $(f_{j,{{\widetilde N}},{{\text{\rm st}}}}(n))_{n\in [{{\widetilde N}}]}$ in is replaced by the sequence $$\widehat{f_{j,{{\widetilde N}}}}\big(\frac{p_j}{Q}{{\widetilde N}}+\frac{\xi_j'}{Q}\big)\cdot \widehat{\phi_{{{\widetilde N}},\theta}}
\big(\frac{p_j}{Q}{{\widetilde N}}+\frac{\xi_j'}{Q}\big)\cdot  {\mathrm{e}}\big(n(\frac{p_j}{Q}+\frac{\xi_j'}{Q{{\widetilde N}}})\big), \quad n\in[{{\widetilde N}}],$$ for all possible vectors $(p_1,\ldots, p_\ell)$, $(\xi_1',\ldots, \xi_\ell')$, where $p_j\in \{0,\ldots, Q-1\}$ and $\xi_j'\in \Xi'_{p_j,\theta}$ for $j=1,\ldots, \ell$.

For $j=1,\ldots, \ell,$ by Lemma \[L:Fourier'\] we have that there exists $c_j=c_{f,p_j,\theta, \xi_j'}\in {{\mathbb C}}$ such that $$\widehat{f_{j,{{\widetilde N}}}}\big(\frac{p_j}{Q}{{\widetilde N}}+\frac{\xi_j'}{Q}\big)=c_j {{\widetilde N}}^{it_{f_j}}{\mathrm{e}}(w_{f_j}({{\widetilde N}}))+o_{N\to\infty}(1)=c'_j N^{it_{f_j}}{\mathrm{e}}(w_{f_j}(N))+o_{N\to\infty}(1)$$ where $c'_j:=\beta^{-it_{f_j}}c_j$ and the last identity follows because $\lim_{N\to \infty}  \frac{N}{{{\widetilde N}}}=\beta$ and $w_{f_j}$ is a slowly-varying sequence. Hence, there exists $c=c_{f,p_1,\ldots, p_\ell,\beta,\theta, \xi_1',\ldots, \xi_\ell'}\in {{\mathbb C}}$ such that $$\prod_{j=1}^\ell\widehat{f_{j,{{\widetilde N}}}}\big(\frac{p_j}{Q}{{\widetilde N}}+\frac{\xi_j'}{Q}\big)=c N^{it}{\mathrm{e}}(w(N))+o_{N\to\infty}(1)$$ where $t:=\sum_{j=1}^\ell t_{f_j}$ and $w:=\sum_{j=1}^\ell w_{f_j}$.

Furthermore, it follows from that $$\widehat{\phi_{{{\widetilde N}},\theta}}
\big(\frac{p_j}{Q}{{\widetilde N}}+\frac{\xi_j'}{Q}\big)=1-\frac{\xi_j'}{QV}, \quad \text{whenever }\  {{\widetilde N}}\geq 2QV.$$

Finally, we deal with the terms ${\mathrm{e}}\big(n(\frac{p_j}{Q}+\frac{\xi_j'}{Q{{\widetilde N}}})\big)$. After substituting $L_1({{\mathbf{m}}}),\dots,L_\ell({{\mathbf{m}}})$ for $n$, and writing ${{\mathbf{m}}}=(m_1,\ldots,m_d)$, they give rise to averages of the form $$\frac{1}{N^d}\sum_{1\leq m_1,\ldots,m_d\leq N} {\mathrm{e}}\Big(\sum_{j=1}^d m_j\big(\frac{k_j}{Q}+\frac{l_j}{Q{{\widetilde N}}}\big)\Big)$$ for some $k_j,l_j \in {{\mathbb Z}}$, $j=1,\ldots,d,$ which depend only on the coefficients of the linear forms and the set $\bigcup_{p=0}^{Q-1}\Xi'_{p,\theta}$. If for some $j\in \{1,\ldots, \ell\}$ the integer $k_j$ is not divisible by $Q$, then this average converges to $0$. Otherwise, it converges to $\prod_{j=1}^d\int_0^1{\mathrm{e}}\big(l_j\beta s/Q)\, ds$.

Combining the above we get the asserted asymptotic .

Next we state a variant of some uniformity estimates that appear in @GT10 [Proposition 7.1]. They can be obtained using an argument similar to the one in @FH14 [Lemma 9.6]; we present it for completeness.

\[Uniformity estimates\] \[L:seminorms\] Let $d,\ell\in {{\mathbb N}}$, with $\ell \geq 3$, and $L_j\colon {{\mathbb N}}^d\to {{\mathbb N}}$, $j=1,\ldots, \ell$, be linear forms such that the forms $L_1,L_j$ are independent for $j=2,\ldots,  \ell$. Let $\kappa$ be twice the sum of the coefficients of the forms $L_j$ and $K\in {{\mathbb N}}$ with $K>\kappa$. For $N\in {{\mathbb N}}$ large enough, let ${{\widetilde N}}$ be a prime with $\kappa N\leq {{\widetilde N}}\leq KN$ and $a_{N,1}\ldots,a_{N,\ell}\colon [{{\widetilde N}}]\to {{\mathbb C}}$ be arbitrary sequences bounded by $1$. Then there exist positive constants $c=c(d,\ell)$ and $C=C(d,\ell,K)$, such that $$\label{E:uniform}
\Big|\frac{1}{N^d}\sum_{{{\mathbf{m}}}\in [N]^d}
\prod_{j=1}^\ell a_{N,j}(L_j({{\mathbf{m}}}))\Big|\leq C\, {\lVert a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}^c+o_N(1).$$

After putting together terms evaluated at linear forms $L_j$, $j=2,\ldots, \ell$, that are pairwise dependent we can assume that the linear forms are pairwise independent.

For $j=1,\ldots, \ell$ and $N\in {{\mathbb N}}$, let ${\widetilde}a_{N,j}\colon {{\mathbb Z}}\to {{\mathbb C}}$ be periodic of period ${\widetilde}N$ and equal to $a_{N,j}$ on the interval $\bigl[-\lceil {\widetilde}N/2\rceil,   \lfloor {\widetilde}N/2\rfloor\bigr)$. For ${{\mathbf{m}}}\in [N]^d$, since $|L_j({{\mathbf{m}}})|<{\widetilde}N/2$, we have $a_{N,j}(L_j({{\mathbf{m}}}))={\widetilde}a_{N,j}(L_j({{\mathbf{m}}}))$. Hence, $$\label{E:uniform1}
 \frac{1}{N^d}\sum_{{{\mathbf{m}}}\in [N]^d}  \prod_{j=1}^\ell a_{N,j}(L_j({{\mathbf{m}}}))
 =\big(\frac{\tilde{N}}{N}\big)^d\cdot
 \frac{1}{{{\widetilde N}}^d}\sum_{{{\mathbf{m}}}\in {{\mathbb Z}}_{{{\widetilde N}}}^d}{\mathbf{1}}_{[N]^d}({{\mathbf{m}}})\, \prod_{j=1}^\ell {\widetilde}a_{N,j}(L_j({{\mathbf{m}}})).$$ Henceforth, we work with the right hand side and assume that the linear forms $L_j$ and the functions ${\widetilde}a_{N,j}$ are defined on ${{\mathbb Z}}_{{\widetilde N}}$.

Our first goal is to remove the cut-off ${\bf 1}_{[N]^d}({{\mathbf{m}}})$. To do this, one can follow the method in @GT10 [Proposition 7.1], or what turns out to be somewhat simpler, follow the argument in @FH14 [Lemma A.1]; after approximating the cut-off by a product of smoothed out cut-offs in ${{\mathbb Z}}_{{\widetilde N}}$ we deduce that for some $C'=C'(d,K)$ the modulus of the right hand side in is bounded by $$\label{E:uniform1'}
C'\cdot \max_{{\bf \xi}\in{{\mathbb Z}}_{{{\widetilde N}}}^d}
\Bigl|\frac{1}{{{\widetilde N}}^d}\sum_{{{\mathbf{m}}}\in {{\mathbb Z}}_{{{\widetilde N}}}^d} {\mathrm{e}}\big(\frac{{{\mathbf{m}}}\cdot{\bf \xi}}{{\widetilde}N}\big) \prod_{j=1}^\ell{\widetilde}a_{N,j}(L_j({{\mathbf{m}}})) \Bigr|^{\frac{1}{d+1}}+o_{N\to \infty}(1).$$

Next we estimate the averages in . The pairwise independence of the linear forms $L_j$ implies that for ${{\widetilde N}}\geq \kappa^2$ the forms $L_j$ on ${{\mathbb Z}}_{{\widetilde N}}^d$ are pairwise independent over ${{\mathbb Z}}_{{\widetilde N}}$. Using this and an iteration of the Cauchy-Schwarz inequality (see for example the argument in @GT10 [Proposition 7.1]) we get $$\label{E:uniform2}
 \max_{{\bf \xi}\in{{\mathbb Z}}_{{{\widetilde N}}}^d}
\Bigl|\frac{1}{{{\widetilde N}}^d}\sum_{{{\mathbf{m}}}\in {{\mathbb Z}}_{{{\widetilde N}}}^d} {\mathrm{e}}\big(\frac{{{\mathbf{m}}}\cdot{\bf \xi}}{{\widetilde}N}\big) \prod_{j=1}^\ell{\widetilde}a_{N,j}(L_j({{\mathbf{m}}})) \Bigr|\leq
{\lVert {\widetilde}a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{{\widetilde N}}})}.$$ Note that the exponential terms are going to vanish in the process because $\ell\geq 3$.

Finally, we write $${{\mathbb Z}}_{{\widetilde N}}=I_N\cup J_N\cup\{0\},\ \text{ where }\ I_N:= [1,\lfloor {\widetilde}N/2\rfloor)\ \text{ and }\
J_N:= [\lfloor {{\widetilde N}}/2\rfloor, {{\widetilde N}}).$$ Note that ${\lVert {\mathbf{1}}_{\{0\}}\cdot {\widetilde}a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}\to 0$ as $N\to+\infty$. Furthermore, by the proof of @FH14 [Lemma A.1] we have $$\label{E:uniform3}
\max_{I\subset {{\mathbb Z}}_{{\widetilde N}}}{\lVert {\mathbf{1}}_{I_N}\cdot a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}\leq
3 {\lVert a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}^{1/(2^{\ell-1}+1)}+o_N(1)$$ where the maximum is taken over all subintervals $I$ of ${{\mathbb Z}}_{{\widetilde N}}$. Since ${\widetilde}a_{N,1}$ and $a_{N,1}$ coincide on $I_N$, we have ${\lVert {\mathbf{1}}_{I_N}\cdot {\widetilde}a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}={\lVert {\mathbf{1}}_{I_N} \cdot a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}$. For $n\in J_N$ we have ${\widetilde}a_{N,1}(n)={\widetilde}a_{N,1}(n-{{\widetilde N}})=a_{N,1}(n-{{\widetilde N}})=a_{N,1}({{\widetilde N}}-n)$. The map $n\mapsto {{\widetilde N}}-n$ maps the interval $J_N$ onto the interval $J_N':=[1,\lceil {\widetilde}N/2\rceil]$ and thus ${\lVert {\mathbf{1}}_{J_N}\cdot {\widetilde}a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}=
 {\lVert {\mathbf{1}}_{J_N'}\cdot  a_{N,1} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}$. The asserted estimate now follows by combining -.

Proof of the main results {#subsec:proof-of-main}
-------------------------

We proceed to prove the main results of this article.

\[Proof of Theorem \[T:Main\]\] Without loss of generality we can assume that $\ell\geq 3$. After putting together terms evaluated at linear forms that are pairwise dependent we can assume that the linear forms are pairwise independent.

Let $\varepsilon>0$. We let $\kappa$ be twice the sum of the coefficients of the forms $L_j$ and $$\delta:=\big(\frac{\varepsilon}{2C\ell}\big)^{1/c}$$ where $c,C$ are as in Lemma \[L:seminorms\]. We use the structural result of Theorem \[T:Structure\] for this $\delta$ in place of $\varepsilon$ and for $\ell-1$ in place of $s$. We get that there exists $\theta=\theta({\varepsilon},\ell)>0$ such that for all large enough $N\in {{\mathbb N}}$, if ${{\widetilde N}}$ denotes the smallest prime such that ${{\widetilde N}}>\kappa N$ and ${{\widetilde N}}\equiv 1  \bmod{Q}$ ($Q$ was introduced in Section \[S:2\] and depends only on $\theta$), then for $j=1,\ldots, \ell$, we have the decompositions $$\label{E:decomposition}
  f_j(n)=f_{j,{{\widetilde N}},{{\text{\rm st}}}}(n)+ f_{j,{{\widetilde N}},{{\text{\rm un}}}}(n), \qquad n\in [{{\widetilde N}}],$$ where $f_{j,{{\widetilde N}},{{\text{\rm st}}}}=f_{j,{{\widetilde N}}}*\phi_{{{\widetilde N}},\theta}$ ($\phi_{{{\widetilde N}},\theta}$ is defined by ) and $$\label{E:bound}
{\lVert f_{j,{{\widetilde N}},{{\text{\rm un}}}} \rVert}_{U^{\ell-1}({{\mathbb Z}}_{{\widetilde N}})}\leq\delta.$$ The prime number theorem on arithmetic progressions implies that $$\lim_{N\to \infty}\frac{N}{{{\widetilde N}}}=\frac{1}{\kappa}.$$ We remark that the hypothesis of Lemma \[L:Structured'\] are satisfied. As in the proof of this lemma, for $N$ sufficiently large we have $L_j({{\mathbf{m}}})\in[{\widetilde}N]$ for $j=1,\dots,\ell$ and every ${{\mathbf{m}}}\in [N]^d$ and thus equation applies for $L_j({{\mathbf{m}}})$ in place of $n$.

For $N\in {{\mathbb N}}$, given $a_{N, 1},\ldots, a_{N,\ell}\colon [{{\widetilde N}}]\to {{\mathbb C}}$ we define $$A_N(a_{N,1},\ldots, a_{N,\ell}):=\frac{1}{N^d}\sum_{{{\mathbf{m}}}\in [N]^d} \prod_{j=1}^\ell a_{N,j}(L_j({{\mathbf{m}}})).$$ Since for $j=1,\ldots, \ell,$ the functions $f_{j,{{\widetilde N}},{{\text{\rm un}}}}\colon [{{\widetilde N}}] \to {{\mathbb C}}$ are bounded by $2$, it follows from Lemma \[L:seminorms\] and that $$|A_N(a_{N, 1},\ldots, a_{N,\ell})|\leq {\varepsilon}/\ell+o_N(1)$$ if $a_{N,j}=f_{j,{{\widetilde N}},{{\text{\rm un}}}}$ for some $j=1,\ldots, \ell$ and all other sequences $a_{N,j}$ are bounded by $1$. Using this property, equation , the fact that $f_j, f_{j,{{\widetilde N}},{{\text{\rm st}}}}$ are bounded by $1$ for $j=1,\ldots, \ell$, and telescoping, we deduce that $$\limsup_{N\to\infty}|A_{N}(f_1,\ldots, f_\ell)-A_{N}(f_{1,{{\widetilde N}},{{\text{\rm st}}}},\ldots, f_{\ell, {{\widetilde N}},{{\text{\rm st}}}})|\leq \varepsilon.$$ Furthermore, by Lemma \[L:Structured'\] we have that the limit $$\lim_{N\to \infty} N^{-it}{\mathrm{e}}(-w(N))  A_{N}(f_{1,{{\widetilde N}},{{\text{\rm st}}}},\ldots, f_{\ell, {{\widetilde N}},{{\text{\rm st}}}})$$ exists for $t:=\sum_{i=1}^\ell t_{f_i}$ and $w:=\sum_{i=1}^\ell w_{f_i}$. It follows that $$\begin{gathered}
 \limsup_{N\to \infty}{\operatorname{Re}}\big(N^{-it}{\mathrm{e}}(-w(N))A_N(f_1,\ldots, f_\ell)\big)\leq \\ \liminf_{N\to \infty}{\operatorname{Re}}\big(N^{-it}{\mathrm{e}}(-w(N))A_N(f_1,\ldots, f_\ell)\big)+ 2\varepsilon\end{gathered}$$ and a similar estimate holds for the imaginary parts. Since $\varepsilon$ is arbitrary and all expressions are bounded, the limit $\lim_{N\to \infty} \big(N^{-it}{\mathrm{e}}(-w(N))A_N(f_1,\ldots, f_\ell)\big)$ exists. This proves the asserted asymptotic.

Finally, we prove the last claim of Theorem \[T:Main\]. If the linear forms are pairwise independent and one of the multiplicative functions is non-pretentious, then, using the terminology of @FH14, it is aperiodic (see @FH14 [Proposition 2.3]). Hence, by @FH14 [Theorem 9.7] the averages converge to $0$ as $N\to \infty$.

\[Proof of Theorem \[T:1\]\] After putting together terms evaluated at linear forms that are pairwise dependent we can assume that the linear forms are pairwise independent. Since the multiplicative functions take real values, it follows by the definition of $t_f$ and $w_f$ in Theorem \[T:HalaszAP\] (see the remark following this theorem) that $t_{f_j}=0$ and $w_{f_j}=0$ for $j=1,\ldots, \ell$. The result is now immediate from Theorem \[T:Main\].

\[Proof of Theorem \[T:2\]\] Since $|N^{it}{\mathrm{e}}(w(N))|=1$ for every $N\in {{\mathbb N}}$ the result follows immediately from Theorem \[T:Main\].

\[Proof of Theorem \[T:3\]\] It follows from the definition of $t_f$ and $w_f$ in Theorem \[T:HalaszAP\] that if $f\in {{\mathcal M}}_{{\mathbb C}}$, then $t_{\bar{f}}=-t_f$ and $w_{\bar{f}}=-w_f$. The result then follows immediately from Theorem \[T:Main\].

\[Proof of Theorem \[T:4\]\] In what follows we denote by $TF$ the composition $F\circ T$.

The polarization identity $$\begin{gathered}
4\langle T_nF, T_mG \rangle=\langle T_n(F+G), T_m(F+G) \rangle
-\langle T_n(F-G), T_m(F-G) \rangle+\\
i\langle T_n(F+iG), T_m(F+iG) \rangle-i \langle T_n(F-iG), T_m(F-iG) \rangle\end{gathered}$$ allows us to express a sequence of the form $\int T_nF\cdot T_mG \ d\mu$, $F,G\in L^2(\mu)$, as a linear combination of sequences of the form $\int T_nH\cdot T_m\bar{H} \ d\mu$ with $H\in L^2(\mu)$. It thus suffices to check the asserted convergence of ergodic averages when $G=\bar{F}$.

To this end, note that the action $(T_n)_{n\in {{\mathbb N}}}$ on $(X,{{\mathcal X}},\mu)$ extends to a measure preserving action $(T_r)_{r\in{{\mathbb Q}}^+}$ of the multiplicative group ${{\mathbb Q}}^+$ by defining $$T_{a/b}:=T_aT_b{^{-1}}\ \ \text{ for all }\ \  a,b\in{{\mathbb N}}.$$ Let $\rho\colon{{\mathbb Q}}^+\to{{\mathbb C}}$ be defined by $$\rho(r):=\int T_rF\cdot \overline{F}\, d\mu, \quad r\in {{\mathbb Q}}^+.$$ Then $\rho$ is positive definite on $({{\mathbb Q}}^+,\cdot$), that is, for every $n\in{{\mathbb N}}$, all $r_1,\dots,r_n\in{{\mathbb Q}}^+$, and all $\lambda_1,\dots,\lambda_n\in{{\mathbb C}}$, we have $$\sum_{i,j=1}^n\lambda_i\overline{\lambda_j}\,\rho(r_i\,r_j{^{-1}})\geq 0.$$ By Bochner's theorem, there exists a unique positive finite measure $\nu$ on the dual group of the group ${{\mathbb Q}}^+$ with multiplication, with a Fourier-Stieltjes transform ${\widehat}\nu$ equal to the function $\rho$. The dual group of the multiplicative group ${{\mathbb Q}}^+$ is the space ${{\mathcal M}}_{{{\mathbb T}}}^c$ of all completely multiplicative functions of modulus $1$, the duality being given by $$f(m/n)=f(m)\overline f(n) \ \ \text{ for every }\ \ f\in {{\mathcal M}}_{{{\mathbb T}}}^c
\ \text{ and every }\ m,n\in{{\mathbb N}}.$$ The group ${{\mathcal M}}_{{{\mathbb T}}}^c$ is endowed with the dual topology, which is simply the compact topology of pointwise convergence.

It follows from the previous discussion that for every function $F\in L^2(\mu)$ there exists a positive finite measure $\nu$ on the compact Abelian group ${{\mathcal M}}_{{{\mathbb T}}}^c$, such that, for all $m,n\in{{\mathbb N}}$, $$\int T_mF\cdot \overline T_nF\,d\mu
=\int T_{m/n}F\cdot \overline F\,d\mu=\int_{{{\mathcal M}}_{{{\mathbb T}}}^c}f(m/n)\,d\nu(f)
=\int_{{{\mathcal M}}_{{{\mathbb T}}}^c}f(m)\, \overline f(n)\,d\nu(f).$$ Hence, in order to show convergence of the averages it suffices to prove that the following averages converge $$\frac{1}{N^d}\sum_{{{\mathbf{m}}}\in [N]^d} \int_{{{\mathcal M}}_{{{\mathbb T}}}^c}f(\prod_{j=1}^\ell L_j({{\mathbf{m}}}))\cdot  \overline f(\prod_{j=1}^\ell L'_j({{\mathbf{m}}}))\,d\nu(f)$$ as $N\to \infty$. Since $f$ is completely multiplicative this follows from Theorem \[T:3\] and the bounded convergence theorem.

<span>99</span>

. Multiplicative functions in arithmetic progressions. <span>*Annales mathématiques du Québec*</span> **37** (2013), 3–30.

. Fonctions multiplicatives presque périodiques B. D'après un travail commun avec Hubert Delange. Journées Arithmétiques de Bordeaux (Conf., Univ. Bordeaux, Bordeaux, 1974), pp. 321–324. <span>*Asterisque*</span> <span>**24-25**</span> (1975), 321–324.

. Quelques proprietes des functions multiplicatives de module au plus egal 1. <span>*C. R. Acad. Sci. Paris Ser. A*</span> <span>**278**</span> (1974), 657–660.

. Sur les fonctions arithmétiques multiplicatives. <span>*Ann. Sci. Ecole Norm. Sup.*</span> <span>**78**</span> (1961), 273–304.

. Sur les fonctions arithmétiques multiplicatives de module au plus égal à un. <span>*C.R. Acad. Sci. Paris Ser. A*</span> <span>**27**</span> (1972), 781–784.

. Sur les fonctions arithmétiques multiplicatives de module $\leq 1$. <span>*Acta Arithmetica*</span> <span>**42**</span> (1983), 121–151.

. <span>*Probabilistic Number Theory I*</span>. Springer-Verlag, New York, Heidelberg, Berlin (1979).

. Multiplicative functions $|g|\leq 1$ and their convolutions: An overview. Séminaire de Théorie des Nombres, Paris 1987-88. <span>*Progress in Mathematics*</span> <span>**81**</span> (1990), 63–75.

. On the correlation of multiplicative and the sum of additive arithmetic functions. <span>*Mem. Amer. Math. Soc.* </span> <span>**112**</span> (1994), no. 538.

. Some unsolved problems. <span>*Michigan Math. J.*</span> <span>**4**</span> (1957), 291–300.

. Higher order Fourier analysis of multiplicative functions and applications. To appear in <span>*J. Amer. Math. Soc.*</span> `arXiv:1403.0945`.

. A new proof of Szemerédi's theorem. <span>*Geom. Funct. Anal.*</span> <span>**11**</span> (2001), 465–588.

. Decay of mean-values of multiplicative functions. <span>*Can. J. Math.*</span> <span>**55**</span> (2003), 1191–1230.

. <span>*Multiplicative Number Theory: The pretentious approach*</span>. Book manuscript in preparation.

. Linear equations in the primes. <span>*Ann. of Math.*</span> <span>**171**</span> (2010), 1753–1850.

. The quantitative behaviour of polynomial orbits on nilmanifolds. <span>*Ann. of Math.* </span> <span>**175**</span> (2012), no. 2, 465–540.

. The Möbius function is strongly orthogonal to nilsequences. <span>*Ann. of Math.*</span> <span>**175**</span> (2012), no. 2, 541–566.

. An inverse theorem for the Gowers $U^{s+1}[N]$-norm. <span>*Ann. of Math.*</span> <span>**176**</span> (2012), no. 2, 1231–1372.

. Über die Mittelwerte multiplikativer zahlentheoretischer Funktionen. <span>*Acta Math. Acad. Sci. Hung.*</span> <span>**19**</span> (1968), 365–403.

. Multiplicative functions in short intervals. To appear in <span>*Ann. of Math.*</span> arXiv:1501.04585.

. An averaged form of Chowla's conjecture. <span>*Algebra & Number Theory*</span> <span>**9**</span> (2015), 2167–2196.

. <span>*Introduction à la théorie analytique et probabiliste des nombres*</span>. Cours Spécialisés, no. 1. Société Mathématique de France, Paris, 1995.

. Das asymptotische Verhalten von Summen uber multiplikative Funktionen. <span>*Math. Annalen*</span> <span>**143**</span> (1961), 75–102.

. Elementare Beweise des Primzahlsatzes mit Restglied. II. <span>*J. Reine Angew. Math.*</span> <span>**214/215**</span> (1964), 1–18.

. Das asymptotische Verhalten von Summen uber multiplikative Funktionen, II. <span>*Acta Math. Acad. Sci. Hung.*</span> <span>**18**</span> (1967), 411–467.

[^1]: B. Host was partially supported by Centro de Modelamiento Matemático, Universitad de Chile.

[^2]: We can always reduce to this case after putting together multiplicative functions evaluated at linear forms that are pairwise dependent.

[^3]: In @MRT15 the authors treat averages taken over a short interval $[M]$ and a long interval $[N]$; key to their analysis is a correlation estimate over short intervals between multiplicative functions and linear complex exponential sequences. In @FH14 and in this article, the main difficulty is different, we take $M=N$ but consider averages taken over arbitrary subspaces of ${{\mathbb Z}}^\ell$ which are given in parametric form; at the heart of this analysis lies a correlation estimate of multiplicative functions with nilsequences.

[^4]: Whether this holds can be verified using the following consequence of the mean value theorem of Halász (see @E79 [Theorem 6.3]): The mean value $\lim_{N\to \infty} \frac{1}{N}\sum_{n=1}^N f(n)$ exists if and only if either $(i)$ $\sum_{p\in {{\mathbb P}}}  p^{-1}(1-{\operatorname{Re}}(f(p)p^{-it}))=\infty$ for every $t\in {{\mathbb R}}$, or $(ii)$ $\sum_{p\in {{\mathbb P}}}p^{-1}(1-f(p))$ converges, or $(iii)$ for some $t\in {{\mathbb R}}$ we have $\sum_{p\in {{\mathbb P}}}  p^{-1}(1-{\operatorname{Re}}(f(p)p^{-it}))<\infty$ and $f(2^k)=-2^{ikt}$ for all $k\in {{\mathbb N}}$.

{'source': 'arXiv_out/1502'}