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

Technische Samenvatting: (a, a)-Carmichaelgetallen en Grootste Gemene Delers van $P - A$

Probleemstelling
Het artikel behandelt de distributie en constructie van $(a, a)$-Carmichaelgetallen. Een samengesteld, strikt getal $n$ wordt gedefinieerd als een $(a, a)$-Carmichaelgetal indien voor elke priemfactor $p$ van $n$ de conditie $p - a \mid n - a$ geldt. Dit generaliseert de klassieke definitie van Carmichaelgetallen (waarbij $a=1$), die voldoen aan $p-1 \mid n-1$.

Het centrale probleem dat wordt onderzocht, is of er oneindig veel dergelijke getallen bestaan met een begrensde grootste gemene deler (GCD) van de termen $p - a$. Specifiek, voor een gegeven $(a, a)$-Carmichaelgetal $n$ met priemfactoren $p_1, \dots, p_m$, laat $K = \gcd(p_1 - a, \dots, p_m - a)$. Het artikel streeft ernaar om een ondergrens te bepalen voor $C_\nu(X, a)$, de telling van $(a, a)$-Carmichaelgetallen tot $X$ waarbij $K = \nu$.

Deze vraagstelling is ingebed in een bredere open vraag: of er oneindig veel $(a, a)$-Carmichaelgetallen bestaan die deelbaar zijn door een vaste priem $Q$. Eerdere constructies van Carmichaelgetallen (bijv. Alford, Granville, en Pomerance [1]) vereisten over het algemeen dat de GCD $K$ groeit naarmate $n$ toeneemt, wat de constructie van oneindig veel getallen deelbaar door een vaste priem verhinderde. De auteur beoogt aan te tonen dat $K$ constant kan worden gehouden (specifiek $K=\nu$) terwijl nog steeds een grote verzameling van dergelijke getallen wordt gegenereerd.

Methodologie
Het bewijs steunt op een conditioneel constructiekader dat de standaard combinatorische benadering uit [1], [17] en [18] modificeert. De methodologie omvat de volgende kerncomponenten:

1. Conditionele Veronderstelling: De resultaten zijn afhankelijk van Conjecture 2, een verzwakte versie van een conjectuur van Heath-Brown betreffende de eerste priem in een rekenkundige progressie. De conjectuur stelt dat voor elke $A \ge 2$, indien $l$ voldoende groot is en $(b, l) = 1$, er een priem $p \equiv b \pmod l$ bestaat zodanig dat $p < l(\log l)^A$. Dit waarborgt de existentie van kleine multiplicatoren in rekenkundige progressies.

2. Duale Constructie van Priemverzamelingen:

   • De auteur construeert twee disjuncte verzamelingen van priemgetallen, $Q_1$ en $Q_2$, afgeleid van producten van priemgetallen $r$ in het bereik $[z/2, z]$.
   • Deze verzamelingen worden gebruikt om grote gehele getallen $L_1$ en $L_2$ te vormen. Cruciaal is dat de constructie ervoor zorgt dat de Carmichael lambda-functie $\lambda(L_1 L_2)$ extreem klein is ten opzichte van $L_1 L_2$ (specifiek $\lambda(L_1 L_2) \le e^{4/5 z}$).
   • Twee verzamelingen van priemgetallen, $P_{k_1}$ en $P_{k_2}$, worden gedefinieerd op basis van rekenkundige progressies modulo $L_1$ en $L_2$ respectievelijk. De parameters $k_1$ en $k_2$ worden gekozen als kleine gehele getallen zodat de priemgetallen in $P_{k_1}$ van de vorm $d_1 k_1 \nu + a$ zijn en de priemgetallen in $P_{k_2}$ van de vorm $d_2 k_2 \nu + a$.

3. Combinatorische Selectie:

   • Gebruikmakend van een stelling van van Emde Boas, Kruyswijk en Meshulam over nul-som subreeksen in $(\mathbb{Z}/M\mathbb{Z})^\times$, demonstreert de auteur dat er deelverzamelingen van priemgetallen binnen $P_{k_1}$ en $P_{k_2}$ bestaan waarvan de producten, $n_1$ en $n_2$, specifieke congruentiecondities bevredigen.
   • Specifiek $n_1 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$ en $n_2 \equiv 1 \pmod{L_1 L_2 k_1 k_2 k_3 \nu}$, waarbij $P = L_1 L_2 k_1 k_2 k_3 \nu + a$ een specifieke priem is die via de conjectuur wordt gevonden.

4. Eindconstructie:

   • Het uiteindelijke $(a, a)$-Carmichaelgetal wordt geconstrueerd als $n = P n_1 n_2$.
   • De structuur garandeert dat voor elke priemfactor $p$ van $n$, $p - a$ een deler is van $n - a$.
   • Een kritiek lemma bewijst dat voor deze constructie $\gcd(p_1 - a, p_2 - a) = \nu$ geldt voor priemgetallen uit de verschillende verzamelingen, waardoor de globale GCD $K$ exact $\nu$ is.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Theorem 1, die een ondergrens vaststelt voor het aantal $(a, a)$-Carmichaelgetallen met een vaste GCD $\nu$.

• Theorem: Uitgaande van het feit dat Conjecture 2 standhoudt, voor elk geheel getal $a$ en elk natuurlijk getal $\nu$ waarvoor $(a, \nu) = 1$ en $a, \nu$ een tegengestelde pariteit hebben:
  $$C_\nu(X, a) \ge X^{1 - (2+o(1)) \frac{\log \log \log \log X}{\log \log \log X}}$$
• Significantie van de Ondergrens: Deze ondergrens is identiek aan de ondergrens die de auteur eerder heeft vastgesteld in [17] voor de totale telling van klassieke Carmichaelgetallen ($C(X, 1)$).
• Afwijking van Traditie: In tegenstelling tot traditionele constructies waar de GCD $K$ moet groeien met $n om de existentie van voldoende priemgetallen te waarborgen, toont dit resultaat aan dat men $K = \nu$ constant kan houden en toch een ondergrens kan bereiken die "bijna optimaal" is.

Significantie en Claims
Het artikel beweert dat dit resultaat een significante afwijking is van eerdere methoden in de studie van Carmichaelgetallen.

• Begrensde GCD: Het lost een specifieke tussenliggende vraag op (Vraag 5 in de introductie) door aan te tonen dat het aantal $(a, a)$-Carmichaelgetallen met een begrensde GCD $\nu$ niet verwaarloosbaar is; het is in plaats daarvan van dezelfde asymptotische orde als de totale verzameling Carmichaelgetallen.
• Implicaties voor Openstaande Vragen: Hoewel het artikel erkent dat de volledige vraag of er oneindig veel $(a, a)$-Carmichaelgetallen bestaan die deelbaar zijn door een vaste priem $Q$ buiten bereik blijft, suggereert dit resultaat dat de beperking van een begrensde GCD de dichtheid van dergelijke getallen niet significant vermindert.
• Optimaliteit: De auteur merkt op dat de afgeleide ondergrens dicht bij de geconstateerde bovengrens voor het totale aantal Carmichaelgetallen ligt (voorgesteld door Pomerance), wat suggereert dat de verzameling $(a, a)$-Carmichaelgetallen met begrensde $K$ een substantieel deel van de totale verzameling vormt.

Het artikel claimt niet onvoorwaardelijk de oneindigheid van dergelijke getallen te bewijzen, noch lost het de vraag voor vaste priemdelers $Q$ direct op. In plaats daarvan levert het een conditioneel bewijs dat de beperking van een "begrensde GCD" compatibel is met de hoge dichtheid van Carmichaelgetallen.