Razones de dos potencias de números de van der Laan-Padovan

Información Básica

• ID del artículo: 2510.06192
• Título: Razones de dos potencias de números de van der Laan-Padovan
• Autor: Tomohiro Yamada (Centro de Lengua y Cultura Japonesa, Universidad de Osaka)
• Clasificación: math.NT (Teoría de Números)
• Fecha de publicación: 12 de octubre de 2025 (preimpresión arXiv v2)
• Enlace del artículo: https://arxiv.org/abs/2510.06192

Resumen

La secuencia de van der Laan-Padovan $P_n$ (n = 0, 1, ...) se define mediante $P_0 = 1$, $P_1 = P_2 = 0$ y la relación de recurrencia $P_{n+3} = P_{n+1} + P_n$ (n ≥ 0). Este artículo determina todos los pares de enteros $(P_m, P_n)$ que satisfacen $P_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$, donde $g_1, g_2, g_3, g_4, a, b$ son enteros. De manera más general, para secuencias de recurrencia lineal $u_n$ que satisfacen condiciones de raíz principal y un conjunto dado de números primos $p_1, \ldots, p_k$, existen solamente finitos pares $(u_m, u_n)$ que satisfacen $u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Propiedades aritméticas de secuencias de recurrencia lineal: Las propiedades aritméticas de secuencias de recurrencia lineal y las ecuaciones diofánticas han sido siempre un área importante de investigación en teoría de números. Entre ellas, las secuencias de Lucas han sido las más ampliamente estudiadas, con muchos resultados profundos.
2. Secuencia de van der Laan-Padovan: Esta secuencia fue introducida originalmente por Dom Hans van der Laan en investigaciones de arquitectura, y posteriormente fue generalizada por Richard Padovan. La secuencia es: 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. Limitaciones de la teoría existente: En comparación con las secuencias de Lucas, hay menos resultados conocidos para secuencias de recurrencia lineal general. En particular, en la investigación de relaciones de potencias, faltan métodos efectivos para determinar todas las soluciones.

Motivación de la Investigación

1. Llenar vacíos teóricos: Proporcionar métodos efectivos de solución para problemas de relaciones de potencias en secuencias de recurrencia lineal general
2. Aplicaciones prácticas: La secuencia de van der Laan-Padovan tiene aplicaciones importantes en arquitectura y geometría
3. Contribución metodológica: Desarrollar técnicas aplicables a secuencias de recurrencia lineal más amplias

Contribuciones Principales

1. Establecer un teorema de finitud general: Se demuestra que para secuencias de recurrencia lineal que satisfacen condiciones de raíz principal, existen solamente finitos pares de soluciones de la forma $u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$
2. Proporcionar cotas superiores efectivas: En el Teorema 4.1 se proporcionan cotas superiores efectivas y computables para las soluciones, aunque las cotas sean grandes, son viables en cálculos prácticos
3. Resolver completamente el problema de la secuencia de van der Laan-Padovan: Se determinan todas las soluciones que satisfacen $P_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$
4. Desarrollar nuevas técnicas computacionales: Combinando el método de Baker, técnicas de reducción de redes y verificación por computadora, se proporciona una estrategia de resolución práctica

Explicación Detallada de Métodos

Definición de la Tarea

Dada una secuencia de recurrencia lineal $u_n$ y un conjunto de números primos $\{p_1, \ldots, p_k\}$, encontrar todos los pares de enteros $(m,n)$ que satisfacen la siguiente ecuación: $u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$ donde $g_1, \ldots, g_k, a, b$ son enteros, con $a > 0$.

Marco Teórico

1. Representación de Secuencias de Recurrencia Lineal

Para una secuencia de recurrencia lineal de orden r, su fórmula de término general es: $u_n = \sum_{i=1}^t q_i(n)\alpha_i^n$ donde $\alpha_1, \ldots, \alpha_t$ son las raíces del polinomio característico, y $q_i(n)$ son polinomios.

2. Condición de Raíz Principal

