🔢 mathematics

A Matrix Analogue of Rational Number Systems

Este artigo estabelece condições suficientes para a existência de sistemas de dígitos com propriedades de finitude para análogos matriciais de sistemas de números racionais e utiliza autômatos finitos para construir sistemas que possuem propriedades de finitude e unicidade em duas dimensões, ao mesmo tempo em que deriva expansões vetoriais via árvores de expansão.

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

Publicado 2026-07-10

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

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

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tenha um sistema numérico mágico, mas em vez de contar apenas com uma base como o 10 (nosso sistema decimal habitual) ou 2 (binário), você está contando com uma matriz. Pense em uma matriz não como uma grade de números entediante, mas como uma máquina multidimensional complexa que estica, torce e rotaciona o espaço.

Este artigo, escrito por Anjelo Gabriel R. Cruz e Manuel Joseph C. Loquias, faz uma grande pergunta: Podemos construir um sistema numérico onde a "base" é esta máquina de torção e podemos escrever qualquer vetor (uma seta apontando no espaço) usando uma lista finita de "dígitos" simples?

A Grande Ideia: A Máquina de Matriz

Em nosso mundo normal, se você quiser escrever o número 13 na base 10, você diz "um dez e três uns". Você está decompondo o número em potências de 10.

Os autores estão tentando fazer o mesmo, mas com setas no espaço. Eles têm duas máquinas especiais, chamadas matrizes P e Q. Eles as combinam para criar uma nova máquina, Q⁻¹P (pense nisso como "Q inverso vezes P"). Esta máquina é a "base" do novo mundo deles.

O objetivo é pegar qualquer seta x e escrevê-la como uma soma:
x = (Máquina)⁰ × (Dígito) + (Máquina)¹ × (Dígito) + (Máquina)² × (Dígito) ...

Os "dígitos" aqui não são apenas de 0 a 9; são pequenas setas escolhidas de um conjunto específico e limitado chamado D.

As Duas Regras de Ouro: Finitude e Unicidade

Os autores procuram por um sistema que siga duas regras estritas:

A Propriedidade da Finitude: Você deve ser capaz de escrever qualquer seta em seu sistema usando apenas um número finito de dígitos. Nada de listas infinitas de dígitos permitidas! Se você continuar adicionando dígitos para sempre, o sistema falha.
A Propriedade da Unicidade: Deve haver apenas uma maneira de escrever uma seta específica. Se você puder escrever a mesma seta de duas maneiras diferentes, o sistema torna-se confuso e desordenado.

O artigo prova que, se você escolher suas máquinas P e Q cuidadosamente (especificamente, se elas forem "coprimas" e a máquina Q⁻¹P for "expansiva" — ou seja, estica o espaço tanto que as coisas se afastam), você pode encontrar um conjunto de dígitos D que faz o sistema funcionar.

A Arma Secreta: Autômatos Finitos (Os Tradutores Mágicos)

Como eles provam isso? Eles usam algo chamado autômatos finitos. Imagine um pequeno robô superveloz que lê uma sequência de dígitos e os traduz.

Na Seção 3, os autores constroem esses robôs para o espaço 2D (setas planas em uma folha de papel). Eles criam um "transdutor" — uma máquina que recebe uma entrada (como adicionar um pequeno passo para a direita) e produz a nova sequência de dígitos.

Eles desenham mapas (chamados diagramas de transição) mostrando como o robô se move de um estado para outro.
Eles descobriram que, para certos tipos de máquinas P e Q, esses robôs sempre se estabilizam. Eles não ficam presos em um loop infinito de caos; eles eventualmente param. Isso prova que a "Propriedade da Finitude" se mantém.

A Árvore de Expansão: Um Labirinto de Caminhos

Na Seção 4, os autores introduzem o conceito de uma Árvore de Expansão. Imagine uma árvore gigante e ramificada onde a raiz é o vetor zero (o centro do universo).

Cada ramo representa a adição de um dígito.
Cada nó (um ponto na árvore) representa uma seta específica que você pode alcançar.
O caminho da raiz até um nó é o "código" ou a expansão dessa seta.

Eles provaram algo fascinante sobre esta árvore:

Não é um ciclo simples: A árvore é tão complexa que nenhum programa de computador simples ("linguagem regular") consegue prever todos os caminhos. Ela é infinitamente intrincada.
O único padrão repetitivo é o zero: Se você caminhar pela árvore e vir um padrão que se repete para sempre, o único padrão que funciona é uma sequência de zeros. Qualquer outro padrão repetitivo leva a um beco sem saída ou a uma contradição.

E Quanto aos Números Reais? (O Mistério Aberto)

Até agora, estivemos falando de setas feitas de números inteiros. Mas e quanto aos números reais (como 3,14)?

Os autores sugerem que, se você permitir que seus dígitos sigam infinitamente para a direita de um "ponto decimal" (usando potências negativas da máquina), você pode representar vetores reais.

