Rectángulos de palabras Fibonacci equilibradas, y más allá

Información Básica

• ID del Artículo: 2509.25994
• Título: Rectángulos de palabras Fibonacci equilibradas, y más allá
• Autores: Jeffrey Shallit (Universidad de Waterloo), Ingrid Vukusic (Universidad de York)
• Clasificación: math.NT cs.DM cs.FL math.CO
• Fecha de Publicación: 15 de octubre de 2025 (Preimpresión en ArXiv)
• Enlace del Artículo: https://arxiv.org/abs/2509.25994

Resumen

Este artículo, basado en investigaciones recientes de Anselmo et al., considera matrices rectangulares $m \times n$ formadas por palabras de Fibonacci, demostrando que sus propiedades de equilibrio pueden resolverse mediante autómatas finitos. La investigación generaliza además los resultados a cada palabra característica de Sturmian correspondiente a números irracionales cuadráticos, y examina problemas similares para palabras de Tribonacci.

Antecedentes y Motivación de la Investigación

Definición del Problema

El problema central estudiado en este artículo es el equilibrio de matrices de palabras: dada una secuencia infinita $(a_i)_{i≥0}$, se construye una matriz infinita $A = (a_{k,\ell})_{k,\ell≥0}$, donde $a_{k,\ell} = a_{k+\ell}$. Para una submatriz $m \times n$ $A(i,m,n)$, la suma de todos sus elementos es: $T(i,m,n) := \sum_{k=0}^{m-1}\sum_{\ell=0}^{n-1} a_{i+k+\ell}$

El problema de equilibrio es: ¿para cuáles pares $(m,n)$, todos los valores $T(i,m,n)$ tienen como máximo dos valores distintos?

Motivación de la Investigación

1. Importancia Teórica: Las palabras de Fibonacci son objetos clásicos en matemática combinatoria, cuyas propiedades de equilibrio están estrechamente relacionadas con la teoría de números y la teoría de autómatas
2. Limitaciones Existentes: Anselmo et al. demostraron que los rectángulos son equilibrados cuando $\max(m,n)$ es un número de Fibonacci, pero aún falta una caracterización completa
3. Innovación Metodológica: El uso de autómatas finitos para resolver este tipo de problemas proporciona nuevas herramientas computacionales

Contribuciones Principales

1. Caracterización Completa: Proporciona una caracterización completa mediante autómatas finitos de la propiedad de equilibrio de rectángulos de palabras Fibonacci (Teorema 2 y Corolario 3)
2. Resultados Generalizados: Extiende los resultados a todas las palabras de Sturmian correspondientes a números irracionales cuadráticos (Teorema 2)
3. Implementación Algorítmica: Proporciona implementación concreta y verificación basada en el software Walnut
4. Resultados de Densidad: Demuestra propiedades de densidad de pares equilibrados $(m,n)$ (Proposición 6)
5. Extensión a Tribonacci: Estudia problemas similares para palabras de Tribonacci (Teorema 10)

Explicación Detallada de Métodos

Definición de la Tarea

Dada una secuencia infinita $(a_i)_{i≥0}$, se construye una matriz de Hankel: