Related papers: Supercongruences for Almkvist--Zudilin sequences
Z.-W. Sun introduced three kinds of numbers: \begin{align*}S_n=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}(2k+1),\qquad s_n=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}\frac{1}{2k-1}, \end{align*} and $S_n^{+}=\sum_{k=0}^{n}{n\choose…
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…
For a positive integer $n$ let $H_n=\sum_{k=1}^{n}1/k$ be the $n$th harmonic number. In this note we prove that for any prime $p\ge 7$, $$ \sum_{k=1}^{p-1}\frac{H_k^2}{k^2} \equiv4/5pB_{p-5}\pmod{p^2}, $$ which confirms the conjecture…
Nous d\'ecrivons quelques r\'esultats r\'ecents sur la suite de Thue-Morse, ainsi que des questions ou conjectures, dont l'une, due \`a Shevelev, est r\'esolue dans cet article. We describe some recent results on the Thue-Morse sequence. We…
This note presents a self-contained proof that acyclic and locally acyclic cluster algebras coincide with their upper cluster algebras.
By using Andrews's explicit formulae of the $q$-Fibonacci sequence introduced by Schur, we prove certain congruences of the $q$-Fibonacci sequence which relate the sequence with the original Fibonacci sequence. As a corollary, we show that…
We give some results and conjectures about recurrence relations for certain sequences of binomial sums.
Conditions, related to the so-called bending problem are considered for hypersurfaces of a pseudo-Euclidean space. Corresponding theorems are proved.
In this paper, we investigate the uniqueness problem of entire functions that share an entire function with their higher-order difference operators. We obtain two results that confirm the conjectures posed by Liu and Laine \cite{LL1} and by…
In this paper, we prove the following result conjectured by Z.-W. Sun: $$ (2n-1){3n\choose n}| \sum_{k=0}^{n}{6k\choose 3k}{3k\choose k}{6(n-k)\choose 3(n-k)}{3(n-k)\choose n-k}. $$ by showing that the left-hand side divides each summand on…
We provide a proof and a counterexample to two conjectures made by N. Kuznetsov.
Elementary proofs of Sylvester's, Wolstenholme's, Morley's and Lehmer's congruence theorems
Guo and Zudilin [Adv. Math. 346 (2019), 329--358] developed an analytical method, called `creative microscoping', to prove many supercongruences by establishing their $q$-analogues. In this paper, we apply this method to give a…
We prove the periodicity conjecture for pairs of Dynkin diagrams using Fomin-Zelevinsky's cluster algebras and their (additive) categorification via triangulated categories.
In this note, we prove the Zilber--Pink conjecture for subvarieties of mixed Shimura varieties, which are not defined over~$\overline{\mathbb Q}$ in a strong sense. We prove similar results for general variations of mixed Hodge structure of…
We prove the Milnor conjecture for Lie groups and the Friedlander conjecture for complex algebraic Lie groups.
Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper we prove some supercongruences concerning $$\align &\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{54^k},\…
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…
Inspired by the recent work of Guo, we establish some new q-supercongruences including q-analogues of some Ramannujan-type supercongruences, by using the Bailey transformation formula and the `creative microscoping' method recently…
We prove that the Hilbert-Kunz multiplicity is upper semi-continuous in F-finite rings and algebras of essentially finite type over an excellent local ring.