🔢 mathematics

Asymptotics of the Tchoukaillon array and a conjecture of Beluhov

Cet article prouve la conjecture de Beluhov concernant le comportement asymptotique de l'arrangement de Tchoukaillon en établissant une estimation uniforme précise de ses entrées, démontrant que leurs racines carrées forment un mélange linéaire des taux de croissance des bords de l'arrangement et permettant un algorithme efficace pour localiser n'importe quel entier donné au sein de l'arrangement.

Auteurs originaux : Shisheng Li

Publié 2026-08-19

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Shisheng Li

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

Dans le monde des mathématiques, il existe une fascination discrète pour les motifs qui émergent de règles simples. Imaginez un jeu de plateau joué avec une seule rangée de trous, où les pierres sont déplacées selon une logique stricte et répétitive. C'est une forme de Mancala, une ancienne famille de jeux de semailles pratiqués à travers le monde. Dans une version spécifique à une seule rangée connue sous le nom de Tchoukaillon, le jeu ne consiste pas en une compétition, mais en l'atteinte d'une position de départ unique et parfaite pour tout nombre donné de pierres. Les mathématiciens savent depuis longtemps que pour chaque nombre total de pierres, il existe exactement une façon de les disposer dans les trous afin que le jeu puisse être gagné. Cette disposition unique crée une carte cachée, une grille où chaque nombre entier positif apparaît exactement une fois, remplissant l'espace sans lacunes ni chevauchements.

Pendant des décennies, des chercheurs ont étudié les bords de cette carte. Ils savaient que les nombres croissaient le long de la toute première rangée et de la toute première colonne, constatant que ces limites suivaient des trajectoires courbes et prévisibles. Cependant, l'immense intérieur de la grille demeurait un mystère. Un mathématicien nommé N. Beluhov, observant les nombres sur un ordinateur, a supposé que l'ensemble de la grille suivait une règle unique et élégante qui fusionnait le comportement des deux bords. Il a proposé que si l'on connaissait la position de n'importe quel nombre dans la grille, on pourrait prédire sa valeur avec une formule simple, mais il n'a pas pu le prouver. La question était de savoir si ce beau motif se vérifiait partout, profondément à l'intérieur de la grille, ou s'il ne s'agissait que d'une coïncidence près des bords.

Un article récent de Shisheng Li confirme que l'hypothèse de Beluhov était correcte. L'auteur a prouvé que l'ensemble de la grille infinie suit une loi mathématique précise. La découverte révèle que les nombres dans la grille ne sont pas dispersés de manière aléatoire ; au contraire, ils sont disposés de telle sorte que leurs racines carrées croissent selon une ligne parfaitement droite. Cela signifie que si vous traciez une ligne reliant les positions de tous les nombres jusqu'à une certaine taille, cette ligne serait droite, formant une forme triangulaire nette. La preuve est significative car elle ne repose pas sur le comportement connu des bords pour expliquer le milieu. Au lieu de cela, l'auteur montre que les constantes de la formule — les nombres spécifiques qui déterminent la forme de la grille — émanent naturellement des propres règles de mouvement du jeu. Le nombre pi, qui apparaît habituellement dans les cercles, émerge ici de l'acte simple de déplacer des pierres, généré par la logique interne du jeu plutôt que par une forme géométrique externe.

Pour parvenir à cette conclusion, le chercheur n'a pas considéré la grille comme une image statique. Au lieu de cela, il a suivi un nombre spécifique à travers les différentes étapes du jeu. Imaginez une pierre particulière, disons le nombre cent, partant d'un trou spécifique. À mesure que les règles du jeu sont appliquées étape par étape, ce nombre change de position. L'auteur a suivi ce voyage, observant comment le numéro de rangée et de colonne changeait à chaque mouvement. En inversant ce processus, il pouvait partir d'une position connue et remonter le fil pour trouver le nombre qui y appartient. Cette méthode lui a permis de dépouiller la complexité du jeu pour se concentrer sur le rythme sous-jacent des mouvements.

La clé de la preuve fut de réaliser que le mouvement de ces nombres suit un motif qui peut être décrit par deux forces simples et opposées. Une force est pilotée par la position de la rangée, et l'autre par la position de la colonne. À mesure que le nombre progresse dans le jeu, ces deux forces interagissent de manière à créer un flux fluide et prévisible. L'auteur a démontré que la distance parcourue par un nombre est déterminée par un type spécifique de produit mathématique, une séquence de fractions qui, lorsqu'elles sont multipliées entre elles, produisent naturellement le nombre pi. Ce fut une découverte surprenante, car elle a démontré que la constante pi n'est pas seulement une caractéristique des cercles, mais qu'elle est tissée dans la trame même de ce jeu de déplacement de pierres.

