Matrices with cyclically monotone rows and Cantor numeration systems

Résumé Technique : Matrices à lignes cycliquement monotones et systèmes de numération de Cantor

1. Problématique

L'article s'attaque à un problème ouvert issu de la théorie des systèmes de numération non standards, plus précisément les systèmes de numération de Cantor.

Le problème central concerne la relation entre les bases réelles de Cantor alternées (des séquences de nombres réels $\beta_i > 1$ qui sont périodiques de période $p$) et les listes de $p$ séquences d'entiers non négatifs satisfaisant la condition de Parry. La question est de savoir si, pour toute liste de séquences satisfaisant la condition de Parry, il existe une base de Cantor unique qui lui est associée.

2. Méthodologie

Pour résoudre ce problème, les auteurs introduisent une nouvelle classe de matrices carrées dont les lignes sont cycliquement monotones.

• Définition des matrices : Une matrice est dite à lignes cycliquement monotones si ses éléments sont non négatifs et si chaque ligne forme une séquence cycliquement non croissante commençant par l'élément maximal situé sur la diagonale. Si l'élément diagonal est strictement supérieur aux autres éléments de sa ligne, la matrice est dite strictement cycliquement monotone.
• Outils algébriques : Les auteurs utilisent des propriétés de déterminant, de sous-matrices principales et de permutations cycliques pour analyser ces matrices.
• Analyse fonctionnelle : Ils introduisent le concept de séries entières alternées de type $p$. Ils étudient le Jacobien de la fonction vectorielle associée à ces séries. L'idée est de montrer que ce Jacobien possède des propriétés de cyclicité monotone qui permettent d'appliquer des théorèmes de topologie algébrique.
• Théorèmes de référence : L'étude s'appuie sur le théorème de Gale-Nikaido sur l'injectivité des applications et sur le théorème de Brouwer sur l'invariance du domaine pour prouver l'injectivité des fonctions de numération.

3. Contributions Clés et Résultats

L'article apporte trois contributions majeures :

A. Propriétés des matrices cycliquement monotones (Théorème 4) :
Les auteurs prouvent que si une matrice $A$ a des lignes cycliquement monotones, son déterminant est non négatif ($\det A \geq 0$). Si les lignes sont strictement cycliquement monotones, la matrice est régulière ($\det A > 0$). Ce résultat est une généralisation des propriétés connues pour les matrices circulantes.

B. Injectivité des séries entières alternées (Théorème 13) :
En démontrant que le Jacobien d'une fonction vectorielle associée à des séries entières alternées est une matrice à lignes strictement cycliquement monotones (après une transformation par une matrice diagonale), les auteurs prouvent que ces fonctions sont injectives sur le domaine $(0, 1)^p$.

C. Résolution du problème de la base de Cantor (Théorème 22) :
C'est le résultat principal. En utilisant l'injectivité démontrée précédemment, les auteurs prouvent l'unicité de la base de Cantor réelle alternée. Pour toute liste de séquences satisfaisant la condition de Parry, il existe une et une seule base de Cantor de période $p$ correspondante.

4. Signification et Portée

Ce travail est significatif car il comble une lacune théorique dans la compréhension des systèmes de numération de Cantor. Alors que l'existence d'une base pour une liste de séquences donnée avait été établie précédemment (par des méthodes combinatoires), l'aspect de l'unicité restait non résolu pour le cas général.

En utilisant des outils de l'algèbre linéaire (matrices cycliquement monotones) et de l'analyse (Jacobiens et injectivité), les auteurs offrent une preuve élégante et topologique qui lie la structure des suites de numération à la régularité de matrices spécifiques. L'article ouvre également des perspectives sur l'étude de l'irrationalité des nombres dans des bases de Cantor non périodiques.