🔢 mathematics

Balanced rectangles over Sturmian words and minimal discrepancy intervals

Cet article caractérise entièrement les propriétés d'équilibre des matrices rectangulaires issues de mots de Sturmian en fonction des représentations d'Ostrowski de leurs dimensions, généralisant ainsi des résultats antérieurs sur les irrationnels quadratiques à l'aide de la distribution de $n\alpha \bmod 1$ .

Auteurs originaux : Ingrid Vukusic

Publié 2026-04-20

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ingrid Vukusic

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

Le Tapis Magique et les Rectangles Parfaits

Imaginez que vous avez un tapis infini (une longue bande) fait de deux types de carreaux : des carreaux Noirs (représentés par 1) et des carreaux Blancs (représentés par 0). Ce tapis n'est pas aléatoire ; il suit une règle très précise et mathématique appelée mot de Sturmian.

Un exemple célèbre est le "mot de Fibonacci". Si vous regardez ce tapis, vous remarquerez quelque chose de fascinant : si vous prenez n'importe quel morceau de longueur donnée (disons 5 carreaux), le nombre de carreaux noirs dans ce morceau est toujours presque le même. Il y aura soit 1 noir, soit 2 noirs, mais jamais 0 ni 3. C'est ce qu'on appelle l'équilibre. Le tapis est parfaitement réparti.

Le Problème des Rectangles

Maintenant, imaginons que nous prenons ce tapis infini et que nous le plions pour créer une grille (une matrice). Nous prenons un rectangle de taille $m$ (hauteur) par $n$ (largeur).

La première ligne commence au carreau 1.
La deuxième ligne commence au carreau 2, et ainsi de suite.

La question que pose l'auteure, Ingrid Vukusic, est la suivante : Est-ce que tous les rectangles de cette taille sur ce tapis magique ont le même nombre de carreaux noirs (ou presque) ?

Parfois, oui. Parfois, non.

Si vous prenez un rectangle $2 \times 3$ sur le tapis de Fibonacci, il aura toujours 2 ou 3 carreaux noirs. C'est équilibré.
Si vous prenez un rectangle $2 \times 4$ , il peut avoir 2, 3 ou 4 carreaux noirs. C'est déséquilibré.

Le but du papier est de trouver la recette exacte pour savoir, pour n'importe quelle taille de rectangle ( $m \times n$ ) et n'importe quel tapis (défini par un nombre $\alpha$ ), si le rectangle sera équilibré ou non.

La Recette Secrète : Les "Ostrowski"

Jusqu'à présent, les mathématiciens ne pouvaient résoudre ce problème que pour des tapis très spécifiques (ceux liés à des nombres "quadratiques", comme la racine carrée de 5). Ingrid Vukusic a réussi à généraliser la solution pour tous les tapis possibles, même les plus complexes.

Comment a-t-elle fait ? Elle utilise une méthode de décomposition des nombres appelée représentation d'Ostrowski.

L'analogie du Lego :
Imaginez que vous voulez construire un nombre (comme 10) en utilisant des blocs Lego de tailles spécifiques. Ces tailles ne sont pas 1, 10, 100 (comme nos chiffres habituels), mais elles changent selon la nature du tapis (le nombre $\alpha$ ).

Pour un tapis donné, il existe une suite de tailles de blocs "magiques" ( $q_0, q_1, q_2...$ ).
Pour savoir si un rectangle est équilibré, il faut regarder comment les nombres $m$ et $n$ sont construits avec ces blocs.

La découverte principale est que l'équilibre dépend de la position des blocs dans la construction :

Le découpage propre : Si le rectangle $m$ utilise les petits blocs et le rectangle $n$ utilise les gros blocs, sans se chevaucher, c'est souvent équilibré.
Les blocs spéciaux : Si $m$ correspond exactement à la taille d'un bloc "sacré" (un dénominateur d'une fraction approximative), alors $n$ doit respecter une règle de parité (comme un code secret) pour que l'équilibre soit maintenu.

Le Lien avec la Danse des Points

Pour prouver cela, l'auteure utilise une image très visuelle : la danse des points.

Imaginez que vous lancez des points sur un cercle (de 0 à 1) en suivant une règle : chaque point est à une distance $\alpha$ du précédent.

