Sums of three Fibonacci numbers as concatenations of three repdigits in base $b$

Technische Zusammenfassung: Summen von drei Fibonacci-Zahlen als Konkatenationen von drei Repdigits in Basis $b$

1. Problemstellung
Das Papier untersucht ein diophantisches Problem, das die Schnittmenge von rekursiven Folgen und der Darstellung von Zahlen in verschiedenen Zahlensystemen beleuchtet. Konkret wird die Gleichung
$$F_{n_1} + F_{n_2} + F_{n_3} = \text{Konkatenation von drei Repdigits in Basis } b$$
untersucht.
Dabei ist $\{F_n\}_{n \ge 0}$ die Fibonacci-Folge ($F_0=0, F_1=1, F_{n+2}=F_{n+1}+F_n$). Ein Repdigit in Basis $b$ ist eine Zahl, deren Ziffern alle identisch sind (z. B. $111_b$ oder $7777_b$). Die rechte Seite der Gleichung stellt eine Zahl dar, die aus drei aufeinanderfolgenden Blöcken von Repdigits besteht, wobei jeder Block eine andere Ziffer $d_i$ und eine Länge $\ell_i$ haben kann.

Die Autoren suchen nach allen Lösungen für ganzzahlige Basen $b$ im Bereich $2 \le b \le 10$.

2. Methodik
Die Beweismethodik stützt sich auf einen zweistufigen Ansatz, der typisch für moderne diophantische Untersuchungen ist:

• Schritt 1: Theoretische Obergrenzen (Baker-Methode)

  • Die Autoren nutzen die Theorie der linearen Formen in Logarithmen (nach Baker und Wüstholz), um eine explizite, aber extrem große Obergrenze für den größten Index $n_1$ der Fibonacci-Zahlen abzuleiten.
  • Durch die Umformung der Gleichung in eine Form $|\Lambda| < \epsilon$ (wobei $\Lambda$ eine lineare Form in Logarithmen algebraischer Zahlen ist) und Anwendung von Sätzen über die absolute logarithmische Höhe (Weil-Höhe) wird eine Obergrenze von $n_1 < 3.09 \times 10^{82} \log^{11} b$ hergeleitet (Satz 1).
  • Dieser Schritt liefert zwar einen endlichen Suchraum, ist aber für eine direkte Berechnung aufgrund der enormen Größe der Grenzen nicht praktikabel.

• Schritt 2: Reduktion der Grenzen (Reduktionsmethode)

  • Um die Grenzen auf eine computergestützt handhabbare Größe zu reduzieren, wenden die Autoren die Reduktionsmethode von Dujella und Pethő (modifiziert durch Bravo, Gómez und Luca) an.
  • Diese Methode nutzt Konvergenten der Kettenbruchentwicklung irrationaler Zahlen (hier $\tau = \frac{\log b}{\log \alpha}$, wobei $\alpha$ der goldene Schnitt ist), um die Obergrenzen für $n_1$ und die Längen der Repdigits drastisch zu senken.
  • Durch wiederholte Anwendung von Lemma 2 (basierend auf der Approximationstheorie) werden die Grenzen schrittweise reduziert, bis $n_1 \le 74$ erreicht ist.

• Schritt 3: Computergestützte Suche und Parallelisierung

  • Nach der Reduktion auf $n_1 \le 74$ und entsprechenden Grenzen für die Längen $\ell_i$ wird eine exhaustive Suche durchgeführt.
  • Herausforderung: Die kombinatorische Struktur des Problems (sieben verschachtelte Schleifen für Ziffern und Längen) führt zu einer exponentiellen Komplexität. Eine sequentielle Berechnung für Basis $b=10$ hätte theoretisch fast 248 Jahre gedauert.
  • Lösung: Die Autoren portierten den Algorithmus auf eine GPU-basierte Parallelarchitektur (NVIDIA RTX A2000) unter Verwendung des CUDA-Frameworks. Dies ermöglichte eine massive Parallelisierung der Iterationen.
  • Ergebnis der Optimierung: Die Rechenzeit wurde um den Faktor 20.000 reduziert. Berechnungen, die sequentiell Jahre gedauert hätten (z. B. 5 Jahre für $b=3$), wurden in Minuten (ca. 50 Minuten) erledigt.

3. Wichtige Beiträge und Ergebnisse

• Endlichkeit der Lösungen: Es wird bewiesen, dass für jede Basis $2 \le b \le 10$ nur eine endliche Anzahl von Lösungen existiert.
• Vollständige Klassifikation: Alle Lösungen wurden explizit bestimmt. Insgesamt gibt es 2665 verschiedene Summen über alle Basen von 2 bis 10.
• Spezifische Maximalwerte:
  • Die größte gefundene Summe tritt für die Basis $b=4$ auf:
    $$F_{42} + F_{29} + F_{20} = 268.435.290$$
    In Basis 4 dargestellt ist dies die Konkatenation: $333333333311224_4$.
  • Die Tabellen im Papier listen für jede Basis die Anzahl der Lösungen, die größte Summe und deren Darstellung auf.
• Spezialfälle (Korollare):
  • Durch Setzen von $n_3=0$ wurden alle Summen von zwei Fibonacci-Zahlen als Konkatenation von drei Repdigits bestimmt.
  • Durch Setzen von $n_2=n_3=0$ wurden alle einzelnen Fibonacci-Zahlen identifiziert, die selbst als Konkatenation von drei Repdigits darstellbar sind.

4. Signifikanz und Bedeutung

• Erweiterung des Forschungsgebiets: Das Papier erweitert die bestehende Literatur, die sich bisher hauptsächlich auf einzelne Fibonacci-Zahlen oder Summen von zwei Zahlen als Repdigits/Konkatenationen konzentrierte, auf den Fall von Summen aus drei Zahlen.
• Methodische Demonstration: Die Arbeit demonstriert erfolgreich die Kombination aus tiefgreifender analytischer Zahlentheorie (Baker-Methode) und moderner Hochleistungsrechner-Architektur (GPU-Computing). Sie zeigt, wie theoretische Grenzen durch paralleles Rechnen in praktisch lösbare Probleme umgewandelt werden können.
• Technologische Durchbrüche: Der Einsatz von GPUs zur Lösung diophantischer Gleichungen mit hoher kombinatorischer Komplexität ist ein wichtiger Schritt für die Zukunft der computergestützten Zahlentheorie, da er Probleme lösbar macht, die auf klassischen CPUs unmöglich wären.
• Infrastrukturelle Unterstützung: Die Arbeit unterstreicht die Rolle von High-Performance-Computing-Infrastrukturen (hier bereitgestellt durch das Togo Data Lab) für die mathematische Forschung in Entwicklungsländern.

Zusammenfassend liefert das Papier eine vollständige Lösung für ein komplexes diophantisches Problem und stellt gleichzeitig ein Musterbeispiel für die effektive Nutzung moderner Rechenarchitekturen in der reinen Mathematik dar.