Joint distribution of leftmost digits in positional notation and Schanuels's conjecture

Cet article démontre que la surjectivité de l'application associant à un nombre réel ses premiers chiffres significatifs dans plusieurs bases entières distinctes implique l'indépendance rationnelle des logarithmes de ces bases, et prouve la réciproque pour deux bases ou pour un nombre quelconque de bases sous l'hypothèse de la conjecture de Schanuel.

L'essentiel

Imaginez que vous êtes un détective mathématique qui observe comment les nombres se comportent lorsqu'on les écrit dans différentes langues.

Voici l'explication de l'article de Wayne M. Lawton, traduite en français simple, avec des métaphores pour rendre les choses claires.

1. Le Contexte : Les "Premiers Chiffres" dans Différentes Langues

Imaginez que vous avez un nombre très grand, disons un trésor caché.

• Si vous écrivez ce trésor en base 10 (notre système habituel), le premier chiffre (le plus à gauche) vous dit dans quelle "boîte" il se trouve (par exemple, entre 1 et 9).
• Si vous écrivez le même trésor en base 2 (binaire), le premier chiffre sera différent.
• Si vous l'écrivez en base 3, base 4, etc., le premier chiffre changera encore.

L'auteur pose une question simple : Si je regarde le premier chiffre d'un nombre dans plusieurs bases différentes en même temps, puis-je obtenir n'importe quelle combinaison de chiffres ?

Par exemple, si je regarde en base 4 et en base 8, puis-je trouver un nombre dont le premier chiffre est "2" en base 4 ET "3" en base 8 ? Ou y a-t-il des combinaisons impossibles ?

2. La Règle d'Or : Les "Langues" doivent être Indépendantes

L'article découvre une règle fondamentale, un peu comme une loi de la physique pour les nombres :

• Le problème des "Langues Cousines" : Certaines bases sont liées entre elles. Par exemple, la base 4 et la base 8 sont liées car $4 = 2^2$et$8 = 2^3$. Elles partagent la même "racine" (le nombre 2). C'est comme si vous essayiez de traduire un texte en deux dialectes qui sont en fait la même langue.

  • Résultat : Si les bases sont liées (comme 4 et 8), vous ne pouvez pas obtenir toutes les combinaisons de premiers chiffres. Certaines combinaisons sont "interdites" par la nature même des nombres. C'est comme essayer de faire entrer un carré dans un trou rond : ça ne marche pas pour tout.

• La Solution des "Langues Étrangères" : Si les bases sont totalement différentes et n'ont aucun lien mathématique simple entre elles (par exemple, la base 3 et la base 5), alors tout devient possible.

  • Résultat : Vous pouvez obtenir n'importe quelle paire de premiers chiffres. C'est comme si vous parliez deux langues totalement différentes (le français et le chinois) ; il n'y a pas de contrainte qui vous empêche de dire "bonjour" dans l'une et "n'importe quoi" dans l'autre.

3. Le Secret : La Conjecture de Schanuel

C'est ici que ça devient fascinant. L'auteur prouve que si les bases sont "indépendantes", alors tout est possible. Mais pour le prouver dans le cas général (avec 3 bases ou plus), il a besoin d'une hypothèse très puissante et mystérieuse appelée la Conjecture de Schanuel.

L'analogie de la Conjecture de Schanuel :
Imaginez que les nombres premiers (2, 3, 5, 7, 11...) sont des ingrédients magiques.

• La conjecture dit que si vous mélangez ces ingrédients avec des opérations mathématiques (comme les logarithmes, qui sont des sortes de "transformateurs" de nombres), vous ne pouvez jamais créer de nouvelles relations magiques entre eux. Ils restent tous uniques et indépendants.
• Si cette conjecture est vraie (ce que la plupart des mathématiciens pensent), alors cela garantit que les "langues" (les bases) sont vraiment indépendantes.

4. La Conclusion de l'Article

En résumé, Wayne M. Lawton nous dit :

1. Si vos bases sont liées (comme 4 et 8), vous aurez toujours des trous dans vos combinaisons de chiffres. Vous ne pourrez jamais tout voir.
2. Si vos bases sont indépendantes (comme 3 et 5, ou 7 et 11), alors vous pourrez voir toutes les combinaisons possibles de premiers chiffres, à condition que la Conjecture de Schanuel soit vraie.

Pourquoi est-ce important ?
Cela nous aide à comprendre la structure profonde de l'univers des nombres. Cela nous dit que le chaos apparent des chiffres au début des nombres n'est pas aléatoire ; il suit des règles strictes basées sur la façon dont les bases sont construites. Si les bases sont "cousines", il y a de la censure. Si elles sont "étrangères", il y a une liberté totale.

C'est un peu comme si l'auteur nous disait : "Pour voir tout le spectre des couleurs, assurez-vous que vos sources de lumière ne sont pas toutes branchées sur le même circuit électrique."

Résumé technique

1. Problématique et Contexte

L'article s'intéresse à la distribution conjointe des chiffres de gauche (ou premiers chiffres significatifs) d'un nombre réel positif $x > 0$ lorsqu'il est représenté dans plusieurs bases entières distinctes.

Soit $n \ge 2$ et $B = (b_1, \dots, b_n)$ un vecteur d'entiers distincts supérieurs ou égaux à 3. Pour chaque base $b_i$, on définit la fonction $d_{b_i}(x)$ qui renvoie le chiffre de gauche de $x$ dans la base $b_i$ (c'est-à-dire l'entier $j \in \{1, \dots, b_i-1\}$ tel que $x \in [j \cdot b_i^k, (j+1) \cdot b_i^k)$ pour un certain entier $k$).

