The variance and correlations of the divisor function in $${\mathbb {F}}_q [T]$$, and Hankel matrices

Michael Yiasemides
DOI: https://doi.org/10.1007/s40687-023-00418-7
2024-02-17
Research in the Mathematical Sciences
Abstract:Abstract We prove an exact formula for the variance of the divisor function over short intervals in $${\mathcal {A}}:= {\mathbb {F}}_q [T]$$ A : = F q [ T ] , where q is a prime power; and for correlations of the form $$d(A) d(A+B)$$ d ( A ) d ( A + B ) , where we average both A and B over certain intervals in $${\mathcal {A}}$$ A . We also obtain an exact formula for correlations of the form $$d(KQ+N) d (N)$$ d ( K Q + N ) d ( N ) , where Q is prime and K and N are averaged over certain intervals with $${{\,\textrm{deg}\,}}N \le {{\,\textrm{deg}\,}}Q -1 \le {{\,\textrm{deg}\,}}K$$ deg N ≤ deg Q - 1 ≤ deg K ; and we demonstrate that $$d(KQ+N)$$ d ( K Q + N ) and d ( N ) are uncorrelated. We generalize our results to $$\sigma _z$$ σ z defined by $$\sigma _z (A):= \sum _{E \mid A} |A |^z$$ σ z ( A ) : = ∑ E ∣ A | A | z for all monics $$A \in {\mathcal {A}}$$ A ∈ A . Our approach is to use the orthogonality relations of additive characters on $${\mathbb {F}}_q$$ F q to translate the problems to ones involving the ranks of Hankel matrices over $${\mathbb {F}}_q$$ F q . We prove several results regarding the rank and kernel structure of these matrices, thus demonstrating their number-theoretic properties. We also discuss extending our method to other divisor sums, such as those involving $$d_k$$ d k .
mathematics
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects: 1. **Variance and Correlation of the Divisor Function**: The main objective of the paper is to prove the exact formulas for the variance of the divisor function \(d\) and the correlations of the form \(d(A)d(A + B)\) in the polynomial ring \(A := \mathbb{F}_q[T]\). Here, \(q\) is a prime power, and \(A\) and \(B\) take values within certain intervals. In addition, the paper also considers the variance and correlations of the higher - order divisor function \(\sigma_z\), where \(\sigma_z\) is defined as: \[ \sigma_z(A):=\sum_{E\mid A}|E|^z \] where \(E\) is a monic polynomial. 2. **Properties of Hankel Matrices**: To prove the above results, the author uses the orthogonal relations of additive characters over finite fields to transform the problem into a study of the rank and kernel structure of Hankel matrices. Specifically, the paper proves several results regarding the rank and kernel structure of Hankel matrices and shows the number - theoretic properties of these matrices. ### Main Results - **Theorem 1.2.1**: For \(n\geq4\) and \(n_1:=\left\lfloor\frac{n + 2}{2}\right\rfloor\), when \(z\in\frac{2\pi i}{\log q}\mathbb{Z}\), we have: \[ \frac{1}{q^n}\sum_{A\in M_n}|\Delta(A;<h)|^2=\frac{1}{q^n}\sum_{A\in M_n}|\Delta_{\sigma_z}(A;<h)|^2 = \begin{cases} \frac{(q - 1)q^{h-1}(n-2h - 1)(n-2h)(n-2h + 1)}{6}&\text{if }h\leq n_1-2,\\ 0&\text{if }n_1-1\leq h\leq n. \end{cases} \] When \(z\in\mathbb{C}\setminus\frac{2\pi i}{\log q}\mathbb{Z}\), we have: \[ \frac{1}{q^n}\sum_{A\in M_n}|\Delta_{\sigma_z}(A;<h)|^2 = \begin{cases} \frac{(q - 1)q^{h-1}\sum_{r = h+1}^{n_1-1}\left(\frac{q^{(n + 1-r)z}-q^{rz}}{q^z-1}\right)^2}{1}&\text{if }h\leq n_1-2,\\ 0&\text{if }n_1-1\leq h\leq n. \end{cases} \] - **Theorem 1.2.2**: For \(n\geq4\) and \(n_1:=\left\lfloor\frac{n + 2}{2}\right\rfloor\), when \(z\in\frac{2\pi i}{\log q}\mathbb{Z}\), we have: \[ \frac{1}{q^{h + n}}\sum_{A\in M_n}\sum_{B\in A_{<h}}d(A)d(A + B)=\frac{1}{q^{h + n}}\sum_{A\in M_n}\sum_{B\in A_{<h}}\sigma_