Si vous prenez un intervalle (un arc de cercle) de taille fixe et que vous le faites glisser autour du cercle, combien de points va-t-il attraper ?
Si le nombre de points attrapés est toujours le même (ou très proche), l'intervalle est "équilibré".

Le papier montre que le problème des rectangles sur le tapis est exactement le même que ce problème de danse des points sur le cercle.

Si les points sont répartis de manière très régulière (comme des soldats en rang), peu importe où vous placez votre intervalle, vous attraperez le même nombre de soldats.
Si les points sont groupés de manière bizarre, votre intervalle attrapera parfois beaucoup, parfois peu.

En Résumé

Ce papier est comme un guide de survie pour les mathématiciens qui travaillent avec ces motifs infinis.

Avant : On ne savait dire si un rectangle était équilibré que dans des cas simples (comme le Fibonacci).
Maintenant : Grâce à Ingrid Vukusic, nous avons une règle universelle. Si vous décomposez vos nombres $m$ et $n$ en utilisant les "blocs magiques" (Ostrowski) liés à votre tapis, vous pouvez prédire instantanément si votre rectangle sera parfait ou non.

C'est une victoire de la logique : elle transforme un problème visuel complexe (des rectangles sur un tapis infini) en une simple vérification de la structure des nombres, un peu comme vérifier si les pièces d'un puzzle s'emboîtent parfaitement avant même de les assembler.

1. Problématique et Contexte

Le papier s'intéresse à la propriété d'équilibrage (balancedness) des rectangles dans les mots de Sturmian.

Mots de Sturmian : Ce sont des mots infinis binaires définis par une pente irrationnelle $\alpha \in (0, 1)$ et un intercept $\theta$ . Ils sont caractérisés par le fait que les poids (nombre de 1) de deux facteurs de même longueur diffèrent d'au plus 1.
Extension aux dimensions supérieures : Bien que les mots de Sturmian soient équilibrés en dimension 1, Berthé et Tijdeman ont montré qu'en dimension supérieure à 1, seuls les mots périodiques peuvent être équilibrés. Cependant, on peut étudier l'équilibrage de sous-matrices spécifiques (rectangles) extraites de la matrice de Hankel infinie associée au mot.
Définition du problème : Soit $A(i, m, n)$ une sous-matrice $m \times n$ de la matrice de Hankel d'un mot de Sturmian. On dit que les rectangles $m \times n$ sont équilibrés si la somme de leurs entrées (le poids total) ne prend que deux valeurs consécutives ( $c$ et $c+1$ ) pour tout décalage $i$ .
État de l'art : Des résultats antérieurs (Anselmo et al., Shallit et Vukusic) avaient caractérisé ce phénomène pour des pentes quadratiques irrationnelles (comme le nombre d'or) en utilisant les représentations de Zeckendorf et des automates (Walnut).
Objectif du papier : Généraliser cette caractérisation à toutes les pentes irrationnelles $\alpha$ , en utilisant les représentations d'Ostrowski et la théorie de la discrépance (distribution modulo 1).

2. Méthodologie

L'auteur développe une approche combinant la théorie des nombres, l'approximation diophantienne et la dynamique symbolique. La stratégie se décompose en plusieurs étapes clés :

Réduction à un problème de discrépance d'intervalles :
Le papier établit une équivalence fondamentale (Théorème 3.1) : les rectangles $m \times n$ sont équilibrés si et seulement si les intervalles de longueur $\{n\alpha\}$ (fractionnaire) sont « équilibrés » par rapport à l'ensemble de points $B = \{ \{0\}, \{\alpha\}, \dots, \{(m-1)\alpha\} \}$ modulo 1. Cela signifie que le nombre de points de $B$ tombant dans n'importe quel intervalle de longueur $\{n\alpha\}$ ne prend que deux valeurs consécutives.
Approche par bijectivité de fonctions :
Pour analyser l'équilibrage des intervalles, l'auteur introduit des fonctions $f_{left}$ et $f_{right}$ qui associent à chaque point de l'ensemble $B$ le point le plus proche à gauche ou à droite de l'extrémité de l'intervalle glissant.
- Lemme clé (4.3) : Les intervalles sont équilibrés si et seulement si ces fonctions sont bijectives.
- Cela transforme le problème de comptage en un problème d'analyse de la structure des entiers $m$ et $n$ via leurs représentations d'Ostrowski.
Utilisation des représentations d'Ostrowski :
L'analyse repose sur la représentation unique de tout entier $n$ sous la forme $n = \sum b_k q_k$ , où $q_k$ sont les dénominateurs des convergents de la fraction continue de $\alpha$ . Les propriétés de ces représentations (règles sur les coefficients $b_k$ , relations avec les approximations diophantiennes $\|q_k \alpha\|$ ) permettent de déterminer précisément où se situent les points $\{x\alpha\}$ et donc de vérifier la condition de bijectivité.
Analyse par cas :
L'auteur distingue plusieurs cas selon la taille de $m$ par rapport aux dénominateurs $q_k$ et la forme de la représentation d'Ostrowski de $n$ (notamment si $n$ est un dénominateur de convergent, un semi-convergent, ou possède des « petits » ou « grands » chiffres).

