On exponential sums with multiplicative coefficients

Put L=\log x and first suppose q\leqslant L^3. Take A sufficiently large in Proposition 9.1. If there is no exceptional character, the proposition and partial summation in the phase perturbation \alpha-a/q give S_f(x,\alpha)=O(x/L)+o(x/\sqrt q).

Otherwise let \chi_0 be the unique surviving character, and choose t from Lemma 9.5. For x/L^A\leqslant X\leqslant x apply the stability lemma to the terms d\leqslant L^R with u=xd/X, enlarging A in terms of the fixed R. Proposition 9.1 and (?) yield uniformly

Writing \alpha=a/q+\beta, where |\beta|x\leqslant1/q, partial summation in \mathrm e(\beta n) gives

The omitted prefixes below x/L^A contribute O(x/L^A). The uniform errors in (?) remain of the same order after partial summation.

Lemma 9.5 gives

The error on the right is o(x\phi(q)/q) for q\leqslant L^3. For general multiplicative f, the first estimate in Lemma 9.1 bounds the kernel in (?) by (4/\sqrt6)\sqrt q. This proves (1.1) in the small-modulus range. If f is completely multiplicative, we instead apply (9.1), obtaining (1.1) from the same expansion.

For L^3<q\leqslant Q_{\rm MV}(x) the Montgomery–Vaughan estimate (?), together with q/\phi(q)\ll\log\log(3q), gives S_f(x,a/q)\ll x/L for either class of functions. Lemma 2.1 contributes O(x/q), so the asserted estimates hold throughout the claimed range.

Finally, the periodic example of Proposition 1.1(i) attains 4/\sqrt6, while primitive characters attain 1 in the completely multiplicative class. The error terms are uniform in the stated parameters. Since q\leqslant x/(\log x)^{2+\varepsilon} implies q\leqslant Q_{\rm MV}(x) for every fixed \varepsilon>0 and large x, Conjecture 1.1 follows.

Write L=\log x. First assume q\leqslant Q_{\rm MV}(x), and set

where x_0 is an absolute threshold for Proposition 8.1. For U\leqslant t\leqslant x, one has q\leqslant Q_{\rm MV}(t) and |\alpha-a/q|\leqslant1/(qt), so Proposition 8.1 gives

Using |S_f(t,\alpha)|\leqslant t below U, partial summation yields

For the last inequality, note that \log U\leqslant\log q+O(\log\log x), and \log\log x\ll\log q+L/\sqrt q: use L/\sqrt q\geqslant\log\log x if q\leqslant(L/\log\log x)^2, and \log q\gg\log\log x otherwise. If Q_{\rm MV}(x)<q\leqslant x, then \log q\asymp L, and the trivial harmonic bound proves the same assertion. This establishes (1.2).

For the sharp estimates, put C_0=4/\sqrt6 in the general case and C_0=1 in the completely multiplicative case. Under the subcritical hypothesis, choose T by

Then q\leqslant Q_{\rm MV}(T) and

Theorem 1.1 therefore implies, uniformly for T\leqslant t\leqslant x,

The initial segment n\leqslant T contributes O(\log T); partial summation on (T,x] contributes at most

This proves (?) and (?). For optimality, the periodic construction in Proposition 1.1(i) gives the coefficient 4/\sqrt6 after partial summation; primitive Dirichlet characters give the coefficient 1 in the completely multiplicative case. A direct treatment of the logarithmic sums and further discussion appear in [GouLogarithmic2026].

Let \ell\geqslant5 be a prime, let \chi be a primitive character modulo \ell, and put q=6\ell. Define a multiplicative function g by

and set f(n):=g(n)\chi(n). The function g is periodic modulo 6, with

so f is periodic modulo q. Notice that f is multiplicative but not completely multiplicative.

Write \tau(\chi):=\sum_{v\bmod\ell}\chi(v)\mathrm e(v/\ell) for the primitive Gauss sum; then |\tau(\chi)|=\sqrt\ell.

Let

Choose s and t with s\ell\equiv1\pmod6 and 6t\equiv1\pmod\ell. The Chinese remainder theorem gives

Since s\equiv\pm1\pmod6, the first factor equals 4; the second equals \chi(6)\tau(\chi). Thus

