arXiv++ Combinatorics

Let $\{A'_n\}$ be the Apéry numbers given by $A'_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k.$ For any prime $p\equiv 3\pmod 4$ we show that $A'_{\frac{p-1}2}\equiv \frac{p^2}3\binom{\frac{p-3}2}{\frac{p-3}4}^{-2}\pmod {p^3}$. Let $\{t_n\}$ be given by $$t_0=1,\ t_1=5\quad\hbox{and}\quad t_{n+1}=(8n^2+12n+5)t_n-4n^2(2n+1)^2t_{n-1}\ (n\ge 1).$$ We also obtain the congruences for $t_p\pmod {p^3},\ t_{p-1}\pmod {p^2}$ and $t_{\frac{p-1}2}\pmod {p^2}$, where $p$ is an odd prime.

Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Apéry-like numbers. In this paper, we use Beukers' method to prove some conjectures of the first author concerning the congruences for $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k^3}{m^k}, \ \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k}, \ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k\binom{6k}{3k}}{m^k}, \ \sum_{n=0}^{p-1}\frac{V_n}{m^n},\ \sum_{n=0}^{p-1}\frac{T_n}{m^n},\ \sum_{n=0}^{p-1}\frac{D_n}{m^n} $$ and $\sum_{n=0}^{p-1}(-1)^nA_n$ modulo $p^3$, where $p$ is an odd prime representable by some suitable binary quadratic form, $m$ is an integer not divisible by $p$, $V_n=\sum_{k=0}^n\binom{2k}k^2\binom{2n-2k}{n-k}^2$, $T_n=\sum_{k=0}^n\binom nk^2\binom{2k}n^2$, $D_n=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2n-2k}{n-k}$ and $A_n$ is the Apéry number given by $A_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2$.

In the proof of the irrationality of $ζ(3)$ and $ζ(2)$, Apéry defined two integer sequences through $3$-term recurrences, which are known as the famous Apéry numbers. Zagier, Almkvist--Zudilin and Cooper successively introduced the other $13$ sporadic sequences through variants of Apéry's $3$-term recurrences. All of the $15$ sporadic sequences are called Apéry-like sequences. Motivated by Gessel's congruences mod $24$ for the Apéry numbers, we investigate the congruences in the form $u_n\equiv α^n \pmod{N_α}~(α\in \mathbb{Z},N_α\in \mathbb{N}^{+})$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$. Let $N_α$ be the largest positive integer such that $u_n\equiv α^n \pmod{N_α}$ for all non-negative integers $n$. We determine the values of $\max\{N_α|α\in \mathbb{Z}\}$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$.The binomial transforms of Apéry-like sequences provide us a unified approach to this type of congruences for Apéry-like sequences.

Osburn, Sahu and Straub introduced the numbers: \begin{align*} A_n^{(r,s,t)}=\sum_{k=0}^n{n\choose k}^r{n+k\choose k}^s{2k\choose n}^t, \end{align*} for non-negative integers $n,r,s,t$ with $r\ge 2$, which includes two kinds of Apéry numbers and four kinds of Apéry-like numbers as special cases, and showed that the numbers $\{A_n^{(r,s,t)}\}_{n\ge 0}$ satisfy the Gauss congruences of order $3$. We establish an extension of Osburn--Sahu--Straub congruence through Bernoulli numbers, which is one step deep congruence of the Gauss congruence for $A_n^{(r,s,t)}$.

A sequence $a=(a_n)_{n=1}^\infty$ of non-negative integers is called realizable if there is a self-map $T:X\to X$ on a set $X$ such that $a_n$ is equal to the number of periodic points of $T$ in $X$ of (not necessarily exact) period $n$, for all $n\geq1$. The sequence $a$ is called almost realizable if there exists a positive integer $m$ such that $(ma_n)_{n=1}^\infty$ is realizable. In this article, we show that certain wide classes of integer sequences are realizable, which contain many famous combinatorial sequences, such as the sequences of Apéry numbers of both kinds, central Delannoy numbers, Franel numbers, Domb numbers, Zagier numbers, and central trinomial coefficients. We also show that the sequences of Catalan numbers, Motzkin numbers, and large and small Schröder numbers are not almost realizable.

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éry numbers $A_k$. In particular, we prove that, for any $r\in\mathbb{N}$, there exists an integer $\tilde{c}_r$ such that \begin{equation*} \sum_{k=0}^{p-1}(2k+1)^{2r+1}A_k\equiv \tilde{c}_r p \pmod {p^3} \end{equation*} holds for any prime $p>3$.

In this paper, we mainly establish a congruence for a sum involving Apéry numbers, which was conjectured by Z.-W. Sun. Namely, for any prime $p>3$ and positive odd integer $m$, we prove that there is a $p$-adic integer $c_m$ only depending on $m$ such that $$\sum_{k=0}^{p-1}(2k+1)^{m}(-1)^kA_k\equiv c_mp\left(\frac{p}{3}\right)\pmod{p^3},$$ where $A_k=\sum_{j=0}^{k}\binom{k}{j}^2\binom{k+j}{j}^2$ is the Apéry number and $(\frac{\cdot}{p})$ is the Legendre symbol.

Many interesting combinatorial sequences, such as Apéry numbers and Franel numbers, enjoy the so-called Lucas property modulo almost all primes $p$. Modulo prime powers $p^r$ such sequences have a more complicated behaviour which can be described by matrix versions of the Lucas property called $p$-linear schemes. They are examples of finite $p$-automata. In this paper we construct such $p$-linear schemes and give upper bounds for the number of states which, for fixed $r$, do not depend on $p$.

The Apéry numbers $A_n$ and the Franel numbers $f_n$ are defined by $$A_n=\sum_{k=0}^{n}{\binom{n+k}{2k}}^2{\binom{2k}{k}}^2\ \ \ \ \ {\rm and }\ \ \ \ \ \ f_n=\sum_{k=0}^{n}{\binom{n}{k}}^3(n=0, 1, \cdots,).$$ In this paper, we prove three supercongruences for Apéry numbers or Franel numbers conjectured by Z.-W. Sun. Let $p\geq 5$ be a prime and let $n\in \mathbb{Z}^{+}$. We show that \begin{align} \notag \frac{1}{n}\bigg(\sum_{k=0}^{pn-1}(2k+1)A_k-p\sum_{k=0}^{n-1}(2k+1)A_k\bigg)\equiv0\pmod{p^{4+3ν_p(n)}} \end{align} and \begin{align}\notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(2k+1)^3A_k-p^3\sum_{k=0}^{n-1}(2k+1)^3A_k\bigg)\equiv0\pmod{p^{6+3ν_p(n)}}, \end{align} where $ν_p(n)$ denotes the $p$-adic order of $n$. Also, for any prime $p$ we have \begin{align} \notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(3k+2)(-1)^kf_k-p^2\sum_{k=0}^{n-1}(3k+2)(-1)^kf_k\bigg)\equiv0\pmod{p^{3}}. \end{align}

