arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2505.04951

On the arithmetic average of the first $n$ primes

Matt Visser
View original source ↗Read source document ↗Export metadata ↓

Abstract

The arithmetic average of the first $n$ primes, $\bar p_n = {1\over n} \sum_{i=1}^n p_i$, exhibits very many interesting and subtle properties. Since the transformation from $p_n \to \bar p_n$ is extremely easy to invert, $p_n = n\bar p_n - (n-1)\bar p_{n-1}$, it is clear that these two sequences $p_n \longleftrightarrow \bar p_n$ must ultimately carry exactly the same information. But the averaged sequence $\bar p_n$, while very closely correlated with the primes, ($\bar p_n \sim {1\over2} p_n$), is much "smoother'', and much better behaved. Using extensions of various standard results I shall demonstrate that the prime-averaged sequence $\bar p_n$ satisfies prime-averaged analogues of the Cramer, Andrica, Legendre, Oppermann, Brocard, Fourges, Firoozbakht, Nicholson, and Farhadian conjectures. (So these prime-averaged analogues are not conjectures, they are theorems.) The crucial key to enabling this pleasant behaviour is the "smoothing'' process inherent in averaging. Whereas the asymptotic behaviour of the two sequences is very closely correlated the local fluctuations are quite different.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Matt Visser. 2025-07-15. On the arithmetic average of the first $n$ primes. https://doi.org/10.3390/math13142279

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT↗
arXiv2026

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT↗