The density of primes dividing a particular non-linear recurrence sequence

DOI10.4064/AA8265-4-2016MaRDI QIDQ2833588zbMATH OpenOpenAlexFDO

Authors Alexi Block Gorman, Tyler Genao, Heesu Hwang, Noam Kantor, Sarah Parsons, Jeremy Rouse

Publication date 18 November 2016

Published in Acta Arithmetica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1508.02464

zbMATH Keywords

density of primeselliptic curvesGalois representation

Mathematics Subject Classification ID

Galois representations (11F80) Elliptic curves over global fields (11G05) Distribution of primes (11N05)

Abstract: Define the sequence $b_n$ by $b_0=1,b_1=1,b_2=2,b_3=1$, and ${\displaystyle }$b_n=�egin{cases} frac{b_{n-1}b_{n-3}-b_{n-2}^2}{b_{n-4}}& extrm{if}~ n otequiv 0pmod 3, frac{b_{n-1}b_{n-3}-3b_{n-2}^2}{b_{n-4}}& extrm{if}~ nequiv 0pmod 3. We relate this sequence $b_n$ to the coordinates of points on the elliptic curve $E:y^2+y=x^3-3x+4$. We use Galois representations attached to $E$ to prove that the density of primes dividing a term in this sequence is equal to $frac179336$. Furthermore, we describe an infinite family of elliptic curves whose Galois images match that of $E$.

Review text

The original abstract is good, except for the second phrase which could be more precise, so here is the original abstract: ``Define the sequence \(\{b_n\}\) by \(b_0=1,b_1=1,b_2=2,b_3=1\), and NEWLINE\[NEWLINEb_n=\begin{cases} \frac{b_{n-1}b_{n-3}-b_{n-2}^2}{b_{n-4}}&\text{ if }n\not\equiv 0\pmod 3, \\ \frac{b_{n-1}b_{n-3}-3b_{n-2}^2}{b_{n-4}}&\text{ if }n\equiv 0\pmod 3\end{cases}.NEWLINE\]NEWLINE We relate this sequence \(\{b_n\}\) to the coordinates of points on the elliptic curve \(E:y^2+y=x^3-3x+4\). We use Galois representations attached to \(E\) to prove that the density of primes dividing a term in this sequence is equal to \(\frac{179}{336}\). Furthermore, we describe an infinite family of elliptic curves whose Galois images match that of \(E\).NEWLINENEWLINEI would change this phrase ``We relate this sequence \(\{b_n\}\) to the coordinates of points on the elliptic curve \(E:y^2+y=x^3-3x+4\). by: We relate this sequence \(\{b_n\}\) to the coordinates of points in the group generated by P(4,7) on the elliptic curve \(E:y^2+y=x^3-3x+4\).

Recommendations

• The density of primes dividing a term in the Somos-5 sequence
• The density of the terms in an elliptic divisibility sequence having a fixed G.C.D. with their indices
• Prime divisors of the Lagarias sequence
• Density of prime divisors of linear recurrences
• Primitive divisors of sequences associated to elliptic curves

Cites work

• Galois theory of iterated endomorphisms
• scientific article; zbMATH DE number 2121181 (Why is no real title available?)
• Surjectivity of mod 2ⁿ representations of elliptic curves
• The Arithmetic of Elliptic Curves
• The density of primes dividing a term in the Somos-5 sequence
• The Magma algebra system. I: The user language
• The set of primes dividing the Lucas numbers has density 2/3

Cited in

(5)

• The density of the terms in an elliptic divisibility sequence having a fixed G.C.D. with their indices
• The density of primes dividing a term in the Somos-5 sequence
• QUADRATIC RECURRENCES WITH A POSITIVE DENSITY OF PRIME DIVISORS
• Uniform bounds on the image of the arboreal Galois representations attached to non-CM elliptic curves
• Density of odd order reductions for elliptic curves with a rational point of order 2

Describes a project that uses

Uses Software

• PARI/GP
• Magma
• SageMath

This page was built for publication: The density of primes dividing a particular non-linear recurrence sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2833588)