arXiv subjects

Zhongyan Shen

Publications and source records attributed to Zhongyan Shen.

7 recordsLinked to original sources

arXiv2026

Cyclotomic Congruences and Lucas Sequences

In this paper, we extend the $p$-adic valuations originally obtained by Carmichael for the sequences obtained by applying Möbius inversion to Lucas sequences to $p$-adic congruences, from which we immediately derive corresponding congruences for Lucas sequences. As a corollary, we also establish some constraints on the entry point behavior of primes in Lucas sequences, on the basis of which we conjecture the presence of a strong Chebyshev-like bias in real regular Lucas sequences.

math.NT↗

arXiv2025

The $p$-adic Valuations of Möbius Duals of Lucas Sequences

In this paper, we extend the $p$-adic valuations of the Möbius duals of Lucas sequences, originally obtained by Carmichael for regular Lucas sequences to irregular Lucas sequences. We conclude with a brief observation about the relationship of these valuations to the existence of Wall-Sun-Sun primes.

math.NT↗

arXiv2017

Arithmetic properties of polynomials

In this paper, first, we prove that the Diophantine system \[f(z)=f(x)+f(y)=f(u)-f(v)=f(p)f(q)\] has infinitely many integer solutions for $f(X)=X(X+a)$ with nonzero integers $a\equiv 0,1,4\pmod{5}$. Second, we show that the above Diophantine system has an integer parametric solution for $f(X)=X(X+a)$ with nonzero integers $a$, if there are integers $m,n,k$ such that \[\begin{cases} \begin{split} (n^2-m^2) (4mnk(k+a+1) + a(m^2+2mn-n^2)) &\equiv0\pmod{(m^2+n^2)^2},\\ (m^2+2mn-n^2) ((m^2-2mn-n^2)k(k+a+1) - 2amn) &\equiv0 \pmod{(m^2+n^2)^2}, \end{split} \end{cases}\] where $k\equiv0\pmod{4}$ when $a$ is even, and $k\equiv2\pmod{4}$ when $a$ is odd. Third, we get that the Diophantine system \[f(z)=f(x)+f(y)=f(u)-f(v)=f(p)f(q)=\frac{f(r)}{f(s)}\] has a five-parameter rational solution for $f(X)=X(X+a)$ with nonzero rational number $a$ and infinitely many nontrivial rational parametric solutions for $f(X)=X(X+a)(X+b)$ with nonzero integers $a,b$ and $a\neq b$. At last, we raise some related questions.

math.NT↗

arXiv2016

A congruence involving harmonic sums modulo $p^αq^β$

In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} Z(p^{r})\equiv-2p^{r-1}B_{p-3} ~(\bmod ~ p^{r}), \end{equation*} where $ Z(n)=\sum\limits_{i+j+k=n\atop{i,j,k\in\mathcal{P}_{n}}}\frac{1}{ijk}$ and $\mathcal{P}_{n}$ denote the set of positive integers which are prime to $n$. In this note, we obtain a congruence for distinct odd primes $p,~q$ and positive integers $α,~β$, \begin{equation*} Z(p^αq^β)\equiv 2(2-q)(1-\frac{1}{q^{3}})p^{α-1}q^{β-1}B_{p-3}\pmod{p^α} \end{equation*} and the necessary and sufficient condition for \begin{equation*} Z(p^αq^β)\equiv 0\pmod{p^αq^β}. \end{equation*} Finally, we raise a conjecture that for $n>1$ and odd prime power $p^α||n$, $α\geq1$, \begin{eqnarray} \nonumber Z(n)\equiv \prod\limits_{q|n\atop{q\neq p}}(1-\frac{2}{q})(1-\frac{1}{q^{3}})(-\frac{2n}{p})B_{p-3}\pmod{p^α}. \end{eqnarray}

math.NT↗

arXiv2015

A congruence involving alternating harmonic sums modulo $p^αq^β$

