🔢 mathematics

A Matrix Analogue of Rational Number Systems

Este artículo establece condiciones suficientes para la existencia de sistemas de dígitos con propiedades de finitud para análogos matriciales de sistemas de números racionales y utiliza autómatas finitos para construir sistemas que poseen propiedades tanto de finitud como de unicidad en dos dimensiones, al tiempo que deriva expansiones vectoriales mediante árboles de expansión.

Autores originales: Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

Publicado 2026-07-10

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes un sistema numérico mágico, pero en lugar de contar con una sola base como el 10 (nuestro sistema decimal habitual) o el 2 (binario), cuentas con una matriz. Piensa en una matriz no como una aburrida cuadrícula de números, sino como una máquina multidimensional compleja que estira, retuerce y rota el espacio.

Este artículo, escrito por Anjelo Gabriel R. Cruz y Manuel Joseph C. Loquias, plantea una gran pregunta: ¿Podemos construir un sistema numérico donde la "base" sea esta máquina que retuerce y estira, y podamos escribir cualquier vector (una flecha que apunta en el espacio) usando una lista finita de "dígitos" simples?

La Gran Idea: La Máquina de Matriz

En nuestro mundo normal, si quieres escribir el número 13 en base 10, dices "un diez y tres unos". Estás descomponiendo el número en potencias de 10.

Los autores están intentando hacer lo mismo, pero con flechas en el espacio. Tienen dos máquinas especiales, llamadas matrices P y Q. Las combinan para crear una nueva máquina, Q⁻¹P (piensa en esto como "Q inversa por P"). Esta máquina es la "base" de su nuevo mundo.

El objetivo es tomar cualquier flecha x y escribirla como una suma:
x = (Máquina)⁰ × (Dígito) + (Máquina)¹ × (Dígito) + (Máquina)² × (Dígito) ...

Los "dígitos" aquí no son solo del 0 al 9; son pequeñas flechas elegidas de un conjunto específico y limitado llamado D.

Las Dos Reglas de Oro: Finitud y Unicidad

Los autores buscan un sistema que siga dos reglas estrictas:

La Propiedad de Finitud: Debes ser capaz de escribir cualquier flecha en tu sistema usando solo un número finito de dígitos. ¡No se permiten listas infinitas de dígitos! Si sigues añadiendo dígitos para siempre, el sistema falla.
La Propiedad de Unicidad: Debe haber una sola forma de escribir una flecha específica. Si puedes escribir la misma flecha de dos maneras diferentes, el sistema es desordenado y confuso.

El artículo demuestra que si eliges tus máquinas P y Q cuidadosamente (específicamente, si son "coprimas" y la máquina Q⁻¹P es "expandente" —es decir, estira el espacio tanto que las cosas salen disparadas—), puedes encontrar un conjunto de dígitos D que haga que el sistema funcione.

El Arma Secreta: Autómatas Finitos (Los Traductores Mágicos)

¿Cómo lo prueban? Utilizan algo llamado autómatas finitos. Imagina un pequeño robot superrápido que lee una cadena de dígitos y los traduce.

En la Sección 3, los autores construyen estos robots para el espacio de 2 dimensiones (flechas planas sobre una hoja de papel). Crean un "transductor" —una máquina que toma una entrada (como dar un paso diminuto a la derecha) y produce como salida la nueva cadena de dígitos.

Dibujan mapas (llamados diagramas de transición) que muestran cómo el robot se mueve de un estado a otro.
Descubrieron que para ciertos tipos de máquinas P y Q, estos robots siempre se asientan. No se quedan atrapados en un bucle infinito de caos; eventualmente se detienen. Esto demuestra que la "Propiedad de Finitud" se cumple.

El Árbol de Expansión: Un Laberinto de Caminos

En la Sección 4, los autores introducen el concepto de un Árbol de Expansión. Imagina un árbol gigante que se ramifica, donde la raíz es el vector cero (el centro del universo).

Cada rama representa la adición de un dígito.
Cada nodo (un punto en el árbol) representa una flecha específica que puedes alcanzar.
El camino desde la raíz hasta un nodo es el "código" o la expansión de esa flecha.

Demostraron algo fascinante sobre este árbol:

No es un simple bucle: El árbol es tan complejo que ningún programa de computadora simple (un "lenguaje regular") puede predecir todos los caminos. Es infinitamente intrincado.
El único patrón que se repite es el cero: Si caminas por el árbol y ves un patrón que se repite para siempre, el único patrón que funciona es una cadena de ceros. Cualquier otro patrón repetitivo conduce a un callejón sin salida o a una contradicción.

¿Qué pasa con los Números Reales? (El Misterio Abierto)

Hasta ahora, hemos estado hablando de flechas hechas de números enteros. Pero, ¿qué pasa con los números reales (como 3.14)?

Los autores sugieren que si dejas que tus dígitos vayan hacia la derecha indefinidamente hacia el "lado derecho" de un "punto decimal" (usando potencias negativas de la máquina), puedes representar vectores reales.