Supongamos que $|\alpha_1| > |\alpha_2| \geq \cdots \geq |\alpha_t|$, y $\kappa_1 \neq 0$, donde $\kappa_1$ es el coeficiente correspondiente a $\alpha_1$.

3. Cota Inferior de Formas Logarítmicas Lineales

La técnica central es el teorema de cota inferior de formas logarítmicas lineales de Matveev (Lema 2.1):

Para números algebraicos $\alpha_1, \ldots, \alpha_n$ y enteros $b_1, \ldots, b_n$, la forma lineal $\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n$ satisface: $\Lambda = 0$ o $\log |\Lambda| > -C(n)\Omega \log(c_1B)$

Flujo de Algoritmo

Primer Paso: Preprocesamiento y Casos Especiales

1. Procesar casos donde $P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}$ (Lema 5.1)
2. Usar cálculo directo para determinar $n \in \{0, 1, \ldots, 18, 20, 25, 36\}$

Segundo Paso: Estimación de Cotas Superiores para Casos Generales

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

1. Establecer forma logarítmica lineal: $\Lambda = g_1 \log 2 + \cdots + g_4 \log 7 + (a-b) \log \kappa_1 + (an-bm) \log \alpha_1$
2. Aplicar el teorema de Matveev: Obtener cotas teóricas para $m, n$
3. Mejora mediante reducción de redes: Usar el algoritmo LLL y el Lema 2.3 para mejorar las cotas superiores

Tercer Paso: Verificación por Computadora

1. Para cada valor posible de $m$, construir la forma logarítmica lineal correspondiente
2. Usar técnicas de reducción de redes para obtener cotas inferiores más precisas
3. Verificar uno a uno los casos restantes

Puntos de Innovación Técnica

1. Efectividad: A diferencia de resultados previos de inefectividad, este artículo proporciona cotas superiores efectivas y computables
2. Técnica de reducción de redes: Combina innovadoramente el método de reducción de redes para mejorar significativamente las cotas teóricas
3. Discusión por casos: Descompone ingeniosamente el problema en casos especiales y generales, simplificando enormemente la complejidad computacional

Configuración Experimental

Constantes Matemáticas

• Razón plástica: $\alpha_1 = 1.324717\ldots$ (raíz real de la ecuación $X^3 - X - 1 = 0$)
• Raíces complejas: $\alpha_2, \alpha_3 = -0.662358\ldots \pm 0.562279\ldots i$
• Coeficientes: $\kappa_i = 1/(2\alpha_i + 3)$ para $i = 1, 2, 3$
• Parámetros: $K = 5.599815\ldots$, $\delta = 1.524702\ldots$

Parámetros Computacionales

• Punto inicial: $n_1 = 27$
• Parámetro de precisión: $\mu = 10$
• Cota de error: $\epsilon < 6.3413 \times 10^{-5}$

Configuración de Reducción de Redes

• Usar diferentes parámetros de red $(C, \gamma)$ en diferentes etapas
• Primera etapa: $(C, \gamma) = (10^{150}, 11)$
• Etapas posteriores: ajustar parámetros según sea necesario

Resultados Experimentales

Resultado Principal (Teorema 1.3)

Si $P_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b$ para algunos enteros $g_1, g_2, g_3, g_4, a, b$ y $a > 0$, entonces necesariamente:

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

Resultados Intermedios

Lema 5.1

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

Lema 5.2

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

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

Verificación Computacional

Mediante la verificación exhaustiva de todos los casos con $m \leq 988$, se confirma que solo existen los tres conjuntos de soluciones mencionados. Durante el proceso de verificación se descubrió que:

• Para $H_m = P_m/(2^{e_1} \cdots 7^{e_4})$, cuando $0 \leq m \leq 1012$ y $H_m \notin \{0,1\}$, $H_m$ no es una potencia perfecta
• Esto asegura que en la mayoría de los casos $a = 1$

Trabajos Relacionados

Resultados Clásicos

