2025-11-10T02:51:50.582851

Ratios of two powers of van der Laan-Padovan numbers

Yamada
The van der Laan-Padovan sequence $P_n ~ (n=0, 1, \ldots)$ is defined by $P_0=1, P_1=P_2=0$, and $P_{n+3}=P_{n+1}+P_n$ for $n=0, 1, \ldots$. We determine all pairs $(P_m, P_n)$ satisfying $P_m^b=2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$ for some integers $g_1, g_2, g_3, g_4$, $a$, and $b$. More generally, for a linear recurrence sequence $u_n$ satisfying the dominant root condition and a given set of primes $p_1, \ldots, p_k$, there exist only finitely many pairs $(u_m, u_n)$ satisfying $u_m^b=p_1^{g_1} \cdots p_k^{g_k} u_n^a$ for some integers $g_1, \ldots, g_k$, $a$, and $b$.
academic

Verhältnisse von zwei Potenzen von van der Laan-Padovan-Zahlen

Grundlegende Informationen

  • Papier-ID: 2510.06192
  • Titel: Ratios of two powers of van der Laan-Padovan numbers
  • Autor: Tomohiro Yamada (Zentrum für japanische Sprache und Kultur, Universität Osaka)
  • Klassifizierung: math.NT (Zahlentheorie)
  • Veröffentlichungsdatum: 12. Oktober 2025 (arXiv Preprint v2)
  • Papierlink: https://arxiv.org/abs/2510.06192

Zusammenfassung

Die van der Laan-Padovan-Folge PnP_n (n = 0, 1, ...) wird durch P0=1P_0 = 1, P1=P2=0P_1 = P_2 = 0 und die Rekurrenzrelation Pn+3=Pn+1+PnP_{n+3} = P_{n+1} + P_n (n ≥ 0) definiert. Dieses Papier bestimmt alle Ganzzahlpaare (Pm,Pn)(P_m, P_n), die Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a erfüllen, wobei g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b ganze Zahlen sind. Allgemeiner wird gezeigt, dass für lineare Rekurrenzfolgen unu_n, die die Hauptwurzelbedingung erfüllen, und für eine gegebene Menge von Primzahlen p1,…,pkp_1, \ldots, p_k nur endlich viele Lösungspaare (um,un)(u_m, u_n) die Gleichung umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a erfüllen.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Arithmetische Eigenschaften linearer Rekurrenzfolgen: Die arithmetischen Eigenschaften linearer Rekurrenzfolgen und diophantische Gleichungen sind seit langem ein wichtiges Forschungsgebiet der Zahlentheorie. Das am weitesten untersuchte Gebiet betrifft Lucas-Folgen, für die bereits viele tiefe Ergebnisse bekannt sind.
  2. van der Laan-Padovan-Folge: Diese Folge wurde ursprünglich von Dom Hans van der Laan in architektonischen Forschungen eingeführt und später von Richard Padovan weiterentwickelt. Die Folge lautet: 1, 0, 0, 1, 0, 1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151, 200, ...
  3. Grenzen der bestehenden Theorie: Für allgemeine lineare Rekurrenzfolgen sind im Vergleich zu Lucas-Folgen weniger Ergebnisse bekannt. Insbesondere bei der Untersuchung von Potenzbeziehungen fehlen wirksame Methoden zur Bestimmung aller Lösungen.

Forschungsmotivation

  1. Schließung von Theorielücken: Bereitstellung wirksamer Lösungsmethoden für Potenzbeziehungsprobleme in allgemeinen linearen Rekurrenzfolgen
  2. Praktische Anwendungen: Die van der Laan-Padovan-Folge hat wichtige Anwendungen in Architektur und Geometrie
  3. Methodologischer Beitrag: Entwicklung von Techniken, die auf ein breiteres Spektrum linearer Rekurrenzfolgen anwendbar sind

