On some determinants involving the tangent function

Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11139-023-00827-w

2024-02-22

The Ramanujan Journal

Abstract:Let p be an odd prime and let with . In this paper,we mainly evaluate

mathematics

What problem does this paper attempt to address?

On some determinants involving the tangent function

Zhi-Wei Sun

2023-12-22

Abstract:Let $p$ be an odd prime and let $a,b\in\mathbb Z$ with $p\nmid ab$. In this paper we mainly evaluate $$T_p^{(\delta)}(a,b,x):=\det\left[x+\tan\pi\frac{aj^2+bk^2}p\right]_{\delta\le j,k\le (p-1)/2}\ \ (\delta=0,1).$$ For example, in the case $p\equiv3\pmod4$ we show that $T_p^{(1)}(a,b,0)=0$ and $$T_p^{(0)}(a,b,x)=\begin{cases} 2^{(p-1)/2}p^{(p+1)/4}&\text{if}\ (\frac{ab}p)=1, \\p^{(p+1)/4}&\text{if}\ (\frac{ab}p)=-1,\end{cases}$$ where $(\frac{\cdot}p)$ is the Legendre symbol. When $(\frac{-ab}p)=-1$, we also evaluate the determinant $\det[x+\cot\pi\frac{aj^2+bk^2}p]_{1\le j,k\le(p-1)/2}.$ In addition, we pose several conjectures one of which states that for any prime $p\equiv3\pmod4$ there is an integer $x_p\equiv1\pmod p$ such that $$\det\left[\sec2\pi\frac{(j-k)^2}p\right]_{0\le j,k\le p-1}=-p^{(p+3)/2}x_p^2.$$

Number Theory
On determinants involving tangent functions

Zhengyu Tao,Xuejun Guo

DOI: https://doi.org/10.1080/03081087.2022.2094865

2023-01-01

Abstract:In this paper, we study certain determinants involving tangent functions. We prove that for any odd number n >= 3 and s is an element of Z(+), the determinant D(n,s) = det(tan(s)pi j+k/n)(1 <= j,k <= n-1) is an element of n(n-2)Z. In the special case s = 2, we confirm a conjecture raised by Zhi-Wei Sun in 2019.
On Certain Determinants and Related Legendre Symbols

Han Wang,Zhi-Wei Sun

DOI: https://doi.org/10.1007/s40840-024-01650-2

2024-02-15

Bulletin of the Malaysian Mathematical Sciences Society

Abstract:Let p be an odd prime. For , we study the Legendre symbol , where denotes the determinant of the matrix . For example, we prove that if then

mathematics
The tangent function and power residues modulo primes

Zhi-Wei Sun

2023-08-24

Abstract:Let $p$ be an odd prime, and let $a$ be an integer not divisible by $p$. When $m$ is a positive integer with $p\equiv1\pmod{2m}$ and $2$ is an $m$th power residue modulo $p$, we determine the value of the product $\prod_{k\in R_m(p)}\tan\pi\frac{ak}p$, where $$R_m(p)=\{0<k<p:\ k\in\mathbb Z\ \text{is an}\ m\text{th power reside modulo}\ p\}.$$ In particular, if $p=x^2+64y^2$ with $x,y\in\mathbb Z$, then $$\prod_{k\in R_4(p)}\left(1+\tan\pi\frac {ak}p\right)=(-1)^{y}(-2)^{(p-1)/8}.$$

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

Deyi Chen,Zhi-Wei Sun

2024-01-01

Abstract:Let p=2n+1 be an odd prime. In this paper, we mainly evaluate determinants involving (j+k/p)±(j-k/p), where (·/p) denotes the Legendre symbol. When p≡14, we determine the characteristic polynomials of the matrices [(j+k/p)+(j-k/p)]_1≤ j,k≤ n and [(j+k/p)-(j-k/p)]_1≤ j,k≤ n, and also prove that |x+(j+k/p)+(j-k/p)+(j/p)y+(k/p)z+(jk/p)w|_1≤ j,k≤ n = (-p)^(p-5)/4((p-1/2)^2wx-(p-1/2y-1)(p-1/2z-1)), which was previously conjectured by the second author.
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
On Some Determinants with Legendre Symbol Entries.

Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.ffa.2018.12.004

