A sequence of nonzero integers $f = (f_1, f_2, \dots)$ is ``binomid'' if every $f$-binomid coefficient $\left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f$ is an integer. Those terms are the generalized binomial coefficients: \[ \left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f \ = \ \frac{ f_nf_{n-1}\cdots f_{n-k+1} }{ f_kf_{k-1}\cdots f_1 }. \] Let $Δ(f)$ be the infinite triangle with those numbers as entries. When $I = (1, 2, 3, \dots)$ then $Δ(I)$ is Pascal's Triangle so that $I$ is binomid. Surprisingly, every row and column of Pascal's Triangle is also binomid. For any $f$, each row and column of $Δ(f)$ generates its own triangle and all those triangles fit together to form the ``Binomid Pyramid'' $\mathbb{BP}(f)$. Sequence $f$ is ``binomid at every level'' if all entries of $\mathbb{BP}(f)$ are integers. We prove that several familiar sequences have that property, including the Lucas sequences. In particular, $I = (1, 2, 3, \dots )$, the sequence of Fibonacci numbers, and $(2^n - 1)_{n \ge 1}$ are binomid at every level.
Certain elliptic divisibility sequences are shown to contain only finitely many prime power terms. In certain circumstances, the methods show only finitely many terms have length below a given bound.
In this paper we consider divisibility sequences obtained from square matrices. We work with of matrix divisibility sequences associated to a semigroup and arising from endomorphisms of an affine space. We prove that determinant divisibility sequences originated from powers of square matrices are generalized Lucas sequences.
We show that many existing divisibility sequences can be seen as sequences of determinants of matrix divisibility sequences, which arise naturally as Jacobian matrices associated to groups of maps on affine spaces.
We study linear divisibility sequences of order 4, providing a characterization by means of their characteristic polynomials and finding their factorization as a product of linear divisibility sequences of order 2. Moreover, we show a new interesting connection between linear divisibility sequences and Salem numbers. Specifically, we generate linear divisibility sequences of order 4 by means of Salem numbers modulo 1.
We present a different proof of the characterization of non--degenerate recurrence sequences, which are also divisibility sequences, given by Van der Poorten, Bezevin, and Petho in their paper "A Full Characterisation of Divisibility Sequence". Our proof is based on an interesting determinant identity related to impulse sequences, arising from the evaluation of a generalized Vandermonde determinant. As a consequence of this new proof we can find a more precise form for the resultant sequence presented in their paper, in the general case of non--degenerate divisibility sequences having minimal …
Divisibility sequences are defined by the property that their elements divide each other whenever their indices do. The divisibility sequences that also satisfy a linear recurrence, like the Fibonacci numbers, are generated by polynomials that divide their compositions with every positive integer power. We completely characterize such polynomials in terms of their factorizations into cyclotomic polynomials using labeled Hasse diagrams, and construct new integer divisibility sequences based on them. We also show that, unlike the Fibonacci numbers, these non-classical sequences do not have the p…
Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences called Lucas sequences. There has been much interest in cases where the terms of Lucas sequences are squares or cubes. In this work, using the Tate normal form having one parameter of elliptic curves with torsion points, the general terms and periods of all elliptic divisibility sequences with a zero term are given in terms of this parameter by means of Mazur's theorem, and it is shown that which term of h_{n} of an EDS can be a square or a cube by using the general terms of these sequences.
Let m_1,...,m_s be positive integers. Consider the sequence defined by multinomial coefficients: a_n=\binom{(m_1+m_2+... +m_s)n}{m_1 n, m_2 n,..., m_s n}. Fix a positive integer k\ge 2. We show that there exists a positive integer C(k) such that \frac{\prod_{n=1}^t a_{kn}}{\prod_{n=1}^t a_n} \in \frac 1{C(k)} \Z for all positive integer t, if and only if GCD(m_1,...,m_s)=1.
We consider a particular case of an analog for elliptic curves to the Mersenne problem : finding explicitely all prime power terms in an elliptic divisibility sequence when descent via isogeny is possible. We explain how this question can be related to classical problems in diophantine geometry and we compute an explicit upper bound on the index of prime power terms in magnified elliptic divisibility sequences.
It is shown that there are finitely many perfect powers in an elliptic divisibility sequence whose first term is divisible by 2 or 3. For Mordell curves the same conclusion is shown to hold if the first term is greater than 1. Examples of Mordell curves and families of congruent number curves are given with corresponding elliptic divisibility sequences having no perfect power terms. The proofs combine primitive divisor results with modular methods for Diophantine equations.
Let $P(m)$ denote the greatest prime factor of $m$. For integer $a>1$, M. Ram Murty and S. Wong proved that, under the assumption of the ABC conjecture, $$P(a^n-1)\gg_{ε, a} n^{2-ε}$$ for any $ε>0$. We study analogues results for the corresponding divisibility sequence over the function field $\mathbb{F}_q(t)$ and for some divisibility sequences associated to elliptic curves over the rational field $\mathbb{Q}$.
We prove that there are finitely many perfect powers in elliptic divisibility sequences generated by a non-integral point on elliptic curves of the from $y^2=x(x^2+b)$, where $b$ is any positive integer. We achieve this by using the modularity of elliptic curves over real quadratic number fields.
In this note, we study the divisibility relation $U_m\mid U_{n+k}^s-U_n^s$, where ${\bf U}:=\{U_n\}_{n\ge 0}$ is the Lucas sequence of characteristic polynomial $x^2-ax\pm 1$ and $k,m,n,s$ are positive integers.
In Pacific J. Math. 292 (2018), 223-238, Shareshian and Woodroofe asked if for every positive integer $n$ there exist primes $p$ and $q$ such that, for all integers $k$ with $1 \leq k \leq n-1$, the binomial coefficient $\binom{n}{k}$ is divisible by at least one of $p$ or $q$. We give conditions under which a number $n$ has this property and discuss a variant of this problem involving more than two primes. We prove that every positive integer $n$ has infinitely many multiples with this property.
Finding integer solutions to norm form equations is a classical Diophantine problem. Using the units of the associated coefficient ring, we can produce sequences of solutions to these equations. It is known that these solutions can be written as tuples of linear recurrence sequences. We show that for certain families of norm forms defined over quartic fields, there exist integrally equivalent forms making any one fixed coordinate sequence a linear divisibility sequence.
Silverman proved the analogue of Zsigmondy's Theorem for elliptic divisibility sequences. For elliptic curves in global minimal form, it seems likely this result is true in a uniform manner. We present such a result for certain infinite families of curves and points. Our methods allow the first explicit examples of the elliptic Zsigmondy Theorem to be exhibited.
We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyclicity, and divisibility of the number of points by a fixed integer $m$.
For a pair $(E,P)$ of an elliptic curve $E/\mathbb{Q}$ and a nontorsion point $P\in E(\mathbb{Q})$, the sequence of \emph{elliptic Fermat numbers} is defined by taking quotients of terms in the corresponding elliptic divisibility sequence $(D_{n})_{n\in\mathbb{N}}$ with index powers of two, i.e. $D_{1}$, $D_{2}/D_{1}$, $D_{4}/D_{2}$, etc. Elliptic Fermat numbers share many properties with the classical Fermat numbers, $F_{k}=2^{2^k}+1$. In the present paper, we show that for magnified elliptic Fermat sequences, only finitely many terms are prime. We also define \emph{generalized elliptic Ferma…
Let $U = (U_n)_{n \geq 0}$ be a Lucas sequence and, for every prime number $p$, let $ρ_U(p)$ be the rank of appearance of $p$ in $U$, that is, the smallest positive integer $k$ such that $p$ divides $U_k$, whenever it exists. Furthermore, let $d$ be an odd positive integer. Under some mild hypotheses, we prove an asymptotic formula for the number of primes $p \leq x$ such that $d$ divides $ρ_U(p)$, as $x \to +\infty$.
For given integers a,b, and j at least 1 we determine the set of integers n for which a^n-b^n is divisible by n^j. For j=1,2, this set is usually infinite; we find explicitly the exceptional cases for which a,b the set is finite. For j=2, we use Zsigmondy's Theorem for this. For j at least 3 and gcd(a,b)=1, the set is probably always finite; this seems difficult to prove, however. We also show that determination of the set of integers n for which a^n+b^n is divisible by n^j can be reduced to that of the above set.
Let $\mathbf{D}=(D_{n})_{n\geq 1}$ be an elliptic divisibility sequence associated to the pair $(E,P)$. For a fixed integer $k$, we define $\mathscr{A}_{E,k}=\{n\geq 1 : \gcd(n,D_{n})=k\}$. We give an explicit structural description of $\mathscr{A}_{E,k}$. Also, we explain when $\mathscr{A}_{E,k}$ has positive asymptotic density using bounds related to the distribution of trace of Frobenius of $E$. Furthermore, we get explicit density of $\mathscr{A}_{E,k}$ using the Möbius function.
We define the $\textit{Divisor Divisibility Sequence}$ associated to a Laurent polynomial $f\in\mathbb{Z}[X_1^{\pm1},\ldots,X_N^{\pm1}]$ to be the sequence $W_n(f)=\prod f(ζ_1,\ldots,ζ_N)$, where $ζ_1,\ldots,ζ_N$ range over all $n$'th roots of unity with $f(ζ_1,\ldots,ζ_N)\ne0$. More generally, we define $W_Λ(f)$ analogously for any finite subgroup $Λ\subset(\mathbb C^*)^N$. We investigate divisibility, factorization, and growth properties of $W_Λ(f)$ as a function of $Λ$. In particular, we give the complete factorization of $W_Λ(f)$ when $f$ has generic coefficients, and we prove an analytic …
Let $P$ be a non-torsion point on the elliptic curve $E_{a}: y^{2}=x^{3}+ax$. We show that if $a$ is fourth-power-free and either $n>2$ is even or $n>1$ is odd with $x(P)<0$ or $x(P)$ a perfect square, then the $n$-th element of the elliptic divisibility sequence generated by $P$ always has a primitive divisor.
We study some divisibility properties related to the factors of the discriminant of the characteristic polynomial of generalized Fibonacci sequences $(G_n)_{n\ge0}$ defined by $G_0=0$, $G_1=1$ and $G_n=pG_{n-1}+qG_{n-2}$ for $n\ge2$, where $p,q$ are given integers. As corollaries, we give some divisibility properties on some well known sequences.
The purpose of this memoir is to discuss two very interesting properties of integer sequences. One is the law of apparition and the other is the law of repetition. Both have been extensively studied by mathematicians such as Ward, Lucas, Lehmer, Hall, etc. However, due to the lack of a proper survey in this area, many results have been rediscovered many decades later. This along with the necessity of the usefulness of such theory calls for a survey on this topic.
We provide an elementary proof to a conjecture by Robinson that multiples of (powers of) primes in the Somos-4 sequence are equally spaced. We also show, almost as a corollary, for the generalised Somos-4 sequence defined by $τ_{n+2}τ_{n-2}=ατ_{n+1}τ_{n-1}+βτ_n^2$ and initial values $τ_1=τ_2=τ_3=τ_4=1$, that the polynomial $τ_n(α,β)$ is a divisor of $τ_{n+k(2n-5)}(α,β)$ for all $n,k\in\mathbb Z$ and establish a similar result for the generalized Somos-5 sequence.
For a fixed positive integer d, we show the existence of the limiting gap distribution measure for the sets of Farey fractions a/q of order Q with a not divisible by d, and respectively with q relatively prime with d, as Q tends to infinity.
We study the existence of primes and of primitive divisors in classical divisibility sequences defined over function fields. Under various hypotheses, we prove that Lucas sequences and elliptic divisibility sequences over function fields defined over number fields contain infinitely many irreducible elements. We also prove that an elliptic divisibility sequence over a function field has only finitely many terms lacking a primitive divisor.
For a given odd integer $n>1$, we provide some families of imaginary quadratic number fields of the form $\mathbb{Q}(\sqrt{x^2-t^n})$ whose ideal class group has a subgroup isomorphic to $\mathbb{Z}/n\mathbb{Z}$.
Let $R$ be a gcd-domain (for example let $R$ be a unique factorization domain), and let $(a_n)_{n\geqslant1}$ be a sequence of nonzero elements in $R$. We prove that $\gcd(a_n,a_m)=a_{\gcd(n,m)}$ for all $n,m\geqslant1$ if and only if $$a_n=\prod\limits_{d\mid n} c_d\quad\mbox{for} \ n\geqslant1, $$ where $c_1=a_1$ and $c_n=\mbox{lcm}(a_1,a_2,\dots,a_n)/\mbox{lcm}(a_1,a_2,\dots,a_{n-1})$ for $n\geqslant2$. All equalities with gcd and lcm are determined up to units of $R$.
Andrews and Newman introduced the mex-function $\text{mex}_{A,a}(λ)$ for an integer partition $λ$ of a positive integer $n$ as the smallest positive integer congruent to $a$ modulo $A$ that is not a part of $λ$. They then defined $p_{A,a}(n)$ to be the number of partitions $λ$ of $n$ satisfying $\text{mex}_{A,a}(λ)\equiv a\pmod{2A}$. They found the generating function for $p_{t,t}(n)$ and $p_{2t,t}(n)$ for any positive integer $t$, and studied their arithmetic properties for some small values of $t$. In this article, we study the partition function $p_{mt,t}(n)$ for all positive integers $m$ a…
Diophantine problems involving recurrence sequences have a long history and is an actively studied topic within number theory. In this paper, we connect to the field by considering the equation \begin{align*} B_mB_{m+d}\dots B_{m+(k-1)d}=y^\ell \end{align*} in positive integers $m,d,k,y$ with $\gcd(m,d)=1$ and $k\geq 2$, where $\ell\geq 2$ is a fixed integer and $B=(B_n)_{n=1}^\infty$ is an elliptic divisibility sequence, an important class of non-linear recurrences. We prove that the above equation admits only finitely many solutions. In fact, we present an algorithm to find all possible solu…
Let $n$ be a squarefree positive odd integer. We will show that there exist infinitely many imaginary quadratic number fields with discriminant divisible by $n$ and-at the same time-having an element of order $n$ in the class group. We then apply our result to prove that for a given squarefree positive odd integer $n$ there exist infinitely many $N$ such that $n$ divides both $N$ and $r(N)$, where $r(N)$ is the representation number of $N$ as sums of three squares.
In this paper, we first prove that for any strong divisibility sequences $\boldsymbol{a} = \left(a_n\right)_{n\geq 1}$, we have the identity: $\mathrm{lcm} \left\lbrace \binom{n}{0}_{\bf{a}}, \binom{n}{1}_{\bf{a}},\dots, \binom{n}{n}_{\bf{a}} \right\rbrace = \frac{\mathrm{lcm} \left(a_1,\dots , a_n , a_{n+1}\right)}{a_{n+1}}$ $\left(\forall n \geq 1\right)$, generalizing the identity of Farhi (obtained in 2009 for $a_n=n$). Then, we derive from this one some other interesting identities. Finally, we apply those identities to estimate the least common multiple of the consecutive terms of some L…
For all positive integers n, we prove the following divisibility properties: $$(2n+3){2n\choose n} | 3{6n\choose 3n}{3n\choose n}, and (10n+3){3n\choose n} | 21{15n\choose 5n} {5n\choose n}.$$ This confirms two recent conjectures of Z.-W. Sun. Some similar divisibility properties are given. Moreover, we show that, for all positive integers m and n, the product $am{am+bm-1\choose am}{an+bn\choose an}$ is divisible by m+n. In fact, the latter result can be generalized to the q-binomial coefficients and q-integers case, which generalizes the positivity of q-Catalan numbers. We also propose severa…
We investigate three combinatorial problems considered by Erdös, Rivat, Sarközy and Schön regarding divisibility properties of sum sets and sets of shifted products of integers in the context of function fields. Our results in this function field setting are better than those previously obtained for subsets of the integers. These improvements depend on a version of the large sieve for sparse sets of moduli developed recently by the first and third-named authors.
An elliptic divisibility sequence (EDS) is a sequence of integers W_0,W_1,W_2,... generated by the nonlinear recursion satisfied by the division polyomials of an elliptic curve. We give a formula for the sign of W_n for unbounded nonsingular elliptic divisibility sequences. A typical case is Sign(W_n) = (-1)^[n*b] for an irrational real number b, where [x] denotes the greatest integer in x. As an application, we show that the associated sequence of absolute values |W_1|,|W_2|,|W_3|,... cannot be realized as the sequence counting fixed points of any (abstract) dynamical system.
Andrews and Newman introduced the minimal excludant or ``$mex$'' function for an integer partition $π$ of a positive integer $n$, $mex(π)$, as the smallest positive integer that is not a part of $π$. They defined $σmex(n)$ to be the sum of $mex(π)$ taken over all partitions $π$ of $n$. We prove infinite families of congruence and multiplicative formulas for $σmex(n)$. By restricting to the part of $π$, Andrews and Newman also introduced $moex(π)$ to be the smallest odd integer that is not a part of $π$ and $σmoex(n)$ to be the sum of $moex(π)$ taken over all partitions $π$ of $n$. In this arti…
We apply Vojta's conjecture to blowups and deduce a number of deep statements regarding (generalized) greatest common divisors on varieties, in particular on projective space and on abelian varieties. Special cases of these statements generalize earlier results and conjectures. We also discuss the relationship between generalized greatest common divisors and the divisibility sequences attached to algebraic groups, and we apply Vojta's conjecture to obtain a strong bound on the divisibility sequences attached to abelian varieties of dimension at least two.
In this note we compute a constant $N$ that bounds the number of non--primitive divisors in elliptic divisibility sequences over function fields of any characteristic. We improve a result of Ingram--Mah{é}--Silverman--Stange--Streng, 2012, and we show that the constant can be chosen independently of the specific point and to some extent of the specific curve, as predicted in loc. cit.
We first prove that if $a$ has a prime factor not dividing $b$ then there are infinitely many positive integers $n$ such that $\binom {an+bn} {an}$ is not divisible by $bn+1$. This confirms a recent conjecture of Z.-W. Sun. Moreover, we provide some new divisibility properties of binomial coefficients: for example, we prove that $\binom {12n} {3n}$ and $\binom {12n} {4n}$ are divisible by $6n-1$, and that $\binom {330n} {88n}$ is divisible by $66n-1$, for all positive integers $n$. As we show, the latter results are in fact consequences of divisibility and positivity results for quotients of $…
Let $k\geq 3$ and $n\geq 3$ be odd integers, and let $m\geq 0$ be any integer. For a prime number $\ell$, we prove that the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{\ell^{2m}-2k^n})$ is either divisible by $n$ or by a specific divisor of $n$. Applying this result, we construct an infinite family of certain tuples of imaginary quadratic fields of the form $$\left(\mathbb{Q}(\sqrt{d}), \mathbb{Q}(\sqrt{d+1}), \mathbb{Q}(\sqrt{4d+1}), \mathbb{Q}(\sqrt{2d+4}), \mathbb{Q}(\sqrt{2d+16}), \cdots, \mathbb{Q}(\sqrt{2d+4^t}) \right)$$ with $d\in \mathbb{Z}$ and $1\leq 4^t\leq 2|d|…
We prove a central limit theorem for the joint distribution of $s_q(A_jn)$, $1\le j \le d$, where $s_q$ denotes the sum-of-digits function in base~$q$ and the $A_j$'s are positive integers relatively prime to $q$. We do this in fact within the framework of quasi-additive functions. As application, we show that most elements of "Catalan-like" sequences - by which we mean integer sequences defined by products/quotients of factorials - are divisible by any given positive integer.
Let D = (D_n)_{n\ge1} be an elliptic divisibility sequence. We study the set S(D) of indices n satisfying n | D_n. In particular, given an index n in S(D), we explain how to construct elements nd in S(D), where d is either a prime divisor of D_n, or d is the product of the primes in an aliquot cycle for D. We also give bounds for the exceptional indices that are not constructed in this way.
Let $F_n$ be the $n$th Fibonacci number. Let $m, n$ be positive integers. Define a sequence $(G(k,n,m))_{k\geq 1}$ by $G(1,n,m) = F^m_n$, and $G(k+1,n,m) = F_{nG(k,n,m)}$ for all $k\geq 1$. We show that $F_n^{k+m-1}\mid G(k,n,m)$ for all $k, m, n\in\mathbb N$. Then we calculate $\frac{G(k,n,m)}{F_n^{k+m-1}}\pmod{F_n}$.
The partial Stirling numbers T_n(k) used here are defined as the sum over odd values of i of (n choose i) i^k. Their 2-exponents nu(T_n(k)) are important in algebraic topology. We provide many specific results, applying to all values of n, stating that, for all k in a certain congruence class mod 2^t, nu(T_n(k)) = nu(k - k0) + c0, where k0 is a 2-adic integer and c0 a positive integer. Our analysis involves several new general results for nu(sum (n choose 2i+1) i^j), the proofs of which involve a new family of polynomials. Following Clarke, we interpret T_n as a function on the 2-adic integers…
