Primes in LCM recurrences: a density theorem via companion sieves
Benoit Cloitre
Abstract
Let $(a_n)$ be defined by $a_1=1$ and $a_n=a_{n-1}+\lcm(n,a_{n-1})$. The multiplicative increments $b_n = n/\gcd(n,a_{n-1})$ are conjectured to be either $1$ or prime. Unlike Rowland's GCD-based sequence where elementary techniques suffice, pointwise proofs for the LCM variant encounter the Linnik barrier at $L=2$. We introduce the Companion--Sieve framework. It bypasses pointwise arguments by analyzing a guaranteed factor reservoir on average. Using the Bombieri-Vinogradov theorem and elementary sieve bounds, we prove unconditionally that the conjecture holds for a set of integers of asymptotic density $1$. A variant of the LCM recurrence reveals an inhibition mechanism that dynamically encodes the Twin Prime Conjecture, illustrating how LCM-driven recurrences connect to classical problems in multiplicative number theory.
