🔢 mathematics

A Matrix Analogue of Rational Number Systems

Cet article établit des conditions suffisantes pour l'existence de systèmes de chiffres présentant des propriétés de finitude pour les analogues matriciels des systèmes de nombres rationnels et utilise des automates finis pour construire des systèmes possédant à la fois des propriétés de finitude et d'unicité en deux dimensions, tout en dérivant des expansions vectorielles via des arbres d'expansion.

Auteurs originaux : Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

Publié 2026-07-10

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Anjelo Gabriel R. Cruz, Manuel Joseph C. Loquias

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous possédez un système de numération magique, mais au lieu de compter avec une seule base comme la base 10 (notre système décimal habituel) ou la base 2 (le binaire), vous comptez avec une matrice. Imaginez une matrice non pas comme une grille de nombres ennuyeuse, mais comme une machine multidimensionnelle complexe qui étire, tord et fait pivoter l'espace.

Ce document, écrit par Anjelo Gabriel R. Cruz et Manuel Joseph C. Loquias, pose une grande question : Pouvons-nous construire un système de numération où la « base » est cette machine qui tord l'espace, et où nous pouvons écrire n'importe quel vecteur (une flèche pointant dans l'espace) en utilisant une liste finie de « chiffres » simples ?

La grande idée : La machine matricielle

Dans notre monde normal, si vous voulez écrire le nombre 13 en base 10, vous dites « un dix et trois unités ». Vous décomposez le nombre en puissances de 10.

Les auteurs essaient de faire la même chose, mais avec des flèches dans l'espace. Ils ont deux machines spéciales, appelées matrices P et Q. Ils les combinent pour créer une nouvelle machine, Q⁻¹P (pensez à « l'inverse de Q fois P »). Cette machine est la « base » de leur nouveau monde.

L'objectif est de prendre n'importe quelle flèche x et de l'écrire sous forme d'une somme :
x = (Machine)⁰ × (Chiffre) + (Machine)¹ × (Chiffre) + (Machine)² × (Chiffre) ...

Les « chiffres » ici ne sont pas simplement de 0 à 9 ; ce sont de petites flèches choisies dans un ensemble limité et spécifique appelé D.

Les deux règles d'or : Finitude et Unicité

Les auteurs recherchent un système qui respecte deux règles strictes :

La propriété de finitude : Vous devez pouvoir écrire n'importe quelle flèche dans votre système en utilisant uniquement un nombre fini de chiffres. Pas de listes infinies de chiffres autorisées ! Si vous continuez à ajouter des chiffres éternellement, le système échoue.
La propriété d'unicité : Il ne doit y avoir qu'une seule façon d'écrire une flèche spécifique. Si vous pouvez écrire la même flèche de deux manières différentes, le système devient désordonné et confus.

Le papier prouve que si vous choisissez vos machines P et Q avec soin (plus précisément, si elles sont « premières entre elles » et que la machine Q⁻¹P est « expansive » — c'est-à-dire qu'elle étire l'espace de telle sorte que les choses s'envolent), vous pouvez trouver un ensemble de chiffres D qui fait fonctionner le système.

L'arme secrète : Les automates finis (Les traducteurs magiques)

Comment le prouvent-ils ? Ils utilisent ce qu'on appelle des automates finis. Imaginez un petit robot, super rapide, qui lit une chaîne de chiffres et les traduit.

Dans la section 3, les auteurs construisent ces robots pour l'espace à 2 dimensions (des flèches plates sur une feuille de papier). Ils créent un « transducteur » — une machine qui prend une entrée (comme un petit pas vers la droite) et produit la nouvelle chaîne de chiffres.

Ils dessinent des cartes (appelées diagrammes de transition) montrant comment le robot passe d'un état à un autre.
Ils ont découvert que pour certains types de machines P et Q, ces robots se stabilisent toujours. Ils ne restent pas bloqués dans une boucle infinie de chaos ; ils finissent par s'arrêter. Cela prouve que la « propriété de finitude » est respectée.

L'arbre d'expansion : Un labyrinthe de chemins

