🔢 mathematics

Positive dyadic density for rational weighted binary expansions

L'article démontre que si une expansion binaire pondérée $\eta_S = \sum_{n\in S} n 2^{-n}$ est rationnelle, alors l'ensemble d'indices $S$ doit occuper une proportion positive de chaque bloc dyadique suffisamment grand, un résultat qui résout le Problème 260 d'Erdős en établissant une obstruction de densité locale à la rationalité par une analyse des états de retenue et des fenêtres d'écart.

Auteurs originaux : Han Wang

Publié 2026-07-17

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Han Wang

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 soyez un détective tentant de résoudre un mystère sur les nombres. Dans le monde des mathématiques, il existe un club spécial appelé les « Nombres Rationnels ». Ce sont les nombres « propres » du monde mathématique, qui peuvent s'écrire sous forme de fractions simples, comme 1/2 ou 3/4. Il y a ensuite les « Nombres Irrationnels », comme $\pi$ ou $\sqrt{2}$ . Ce sont les nombres « désordonnés », sans fin et sans répétition, qui se poursuivent éternellement sans jamais présenter de motif.

Pendant longtemps, des mathématiciens ont cherché à savoir si une somme spécifique et compliquée de nombres appartient au club des « propres » ou à celui des « désordonnés ». Imaginez une machine qui additionne une liste de nombres. Si la machine s'arrête et vous donne une fraction propre, c'est un rationnel. Si elle continue indéfiniment sans jamais s'installer dans un motif répétitif, c'est un irrationnel. La grande question est : peut-on prédire la réponse simplement en regardant où les nombres de la liste sont placés ? Si la liste est très clairsemée (c'est-à-dire que les nombres sont très espacés), cela force-t-il la somme finale à être désordonnée (irrationnelle) ? C'est le cœur d'une énigme célèbre connue sous le nom de Problème 260 d'Erdős, nommé d'après le mathématicien légendaire Paul Erdős, qui adorait poser des questions sur la manière dont les nombres se comportent lorsqu'ils sont dispersés.

Rencontrez maintenant un nouveau détective nommé Han Wang. Dans un article récent, Wang s'attaque à une version spécifique de ce puzzle impliquant des « développements binaires pondérés ». Considérez cela comme une façon spéciale de construire des nombres en utilisant des puissances de deux (comme 1/2, 1/4, 1/8), mais avec une nuance : chaque morceau possède un poids basé sur sa position. Le travail de Wang est de prouver que si vous essayez de construire une fraction « propre » (un nombre rationnel) en utilisant ces morceaux pondérés, ces derniers ne peuvent pas être trop espacés. En fait, ils doivent être regroupés de manière très dense et spécifique. Si les morceaux sont trop clairsemés, la somme doit être désordonnée (irrationnelle). Wang ne se contente pas de deviner ; il construit une forteresse mathématique pour le prouver au-delà de tout doute.

Le Mystère des Écarts Clairsemés

Décortiquons l'enquête de Wang. Imaginez que vous construisez un mur avec des briques. Chaque brique représente un nombre dans votre liste. Pour construire un mur « propre » (un nombre rationnel), les briques doivent s'emboîter parfaitement. Wang a découvert une règle cachée : si votre mur est fait de briques rationnelles, vous ne pouvez pas avoir d'énormes espaces entre elles.

Il a prouvé que dans n'importe quelle section suffisamment grande de votre mur, les briques doivent occuper une « proportion positive » de l'espace. Cela signifie que peu importe jusqu'où vous regardez le long du mur, vous trouverez toujours une quantité minimale de briques. Vous ne pouvez pas avoir une section du mur qui est presque entièrement vide. Si vous essayez de construire un mur où les briques sont très éloignées les unes des autres (une séquence « clairsemée »), les mathématiques forcent le mur à s'effondrer en une forme désordonnée et irrationnelle.

La Boîte à Outils du Détective : Retenues et Fenêtres

Comment Wang a-t-il prouvé cela ? Il a utilisé une astuce ingénieuse impliquant les « retenues », un concept que vous connaissez peut-être de l'addition de nombres sur papier. Quand on additionne 5 et 7, on obtient 12. On note le 2 et on « retient » le 1 pour la colonne suivante. Dans le monde mathématique de Wang, ces retenues sont comme de petits messagers qui voyagent le long de la ligne de nombres.

Wang a montré que si la somme finale est une fraction propre, ces messagers de retenue doivent suivre des règles strictes. Ils ne peuvent pas errer trop loin ; ils sont limités par une borne simple. C'est le premier indice.

La seconde partie de l'enquête implique l'observation de « fenêtres ». Imaginez faire glisser un cadre de fenêtre sur votre mur de briques. À l'intérieur de cette fenêtre, vous comptez combien de briques vous voyez. Wang a examiné ce qui se passe si vous essayez de créer une fenêtre qui est presque vide (un bloc « clairsemé »). Il a découvert que si vous avez une fenêtre avec très peu de briques, les « messagers de retenue » s'embrouillent. Ils commencent à s'accumuler d'une manière qui crée un déséquilibre énorme et impossible.

Pour attraper ce déséquilibre, Wang a utilisé une méthode d'« excès intégré ». Pensez à la mesure de la quantité d'eau qui déborde d'un seau si vous l'inclinez. Si les briques sont trop clairsemées, l'« eau » (l'erreur mathématique) déborde tellement qu'elle brise les lois de la physique pour les nombres rationnels. Les mathématiques ne peuvent tout simplement pas équilibrer l'équation si les écarts sont trop grands.