1. Secuencias de Lucas: El teorema de Bilu-Hanrot-Voutier proporciona herramientas poderosas para secuencias de Lucas
2. Recurrencia lineal general: Condiciones de crecimiento de van der Poorten-Schlickewei, resultados de factores primos de Evertse
3. Resultados de efectividad: Cotas efectivas de Mignotte, Stewart, Pethö y otros

Avances Recientes

1. Odjoumani-Ziegler: Investigación sobre la aparición de potencias primas en secuencias de recurrencia lineal
2. Bugeaud-Kaneko: Cotas efectivas sobre potencias perfectas
3. Gómez Ruiz-Luca: Relaciones multiplicativas entre diferentes secuencias de recurrencia

Contribución de Este Artículo

En comparación con trabajos existentes, este artículo es el primero en proporcionar una solución completa para relaciones de potencias en la secuencia de van der Laan-Padovan, y proporciona un método efectivo aplicable a secuencias de recurrencia lineal general.

Conclusiones y Discusión

Conclusiones Principales

1. Completitud: Resuelve completamente el problema de relaciones de potencias en la secuencia de van der Laan-Padovan
2. Generalidad: Establece una teoría general aplicable a secuencias de recurrencia lineal que satisfacen condiciones de raíz principal
3. Efectividad: Proporciona cotas superiores prácticamente computables y algoritmos

Limitaciones

1. Cotas excesivamente grandes: La cota teórica $C^{\prime\prime} \Psi \log(c_2 C^\prime \Psi^\prime)$ puede ser excesivamente grande en aplicaciones prácticas
2. Complejidad computacional: Para casos con parámetros muy grandes, la cantidad de cálculo sigue siendo enorme
3. Conjunto de primos específico: Los resultados actuales se limitan al conjunto de primos $\{2, 3, 5, 7\}$

Direcciones Futuras

1. Mejora de cotas: Buscar cotas teóricas más ajustadas
2. Extensión del conjunto de primos: Investigar casos con conjuntos de primos más grandes
3. Otras secuencias de recurrencia: Aplicar el método a otras secuencias de recurrencia importantes
4. Optimización de algoritmos: Desarrollar algoritmos computacionales más eficientes

Evaluación Profunda

Ventajas

1. Contribución teórica: Resuelve por primera vez completamente un problema de relaciones de potencias en una secuencia de recurrencia lineal de tercer orden específica
2. Innovación metodológica: Combina ingeniosamente el método de Baker, técnicas de reducción de redes y verificación por computadora
3. Valor práctico: Proporciona código ejecutable en PARI-GP, mejorando la reproducibilidad
4. Escritura clara: La estructura del artículo es clara con detalles técnicos suficientes

Deficiencias

1. Limitaciones teóricas: El requisito de condiciones de raíz principal limita el rango de aplicabilidad del método
2. Dependencia computacional: El resultado final depende fuertemente de la verificación por computadora, con análisis teórico insuficiente
3. Generalización: La generalización a otras secuencias de recurrencia no es directa

Impacto

1. Valor académico: Proporciona una nueva ruta técnica para la investigación de ecuaciones diofánticas en secuencias de recurrencia lineal
2. Significado práctico: Las aplicaciones de la secuencia de van der Laan-Padovan en arquitectura dan al resultado valor interdisciplinario
3. Metodología: La aplicación de técnicas de reducción de redes en problemas de teoría de números tiene valor demostrativo

Escenarios Aplicables

1. Investigación en teoría de números: Investigación de propiedades aritméticas de secuencias de recurrencia lineal
2. Matemática computacional: Casos que requieren resolver ecuaciones diofánticas exactamente
3. Matemática aplicada: Problemas prácticos que involucran secuencias de recurrencia

Referencias

El artículo cita 37 referencias importantes que abarcan múltiples campos incluyendo teoría de secuencias de recurrencia lineal, método de Baker, técnicas de reducción de redes y otros trabajos clásicos y de vanguardia, proporcionando una base teórica sólida para la investigación.