A Fixed-Prime Criterion for Reciprocals in Missing-Digit Sets

Cet article établit une borne structurelle sur la valuation $p$-adique des dénominateurs des rationnels appartenant à un ensemble à chiffres manquants, fournissant ainsi un critère effectif de finitude pour les inverses de diverses suites arithmétiques et généralisant des résultats récents sur les inverses de factorielles.

L'essentiel

Imaginez que vous avez une boîte de Lego de couleur rouge et une boîte de Lego de couleur bleue. Vous voulez construire une tour très spécifique en utilisant uniquement des briques rouges, mais vous avez une règle stricte : vous ne pouvez jamais utiliser de brique bleue. C'est un peu comme l'objet mathématique central de cet article : l'ensemble des nombres "sans certains chiffres".

Voici une explication simple de ce que Scott Duke Kominers a découvert, en utilisant des analogies du quotidien.

1. Le Contexte : Les Nombres "Sans Chiffres"

Dans notre système de numération (base 10), nous utilisons les chiffres 0 à 9. Mais imaginez un univers où l'on interdit le chiffre 7. On ne peut écrire que des nombres composés de 0, 1, 2, 3, 4, 5 et 6.
En mathématiques, on appelle cela un ensemble à chiffres manquants. Si vous prenez un nombre comme 1/3 (qui s'écrit 0,3333... en base 10), il est "autorisé". Mais si vous prenez 1/7 (qui s'écrit 0,142857142857...), il contient le chiffre 7, donc il est interdit.

La question que se posent les mathématiciens est la suivante : Si je prends une suite de nombres très spéciaux (comme les inverses de factorielles, de produits de Fibonacci, etc.), combien de ces nombres vont réussir à entrer dans cette "boîte sans chiffres interdits" ?

La réponse, jusqu'à présent, était souvent : "Très peu, voire aucun, sauf pour les tout premiers."

2. Le Problème : Pourquoi est-ce si difficile ?

Pensez à un détective qui cherche à savoir si un suspect (un nombre) est entré dans une maison interdite.

• L'ancienne méthode (Lin, Wu, Yang) : Le détective regardait le suspect de très loin. Il disait : "Ce suspect a une très grande taille (un dénominateur énorme). Les maisons interdites sont petites. Donc, il ne peut pas y entrer."
  • Le problème : Cette méthode fonctionnait bien pour les factorielles (1, 2, 6, 24...), mais elle était trop "grosse" et imprécise pour d'autres types de nombres. C'était comme essayer de mesurer la taille d'une fourmi avec une règle de chantier : ça marche, mais c'est inexact.

3. La Nouvelle Découverte : La "Règle du Code Secret"

Scott Kominers a inventé un outil beaucoup plus fin, une sorte de scanner de code-barres.

Au lieu de simplement regarder la "taille" du nombre, il regarde sa structure interne, plus précisément comment il se comporte avec un chiffre spécifique (appelé un "nombre premier") qui n'est pas interdit.

Voici l'analogie de la clé et de la serrure :

