On certain determinants and the square root of some determinants involving Legendre Symbols

Chen-kai Ren,Xin-qi Luo
2024-07-12
Abstract:Let $p>3$ be a prime and $(\frac{.}{p})$ be the Legendre symbol. For any integer $d$ with $p\nmid d$ and any positive integer $m$, Sun introduced the determinants $$T_m(d,p)=\det\left[(i^2+dj^2)^m\left(\frac{i^2+dj^2}{p}\right)\right]_{1\leqslant i,j \leqslant (p-1)/2},$$ and $$D_p^{(m)}= \det\left[(i^2-j^2)^m\left(\frac{i^2-j^2}{p}\right)\right]_{1\leq i,j\leq (p-1)/2} .$$ In this paper, we obtain some properties of $T_m (d,p)$ and $ \sqrt{D_p^{(m)}}$ for some $m$. We also confirm some related conjectures posed by Zhi-Wei Sun.
Number Theory
What problem does this paper attempt to address?
This paper attempts to solve mathematical problems related to certain specific determinants and their square roots, especially determinants involving the Legendre symbol. Specifically: 1. **Introduction and study of specific determinants**: - The paper defines two new determinants \(T_m(d, p)\) and \(D^{(m)}_p\), where \(p\) is a prime number greater than 3, \(d\) is an integer and \(p\nmid d\), and \(m\) is a positive integer. - The determinant \(T_m(d, p)\) is defined as: \[ T_m(d, p)=\det\left[\left(i^2 + dj^2\right)^m\left(\frac{i^2 + dj^2}{p}\right)\right]_{1\leq i, j\leq\frac{p - 1}{2}} \] - The determinant \(D^{(m)}_p\) is defined as: \[ D^{(m)}_p=\det\left[\left(i^2 - j^2\right)^m\left(\frac{i^2 - j^2}{p}\right)\right]_{1\leq i, j\leq\frac{p - 1}{2}} \] 2. **Study of the properties of these determinants**: - The author has studied several properties of these determinants and confirmed some related conjectures proposed by Zhi - Wei Sun. 3. **Verification of conjectures**: - An important goal of the paper is to verify one of Sun's conjectures (Conjecture 1.1), which involves the value of \(T_2(1, p)\). Specifically, for prime numbers \(p>3\) and \(p\neq11\), we have: \[ \left(\frac{T_2(1, p)}{p}\right)= \begin{cases} \left(\frac{2}{p}\right)&\text{if }p\equiv1\pmod{4},\\ \left(\frac{- 6}{p}\right)&\text{if }p\equiv3\pmod{4}. \end{cases} \] 4. **Generalization of results**: - The paper also generalizes the above results to similar determinants over finite fields and gives more general results. 5. **Applications**: - These results not only solve specific mathematical conjectures but also provide new methods for calculating determinants over finite fields, which are helpful for further understanding the properties of matrix determinants related to the Legendre symbol. In summary, by introducing new determinants and studying their properties, this paper successfully verifies several mathematical conjectures and provides new tools and insights for research in related fields.