Eles realizaram simulações (aproximações computacionais) para ver como esses vetores reais se parecem.
O Resultado: O conjunto de todos os vetores reais representáveis parece uma forma estranha e irregular que pavimenta o plano (como um quebra-cabeça).
A Ressalva: Eles não dizem que resolveram o problema de quais vetores reais podem ser representados. Eles afirmam explicitamente que determinar isso é "substancialmente mais difícil" do que o caso dos inteiros. Eles oferecem uma conjectura (um palpite forte) de que essas formas pavimentam todo o espaço sem sobreposição, mas isso é baseado em suas simulações e aproximações visuais, não em uma prova final.

O Que Eles Explicitamente Excluem

O artigo é muito claro sobre o que não funciona ou o que exige condições extras:

A unicidade não é automática: Só porque você tem um conjunto finito de dígitos, não significa que a representação seja única. Você precisa escolher o conjunto de dígitos correto (um "sistema de resíduos completos") para obter a unicidade.
Nem todas as matrizes funcionam: A máquina Q⁻¹P deve ser "expansiva" (todos os seus autovalores devem ter um módulo maior que 1). Se a máquina encolher o espaço em vez de esticá-lo, o sistema entra em colapso.
Inteiro vs. Real: Os métodos que funcionam perfeitamente para vetores inteiros (provados com os autômatos) não resolvem automaticamente o problema para vetores reais. O caso dos vetores reais permanece uma área de pesquisa aberta, onde os autores apenas sugerem uma propriedade de pavimentação baseada em seus modelos visuais.

A Conclusão

Cruz e Loquias construíram com sucesso uma ponte entre o mundo dos números racionais (frações) e o mundo das matrizes. Eles mostraram que, se você escolher as máquinas certas, pode escrever qualquer vetor inteiro usando um código finito e único. Eles construíram os "robôs" (autômatos) para provar isso e desenharam as "árvores" para visualizá-las.

No entanto, quando se trata do mundo desordenado e infinito dos números reais, eles apenas deram o primeiro passo. Eles desenharam um mapa belíssimo do território e supõem que ele cobre o mundo inteiro, mas admitem que a prova completa ainda está por ser descoberta.

Resumo Técnico: Um Análogo Matricial de Sistemas de Números Racionais

Enunciado do Problema
Este artigo aborda a generalização dos sistemas de base de números racionais (especificamente a expansão $p/q$ introduzida por Akiyama et al.) para o domínio de sistemas de dígitos matriciais. Enquanto os sistemas de dígitos matriciais padrão tipicamente utilizam uma matriz base inteira $A$ e um conjunto de dígitos $D \subseteq \mathbb{Z}^d$ , este trabalho investiga sistemas onde a base é uma matriz racional da forma $Q^{-1}P$ , com $P, Q \in \mathbb{Z}^{d \times d}$ sendo matrizes coprimas invertíveis. O problema central é determinar as condições sob as quais todo vetor em um $\mathbb{Z}$ -módulo específico, $\mathbb{Z}^d[Q^{-1}P]$ , admite uma expansão finita da forma:
$x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1} d_i$
onde os dígitos $d_i$ pertencem a um conjunto finito $D$ . Os autores buscam estabelecer condições suficientes para a propriedade de finitude (existência de tal expansão finita) e a propriedade de unicidade (unicidade da expansão para um comprimento $\ell$ mínimo).

Metodologia
Os autores empregam uma combinação de teoria algébrica dos números, sistemas dinâmicos e teoria dos autômatos:

Estrutura Algébrica: O estudo define $\mathbb{Z}^d[Q^{-1}P]$ como o menor $\mathbb{Z}$ -módulo não trivial $Q^{-1}P$ -invariante contendo $\mathbb{Z}^d$ . Os autores utilizam o conceito de matrizes coprimas ( $P\mathbb{Z}^d + Q\mathbb{Z}^d = \mathbb{Z}^d$ ) para definir uma estrutura de grupo quociente. Eles estabelecem que o conjunto de dígitos $D$ deve conter um sistema de resíduos completo de $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]) / P\mathbb{Z}^d[Q^{-1}P]$ .
Sistemas Dinâmicos: Um sistema dinâmico $\Phi$ (a função quociente) é definido para mimetizar o algoritmo de divisão. A existência de expansões finitas está ligada à finitude do atrator $A_\Phi$ deste sistema dinâmico. Se o atrator for finito, o sistema possui a propriedade de finitude.
Divisão Restrita para Vetores Inteiros: Para lidar com expansões de vetores em $\mathbb{Z}^d especificamente, os autores introduzem uma "função de dígito restrita"$ d_r$ mapeando para resíduos de $\mathbb{Z}^d/P\mathbb{Z}^d$ . Isso leva a um sistema dinâmico restrito $\Phi_r$ . Um lema fundamental demonstra que, se $\Phi_r$ possui um atrator finito, o sistema estendido em $\mathbb{Z}^d[Q^{-1}P]$ também possui um atrator finito.
Teoria dos Autômatos (Dimensão $d=2$ ): Para o caso específico de matrizes $2 \times 2$ , os autores constroem transdutores de letra-para-letra finitos. Esses autômatos modelam a adição de vetores de base (por exemplo, $(1,0)^\top$ ) a uma dada expansão de dígitos. Ao analisar os diagramas de transição e ciclos (especificamente auto-loops e caminhos finitos) desses transdutores, os autores determinam a estrutura do atrator para vários coeficientes do polinômio característico.
Árvores de Expansão: O artigo constrói uma "árvore de expansão" $T_{P/Q}$ para representar vetores em $\mathbb{R}^d$ . Esta árvore generaliza a árvore de expansão $p/q$ para números reais, definindo rótulos de caminho como expansões $P/Q$ e investigando as propriedades de linguagem desses caminhos.

