Table of Contents
Fetching ...

Joint distributions of error terms for primes in arithmetic progressions modulo 11

Kübra Benli, Greg Martin, Paul Péringuey

TL;DR

This work formulates a rigorous, Fourier-analytic method to quantify the joint positivity of normalized prime-counting error terms in arithmetic progressions modulo $q$, focusing on $q=11$. By modeling the limiting distribution of the vector of error terms with random Dirichlet-L-function zeros, it derives an explicit double-integral formula for the first-quadrant density $\delta^{++}_a$ and provides a framework for computing these densities with controlled errors. The authors carry out detailed numerical computations for $q=11$, obtaining precise values for $\delta_a^{++}$ and confirming mirror-image and cyclic-ordering phenomena in the corresponding prime races. An explanatory model highlights the role of a single low-lying zero of a Dirichlet $L$-function as the primary mediator of the cyclic behavior, linking analytic structure to observed statistical patterns. The combination of rigorous numerics and a probabilistic model advances understanding of correlations among prime-counting functions in residue classes and sharpens the predictive picture of prime races modulo $11$.

Abstract

We provide a formula for the logarithmic density of the set of positive real numbers on which two prime counting functions $ψ(x;q,a)$ and $ψ(x;q,b)$ are simultaneously larger than their asymptotic main terms, as well as a method for calculating the numerical values of such densities with rigorously bounded errors. We apply these formulas to the pairwise races in the case $q=11$, determining which pairs of residues $a$ and $b$ are more or less correlated in this way. The outcomes when $q=11$ provide a deeper mathematical illumination of the "mirror image" and "cyclic ordering" phenomena observed by Bays and Hudson.

Joint distributions of error terms for primes in arithmetic progressions modulo 11

TL;DR

This work formulates a rigorous, Fourier-analytic method to quantify the joint positivity of normalized prime-counting error terms in arithmetic progressions modulo , focusing on . By modeling the limiting distribution of the vector of error terms with random Dirichlet-L-function zeros, it derives an explicit double-integral formula for the first-quadrant density and provides a framework for computing these densities with controlled errors. The authors carry out detailed numerical computations for , obtaining precise values for and confirming mirror-image and cyclic-ordering phenomena in the corresponding prime races. An explanatory model highlights the role of a single low-lying zero of a Dirichlet -function as the primary mediator of the cyclic behavior, linking analytic structure to observed statistical patterns. The combination of rigorous numerics and a probabilistic model advances understanding of correlations among prime-counting functions in residue classes and sharpens the predictive picture of prime races modulo .

Abstract

We provide a formula for the logarithmic density of the set of positive real numbers on which two prime counting functions and are simultaneously larger than their asymptotic main terms, as well as a method for calculating the numerical values of such densities with rigorously bounded errors. We apply these formulas to the pairwise races in the case , determining which pairs of residues and are more or less correlated in this way. The outcomes when provide a deeper mathematical illumination of the "mirror image" and "cyclic ordering" phenomena observed by Bays and Hudson.

Paper Structure

This paper contains 11 sections, 16 theorems, 85 equations, 1 figure.

Key Result

Theorem 1.2

Assume GRH and LI. When $q=11$, the following tables contain numerical values for the logarithmic densities $\delta_a^{++} = \delta^{++}(11;a,1) = \delta^{++}(11;ab,b)$ for any $1\le b\le10$. (The second table is simply a reordering of the first.) In all cases, the given values are rigorously proven correct to within $4 \times10^{-8}$. Moreover, for any $q\ge3$, we have $\delta_a^{--}=\delta_a^{+

Figures (1)

  • Figure :

Theorems & Definitions (44)

  • Definition 1.1
  • Theorem 1.2
  • Remark 1.3
  • Remark 1.4
  • Definition 2.1
  • Proposition 2.2
  • Definition 2.3
  • Remark 2.4
  • Proposition 2.5
  • proof
  • ...and 34 more