Le résultat est une description complète de la grille de Tchoukaillon. L'article prouve que pour toute position importante dans la grille, la valeur du nombre peut être calculée avec une grande précision en utilisant une formule qui fusionne les coordonnées de la rangée et de la colonne. L'erreur dans cette prédiction est incroyablement faible, diminuant à mesure que les nombres deviennent plus grands. Cette découverte tranche la question de longue date sur la forme de la grille : les régions contenant des nombres jusqu'à une certaine taille sont effectivement des triangles, avec seulement un bord très fin et flou où la forme parfaite est légèrement estompée. De plus, la recherche fournit un moyen rapide et efficace de localiser n'importe quel nombre spécifique dans la grille. Au lieu de parcourir des millions d'entrées, on peut utiliser un ensemble simple d'étapes pour trouver exactement où se situe un nombre comme un million, une tâche qui prendrait autrement beaucoup de temps.

Le travail aborde également une question plus profonde sur la nature de ces motifs. Bien que la formule principale soit prouvée, l'auteur note que les nombres réels de la grille pourraient s'ajuster à la formule encore mieux que la preuve ne le montre actuellement. Les données suggèrent que la différence entre la valeur prédite et la valeur réelle est infime et constante, plutôt que de croître lentement. Cela laisse entendre qu'il existe peut-être une règle encore plus nette et plus précise en attente d'être découverte, une règle qui éliminerait entièrement les petites erreurs restantes. Pour l'instant, cependant, la preuve constitue une réponse définitive à la conjecture de Beluhov, révélant un ordre caché dans un jeu pratiqué depuis des siècles. Elle montre que même dans un simple jeu de déplacement de pierres, l'univers des mathématiques peut révéler des connexions profondes et inattendues, transformant un puzzle ludique en une fenêtre ouverte sur la structure fondamentale des nombres.

Résumé technique : Asymptotique de l'arrangement de Tchoukaillon et une conjecture de Beluhov

Énoncé du problème
L'article traite du comportement asymptotique de l'arrangement de Tchoukaillon, un arrangement infini d'entiers positifs $\mathcal{C}_{i,j}$ issu d'un jeu de solitaire Mancala à une seule rangée. L'arrangement est défini de telle sorte que chaque entier positif apparaît exactement une fois (une bijection $\mathbb{N}^2 \to \mathbb{Z}^+$ ). Bien que le comportement asymptotique des bordures de l'arrangement ait été connu précédemment — la Colonne 0 correspondant au crible de Flavius Josephus ( $\mathcal{C}_{i,0} \sim \frac{\pi}{4}i^2$ ) et la Rangée 0 correspondant aux nombres de Tchoukaillon ( $\mathcal{C}_{0,j} \sim \frac{1}{\pi}(j+1)^2$ ) — le comportement de l'entrée générale de l'intérieur $\mathcal{C}_{i,j}$ est resté un problème ouvert.

N. Beluhov a conjecturé, sur la base de preuves numériques, que pour de grandes valeurs de $i$ et $j$ , les entrées satisfont l'approximation :
$\mathcal{C}_{i,j} \approx \frac{(\pi i + 2j)^2}{4\pi}$
L'article vise à prouver cette conjecture, à fournir un terme d'erreur rigoureux et à déterminer la forme asymptotique des ensembles de niveau $\{(i,j) : \mathcal{C}_{i,j} \le V\}$ .

Méthodologie
La preuve repose sur une méthodologie de « trace », déplaçant la perspective de la construction de l'arrangement vers le suivi de la trajectoire d'une valeur entière unique $M$ à mesure que l'ordre $k$ de l'arrangement augmente.