Periodicity now yields

Consequently, whenever q^{3/2}=o(x),

For example, take primes \ell_j\to\infty, put q_j=6\ell_j, and choose x_j=\exp(q_j). Then q_j\leqslant(\log x_j)^2, and (?) contradicts the leading constant 1 in [GranvilleLamzouri2026, (1.3)]. This does not contradict an order-of-magnitude bound \ll x/\sqrt q.

Let q be squarefree, assume P^+(q)\leqslant y, and define

This is a periodic, unimodular multiplicative function. For a\in(\mathbb{Z}/q\mathbb{Z})^\times, write

Averaging over the reduced numerators gives the exact identity

where

Indeed, if d=(n,q), then the squarefreeness of q gives

Also

Expanding the last product and summing over the y-smooth integers gives (Proof). In particular,

Averaging in (Proof) is essential: the corresponding identity need not hold for a fixed numerator a.

Choose x=x(y) by

Thus the Hildebrand–Tenenbaum saddle point is 1/2. Their saddle-point theorem [HildebrandTenenbaum1986, Theorems 1 and 3] and its fixed-dilation consequence give, for each fixed q and each r\mid q,

For completeness, let \sigma_r be the saddle point associated with (x/r,y). The mean-value theorem in the saddle equation gives

A Taylor expansion of the two saddle-point formulae, first in the \log x variable and then in the saddle, therefore gives \log\Psi(x/r,y)-\log\Psi(x,y)=-(\log r)/2+o_q(1), which is (?). This is the framework recalled in [GranvilleLamzouri2026, §3.1]; crucially, q is fixed before y tends to infinity. It follows that

where

The second equality uses

The same saddle-point formula, combined with the prime number theorem, gives \log x=(2+o(1))\sqrt y and

Consequently, for every fixed q,

Finally take the primorials q_z:=\prod_{p\leqslant z}p. The prime number theorem gives

Choose z_j\to\infty and set q_j=q_{z_j}. With q_j fixed, choose y_j\geqslant q_j^2 sufficiently large, define x_j by (?), and then choose a reduced numerator a_j using (Proof). Equations (?) and (?) give

This disproves [GranvilleLamzouri2026, (1.4)]. The order of these choices matters: we use the smooth-number asymptotic only with q fixed, without assuming uniformity as q grows. Since f_q(p^2)=f_q(p)=-1 for p\mid q, this example is not completely multiplicative and does not settle the completely multiplicative version of that problem.

Set q=\lfloor(\log x/\log\log x)^2\rfloor. For f\equiv1 and \alpha=1/q, summation by parts gives

with the principal branch of the logarithm. Hence

whereas (4/\sqrt6)(\log x)/\sqrt q=(4/\sqrt6+o(1))\log\log x. This disproves conjecture (1.6) at its stated endpoint. More generally, taking q\sim c(\log x/\log\log x)^2 gives the lower leading coefficient 2\sqrt c, so the proposed coefficient 4/\sqrt6 fails whenever c>2/3. See also [GouLogarithmic2026].

Using |\mathrm e(t)-1|\ll|t|, the left-hand side is at most |\alpha-a/q|\sum_{n\leqslant X}n\ll X/q.

For these values of q, [MontgomeryVaughan1977, Theorem 1] gives (?). The standard estimate q/\phi(q)\ll\log\log(3q) yields x/\sqrt{\phi(q)}\ll x\sqrt{\log\log(3q)/q}=o(x/L) when q\geqslant L^{5/2}. Lemma 2.1 contributes O(x/q)=o(x/L).

Define h multiplicatively by the identity of formal Euler factors

If p\mid q, the two factors involving f and F_q are identical, whence h(p^k)=0 for every k\geqslant1. Suppose that p\nmid q. Since F_q(p^k)=f(p)^k, comparison of the coefficient of p^{-s} gives h(p)=0. For k\geqslant2, the coefficient identity reads f(p^k)=h(p^k)+f(p)h(p^{k-1})+\cdots+f(p)^k. Using the same identity at level k-1 and multiplying it by f(p), all terms except the first cancel, and therefore h(p^k)=f(p^k)-f(p)f(p^{k-1}).

