A prime plus a square: A conditional 11/20 upper bound

Apply the corresponding estimate (?), (?), or (?) on dyadic height blocks, including |\gamma|\le1 in the first block. Choose \xi sufficiently small relative to \nu. All height exponents in these estimates are less than 2 in their ranges of use, so the weight of exponent 10 makes the height sums converge. Absorb logarithms into R^\nu, adjusting constants for bounded R. Ordinary zero counting gives conductor exponent 2 for the zeros with real part less than 1/2.

First, for an arbitrary character \theta\bmod q, put

Let d=(q,n) and Q_0=q/d. Reduction of units modulo q to units modulo Q_0 is surjective. Each fibre has \varphi(q)/\varphi(Q_0) elements. The additive character is constant on each fibre. If \theta is nontrivial on the kernel of this reduction, its sum on every fibre is zero. Otherwise \theta is induced from a character \theta_0\bmod Q_0, and

Since (n/d,Q_0)=1, the last sum has the same absolute value as the ordinary Gauss sum of \theta_0. By (?) this is at most \sqrt{Q_0}. The case Q_0=1 has the same bound by the usual one-residue convention. Since \varphi(q)/\varphi(Q_0)\le d, it follows that

For odd q, the quadratic Gauss-sum evaluation gives

This includes q=1 by convention. Thus (Proof) proves (2) with constant 1 when q is odd. If q\equiv2\pmod4, the sum vanishes by (?).

It remains to handle 4\mid q. For odd b, define

The explicit evaluations at powers of 2 are

For example, the base cases follow by summing the squares modulo 4 and 8. For v\ge4, splitting into even and odd arguments and pairing the odd arguments gives G(b,2^v)=2G(b,2^{v-2}), proving the formulas by induction. The odd-modulus evaluation and these formulas are also recorded in [MP, Lemmas 5.1 and 6.1].

Write q=2^v u with u odd. The Chinese remainder theorem gives

Combining the odd-modulus formula with (?) shows that, on the units modulo q,

for two Dirichlet characters \eta_1,\eta_2\bmod q. The constant factors resulting from the fixed unit arguments u and 2^v have absolute value 1. Apply (Proof) to \chi\eta_1 and \chi\eta_2 and divide by \sqrt q. This proves (2).

The inequality \sqrt{(s,n)}\le\sum_{d\mid(s,n)}\sqrt d gives

The last divisor sum is at most the number of divisors of n, which is \ll_\nu n^\nu with any prescribed positive loss. Decrease that loss to absorb the logarithm and use n\le2X.

By (?), nonvanishing of \tau(\overline\chi) requires q=rs with s squarefree and (r,s)=1. If q\equiv2\pmod4, the complete square sum vanishes, so this case cannot occur.

The proof of Lemma 2 expresses g_q(b) as q^{-1/2} times a linear combination of at most two characters \eta_j\bmod q. At an odd prime power p^v\Vert q, each \eta_j has local component (\cdot/p)^v. Its local component at 2 has conductor at most 8. A nonzero complete residue sum requires at least one of the sums T_q(\chi\eta_j,n) to be nonzero. The fibre argument in that lemma implies

Suppose an odd prime p divides both r and n, and write p^v\Vert r. Since (r,s)=1, also p^v\Vert q. If v\ge2, the local component of \psi is primitive modulo p^v, whereas the twisting character has conductor at most p. Their product is still primitive modulo p^v: if it factored modulo p^{v-1}, multiplying by the inverse twist would show that \psi did too. This contradicts (?), since p\mid n. Therefore v=1. In this case (?) forces the twisted local character to be principal, so the local component of \psi equals (\cdot/p). This proves the first admissibility condition.

If n is even and 2^v\Vert r with v\ge4, the same argument applies: the local component of \psi has conductor 2^v, while the twist has conductor at most 8, which divides 2^{v-1}. Their product cannot factor modulo 2^{v-1}, again contradicting (?). This proves the second condition.

The odd part d of (r,n) is therefore squarefree and coprime to t=r/d. The components at its primes are fixed by the first condition. Chinese remainder factorization of a primitive character then gives (4); the component \psi_t is primitive. Here \lambda_1 denotes the character of conductor 1. Finally, the 2-part of (r,n) is at most 8 (and equals 1 if n is odd). Thus (r,n)\le8d, proving (4).