Le problème central est de déterminer les conditions sous lesquelles l'application vectorielle :
$$d_B : \mathbb{R}^+ \to \{1, \dots, b_1-1\} \times \dots \times \{1, \dots, b_n-1\}$$
définie par $d_B(x) = (d_{b_1}(x), \dots, d_{b_n}(x))$ est surjective. Autrement dit, peut-on trouver un nombre $x$ dont les chiffres de gauche correspondent à n'importe quelle combinaison possible de chiffres dans les différentes bases ?

2. Méthodologie

L'auteur utilise une approche combinant la théorie des nombres, l'analyse réelle et la dynamique topologique sur les tores.

• Formulation Logarithmique : La condition $d_b(x) = j$ est équivalente à une condition sur le logarithme : $\log_b(x) \in [\log_b(j), \log_b(j+1)) + \mathbb{Z}$.
• Lien avec l'Indépendance Rationnelle : L'étude se concentre sur les relations entre les logarithmes des bases, $\ln b_1, \dots, \ln b_n$.
  • Si deux logarithmes sont rationnellement dépendants (c'est-à-dire s'il existe des entiers $a, e_1, e_2$ tels que $b_1 = a^{e_1}$ et $b_2 = a^{e_2}$), le comportement est restreint.
  • Si les logarithmes sont rationnellement indépendants, le comportement est plus libre.
• Outils Topologiques : L'auteur introduit le tore $n$-dimensionnel $\mathbb{T}^n = \mathbb{R}^n / \mathbb{Z}^n$ et l'homomorphisme $\phi_\omega(t) = t\omega + \mathbb{Z}^n$.
  • Il utilise le Théorème de Kronecker (1884) : L'image de $\phi_\omega$ est dense dans $\mathbb{T}^n$ si et seulement si les composantes de $\omega$ sont rationnellement indépendantes.
• Hypothèses Transcendantales : Pour le cas général ($n \ge 3$), l'auteur fait appel à des conjectures profondes de la théorie des nombres transcendants, spécifiquement la Conjecture de Schanuel.

3. Contributions et Résultats Clés

A. Cas de deux bases ($n=2$)

L'article établit un résultat complet et inconditionnel pour $n=2$.

• Théorème 1 :
  • Si $\ln b_1$ et $\ln b_2$ sont rationnellement dépendants, alors $d_B$ n'est pas surjective. L'auteur fournit une condition nécessaire précise (inégalité (5) dans le texte) pour qu'une paire de chiffres $(j_1, j_2)$ soit atteignable. Des paires de chiffres sont systématiquement exclues de l'image.
  • Si $\ln b_1$ et $\ln b_2$ sont rationnellement indépendants, alors $d_B$ est surjective. La preuve repose sur la densité de l'image de la composition $h = \phi_\omega \circ \ln$ dans le tore $\mathbb{T}^2$.

B. Cas de $n$ bases ($n \ge 3$)

Pour $n \ge 3$, la surjectivité dépend de l'indépendance rationnelle de l'ensemble $\{\ln b_1, \dots, \ln b_n\}$.

• Théorème 2 :
  • Si une paire de logarithmes est rationnellement dépendante, $d_B$ n'est pas surjective (généralisation du cas $n=2$).
  • Si aucune paire n'est rationnellement dépendante, la surjectivité de $d_B$ est conditionnelle.
• Rôle de la Conjecture de Schanuel :
  • L'auteur introduit la Conjecture 1 : Les logarithmes de nombres premiers distincts sont algébriquement indépendants. Cette conjecture est une conséquence directe de la Conjecture de Schanuel.
  • Il démontre que la Conjecture 1 implique la Conjecture 2 : Si aucune paire de $\ln b_i$ n'est rationnellement dépendante, alors les inverses $1/\ln b_i$ sont rationnellement indépendants.
  • Conclusion : Sous l'hypothèse de la Conjecture de Schanuel (ou plus faiblement, la Conjecture 1), si les logarithmes des bases sont deux à deux rationnellement indépendants, alors $d_B$ est surjective pour tout $n \ge 3$.

4. Signification et Implications

• Lien entre Arithmétique et Dynamique : L'article illustre de manière élégante comment les propriétés arithmétiques des bases (indépendance rationnelle de leurs logarithmes) dictent le comportement dynamique de la distribution des chiffres.
• Rigueur Conditionnelle : Pour $n \ge 3$, le résultat est conditionnel à une conjecture majeure de la théorie des nombres transcendants. Cela met en lumière la difficulté de prouver l'indépendance rationnelle de combinaisons de logarithmes sans outils puissants comme la conjecture de Schanuel.
• Généralisation de la Loi de Benford : Bien que l'article ne traite pas directement de la loi de Benford (qui concerne la distribution des premiers chiffres dans une seule base), il étend le concept à la distribution conjointe dans plusieurs bases, montrant que la surjectivité (l'existence de toutes les combinaisons possibles) est la règle "générique" sauf en cas de dépendance arithmétique structurelle entre les bases.
• Contre-exemples explicites : L'article fournit des exemples concrets (comme les bases 4 et 8) montrant comment la dépendance rationnelle ($4=2^2, 8=2^3$) crée des "trous" dans l'ensemble des combinaisons de chiffres possibles.

En résumé, Wayne M. Lawton démontre que la capacité à générer toutes les combinaisons de chiffres de gauche dans plusieurs bases simultanément est équivalente à l'indépendance rationnelle des logarithmes de ces bases, une propriété qui, pour $n \ge 3$, repose sur la validité de la conjecture de Schanuel.