It follows that |h(p^k)|\leqslant2, and that every integer in the support of h, apart from 1, is powerful and coprime to q. Hence

More generally, if 0<\delta<1/2, then \sum_{k\geqslant2}p^{-k(1-\delta)}\ll p^{-2(1-\delta)}, and the corresponding Euler product converges because 2(1-\delta)>1. This proves both assertions in (3.1).

Expanding the convolution f=h*F_q and changing the order of summation gives

The restriction (d,q)=1 follows from Lemma 3.1. Since (d,q)=1, ad is also coprime to q, and

Thus every inner sum in (Proof) has a rational approximation with the same denominator q. This is the point of the definition (?).

We split the d-sum at \sqrt x. If d\leqslant\sqrt x, then x/d\geqslant\sqrt x and \log x\leqslant2\log(x/d). Consequently q\leqslant(\log x)^3\leqslant8(\log(x/d))^3, so (3.1) applies. Since \log(x/d)\asymp\log x in this range,

For d>\sqrt x we use |S_{F_q}(x/d,d\alpha)|\leqslant x/d. Taking \delta=1/4 in (3.1),

Combining the two ranges proves the proposition.

Let n\leqslant x satisfy P^{+}(n)>x/q. Since x/q>\sqrt x, the largest prime factor of n occurs to the first power and is the unique prime factor of n exceeding x/q. Thus n=pm uniquely, where p>x/q is prime and m<x/p<q. In particular p\nmid m, so ordinary multiplicativity gives F(pm)=F(p)F(m).

For 1\leqslant k<q, put I_k=(x/(k+1),x/k] and A_k(b):=\sum_{m\leqslant k}F(m)\mathrm e(abm/q). The condition p\in I_k is equivalent to \lfloor x/p\rfloor=k, and therefore

The length of I_k is |I_k|=x/(k(k+1))\asymp x/k^2. Since k<q\leqslant8L^3, we have |I_k|/q\geqslant x/q^3=x^{1-o(1)}. The short-interval Brun–Titchmarsh inequality bounds the primes in an interval of length H>q and a reduced class by \ll H/\{\phi(q)\log(H/q)\}. Applying this to I_k as in [GranvilleLamzouri2026, (3.20)] gives

for every reduced residue class b\pmod q, uniformly in k<q. Here the logarithm in Brun–Titchmarsh is \log(|I_k|/q)\asymp\log x.

Define \mathcal E_q(k):=\phi(q)^{-1}\sum_{b\bmod q,(b,q)=1}|A_k(b)|^2. Grouping the primes in the inner sum of (?) by residue class, and then using (?), gives

Thus each k-block is bounded by x\sqrt{\mathcal E_q(k)}/(k^2\log x).

We estimate \mathcal E_q(k) in two different ways. Enlarging the average from the reduced residue classes to all additive frequencies and applying Parseval gives

For small k one can do better. Expanding the square over reduced residue classes yields the exact identity

The diagonal contributes at most k, while for each 1\leqslant h<k there are at most k pairs with m-n=h and at most k with n-m=h. Hence

The prime-power formula for Ramanujan sums implies

Indeed, for p^a\Vert q the local factor vanishes unless p^{a-1}\mid h; after writing h=(q/\operatorname{rad}(q))u, it is 1 if p\mid u and 1/(p-1) otherwise. Therefore,

If k\leqslant(q/\phi(q))^2, then

The last inequality holds because each local factor is less than 1 for p\geqslant5, while the factors at 2 and 3 have product 81/2. Substitution in (?) gives \mathcal E_q(k)\leqslant82k for k\leqslant(q/\phi(q))^2.

We now sum the blocks. For k\leqslant(q/\phi(q))^2 use the short estimate, and for larger k use Parseval:

Summing the preceding block estimate over k<q proves (4.1).

Shiu’s Brun–Titchmarsh theorem for non-negative multiplicative functions [Shiu1980], combined with Mertens’ estimate, gives

For small u\ll T the same assertion follows trivially, since w_z(m)\leqslant1 and \rho_z(u)\asymp1. For the progression estimate, let d=(b,q), q_1=q/d and u_1=u/d. Dividing the congruence by d gives a reduced class modulo q_1. Every prime dividing d is below T, so w_z(dm)=w_z(m). Moreover u\geqslant q^4 ensures q_1\leqslant u_1^{1/4}. Shiu’s theorem, with the prime factors of q_1 omitted from its Euler product, gives

