Search arXivSearch

arXiv · 1810.00483

Mean values of arithmetic functions in short intervals and in arithmetic progressions in the large-degree limit

Abstract

A classical problem in number theory is showing that the mean value of an arithmetic function is asymptotic to its mean value over a short interval or over an arithmetic progression, with the interval as short as possible or the modulus as large as possible. We study this problem in the function field setting, and prove for a wide class of arithmetic functions (namely factorization functions), that such an asymptotic result holds, allowing the size of the short interval to be as small as a square-root of the size of the full interval, and analogously for arithmetic progressions. For instance, our results apply for the indicator function of polynomials with a divisor of given degree, and are much stronger than those known for the analogous function over the integers. As opposed to many previous works, our results apply in the \emph{large-degree limit}, where the base field $\mathbb{F}_q$ is fixed. Our proofs are based on relationships between certain character sums and symmetric functions, and in particular we use results from symmetric function theory due to Eğecioğlu and Remmel. We also use recent bounds of Bhowmick, Lê and Liu on character sums, which are in the spirit of the Drinfeld--Vlăduţ bound.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ofir Gorodetsky. 2022-04-22. Mean values of arithmetic functions in short intervals and in arithmetic progressions in the large-degree limit. https://doi.org/10.1112/mtk.12032

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

KEEP EXPLORING

Related papers

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT

Real quadratic base changes for $\mathrm{GL}_3$ and integral periods relations

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel's base change to some real quadratic field $E$. This generalizes earlier works of Tilouine-Urban and of Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods, defined using the middle degree of the cuspidal cohomology of $\mathrm{GL}_3(E)$, instead of the top or bottom degrees. We also investigate the Rogawski's stable base change from the quasi-split unitary group $U_E$ associated with $E$ to $\mathrm{GL}_3(E)$. In this situation, we also obtain some results toward a $p$-adic divisibility of automorphic periods.

math.NT