In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{1}{ijk}\equiv-2p^{r-1}B_{p-3} ~(\bmod ~ p^{r}), \end{equation*} where $\mathcal{P}_{n}$ denote the set of positive integers which are prime to $n$. In this note, we obtain the congruences for distinct odd primes $p,~q$ and positive integers $α,~β$, \begin{equation*} \sum\limits_{i+j+k=p^αq^β\atop{i,j,k\in\mathcal{P}_{pq}\atop{i\equiv j\equiv k\equiv 1\pmod{2}}}}\frac{1}{ijk}\equiv\frac{7}{8}(2-q)(1-\frac{1}{q^{3}})p^{α-1}q^{β-1}B_{p-3}\pmod{p^α} \end{equation*} and \begin{equation*} \sum\limits_{i+j+k=p^αq^β\atop{i,j,k\in \mathcal{P}_{pq}}}\frac{(-1)^{i}}{ijk} \equiv \frac{1}{2}(q-2)(1-\frac{1}{q^{3}})p^{α-1}q^{β-1}B_{p-3}\pmod{p^α}. \end{equation*} Finally, we raise a conjecture that for $n>1$ and odd prime power $p^α||n$, $α\geq1$, \begin{eqnarray} \nonumber \sum\limits_{i+j+k=n\atop{i,j,k\in\mathcal{P}_{n}}}\frac{(-1)^{i}}{ijk} \equiv \prod\limits_{q|n\atop{q\neq p}}(1-\frac{2}{q})(1-\frac{1}{q^{3}})\frac{n}{2p}B_{p-3}\pmod{p^α} \end{eqnarray} and \begin{eqnarray} \nonumber \sum\limits_{i+j+k=n\atop{i,j,k\in\mathcal{P}_{n}\atop{i\equiv j\equiv k\equiv 1\pmod{2}}}}\frac{1}{ijk} \equiv \prod\limits_{q|n\atop{q\neq p}}(1-\frac{2}{q})(1-\frac{1}{q^{3}})(-\frac{7n}{8p})B_{p-3}\pmod{p^α}. \end{eqnarray}

math.NT↗

arXiv2015

Super congruences involving alternating harmonic sums modulo prime powers

In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{1}{ijk}\equiv-2p^{r-1}B_{p-3} (\bmod p^{r}), \end{equation*} where $\mathcal{P}_{n}$ denote the set of positive integers which are prime to $n$. In this note, we establish a combinational congruence of alternating harmonic sums for any odd prime $p$ and positive integers $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{(-1)^{i}}{ijk} \equiv \frac{1}{2}p^{r-1}B_{p-3} (\bmod p^{r}). \end{equation*} For any odd prime $p\geq 5$ and positive integers $r$, we have \begin{align} &4\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}}}{i_{1}i_{2}i_{3}i_{4}}+3\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}+i_{2}}}{i_{1}i_{2}i_{3}i_{4}} \nonumber\\&\equiv\begin{cases} \frac{216}{5}pB_{p-5}\pmod{p^{2}}, if r=1, \\ \frac{36}{5}p^{r}B_{p-5}\pmod{p^{r+1}}, if r>1. \\ \end{cases}\nonumber \end{align} For any odd prime $p> 5$ and positive integers $r$, we have \begin{align} &\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}+i_{5}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}, i_{5}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}}}{i_{1}i_{2}i_{3}i_{4}i_{5}}+2\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}+i_{5}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}, i_{5}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}+i_{2}}}{i_{1}i_{2}i_{3}i_{4}i_{5}} \nonumber\\&\equiv\begin{cases} 12B_{p-5}\pmod{p}, if r=1,\\ 6p^{r-1}B_{p-5}\pmod{p^{r}}, if r>1. \end{cases}\nonumber \end{align}

math.NT↗

arXiv2014

Figurate primes and Hilbert's 8th problem

In this paper, by using the theory of elliptic curves, we discuss several Diophantine equations related with the so-called figurate primes. Meanwhile, we raise several conjectures related with figurate primes and Hilbert's 8th problem, including Goldbach's conjecture, twin primes conjecture and Catalan's conjecture as well.

math.NT↗