Here w_z(p)=1 for p\mid q_1; the final product cancels q_1/\phi(q_1). Since d\leqslant q\leqslant u^{1/4}, \rho_z(u/d)\ll\rho_z(u) uniformly in z. We obtain u_1\rho_z(u_1)/q_1\ll u\rho_z(u)/q.

Since t_{j+1}/t_j=1+O(t_j^{-1/3}), the left-hand side is bounded by a constant times

For u>T, integration in z gives

whenever the second expression is defined with positive denominator. For T\leqslant t\leqslant\sqrt x we have u=x/t\geqslant\sqrt x; the z-integral is O(1/\log L), while \int_T^{\sqrt x}\mathrm{d} t/(t\log t)\ll\log L. For \sqrt x\leqslant t\leqslant2y we use \rho_z\leqslant1 and \int_{\sqrt x}^{2y}\mathrm{d} t/(t\log t)=O(1). Together these estimates prove (5.2).

Expand the square and use orthogonality of characters on (\mathbb{Z}/q\mathbb{Z})^\times.

By the Chinese remainder theorem, it is enough to consider q=p^a. If the local character has conductor p^b, 1\leqslant b\leqslant a, then G_{p^a}(v,\chi) vanishes unless v_p(v)=a-b; in the nonzero case its modulus equals p^{a-b}p^{b/2}=p^{a-b/2}. For the principal character the sum is c_{p^a}(v), whose prime-power formula gives the same pointwise bound.

The sum factors over prime powers. For a local conductor p^b, 1\leqslant b\leqslant a, precisely \phi(p^b) classes have nonzero Gauss sum, each of modulus p^{a-b/2}. The local \ell^1 sum is thus \phi(p^a)p^{b/2}, which is at most \phi(p^a)p^{a/2}. For the principal character the Ramanujan-sum formula gives local norm 2\phi(p^a); relative to \phi(p^a)p^{a/2} it has factor 2/p^{a/2}. Only p^a=2,3 enlarge the product, and their factors are 2/\sqrt2 and 2/\sqrt3.

Group (?) by m\pmod q. Lemma 5.1 and (6.3) give

Insert this in (?) and use Lemma 5.2 to obtain the claimed total bound.

Every m has a unique factorization m=dn with d\in\mathcal D_q and (n,q)=1. Since q<T, we have w_z(dn)=w_z(n). Define

It is multiplicative and belongs to \mathcal C(1): for p\nmid q and p>T its local generating function equals

so that \Lambda_{g_z}(p^k)=F(p)^k\{1-(1-z)^k\}\log p; for p\leqslant T (away from q) the usual bound holds, and for p\mid q the function is zero. Thus |\Lambda_{g_z}(n)|\leqslant\Lambda(n).

For (n,q)=1, the change of variables in the Gauss sum gives G_q(adn,\overline\chi)=\chi(n)G_q(ad,\overline\chi). Hence

Choose \chi_{j,z} from Lemma 6.4 with M=M_j. For d\leqslant\sqrt{M_j}, Minkowski’s inequality, the pointwise Gauss bound, and the large sieve give the contribution

For d>\sqrt{M_j}, use the trivial inner-sum bound M_j/d. Minkowski’s inequality and (6.1) give

This proves (6.2).

Multiplicative Parseval and the enlargement to all additive frequencies give

Each residue class contains at most M_j/q+1 integers; |F(m)w_z(m)|\leqslant1 and M_j\geqslant q, so the last sum is at most 2\phi(q)M_j^2.

We first establish the local statement required in Proposition 3.1. Moduli below a fixed absolute constant are covered by |S_F(x,\alpha)|\leqslant x\ll x/\sqrt q, so we may assume that q is sufficiently large for the quoted smooth-number estimates. For q\leqslant8L^3, split S_F(x,a/q) according as P^{+}(n) is at most or greater than x/q. Proposition 4.1 and Proposition 7.1 give

Lemma 2.1 extends this to |\alpha-a/q|\leqslant1/(qx). Proposition 3.1 then proves the same estimate for every multiplicative f in the range q\leqslant(\log x)^3.

