The moments of split greatest common divisors

Technische Samenvatting: De Momenten van de Grootste Gemene Delers van Splitsing

Probleemstelling
Dit artikel behandelt het asymptotische gedrag van de momenten van de sequentie $(\gcd(n, u_n))_{n \in \mathbb{N}}$, waarbij $(u_n)$ een niet-degeneratieve Lucas-sequentie is. Hoewel de studie van $\gcd(u_n, v_n)$ voor algemene divisiesequenties een moeilijk probleem is dat verbonden is met diepe vermoedens in de Diophantische meetkunde (zoals de conjectuur van Vojta), komt het specifieke geval van $\gcd(n, u_n)$ overeen met divisiesequenties die voortkomen uit de algebraïsche groep $\mathbb{G}_a \times \mathbb{G}_m$.

Eerder werk door Sanna heeft de asymptotiek vastgesteld voor de logaritmische momenten $\sum_{n \le x} (\log \gcd(n, u_n))^\lambda$. Echter, de momenten van de sequentie zelf, $\sum_{n \le x} \gcd(n, u_n)^\lambda$, bleven grotendeels onopgelost, waarbij slechts gedeeltelijke bovengrenzen beschikbaar waren (bijv. door Mastrostefano). Het primaire doel is om precieze asymptotische schattingen voor deze momenten te bepalen, waarbij zowel onvoorwaardelijke als voorwaardelijke resultaten worden geboden op basis van standaardconjecturen in de analytische getaltheorie.

Methodologie
De auteurs maken gebruik van een combinatie van analytische getaltheorie, eigenschappen van Lucas-sequenties en combinatorische constructies betrokken bij gladde getallen (smooth numbers).

1. Verschijningsrang en Deelbaarheid: De analyse steunt op de verschijningsrang $z(m)$, de kleinste $n$ waarvoor $m \mid u_n$. De conditie $n' = \gcd(n'k, u_{n'k})$ wordt vertaald naar condities betreffende $z(n')$ en de deelbaarheid van $n'k$. De som wordt gedecomposed op basis van paren $(n', k)$ waarbij $n = n'k$.
2. Bovengrenzen: De onvoorwaardelijke bovengrens wordt afgeleid door het sommatiedomein op te splitsen in gevallen gebaseerd op de grootte van hulpvariabelen. Een cruciaal onderdeel is het begrenzen van het aantal gehele getallen $n$ waarvoor $\gcd(n, z(n))$ groot is. Dit maakt gebruik van een resultaat van Gordon en Pomerance over de telling van gehele getallen met een vaste verschijningsrang.
   • Voor de voorwaardelijke bovengrens nemen de auteurs Conjectuur 3.2 aan, die een sterkere dichtheidsschatting postuleert voor gehele getallen met een vaste verschijningsrang, analoog aan grenzen voor pseudoprimen.
3. Ondergrenzen: De strategie bestaat uit het construeren van een grote deelverzameling van gehele getallen $n$ waarvoor $n \mid u_n$ (aangeduid als $N_u(x)$).
   • Voorwaardelijke ondergrens: De auteurs construeren een verzameling gehele getallen bestaande uit verschoven priemgetallen $p$ waarvoor $p - (\Delta/p)$ glad is. Dit rust op Conjectuur 4.2, een zwakke instantie van de conjectuur van Granville betreffende de distributie van gladde verschoven priemgetallen.
   • Onvoorwaardelijke ondergrens: Voor het specifieke geval waar de coëfficiënt $a_2 = \pm 1$, maken de auteurs gebruik van een recent resultaat van Lichtman over de distributie van gladde verschoven priemgetallen in rekenkundige progressies (Theorema 5.1). Dit maakt het mogelijk om een voldoende grote verzameling gehele getallen $n$ te construeren die $u_n$ delen zonder onbewezen conjecturen aan te nemen.
4. Integrale Schattingen: Om de overgang te maken van de kardinaliteit van de verzameling $N_u(x)$ naar de momentensom, passen de auteurs de integraalstelling van Karamata en partiële sommatie-argumenten toe.

Kernresultaten

• Voorwaardelijke Asymptotiek (Theorem 1.3): Uitgaande van Conjecturen 3.2 en 4.2, voor een niet-degeneratieve Lucas-sequentie met $a_2 = \pm 1$, voldoen de momenten aan:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda = x^{\lambda+1 - (1+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  Dit lost het momentenprobleem voor $\mathbb{G}_a \times \mathbb{G}_m op onder standaardconjecturen.

• Onvoorwaardelijke Bovengrens (Theorem 1.4): Voor elke niet-degeneratieve Lucas-sequentie bewijzen de auteurs:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \le x^{\lambda+1 - (1/2+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  De exponent $1/2$ wordt genoteerd als een artefact van de huidige methode.

• Onvoorwaardelijke Ondergrens (Theorem 1.4): Indien $a_2 = \pm 1$, stellen de auteurs een ondergrens vast:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \ge x^{\lambda + 0.715}$$
  Dit resultaat is afgeleid van Lichtmans theorema over gladde verschoven priemgetallen.

• Verfijnde Conjectuur (Conjecture 1.5): Gebaseerd op de analogie met Lucas-pseudoprimen, conjectureren de auteurs een nauwkeurigere asymptotische vorm met een exponentiële term met geïtereerde logaritmen, wat suggereert dat de huidige grenzen niet de definitieve limiet van precisie zijn.

• Corollaria: De methoden leveren verbeterde grenzen op voor de distributie van $\gcd(n, u_n)$ (Corollary 1.6) en bieden een nieuw analytisch bewijs voor de hoofdstelling in [25] betreffende de telling van $n$ waarvoor $\gcd(n, u_n) = n$.

Betekenis en Claims
Het artikel beweert "cruciale vooruitgang" te hebben geboekt op het momentenprobleem voor $\mathbb{G}_a \times \mathbb{G}_m$. Specifiek:

1. Het lost Conjecturen 3 en 5 van [29] op in het geval $a_2 = \pm 1$.
2. Het lost de hoofdconjectuur van [13] op.
3. Het verbetert de onvoorwaardelijke grens van [2, Th. 1.3] via de grens van Lichtman.
4. Het biedt een overeenkomstige ondergrens voor de conjecturen in [13] en [25].
5. Het beantwoordt een specifiek geval van Vraag 1.1 en maakt vooruitgang op Vraag 1.2 in [27].

De auteurs merken op dat het onvoorwaardelijk bewijzen van de voorwaardelijke asymptotiek (Theorem 1.3) momenteel onhaalbaar is, aangezien de ondergrens afhankelijk is van de distributie van gladde verschoven priemgetallen, een probleem dat nog niet is opgelost zonder conjecturen zoals de Elliott–Halberstam-conjectuur aan te nemen. De casus $a_2 = \pm 1$ wordt benadrukt als het meest "interessante" en hanteerbare scenario voor deze methoden.