La Ligne Affine : Un Rail de Train Magique

C'est ici que l'histoire devient vraiment passionnante. Wang a remarqué que lorsque ces « messagers de retenue » répètent un certain motif d'écarts, ils s'alignent parfaitement sur une ligne droite. En mathématiques, cela s'appelle une « ligne affine ». Imaginez un rail de train magique où les trains (les nombres) doivent voyager. Si les écarts entre les arrêts sont trop longs et trop réguliers, les trains sont forcés de rester sur une voie unique.

Wang a compté combien de trains pouvaient tenir sur ce rail. Il a découvert que si les écarts sont clairsemés, le rail devient si encombré de scénarios impossibles qu'il crée une contradiction. C'est comme essayer de faire entrer trop de personnes dans une pièce trop petite ; finit par arriver un moment où quelqu'un doit briser les règles. Dans ce cas, la règle est que la somme doit être une fraction propre. Puisque les mathématiques se brisent, la somme ne peut pas être propre. Elle doit être irrationnelle.

Le Verdict

Le papier de Wang est une preuve complète. Il ne s'est pas contenté de simuler cela sur un ordinateur ou de suggérer que cela pourrait être vrai ; il a construit un argument logique qui ne laisse aucune place au doute. Il a prouvé que pour toute liste infinie de nombres où les écarts deviennent assez grands (spécifiquement, là où le $n$ -ième nombre est beaucoup plus grand que $n$ ), la somme de la série $\sum \frac{a_n}{2^{a_n}}$ est garantie d'être irrationnelle.

Cela résout une version spécifique et de longue date du Problème 260 d'Erdős. Cela nous dit que les nombres « propres » ont une exigence secrète : ils ont besoin d'un approvisionnement régulier d'ingrédients. On ne peut pas fabriquer une fraction parfaite à partir d'une recette où les ingrédients sont éparpillés trop loin les uns des autres. Si les ingrédients sont trop clairsemés, le résultat est inévitablement désordonné et infini.

Ainsi, la prochaine fois que vous verrez une liste de nombres s'étendant à l'infini, souvenez-vous de la découverte de Wang : si les écarts deviennent trop larges, le nombre que vous construisez ne sera jamais une simple fraction. Il sera l'un de ces magnifiques et éternels nombres irrationnels qui occupent les mathématiciens et les laissent curieux pour toujours.

Résumé Technique : Densité Dyadique Positive pour les Expansions Binaires à Poids Rationnels

Énoncé du Problème
L'article traite de l'irrationalité des séries binaires pondérées de la forme $\eta_S = \sum_{n \in S} n 2^{-n}$ , où $S \subseteq \mathbb{N}$ est un ensemble infini d'entiers positifs. Plus précisément, il étudie le Problème d'Erdős 260, qui demande si la série $\sum_{n \ge 1} a_n 2^{-a_n}$ doit être irrationnelle si la suite $a_n$ satisfait la condition de croissance $a_n/n \to \infty$ .

