Related papers: Four conjectures by Zhi-Hong Sun

Wilson's theorem for the factorial got generalized to the moduli $p^2$ in 1900 and $p^3$ in 2000 by J.W.L. Glaisher and Z-H. Sun respectively. This paper which studies more generally the multiple harmonic sums $\mathcal{H}_{\lbrace…

We study decompositions of natural numbers into triangular summands. For instance, we prove that any natural number can be represented as a sum of four triangular numbers, two of them having even indices and the other two having odd…

In this paper we investigate determinants whose entries are linear combinations of Legendre symbols. We deduce some new results in this direction; for example, we prove that for any prime $p\equiv3\pmod4$ we have…

Let $p(n)$ denote the partition function. Desalvo and Pak proved the log-concavity of $p(n)$ for $n>25$ and the inequality $\frac{p(n-1)}{p(n)}\left(1+\frac{1}{n}\right)>\frac{p(n)}{p(n+1)}$ for $n>1$. Let $r(n)=\sqrt[n]{p(n)/n}$ and…

In this paper, we show that if $p\equiv 1\pmod 4$ is prime, then $4F_p$ admits a representation of the form $u^2-pv^2$ for some integers $u$ and $v$, where $F_n$ is the $n$th Fibonacci number. We prove a similar result when $p\equiv -1\pmod…

In this paper, we prove two conjectures of Z.-W. Sun: $$2n\binom{2n}n\big|\sum_{k=0}^{n-1}(3k+1)\binom{2k}k^3{16}^{n-1-k}\ \mbox{for}\ \mbox{all}\ n=2,3,\cdots,$$ and $$\sum_{k=0}^{(p-1)/2}\frac{3k+1}{16^k}\binom{2k}{k}^3\equiv…

In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{6n+1}{(-512)^n}\binom{2n}n^3&\equiv…

Let $n$ be a nonnegative integer. The $n$-th Ap\'{e}ry number is defined by $$ A_n:=\sum_{k=0}^n\binom{n+k}{k}^2\binom{n}{k}^2. $$ Z.-W. Sun ever investigated the congruence properties of Ap\'{e}ry numbers and posed some conjectures. For…

For any odd prime number $p$, let $(\cdot|p)$ be the Legendre symbol, and let $n_1(p)<n_2(p)<\cdots$ be the sequence of positive nonresidues modulo $p$, i.e., $(n_k|p)=-1$ for each $k$. In 1957, Burgess showed that the upper bound…

Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper, by using the work of Ishii and Deuring's theorem for elliptic curves with complex multiplication we solve some conjectures of Zhi-Wei Sun concerning…

Let $E_n$ be the $n$-th Euler number and $(a)_n=a(a+1)\cdots (a+n-1)$ the rising factorial. Let $p>3$ be a prime. In 2012, Sun proved the that $$ \sum^{(p-1)/2}_{k=0}(-1)^k(4k+1)\frac{(\frac{1}{2})_k^3}{k!^3} \equiv…

Let $q$ be a power of a prime $p$ and let $G$ be a completely reducible subgroup of $\mathrm{GL}(d,q)$. We prove that the number of composition factors of $G$ that have prime order $p$ is at most $(\varepsilon_q d-1)/(p-1)$, where…

A formula for the class number $h$ of the imaginary quadratic field $Q(\sqrt{-p}$ is obtained by counting on a specific way the quadratic residues of a prime number of the form $p=4n-1.$ Formulas for the sum of the quadratic residues are…

In this paper we classify certain values of p that satisfy the Erdos-Straus conjecture, concerning the decomposition of fractions of the form 4/n as sum of three fractions with numerator identically equal to 1, not according to their…

Using the following $_4F_3$ transformation formula $$ \sum_{k=0}^{n}{-x-1\choose k}^2{x\choose n-k}^2=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}^2{x+k\choose 2k}, $$ which can be proved by Zeilberger's algorithm, we confirm some special…

Let $Q(x,y)$ be a quadratic form with discriminant $D\neq 0$. We obtain non trivial upper bound estimates for the number of solutions of the congruence $Q(x,y)\equiv\lambda \pmod{p}$, where $p$ is a prime and $x,y$ lie in certain intervals…

In 2017, motivated by a supercongruence conjectured by Kimoto and Wakayama and confirmed by Long, Osburn and Swisher, Z.-W. Sun introduced the sequence of polynomials: $$…

For fixed $q\in\{3,7,11,19, 43,67,163\}$, we consider the density of primes $p$ congruent to $1$ modulo $4$ such that the class group of the number field $\mathbb{Q}(\sqrt{-qp})$ has order divisible by $16$. We show that this density is…

Let $X$ be an isotropic random vector in $R^d$ that satisfies that for every $v \in S^{d-1}$, $\|<X,v>\|_{L_q} \leq L \|<X,v>\|_{L_p}$ for some $q \geq 2p$. We show that for $0<\varepsilon<1$, a set of $N = c(p,q,\varepsilon) d$ random…

We prove several conjectures made by Z.-W. Sun on the existence of permutations conditioned by certain rational functions. Furthermore, we fully characterize all integer values of the "inverse difference" rational function. Our proofs…