🔢 mathematics

Multiplicative independence in the sequence of $k$ -generalized Pell numbers

Dieser Artikel bestimmt alle Paare von Indizes $(m,n)$ , für die Glieder der $k$ -generalisierten Pell-Folge multiplikativ abhängig sind, und beweist, dass solche Lösungen nur für sehr kleine Werte von $k$ , $m$ und $n$ auftreten, indem eine Kombination aus linearen Formen in Logarithmen, Reduktionsalgorithmen und computergestützter Suche verwendet wird.

Ursprüngliche Autoren: Cherif B. Deme, Kancou D. Fall, Khady Faye, Bernadette Faye

Veröffentlicht 2026-05-19

📖 4 Min. Lesezeit🧠 Tiefgang

CC0 1.0

Ursprüngliche Autoren: Cherif B. Deme, Kancou D. Fall, Khady Faye, Bernadette Faye

Originalarbeit unter CC0 1.0 der Gemeinfreiheit gewidmet (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie hätten eine spezielle Maschine, die eine unendliche Liste von Zahlen ausspuckt. In der Mathematik nennt man diese Folgen. Das Papier, nach dem Sie fragen, konzentriert sich auf eine bestimmte Art von Maschine, die k-verallgemeinerte Pell-Folge genannt wird.

Stellen Sie sich diese Maschine wie ein Rezept vor. Um die nächste Zahl in der Liste zu erhalten, nehmen Sie die vorherige Zahl, verdoppeln sie und addieren dann eine Reihe der Zahlen, die davor kamen. Das „k" im Namen gibt lediglich an, wie viele vorherige Zahlen Sie addieren müssen.

Wenn k=2, ist es das klassische „Pell"-Rezept (die letzte verdoppeln, die davorliegende addieren).
Wenn k=3, verdoppeln Sie die letzte und addieren die beiden davorliegenden.
Und so weiter.

Die Autoren dieses Papiers wollten ein sehr spezifisches Rätsel lösen: Können zwei verschiedene Zahlen aus dieser Liste jemals „multiplikativ abhängig" sein?

Was bedeutet „multiplikativ abhängig"?

Auf einfache Deutsch gesagt, fragt es: Können Sie eine Zahl aus der Liste nehmen, sie ein paar Mal mit sich selbst multiplizieren und eine andere Zahl aus der Liste erhalten?

Stellen Sie sich die Liste als einen Satz von Bausteinen vor.

Wenn Sie einen Baustein der Größe 2 und einen Baustein der Größe 8 haben, sind sie „abhängig", denn $2 \times 2 \times 2 = 8$ . Der eine ist einfach eine Potenz des anderen.
Wenn Sie einen Baustein der Größe 3 und einen Baustein der Größe 10 haben, sind sie „unabhängig". Egal wie oft Sie 3 mit sich selbst multiplizieren ($3, 9, 27, 81...$), Sie werden niemals auf 10 stoßen.

Die Autoren wollten wissen: Gibt es für diese speziellen Pell-Maschinen irgendwelche Paare von Bausteinen, die wie Potenzen derselben Zahl zusammenpassen, außer den offensichtlichen?

Die „offensichtlichen" Antworten

Bevor sie schwere Mathematik betrieben, stellten die Autoren einige „triviale" Fälle fest, bei denen die Antwort offensichtlich „ja" lautet:

Die Startlinie: Die allerersten paar Zahlen in der Folge sind einfach Potenzen von 2 ($1, 2, 4, 8, 16...$). Da $2, 4, 8$ alle Potenzen von 2 sind, sind sie natürlich abhängig. Dies gilt für die ersten $k+1$ Zahlen.
Der Null-Fall: Für die klassische Version ( $k=2$ ) gibt es eine seltsame Ausnahme, die die Zahl 0 betrifft.

Die große Frage

Die Autoren fragten: Gibt es irgendwelche anderen Paare?
Könnte zum Beispiel die 100. Zahl in der Folge eine perfekte Potenz der 50. Zahl sein? Oder könnte die 1.000. Zahl eine Potenz der 900. sein?

Die Detektivarbeit

Um dies zu beantworten, agierten die Autoren wie mathematische Detektive und nutzten drei Hauptwerkzeuge:

Die „Magische Formel" (Binet-Formel): Sie verwendeten eine spezielle Gleichung, die die Größe der Zahlen in der Folge vorhersagt, ohne jeden einzelnen Schritt berechnen zu müssen. Es ist wie eine Wettervorhersage, die Ihnen genau sagt, wie heiß es in einem Jahr sein wird, anstatt jeden Tag das Thermometer zu überprüfen.
Das „Logarithmische Lineal" (Matveev-Theorem): Dies ist ein superpräzises Lineal, um den „Abstand" zwischen Zahlen zu messen, wenn man sie durch die Linse der Logarithmen betrachtet. Es half ihnen zu beweisen, dass, falls eine Lösung existieren würde, die Zahlen nicht unendlich groß sein könnten. Sie setzten eine „Obergrenze" dafür, wie groß die Zahlen maximal sein könnten.
Der „Reduktions-Hammer" (Baker-Davenport-Algorithmus): Die Obergrenze, die sie fanden, war immer noch riesig (Zahlen mit 60+ Stellen). Man kann nicht jede so große Zahl von Hand überprüfen. Also nutzten sie einen cleveren mathematischen Trick (wie einen Vorschlaghammer), um diese riesige Obergrenze auf eine handhabbare Größe zu zerschlagen (Zahlen unter 300).

Das endgültige Urteil

Sobald sie das Problem auf Zahlen kleiner als 300 reduziert hatten, nutzten sie einen Computer, um jede einzelne Möglichkeit zu überprüfen.

Das Ergebnis:
Der Computer fand nichts Neues.

Der einzige Fall, in dem zwei Zahlen in dieser Folge „multiplikativ abhängig" sind, ist:

Wenn sie beide ganz am Anfang der Liste stehen (wo sie einfach Potenzen von 2 sind).
Oder in diesem einen spezifischen, seltsamen Fall mit der klassischen Folge, die die Null beinhaltet.

Die Erkenntnis

Das Papier beweist, dass für diese speziellen Zahlenmaschinen das Universum überraschend einfach ist. Sobald Sie die Startlinie hinter sich lassen, wachsen die Zahlen auf so eine einzigartige und chaotische Weise, dass sie sich nie wieder „ausrichten", um Potenzen voneinander zu sein. Es gibt keine versteckten Muster von Potenzen, die tief in der Folge lauern; die einzigen sind diejenigen, die Sie gleich am Anfang sehen können.

Kurz gesagt: Die Autoren bewiesen, dass für diese spezifischen Zahlenfolgen, wenn Sie zwei Zahlen finden wollen, bei denen die eine eine Potenz der anderen ist, Sie nur die allerersten paar Zahlen betrachten müssen. Alles andere ist unabhängig.

Technische Zusammenfassung: Multiplikative Unabhängigkeit in der Folge der k-verallgemeinerten Pell-Zahlen

Problemstellung
Diese Arbeit untersucht die multiplikative Abhängigkeit zwischen Gliedern der k-verallgemeinerten Pell-Folge, bezeichnet als $(P^{(k)}_n)_{n \ge 2-k}$ . Die Folge ist durch die lineare Rekursion definiert:
$P^{(k)}_n = 2P^{(k)}_{n-1} + P^{(k)}_{n-2} + \dots + P^{(k)}_{n-k}$
mit den Anfangsbedingungen $P^{(k)}_0 = \dots = P^{(k)}_{-(k-2)} = 0$ und $P^{(k)}_1 = 1$ . Für $k=2$ reduziert sich dies auf die klassische Pell-Folge.

Das zentrale Ziel besteht darin, alle Paare von Indizes $(m, n)$ mit $n > m \ge 0$ und ganzen Zahlen $k \ge 2$ zu bestimmen, sodass die Glieder $P^{(k)}_n$ und $P^{(k)}_m$ multiplikativ abhängig sind. Zwei von Null verschiedene ganze Zahlen $a$ und $b$ sind multiplikativ abhängig, wenn es von Null verschiedene ganze Zahlen $x, y$ gibt, sodass $a^x = b^y$ gilt. Die Autoren zielen darauf ab, die diophantische Gleichung zu lösen:
$(P^{(k)}_n)^x = (P^{(k)}_m)^y$
unter Ausschluss trivialer Fälle, in denen die Glieder gleich 1 sind, oder in denen die Abhängigkeit ausschließlich aus dem Anfangsstück der Folge resultiert, wo die Glieder Zweierpotenzen sind.

Methodik
Die Beweisstrategie folgt dem etablierten Rahmen, der für k-verallgemeinerte Fibonacci- und Lucas-Zahlen verwendet wurde, und kombiniert analytische Zahlentheorie mit rechnergestützter Verifikation. Die Methodik verläuft in drei Hauptphasen:

Analytische Approximation und Lineare Formen in Logarithmen:
Die Autoren nutzen die Binet-artige Formel für $P^{(k)}_n$ , die den Term als $P^{(k)}_n = g_k(\alpha)\alpha^n + e_n$ ausdrückt, wobei $\alpha$ die dominante Nullstelle des charakteristischen Polynoms $\Psi_k(x) = x^k - 2x^{k-1} - \dots - 1$ ist und $g_k(\alpha)$ eine spezifische algebraische Funktion darstellt.
Durch Einsetzen dieser Formel in die Gleichung für die multiplikative Abhängigkeit wird das Problem in die Abschätzung einer linearen Form in Logarithmen transformiert:
$\Lambda = (y-x)\log g_k(\alpha) + (nx - my)\log \alpha$
Unter Verwendung des Satzes von Matveev über untere Schranken für lineare Formen in Logarithmen leiten die Autoren eine polynomiale obere Schranke für den Index $n$ in Abhängigkeit von $k$ her. Speziell für $k \ge 3$ und $n > m \ge k+1$ stellen sie fest:
$n < 6.2 \times 10^{33} k^8 (\log k)^6$
Reduktion mittels Baker-Davenport-Algorithmus:
Die aus dem Satz von Matveev abgeleitete anfängliche Schranke ist für eine direkte Berechnung zu groß. Um diese zu reduzieren, wenden die Autoren die Reduktionsmethode von Baker-Davenport an (speziell die Version von Dujella und Pethő). Dies beinhaltet die Analyse der Kettenbruchentwicklung des Verhältnisses $\tau_k = \frac{\log g_k(\alpha)}{\log \alpha}$ .
Durch Nutzung der Eigenschaften der Konvergenten und des Lemmas von Dujella-Pethő reduzieren die Autoren die obere Schranke für $n$ auf eine handhabbare Konstante, die für den Bereich $k \le 850$ unabhängig von $k$ ist. Konkret wird die Schranke auf $n \le 218$ reduziert (konservativ aus Sicherheitsgründen als $n < 300$ angenommen).
Fallunterscheidung und Asymptotische Analyse:
Das Problem wird in zwei Regime basierend auf dem Wert von $k$ aufgeteilt:
- Kleines $k$ ( $k \le 850$ ): Mit der reduzierten Schranke $n < 300$ führen die Autoren eine exhaustive Computersuche über alle gültigen Kombinationen von $k, m, n, x, y$ durch.
- Großes $k$ ( $k > 850$ ): Für diesen Bereich verwenden die Autoren ein asymptotisches Argument. Sie nutzen die Tatsache aus, dass für große $k$ die dominante Nullstelle $\alpha$ extrem nahe bei 2 liegt und $P^{(k)}_n \approx 2^{n-1}$ gilt. Durch Entwicklung der Terme bis zur zweiten Ordnung (unter Verwendung der Cooper-Howard-Entwicklung) zeigen sie, dass die Gleichung $(P^{(k)}_n)^x = (P^{(k)}_m)^y$ $x=y$ und subsequently $n=m$ impliziert, was der Annahme $n > m$ widerspricht. Somit existieren für $k > 850$ keine Lösungen.

Hauptbeiträge und Ergebnisse
Die Arbeit liefert eine vollständige Klassifizierung multiplikativ abhängiger Paare in der k-verallgemeinerten Pell-Folge. Das Hauptergebnis, Satz 1.1, besagt, dass für $k \ge 2$ und $n > m \ge 2$ die Glieder $P^{(k)}_n$ und $P^{(k)}_m$ genau dann multiplikativ abhängig sind, wenn:

Trivialer Fall: $m=1$ (da $P^{(k)}_1 = 1$ ).
Familien der Zweierpotenzen: $2 \le m < n \le k+1$ . In diesem Anfangsstück gilt $P^{(k)}_n = 2^{n-1}$ und $P^{(k)}_m = 2^{m-1}$ , was zu Abhängigkeiten der Form $(2^{n-1})^x = (2^{m-1})^y$ führt.
Ausnahme im klassischen Fall: $(k, n, m) = (2, 3, 0)$ . Hier gilt $P^{(2)}_3 = 2$ und $P^{(2)}_0 = 0$ . (Hinweis: Die Zusammenfassung erwähnt $P^{(k)}_0=0$ als trivialen Fall im Kontext der Gleichung, obwohl streng genommen $0^x=0$ eine sorgfältige Behandlung erfordert; die Arbeit listet dies als die einzige nicht-triviale Lösung auf, die die klassische Pell-Folge außerhalb des Bereichs der Zweierpotenzen betrifft).

Die Autoren stellen ausdrücklich fest, dass keine weiteren multiplikativ abhängigen Paare existieren. Für $k \ge 3$ treten die einzigen nicht-trivialen Abhängigkeiten strikt innerhalb des Anfangsstücks auf, wo die Glieder exakte Zweierpotenzen sind.

Bedeutung
Die Arbeit erweitert die Untersuchung der multiplikativen Abhängigkeit von klassischen Folgen (Fibonacci, Lucas) und k-verallgemeinerten Fibonacci-/Lucas-Folgen auf die k-verallgemeinerte Pell-Folge. Sie zeigt, dass die strukturellen Eigenschaften der Pell-Folge (insbesondere das Verhalten ihrer dominanten Nullstelle und des Anfangsstücks der Zweierpotenzen) zu einer ähnlichen Klassifizierung der Lösungen führen. Die Arbeit bestätigt, dass die „Reichhaltigkeit" der Lösungen, die in anderen Folgen gefunden wird, sich nicht über die anfänglichen trivialen Segmente und den spezifischen klassischen Fall hinaus auf die Pell-Folge erstreckt. Der Beweis kombiniert rigoros tiefgreifende theoretische Werkzeuge (Matveev-Schranken, Baker-Davenport-Reduktion) mit rechnergestützter Verifikation, um das Problem für alle $k$ abzuschließen.