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

Technische Samenvatting: Multiplicatieve Onafhankelijkheid in de Rij van k-Genereerde Pell-getallen

Probleemstelling
Dit artikel onderzoekt de multiplicatieve afhankelijkheid tussen termen van de k-genereerde Pell-rij, aangeduid als $(P^{(k)}_n)_{n \ge 2-k}$. De rij wordt gedefinieerd door de lineaire recurrenterelatie:
$$P^{(k)}_n = 2P^{(k)}_{n-1} + P^{(k)}_{n-2} + \dots + P^{(k)}_{n-k}$$
met beginvoorwaarden $P^{(k)}_0 = \dots = P^{(k)}_{-(k-2)} = 0$ en $P^{(k)}_1 = 1$. Voor $k=2$ reduceert dit tot de klassieke Pell-rij.

De centrale doelstelling is het bepalen van alle paren indices $(m, n)$ met $n > m \ge 0$ en gehele getallen $k \ge 2$ zodat de termen $P^{(k)}_n$ en $P^{(k)}_m$ multiplicatief afhankelijk zijn. Twee niet-nul gehele getallen $a$ en $b$ zijn multiplicatief afhankelijk als er niet-nul gehele getallen $x, y$ bestaan zodat $a^x = b^y$. De auteurs beogen de Diophantische vergelijking op te lossen:
$$(P^{(k)}_n)^x = (P^{(k)}_m)^y$$
met uitsluiting van triviale gevallen waarbij termen gelijk zijn aan 1 of waarbij de afhankelijkheid uitsluitend voortkomt uit het beginsegment van de rij waar termen machten van twee zijn.

Methodologie
De bewijsstrategie volgt het gevestigde kader dat wordt gebruikt voor k-genereerde Fibonacci- en Lucas-getallen, waarbij analytische getaltheorie wordt gecombineerd met computationele verificatie. De methodologie verloopt in drie hoofdfasen:

1. Analytische Benadering en Lineaire Vormen in Logaritmen:
   De auteurs maken gebruik van een Binet-achtige formule voor $P^{(k)}_n$, die de term uitdrukt als $P^{(k)}_n = g_k(\alpha)\alpha^n + e_n$, waarbij $\alpha$ de dominante wortel is van het karakteristieke polynoom $\Psi_k(x) = x^k - 2x^{k-1} - \dots - 1$, en $g_k(\alpha)$ een specifieke algebraïsche functie is.
   Door dit in te vullen in de vergelijking voor multiplicatieve afhankelijkheid, wordt het probleem getransformeerd tot het begrenzen van een lineaire vorm in logaritmen:
   $$\Lambda = (y-x)\log g_k(\alpha) + (nx - my)\log \alpha$$
   Met behulp van het stelling van Matveev over ondergrenzen voor lineaire vormen in logaritmen, leiden de auteurs een polynoombovengrens af voor de index $n$ in termen van $k$. Specifiek, voor $k \ge 3$ en $n > m \ge k+1$, stellen zij vast:
   $$n < 6.2 \times 10^{33} k^8 (\log k)^6$$

2. Reductie via Baker-Davenport-algoritme:
   De initiële bovengrens die voortvloeit uit het stelling van Matveev is te groot voor directe berekening. Om dit te reducereren, maken de auteurs gebruik van de reductiemethode van Baker-Davenport (specifiek de versie van Dujella en Pethő). Dit houdt in dat de continuébreukontwikkeling van de verhouding $\tau_k = \frac{\log g_k(\alpha)}{\log \alpha}$ wordt geanalyseerd.
   Door gebruik te maken van eigenschappen van convergenten en het lemma van Dujella-Pethő, reduceren de auteurs de bovengrens voor $n$ tot een hanteerbare constante die onafhankelijk is van $k$ voor het bereik $k \le 850$. Specifiek wordt de grens gereduceerd tot $n \le 218$ (conservatief genomen als $n < 300$ voor veiligheid).

3. Scheiding van Gevallen en Asymptotische Analyse:
   Het probleem wordt opgesplitst in twee regimes op basis van de waarde van $k$:

   • Kleine $k$ ($k \le 850$): Met de gereduceerde grens $n < 300$ voeren de auteurs een exhaustieve computergestuurde zoektocht uit over alle geldige combinaties van $k, m, n, x, y$.
   • Grote $k$ ($k > 850$): Voor dit bereik maken de auteurs gebruik van een asymptotisch argument. Zij benutten het feit dat voor grote $k$ de dominante wortel $\alpha$ extreem dicht bij 2 ligt, en dat $P^{(k)}_n \approx 2^{n-1}$. Door de termen tot op de tweede orde te ontwikkelen (met gebruikmaking van de Cooper-Howard-ontwikkeling), tonen zij aan dat de vergelijking $(P^{(k)}_n)^x = (P^{(k)}_m)^y$ impliceert dat $x=y$ en vervolgens $n=m$, wat in strijd is met de aanname $n > m$. Derhalve bestaan er geen oplossingen voor $k > 850$.

Belangrijkste Bijdragen en Resultaten
Het artikel biedt een volledige classificatie van multiplicatief afhankelijke paren in de k-genereerde Pell-rij. Het hoofdresultaat, Stelling 1.1, stelt dat voor $k \ge 2$ en $n > m \ge 2$ de termen $P^{(k)}_n$ en $P^{(k)}_m$ multiplicatief afhankelijk zijn dan en slechts dan als:

1. Triviale Geval: $m=1$ (aangezien $P^{(k)}_1 = 1$).
2. Machten-van-Twee Families: $2 \le m < n \le k+1$. In dit beginsegment geldt $P^{(k)}_n = 2^{n-1}$ en $P^{(k)}_m = 2^{m-1}$, wat leidt tot afhankelijkheden van de vorm $(2^{n-1})^x = (2^{m-1})^y$.
3. Uitzonderlijk Klassiek Geval: $(k, n, m) = (2, 3, 0)$. Hier is $P^{(2)}_3 = 2$ en $P^{(2)}_0 = 0$. (Opmerking: Het abstract noemt $P^{(k)}_0=0$ als een triviaal geval in de context van de vergelijking, hoewel strikt genomen $0^x=0$ zorgvuldige behandeling vereist; het artikel vermeldt dit als de enige niet-triviale oplossing die de klassieke Pell-rij buiten het bereik van machten van twee betreft).

De auteurs stellen expliciet dat er geen andere multiplicatief afhankelijke paren bestaan. Voor $k \ge 3$ treden de enige niet-triviale afhankelijkheden strikt op binnen het beginsegment waar termen exacte machten van twee zijn.

Betekenis
Het artikel breidt het onderzoek naar multiplicatieve afhankelijkheid uit van klassieke rijen (Fibonacci, Lucas) en k-genereerde Fibonacci/Lucas-rijen naar de k-genereerde Pell-rij. Het toont aan dat de structurele eigenschappen van de Pell-rij (specifiek het gedrag van de dominante wortel en het beginsegment van machten van twee) leiden tot een vergelijkbare classificatie van oplossingen. Het werk bevestigt dat de "rijkdom" aan oplossingen die in andere rijen wordt gevonden, zich niet uitstrekt tot de Pell-rij buiten de initiële triviale segmenten en het specifieke klassieke geval. Het bewijs combineert rigoureus diepe theoretische hulpmiddelen (grenzen van Matveev, reductie van Baker-Davenport) met computationele verificatie om het probleem voor alle $k$ af te ronden.