The moments of split greatest common divisors

Technische Zusammenfassung: Die Momente der Teilweisen Größten Gemeinsamen Teiler

Problemstellung
Diese Arbeit befasst sich mit dem asymptotischen Verhalten der Momente der Folge $(\gcd(n, u_n))_{n \in \mathbb{N}}$, wobei $(u_n)$ eine nicht-degenerierte Lucas-Folge ist. Während die Untersuchung von $\gcd(u_n, v_n)$ für allgemeine Divisibilitätsfolgen ein schwieriges Problem darstellt, das mit tiefen Vermutungen in der diophantischen Geometrie (wie der Vojta-Vermutung) verbunden ist, entspricht der spezifische Fall $\gcd(n, u_n)$ Divisibilitätsfolgen, die aus der algebraischen Gruppe $\mathbb{G}_a \times \mathbb{G}_m$ stammen.

Vorherige Arbeiten von Sanna etablierten die Asymptotik für die logarithmischen Momente $\sum_{n \le x} (\log \gcd(n, u_n))^\lambda$. Die Momente der Folge selbst, $\sum_{n \le x} \gcd(n, u_n)^\lambda$, blieben jedoch weitgehend ungeklärt, wobei nur partielle obere Schranken verfügbar waren (z. B. durch Mastrostefano). Das primäre Ziel ist es, präzise asymptotische Schätzungen für diese Momente zu bestimmen und dabei sowohl bedingte als auch unbedingte Ergebnisse unter Berücksichtigung standardmäßiger Vermutungen in der analytischen Zahlentheorie zu liefern.

Methodik
Die Autoren verwenden eine Kombination aus analytischer Zahlentheorie, den Eigenschaften von Lucas-Folgen und kombinatorischen Konstruktionen involvierender glatter Zahlen.

1. Erscheinungsrang und Teilbarkeit: Die Analyse stützt sich auf den Erscheinungsrang $z(m)$, den kleinsten $n$, so dass $m \mid u_n$ gilt. Die Bedingung $n' = \gcd(n'k, u_{n'k})$ wird in Bedingungen übersetzt, die $z(n')$ und die Teilbarkeit von $n'k$ betreffen. Die Summe wird basierend auf Paaren $(n', k)$ zerlegt, wobei $n = n'k$.
2. Obere Schranken: Die unbedingte obere Schranke wird durch Aufteilung des Summenbereichs in Fälle basierend auf der Größe Hilfsvariablen abgeleitet. Eine kritische Komponente ist die Begrenzung der Anzahl von Integern $n$, für die $\gcd(n, z(n))$ groß ist. Dies nutzt ein Ergebnis von Gordon und Pomerance bezüglich der Zählung von Integern mit einem festen Erscheinungsrang.
   • Für die bedingte obere Schranke nehmen die Autoren Vermutung 3.2 an, die eine stärkere Dichteschätzung für Integers mit einem festen Erscheinungsrang postuliert, analog zu Schranken für Pseudoprimzahlen.
3. Untere Schranken: Die Strategie besteht darin, eine große Teilmenge von Integern $n$ zu konstruieren, so dass $n \mid u_n$ (bezeichnet als $N_u(x)$).
   • Bedingte untere Schranke: Die Autoren konstruieren eine Menge von Integern, die aus verschobenen Primzahlen $p$ bestehen, wobei $p - (\Delta/p)$ glatt ist. Dies stützt sich auf Vermutung 4.2, eine schwache Instanz von Granvilles Vermutung bezüglich der Verteilung glatter verschobener Primzahlen.
   • Unbedingte untere Schranke: Für den spezifischen Fall, dass der Koeffizient $a_2 = \pm 1$ ist, nutzen die Autoren ein aktuelles Ergebnis von Lichtman über die Verteilung glatter verschobener Primzahlen in arithmetischen Progressionen (Theorem 5.1). Dies ermöglicht die Konstruktion einer hinreichend großen Menge von Integern $n$, die $u_n$ teilen, ohne unbewiesene Vermutungen anzunehmen.
4. Integralschätzungen: Um vom Kardinalität der Menge $N_u(x)$ zur Momentensumme überzugehen, wenden die Autoren das Karamata-Integralsatz-Verfahren und Partielle Summation an.

Schlüsselergebnisse

• Bedingte Asymptotik (Theorem - 1.3): Unter Annahme der Vermutungen 3.2 und 4.2 erfüllen die Momente für eine nicht-degenerierte Lucas-Folge mit $a_2 = \pm 1$:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda = x^{\lambda+1 - (1+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  Dies löst das Momentenproblem für $\mathbb{G}_a \times \mathbb{G}_m$ unter Standardvermutungen.

• Unbedingte obere Schranke (Theorem 1.4): Für jede nicht-degenerierte Lucas-Folge beweisen die Autoren:
  $$\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}}$$
  Der Exponent $1/2$ wird als Artefakt der aktuellen Methode angemerkt.

• Unbedingte untere Schranke (Theorem 1.4): Wenn $a_2 = \pm 1$, etablieren die Autoren eine untere Schranke:
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \ge x^{\lambda + 0.715}$$
  Dieses Ergebnis wird unter Verwendung von Lichtmans Theorem über glatte verschobene Primzahlen abgeleitet.

• Verfeinerte Vermutung (Vermutung 1.5): Basierend auf der Analogie zu Lucas-Pseudoprimzahlen vermuten die Autoren eine präzisere asymptotische Form unter Einbeziehung eines exponentiellen Terms mit iterierten Logarithmen, was darauf hindeutet, dass die aktuellen Schranken nicht die endgültige Grenze der Präzision darstellen.

• Korollare: Die Methoden liefern verbesserte Schranken für die Verteilung von $\gcd(n, u_n)$ (Korollar 1.6) und bieten einen neuen analytischen Beweis für das Haupttheorem in [25] bezüglich der Zählung von $n$, so dass $\gcd(n, u_n) = n$.

Bedeutung und Ansprüche
Das Paper behauptet, „entscheidende Fortschritte“ beim Momentenproblem für $\mathbb{G}_a \times \mathbb{G}_m$ gemacht zu haben. Konkret:

1. Es löst die Vermutungen 3 und 5 von [29] im Fall $a_2 = \pm 1$.
2. Es löst die Hauptvermutung von [13].
3. Es verbessert die unbedingte Schranke von [2, Th. 1.3] via Lichtmans Schranke.
4. Es liefert eine passende untere Schranke für die Vermutungen in [13] und [25].
5. Es beantwortet einen spezifischen Fall von Frage 1.1 und macht Fortschritte bei Frage 1.2 in [27].

Die Autoren merken an, dass der Beweis der bedingten Asymptotik (Theorem 1.3) unbedingt derzeit nicht machbar ist, da die untere Schranke auf der Verteilung glatter verschobener Primzahlen beruht – ein Problem, das ohne die Annahme von Vermutungen wie der Elliott-Halberstam-Vermutung noch nicht gelöst ist. Der Fall $a_2 = \pm 1$ wird als das „interessanteste“ und handhabbarste Szenario für diese Methoden hervorgehoben.