The preceding argument treats q\leqslant(\log x)^3. Proposition 2.1 treats q\geqslant(\log x)^{5/2} up to Q_{\rm MV}(x). The ranges overlap and exhaust all admissible q.

We prove the estimates prime by prime. Factor q=\prod_{p^e\Vert q}p^e and let \chi_p denote the component of \chi modulo p^e. The Chinese remainder theorem gives a constant \omega(a,\chi) of modulus one for which

where \chi^{(p)}=\prod_{\substack{r^b\Vert q\\r\ne p}}\chi_r; thus |\chi^{(p)}(p)|=1. More explicitly, the CRT expression for G_q has local additive coefficient ad(q/p^e)^{-1}; its unit part can be removed from the local Gauss sum and contributes precisely the character factors displayed in (Proof). The factorization also holds after taking absolute values.

For a local character of conductor p^j with 1\leqslant j\leqslant e, G_{p^e}(p^v,\overline{\chi_p}) vanishes unless v=e-j, in which case its modulus is p^{e-j/2}. The corresponding local contribution to (9.1) is p^{j/2}\leqslant p^{e/2}. For a principal local character the relevant Ramanujan sums are

Consequently the local absolute norm equals 2. Only the factors p^e=2,3 have 2>p^{e/2}, and their relative contributions multiply to 4/\sqrt6. This proves (9.1). Replacing d^{-1} by d^{-1+\rho} gives local norms p^{j/2+\rho(e-j)} in the nonprincipal case and O_\rho(p^{\rho e}) in the principal case. Their product is q^{1/2+o(1)}, proving the weighted bound.

Suppose now that f is completely multiplicative. Set

The local factor in (Proof) is \sum_{v\geqslant0}z_p^v p^{-v}G_{p^e}(p^v,\overline{\chi_p}). For conductor p^j, j\geqslant1, this has modulus at most p^{j/2}|z_p|^{e-j}\leqslant p^{e/2}. For the principal character the complete geometric sum is

For |z|\leqslant1,

Thus every local factor is at most p^{e/2}; multiplying over p^e\Vert q proves (9.1). The empty product for q=1 is understood as 1.

Define a completely multiplicative function f^\flat by f^\flat(p)=f(p) for p\nmid q and f^\flat(p)=0 for p\mid q. There is a multiplicative function h, supported on powerful integers coprime to q, such that

Indeed, h(p)=0 and h(p^\nu)=f(p^\nu)-f(p)f(p^{\nu-1}) for p\nmid q and \nu\geqslant2; the assertion follows from the same Euler-factor calculation as in Lemma 3.1.

Apply [GranvilleHarperSoundararajan2019, Theorem 1.9] with J=1 to f^\flat, using the base point x/L^{2A+20}. Since q\leqslant L^3, the modulus condition is automatic, and the uniform interval in that theorem contains every Y/k with x/L^A\leqslant Y\leqslant x and k\leqslant L^R, for each fixed R. The uniformity in the length gives a set \mathcal E_q of at most one character for which the analogue of (9.2) holds for the means of f^\flat, uniformly throughout the displayed interval.

Expanding (Proof) and applying Minkowski’s inequality transfers this estimate to f. For k\leqslant L^R, with R fixed sufficiently large in terms of A, the same exceptional character works at every length Y/k, and the total cost is \sum |h(k)|/k\ll1. For k>L^R, the trivial character L^2 estimate and (Proof) give

Choose R so that this is smaller than the right-hand side of (9.2). This proves the lemma.

We give the argument with varying cutoffs because the exceptional set must work uniformly for both X and Y. By (Proof) and Minkowski’s inequality, the Granville–Harper–Soundararajan large sieve for f^\flat transfers to the means M_\chi(u), with the same exceptional set at each length. Fix R=40 and separate the convolution variables at k=L^R. The tail has the following \ell^2-norm over characters: \ll \sqrt q\,u\sum_{k>L^R}|h(k)|/k \ll uL^{3/2-R/4+o(1)}, which is negligible for the present purpose. For k\leqslant L^R, apply [GranvilleHarperSoundararajan2019, Theorem 1.9] with J=100 at geometric base points U_0,U_0^2,U_0^4,\ldots, where U_0=Z_A/L^{2A+R+2}. With the enlarged value of Z_A above, q\leqslant U_0^{1/4}; the available uniform length intervals cover all the required u/k. There are O_A(\log L) relevant points, and their exceptional sets have total size L^{o(1)}. After relaxing the fixed large-sieve exponent,

