Related papers: A parametric congruence motivated by Orr's identit…

In this paper, we prove several supercongruences conjectured by Z.-W. Sun ten years ago via certain strange hypergeometric identities. For example, for any prime $p>3$, we show that…

It is known that the defining triple relations of m pairs of parafermion operators and n pairs of paraboson operators with relative parafermion relations can be considered as defining relations for the Lie superalgebra osp(2m+1|2n) in terms…

The Franel numbers are defined by $ f_n=\sum_{k=0}^n {n\choose k}^3. $ Motivated by the recent work of Z.-W. Sun on Franel numbers, we prove that \begin{align*} \sum_{k=0}^{n-1}(3k+1)(-16)^{n-k-1} {2k\choose k} f_k &\equiv…

In this paper, we establish the following two congruences: \begin{gather*} \sum_{k=0}^{(p+1)/2}(3k-1)\frac{\left(-\frac{1}{2}\right)_k^2\left(\frac{1}{2}\right)_k4^k}{k!^3}\equiv…

The celebrated Clausen's identity expresses the square of the Gauss hypergeometric series ${}_2F_{1}(a,b;a+b+1/2;x)$ as a single hypergeometric ${}_3F_2$ series. Goursat showed in 1883 that replacing $1/2$ by $m+1/2$ leads to a…

We establish some supercongruences related to a supercongruence of Van Hamme, such as \begin{align*} \sum_{k=0}^{(p+1)/2} (-1)^k (4k-1)\frac{(-\frac{1}{2})_k^3}{k!^3} &\equiv p(-1)^{(p+1)/2}+p^3(2-E_{p-3})\pmod{p^{4}},\\…

Let $m$, $r$ and $n$ be positive integers. We denote by ${\bf k}\vdash n$ any tuple of odd positive integers ${\bf k}=(k_1,\dots,k_t)$ such that $k_1+\dots+k_t=n$ and $k_j\ge 3$ for all $j$. In this paper we prove that for every…

Without Borel or Pad$\acute{e}$ techniques, we show that for a divergent series with $n!$ large-order growth factor, the set of Hypergeometric series $_{k+1}F_{k-1}$ represents suitable approximants for which there exist no free parameters.…

The defining relations (triple relations) of n pairs of parafermion operators f_j^\pm (j=1,...,n) are known to coincide with a set of defining relations for the Lie algebra so(2n+1) in terms of 2n generators. With the common Hermiticity…

For $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{Z}$, the $n$th generalized central trinomial coefficient $T_n(b,c)$ is the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. In particular, $T_n=T_n(1,1)$ is the central…

In this paper, we introduce the power-partible reduction for holonomic (or, P-recursive) sequences and apply it to obtain a series of congruences for Ap\'ery numbers $A_k$. In particular, we prove that, for any $r\in\mathbb{N}$, there…

Let $p$ be an odd prime and let $d$ be an integer not divisible by $p$. We prove that $$ \prod_{1\le m,n\le p-1\atop p\nmid m^2-dn^2}\ (x-(m+n\sqrt{d})) \equiv \begin{cases}\sum_{k=1}^{p-2}\frac{k(k+1)}2x^{(k-1)(p-1)}\pmod p &\text{if}\…

An orthogonal basis of weight vectors for a class of infinite-dimensional representations of the orthosymplectic Lie superalgebra osp(2m+1|2n) is introduced. These representations are particular lowest weight representations V(p), with a…

Let $\varepsilon>0$ be a fixed small constant, ${\mathbb F}_p$ be the finite field of $p$ elements for prime $p$. We consider additive and multiplicative problems in ${\mathbb F}_p$ that involve intervals and arbitrary sets. Representative…

In this paper, by constructing some identities, we prove some $q$-analogues of some congruences. For example, for any odd integer $n>1$, we show that \begin{gather*} \sum_{k=0}^{n-1} \frac{(q^{-1};q^2)_k}{(q;q)_k} q^k \equiv (-1)^{(n+1)/2}…

We give a family of congruences for the binomial coefficients ${kp-1\choose p-1}$ in terms of multiple harmonic sums, a generalization of the harmonic numbers. Each congruence in this family (which depends on an additional parameter $n$)…

Let $O$ be chosen uniformly at random from the group of $(N+L) \times (N+L)$ orthogonal matrices. Denote by $\tilde{O}$ the upper-left $N \times N$ corner of $O$, which we refer to as a truncation of $O$. In this paper we prove two…

In this paper, we prove that for any odd prime $p$ and for any $p$-integer $\alpha $,we have $ \binom{\alpha p-1}{p-1}\equiv 1-\alpha (\alpha -1)(\alpha ^{2}-\alpha -1)p\sum_{k=1}^{p-1}\frac{1}{k}+\alpha ^{2} (\alpha-1)^{2}p^{2}\sum_{1\leq…

We investigate a ratio sequence derived from the factorization of $p_{m-1} + 1$, where $p_n$ denotes the $n$th prime. For each $m \geq 3$, write $p_{m-1} + 1 = L_m R_m$ with $L_m$ the largest prime factor. Restricting to those $m$ for which…

We prove supercongruences modulo $p^2$ for values of truncated hypergeometric series at some special points. The parameters of the hypergeometric series are $d$ copies of $1/2$ and $d$ copies of $1$ for any integer $d\ge2$.