Alors que des résultats antérieurs avaient établi l'irrationalité sous des hypothèses plus fortes — telles que $a_{n+1} - a_n \to \infty$ (Erdős) ou $\limsup (a_{n+1}-a_n)/\log a_{n+1} = \infty$ (Borwein et Loring) — la condition $a_n/n \to \infty$ ne garantit qu'une rareté globale ( $\# \{n : a_n \le X\} = o(X)$ ). Elle permet des motifs de lacunes locales hautement irréguliers, incluant des grappes de lacunes courtes, que les méthodes précédentes ne pouvaient pas exclure. La difficulté centrale réside dans le fait qu'une suite globalement rare peut encore contenir des motifs de lacunes courtes complexes qui échappent aux critères de récurrence standards.

Méthodologie et Stratégie de Preuve
L'article prouve un résultat local plus fort : si $\eta_S$ est rationnel, alors $S$ doit occuper une proportion positive de chaque bloc dyadique $(X, 2X]$ suffisamment grand. Cette « densité dyadique positive » contredit la rareté impliquée par $a_n/n \to \infty$ .

La preuve procède par l'absurde, en supposant que $\eta_S = P/Q \in \mathbb{Q}$ et qu'un bloc dyadique est rare (c'est-à-dire que $S$ a une faible densité dans $(X, 2X]$ ). L'argument combine les propriétés arithmétiques des queues rationnelles avec le comptage combinatoire des motifs de lacunes :

Récurrence de la Retenue Intégrale : La rationalité implique que la « queue » de la série peut être exprimée comme une retenue entière non négative $R_N$ satisfaisant une récurrence linéaire $R_{N+1} = 2R_N - Q(N+1)d_{N+1}$ avec une borne de taille linéaire $0 \le R_N \le Q(N+2)$ .
Borne Inférieure de Bloc Rare : Si un bloc dyadique était rare, les lacunes entre les points de support seraient grandes. Les auteurs définissent des « paires de seuil de fenêtre » $(k, T)$ , où $k$ ancre une fenêtre de lacunes consécutives et $T$ est un seuil. Ils définissent un « excès intégré » $y(k, T)$ représentant l'écart par lequel l'étendue de la fenêtre dépasse $T$ . Un bloc rare force de nombreuses fenêtres à avoir un excès important, établissant une borne inférieure sur l'excès intégré total.
Borne Supérieure Combinatoire : Les auteurs analysent la structure des fenêtres présentant un grand excès.
- Sélection du Préfixe : Ils isolent un « préfixe long initial » unique de lacunes pour chaque fenêtre à excès important.
- Colinéarité de Réseau : En utilisant la récurrence de la retenue, ils montrent que les occurrences de motifs de préfixes fréquents doivent s'aligner sur des droites affines dans le plan $(x, R_x)$ (colinéarité de réseau).
- Dynamique de la Pente : L'évolution de la pente normalisée $\mu = K/(QH)$ $μ = K / (Q H)$ le long de ces droites est régie par l'application $\mu \mapsto 2^g \mu - 1$ $μ \mapsto 2^{g} μ - 1$ . Les auteurs divisent l'analyse en deux régimes :
  - Pente intérieure ( $0 < \mu < 1$ ) : La pente reste bornée. Les auteurs montrent que le dénominateur réduit de la pente finit par se stabiliser vers un entier impair fixe $q$ . Ils partitionnent la suite de lacunes en « blocs logarithmiques » et utilisent des bornes d'entropie et la séparation de Farey pour montrer que le nombre de telles occurrences est faible.
  - Pente extérieure ( $\mu \notin [0, 1]$ ) : Une fois que la pente sort de $[0, 1]$ , sa distance par rapport à l'intervalle croît exponentiellement avec l'étendue des mots de lacunes partagés. Cette séparation exponentielle limite drastiquement le nombre de paramètres entiers valides sur la droite affine.
Contradiction : L'analyse combinatoire produit une borne supérieure sur l'excès intégré total qui est asymptotiquement plus petite que la borne inférieure dérivée de l'hypothèse de bloc rare. Cette contradiction prouve qu'un bloc dyadique rare ne peut exister si $\eta_S$ est rationnel.

Contributions Clés et Résultats

Théorème 1.1 (Densité Dyadique Positive) : Si $S$ est infini et $\eta_S = P/Q \in \mathbb{Q}$ (sous forme irréductible), il existe une constante $c_{dens}(Q) > 0$ telle que pour toute échelle dyadique suffisamment grande $X = 2^L$ :
$A_S(2X) - A_S(X) \ge c_{dens}(Q) X$
où $A_S(X)$ est la fonction de comptage de $S$ . Cela établit que la rationalité impose une densité positive uniforme dans chaque grand bloc dyadique, et non seulement sur une sous-suite.
Corollaire 1.2 (Résolution du Problème d'Erdős 260) : Si $a_1 < a_2 < \dots$ satisfait $a_n/n \to \infty$ , alors $\sum_{n \ge 1} a_n 2^{-a_n}$ est irrationnel.
- Raisonnement : La condition $a_n/n \to \infty$ implique $A_S(X) = o(X)$ , ce qui contredit la borne inférieure de densité positive requise pour la rationalité.
Innovation Méthodologique : Le papier introduit une technique utilisant des fenêtres de lacunes chevauchantes et l'excès intégré pour traiter des mélanges arbitraires de lacunes courtes et longues sans nécessiter une lacune « exceptionnelle » de grande taille. Il exploite l'interaction entre la borne linéaire des retenues et la géométrie affine des points de réseau pour compter les occurrences de motifs de lacunes.

Signification et Revendications
Le papier prétend résoudre le Problème d'Erdős 260 en identifiant une obstruction de densité locale à la rationalité. Le résultat est plus fort que les critères d'irrationalité antérieurs car il ne repose pas sur l'existence d'une sous-suite de grandes lacunes ; il démontre plutôt que la rationalité est incompatible avec toute rareté locale dans les blocs dyadiques.

Les auteurs déclarent explicitement que leur méthode est adaptée à la structure arithmétique spécifique des séries binaires pondérées (puissances de 2 au dénominateur et poids linéaires au numérateur). Ils ne prétendent pas fournir une solution générale pour d'autres bases, d'autres séquences de poids, ou une loi de densité quantitative plus fine au-delà de l'existence de la constante $c_{dens}(Q)$ . La preuve repose sur des estimations arithmétiques élémentaires mais complexes, évitant la théorie des nombres transcendants profonde au profit des contraintes structurelles de la récurrence de la retenue.

Le Mystère des Écarts Clairsemés

La Boîte à Outils du Détective : Retenues et Fenêtres

La Ligne Affine : Un Rail de Train Magique

Le Verdict

Résumé Technique : Densité Dyadique Positive pour les Expansions Binaires à Poids Rationnels

Articles similaires