for Z_A/L^{2A}\ll u\leqslant x/Z_A. The convolution factor supported on powerful numbers has a power-saving tail, so it only changes the implied constant.

By ordinary multiplicativity, after removing multiples of p^2 with p>Z_A,

The error, summed over all \chi\pmod q, is negligible in (9.3) since Z_A is a sufficiently large fixed power of qL.

Partition the primes into dyadic intervals D<p\leqslant2D, and each such interval into pieces \mathcal I=(V,V+h] of length h\asymp D^{2/3}. Weighted Brun–Titchmarsh gives \sum_{p\in\mathcal I,\,p\equiv b\pmod q}\log p\ll h/\phi(q). For P_\chi(\mathcal I)=\sum_{p\in\mathcal I}(\log p)f(p)\chi(p), character orthogonality and a second application of the same bound yield

Freezing M_\chi(Y/p) at M_\chi(Y/V), Cauchy–Schwarz, (Proof), and (?) bound the frozen contribution of one piece by

There are O(D/h) pieces in a dyadic block. The freezing error in one piece is at most q h(1+Yh/D^2) after summing over \chi, and hence over the whole dyadic block is

Indeed, the interval between Y/p and Y/V has length O(Yh/D^2), while the sum of the prime weights in a piece is O(h).

Summing the frozen contributions over dyadic D and dividing by L=\log x, a comparison with the integral of u^{-4/5} gives

The errors from (?), after summation over D and division by L, are

Because 4/5>2/3, the required bound follows.

Partition 1\leqslant u\leqslant Z into intervals (u_j,u_{j+1}] with u_{j+1}-u_j\asymp\sqrt{u_j}, and group primes according to X/u_{j+1}<p\leqslant X/u_j. Put V_j(b)=\sum_{m\leqslant u_j}f(m)\mathrm e(abm/q). Replacing the inner cutoff X/p by u_j costs at most

Weighted Brun–Titchmarsh bounds the contribution of one prime block by

By Cauchy–Schwarz and the Ramanujan identity c_q(h)=\sum_{d\mid(q,h)}d\mu(q/d),

Consequently the sum of the prime blocks is at most

Combining with the freezing error proves the lemma.

Choose a sufficiently large fixed R=R(A) and write B=A+R+1. Throughout the proof we use the weight in (?) with A replaced by B; thus its threshold is Z_B=(qL^{B+2})^4. We first estimate the boundary terms. Uniformly for x/L^A\leqslant X\leqslant x,

Indeed,

The final sum has total mass O(X\sum_{p>Z_B}(\log p)/p^2)=O(X/Z_B). For the first sum, separate the exact valuation p^k\Vert n. If p^k\leqslant Z_B^2, Proposition 8.1 applied at length X/p^k and reduced denominator q/(q,p^k) gives

After summing with weight k\log p, the first terms contribute O_A(X\log Z_B/L)=O_A(X), while the second terms are

The terms with p^k>Z_B^2 have total mass O(X\log Z_B/Z_B).

For the second sum, p>X/Z_B implies p^2>X for sufficiently large x. Hence its contribution is

Lemma 9.4, with Z=Z_B, bounds this by

Finally, \sum_{n\leqslant X}\log(X/n)\ll X. These estimates prove (Proof).

For a character \chi\pmod q, write

Since every prime dividing q is smaller than Z_B, one has w_X(dm)=w_X(m) whenever d\in\mathcal D_q and (m,q)=1. Thus Fourier inversion gives the exact identity

Restrict first to d\leqslant L^R. Lemma 6.2 and Lemma 9.3 with parameter B, together with

show that the characters outside \mathcal E contribute, after division by \log X,

The terms with d>L^R are O_A(X/L) by (?), since w_X(n)\leqslant\log X.

For \chi\in\mathcal E and Y=X/d, direct summation of the missing prime weights gives

