Related papers: Multivariate Ap\'ery numbers and supercongruences …

Ratios of D-finite sequences and their limits -- known as Ap\'ery limits -- have driven much of the work on irrationality proofs since Ap\'ery's 1979 breakthrough proof of the irrationality of $\zeta(3)$. We extend ratios of D-finite…

The Apery polynomials are defined by $A_n(x)=\sum_{k=0}^{n}{n\choose k}^2{n+k\choose k}^2 x^k$ for all nonnegative integers $n$. We confirm several conjectures of Z.-W. Sun on the congruences for the sum $\sum_{k=0}^{n-1}(-1)^k(2k+1)…

Let $\overline{p}_{k}(n)$ denote the number of overpartition $k$-tuples of $n$. In 2023, Saikia \cite{saikia} conjectured the following congruences: \begin{align*} \overline{p}_{q}(8n+2)& \equiv 0 \pmod{4},\quad \overline{p}_{q}(8n+3)\equiv…

Inspired by the recent work by Nadji, Ahmia and Ram\'irez, we examined the arithmetic properties of $\bar{B}_{l_1,l_2} (n)$, the number of overpartitions of n whose parts are neither divisible by $l_1$ nor divisible by $l_2$. In particular,…

The Franel numbers given by $f_n=\sum_{k=0}^n\binom{n}{k}^3$ ($n=0,1,2,\ldots$) play important roles in both combinatorics and number theory. In this paper we initiate the systematic investigation of fundamental congruences for the Franel…

Let $p$ be a prime, let $d \geq 1$ be an integer and $A$ be the algebra of square matrices of size $d$ over the field of order $p$. Let $P, Q \in A[x_1, \dots x_n]$ be polynomials in $n$ indeterminates with coefficients in $A$, such that…

Let ${{\overline{p}}_{3}}(n)$ be the number of overpartition triples of $n$. By elementary series manipulations, we establish some congruences for ${\overline{p}}_{3}(n)$ modulo small powers of 2, such as…

We generalise Dwork's theory of $p$-adic formal congruences from the univariate to a multi-variate setting. We apply our results to prove integrality assertions on the Taylor coefficients of (multi-variable) mirror maps. More precisely,…

We say that a formal power series $\sum a_n z^n$ with rational coefficients is a 2-function if the numerator of the fraction $a_{n/p}-p^2 a_n$ is divisible by $p^2$ for every prime number $p$. One can prove that 2-functions with rational…

We give a brief history of transcendental number theory, including Schanuel's conjecture (S). Assuming (S), we prove that if z and w are complex numbers, not 0 or 1, with z^w and w^z algebraic, then z and w are either both rational or both…

Let $\overline{B}_{s,t}(n)$ denote the number of overpartitions of $n$ where no part is divisible by $s$ or $t$, with $s$ and $t$ being coprime. By establishing the exact generating functions of a family of arithmetic progressions in…

In a spirit of Ap\'ery's proof of the irrationality of $\zeta(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $\zeta_2(5)$ which satisfy $0 < |\zeta_2(5)-p_n/q_n|_2 <…

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$,…

In this paper, we introduce and study new classes of Ap\'ery-type series involving the multiple $t$-harmonic sums by combining the methods of iterated integral and Fourier--Legendre series expansions, where the multiple $t$-harmonic sums…

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\'ery…

A set $R\subset \mathbb{N}$ is called rational if it is well-approximable by finite unions of arithmetic progressions. Examples of rational sets include many classical sets of number-theoretical origin such as the set of squarefree numbers,…

In this paper, we will apply the ideas from the mirror symmetry of Calabi-Yau threefolds to study the modular forms and one-parameter family of K3 surfaces found by Beukers and Peters, which provide enlightenment to the two mysterious…

We present a new `elementary' proof of the irrationality of $\zeta(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.

We establish supercongruences for two kinds of Ap\'ery-like numbers, which involve Bernoulli numbers and Bernoulli polynomials. Conjectural supercongruences of the same type for another four kinds of Ap\'ery-like numbers are also proposed.

Let $\ell \geq 5$ be prime. For the partition function $p(n)$ and $5 \leq \ell \leq 31$, Atkin found a number of examples of primes $Q \geq 5$ such that there exist congruences of the form $p(\ell Q^{3} n+\beta) \equiv 0 \pmod{\ell}.$…