Thomas F. Bloom,Vivian Kuperberg
Abstract:We prove near-optimal upper bounds for the odd moments of the distribution of coprime residues in short intervals, confirming a conjecture of Montgomery and Vaughan. As an application we prove near-optimal upper bounds for the average of the refined singular series in the Hardy-Littlewood conjectures concerning the number of prime $k$-tuples for $k$ odd. The main new ingredient is a near-optimal upper bound for the number of solutions to $\sum_{1\leq i\leq k}\frac{a_i}{q_i}\in \mathbb{Z}$ when $k$ is odd, with $(a_i,q_i)=1$ and restrictions on the size of the numerators and denominators, that is of independent interest.
What problem does this paper attempt to address?
The paper attempts to solve two main problems, both of which are related to odd moments in number theory:
1. **Upper bound of odd moments**: The first goal of the paper is to prove a nearly optimal upper bound for odd moments of the distribution of coprime residues in short intervals, which confirms a conjecture of Montgomery and Vaughan. Specifically, for any odd number \(k \geq 3\), the paper proves the following result:
\[
M_k(q, h) \ll (\log h)^{O(1)} \left( \frac{\varphi(q)}{qh} + \left( \frac{\varphi(q)}{qh} \right)^{\frac{k - 1}{2}} \right)q
\]
where \(M_k(q, h)\) is the \(k\)-th central moment of the proportion of numbers coprime to \(q\) in a random interval of length \(h\).
2. **Average value of the refined singular series in the Hardy - Littlewood conjecture**: The second goal of the paper is to prove a nearly optimal upper bound for the average value of the refined singular series \(S_0(d_1, \ldots, d_k)\) in the Hardy - Littlewood conjecture. Specifically, for any odd number \(k \geq 3\) and \(h > 1\), the paper proves the following result:
\[
R_k(h) \ll (\log h)^{O(k)}h^{\frac{k - 1}{2}}
\]
where \(R_k(h)\) is the sum of the refined singular series \(S_0(d_1, \ldots, d_k)\) corresponding to all distinct \(d_i\) in the range \(1 \leq d_1, \ldots, d_k \leq h\).
To achieve these goals, the paper introduces a new tool, namely a nearly optimal upper bound for the number of solutions of rational linear equations with an odd number of addends. This new tool is not only crucial for the main results of this paper, but also of independent interest and may have applications in other fields.