For each character in the sum, use the unique decomposition in (4). Fix d and a dyadic block T\le t<2T. By (4), the contribution of this block is at most \sqrt8\,T^{-1/2}V_{d,T}, where we may enlarge to

This enlargement drops further admissibility conditions only after the weight has been bounded for the original characters.

There are two independent bounds for V_{d,T}. Since Z_{\psi,I}\ll\log(r+2) and \sum_{T\le t<2T}\varphi(t)\ll T^2, ordinary zero counting gives

On the other hand, for fixed d, the characters \lambda_d\psi_t are distinct primitive characters of conductors dt\le K. Primitivity follows from (d,t)=1 and primitivity of both factors; the map \psi_t\mapsto\lambda_d\psi_t is injective. Thus (?) gives, for every small \xi>0,

Combine (?) and (?). Absorbing logarithms and a suitably small \xi into X^\nu, a block contributes at most

The last inequality follows by splitting at T=K^{a/2}: use the first bound below that threshold and the second above it. There are O(\log(2K)) blocks and at most \tau(n) possible squarefree odd divisors d of n. Since \tau(n)\ll_\xi X^\xi for any \xi>0, choosing the auxiliary losses sufficiently small proves (5) with any prescribed \nu>0. The conductor 1 is included in the block d=t=1.

We may suppose the family is nonempty. Remove the character of conductor 1 during zero detection. Its weighted zero count is O(1), so it can be restored at the end.

For this family the large-sieve constant is T^2+M, with an absolute change of constant for t<2T. Indeed, in (?) replace c_m by c_m\lambda_d(m) and then restrict to the allowed t. Since |\lambda_d(m)|\le1, this does not increase the squared norm of the coefficients. Consequently the hybrid constant at height H\ge2 is

The same observation applies to mollifier coefficients and to the Dirichlet-polynomial coefficients used in zero detection. Their lengths are bounded by a fixed power of KH, so the factor (KHM)^\nu is absorbed into an arbitrarily small power of KH below.

We next establish the fourth-moment bound

Use the smooth approximate functional equation for L(1/2+iu,\chi)^2. If r is the conductor of \chi, the analytic conductor of this square is \asymp r^2(1+|u|)^2; both Dirichlet polynomials therefore have length \ll (KH)^{1+\xi}, for arbitrarily small fixed \xi>0, with a negligible tail. Their coefficients, before the smooth weights, are

The factor multiplying the dual polynomial has absolute value 1. Separate the two parities and use Mellin inversion for the smooth weights. On a line of real part \xi>0, the conductor-dependent factors have size at most (KH)^{O(\xi)}; the remaining Mellin integrals are absolutely convergent with uniform rapidly decreasing kernels. Cauchy’s inequality and (?), with the common factor \lambda_d absorbed into the coefficients, apply to both polynomials. Conjugation preserves the varying character family. Since

their squared mean over the characters, for each fixed |u|\le H, is \ll_\nu(KH)^\nu(T^2+KH). Taking \xi sufficiently small and integrating over u proves (?). Only polynomial lengths and arbitrarily small losses are used here; there is no assumed moment conjecture.

We give the zero-detection calculation to specify the dependence on both parameters. It is the argument of [CZ, Theorem 2.2 and its proof], with (?) as the large-sieve input. Put

For a mollifier length U_0 and a smoothing length Y_0\ge U_0, both bounded by a fixed power of KH, that argument gives

Here U_0 is the parameter denoted by X in that reference; the supremum harmlessly enlarges its possible dyadic block lengths. The first nonconstant term controls zeros detected by the integral containing L(s,\chi)\sum_{m\le U_0}\mu(m)\chi(m)m^{-s}; Hölder’s inequality uses the fourth moment of L and the second moment of this mollifier. The last term controls zeros detected by the remaining Dirichlet polynomial. The separation of zeros for each character, their multiplicities, and the enlargement of height by O(\log(KH)) cost only (KH)^\nu. This also explains why using T in the large sieve and K as the conductor bound is legitimate: the zero-detection proof only needs the displayed uniform moment and large-sieve inequalities.

Take

with fixed constant factors if needed. Since L_0\ge D and 4-2\sigma<3, we have Y_0\ge D. The supremum in (?) is at most a constant times D^{2-2\sigma}+Y_0^{2-2\sigma}\ll Y_0^{2-2\sigma}. The other nonconstant term is also