Realizaron simulaciones (aproximaciones por computadora) para ver cómo se ven estos vectores reales.
El Resultado: El conjunto de todos los vectores reales representables parece una forma extraña y dentada que recubre el plano (como un rompecabezas).
La Advertencia: Ellos no dicen que hayan resuelto el problema de qué vectores reales pueden ser representados. Afirman explícitamente que determinar esto es "sustancialmente más difícil" que el caso de los enteros. Ofrecen una conjetura (una suposición fuerte) de que estas formas recubren todo el espacio sin solaparse, pero esto se basa en sus simulaciones y aproximaciones visuales, no en una prueba final.

Lo que Excluyen Explícitamente

El artículo es muy claro sobre lo que no funciona o lo que requiere condiciones adicionales:

La unicidad no es automática: El hecho de tener un conjunto finito de dígitos no significa que la representación sea única. Tienes que elegir el conjunto de dígitos correcto (un "sistema de residuos completo") para obtener la unicidad.
No todas las matrices funcionan: La máquina Q⁻¹P debe ser "expandente" (todos sus autovalores deben tener un módulo mayor que 1). Si la máquina encoge el espacio en lugar de estirarlo, el sistema se rompe.
Enteros vs. Reales: Los métodos que funcionan perfectamente para vectores enteros (probados con los autómatas) no resuelven automáticamente el problema para los vectores reales. El caso de los vectores reales sigue siendo un área de investigación abierta, donde los autores solo sugieren una propiedad de teselación basada en sus modelos visuales.

La Conclusión

Cruz y Loquias han construido con éxito un puente entre el mundo de los números racionales (fracciones) y el mundo de las matrices. Demostraron que, si eliges bien tus máquinas, puedes escribir cualquier vector entero usando un código finito y único. Construyeron los "robots" (autómatas) para probarlo y dibujaron los "árboles" para visualizarlo.

Sin embargo, cuando se trata del mundo desordenado e infinito de los números reales, solo han dado el primer paso. Han dibujado un hermoso mapa del territorio y suponen que cubre todo el mundo, pero admiten que la prueba completa aún está esperando ser descubierta.

Resumen Técnico: Un Análogo Matricial de los Sistemas de Números Racionales

Planteamiento del Problema
Este artículo aborda la generalización de los sistemas de base de números racionales (específicamente la expansión $p/q$ introducida por Akiyama et al.) al dominio de los sistemas de dígitos matriciales. Mientras que los sistemas de dígitos matriciales estándar suelen utilizar una matriz base entera $A$ y un conjunto de dígitos $D \subseteq \mathbb{Z}^d$ , este trabajo investiga sistemas donde la base es una matriz racional de la forma $Q^{-1}P$ , con $P, Q \in \mathbb{Z}^{d \times d}$ siendo matrices coprimas invertibles. El problema central es determinar las condiciones bajo las cuales cada vector en un $\mathbb{Z}$ -módulo específico, $\mathbb{Z}^d[Q^{-1}P]$ , admite una expansión finita de la forma:
$x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1} d_i$
donde los dígitos $d_i$ pertenecen a un conjunto finito $D$ . Los autores buscan establecer condiciones suficientes para la propiedad de finitud (existencia de tal expansión finita) y la propiedad de unicidad (unicidad de la expansión para una longitud $\ell$ mínima).

Metodología
Los autores emplean una combinación de teoría de números algebraicos, sistemas dinámicos y teoría de autómatas:

Marco Algebraico: El estudio define $\mathbb{Z}^d[Q^{-1}P]$ como el $\mathbb{Z}$ -módulo no trivial más pequeño invariante bajo $Q^{-1}P$ que contiene a $\mathbb{Z}^d$ . Los autores utilizan el concepto de matrices coprimas ( $P\mathbb{Z}^d + Q\mathbb{Z}^d = \mathbb{Z}^d$ ) para definir una estructura de grupo cociente. Establecen que el conjunto de dígitos $D$ debe contener un sistema de residuos completo de $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]) / P\mathbb{Z}^d[Q^{-1}P]$ .
Sistemas Dinámicos: Se define un sistema dinámico $\Phi$ (la función cociente) que imita el algoritmo de división. La existencia de expansiones finitas está vinculada a la finitud del atractor $A_\Phi$ de este sistema dinámico. Si el atractor es finito, el sistema posee la propiedad de finitud.
División Restringida para Vectores Enteros: Para manejar específicamente las expansiones de vectores en $\mathbb{Z}^d$ , los autores introducen una "función de díg restringido" $d_r$ que mapea a los residuos de $\mathbb{Z}^d/P\mathbb{Z}^d$ . Esto conduce a un sistema dinámico restringido $\Phi_r$ . Un lema clave demuestra que si $\Phi_r$ tiene un atractor finito, el sistema extendido en $\mathbb{Z}^d[Q^{-1}P]$ también posee un atractor finito.
Teoría de Autómatas (Dimensión $d=2$ ): Para el caso específico de matrices de $2 \times 2$ , los autores construyen transductores de letra a letra finitos. Estos autómatas modelan la adición de vectores de base (por ejemplo, $(1,0)^\top$ ) a una expansión de dígitos dada. Al analizar los diagramas de transición y los ciclos (específicamente bucles de retroalimentación y caminos finitos) de estos transductores, los autores determinan la estructura del atractor para diversos coeficientes del polinomio característico.
Árboles de Expansión: El artículo construye un "árbol de expansión" $T_{P/Q}$ para representar vectores en $\mathbb{R}^d$ , el cual generaliza el árbol de expansión $p/q$ para números reales, definiendo etiquetas de camino como expansiones $P/Q$ e investigando las propiedades del lenguaje de dichos caminos.

