Rapporti di due potenze di numeri di van der Laan-Padovan

Informazioni Fondamentali

• ID Articolo: 2510.06192
• Titolo: Ratios of two powers of van der Laan-Padovan numbers
• Autore: Tomohiro Yamada (Centro di Lingua e Cultura Giapponese, Università di Osaka)
• Classificazione: math.NT (Teoria dei Numeri)
• Data di Pubblicazione: 12 ottobre 2025 (preprint arXiv v2)
• Link Articolo: https://arxiv.org/abs/2510.06192

Riassunto

La sequenza di van der Laan-Padovan $P_n$ (n = 0, 1, ...) è definita da $P_0 = 1$, $P_1 = P_2 = 0$ e dalla relazione ricorrente $P_{n+3} = P_{n+1} + P_n$ (n ≥ 0). Questo articolo determina tutte le coppie di interi $(P_m, P_n)$ che soddisfano $P_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$, dove $g_1, g_2, g_3, g_4, a, b$ sono interi. Più in generale, per sequenze ricorrenti lineari $u_n$ che soddisfano la condizione di radice principale e per insiemi dati di numeri primi $p_1, \ldots, p_k$, le coppie di soluzioni $(u_m, u_n)$ che soddisfano $u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$ sono solo finitamente numerose.

Contesto di Ricerca e Motivazione

Sfondo del Problema

1. Proprietà Aritmetiche delle Sequenze Ricorrenti Lineari: Le proprietà aritmetiche delle sequenze ricorrenti lineari e le equazioni diofantee sono sempre stati campi importanti della ricerca in teoria dei numeri. Tra questi, le sequenze di Lucas sono state le più ampiamente studiate, con molti risultati approfonditi già disponibili.
2. Sequenza di van der Laan-Padovan: Questa sequenza è stata originariamente introdotta da Dom Hans van der Laan nella ricerca architettonica, e successivamente ulteriormente sviluppata da Richard Padovan. La sequenza è: 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. Limitazioni della Teoria Esistente: Per le sequenze ricorrenti lineari generali, rispetto alle sequenze di Lucas, i risultati noti sono minori. In particolare, per lo studio delle relazioni di potenza, mancano metodi efficaci per determinare tutte le soluzioni.

Motivazione della Ricerca

1. Colmare i Vuoti Teorici: Fornire metodi efficaci per risolvere problemi di relazioni di potenza nelle sequenze ricorrenti lineari generali
2. Applicazioni Pratiche: La sequenza di van der Laan-Padovan ha importanti applicazioni nell'architettura e nella geometria
3. Contributi Metodologici: Sviluppare tecniche applicabili a sequenze ricorrenti lineari più ampie

Contributi Principali

1. Stabilire un Teorema di Finitezza Generale: Dimostrare che per sequenze ricorrenti lineari che soddisfano la condizione di radice principale, le soluzioni della forma $u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$ sono solo finitamente numerose
2. Fornire Limiti Superiori Effettivi: Nel Teorema 4.1 vengono forniti limiti superiori effettivi e calcolabili per le soluzioni, sebbene i limiti siano molto grandi ma fattibili nel calcolo pratico
3. Risolvere Completamente il Problema della Sequenza di van der Laan-Padovan: Determinare tutte le soluzioni che soddisfano $P_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$
4. Sviluppare Nuove Tecniche Computazionali: Combinando il metodo di Baker, le tecniche di riduzione del reticolo e la verifica computazionale, fornire una strategia di risoluzione pratica

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Data una sequenza ricorrente lineare $u_n$ e un insieme di numeri primi $\{p_1, \ldots, p_k\}$, trovare tutte le coppie di interi $(m,n)$ che soddisfano la seguente equazione: $u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$ dove $g_1, \ldots, g_k, a, b$ sono interi, con $a > 0$.

Quadro Teorico

1. Rappresentazione di Sequenze Ricorrenti Lineari

Per una sequenza ricorrente lineare di ordine r, la formula del termine generale è: $u_n = \sum_{i=1}^t q_i(n)\alpha_i^n$ dove $\alpha_1, \ldots, \alpha_t$ sono le radici del polinomio caratteristico e $q_i(n)$ sono polinomi.

2. Condizione di Radice Principale