In this paper, we generalise a congruence which proved by V. J.-W. Guo and J. Zeng \cite{gz-jnt-2012} involving Apéry numbers, and we obtain a congruence involving Franel numbers which confirms a congruence conjecture of Z.-W. Sun \cite[Conjecture 57(ii)]{sun-njdx-2019}.

In this paper, we confirm several conjectures posed by Sun recently; for example, we prove that for any odd prime $p$ we have $$ \sum_{k=0}^{p-1}A_k\equiv\begin{cases}4x^2-2p\pmod{p^2}\quad&\text{if $p=x^2+2y^2\ (x,y\in\mathbb{Z})$},\\ 0\pmod{p^2}\quad&\text{if $p\equiv5,7\pmod{8}$},\end{cases} $$ where $A_n:=\sum_{k=0}^n\binom{n+k}{k}^2\binom{n}{k}^2$ are the Apéry numbers.

Let $n$ be a nonnegative integer. The $n$-th Apé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éry numbers and posed some conjectures. For example, Sun conjectured that for any prime $p\geq7$ $$ \sum_{k=0}^{p-1}(2k+1)A_k\equiv p-\frac{7}{2}p^2H_{p-1}\pmod{p^6} $$ and for any prime $p\geq5$ $$ \sum_{k=0}^{p-1}(2k+1)^3A_k\equiv p^3+4p^4H_{p-1}+\frac{6}{5}p^8B_{p-5}\pmod{p^9}, $$ where $H_n=\sum_{k=1}^n1/k$ denotes the $n$-th harmonic number and $B_0,B_1,\ldots$ are the well-known Bernoulli numbers. In this paper we shall confirm these two conjectures.

