Primes in LCM recurrences

Resumo Técnico: Primes in LCM recurrences

1. O Problema e o Contexto
O artigo investiga uma variante baseada no Mínimo Múltiplo Comum (MMC) de uma famosa recorrência aditiva baseada no Máximo Divisor Comum (MDC) introduzida por Rowland em 2008.

• Recorrência de Rowland (MDC): $a_n = a_{n-1} + \gcd(n, a_{n-1})$. Foi provado que as diferenças $a_n - a_{n-1}$ são sempre 1 ou números primos.
• Variante de Cloitre (MMC): O autor estuda a recorrência:
  $$a_1 = 1, \quad a_n = a_{n-1} + \text{lcm}(n, a_{n-1}) \quad (n \ge 2)$$
  O objeto de estudo não é a diferença aditiva, mas o incremento multiplicativo:
  $$b_n = \frac{a_n}{a_{n-1}} - 1 = \frac{n}{\gcd(n, a_{n-1})}$$
• Conjectura Principal (Conjectura 1.1): Para todo $n \ge 2$, $b_n \in \{1\} \cup \mathbb{P}$ (onde $\mathbb{P}$ é o conjunto dos números primos).
• Dificuldade: Diferente da versão de Rowland, provar isso ponto a ponto enfrenta uma barreira conhecida equivalente a um caso aberto do Teorema de Linnik (especificamente, exigiria que o menor primo na progressão $a \pmod q$ fosse $O(q^2)$, enquanto o melhor limite conhecido é $O(q^5)$).

2. Metodologia: O Framework "Companion-Sieve"
A principal dificuldade reside no fato de que $a_{n-1}$ é um produto acumulativo de todos os incrementos anteriores, tornando a análise $p$-ádica dependente de toda a história da sequência. Para contornar isso, o autor desenvolve uma abordagem probabilística e de média:

• Isolamento de Fatores Determinísticos: O autor identifica que, para índices primos $q$, o comportamento é garantido: $b_q = q$ (exceto para $q=3$). Isso permite isolar um "produto garantido" $C_{n-1}$ que divide $a_{n-1}$.
• Relaxação para Majorantes: Em vez de analisar $b_n$ exato, define-se uma sequência de majorantes (limites superiores) mais tratáveis:
  1. $B^{(P)}_n$: Baseado apenas nos fatores garantidos pelos índices primos.
  2. $B^{(1)}_n$: Um relaxamento ainda maior que conta apenas se um primo $p$ divide algum $(q+1)$ (onde $q$ é primo), ignorando multiplicidades.
• Critério de Déficit: Define-se um "déficit" $\delta_p^{(1)}(n)$ como a diferença entre a potência de $p$ em $n$ e o número de primos $q < n$ tais que $q \equiv -1 \pmod p$.
  • Proposição Chave: Se a soma total dos déficits $\sum \delta_p^{(1)}(n) \le 1$, então $b_n$ é necessariamente 1 ou primo.
• Ferramentas Analíticas: O problema é transformado de um problema $p$-ádico dependente de histórico para um problema de equidistribuição de primos em progressões aritméticas. O autor utiliza o Teorema de Bombieri-Vinogradov (que fornece limites médios para o erro na distribuição de primos) para controlar os déficits na maioria dos casos.

3. Resultados Principais

• Teorema de Densidade 1 (Teorema 1.2):
  O conjunto de inteiros $n$ para os quais a conjectura vale ($b_n \in \{1\} \cup \mathbb{P}$) tem densidade assintótica 1. Ou seja, a conjectura é verdadeira para "quase todos" os inteiros, embora a prova não seja válida para cada $n$ individualmente.

• Redução Eficiente a Fatores Grandes (Teorema 1.3):
  Para qualquer limite $P_0$, existe um limite computável $N^*(P_0)$ tal que, para todo $n \ge N^*(P_0)$, qualquer contraexemplo à conjectura deve envolver apenas fatores primos maiores que $P_0$. Isso elimina sistematicamente a possibilidade de contraexemplos com pequenos fatores primos.

• Variante $K=2$ e Primos Gêmeos (Seção 6):
  O autor analisa uma variante modificada: $x_n = 2x_{n-1} + \text{lcm}(n, x_{n-1})$, com incremento $c_n$.

  • Detecção de Primos Gêmeos: A sequência $c_n$ codifica pares de primos gêmeos. Especificamente, se $(p, p+2)$ são primos gêmeos com $p > 5$, então $c_{p+2} = 1$. Reciprocamente, sob a hipótese de que $c_n$ é sempre 1 ou primo, se $c_q = 1$ para um primo $q$, então $q-2$ é primo.
  • Estrutura 2-ádica: A sequência exibe uma "escada 2-ádica" completa, onde a valoração $v_2(x_n)$ é constante em blocos de potências de 4.
  • Teorema de Densidade Condicional (Teorema 1.5): Sob hipóteses sobre o comportamento em índices primos e uma cota de tipo Brun para primos gêmeos em progressões, a variante $K=2$ também satisfaz a conjectura com densidade 1.

4. Contribuições e Significado

• Superação da Barreira de Linnik: O trabalho demonstra que, embora uma prova ponto a ponto da conjectura exija resultados não provados sobre o menor primo em progressões (Teorema de Linnik com constante $L=2$), uma análise "em média" (densidade 1) é possível usando o Teorema de Bombieri-Vinogradov.
• Novas Conjecturas sobre Primos: A análise das obstruções residuais (casos onde a prova falha) leva a duas novas conjecturas independentes de interesse próprio:
  1. Conjectura 7.2: Para todo primo $p \ge 17$, existem pelo menos dois primos $q \equiv -1 \pmod p$ abaixo de $p^2$.
  2. Conjectura 7.3: Uma versão "segura para divisores" da equidistribuição de primos, sugerindo que os divisores primos de um número $n$ nunca são "módulos ruins" individuais para a distribuição de primos.
• Conexão Profunda com Teoria dos Números: O artigo ilustra como recursões aritméticas simples podem revelar estruturas profundas na distribuição de primos, conectando problemas de recorrência a conjecturas clássicas como a de Primos Gêmeos e a Hipótese de Elliott-Halberstam.

5. Conclusão
O artigo estabelece que a conjectura de Cloitre sobre primos em recorrências de MMC é verdadeira para quase todos os inteiros, reduzindo o problema de provar a conjectura para todos os $n$ a um conjunto de obstruções finitas e esparsas relacionadas a fatores primos grandes e comportamentos excepcionais de primos em progressões aritméticas. Além disso, revela uma ligação surpreendente e condicional entre uma variante da recorrência e a existência de infinitos pares de primos gêmeos.