Petrow–Young Subconvexity Bound

• The paper establishes a Weyl-type subconvexity bound for Dirichlet L-functions with an exponent of 1/6, surpassing the classical convexity barrier.
• It utilizes innovative analytic and spectral methods, including the approximate functional equation, delta method, and Kuznetsov formula.
• The result leads to improved distribution exponents for divisor functions like d3(n) and d4(n), advancing equidistribution in arithmetic progressions.

The Petrow–Young subconvexity bound is a breakthrough in analytic number theory that establishes a Weyl-type subconvex estimate for Dirichlet $L$-functions of primitive characters, with profound implications for the distribution of divisor functions in arithmetic progressions. The method enables significant improvements on classical “square root barrier” results, enabling new exponents of distribution for $d_3(n)$ and $d_4(n)$ and advancing the study of mean values of arithmetic functions in residue classes.

1. Formal Statement of the Petrow–Young Subconvexity Bound

Let $\chi$ be a primitive Dirichlet character modulo a cube-free integer $q$, and let $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$ for $s = \tfrac12 + it$. Petrow and Young prove the following Weyl-type subconvexity bound: $$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$ for every $\varepsilon>0$ (Parry, 2024, Aydemir et al., 18 Jan 2026).

Equivalently, the "exponent" $\theta = 1/6$ may be taken in the general form

$d_3(n)$0

This subconvex estimate sits strictly below the classical convexity bound with exponent $d_3(n)$1, and permits a power-saving improvement crucial to arithmetic equidistribution problems.

2. Outline of the Proof and Main Techniques

The proof proceeds by several innovative analytic and spectral techniques:

• Approximate Functional Equation: The $d_3(n)$2-function is expressed in terms of two dual sums, each of length about $d_3(n)$3.
• Circle/Delta Method: Detection of $d_3(n)$4 via a $d_3(n)$5-symbol or spectral trace formula on $d_3(n)$6.
• Reciprocity and Kuznetsov Formula: The sum is analyzed using Kloosterman sums, whose structure is accessed via the Kuznetsov trace formula on $d_3(n)$7.
• Spectral Reciprocity: Introduction of a duality between $d_3(n)$8-twists and sums over $d_3(n)$9 Fourier coefficients.
• Amplification and Stationary Phase Analysis: An amplification method (inspired by Duke–Friedlander–Iwaniec) is used to harvest the central values, and oscillatory integrals are bounded by the stationary phase method.

The consequence is a “hybrid” subconvex bound, yielding $d_4(n)$0 in both $d_4(n)$1-aspect and $d_4(n)$2-aspect, and thus establishing the stated Weyl-type estimate (Aydemir et al., 18 Jan 2026).

3. Applications to Exponent of Distribution Beyond the Square-Root Barrier

The Petrow–Young bound serves as the analytic foundation for achieving exponents of distribution for divisor functions $d_4(n)$3 beyond the $d_4(n)$4 barrier in arithmetic progressions:

• Four-fold Divisor Function ($d_4(n)$5): Parry demonstrates that $d_4(n)$6 possesses exponent of distribution $d_4(n)$7 on average over residue classes, breaking the $d_4(n)$8 limit for the first time. The main steps involve smoothing, application of an Ivić multidimensional Voronoi formula, and separation into diagonal/off-diagonal terms. The off-diagonal regime is controlled by employing the Petrow–Young subconvexity in bounding bilinear forms involving $d_4(n)$9-functions, culminating in the second-moment estimate

$\chi$0

for prime $\chi$1. This leads to individual error terms $\chi$2 of size $\chi$3, confirming equidistribution of $\chi$4 up to $\chi$5 (Parry, 2024).

• Ternary Divisor Function ($\chi$6): The techniques transfer to $\chi$7, and by similar analysis the exponent of distribution is improved from $\chi$8 to $\chi$9 after averaging over residue classes modulo a prime $q$0. In this context, the Petrow–Young bound is invoked at several points:
  • Bounding bilinear sums involving $q$1 via Dirichlet character orthogonality,
  • Employing Perron's formula to express sums over $q$2 in terms of $q$3,
  • Applying hybrid and averaged Weyl-type bounds for $q$4-functions within $q$5 and $q$6-aspects.
  • The resulting mean square error is

$q$7

for $q$8, thus confirming substantial progress over prior results (Aydemir et al., 18 Jan 2026).

4. Technical Preconditions and Functional Ranges

The subconvexity result and its applications are subject to several precise restrictions:

• The character $q$9 must be primitive of conductor $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$0, with $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$1 required to be cube-free in Petrow–Young (prime $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$2 is allowed).
• All bounds are uniform in $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$3 and for all $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$4.
• In distribution problems for $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$5, the modulus $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$6 is required to satisfy $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$7, with $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$8 for $L(s,\chi) = \sum_{n \ge 1} \chi(n)n^{-s}$9, $s = \tfrac12 + it$0 for $s = \tfrac12 + it$1 under averaging, as set by the detailed optimization of second moment bounds.

5. Consequences for Divisor Functions and Related Problems

The principal consequences include:

• $s = \tfrac12 + it$2 Equidistribution: Establishes equidistribution in prime modulus arithmetic progressions beyond the conventional range, achieving power-saving error terms for $s = \tfrac12 + it$3 (Parry, 2024).
• $s = \tfrac12 + it$4 Improvements: Improves the exponent for equidistribution of $s = \tfrac12 + it$5 up to modulus $s = \tfrac12 + it$6 on average (Aydemir et al., 18 Jan 2026).
• Framework for Higher Divisor Functions: The analytic structure provided by Petrow–Young suggests that, for $s = \tfrac12 + it$7, any suitable subconvex bound for the relevant $s = \tfrac12 + it$8-functions could yield nontrivial distribution exponents for $s = \tfrac12 + it$9. This insight shows the generality and reach of the underlying analytic approach.

A table summarizing key exponents:

Function	Classical Exponent	With P-Y Bound	Modulus Range
$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$0	$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$1	$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$2	$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$3
$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$4	$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$5	$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$6	$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$7

6. Key Formulas and Estimate Summary

The following central formulas encapsulate the main analytic advances:

• Petrow–Young Weyl Bound:

$$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$8

• Fourth-Moment Bound (for $$L\!\Bigl(\tfrac12+it,\chi\Bigr)\;\ll_{\varepsilon}\;(q(1+|t|))^{\tfrac16+\varepsilon}$$9):

$\varepsilon>0$0

• Second-Moment for Error Terms:

$\varepsilon>0$1

for $\varepsilon>0$2, and

$\varepsilon>0$3

for $\varepsilon>0$4.

These expressions delineate the pathway from the subconvexity bound to explicit equidistribution results in arithmetic progressions.

7. Impact and Future Directions

The Petrow–Young subconvexity bound provides an essential analytic tool for advancing beyond natural convexity-barrier limits in the study of distribution of arithmetic functions. Its hybrid and uniformly sharp nature is indispensable for mean value theorems and divisor distribution problems. A plausible implication is that further enhancements in subconvex bounds for Dirichlet or related automorphic $\varepsilon>0$5-functions would directly enable stronger exponents for various arithmetic function distribution results, particularly for higher $\varepsilon>0$6 and analogous settings. The method’s paradigm—melding spectral reciprocity, advanced trace formulae, and optimized moment estimates—serves as a blueprint for subsequent progress in analytic number theory and automorphic forms.