Related papers: Criteria for apwenian sequences

Sun proposed a list of congruence and quadratic-residue conjectures for determinants and permanents over residue classes modulo a prime. This article gives a uniform treatment of Conjectures 4.6, 4.7, 4.8(ii), 4.9, 4.10(ii), 4.11 and 4.12…

Let (U \subset {\mathbb R}^3) be an open set and (f:U \to f(U) \subset {\mathbb R}^3) be a homeomorphism. Let (p \in U) be a fixed point. It is known that, if (\{p\}) is not an isolated invariant set, the sequence of the fixed point indices…

We prove that a sequence satisfying a certain symmetry property is $2$-regular in the sense of Allouche and Shallit, i.e., the $\mathbb{Z}$-module generated by its $2$-kernel is finitely generated. We apply this theorem to develop a general…

We show that the Hankel determinants of a generalized Catalan sequence satisfy the equations of the elliptic sequence. As a consequence, the coordinates of the multiples of an arbitrary point on the elliptic curve are expressed by the…

In this article we introduce a new approach to compute infinite products defined by automatic sequences involving the Thue-Morse sequence. As examples, for any positive integers $q$ and $r$ such that $0 \leq r \leq q-1$, we find infinitely…

Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Ap\'ery-like numbers. In this paper, we use Beukers' method to prove some conjectures…

For a single value of $\ell$, let $f(n,\ell)$ denote the number of lattice paths that use the steps $(1,1)$, $(1,-1)$, and $(\ell,0)$, that run from $(0,0)$ to $(n,0)$, and that never run below the horizontal axis. Equivalently, $f(n,\ell)$…

We recall the definition and the properties of a moment sequence and recall that all real sequences that have a finite rank of its Hankel matrix (see definition in the sequel) satisfy a homogeneous linear equation with constant…

Fix $n$ a positive integer. Take the $n$-th metallic number $\phi_n=\frac{n+\sqrt{n^2+4}}{2}$ (e.g. $\phi_1$ is the golden number) and let $\Phi_n(q)$ be its $q$-deformation in the sense of S. Morier-Genoud and V. Ovsienko. This is an…

The Thue--Morse sequence is a prototypical automatic sequence found in diverse areas of mathematics, and in computer science. We study occurrences of factors $w$ within this sequence, more precisely, the sequence of gaps between consecutive…

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

We introduce a new family of meta-Fibonacci sequences $(f(n))_{n\in\mathbb{N}}$, governed by the recurrence relation $$f(n)=af(n-u_{n}-1)+bf(n-u_{n}-2),$$ where $\mathbf{u}=(u_{n})_{n\in \mathbb{N}}$ is a sequence with values $0,1$. Our…

Given a prime power $q$ and $n \gg 1$, we prove that every integer in a large subinterval of the Hasse--Weil interval $[(\sqrt{q}-1)^{2n},(\sqrt{q}+1)^{2n}]$ is $#A(\mathbb{F}_q)$ for some geometrically simple ordinary principally polarized…

Given an integer $q\ge2$ and $\theta_1,\cdots,\theta_{q-1}\in\{0,1\}$, let $(\theta_n)_{n\ge0}$ be the generalized Thue-Morse sequence, defined to be the unique fixed point of the morphism $$0\mapsto0\theta_1\cdots\theta_{q-1}$$…

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…

We present a formula that expresses the Hankel determinants of a linear combination of length $d+1$ of moments of orthogonal polynomials in terms of a $d\times d$ determinant of the orthogonal polynomials. This formula exists somehow hidden…

The Ap\'ery numbers $A_n$ and central Delannoy numbers $D_n$ are defined by $$A_n=\sum_{k=0}^{n}{n+k\choose 2k}^2{2k\choose k}^2, \quad D_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}. $$ Motivated by some recent work of Z.-W. Sun, we prove…

The purpose of this article is two-folds. Firstly, we establish two sufficient conditions under which the sequence $\{f(n)\pmod{m}: n\geq1\}$ is non-periodic, where $f(n)$ is an arithmetic function. As consequences, we deduce that the…

Let $b$ be an algebraic number with $|b|>1$ and $\mathcal{H}$ a finite set of algebraic numbers. We study the transcendence of numbers of the form $\sum_{n=0}^\infty \frac{a_n}{b^n}$ where $a_n \in \mathcal{H}$ for all $n\in\mathbb{N}$. We…

The Euler numbers occur in the Taylor expansion of $\tan(x)+\sec(x)$. Since Stieltjes, continued fractions and Hankel determinants of the even Euler numbers, on the one hand, of the odd Euler numbers, on the other hand, have been widely…