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

Deyi Chen,Zhi-Wei Sun

2024-09-26

Abstract:Let $p=2n+1$ be an odd prime. In this paper, we mainly evaluate determinants involving $(\frac {j+k}p)\pm(\frac{j-k}p)$, where $(\frac{\cdot}p)$ denotes the Legendre symbol. When $p\equiv1\pmod4$, we determine the characteristic polynomials of the matrices $$\left[\left(\frac{j+k}p\right)+\left(\frac{j-k}p\right)\right]_{1\le j,k\le n}\ \ \text{and}\ \ \left[\left(\frac{j+k}p\right)-\left(\frac{j-k}p\right)\right]_{1\le j,k\le n},$$ and also prove that \begin{align*} &\ \left|x+\left(\frac{j+k}p\right)+\left(\frac{j-k}p\right)+\left(\frac jp\right)y+\left(\frac kp\right)z+\left(\frac{jk}p\right)w\right|_{1\le j,k\le n} \\=&\ (-p)^{(p-5)/4}\left(\left(\frac{p-1}2\right)^2wx-\left(\frac{p-1}2y-1\right)\left(\frac{p-1}2z-1\right)\right), \end{align*} which was previously conjectured by the second author.

Number Theory

What problem does this paper attempt to address?

This paper attempts to solve the problem of calculating the determinants of specific matrices related to the Legendre symbol. Specifically, the author mainly studied the determinants involving \((j + k\mid p)\pm(j - k\mid p)\), where \(p\) is an odd prime number and \((\cdot\mid p)\) represents the Legendre symbol.

### Main problem description:

1. **Determine the determinant values of specific matrices**:
- When \(p\equiv1\ (\text{mod}\ 4)\), the author calculated the determinants of the following two matrices:
\[
A_+=\left[\left(\frac{j + k}{p}\right)+\left(\frac{j - k}{p}\right)\right]_{1\leqslant j,k\leqslant n}
\]
and
\[
A_-=\left[\left(\frac{j + k}{p}\right)-\left(\frac{j - k}{p}\right)\right]_{1\leqslant j,k\leqslant n}
\]
where \(n = \frac{p - 1}{2}\).

2. **Solve the characteristic polynomials**:
- For the above matrices \(A_+\) and \(A_-\), when \(p\equiv1\ (\text{mod}\ 4)\), the author determined their characteristic polynomials and further gave the exact expressions of the determinants.

3. **Generalize to more general forms**:
- The paper also generalized these results and considered more complex matrix forms, for example:
\[
\left|x+\left(\frac{j + k}{p}\right)+\left(\frac{j - k}{p}\right)+\left(\frac{j}{p}\right)y+\left(\frac{k}{p}\right)z+\left(\frac{jk}{p}\right)w\right|_{1\leqslant j,k\leqslant n}
\]

4. **Verification in special cases**:
- For the case where \(p>3\) and \(p\equiv3\ (\text{mod}\ 4)\), the author also gave the corresponding determinant values and verified some conjectures.

### Solution:

The author used tools such as linear algebra, Dirichlet characters, and the generalized matrix determinant lemma to derive and verify these results. By introducing some auxiliary theorems and lemmas, such as the properties of the Legendre symbol and matrix decomposition, the author successfully solved these complex problems.

### Conclusion:

The main contribution of the paper lies in the in - depth study of the determinants of special matrices involving the Legendre symbol. It not only obtained specific calculation formulas but also verified several previously proposed conjectures, providing a solid foundation for further research in this field.