🔢 mathematics

Hankel determinants of weighted binary sums of digits

Cet article établit une récurrence générale pour le calcul des déterminants de Hankel de fonctions de somme des chiffres binaires pondérées, dérivant des évaluations explicites sous forme de clôture pour le cas ordinaire afin de résoudre partiellement un problème d'Allouche et Shallit, et analysant le comportement de l'annulation de ces déterminants pour les poids polynomiaux et leurs premières différences.

Auteurs originaux : Bartosz Sobolewski, Maciej Ulas

Publié 2026-07-13

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Bartosz Sobolewski, Maciej Ulas

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 une calculatrice magique qui ne se contente pas d'additionner des nombres, mais qui observe combien de « 1 » se cachent dans le code binaire secret d'un nombre (comme un langage secret composé uniquement de zéros et de uns). Appelons cela la « somme des chiffres ». Maintenant, imaginez que vous preniez une multitude de ces sommes de chiffres et que vous les organisiez dans une grille carrée géante, où chaque cellule contient une somme spécifique basée sur sa ligne et sa colonne. Cette grille est appelée une matrice de Hankel.

La grande question que les auteurs, Bartosz Sobolewski et Maciej Ulas, posent est la suivante : si vous réduisez cette grille en un seul nombre (appelé déterminant), qu'obtenez-vous ?

D'ordinaire, ces nombres sont désordonnés, imprévisibles et difficiles à calculer. Mais ce papier est comme la découverte d'une clé maîtresse qui déverrouille un motif caché dans le chaos.

La Clé Magique : Une Recette Récursive

Les auteurs ont découvert une « recette » générale (une récursion) qui permet de calculer ces grands nombres de grilles sans avoir à construire toute la grille à chaque fois. C'est comme réaliser qu'au lieu de compter chaque grain de sable sur une plage, on peut simplement observer quelques dunes spécifiques et utiliser une formule pour connaître le compte total.

Ils ont testé cette recette sur la version la plus basique du problème : la somme des chiffres binaires standard. Et devinez quoi ? Ils ont trouvé des réponses incroyablement simples pour des familles infinies de tailles de grilles spécifiques.

Par exemple, si vous choisissez une taille de grille basée sur la formule $n = \lceil 2^{k+2}/3 \rceil$ (ce qui signifie une séquence spécifique de nombres croissants), le résultat est d'une simplicité frappante :
$\text{Résultat} = (-1)^{\text{quelque chose}} \times (k + 1)$
C'est simplement le nombre $k+1$ avec un signe plus ou moins attaché ! Cela résout un puzzle que les mathématiciens Allouche et Shallit se demandaient depuis un certain temps.

Le Tournant des « Poids »

Les auteurs ne se sont pas arrêtés à la version standard. Ils ont introduit des « poids », qui reviennent à donner des valeurs différentes aux différentes positions dans le code binaire. Imaginez que le premier « 1 » que vous voyez vaut 1 point, le deuxième vaut $t$ points, le troisième vaut $t^2$ points, et ainsi de suite.