We establish a supercongruence conjectured by Almkvist and Zudilin, by proving a corresponding $q$-supercongruence. Similar $q$-supercongruences are established for binomial coefficients and the Apéry numbers, by means of a general criterion involving higher derivatives at roots of unity. Our methods lead us to discover new examples of the cyclic sieving phenomenon, involving the $q$-Lucas numbers.

In this paper, we prove two conjectural supercongruences on the $(p-1)$th Apéry number, which were recently proposed by Z.-H. Sun.

We consider a family of polynomial analogs of the Apéry numbers, which includes $q$-analogs of Krattenthaler--Rivoal--Zudilin and Zheng, and show that the supercongruences that Gessel and Mimura established for the Apéry numbers generalize to these polynomials. Our proof relies on polynomial analogs of classical binomial congruences of Wolstenholme and Ljunggren. We further indicate that this approach generalizes to other supercongruence results.

We prove a supercongruence modulo $p^3$ between the $p$th Fourier coefficient of a weight 6 modular form and a truncated ${}_6F_5$-hypergeometric series. Novel ingredients in the proof are the comparison of two rational approximations to $ζ(3)$ to produce non-trivial harmonic sum identities and the reduction of the resulting congruences between harmonic sums via a congruence between the Apéry numbers and another Apéry-like sequence.

We show that Stieltjes moment sequences are infinitely log-convex, which parallels a famous result that (finite) Pólya frequency sequences are infinitely log-concave. We introduce the concept of $q$-Stieltjes moment sequences of polynomials and show that many well-known polynomials in combinatorics are such sequences. We provide a criterion for linear transformations and convolutions preserving Stieltjes moment sequences. Many well-known combinatorial sequences are shown to be Stieltjes moment sequences in a unified approach and therefore infinitely log-convex, which in particular settles a conjecture of Chen and Xia about the infinite log-convexity of the Schröder numbers. We also list some interesting problems and conjectures about the log-convexity and the Stieltjes moment property of the (generalized) Apéry numbers.

In 2003, Rodriguez-Villegas conjectured four supercongruences on the truncated ${}_3F_2$ hypergeometric series for certain modular K3 surfaces, which were gradually proved by several authors. Motivated by some supercongruences on combinatorial numbers such as Apéry numbers and Domb numbers, we establish some new supercongruences on the truncated ${}_3F_2$ hypergeometric series, which extend the four Rodriguez-Villegas supercongruences.

In this paper we confirm several conjectures of Z.-W. Sun on Hankel-type determinants for some combinatorial sequences including Franel numbers, Domb numbers and Apéry numbers. For any nonnegative integer $n$, define \begin{gather*}f_n:=\sum_{k=0}^n\binom nk^3,\ D_n:=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2(n-k)}{n-k}, b_n:=\sum_{k=0}^n\binom nk^2\binom{n+k}k,\ A_n:=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2. \end{gather*} For $n=0,1,2,\ldots$, we show that $6^{-n}|f_{i+j}|_{0\leq i,j\leq n}$ and $12^{-n}|D_{i+j}|_{0\le i,j\le n}$ are positive odd integers, and $10^{-n}|b_{i+j}|_{0\leq i,j\leq n}$ and $24^{-n}|A_{i+j}|_{0\leq i,j\leq n}$ are always integers.

Two interesting sequences arose in the study of the series expansions of the complete elliptic integrals, which are called the Catalan-Larcombe-French sequence $\{P_n\}_{n\geq 0}$ and the Fennessey-Larcombe-French sequence $\{V_n\}_{n\geq 0}$ respectively. In this paper, we prove the log-convexity of $\{V_n^2-V_{n-1}V_{n+1}\}_{n\geq 2}$ and $\{n!V_n\}_{n\geq 1}$, the ratio log-concavity of $\{P_n\}_{n\geq 0}$ and the sequence $\{A_n\}_{n\geq 0}$ of Apéry numbers, and the ratio log-convexity of $\{V_n\}_{n\geq 1}$.