[Submitted on 25 May 2026]

View PDF

Abstract:Let $q$ be an odd prime power and let $\F_q$ be the finite field with $q$ elements. Let $\mathcal{P}(n)$ be the set of monic irreducible polynomials of degree $n$ over $\mathbb{F}_q$. For $f=t^n+f_{n-1}t^{n-1}+\cdots+f_0\in\mathcal{P}(n)$, fix coefficients $c_0,\ldots,c_m\in\mathbb{F}_q$ with $c_m\ne0$ and put $$ Q_A(f)=\sum_{j=0}^m c_j\sum_{i=j}^n f_i f_{i-j}+\ell_n(f),$$ where $\ell_n$ is an arbitrary linear form in the coefficients of $f$ and $f_n=1$. We prove that $Q_A$ is equidistributed on $\mathcal{P}(n)$: for every $\gamma\in\mathbb{F}_q$, $$\#\{f\in\mathcal{P}(n):Q_A(f)=\gamma\}=\frac{\#\mathcal{P}(n)}{q}+O_A(q^{19n/20+o(n)}),$$ as \(n\to\infty\), with $q$ and the quadratic band fixed. This extends the finite-field Rudin--Shapiro result from nearest-neighbour correlations to arbitrary fixed symmetric Laurent symbols. The proof combines Vaughan's identity with rank estimates for Toeplitz forms; the main new ingredient is an averaged rank-defect estimate for reciprocal symbols in the central Type I range.

Submission history

From: Kaimin Cheng [view email]
[v1] Mon, 25 May 2026 14:04:47 UTC (15 KB)

Current browse context:

math.NT

Bookmark

Bibliographic and Citation Tools

Code, Data and Media Associated with this Article

Demos

Recommenders and Search Tools

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.