Abstract:Inspired by the works of L. Carlitz and Z.-W. Sun on cyclotomic matrices, in this paper, we investigate certain cyclotomic matrices involving Gauss sums over finite fields, which can be viewed as finite field analogues of certain matrices related to the Gamma function.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the calculation of the determinants of cyclotomic matrices involving Gauss sums over finite fields and their properties. Specifically, the authors studied a class of specific cyclotomic matrices, which can be regarded as analogues over finite fields of certain matrices related to the Gamma function. The core objectives of the paper include:
1. **Define and study specific cyclotomic matrices**: For an odd prime power \(q = p^n\), where \(p\) is a prime number and \(n\in\mathbb{Z}^+\), let \(\zeta_p = e^{2\pi i / p}\) and \(\chi\) be a generator of all multiplicative characters over the finite field \(\mathbb{F}_q\). For the Gauss sum
\[
G_q(\chi^r)=\sum_{x\in\mathbb{F}_q}\chi^r(x)\zeta_p^{\text{Tr}_{\mathbb{F}_q/\mathbb{F}_p}(x)},
\]
the authors considered the following matrices:
\[
A_q(k):=\left[G_q(\chi^{ki + kj})\right]_{0\leq i,j\leq\frac{q - 1 - k}{k}}
\]
and
\[
B_q(k):=\left[G_q(\chi^{ki + kj})^{-1}\right]_{0\leq i,j\leq\frac{q - 1 - k}{k}}.
\]
2. **Calculate the determinants of these matrices**: The authors gave explicit expressions for the determinants of these matrices and proved some important properties. For example, for \(k = 1\) and \(k = 2\), they obtained respectively:
\[
\det A_q(1)=(-1)^{\frac{(q - 2)(q - 3)}{2}}(q - 1)^{q - 1}
\]
and
\[
\det A_q(2)=(-1)^{\alpha_n\frac{q - 1}{2}}\left(\frac{q - 1}{2}\right)^{\frac{q - 1}{2}}2^{\frac{p^{n - 1}-1}{2}},
\]
where
\[
\alpha_n=\begin{cases}
1&\text{if }n\equiv1\pmod{2},\\
\frac{p^2 + 7}{8}&\text{if }n\equiv0\pmod{2}.
\]
3. **Explore the singularity of the matrix \(B_q(k)\) and the non - zero property of the determinant**: The authors also studied the singularity of the matrix \(B_q(k)\) and the non - zero conditions of the determinant. In particular, when \(k\mid p - 1\), \(\det B_p(k)\neq0\), and they gave specific expressions for \(\det B_p(1)\) and \(\det B_p(2)\).
Through the study of these problems, the authors not only expanded the understanding of Gauss sums over finite fields and their related matrices, but also provided new tools and methods for subsequent research.