G. Everest,S. Stevens,D. Tamsett,T. Ward
Abstract: We consider primitive divisors of terms of integer sequences defined by quadratic polynomials. Apart from some small counterexamples, when a term has a primitive divisor, that primitive divisor is unique. It seems likely that the number of terms with a primitive divisor has a natural density. We discuss two heuristic arguments to suggest a value for that density, one using recent advances made about the distribution of roots of polynomial congruences.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the conjecture about Mersenne primes, that is, whether the Mersenne sequence of the form \(M_n = 2^n - 1\) contains infinitely many prime terms. Specifically:
1. **Mersenne Prime Conjecture**: The Mersenne prime conjecture asserts that the Mersenne sequence \(M_n = 2^n - 1\) contains infinitely many prime terms. These prime terms are called Mersenne primes.
2. **Existence of Primitive Prime Factors**: Besides directly looking for Mersenne primes, the paper also explores a broader problem, that is, whether each term in certain specific integer sequences has a primitive prime factor. Given an integer sequence \(S=(S_n)_{n\geq1}\), if a prime factor of \(S_n\) does not divide any \(S_m\) (where \(m < n\)), then it is called a primitive prime factor of \(S_n\). Zsigmondy's theorem proves that for \(n > 6\), each term in the Mersenne sequence has at least one primitive prime factor.
3. **Primes and Primitive Prime Factors in Recursive Sequences**: The paper further studies the existence of primes and primitive prime factors in other types of recursive sequences (such as linear recursive sequences, bilinear recursive sequences, etc.). For example, whether the Fibonacci sequence, Somos - 4 sequence, etc. also contain infinitely many prime terms or primitive prime factors.
Through the study of the above problems, the paper aims to gain a deep understanding of the arithmetic properties of these special sequences and explore their connections with mathematical fields such as perfect numbers and elliptic curves. In addition, the paper also uses heuristic arguments to predict the quantitative behavior of primes or primitive prime factors in certain sequences and provides some specific computational results and theoretical support.