Assumere che $|\alpha_1| > |\alpha_2| \geq \cdots \geq |\alpha_t|$ e $\kappa_1 \neq 0$, dove $\kappa_1$ è il coefficiente corrispondente a $\alpha_1$.

3. Limite Inferiore della Forma Logaritmica Lineare

La tecnica principale è il teorema del limite inferiore della forma logaritmica lineare di Matveev (Lemma 2.1):

Per numeri algebrici $\alpha_1, \ldots, \alpha_n$ e interi $b_1, \ldots, b_n$, la forma lineare $\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n$ soddisfa: $\Lambda = 0$ oppure $\log |\Lambda| > -C(n)\Omega \log(c_1B)$

Flusso dell'Algoritmo

Primo Passo: Preelaborazione e Casi Speciali

1. Gestire i casi di $P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}$ (Lemma 5.1)
2. Utilizzare il calcolo diretto per determinare $n \in \{0, 1, \ldots, 18, 20, 25, 36\}$

Secondo Passo: Stima del Limite Superiore per il Caso Generale

Per $P_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b$:

1. Stabilire la Forma Logaritmica Lineare: $\Lambda = g_1 \log 2 + \cdots + g_4 \log 7 + (a-b) \log \kappa_1 + (an-bm) \log \alpha_1$
2. Applicare il Teorema di Matveev: Ottenere i limiti teorici per $m, n$
3. Miglioramento mediante Riduzione del Reticolo: Utilizzare l'algoritmo LLL e il Lemma 2.3 per migliorare il limite superiore

Terzo Passo: Verifica Computazionale

1. Per ogni possibile valore di $m$, costruire la forma logaritmica lineare corrispondente
2. Utilizzare tecniche di riduzione del reticolo per ottenere limiti inferiori più precisi
3. Verificare uno per uno i casi rimanenti

Punti di Innovazione Tecnica

1. Effettività: A differenza dei risultati di ineffettività precedenti, questo articolo fornisce limiti superiori effettivi e calcolabili
2. Tecnica di Riduzione del Reticolo: Combinare innovativamente il metodo di riduzione del reticolo per migliorare significativamente i limiti teorici
3. Discussione per Casi: Decomporre abilmente il problema in casi speciali e generali, semplificando notevolmente la complessità computazionale

Configurazione Sperimentale

Costanti Matematiche

• Rapporto Plastico: $\alpha_1 = 1.324717\ldots$ (radice reale dell'equazione $X^3 - X - 1 = 0$)
• Radici Complesse: $\alpha_2, \alpha_3 = -0.662358\ldots \pm 0.562279\ldots i$
• Coefficienti: $\kappa_i = 1/(2\alpha_i + 3)$ per $i = 1, 2, 3$
• Parametri: $K = 5.599815\ldots$, $\delta = 1.524702\ldots$

Parametri Computazionali

• Punto Iniziale: $n_1 = 27$
• Parametro di Precisione: $\mu = 10$
• Limite di Errore: $\epsilon < 6.3413 \times 10^{-5}$

Configurazione della Riduzione del Reticolo

• Utilizzare diversi parametri del reticolo $(C, \gamma)$ in diverse fasi
• Prima fase: $(C, \gamma) = (10^{150}, 11)$
• Fasi successive: regolare i parametri secondo le necessità

Risultati Sperimentali

Risultato Principale (Teorema 1.3)

Se $P_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b$ per alcuni interi $g_1, g_2, g_3, g_4, a, b$ e $a > 0$, allora deve valere:

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

Risultati Intermedi

Lemma 5.1

Se $P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}$, allora $n \in \{0, 1, \ldots, 18, 20, 25, 36\}$.

Lemma 5.2

Se $P_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b$ e $\gcd(a,b) = 1$, allora:

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

Verifica Computazionale

Attraverso il controllo uno per uno di tutti i casi con $m \leq 988$, si conferma che esistono solo le tre serie di soluzioni sopra menzionate. Durante il processo di verifica è stato scoperto che:

• Per $H_m = P_m/(2^{e_1} \cdots 7^{e_4})$, quando $0 \leq m \leq 1012$ e $H_m \notin \{0,1\}$, $H_m$ non è una potenza perfetta
• Ciò garantisce che nella maggior parte dei casi $a = 1$

Lavori Correlati

Risultati Classici

