Arithmetic correlations over large finite fields

DOI10.1093/IMRN/RNV157MaRDI QIDQ2796766zbMATH OpenOpenAlexFDO

Authors J. P. Keating, Edva Roditty-Gershon

Publication date 29 March 2016

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1505.01970

zbMATH Keywords

correlationfinite fieldirreducible polynomial

Mathematics Subject Classification ID

Arithmetic functions; related numbers; inversion formulas (11A25) Arithmetic theory of polynomial rings over finite fields (11T55)

Abstract: The auto-correlations of arithmetic functions, such as the von Mangoldt function, the M"obius function and the divisor function, are the subject of classical problems in analytic number theory. The function field analogues of these problems have recently been resolved in the limit of large finite field size $q$. However, in this limit the correlations disappear: the arithmetic functions become uncorrelated. We compute averages of terms of lower order in $q$ which detect correlations. Our results show that there is considerable cancellation in the averaging and have implications for the rate at which correlations disappear when $qightarrowinfty$; in particular one cannot expect remainder terms that are of the order of the square-root of the main term in this context.

Review text

This paper investigates the analogs of some correlation problems for primes in the setting of polynomials over finite fields. Let \(q\) be an odd prime power, \(P_n\) and \(M_n\) the set of polynomials and of monic polynomials of degree \(n\) over \(F_q\), resp. For a polynomial \(f\) put \(\Lambda(f) = \text{deg}\, p\) if \(f\) is a power of an irreducible polynomial \(p\), and 0 otherwise. It is known that NEWLINE\[CARRIAGE_RETURNNEWLINE q^{-n} \sum_{f\in M_n} \Lambda(f) \Lambda(f+K) = 1 + E(K, n, q),CARRIAGE_RETURNNEWLINE\]NEWLINE where \(E(K, n, q) = O(q^{-1/2})\) for a nonvanishing \(K\). The main results of the paper give estimates of the average of this error term \(E\) in the form NEWLINE\[CARRIAGE_RETURNNEWLINE \sum_{K\in M_k} E(K, n, q) = \frac{1}{1-q} + O(q^{-3/2}) CARRIAGE_RETURNNEWLINE\]NEWLINE for \(k<n-3\), and of a twisted average NEWLINE\[CARRIAGE_RETURNNEWLINE \sum_{j \leq n-\text{deg}\, Q -1} \sum_{K\in M_j} E(KQ, n, q) = \frac{ n-\text{deg}\, Q}{ 1-q} + O(q^{-3/2}). CARRIAGE_RETURNNEWLINE\]NEWLINE The second has the corollary that for \( \text{deg}\, Q = n-1\) we have \( E(Q, n, q) = \frac{1}{1-q} + O(q^{-3/2}) \).

Recommendations

• Correlation of arithmetic functions over \(\mathbb{F}_q[T]\)
• The covariance of almost-primes in \(\mathbb {F}_{q}[T]\)
• Prime polynomials in short intervals and in arithmetic progressions
• Simultaneous prime specializations of polynomials over finite fields
• Arithmetic properties of polynomial specializations over finite fields

Cited in

(10)

• Variance of arithmetic sums and \(L\)-functions in \(\mathbb F_q[t]\)
• Correlation of arithmetic functions over \(\mathbb{F}_q[T]\)
• Shifted convolution and the Titchmarsh divisor problem over \(\mathbb F_q[t]\)
• Arithmetic properties of polynomial specializations over finite fields
• Pair Correlation of Squares in p-Adic Fields
• Cubic twin prime polynomials are counted by a modular form
• Correlations of sums of two squares and other arithmetic functions in function fields
• Correlation of multiplicative functions over Fq[x]$\mathbb {F}_q[x]$: A pretentious approach
• Correlation and lower bounds of arithmetic expressions
• An explicit polynomial analogue of Romanoff's theorem

This page was built for publication: Arithmetic correlations over large finite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2796766)