$(a,a)$-Carmichael numbers and greatest common divisors of $p-a$

Resumo Técnico: Números de Carmichael $(a, a)$ e Máximo Divisor Comum de $P - a$

Enunciado do Problema
O artigo aborda a distribuição e a construção de números de Carmichael $(a, a)$. Um número composto, livre de quadrados, $n$ é definido como um número de Carmichael $(a, a)$ se, para cada fator primo $p$ de $n$, a condição $p - a \mid n - a$ for satisfeita. Isso generaliza a definição clássica de números de Carmichael (onde $a=1$), que satisfazem $p-1 \mid n-1$.

O problema central investigado é se existem infinitos tais números com um máximo divisor comum (GCD) limitado dos termos $p - a$. Especificamente, para um dado número de Carmichael $(a, a)$ com fatores primos $p_1, \dots, p_m$, seja $K = \gcd(p_1 - a, \dots, p_m - a)$. O artigo busca determinar o limite inferior para $C_\nu(X, a)$, a contagem de números de Carmichael $(a, a)$ até $X$ onde $K = \nu$.

Esta investigação é formulada como um passo intermediário em direção a uma questão aberta mais ampla: se existem infinitos números de Carmichael $(a, a)$ divisíveis por um primo $Q$ fixo. Construções anteriores de números de Carmichael (ex: Alford, Granville e Pomerance [1]) geralmente exigiam que o GCD $K$ crescesse conforme $n$ aumentava, impedindo a construção de infinitos números divisíveis por um primo fixo. O autor visa mostrar que $K$ pode ser mantido constante (especificamente $K=\nu$) e, ainda assim, gerar um grande conjunto de tais números.

Metodologia
A prova baseia-se em um framework de construção condicional que modifica a abordagem combinatória padrão utilizada em [1], [17] e [18]. A metodologia envolve os seguintes componentes principais:

1. Suposição Condicional: Os resultados são condicionais à Conjectura 2, uma versão enfraquecida de uma conjectura de Heath-Brown sobre o primeiro primo em uma progressão aritmética. A conjectura postula que para qualquer $A \ge 2$, se $l$ for suficientemente grande e $(b, l) = 1$, existe um primo $p \equiv b \pmod l$ tal que $p < l(\log l)^A$. Isso garante a existência de multiplicadores pequenos em progressões aritméticas.

2. Construção Dual de Conjuntos de Primos:

   • O autor constrói dois conjuntos disjuntos de primos, $Q_1$ e $Q_2$, derivados de produtos de primos $r$ no intervalo $[z/2, z]$.
   • Esses conjuntos são usados para formar grandes inteiros $L_1$ e $L_2$. Crucialmente, a construção garante que a função lambda de Carmichael $\lambda(L_1 L_2)$ seja extremamente pequena em relação a $L_1 L_2$ (especificamente $\lambda(L_1 L_2) \le e^{4/5 z}$).
   • Dois conjuntos de primos, $P_{k_1}$ e $P_{k_2}$, são definidos com base em progressões aritméticas módulo $L_1$ e $L_2$, respectivamente. Os parâmetros $k_1$ e $k_2$ são escolhidos como inteiros pequenos de tal forma que os primos em $P_{k_1}$ sejam da forma $d_1 k_1 \nu + a$ e os primos em $P_{k_2}$ sejam da forma $d_2 k_2 \nu + a$.

3. Seleção Combinatória:

   • Utilizando um teorema de van Emde Boas, Kruyswijk e Meshulam sobre subsequências de soma zero em $(\mathbb{Z}/M\mathbb{Z})^\times$, o autor demonstra que existem subconjuntos de primos dentro de $P_{k_1}$ e $P_{k_2}$ cujos produtos, $n_1$ e $n_2$, satisfazem condições de congruência específicas.
   • Especificamente, $n_1 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$ e $n_2 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$, onde $P = L_1 L_2 k_1 k_2 k_3 \nu + a$ é um primo específico encontrado via a conjectura.

4. Construção Final:

   • O número de Carmichael $(a, a)$ final é construído como $n = P n_1 n_2$.
   • A estrutura garante que, para qualquer fator primo $p$ de $n$, $p - a$ divide $n - a$.
   • Um lema crítico prova que, para esta construção, $\gcd(p_1 - a, p_2 - a) = \nu$ para primos de diferentes conjuntos, garantindo que o GCD global $K$ seja exatamente $\nu$.

Principais Contribuições e Resultados
O resultado primário é o Teorema 1, que estabelece um limite inferior para o número de números de Carmichael $(a, a)$ com um GCD fixo $\nu$.

• Teorema: Assumindo que a Conjectura 2 seja verdadeira, para qualquer inteiro $a$ e qualquer número natural $\nu$ tal que $(a, \nu) = 1$ e $a, \nu$ tenham paridades opostas:
  $$C_\nu(X, a) \ge X^{1 - (2+o(1)) \frac{\log \log \log \log X}{\log \log \log X}}$$
• Significância do Limite: Este limite inferior é idêntico ao estabelecido anteriormente pelo autor em [17] para a contagem total de números de Carmichael clássicos ($C(X, 1)$).
• Departamento da Tradição: Diferente das construções tradicionais onde o GCD $K$ deve crescer com $n$ para garantir a existência de suficientes primos, este resultado demonstra que se pode fixar $K = \nu$ e, ainda assim, atingir um limite inferior que é "próximo do melhor possível".

Significância e Alegações
O artigo alega que este resultado é uma mudança significativa em relação aos métodos anteriores no estudo dos números de Carmichael.

• GCD Limitado: Resolve uma questão específica (Questão 5 na introdução) ao mostrar que o número de números de Carmichael $(a, a)$ com um GCD limitado $\nu$ não é negligenciável; em vez disso, é da mesma ordem assintótica que o conjunto total de números de Carmichael.
• Implicações para Questões Abertas: Embora o artigo reconheça que a questão completa de se existem infinitos números de Carmichael $(a, a)$ divisíveis por um primo $Q$ fixo permanece fora de alcance, este resultado sugere que a restrição de um GCD limitado não reduz significativamente a densidade de tais números.
• Otimalidade: O autor observa que o limite inferior derivado é próximo do limite superior conjecturado para o número total de números de Carmichael (proposto por Pomerance), sugerindo que o conjunto de números de Carmichael $(a, a)$ com $K$ limitado constitui uma parte substancial do conjunto total.

O artigo não afirma provar a infinitude de tais números incondicionalmente, nem resolve diretamente a questão para divisores primos fixos $Q$. Em vez disso, fornece uma prova condicional de que a restrição de "GCD limitado" é compatível com a alta densidade dos números de Carmichael.