• Imaginez que chaque nombre a une clé (son dénominateur).
• Pour entrer dans la maison interdite (l'ensemble sans chiffres), cette clé doit tourner dans une serrure d'une manière très précise.
• La serrure est liée à la façon dont les chiffres se répètent (la période du nombre).
• Kominers a découvert une règle fondamentale : Si la clé a une partie trop lourde (un facteur premier élevé), elle ne peut pas tourner dans la serrure sans casser le mécanisme.

Il a prouvé que si le nombre a une "poids" mathématique (une valuation p-adique) qui grandit trop vite par rapport à la complexité de sa serrure (l'ordre multiplicatif), alors il est impossible qu'il appartienne à l'ensemble interdit.

4. Les Applications : Tester de nouveaux suspects

Grâce à cette nouvelle règle fine, l'auteur a pu tester des familles de nombres que l'ancienne méthode ne pouvait pas résoudre :

1. Les Super-factorielles (des produits de factorielles) : Comme des tours de Lego de plus en plus hautes. La règle confirme qu'elles finissent par être trop grosses pour entrer.

2. Les Produits de polynômes : Des nombres construits avec des formules algébriques. La règle fonctionne toujours.

3. Les Produits de nombres de Fibonacci (la suite 1, 1, 2, 3, 5, 8...) : C'est ici que ça devient fascinant. Ces nombres grandissent très vite et ont des facteurs premiers énormes.

   • L'ancien détective aurait dit : "Ces nombres sont trop gros, on ne peut pas vérifier."
   • Le nouveau scanner dit : "Attendez, même si les nombres sont énormes, leur 'serrure' interne est en fait très simple. Et c'est cette simplicité qui les empêche d'entrer."
   • Résultat : On sait exactement quels nombres de Fibonacci (et leurs produits) sont autorisés.

4. Le Cas Spécial (Produits de $3^k - 1$) : C'est le cas où l'ancienne méthode échouait totalement.

   • Imaginez un suspect qui porte un manteau énorme (un facteur premier gigantesque). L'ancien détective paniquait.
   • Mais le nouveau scanner regarde à l'intérieur du manteau et voit que le suspect porte en réalité un petit badge très simple. Le scanner dit : "Ah ! Même si le manteau est énorme, le badge est trop simple pour tromper la serrure. Ce suspect est exclu."

5. En Résumé : Pourquoi c'est important ?

Ce papier est comme une boîte à outils améliorée.

• Avant, on avait un marteau (la méthode des plus grands facteurs) qui fonctionnait bien pour les gros travaux (factorielles), mais qui cassait les objets fragiles.
• Maintenant, on a un scalpel chirurgical (la méthode structurelle). Il permet de couper au plus fin, de comprendre pourquoi certains nombres sont exclus même s'ils semblent "petits" ou "simples" à première vue, et de prouver rigoureusement qu'il n'y a qu'un nombre fini de solutions pour des suites très complexes.

C'est une avancée majeure car elle montre que la "forme" interne d'un nombre (sa structure arithmétique) est souvent plus importante que sa simple "taille" pour déterminer s'il peut ou non exister dans un monde de chiffres restreints.

Résumé technique

1. Problématique

L'article s'intéresse à l'intersection entre l'ensemble des inverses d'une suite d'entiers $\{1/a_n : n \in \mathbb{N}\}$ et un ensemble à chiffres manquants (missing-digit set) $K_{m,D}$.

• Définition de $K_{m,D}$ : Pour une base $m \ge 3$ et un sous-ensemble $D \subset \{0, 1, \dots, m-1\}$ tel que $1 < \#D < m$, l'ensemble $K_{m,D}$ est l'ensemble des nombres réels dans $[0, 1]$ dont le développement en base $m$ ne contient que des chiffres appartenant à $D$.
  $$K_{m,D} := \left\{ \sum_{j=1}^{\infty} \frac{a_j}{m^j} : a_j \in D \right\}$$
• Question centrale : Déterminer si l'ensemble d'intersection $\{1/a_n : n \in \mathbb{N}\} \cap K_{m,D}$ est fini, et si possible, le caractériser explicitement.
• Contexte : Des travaux récents de Lin, Wu et Yang [LWY26] ont prouvé la finitude pour les inverses de factorielles ($a_n = n!$) dans tout ensemble à chiffres manquants, et ont déterminé exactement l'intersection pour l'ensemble de Cantor middle-third ($m=3, D=\{0,2\}$). L'objectif de cet article est de généraliser la méthode de preuve de [LWY26] pour l'appliquer à une classe beaucoup plus large de suites, au-delà des factorielles.

2. Méthodologie

L'auteur développe un critère structurel basé sur l'analyse $p$-adique des dénominateurs, en décomposant le problème en trois étapes clés :

A. Réduction au dénominateur premier à $m$

Pour un rationnel $1/A$, l'auteur isole la partie du dénominateur coprime à la base $m$. Si $Q = A / (A, m^\infty)$ est la partie de $A$ non divisible par $m$, alors $1/A \in K_{m,D}$ implique l'existence d'un entier $r$ tel que $r/Q \in K_{m,D}$. Cela permet de se concentrer uniquement sur les dénominateurs $Q$ tels que $\gcd(Q, m) = 1$.

B. Obstruction structurelle (Théorème clé)

Le cœur de la méthode repose sur deux ingrédients arithmétiques combinés :

1. Estimation de Korobov : Pour une fraction réduite $r/Q$ avec $\gcd(Q, m)=1$, la longueur de la période de son développement en base $m$ est liée à l'ordre multiplicatif de $m$ modulo $Q$. Korobov [Kor72] établit une inégalité reliant la longueur de la période modulo $Q$ à celle modulo son radical $\text{rad}(Q)$ (le produit des facteurs premiers distincts de $Q$).
   $$\text{ord}_Q(m) \le c_{m,D} \cdot \text{ord}_{\text{rad}(Q)}(m)$$
   où $c_{m,D}$ est une constante dépendant de $m$ et $D$.
2. Lifting de l'ordre (Order-lifting) : Pour une valeur fixe $p_0$ (premier ne divisant pas $m$), si la valuation $p_0$-adique de $Q$ (notée $\nu_{p_0}(Q)$) est élevée, alors l'ordre multiplicatif $\text{ord}_Q(m)$ doit contenir une puissance élevée de $p_0$.

En combinant ces deux faits, l'auteur déduit une obstruction structurelle : si $r/Q \in K_{m,D}$, alors la valuation $p_0$-adique de $Q$ est bornée par la valuation $p_0$-adique de l'ordre de $m$ modulo $\text{rad}(Q)$, plus des termes constants.
$$\nu_{p_0}(Q) \le t(m, p_0) + \nu_{p_0}(\text{ord}_{\text{rad}(Q)}(m)) + \log_{p_0}(c_{m,D})$$

C. Critère de finitude pour les suites

Le théorème principal (Théorème 3.5) transforme cette obstruction en un critère de finitude pour une suite $a_n$. Si l'on peut montrer que pour une suite de dénominateurs $Q_n$ (partie de $a_n$ coprime à $m$) :

1. La valuation $\nu_{p_0}(Q_n)$ croît suffisamment vite (fonction $\alpha(n)$).
2. La valuation $\nu_{p_0}(\text{ord}_{\text{rad}(Q_n)}(m))$ croît lentement (fonction $\gamma(n)$).
3. L'inégalité $\alpha(n) > t + \gamma(n) + \log_{p_0}(c_{m,D})$ est satisfaite pour $n$ assez grand.

Alors, $1/a_n \notin K_{m,D}$ pour tout $n$ suffisamment grand, prouvant ainsi la finitude de l'intersection.

3. Contributions Clés

1. Généralisation du critère de Lin-Wu-Yang : L'article extrait le mécanisme de preuve de [LWY26] (spécifique aux factorielles) pour en faire un critère abstrait applicable à n'importe quelle suite d'entiers.
2. Distinction entre termes structurels et termes "grossiers" : L'auteur introduit une distinction importante entre l'utilisation de la plus grande facteur premier ($P^+(Q_n)$) et l'utilisation directe de l'ordre modulo le radical.
   • La plupart des exemples classiques (factorielles, super-factorielles) peuvent être traités par une version simplifiée utilisant $P^+(Q_n)$.
   • Cependant, l'article démontre que pour certaines suites (comme les produits de $(m^k - 1)$), l'approche basée sur le plus grand facteur premier échoue car $P^+(Q_n)$ croît exponentiellement, tandis que le terme structurel $\nu_{p_0}(\text{ord}_{\text{rad}(Q_n)}(m))$ reste logarithmique. Le critère structurel complet est donc nécessaire et plus puissant.
3. Nouveaux résultats de finitude : Application du critère à de nouvelles familles de suites :
   • Super-factorielles ($\prod k!$).
   • Produits de valeurs de polynômes ($\prod f(k)$).
   • Produits de nombres de Fibonacci.
   • Produits de termes de la forme $(m^k - 1)$.

4. Résultats Principaux

• Théorème 3.5 (Critère structurel) : Établit la finitude de l'intersection sous des hypothèses de croissance des valuations $p$-adiques et de contrôle de l'ordre modulo le radical.
• Corollaire 3.6 (Forme via le plus grand facteur premier) : Une version simplifiée du théorème, plus facile à vérifier pour les suites où le plus grand facteur premier ne croît pas trop vite.
• Applications explicites :
  • Pour les factorielles dans l'ensemble de Cantor ($m=3, D=\{0,2\}$), l'article confirme et affine le résultat : $\{1/n!\} \cap C = \{1, 1/120\}$.
  • Pour les super-factorielles dans $C$, l'intersection est $\{1, 1/12\}$.
  • Pour les produits de $(k^2+1)$, l'intersection est $\{1/10\}$.
  • Pour les produits de nombres de Fibonacci, l'intersection est $\{1, 1/30\}$.
  • Pour les produits de $(3^k - 1)$, l'intersection est vide ($\emptyset$).
• Limites du critère : L'article identifie des cas où la méthode échoue, notamment pour les primoriaux (où la valuation est toujours $\le 1$) et les coefficients binomiaux centraux (où la valuation reste bornée sur une sous-suite infinie), expliquant pourquoi ces suites échappent à la croissance rapide requise.

5. Signification et Impact

Cet article représente une avancée significative dans l'étude des points rationnels dans les ensembles fractals (ensembles à chiffres manquants).

• Unification : Il unifie des résultats dispersés en fournissant un cadre théorique unique basé sur la valuation $p$-adique et la théorie des ordres multiplicatifs.
• Puissance technique : En passant d'une approche basée sur la taille des facteurs premiers à une approche basée sur la structure de l'ordre modulo le radical, l'auteur résout des cas qui étaient auparavant inaccessibles ou nécessitaient des méthodes ad hoc.
• Outil réutilisable : La méthode est conçue pour être réutilisable pour d'autres classes de suites réciproques, offrant une "boîte à outils" pour les chercheurs travaillant sur les intersections de suites arithmétiques et de fractales.
• Précision : L'article fournit non seulement des preuves de finitude, mais aussi des bornes explicites et des vérifications computationnelles exactes (via des algorithmes de division longue en base $m$) pour déterminer les éléments finis de l'intersection.

En résumé, Kominers réussit à abstraire et à renforcer la méthode de Lin-Wu-Yang, démontrant que la contrainte imposée par un ensemble à chiffres manquants sur les dénominateurs rationnels est fondamentalement liée à la complexité de l'ordre multiplicatif de la base modulo le radical du dénominateur, et non simplement à la taille de ses facteurs premiers.