Récurrence de la trace : L'auteur définit les coordonnées $(X_k, Y_k)$ pour la position d'une valeur $M$ dans l'arrangement d'ordre $k$ . En partant de $M$ à la position $(M-1, 0)$ dans l'ordre $k=1$ , la valeur migre vers sa position finale $(i, j)$ à l'ordre $k = N = i+j+1$ . Le mouvement obéit à une récurrence de partie entière couplée :
$X_k = X_{k-1} - \left\lfloor \frac{Y_{k-1}}{k} \right\rfloor, \quad Y_k = Y_{k-1} - \left\lfloor \frac{X_{k-1}}{k} \right\rfloor$
Cette récurrence est symétrique en $X$ et $Y$ , une caractéristique structurelle cruciale pour l'analyse.
Largeurs conjuguées : Au lieu de sommer directement les chutes de la récurrence, l'auteur introduit des « largeurs conjuguées » $R_m$ et $S_m$ , représentant le nombre d'étapes où les montants de chute dépassent un niveau $m$ . Cela transforme le problème en la sommation d'un « escalier » de chutes.
Linéarisation par l'arrondi : La récurrence des largeurs implique des fonctions partie entière. L'auteur montre que celles-ci peuvent être modélisées comme un système d'équations linéaires triangulaire inférieur perturbé par des erreurs d'arrondi à l'entier le plus proche. En supprimant les termes d'arrondi, le système se découple en deux récurrences scalaires pilotées par les coefficients binomiaux centraux.
Modes de Wallis : Le système linéarisé produit deux modes distincts (vecteurs propres) impliquant les suites $c_m = \binom{2m}{m}/4^m$ et $w_m = 1/(2m c_m)$ . Ces suites sont liées au produit de Wallis pour $\pi$ . Les constantes $\pi$ et $2$ de la formule asymptotique finale émergent naturellement de ces modes, dérivés uniquement de la récurrence de l'arrangement plutôt que des théorèmes de bordure.
Équilibrage de l'erreur : Pour retrouver la valeur $M$ à partir des largeurs, l'auteur emploie une stratégie de « lecture à un seul niveau ». Ils équilibrent deux sources d'erreur concurrentes : l'erreur de « sandwich » provenant de la lecture de $M$ à un niveau spécifique (qui diminue à mesure que le niveau $m$ augmente) et l'erreur de « quantification » provenant de l'arrondi des largeurs (qui augmente avec $m$ ). L'équilibre optimal se produit à $m \asymp N^{2/3}$ , donnant la borne d'erreur finale.

Contributions clés et résultats

Preuve de la conjecture de Beluhov : L'article prouve que lorsque $N = i+j+1 \to \infty$ ,
$\mathcal{C}_{i,j} = \frac{(\pi i + 2j + 2)^2}{4\pi} + O(N^{4/3})$
uniformément pour tous $i, j \ge 0$ . Ceci confirme la conjecture de Beluhov (qui correspond au terme principal) et fournit un terme principal centré explicite.
Loi de la racine carrée : Équivalemment, la racine carrée de l'entrée est asymptotiquement linéaire :
$\sqrt{\mathcal{C}_{i,j}} = \frac{\sqrt{\pi}}{2}i + \frac{1}{\sqrt{\pi}}(j+1) + O(N^{1/3})$
Cela démontre que le taux de croissance dans l'intérieur est un mélange linéaire des taux de croissance des deux bords (Colonne 0 et Rangée 0).
Forme géométrique des ensembles de niveau : Comme corollaire, l'article établit que les régions de niveau $\{(i,j) : \mathcal{C}_{i,j} \le V\}$ sont asymptotiquement triangulaires, délimitées par la droite $\pi i + 2j = 2\sqrt{\pi V} - 2$ , avec une couche limite de largeur $O(V^{1/6})$ .
Algorithme pour localiser les entiers : La récurrence de la trace mène à un algorithme en $O(\sqrt{M})$ pour déterminer les indices de ligne et de colonne $(i, j)$ pour un entier $M$ donné. Cela répond à une question posée par Knuth concernant la détermination rapide de la position d'un entier dans l'arrangement.

Signification et revendications
L'article affirme résoudre la structure asymptotique de l'arrangement de Tchoukaillon, un problème qui était resté ouvert malgré les résultats connus pour ses bordures. La principale signification réside dans :

Dérivation des constantes à partir de la récurrence : Les constantes $\pi$ et $2$ apparaissant dans la formule asymptotique sont montrées comme émanant intrinsèquement de la définition récursive de l'arrangement via le produit de Wallis, indépendamment des théorèmes de bordure préexistants.
Uniformité : Le résultat fournit une estimation uniforme sur tout l'arrangement, comblant le fossé entre les comportements connus des bords.
Perspective méthodologique : La technique consistant à analyser la « trace » d'un entier unique et à convertir la récurrence de partie entière en un système linéaire avec erreurs d'arrondi offre une approche novatrice pour des arrangements combinatoires similaires.

L'auteur note avec modestie que bien que l'erreur prouvée soit de $O(N^{4/3})$ , les preuves numériques suggèrent que l'erreur réelle pourrait être de $O(N)$ (voire $O(1)$ sur l'échelle de la racine carrée). Cependant, la preuve actuelle repose sur des estimations ponctuelles à un seul niveau et ne permet pas encore de contrôler les corrélations des erreurs d'arrondi entre les niveaux nécessaires pour améliorer cette borne. L'article laisse la question d'un terme d'erreur plus précis comme un problème ouvert.

Articles similaires