The density of prime divisors in the arithmetic dynamics of quadratic polynomials

Let f. is an element of Z[x], and consider the recurrence given by an = f(a(n)-1), with a(0) is an element of Z. Denote by P(f, a(0)) the set of prime divisors of this recurrence, that is, the set of primes dividing at least one non-zero term, and denote the natural density of this set by D(P(f, a(0))). The problem of determining D(P(f, a(0))) when f is linear has attracted significant study, although it remains unresolved in full generality. In this paper, we consider the case of f quadratic, where previously D(P( f, a(0))) was known only in a few cases. We show that D(P(f, a(0))) = 0 regardless of a(0) for four infinite families of f, including f = x(2) + k, is an element of Z\{-1}. The proof relies on tools from group theory and probability theory to formulate a sufficient condition for D(P(f, a(0))) = 0 in terms of arithmetic properties of the forward orbit of the critical point of f. This provides an analogy to results in real and complex dynamics, where analytic properties of the forward orbit of the critical point have been shown to determine many global dynamical properties of a quadratic polynomial. The article also includes apparently new work on the irreducibility of iterates of quadratic polynomials.