Kernbeiträge

  1. Etablierung eines allgemeinen Endlichkeitssatzes: Beweis, dass für lineare Rekurrenzfolgen, die die Hauptwurzelbedingung erfüllen, die Gleichung umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a nur endlich viele Lösungen hat
  2. Bereitstellung wirksamer Schranken: Satz 4.1 gibt eine effektiv berechenbare Schranke für die Lösungen an, die zwar groß ist, aber in der praktischen Berechnung machbar
  3. Vollständige Lösung des van der Laan-Padovan-Problems: Bestimmung aller Lösungen der Gleichung Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a
  4. Entwicklung neuer Rechentechniken: Kombination der Baker-Methode, Gitterreduktion und Computerverifikation zur Bereitstellung einer praktischen Lösungsstrategie

Methodische Details

Aufgabendefinition

Gegeben eine lineare Rekurrenzfolge unu_n und eine Menge von Primzahlen {p1,…,pk}\{p_1, \ldots, p_k\}, finde alle Ganzzahlpaare (m,n)(m,n), die die folgende Gleichung erfüllen: umb=p1g1⋯pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a wobei g1,…,gk,a,bg_1, \ldots, g_k, a, b ganze Zahlen sind und a>0a > 0.

Theoretischer Rahmen

1. Darstellung linearer Rekurrenzfolgen

Für eine r-te Ordnung lineare Rekurrenzfolge ist die allgemeine Formel: un=∑i=1tqi(n)αinu_n = \sum_{i=1}^t q_i(n)\alpha_i^n wobei α1,…,αt\alpha_1, \ldots, \alpha_t die Wurzeln des charakteristischen Polynoms sind und qi(n)q_i(n) Polynome sind.

2. Hauptwurzelbedingung

Angenommen, ∣α1∣>∣α2∣≥⋯≥∣αt∣|\alpha_1| > |\alpha_2| \geq \cdots \geq |\alpha_t| und κ1≠0\kappa_1 \neq 0, wobei κ1\kappa_1 der Koeffizient von α1\alpha_1 ist.

3. Untere Schranke für lineare Logarithmusformen

Die Kerntechnik ist Matveevs Satz über untere Schranken für lineare Logarithmusformen (Lemma 2.1):

Für algebraische Zahlen α1,…,αn\alpha_1, \ldots, \alpha_n und ganze Zahlen b1,…,bnb_1, \ldots, b_n erfüllt die lineare Form Λ=b1log⁡α1+⋯+bnlog⁡αn\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n folgende Bedingung: Λ=0\Lambda = 0 oder log⁡∣Λ∣>−C(n)Ωlog⁡(c1B)\log |\Lambda| > -C(n)\Omega \log(c_1B)

Algorithmusablauf

Schritt 1: Vorverarbeitung und Spezialfälle

  1. Behandlung des Falls Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4} (Lemma 5.1)
  2. Verwendung direkter Berechnung zur Bestimmung von n∈{0,1,…,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\}

Schritt 2: Schrankenabschätzung für den allgemeinen Fall

Für Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b:

  1. Etablierung der linearen Logarithmusform: Λ=g1log⁡2+⋯+g4log⁡7+(a−b)log⁡κ1+(an−bm)log⁡α1\Lambda = g_1 \log 2 + \cdots + g_4 \log 7 + (a-b) \log \kappa_1 + (an-bm) \log \alpha_1
  2. Anwendung des Matveev-Satzes: Erhalt einer theoretischen Schranke für m,nm, n
  3. Gitterreduktionsverbesserung: Verwendung des LLL-Algorithmus und Lemma 2.3 zur Verbesserung der Schranke

Schritt 3: Computerverifikation

  1. Konstruktion der entsprechenden linearen Logarithmusform für jeden möglichen mm-Wert
  2. Verwendung von Gitterreduktonstechniken zur Erlangung präziserer unterer Schranken
  3. Einzelne Verifikation der verbleibenden Fälle