3. Résultats Principaux

Le résultat central est le Théorème 2.1, qui fournit une caractérisation complète et nécessaire/suffisante de l'équilibrage des rectangles $m \times n$ pour toute pente irrationnelle $\alpha$ .

Les rectangles sont équilibrés si et seulement si les représentations d'Ostrowski de $m$ et $n$ (par rapport à $\alpha$ ) satisfont l'une des quatre formes suivantes (en supposant $2 \le m \le n$ ) :

Cas (i) et (ii) - Séparation des chiffres :
- $m$ et $n$ n'ont pas de chiffres communs dans leurs représentations (séparation complète des indices).
- Ou bien $m$ a des chiffres « petits » et $n$ a des chiffres « grands », avec une condition spécifique sur un chiffre de $n$ (forme $n = q_M + \dots$ ).
- Intuition géométrique : La longueur de l'intervalle $\{n\alpha\}$ est si petite (ou si grande) qu'elle ne contient au plus qu'un seul point de la suite $\{k\alpha\}$ .
Cas (iii) et (iv) - $m$ est un dénominateur de convergent ou semi-convergent :
- $m = q_M$ (dénominateur d'un convergent) ou $m = q_{M-1} + a q_M$ (semi-convergent).
- $n$ doit avoir une structure spécifique par rapport à $M$ (chiffres pairs/impairs alternés à partir d'un certain rang).
- Intuition géométrique : Les points $\{k\alpha\}$ pour $k < m$ sont extrêmement bien répartis (proches d'une grille régulière), permettant à l'intervalle de longueur $\{n\alpha\}$ de capturer un nombre constant de points, sauf pour de très petits écarts.

4. Contributions Techniques et Significatives

Généralisation aux irrationnels quelconques : Contrairement aux travaux précédents limités aux irrationnels quadratiques (où les automates finis fonctionnent), ce papier résout le problème pour tous les irrationnels en utilisant des outils analytiques et arithmétiques purs (représentation d'Ostrowski).
Lien entre équilibrage et discrépance minimale : Le papier clarifie profondément le lien entre la combinatoire des mots de Sturmian et la théorie de la discrépance. Il montre que l'équilibrage des rectangles correspond exactement à la propriété d'avoir une discrépance minimale (erreur < 1) pour des intervalles de longueur fixe.
Méthodologie unifiée : L'approche via la bijectivité des fonctions $f_{left}/f_{right}$ offre un cadre puissant et systématique pour traiter des problèmes de répartition de points sur le tore, applicable potentiellement à d'autres questions de dynamique symbolique.
Caractérisation complète : Le théorème 2.1 est une condition nécessaire et suffisante, éliminant les cas particuliers ou les conjectures partielles.

5. Conclusion et Impact

Ce travail complète la théorie des mots de Sturmian en dimension supérieure. Il démontre que la structure arithmétique fine des entiers $m$ et $n$ (via les représentations d'Ostrowski) dicte strictement la régularité géométrique des rectangles extraits de ces mots.

L'importance de ce résultat réside dans sa généralité : il ne dépend pas de la nature algébrique de $\alpha$ (quadratique ou non), mais uniquement de sa structure de fraction continue. Cela ouvre la voie à l'étude de la complexité abélienne et des propriétés de répartition pour des systèmes dynamiques plus généraux, au-delà des cas traitables par les automates finis.