Dans la section 4, les auteurs introduisent le concept d'un Arbre d'Expansion. Imaginez un arbre géant et ramifié où la racine est le vecteur zéro (le centre de l'univers).

Chaque branche représente l'ajout d'un chiffre.
Chaque nœud (un point sur l'arbre) représente une flèche spécifique que vous pouvez atteindre.
Le chemin de la racine vers un nœud est le « code » ou l'expansion de cette flèche.

Ils ont prouvé quelque chose de fascinant sur cet arbre :

Ce n'est pas une simple boucle : L'arbre est si complexe qu'aucun programme informatique simple (un « langage régulier ») ne peut prédire tous les chemins. Il est infiniment complexe.
Le seul motif répétitif est zéro : Si vous descendez l'arbre et voyez un motif qui se répète indéfiniment, la seule séquence qui fonctionne est une chaîne de zéros. Tout autre motif répétitif mène à une impasse ou à une contradiction.

Qu'en est-il des nombres réels ? (Le mystère ouvert)

Jusqu'à présent, nous avons parlé de flèches composées de nombres entiers. Mais qu'en est-il des nombres réels (comme 3,14) ?

Les auteurs suggèrent que si vous laissez vos chiffres s'étendre indéfiniment vers la droite d'une « virgule décimale » (en utilisant des puissances négatives de la machine), vous pouvez représenter des vecteurs réels.

Ils ont lancé des simulations (approximations informatiques) pour voir à quoi ressemblent ces vecteurs réels.
Le résultat : L'ensemble de tous les vecteurs réels représentables ressemble à une forme étrange et dentelée qui pavimente le plan (comme un puzzle).
La mise en garde : Ils ne disent pas avoir résolu le problème de savoir quels vecteurs réels peuvent être représentés. Ils déclarent explicitement que déterminer cela est « sensiblement plus difficile » que pour le cas des entiers. Ils proposent une conjecture (une hypothèse forte) selon laquelle ces formes pavent tout l'espace sans se chevaucher, mais cela repose sur leurs simulations et approximations visuelles, et non sur une preuve finale.

Ce qu'ils excluent explicitement

Le papier est très clair sur ce qui ne fonctionne pas ou ce qui nécessite des conditions supplémentaires :

L'unicité n'est pas automatique : Le simple fait d'avoir un ensemble fini de chiffres ne garantit pas que la représentation soit unique. Vous devez choisir le bon ensemble de chiffres (un « système de restes complet ») pour obtenir l'unicité.
Toutes les matrices ne fonctionnent pas : La machine Q⁻¹P doit être « expansive » (toutes ses valeurs propres doivent avoir un module supérieur à 1). Si la machine rétrécit l'espace au lieu de l'étirer, le système s'effondre.
Entiers vs Réels : Les méthodes qui fonctionnent parfaitement pour les vecteurs entiers (prouvées avec les automates) ne résolvent pas automatiquement le problème pour les vecteurs réels. Le cas des vecteurs réels reste un domaine de recherche ouvert, les auteurs proposant seulement une propriété de pavage basée sur leurs modèles visuels.

L'essentiel à retenir

Cruz et Loquias ont réussi à construire un pont entre le monde des nombres rationnels (fractions) et le monde des matrices. Ils ont montré que si vous choisissez bien vos machines, vous pouvez écrire n'importe quel vecteur entier en utilisant un code fini et unique. Ils ont construit les « robots » (automates) pour le prouver et dessiné les « arbres » pour les visualiser.

Cependant, lorsqu'il s'agit du monde complexe et infini des nombres réels, ils n'ont fait que le premier pas. Ils ont dessiné une carte magnifique du territoire et supposé qu'elle couvre le monde entier, mais ils admettent que la preuve complète est encore en attente de découverte.

Résumé Technique : Un analogue matriciel des systèmes de nombres rationnels

Énoncé du Problème
Cet article traite de la généralisation des systèmes de base de nombres rationnels (spécifiquement l'expansion $p/q$ introduite par Akiyama et al.) au domaine des systèmes de chiffres matriciels. Alors que les systèmes de chiffres matriciels standards utilisent typiquement une matrice de base entière $A$ et un ensemble de chiffres $D \subseteq \mathbb{Z}^d$ , ce travail étudie des systèmes où la base est une matrice rationnelle de la forme $Q^{-1}P$ , avec $P, Q \in \mathbb{Z}^{d \times d}$ étant des matrices inversibles et premières entre elles. Le problème central est de déterminer les conditions sous lesquelles chaque vecteur dans un $\mathbb{Z}$ -module spécifique, $\mathbb{Z}^d[Q^{-1}P]$ , admet une expansion finie de la forme :
$x = \sum_{i=0}^{\ell-1} (Q^{-1}P)^i Q^{-1} d_i$
où les chiffres $d_i$ appartiennent à un ensemble fini $D$ . Les auteurs chercheent à établir des conditions suffisantes pour la propriété de finitude (existence d'une telle expansion finie) et la propriété d'unicité (unicité de l'expansion pour une longueur minimale $\ell$ ).

Méthodologie
Les auteurs emploient une combinaison de théorie des nombres algébriques, de systèmes dynamiques et de théorie des automates :

Cadre Algébrique : L'étude définit $\mathbb{Z}^d[Q^{-1}P]$ comme le plus petit $\mathbb{Z}$ -module non trivial et $Q^{-1}P$ -invariant contenant $\mathbb{Z}^d$ . Les auteurs utilisent le concept de matrices premières entre elles ( $P\mathbb{Z}^d + Q\mathbb{Z}^d = \mathbb{Z}^d$ ) pour définir une structure de groupe quotient. Ils établissent que l'ensemble de chiffres $D$ doit contenir un système de résidus complet de $(\mathbb{Z}^d + P\mathbb{Z}^d[Q^{-1}P]) / P\mathbb{Z}^d[Q^{-1}P]$ .
Systèmes Dynamiques : Un système dynamique $\Phi$ (la fonction quotient) est défini pour imiter l'algorithme de division. L'existence d'expansions finies est liée à la finitude de l'attracteur $A_\Phi$ de ce système dynamique. Si l'attracteur est fini, le système possède la propriété de finitude.
Division Restreinte pour les Vecteurs Entiers : Pour traiter les expansions de vecteurs dans $\mathbb{Z}^d spécifiquement, les auteurs introduisent une « fonction de chiffre restreinte »$ d_r$ se rapportant aux résidus de $\mathbb{Z}^d/P\mathbb{Z}^d$ . Cela conduit à un système dynamique restreint $\Phi_r$ . Un lemme clé démontre que si $\Phi_r$ possède un attracteur fini, le système étendu sur $\mathbb{Z}^d[Q^{-1}P]$ possède également un attracteur fini.
Théorie des Automates (Dimension $d=2$ ) : Pour le cas spécifique des matrices $2 \times 2$ , les auteurs construisent des transducteurs finis de type lettre-à-lettre. Ces automates modélisent l'addition de vecteurs de base (par exemple $(1,0)^\top$ ) à une expansion de chiffres donnée. En analysant les diagrammes de transition et les cycles (spécifiquement les boucles de rétroaction et les chemins finis) de ces transducteurs, les auteurs déterminent la structure de l'attracteur pour diverses valeurs des coefficients du polynôme caractéristique.
Arbres d'Expansion : L'article construit un « arbre d'expansion » $T_{P/Q}$ pour représenter les vecteurs dans $\mathbb{R}^d$ . Cet arbre généralise l'arbre d'expansion $p/q$ pour les nombres réels, définissant les étiquettes de chemin comme des expansions $P/Q$ et étudiant les propriétés de langage de ces chemins.

Contributions Clés et Résultats

Conditions Générales de Finitude : L'article prouve que si $Q^{-1}P$ est une matrice expansive (toutes les valeurs propres ont un module $>1$ ), l'attracteur du système dynamique associé est fini. Par conséquent, un système de chiffres $(P, Q, D)$ existe avec la propriété de finitude, à condition que $D$ soit un système de résidus complet du groupe quotient pertinent.
Unicité et Systèmes Standards : Les auteurs précisent que si $D$ est un système de résidus complet et que la longueur de l'expansion est minimale, la propriété d'unicité est respectée. Un système possédant à la fois la finitude et l'unicité est qualifié de « standard ».
Classification Explicite de l'Attracteur pour $d=2$ : Pour des matrices $2 \times 2$ $2 \times 2$ $P$ $P$ et $Q$ $Q$ avec des déterminants premiers entre eux et des formes structurelles spécifiques, les auteurs fournissent une classification complète de l'attracteur $A$ $A$ basée sur les coefficients $\alpha$ $α$ et $\beta$ $β$ du polynôme caractéristique de $Q^{-1}P$ $Q^{- 1} P$ ( $\chi(x) = x^2 + \alpha x + \beta$ $χ (x) = x^{2} + α x + β$ ).
- Dans les cas où $0 \le \alpha \le \beta - 1$ ou $0 < -\alpha \le 1$ , l'attracteur est trivial : $A = \{(0,0)^\top\}$ .
- Dans d'autres cas (par exemple, $1 < -\alpha \le \beta - 1$ ), l'attracteur est un ensemble fini de vecteurs générés par des combinaisons linéaires spécifiques impliquant les entrées de la matrice.
- Ces résultats sont dérivés de l'analyse du comportement des transducteurs construits, en identifiant spécifiquement si les mots périodiques infinis (cycles dans l'automate) correspondent à des éléments non nuls de l'attracteur.
Propriétés de Langage : L'article établit que le langage $L_{P/Q}$ des expansions $P/Q$ finies pour les vecteurs entiers est préfixe-clos mais non régulier. Ceci est prouvé via le théorème de Myhill-Nerode, montrant que des vecteurs distincts génèrent des classes d'équivalence distinctes.
Représentations de Vecteurs Réels : Les auteurs définissent les expansions $P/Q$ pour les vecteurs réels dans $\mathbb{R}^d$ en utilisant des séries infinies avec des puissances négatives de la base. Ils introduisent le concept d'un arbre d'expansion pour les vecteurs réels et conjecturent que les ensembles de vecteurs représentables par ces expansions forment un pavage de $\mathbb{R}^d$ (une collection d'ensembles dont l'union est $\mathbb{R}^d$ et dont les intersections mutuelles ont une mesure de Lebesgue nulle).

Signification et Revendications
L'article se positionne comme un analogue direct des systèmes de nombres à base rationnelle étudiés par Akiyama et al., en étendant ces concepts des bases rationnelles scalaires ( $p/q$ ) aux bases rationnelles matricielles ( $Q^{-1}P$ ).

Extension Théorique : La principale signification réside dans le pont jeté entre les systèmes de nombres rationnels et les systèmes de chiffres matriciels. Les auteurs démontrent que l'« algorithme de division modifié » utilisé pour les bases $p/q$ peut être adapté avec succès au cadre matriciel, à condition que la base soit une matrice expansive et que l'ensemble de chiffres soit choisi comme un système de résidus d'un groupe quotient spécifique.
Approche Constructive : En utilisant des automates finis (transducteurs) pour le cas $d=2$ , l'article dépasse les simples preuves d'existence abstraites pour fournir des méthodes constructives permettant de déterminer l'attracteur et de vérifier la propriété de finitude.
Connexion au Pavage : L'article relie ces systèmes de chiffres à la théorie des tuiles auto-affines. La conjecture concernant le pavage de $\mathbb{R}^d$ par les ensembles $G_{P/Q}(v)$ suggère que ces expansions matricielles ont des implications géométriques similaires à celles trouvées dans les systèmes de radicaux standards et la théorie des tuiles auto-affines.

Les auteurs restent modestes quant au cas général pour $d > 2$ et à la caractérisation complète de l'ensemble des vecteurs réels admettant de telles expansions, notant que déterminer quels vecteurs dans $\mathbb{R}^d$ admettent une expansion $Q^{-1}P$ est « substantiellement plus difficile » que dans le cas scalaire. Ce travail sert de étape fondamentale, fournissant des conditions suffisantes et des constructions explicites pour le cas $2 \times 2$ , tout en laissant les propriétés géométriques générales comme un domaine ouvert pour la recherche future.