1. Sequenze di Lucas: Il teorema di Bilu-Hanrot-Voutier fornisce strumenti potenti per le sequenze di Lucas
2. Sequenze Ricorrenti Generali: Condizioni di crescita di van der Poorten-Schlickewei, risultati sui fattori primi di Evertse
3. Risultati di Effettività: Limiti effettivi di Mignotte, Stewart, Pethö e altri

Progressi Recenti

1. Odjoumani-Ziegler: Ricerca sull'occorrenza di potenze di numeri primi nelle sequenze ricorrenti lineari
2. Bugeaud-Kaneko: Limiti effettivi per potenze perfette
3. Gómez Ruiz-Luca: Relazioni moltiplicative tra diverse sequenze ricorrenti

Contributo di questo Articolo

Rispetto ai lavori esistenti, questo articolo è il primo a fornire una soluzione completa per le relazioni di potenza della sequenza di van der Laan-Padovan e fornisce un metodo effettivo applicabile a sequenze ricorrenti lineari generali.

Conclusioni e Discussione

Conclusioni Principali

1. Completezza: Risolvere completamente il problema delle relazioni di potenza della sequenza di van der Laan-Padovan
2. Generalità: Stabilire una teoria generale applicabile a sequenze ricorrenti lineari che soddisfano la condizione di radice principale
3. Effettività: Fornire limiti superiori praticamente calcolabili e algoritmi

Limitazioni

1. Limite Superiore Eccessivo: Il limite teorico $C^{\prime\prime} \Psi \log(c_2 C^\prime \Psi^\prime)$ potrebbe essere eccessivo nelle applicazioni pratiche
2. Complessità Computazionale: Per casi con parametri molto grandi, il carico computazionale rimane ancora enorme
3. Numeri Primi Specifici: I risultati attuali sono limitati all'insieme di numeri primi $\{2, 3, 5, 7\}$

Direzioni Future

1. Migliorare i Limiti: Cercare limiti teorici più stretti
2. Estendere l'Insieme dei Numeri Primi: Studiare casi con insiemi di numeri primi più grandi
3. Altre Sequenze Ricorrenti: Applicare il metodo ad altre importanti sequenze ricorrenti
4. Ottimizzazione dell'Algoritmo: Sviluppare algoritmi computazionali più efficienti

Valutazione Approfondita

Punti di Forza

1. Contributo Teorico: Prima soluzione completa di un problema di relazioni di potenza per una specifica sequenza ricorrente lineare di terzo ordine
2. Innovazione Metodologica: Combinazione abile del metodo di Baker, tecniche di riduzione del reticolo e verifica computazionale
3. Valore Pratico: Fornire codice PARI-GP eseguibile, aumentando la riproducibilità
4. Scrittura Chiara: Struttura dell'articolo chiara, dettagli tecnici sufficienti

Carenze

1. Limitazioni Teoriche: Il requisito della condizione di radice principale limita l'applicabilità del metodo
2. Dipendenza Computazionale: I risultati finali dipendono fortemente dalla verifica computazionale, l'analisi teorica non è sufficientemente profonda
3. Generalizzabilità: L'estensione ad altre sequenze ricorrenti non è diretta

Impatto

1. Valore Accademico: Fornire un nuovo percorso tecnico per la ricerca sulle equazioni diofantee delle sequenze ricorrenti lineari
2. Significato Pratico: Le applicazioni della sequenza di van der Laan-Padovan nell'architettura rendono i risultati di valore interdisciplinare
3. Metodologia: L'applicazione della tecnica di riduzione del reticolo nei problemi di teoria dei numeri ha valore dimostrativo

Scenari Applicabili

1. Ricerca in Teoria dei Numeri: Studio delle proprietà aritmetiche delle sequenze ricorrenti lineari
2. Matematica Computazionale: Situazioni che richiedono la risoluzione esatta di equazioni diofantee
3. Matematica Applicata: Problemi pratici che coinvolgono sequenze ricorrenti

Bibliografia

L'articolo cita 37 importanti riferimenti bibliografici, coprendo molteplici campi tra cui la teoria delle sequenze ricorrenti lineari, il metodo di Baker, le tecniche di riduzione del reticolo e altri lavori classici e all'avanguardia, fornendo una base teorica solida per la ricerca.