Source author record

Zhongyan Shen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
1topics
4close collaborators

Published work

5 publications

preprint2026arXiv

Cyclotomic Congruences and Lucas Sequences

In this paper, we extend the pp-adic valuations originally obtained by Carmichael for the sequences obtained by applying Möbius inversion to Lucas sequences to pp-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.

preprint2016arXiv

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

In 2014, Wang and Cai established the following harmonic congruence for any odd prime pp and positive integer rr, \begin{equation*} Z(p^{r})\equiv-2p^{r-1}B_{p-3} ~(\bmod ~ p^{r}), \end{equation*} where Z(n)=∑i+j+k=ni,j,k∈Pn1ijk Z(n)=\sum\limits_{i+j+k=n\atop{i,j,k\in\mathcal{P}_{n}}}\frac{1}{ijk} and Pn\mathcal{P}_{n} denote the set of positive integers which are prime to nn. In this note, we obtain a congruence for distinct odd primes p, qp,~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>1n>1 and odd prime power pα∣∣np^α||n, α≥1α\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}

preprint2015arXiv

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

In 2014, Wang and Cai established the following harmonic congruence for any odd prime pp and positive integer rr, \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 Pn\mathcal{P}_{n} denote the set of positive integers which are prime to nn. In this note, we obtain the congruences for distinct odd primes p, qp,~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>1n>1 and odd prime power pα∣∣np^α||n, α≥1α\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}

preprint2015arXiv

Super congruences involving alternating harmonic sums modulo prime powers

In 2014, Wang and Cai established the following harmonic congruence for any odd prime pp and positive integer rr, \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 Pn\mathcal{P}_{n} denote the set of positive integers which are prime to nn. In this note, we establish a combinational congruence of alternating harmonic sums for any odd prime pp and positive integers rr, \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≥5p\geq 5 and positive integers rr, 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>5p> 5 and positive integers rr, 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}

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.