Technische Innovationen

  1. Effektivität: Im Gegensatz zu früheren Ineffektivitätsergebnissen bietet dieses Papier effektiv berechenbare Schranken
  2. Gitterreduktion: Innovative Kombination von Gitterreduktionsmethoden zur signifikanten Verbesserung theoretischer Schranken
  3. Fallunterscheidung: Geschickte Zerlegung des Problems in Spezialfälle und allgemeine Fälle, was die Rechenkomplexität erheblich vereinfacht

Experimentelle Einrichtung

Mathematische Konstanten

  • Kunststoffzahl: α1=1.324717…\alpha_1 = 1.324717\ldots (reelle Wurzel der Gleichung X3−X−1=0X^3 - X - 1 = 0)
  • Komplexe Wurzeln: α2,α3=−0.662358…±0.562279…i\alpha_2, \alpha_3 = -0.662358\ldots \pm 0.562279\ldots i
  • Koeffizienten: κi=1/(2αi+3)\kappa_i = 1/(2\alpha_i + 3) für i=1,2,3i = 1, 2, 3
  • Parameter: K=5.599815…K = 5.599815\ldots, δ=1.524702…\delta = 1.524702\ldots

Rechnerische Parameter

  • Startpunkt: n1=27n_1 = 27
  • Genauigkeitsparameter: μ=10\mu = 10
  • Fehlergrenze: ϵ<6.3413×10−5\epsilon < 6.3413 \times 10^{-5}

Gitterreduktionseinstellungen

  • Verwendung verschiedener Gitterparameter (C,γ)(C, \gamma) in verschiedenen Phasen
  • Erste Phase: (C,γ)=(10150,11)(C, \gamma) = (10^{150}, 11)
  • Nachfolgende Phasen: Parameteranpassung nach Bedarf

Experimentelle Ergebnisse

Hauptergebnis (Satz 1.3)

Wenn Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b für einige ganze Zahlen g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b mit a>0a > 0 erfüllt ist, dann muss gelten:

  1. m,n∈{1,2,4}m, n \in \{1, 2, 4\}, oder
  2. m,n∈{0,3,5,6,…,18,20,25,36}m, n \in \{0, 3, 5, 6, \ldots, 18, 20, 25, 36\}, oder
  3. m,n∈{21,27,49}m, n \in \{21, 27, 49\}

Zwischenergebnisse

Lemma 5.1

Wenn Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}, dann n∈{0,1,…,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\}.

Lemma 5.2

Wenn Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b und gcd⁡(a,b)=1\gcd(a,b) = 1, dann:

  • m≤988m \leq 988
  • bm≤3.850562×1029bm \leq 3.850562 \times 10^{29}
  • an<5.5553×1029an < 5.5553 \times 10^{29}

Rechnerische Verifikation

Durch systematische Überprüfung aller Fälle mit m≤988m \leq 988 wird bestätigt, dass nur die oben genannten drei Lösungsgruppen existieren. Während des Verifikationsprozesses wurde festgestellt:

  • Für Hm=Pm/(2e1⋯7e4)H_m = P_m/(2^{e_1} \cdots 7^{e_4}) ist HmH_m keine vollständige Potenz, wenn 0≤m≤10120 \leq m \leq 1012 und Hm∉{0,1}H_m \notin \{0,1\}
  • Dies stellt sicher, dass in den meisten Fällen a=1a = 1

Verwandte Arbeiten

Klassische Ergebnisse

  1. Lucas-Folgen: Der Satz von Bilu-Hanrot-Voutier bietet ein starkes Werkzeug für Lucas-Folgen
  2. Allgemeine lineare Rekurrenzfolgen: Wachstumsbedingungen von van der Poorten-Schlickewei, Primfaktorergebnisse von Evertse
  3. Effektivitätsergebnisse: Wirksame Schranken von Mignotte, Stewart, Pethö und anderen

Neueste Entwicklungen

  1. Odjoumani-Ziegler: Untersuchung des Auftretens von Primzahlpotenzen in linearen Rekurrenzfolgen
  2. Bugeaud-Kaneko: Wirksame Schranken für vollständige Potenzen
  3. Gómez Ruiz-Luca: Multiplikative Beziehungen zwischen verschiedenen Rekurrenzfolgen