Indeed, write \log X=\log(X/n)+\log n and split the prime-power expansion of \log n at Z_B and X/Z_B. Since X/L^R\leqslant Y\leqslant X, the term \log(X/n) has total mass O_A(Y\log L), and Mertens’ theorem bounds each of the two prime ranges by O(Y\log Z_B); repeated central primes contribute less. Using (?) in (?) costs

Together, (Proof)– (?) show that only the characters in \mathcal E can contribute significantly to (?).

Take \mathcal E_q from Lemma 9.2 with parameter B. For \chi\in\mathcal E\setminus\mathcal E_q, Cauchy–Schwarz in the character variable, Lemma 6.2, and (9.2) give, for d\leqslant L^R,

After summing over d and dividing by \phi(q), this is o(X/\sqrt q). The terms with larger d\in\mathcal D_q are covered by (?). Hence at most the character in \mathcal E_q remains, proving (9.1).

Recall the completely multiplicative f^\flat and the powerful convolution f\mathbf1_{(\cdot,q)=1}=h*f^\flat from (Proof). Apply the Lipschitz theorem [GranvilleHarperSoundararajan2019, Theorem 1.5] to g(n)=f^\flat(n)\chi(n)\in\mathcal C(1). Let t be its maximizing frequency, with |t|\leqslant L. For each fixed B>0, the theorem gives

for some absolute \eta_2>0. Indeed, the displayed Lipschitz error is L^{-(1-2/\pi)+o(1)} for polylogarithmic shortening v.

Choose R sufficiently large in terms of A and use (Proof) with v=uk for k\leqslant L^R. Since \sum_k|h(k)|/k^{1-\rho}\ll_\rho1 for 0<\rho<1/2, convolution gives

with \eta_1>0 after decreasing \eta_2. The tails k>L^R follow from Rankin’s trick and the trivial mean-value bound. Taking u=1 in this formula identifies its main amplitude as M_\chi(x) up to O(xL^{-\eta_1}). Hence

Write the left-hand side of (9.5) by partial summation in the phase \mathrm e(\gamma un), and use (?) at every prefix x/L^{B}\leqslant y\leqslant x/u, with B sufficiently large in terms of A. The omitted smaller prefixes cost O(x/L^B), while |\gamma|x\leqslant1 keeps the integrated error O_A(x/(uL^{\eta_1})). The main term is

by integration by parts. This proves (9.5). Finally, take u=1. The left side has modulus at most \#\{n\leqslant x:(n,q)=1\}=x\phi(q)/q+O(2^{\omega(q)}), which gives (9.5).

Let \ell>3 tend to infinity through the primes, and take q=6\ell and

Thus q=c(\log x)^2. Let \chi be a non-principal character modulo \ell; since \ell is prime, \chi is primitive.

Define the multiplicative function g on prime powers by

Then g is periodic modulo 6, with

The multiplicative function

is therefore periodic modulo q.

Let \overline{\ell} denote the inverse of \ell modulo 6, and \overline6 the inverse of 6 modulo \ell. By the Chinese remainder theorem,

Since \overline{\ell}\equiv\pm1\pmod6, the first factor is

up to complex conjugation. The second factor is a Gauss sum of absolute value \sqrt\ell. Hence

Using periodicity,

and consequently

since q^{3/2}=o(x).

We next show that primes in (x/2,x] make a negligible contribution to (?). For such primes p one has g(p)=1, and hence

Since q\ll(\log x)^2, the Siegel–Walfisz theorem, applied after splitting the primes into residue classes modulo q, gives

for every fixed A>0.

The finite sum again factors by the Chinese remainder theorem:

The first factor has absolute value 1, while the second has absolute value \sqrt\ell. Since \phi(q)=2(\ell-1), it follows that

Consequently, if

then (?) and (?) imply

For sufficiently large x this is non-zero; write S_*=\omega|S_*| with |\omega|=1.

We now modify f_0 only at primes p\in(x/2,x]. Define a multiplicative function f on prime powers by

and retain

at every other prime power. This defines a 1-bounded multiplicative function.

If p>x/2, then 2p>x and p^2>x. Thus, among the integers n\leqslant x, changing the value at such a prime affects only the term n=p. Therefore

By the prime number theorem,

Combining this with (?) proves (13.1).