It follows that the left side of (?) is

Sum this over dyadic height blocks with the weight (1+|\gamma|)^{-10}. The resulting height series converges, since 4b<1 in the stated range (and \nu can be made small). The first block is bounded using H=2. Restore the conductor-1 contribution. This proves (6).

As in Lemma 5, fix a squarefree odd d\mid n and a dyadic block T\le t<2T. Its contribution is bounded by \sqrt8\,T^{-1/2}V_{d,T}, with the same enlarged family as there. Put a=4(1-\sigma) and b=(1-\sigma)/(2-\sigma). Lemma 6 and (?) give

If T\ge K^{1/2}, the weighted contribution is bounded by

The first expression increases with T and the second decreases. They meet at

whose exponent belongs to [3/4,410/501]\subset[1/2,1]. Their common value is

If 1\le T\le K^{1/2}, the first bound in (Proof) gives instead

Both exponents here are less than C(\sigma) throughout [\sigma_0,7/8]. To check this explicitly, the functions C-b and C-3b+1/4 are decreasing, because b'(\sigma)=-(2-\sigma)^{-2}. At \sigma=7/8 their values are 1/72 and 1/24, respectively. Sum over the O(\log K) blocks and over at most \tau(n) divisors d. Absorb these factors into X^\nu to obtain (7).

In the small-denominator term, substitute the character expansion of A_{q,I} before taking absolute values. For fixed q, the integration interval and E_{\chi^*,I}(\beta) do not depend on the reduced residue b. We may therefore apply Lemma 2 to the complete residue sum, retaining its additive phase. By Lemma 4, only characters induced by primitive characters admissible for n can contribute.

For q=rs, the induced Gauss sum vanishes unless s is squarefree and (r,s)=1. In the other cases its magnitude is \sqrt r. Thus the coefficient of the primitive character is bounded by

where we used (rs,n)=(r,n)(s,n) and 1/\varphi(q)\ll_\nu X^\nu/q for q\le P. The band estimate (?) and the integral bound

therefore give

Dropping the squarefree and coprimality restrictions on s increases this upper bound. After Lemma 3, we have the useful general bound

Apply Lemma 5 and rename the arbitrarily small losses to prove (8). The bound is uniform for every integer X<n\le2X; no further exceptional integers have been excluded. For upper groups we will apply Lemma 7 to (?) instead.

For the other estimate, disjointness of the arcs, Parseval, (?), and (?) give

For a fixed primitive conductor r, its coefficient is bounded by

For completeness,

partial summation gives the tail estimate in (?). For K/r<1, convergence of the full series gives the other part of the minimum.

Apply (?) and absorb logarithms and the factor r/\varphi(r) into X^\nu. This yields

On a dyadic block of size R, (?) bounds the last sum by \ll_\nu X^\nu\min(1,R/K)R^{a-1}. Summing the blocks proves (8), after renaming small losses. The conductor r=1 is included in the first block. At a=1, absorb the additional logarithm into X^\nu.

Let L=X^A with A a sufficiently large fixed constant. Mellin inversion and a contour shift to \operatorname{Re} z=-1/16, using (?) and the exponential decay of \Gamma(z), give

The truncation at q\le LX has exponentially small error. Replacing e^{-q/L} by 1 for q\le P costs \ll_\theta P^{1+\theta}/L, which is also negligible after increasing A. Hence, uniformly for the nonsquare n in question,

Consider a dyadic block U<q\le2U of this finite sum. Write uniquely

Thus s\le\sqrt{2X} and d\le2X/(2^es^2). For c\in\{1,3\} restrict first to d\equiv c\pmod4. Quadratic reciprocity, for odd squarefree q, gives

For fixed e,c,s, incorporate all factors other than (q/d) into

Then \sum_q|b_q|^2\ll_\theta U^{-1+\theta}. Apply (?) with M=2X/(2^es^2) and length 2U, enlarging the sum over d to all positive odd squarefree d\le M. Summing over the two values of e, the two residue classes c, and all s\le\sqrt{2X} bounds the block mean square by

Enlargement may include square n, which is harmless for this upper bound on the finite block. Since U\le X^{A+1} with A fixed, choose \theta sufficiently small relative to \nu. Cauchy’s inequality over the O_A(\log X) blocks in (Proof), followed by summation of X/U, proves (9). This argument includes nonsquare integers with arbitrarily large square factors.