Principais Contribuições e Resultados

Condições Gerais para Finitude: O artigo prova que, se $Q^{-1}P$ é uma matriz expansiva (todos os autovalores possuem módulo $>1$ ), o atrator do sistema dinâmico associado é finito. Consequentemente, um sistema de dígitos $(P, Q, D)$ existe com a propriedade de finitude, desde que $D$ seja um sistema de resíduos completo do grupo quociente relevante.
Unicidade e Sistemas Padrão: Os autores esclarecem que, se $D$ é um sistema de resíduos completo e o comprimento da expansão é mínimo, a propriedade de unicidade é mantida. Um sistema que possui tanto finitude quanto unicidade é denominado "padrão".
Classificação Explícita do Atrator para $d=2$ : Para matrizes $P$ $P$ e $Q$ $Q$ de $2 \times 2$ $2 \times 2$ com determinantes coprimos e formas estruturais específicas, os autores fornecem uma classificação completa do atrator $A$ $A$ baseada nos coeficientes $\alpha$ $α$ e $\beta$ $β$ do polinômio característico de $Q^{-1}P$ $Q^{- 1} P$ ( $\chi(x) = x^2 + \alpha x + \beta$ $χ (x) = x^{2} + α x + β$ ).
- Nos casos onde $0 \le \alpha \le \beta - 1$ ou $0 < -\alpha \le 1$ , o atrator é trivial: $A = \{(0,0)^\top\}$ .
- Em outros casos (por exemplo, $1 < -\alpha \le \beta - 1$ ), o atrator é um conjunto finito de vetores gerados por combinações lineares específicas envolvendo as entradas da matriz.
- Estes resultados são derivados pela análise do comportamento dos transdutores construídos, especificamente identificando se palavras periódicas infinitas (ciclos no autômato) correspondem a elementos de atrator não nulos.
Propriedades de Linguagem: O artigo estabelece que a linguagem $L_{P/Q}$ de expansões $P/Q$ finitas para vetores inteiros é fechada sob prefixo, mas não é regular. Isso é provado usando o teorema de Myhill-Nerode, mostrando que vetores distintos geram classes de equivalência distintas.
Representações de Vetores Reais: Os autores definem $P/Q$ -expansões para vetores reais em $\mathbb{R}^d$ usando séries infinitas com potências negativas da base. Eles introduzem o conceito de uma árvore de expansão para vetores reais e conjecturam que os conjuntos de vetores representáveis por essas expansões formam um pavimento (tiling) de $\mathbb{R}^d$ (uma coleção de conjuntos cuja união é $\mathbb{R}^d$ e cujas interseções par a par possuem medida de Lebesgue zero).

Significância e Alegações
O artigo posiciona-se como um análogo direto aos sistemas de base racional estudados por Akiyama et al., estendendo esses conceitos da base racional escalar ( $p/q$ ) para bases racionais matriciais ( $Q^{-1}P$ ).

Extensão Teórica: A principal significância reside em construir uma ponte entre sistemas de números racionais e sistemas de dígitos matriciais. Os autores demonstram que o "algoritmo de divisão modificado" usado para bases $p/q$ pode ser adaptado com sucesso para o cenário matricial, desde que a matriz base seja expansiva e o conjunto de dígitos seja escolhido como um sistema de resíduos de um grupo quociente específico.
Abordagem Construtiva: Ao utilizar autômatos finitos (transdutores) para o caso $d=2$ , o artigo vai além de provas abstratas de existência para fornecer métodos construtivos para determinar o atrator e verificar a propriedade de finitude.
Conexão com Pavimentação: O artigo conecta esses sistemas de dígitos à teoria de ladrilhos autoafins. A conjectura sobre o pavimento de $\mathbb{R}^d$ pelos conjuntos $G_{P/Q}(v)$ sugere que essas expansões matriciais têm implicações geométricas semelhantes às encontradas em sistemas de radix padrão e na teoria de ladrilhos autoafins.

Os autores mantêm-se modestos quanto ao caso geral para $d > 2$ e a caracterização completa do conjunto de vetores reais que admitem tais expansões, observando que determinar quais vetores em $\mathbb{R}^d$ admitem uma expansão $Q^{-1}P$ é "substancialmente mais difícil" do que no caso escalar. O trabalho serve como um passo fundamental, fornecendo condições suficientes e construções explícitas para o caso $2 \times 2$ , deixando as propriedades geométricas gerais como uma área aberta para pesquisas futuras.