Abstract:In this paper, we mainly consider the arithmetic properties of the cyclotomic matrix $B_p(k)=\left[J_p(\chi^{ki},\chi^{kj})^{-1}\right]_{1\le i,j\le (p-1-k)/k}$, where $p$ is an odd prime, $1\le k<p-1$ is a divisor of $p-1$, $\chi$ is a generator of the group of all multiplicative character of the finite field $\mathbb{F}_p$ and $J_p(\chi^{ki},\chi^{kj})$ is Jacobi sum over $\mathbb{F}_p$. By using the Gross-Koblitz Formula and some $p$-adic tools, we first prove that $$p^{n-2}\det B_p(k)\equiv (-1)^{\frac{(n-1)(p+n-3)}{2}} \left(\frac{1}{k!}\right)^{n-2}\frac{1}{(2k)!}\pmod {p},$$ where $p-1=kn$. We next establish some theories on almost circulant matrices and then show that $$\det B_p(k)=(-1)^{\frac{(n-1)(p+n-1)}{2}}p^{-(n-1)}n^{n-2}a_p(k),$$ where $U_k$ is the set of all $k$-th roots of unity over $\mathbb{F}_p$, and $a_p(k)$ is the coefficient of $t$ of the minimal polynomial of the algebraic integer $\sum_{y\in U_k}(e^{2\pi{\bf i}y/p}-1)$. Also, for $k=1,2$ we obtain explicit expressions of $\det B_p(k)$.

What problem does this paper attempt to address?

The main problems that this paper attempts to solve mainly focus on exploring the arithmetic properties of a specific matrix $B_p(k)$ and the calculation of its determinant, where $B_p(k)$ is a cyclotomic matrix constructed by Jacobi and Gauss sums. Specifically: 1. **Definition of the matrix $B_p(k)$**: - The matrix $B_p(k)$ is defined as: \[ B_p(k)=\left[\frac{1}{J_p(\chi^{ki},\chi^{kj})}\right]_{1\leq i,j\leq\frac{p - 1 - k}{k}} \] where $p$ is an odd prime number, $1\leq k < p - 1$ is a divisor of $p - 1$, $\chi$ is a generator of all multiplicative character groups over the finite field $F_p$, and $J_p(\chi^{ki},\chi^{kj})$ is the Jacobi sum over $F_p$. 2. **Main results**: - **Theorem 1.1**: It is proved that $\det B_p(k)\in\mathbb{Q}$ and is independent of the choice of the generator $\chi$. Moreover, when $p - 1=kn$, we have: \[ p^{n - 2}\det B_p(k)\equiv(-1)^{\frac{(n - 1)(p + n - 3)}{2}}\left(\frac{1}{k!}\right)^{n - 2}\frac{1}{(2k)!}\pmod{p} \] - **Theorem 1.2**: By introducing the theory of almost cyclic matrices, an explicit expression for $\det B_p(k)$ is further given: \[ \det B_p(k)=(-1)^{\frac{(n - 1)(p + n - 1)}{2}}p^{-(n - 1)}n^{n - 2}a_p(k) \] where $U_k$ is the set of all $k$-th roots of unity over $F_p$, $a_p(k)$ is the coefficient of $t$ in the minimal polynomial of $\theta_k$, and $\theta_k=-k+\sum_{y\in U_k}e^{\frac{2\pi iy}{p}}$. 3. **Special cases**: - For $k = 1$ and $k = 2$, the paper also provides specific expressions for $\det B_p(k)$: \[ \det B_p(1)=\frac{1}{2}(p - 1)^{p - 2}p^{-(p - 3)} \] \[ \det B_p(2)=(-1)^{\frac{p + 1}{2}+\left\lfloor\frac{p - 3}{4}\right\rfloor}\frac{24\left(\frac{p - 1}{2}\right)^{p-\frac{5}{2}}}{(p^2 - 1)^{\frac{p - 5}{2}}} \] In summary, this paper aims to use the Gross - Koblitz formula and $p$-adic tools to deeply study the determinant properties of the cyclotomic matrix $B_p(k)$ and give its explicit expressions in specific cases. This not only enriches the research on Gauss sums and Jacobi sums in number theory, but also provides new insights into the algebraic structures over finite fields.

The Gross-Koblitz formula and almost circulant matrices related to Jacobi sums

Gaussian hypergeometric functions and cyclotomic matrices involving squares over finite fields

Some New Congruences Concerning Binomial Coefficients

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Gan--Gross--Prasad cycles and derivatives of $p$-adic $L$-functions

Open Gromov–Witten Theory of $$K_{{\mathbb {P}}^2}, K_{{{\mathbb {P}}^1}\times {{\mathbb {P}}^1}}, K_{W{\mathbb {P}}\left[ 1,1,2\right] }, K_{{{\mathbb {F}}}_1}$$ K P 2 , K P 1 × P 1 , K W P 1 , 1 , 2 , K F 1 and Jacobi Forms

Gauss Sum of Index 4: (1) Cyclic Case

Efficient Calculations for Inverse of $k$-diagonal Circulant Matrices and Cyclic Banded Matrices

Some Remarks on P-Adic L-functions for Certain Abelian Varieties with Complex Multiplication

On Determinants Involving (J+k/p)±(j-K/p)

The resolvent kernel on the discrete circle and twisted cosecant sums

The $p$-norm of circulant matrices via Fourier analysis

On the Characteristic Polynomial of the Gross Regulator Matrix

Sister Beiter and Kloosterman: A tale of cyclotomic coefficients and modular inverses

On determinants involving $(\frac{j+k}p)\pm(\frac{j-k}p)$

A $p$-adic arithmetic inner product formula

Joint distribution of the cokernels of random $p$-adic matrices II

A Unified Approach to Whiteman's and Ding-Helleseth's Generalized Cyclotomy Over Residue Class Rings

$p$-Adic hypergeometric functions and the trace of Frobenius of elliptic curves

On Sums of Binomial Coefficients Modulo P^2

Various congruences involving binomial coefficients and higher-order Catalan numbers