Contribuciones Clave y Resultados

Condiciones Generales de Finitud: El artículo demuestra que si $Q^{-1}P$ es una matriz expansiva (todos los autovalores tienen módulo $>1$ ), el atractor del sistema dinámico asociado es finito. En consecuencia, existe un sistema de dígitos $(P, Q, D)$ con la propiedad de finitud, siempre que $D$ sea un sistema de residuos completo del grupo cociente relevante.
Unicidad y Sistemas Estándar: Los autores aclaran que si $D$ es un sistema de residuos completo y la longitud de la expansión es mínima, se cumple la propiedad de unicidad. Un sistema que posee tanto finitud como unicidad se denomina "estándar".
Clasificación Explícita del Atractor para $d=2$ : Para matrices de $2 \times 2$ $2 \times 2$ denominadas $P$ $P$ y $Q$ $Q$ con determinantes coprimos y formas estructurales específicas, los autores proporcionan una clasificación completa del atractor $A$ $A$ basada en los coeficientes $\alpha$ $α$ y $\beta$ $β$ del polinomio característico de $Q^{-1}P$ $Q^{- 1} P$ ( $\chi(x) = x^2 + \alpha x + \beta$ $χ (x) = x^{2} + α x + β$ ).
- En los casos donde $0 \le \alpha \le \beta - 1$ o $0 < -\alpha \le 1$ , el atractor es trivial: $A = \{(0,0)^\top\}$ .
- En otros casos (por ejemplo, $1 < -\alpha \le \beta - 1$ ), el atractor es un conjunto finito de vectores generados por combinaciones lineales específicas que involucran las entradas de la matriz.
- Estos resultados se derivan del análisis del comportamiento de los transductores construidos, identificando específicamente si las palabras periódicas infinitas (ciclos en el autómata) corresponden a elementos no nulos del atractor.
Propiedades del Lenguaje: El artículo establece que el lenguaje $L_{P/Q}$ de expansiones $P/Q$ finitas para vectores enteros es cerrado bajo prefijos pero no es regular. Esto se demuestra utilizando el teorema de Myhill-Nerode, mostrando que distintos vectores generan distintas clases de equivalencia.
Representaciones de Vectores Reales: Los autores definen las expansiones $P/Q$ para vectores reales en $\mathbb{R}^d$ utilizando series con potencias negativas de la base. Introducen el concepto de un árbol de expansión para vectores reales y conjeturan que los conjuntos de vectores representables mediante estas expansiones forman un teselado (o pavimentación) de $\mathbb{R}^d$ (una colección de conjuntos cuya unión es $\mathbb{R}^d$ y cuyas intersecciones por pares tienen medida de Lebesgue cero).

Significancia y Reivindicaciones
El artículo se posiciona como un análogo directo a los sistemas de base racional estudiados por Akiyama et al., extendiendo estos conceptos de las bases racales escalares ( $p/q$ ) a las bases racionales matriciales ( $Q^{-1}P$ ).

Extensión Teórica: La principal significancia radica en cerrar la brecha entre los sistemas de números racionales y los sistemas de dígitos matriciales. Los autores demuestran que el "algoritmo de división modificado" utilizado para las bases $p/q$ puede adaptarse con éxito al entorno matricial, siempre que la base sea una matriz expansiva y el conjunto de dígitos se elija como un sistema de residuos de un grupo cociente específico.
Enfoque Constructivo: Al utilizar autómatas finitos (transductores) para el caso $d=2$ , el artículo va más allá de las pruebas de existencia abstractas para proporcionar métodos constructivos para determinar el atractor y verificar la propiedad de finitud.
Conexión con el Teselado: El artículo conecta estos sistemas de dígitos con la teoría de teselas autoafines. La conjetura sobre el teselado de $\mathbb{R}^d$ por los conjuntos $G_{P/Q}(v)$ sugiere que estas expansiones matriciales tienen implicaciones geométricas similares a las encontradas en los sistemas de radix estándar y en la teoría de teselas autoafines.

Los autores mantienen la modestia respecto al caso general para $d > 2$ y la caracterización completa del conjunto de vectores reales que admiten tales expansiones, señalando que determinar qué vectores en $\mathbb{R}^d$ admiten una expansión $Q^{-1}P$ es "sustancialmente más difícil" que en el caso escalar. El trabajo sirve como un paso fundacional que proporciona condiciones suficientes y construcciones explícitas para el caso de $2 \times 2$ , dejando las propiedades geométricas generales como un área abierta para futuras investigaciones.