Beitrag dieses Papiers

Im Vergleich zu bestehenden Arbeiten bietet dieses Papier erstmals eine vollständige Lösung für Potenzbeziehungen in der van der Laan-Padovan-Folge und stellt eine wirksame Methode bereit, die auf allgemeine lineare Rekurrenzfolgen anwendbar ist.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Vollständigkeit: Vollständige Lösung des Potenzbeziehungsproblems der van der Laan-Padovan-Folge
  2. Allgemeinheit: Etablierung einer allgemeinen Theorie für lineare Rekurrenzfolgen, die die Hauptwurzelbedingung erfüllen
  3. Effektivität: Bereitstellung praktisch berechenbarer Schranken und Algorithmen

Einschränkungen

  1. Übermäßig große Schranken: Die theoretische Schranke C′′Ψlog⁡(c2C′Ψ′)C^{\prime\prime} \Psi \log(c_2 C^\prime \Psi^\prime) kann in praktischen Anwendungen zu groß sein
  2. Rechenkomplexität: Für Fälle mit sehr großen Parametern ist der Rechenaufwand immer noch erheblich
  3. Spezifische Primzahlen: Die aktuellen Ergebnisse sind auf die Primzahlmenge {2,3,5,7}\{2, 3, 5, 7\} beschränkt

Zukünftige Richtungen

  1. Verbesserung der Schranken: Suche nach engeren theoretischen Schranken
  2. Erweiterung der Primzahlmenge: Untersuchung von Fällen mit größeren Primzahlmengen
  3. Andere Rekurrenzfolgen: Anwendung der Methode auf andere wichtige Rekurrenzfolgen
  4. Algorithmusoptimierung: Entwicklung effizienterer Rechenmethoden

Tiefgreifende Bewertung

Stärken

  1. Theoretischer Beitrag: Erstmalige vollständige Lösung eines konkreten Potenzbeziehungsproblems für eine dritte Ordnung lineare Rekurrenzfolge
  2. Methodische Innovation: Geschickte Kombination der Baker-Methode, Gitterreduktion und Computerverifikation
  3. Praktischer Wert: Bereitstellung ausführbaren PARI-GP-Codes, erhöhte Reproduzierbarkeit
  4. Klare Darstellung: Klare Papierstruktur, ausreichende technische Details

Mängel

  1. Theoretische Einschränkungen: Die Anforderung der Hauptwurzelbedingung begrenzt die Anwendbarkeit der Methode
  2. Computerabhängigkeit: Die endgültigen Ergebnisse hängen stark von Computerverifikation ab, theoretische Analyse ist nicht tiefgreifend genug
  3. Verallgemeinerbarkeit: Die Verallgemeinerung auf andere Rekurrenzfolgen ist nicht direkt

Einfluss

  1. Akademischer Wert: Bietet einen neuen technischen Weg für die Forschung zu diophantischen Gleichungen in linearen Rekurrenzfolgen
  2. Praktische Bedeutung: Die Anwendung der van der Laan-Padovan-Folge in der Architektur verleiht den Ergebnissen interdisziplinären Wert
  3. Methodologie: Die Anwendung von Gitterreduktion bei zahlentheoretischen Problemen hat Vorbildcharakter

Anwendungsszenarien

  1. Zahlentheoretische Forschung: Untersuchung arithmetischer Eigenschaften linearer Rekurrenzfolgen
  2. Rechnerische Mathematik: Situationen, die eine genaue Lösung diophantischer Gleichungen erfordern
  3. Angewandte Mathematik: Praktische Probleme, die Rekurrenzfolgen betreffen

Literaturverzeichnis

Das Papier zitiert 37 wichtige Referenzen, die klassische und aktuelle Arbeiten in mehreren Bereichen abdecken, darunter Theorie linearer Rekurrenzfolgen, Baker-Methode und Gitterreduktion, und bietet eine solide theoretische Grundlage für die Forschung.