IF: 1.655

2019-01-01

Finite Fields and Their Applications

Abstract:In this paper we mainly focus on some determinants with Legendre symbol entries. Let p be an odd prime and let (./p) be the Legendre symbol. We show that (-S(d,p)/p) = 1 for any d is an element of Z with (d/p) = 1, and that (W-p/p) = {(-1) (left perpendicular) ({0<k<p/4; (k/p)=-1}) (right perpendicular) if p equivalent to 1 (mod 4), (-1) (left perpendicular) ((p+1)/8) (right perpendicular) if p equivalent to 3 (mod 4), where S(d,p) = det [(i(2)+j(2)/p)](1 <= i,j <=(p-1)/2) and W-p = det[(i(2) - ((p-1)/2)!j/p](0 <= i,j <=(p-1)/2) We also pose some conjectures on determinants, one of which states that (-1) (left perpendicular) ((p+1)/8) (right perpendicular) W-p is a square when p equivalent to 3 (mod 4). (C) 2019 Elsevier Inc. All rights reserved.
On some determinant conjectures

Ze-Hua Zhu,Chen-Kai Ren

2024-09-11

Abstract:Let $p$ be a prime and $c,d\in\mathbb{Z}$. Sun introduced the determinant $D_p^-(c,d):=\det[(i^2+cij+dj^2)^{p-2}]_{1<i,j<p-1}$ for $p>3$. In this paper, we confirm three conjectures on $D_p^-(c,d)$ proposed by Zhi-Wei Sun.

Number Theory,Combinatorics
On Some Determinants and Permanents

Zhi‐Wei Sun

DOI: https://doi.org/10.48550/arxiv.2207.13039

2022-01-01

Abstract:In this paper we study some determinants and permanents. In particular, we investigate the new type determinants $$\det[(i^2+cij+dj^2)^{p-2}]_{1\le i,j\le p-1}\ \text{and} \ \det[(i^2+cij+dj^2)^{p-2}]_{0\le i,j\le p-1}$$ modulo an odd prime $p$, where $c$ and $d$ are integers. We also pose some conjectures for further research.
Determinants of Trigonometric Functions and Class Numbers

Xuejun Guo

DOI: https://doi.org/10.1016/j.laa.2022.08.001

IF: 1.307

2022-01-01

Linear Algebra and its Applications

Abstract:We study two determinants involving tangent and cotangent functions and prove two conjectures made by Zhi-Wei Sun in 2019. Both determinants are divisible by the first factor of the class numbers of associated cyclotomic fields.
On some determinants arising from quadratic residues

Chen-Kai Ren,Zhi-Wei Sun

2024-04-18

Abstract:Let $p>3$ be a prime, and let $d\in\mathbb Z$ with $p\nmid d$. For the determinants $$S_m(d,p)=\det\left[(i^2+dj^2)^{m}\right]_{1\leqslant i,j \leqslant (p-1)/2}\ \ \left(\frac{p-1}2\leqslant m\leqslant p-1\right),$$ Sun recently determined $S_m(d,p)$ modulo $p$ when $m\in\{p-2,p-3\}$ and $(\frac {-d}p)=-1$. In this paper, we obtain $S_{p-2}(d,p)$ modulo $p$ in the remaining case $(\frac{-d}p)=1$, and determine the Legendre symbols $(\frac{S_{p-3}\,(d,p)}p)$ and $(\frac{S_{p-4}\,(d,p)}p)$ in some special cases.

Number Theory
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
On some conjectural determinants of Sun involving residues

Rituparna Chaliha,Gautam Kalita

2024-07-10

Abstract:For an odd prime $p$ and integers $d, k, m$ with gcd$(p,d)=1$ and $2\leq k\leq \frac{p-1}{2}$, we consider the determinant \begin{equation*} S_{m,k}(d,p) = \left|(\alpha_i - \alpha_j)^m\right|_{1 \leq i,j \leq \frac{p-1}{k}}, \end{equation*} where $\alpha_i$ are distinct $k$-th power residues modulo $p$. In this paper, we deduce some residue properties for the determinant $S_{m,k}(d,p)$ as a generalization of certain results of Sun. Using these, we further prove some conjectures of Sun related to $$\left(\frac{\sqrt{S_{1+\frac{p-1}{2},2}(-1,p)}}{p}\right) \text{ and } \left(\frac{\sqrt{S_{3+\frac{p-1}{2},2}(-1,p)}}{p}\right).$$ In addition, we investigate the number of primes $p$ such that $p\ |\ S_{m+\frac{p-1}{k},k}(-1,p)$, and confirm another conjecture of Sun related to $S_{m+\frac{p-1}{2},2}(-1,p)$.

Number Theory
Legendre Symbols Related to Certain Determinants

Xin-Qi Luo,Zhi-Wei Sun

DOI: https://doi.org/10.1007/s40840-023-01505-2

2023-01-01

Bulletin of the Malaysian Mathematical Sciences Society

Abstract:Let p be an odd prime. For b,c∈ℤ , Sun introduced the determinant D_p(b,c)=| (i^2+bij+cj^2)^p-2| _1⩽ i,j ⩽ p-1 and investigated the Legendre symbol (D_p(b,c)/p) . Recently Wu, She and Ni proved that (D_p(1,1)/p)=(-2/p) if p≡ 2 (mod 3) , which confirms a previous conjecture of Sun. In this paper, we determine (D_p(1,1)/p) in the case p≡ 1 (mod 3) . Sun proved that D_p(2,2)≡ 0 (mod p) if p≡ 3 (mod 4) ; in contrast, we prove that (D_p(2,2)/p)=1 if p≡ 1 (mod 8) , and (D_p(2,2)/p)=0 if p≡ 5 (mod 8) . Our tools include generalized trinomial coefficients and Lucas sequences.
Some determinants involving quadratic residues modulo primes

Zhi-Wei Sun

2024-07-12

Abstract:In this paper we evaluate several determinants involving quadratic residues modulo primes. For example, for any prime $p>3$ with $p\equiv3\pmod4$ and $a,b\in\mathbb Z$ with $p\nmid ab$, we prove that $$\det\left[ 1+\tan\pi\frac{aj^2+bk^2}p \right]_{1\le j,k \le \frac{p-1}2} = \begin{cases}-2^{(p-1)/2}p^{(p-3)/4}&\text{if}\ (\frac{ab}p)=1, \\p^{(p-3)/4}&\text{if}\ (\frac{ab}p)=-1, \end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also pose some conjectures for further research.

Number Theory
On a determinant involving linear combinations of Legendre symbols

Keqin Liu,Zhi-Wei Sun,Li-Yuan Wang

2024-09-30

Abstract:In this paper, we prove a conjecture of the second author by evaluating the determinant $$\det\left[x+\left(\frac{i-j}p\right)+\left(\frac ip\right)y+\left(\frac jp\right)z+\left(\frac{ij}p\right)w\right]_{0\le i,j\le(p-3)/2}$$ for any odd prime $p$, where $(\frac{\cdot}p)$ denotes the Legendre symbol. In particular, the determinant is equal to $x$ when $p\equiv 3\pmod4$.

Number Theory
On determinants involving $(\frac{j^2-k^2}p)$ and $(\frac{jk}p)$

Deyi Chen,Zhi-Wei Sun

2024-08-27

Abstract:Let $p$ be an odd prime and let $(\frac{\cdot}p)$ be the Legendre symbol. In this paper, we study the determinant $$\det\left[\left(\frac{j^2-k^2}p\right)+\left(\frac{jk}p\right)w\right]_{\delta\le j,k\le (p-1)/2}$$ with $\delta\in\{0,1\}$. For example, we prove that the determinant does not depend on $w$ if $p\equiv3\pmod4$ and $\delta=0$.

Number Theory
On Some Determinants Involving Jacobi Symbols

Dmitry Krachun,Fedor Petrov,Zhi-Wei Sun,Maxim Vsemirnov

DOI: https://doi.org/10.1016/j.ffa.2020.101672

IF: 1.655

2020-01-01

Finite Fields and Their Applications

Abstract:In this paper we study some conjectures on determinants with Jacobi symbol entries posed by Z.-W. Sun. For any positive integer n≡3(mod4), we show that(6,1)n=[6,1]n=(3,2)n=[3,2]n=0 and(4,2)n=(8,8)n=(3,3)n=(21,112)n=0 as conjectured by Sun, where(c,d)n=|(i2+cij+dj2n)|1≤i,j≤n−1 and[c,d]n=|(i2+cij+dj2n)|0≤i,j≤n−1 with (⋅n) the Jacobi symbol. We also prove that (10,9)p=0 for any prime p≡5(mod12), and [5,5]p=0 for any prime p≡13,17(mod20), which were also conjectured by Sun. Our proofs involve character sums over finite fields.
$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

Wang Chen,Sun Zhi-Wei

2019-01-01

Abstract: In this paper, we mainly study the congruence properties of the following truncated hypergeometric series $$ {}_4F_3\bigg[\begin{matrix}\alpha&1+\frac{\alpha}{2}&\alpha&\alpha\\ &\frac{\alpha}{2}&1&1\end{matrix}\bigg|\ \lambda\bigg]_{p-1}, $$ where $p$ is an odd prime, $\lambda=\pm1$ and $\alpha\in\mathbb{Z}_p^{\times}$. For example, for $\lambda=-1$ we obtain $$ {}_4F_3\bigg[\begin{matrix}\alpha&1+\frac{\alpha}{2}&\alpha&\alpha\\ &\frac{\alpha}{2}&1&1\end{matrix}\bigg|-1\bigg]_{p-1}\equiv\frac{\alpha+\langle-\alpha\rangle_p}{\Gamma_p(1+\alpha)\Gamma_p(1-\alpha)}\pmod{p^3}, $$ where $\langle x\rangle_p$ is the least nonnegative residue of $x$ modulo $p$ and $\Gamma_p$ is the well-known $p$-adic gamma function. As applications, we confirm several conjectures posed by Sun recently; for example, we determine $$\sum_{k=0}^{p-1}(-1)^k(2k+1)\sum_{j=0}^k\binom {-x}j^3\binom{x-1}{k-j}^3$$ modulo $p^2$ for any prime $p>3$ and $p$-adic integer $x$.
Generalized Semi-Invariant Distributions on P-Adic S Paces

Jiuzu Hong,Binyong Sun

DOI: https://doi.org/10.1007/s00208-016-1444-8

2017-01-01

Mathematische Annalen

Abstract:In this paper we investigate some methods on calculating the spaces of generalized semi-invariant distributions on p-adic spaces. Using homological methods, we give a criterion of automatic extension of (generalized) semi-invariant distributions. Based on the meromorphic continuations of Igusa zeta integrals, we give another criteria with purely algebraic geometric conditions, on the extension of generalized semi-invariant distributions.

On some determinants involving the tangent function

On some determinants involving the tangent function

On determinants involving tangent functions

On Certain Determinants and Related Legendre Symbols

The tangent function and power residues modulo primes

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

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

On Some Determinants with Legendre Symbol Entries.

On some determinant conjectures

On Some Determinants and Permanents

Determinants of Trigonometric Functions and Class Numbers

On some determinants arising from quadratic residues

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

On some conjectural determinants of Sun involving residues

Legendre Symbols Related to Certain Determinants

Some determinants involving quadratic residues modulo primes

On a determinant involving linear combinations of Legendre symbols

On determinants involving $(\frac{j^2-k^2}p)$ and $(\frac{jk}p)$

On Some Determinants Involving Jacobi Symbols

$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

Generalized Semi-Invariant Distributions on P-Adic S Paces