Lorsqu'ils ont fait cela, les nombres uniques sont devenus des polynômes (des équations avec des variables comme $t$ ). Ils ont découvert que pour certaines valeurs spéciales de $t$ — spécifiquement quand $t$ est lié aux « racines de l'unité » (des nombres qui reviennent à 1 lorsqu'ils sont multipliés par eux-mêmes suffisamment de fois) — ces polynômes s'annulent (deviennent zéro) pour de très longues étendues de tailles de grilles.

Imaginez un piano. Si vous appuyez sur certaines touches (tailles de grilles spécifiques), la note est silencieuse. Les auteurs ont prouvé que pour ces valeurs spéciales de $t$ , il existe de longs intervalles structurés de silence. Cependant, ils ont également montré que les notes « non silencieuses » sont rares et dispersées, comme trouver quelques îles spécifiques dans un vaste océan vide.

Ce qu'ils ont trouvé et ce qu'ils n'ont pas trouvé

Il est important de savoir ce que ce papier dit que la réponse n'est pas, et ce qu'il laisse en suspens.

Pas de formule magique unique pour tout : Ils n'ont pas trouvé une formule simple qui fonctionne pour chaque taille de grille possible. Le motif est complexe et dépend de la structure binaire du nombre.
Pas d'aléatoire : Ils montrent explicitement que les zéros ne sont pas aléatoires. Ils surviennent dans des blocs très spécifiques et structurés.
Questions ouvertes sur les « racines multiples » : Ils n'ont pas prouvé qu'il n'existe pas d'autres nombres spéciaux où le polynôme possède une « racine double » (un zéro double). Au contraire, ils listent explicitement cela comme une question ouverte (Question 6.2). Ils demandent si de telles racines existent en dehors de celles qu'ils connaissent déjà ( $t=0$ et $t=2\zeta$ ), mais ils ne l'ont pas encore infirmé.

À quel point sont-ils sûrs d'eux ?

Faits prouvés : La recette récursive, les formules fermées spécifiques pour les séquences spéciales (comme le résultat $k+1$ ), et l'existence de longs intervalles où les déterminants s'annulent sont des faits mathématiques prouvés. Ce sont des faits solides.
Simulations et conjectures : Les auteurs ont lancé des simulations informatiques pour vérifier les motifs pour des nombres plus grands. Sur la base de ces simulations, ils suggèrent (mais n'ont pas encore prouvé) que l'ensemble des indices non nuls est encore plus rare que ce qu'ils ont calculé. Ils conjecturent également (devinent fortement) que l'ensemble des indices où le déterminant est nul suit un motif très spécifique dans tous les cas, mais ils admettent que la « partie difficile » de la preuve des cas non nuls est encore manquante.

La Connexion avec le « Doublement de Période »

Le papier relie également cela à une séquence célèbre appelée la « séquence de doublement de période » (un motif qui continue de basculer et de doubler). Ils ont découvert que leur nouvelle méthode générale explique un ancien résultat sur cette séquence, mais avec une nuance : ils ont trouvé une petite erreur de signe dans la formule du papier original et l'ont corrigée. C'est comme trouver une faute de frappe dans une vieille carte et réaliser que le trésor est en fait à l'endroit même que vous pensiez être vide.

La Vue d'Ensemble

En résumé, ce papier prend un objet mathématique désordonné et compliqué (les déterminants de Hankel des sommes de chiffres) et montre que sous le chaos, il existe une structure rigide et magnifique. Ils ont trouvé un moyen de prédire la valeur pour des familles infinies de cas spécifiques et ont prouvé que, pour certains réglages spéciaux, les valeurs disparaissent en vagues longues et prévisibles.

Ils nous laissent quelques questions ouvertes, comme de savoir s'il existe une limite universelle à la taille des racines de ces polynômes (les simulations suggèrent une limite autour de 2,618), et si ces motifs se maintiennent pour d'autres bases numériques (comme la base 3 ou la base 10). Mais pour l'instant, ils nous ont remis un nouvel outil puissant pour décoder les secrets des sommes binaires.

Résumé Technique : Déterminants de Hankel des sommes de chiffres binaires pondérées

Énoncé du Problème
L'article traite du problème de l'évaluation des déterminants de Hankel associés aux séquences digitales, spécifiquement la fonction de la somme de chiffres binaire ordinaire. Ce problème a été explicitement posé par Allouche et Shallit (Problème 4 de leur monographie), demandant une forme fermée simple pour les déterminants $H(n) = \det[s(i+j)]_{0 \le i,j < n}$ , où $s(n)$ est la somme de chiffres binaire ordinaire. Alors que les recherches antérieures ont réussi à analyser ces déterminants modulo des entiers (par exemple, en prouvant la non-annulation modulo 2 pour la séquence de Thue-Morse), l'obtention d'expressions exactes à forme fermée pour un $n$ arbitraire est restée rare. Les auteurs notent que restreindre le champ à la somme de chiffres ordinaire est souvent trop limitatif pour la réduction matricielle récursive en raison des perturbations dans les contributions des chiffres ; ainsi, ils généralisent le problème aux sommes de chiffres binaires pondérées.

Méthodologie
Les auteurs introduisent une séquence de poids complexes $w = (w_j)_{j \ge 0}$ et définissent la fonction de somme de chiffres pondérée $s_w(n)$ . Les déterminants de Hankel associés sont notés $H_w(n)$ . La méthodologie centrale repose sur l'exploitation de l'auto-similarité de la fonction de somme de chiffres par des décompositions de matrices par blocs et des produits de Kronecker.

Réduction Récursive : L'article établit un cadre récursif général (Théorème 4.2) qui relie $H_w(n)$ et un déterminant auxiliaire $\tilde{G}_w(n)$ (associé à la première différence de $s_w$ ) à des déterminants de taille plus petite. Cette récursion dépend de l'expansion binaire de $n$ .
Déterminants Auxiliaires : Une partie importante du travail technique concerne l'analyse de $G_w(n)$ , le déterminant de Hankel de la séquence de la première différence $d_w(n) = s_w(n+1) - s_w(n)$ . Les auteurs dérivent une formule produit fermée pour $G_w(n)$ (Théorème 3.4) basée sur la structure de la longueur des séries de la décomposition binaire de $n$ .
Spécialisation Polynomiale : Les auteurs spécialisent les poids sous la forme $w_j = t^j$ , transformant les déterminants en polynômes $H(n, t)$ . Cela permet l'étude des racines, des degrés et des coefficients dominants.
Construction de Noyau : Pour étudier les conditions d'annulation pour des valeurs spécifiques de $t$ (spécifiquement $t = 2\zeta$ où $\zeta$ est une racine de l'unité), les auteurs construisent des vecteurs explicites non nuls dans le noyau des matrices de Hankel, en utilisant des produits tensoriels et les propriétés de la matrice $F(n, t)$ .

Contributions Clés et Résultats

Récursion Générale : Le résultat central (Théorème 4.2) fournit un ensemble de formules récursives permettant le calcul effectif de $H_w(n)$ pour tout $n$ . Cela offre une solution partielle au problème d'Allouche-Shallit dans un cadre généralisé.
Formes Fermées pour des Indices Spécifiques : Pour la somme de chiffres binaire ordinaire ( $w_j=1$ $w_{j} = 1$ ), les auteurs dérivent des formes fermées explicites pour plusieurs familles infinies d'indices :
- Pour $n_k = \lceil 2^{k+2}/3 \rceil$ , le déterminant est donné par la formule remarquablement simple :
  $H(n_k) = (-1)^{\frac{(k+2)(k+3)}{2}} (k+1)$
- Des formules sont également fournies pour les indices de la forme $2^m$ , $2^m \pm 1$ , et $2^m + \epsilon$ (Proposition 4.5).
Structure Polynomiale : Pour la spécialisation polynomiale $w_j = t^j$ , les auteurs déterminent le degré et le coefficient dominant de $H(n, t)$ . Ils prouvent que $H(n, t)$ se factorise en $\sigma(n) t^{\beta(n)} (2-t)^{n-2} \hat{H}(n, t)$ , où $\hat{H}(n, t)$ est un polynôme unitaire avec des coefficients entiers positifs (Théorème 4.10).
Annulation et Non-Annulation :
- L'article étudie l'ensemble des indices $n$ pour lesquels $H(n, 2\zeta) = 0$ pour des racines de l'unité $\zeta$ . Il est montré que pour toute racine de l'unité $\zeta$ d'ordre $d \ge 2$ , les déterminants s'annulent sur de longs intervalles centrés sur des multiples de puissances élevées de 2 (Théorème 5.4).
- L'ensemble des indices de non-annulation est prouvé être épars (densité 0) mais infini (Théorème 5.5).
- Une famille infinie d'indices distincts de $n_k$ est identifiée où $H(n, 2\zeta) \neq 0$ (Théorème 5.10).
Séquence de Doublement de Période : En choisissant des poids comme étant des nombres de Jacobsthal, les auteurs récupèrent et corrigent un résultat de Fokkink, Kraaikamp et Shallit concernant les déterminants de Hankel de la séquence de doublement de période (Proposition 3.9).
Comportement des Signes : La séquence des signes de $H(n, 1)$ est montrée comme étant non périodique, et sa fonction génératrice est prouvée comme étant transcendante sur $\mathbb{Q}(x)$ (Théorème 4.13).

Signification
L'article affirme fournir une « solution partielle » au problème posé par Allouche et Shallit en étendant le champ aux sommes pondérées, ce qui est nécessaire pour dériver des récursions effectives. La principale signification réside dans la dérivation d'évaluations exactes à forme fermée pour des familles infinies d'indices spécifiques, une rareté dans le domaine où les résultats sont typiquement limités à l'arithmétique modulaire. De plus, le travail généralise les découvertes précédentes sur la séquence de doublement de période et offre une analyse structurelle détaillée du comportement d'annulation de ces déterminants lorsqu'ils sont considérés comme des polynômes. Les auteurs notent que bien qu'ils ne fournissent pas une forme fermée unique pour un $n$ arbitraire, la structure récursive permet un calcul effectif et révèle des connexions profondes entre la structure 2-adique des indices et les propriétés algébriques des déterminants.