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

Dit artikel bewijst dat de linkse cijfers van een getal in verschillende grondtallen een surjectieve gezamenlijke verdeling hebben dan en slechts dan als de natuurlijke logaritmen van die grondtallen rationeel onafhankelijk zijn, waarbij de omgekeerde richting voor drie of meer grondtallen afhankelijk is van de aanname dat de verzameling van logaritmen van priemgetallen algebraïsch onafhankelijk is, een voorwaarde die wordt ondersteund door Schanuel's conjecture.

De kern

Stel je voor dat je een getal hebt, zoals 1000. Hoe je dat getal schrijft, hangt af van het "telsysteem" dat je gebruikt. In ons dagelijks leven gebruiken we het decimale systeem (basis 10), dus 1000 begint met de cijfer 1. Maar als je het in het binair systeem (basis 2) zou schrijven, zou het er heel anders uitzien en beginnen met een ander cijfer.

Deze tekst is een wiskundig artikel dat een heel specifieke vraag onderzoekt: Wat gebeurt er als we naar het eerste cijfer van een getal kijken in verschillende telsystemen tegelijk?

Hier is een eenvoudige uitleg van de kernpunten, met behulp van analogieën:

1. Het Experiment: De "Eerste Cijfer"-Kijker

De schrijver, Wayne Lawton, stelt zich een machine voor die naar een willekeurig getal kijkt (bijvoorbeeld een heel groot getal). Deze machine doet twee dingen tegelijk:

1. Het kijkt naar het getal alsof het in basis 4 is geschreven en noteert het eerste cijfer.
2. Het kijkt naar hetzelfde getal alsof het in basis 8 is geschreven en noteert ook het eerste cijfer.

De vraag is: Kunnen we elke mogelijke combinatie van eerste cijfers krijgen?
Bijvoorbeeld: Krijgen we ooit een getal dat in basis 4 begint met een '2' én in basis 8 begint met een '3'? Of zijn sommige combinaties onmogelijk?

2. De Regels van het Spel: De "Familiebanden" van Bases

Het artikel ontdekt dat het antwoord afhangt van de "familiebanden" tussen de bases (de telsystemen).

• De Slechte Nieuws: Als de bases "verwant" zijn, kun je niet alles krijgen.

  • Analogie: Stel je voor dat basis 4 en basis 8 familieleden zijn. Basis 4 is $2^2$en basis 8 is$2^3$. Ze delen dezelfde "stamvader" (het getal 2).
  • Als je bases verwant zijn (zoals 4 en 8), dan zijn de eerste cijfers in het ene systeem afhankelijk van de eerste cijfers in het andere. Het is alsof je probeert twee verschillende muzieknummers te spelen op één gitaar; als je op de ene snaar een noot speelt, bepaalt dat automatisch welke noten op de andere snaar mogelijk zijn. Je kunt niet alles spelen. Er zijn "verboden combinaties".
  • In het artikel wordt bewezen dat als de natuurlijke logaritmen van de bases ($\ln 4$ en $\ln 8$) een "rationeel verband" hebben (ze zijn met elkaar verbonden door breuken), er altijd combinaties van eerste cijfers zijn die nooit voorkomen.

• De Goede Nieuws: Als de bases "vreemden" zijn, kun je alles krijgen.

  • Analogie: Stel je voor dat basis 3 en basis 5 totaal niets met elkaar te maken hebben. Ze zijn als twee volkomen verschillende talen die geen woorden delen.
  • Als je bases "rationeel onafhankelijk" zijn (wat betekent dat ze wiskundig gezien geen familie zijn), dan is het alsof je twee onafhankelijke roulettewielen draait. Je kunt elke willekeurige combinatie van eerste cijfers krijgen. De machine is surjectief (een mooi woord voor: hij dekt het hele spectrum).

3. Het Grote Geheim: De Schanuel-gissing

Hier komt het spannende deel. De wiskundige wist voor het geval van twee bases (zoals 3 en 5) zeker dat het werkt. Maar wat als we kijken naar drie of meer bases tegelijk?

Om te bewijzen dat je bij drie of meer bases ook elke combinatie kunt krijgen, moet je aannemen dat er een heel groot, onbewezen mysterie in de wiskunde waar is. Dit heet de Schanuel-gissing.

• De Analogie: Stel je voor dat de natuurlijke logaritmen van priemgetallen (2, 3, 5, 7...) een soort "goddelijke code" zijn. De Schanuel-gissing zegt dat deze code zo complex en willekeurig is dat er geen enkele wiskundige formule is die deze getallen met elkaar verbindt. Ze zijn volledig onafhankelijk van elkaar.
• Als deze gissing waar is (en de meeste wiskundigen denken van wel), dan betekent het dat voor elke verzameling van bases die geen familiebanden hebben, je altijd elke mogelijke combinatie van eerste cijfers kunt vinden.

Samenvatting in het Dagelijkse Leven

Stel je voor dat je een enorme verzameling sleutels hebt.

1. Als je twee sloten hebt die door dezelfde fabrikant zijn gemaakt (verwante bases), past niet elke sleutel in elk slot. Sommige combinaties zijn onmogelijk.
2. Als je sloten hebt van totaal verschillende fabrikanten die niets met elkaar te maken hebben (onafhankelijke bases), dan kun je met genoeg geluk elke sleutel in elk slot steken.

Deze paper zegt eigenlijk: "Als je bases kiest die wiskundig gezien 'vreemden' zijn, dan kun je elke combinatie van eerste cijfers genereren, mits we een paar grote wiskundige mysteries (zoals de Schanuel-gissing) als waar accepteren."

Het is een bewijs dat de willekeur van getallen in verschillende telsystemen dieper verbonden is met de fundamentele structuur van de wiskunde dan we eerst dachten.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "Joint distribution of leftmost digits in positional notation and Schanuel's conjecture" van Wayne M. Lawton, geschreven in het Nederlands.

Titel: Gezamenlijke verdeling van linkste cijfers in positiestelsels en de conjectuur van Schanuel

Auteur: Wayne M. Lawton (Siberische Federale Universiteit)
Onderwerp: Getaltheorie, Dynamische systemen, Transcendente getallen

---

1. Probleemstelling

Het paper onderzoekt de gezamenlijke verdeling van de linkste cijfers (de meest significante cijfers) van positieve reële getallen $x > 0$ wanneer deze worden weergegeven in verschillende positiestelsels (bases).

Gegeven een verzameling van $n \ge 2$ verschillende gehele getallen $B = (b_1, \dots, b_n)$ met $b_i \ge 3$, wordt de functie $d_B(x)$ gedefinieerd als de vector van de linkste cijfers van $x$ in elk van deze bases:
$$d_B(x) := (d_{b_1}(x), \dots, d_{b_n}(x))$$
waarbij $d_{b_i}(x) \in \{1, \dots, b_i - 1\}$.

De centrale vraag is: Wanneer is de functie $d_B$ surjectief? Dat wil zeggen, kan elke mogelijke combinatie van linkste cijfers worden gegenereerd door een geschikt getal $x$ te kiezen? Het paper onderzoekt de relatie tussen deze surjectiviteit en de rationale onafhankelijkheid van de logaritmen van de bases ($\ln b_i$).

2. Methodologie

De auteur hanteert een combinatie van methoden uit de getaltheorie, de theorie van dynamische systemen en de theorie van transcendentie:

• Positiestelsel-analyse: De linkste cijferfunctie $d_b(x)$ wordt geformuleerd in termen van logaritmen:
  $$d_b(x) = j \iff \log_b(x) \in [\log_b(j), \log_b(j+1)) + \mathbb{Z}$$
  Dit koppelt het probleem aan de fractie van $\log_b(x)$.
• Groepentheorie en Tori: Het probleem wordt gemodelleerd via homomorfismen naar de torusgroep $\mathbb{T}^n = \mathbb{R}^n/\mathbb{Z}^n$. De auteur definieert een homomorfisme $\phi_\omega(t) = t\omega + \mathbb{Z}^n$ met $\omega_i = 1/\ln b_i$.
• Kronecker's Dichtheidsstelling: Er wordt gebruikgemaakt van een klassiek resultaat van Leopold Kronecker (1884), dat stelt dat het beeld van een lineaire stroom op een torus dicht is in de torus dan en slechts dan als de frequenties (de componenten van $\omega$) rationaal onafhankelijk zijn.
• Transcendentietheorie: Voor het geval $n \ge 3$ en de bases geen rationale relaties onderling hebben, wordt een dieper wiskundig verband gelegd met de conjectuur van Schanuel. De auteur toont aan dat de surjectiviteit afhangt van de algebraïsche onafhankelijkheid van de logaritmen van priemgetallen.

3. Belangrijkste Bijdragen en Resultaten

A. Het geval $n=2$ (Twee bases)

Voor twee bases $b_1$ en $b_2$ wordt een volledig karakteriserend resultaat bewezen:

• Rationale afhankelijkheid: Als $\ln b_1$ en $\ln b_2$ rationaal afhankelijk zijn (d.w.z. $b_1 = a^{e_1}$ en $b_2 = a^{e_2}$ voor een geheel getal $a \ge 2$), dan is $d_B$ niet surjectief. Er bestaan specifieke paren cijfers die nooit voorkomen. De auteur geeft een expliciete voorwaarde (ongelijkheid (5) in het paper) voor wanneer een paar wel voorkomt.
  • Voorbeeld: Voor $B=(4, 8)$ is het paar $(2, 3)$ niet in het beeld van $d_B$.
• Rationale onafhankelijkheid: Als $\ln b_1$ en $\ln b_2$ rationaal onafhankelijk zijn, dan is $d_B$ surjectief. Dit volgt direct uit de dichtheid van het beeld op de 2-dimensionale torus.

B. Het geval $n \ge 3$ (Meerdere bases)

Voor drie of meer bases is de situatie complexer en afhankelijk van onopgeloste problemen in de getaltheorie:

• Noodzakelijke voorwaarde: Als er een paar bases is met rationaal afhankelijke logaritmen, is de gezamenlijke verdeling niet surjectief (gevolgd uit het resultaat voor $n=2$).
• Voldoende voorwaarde (onder een conjectuur): Als geen enkel paar logaritmen rationaal afhankelijk is, is de surjectiviteit van $d_B$ niet triviaal te bewijzen zonder extra aannames.
  • De auteur bewijst dat de surjectiviteit volgt uit Conjecture 2: Als $\{\ln b_1, \dots, \ln b_n\}$ geen rationale relaties heeft, dan zijn $\{1/\ln b_1, \dots, 1/\ln b_n\}$ rationaal onafhankelijk.
  • Conjecture 2 wordt afgeleid uit de conjectuur van Schanuel. De auteur toont aan dat Schanuel's conjectuur impliceert dat de logaritmen van priemgetallen algebraïsch onafhankelijk zijn, wat op zijn beurt Conjecture 2 waar maakt.

C. De rol van Schanuel's Conjectuur

De kern van het paper is de link tussen een puur getaltheoretisch probleem (de verdeling van cijfers) en een fundamentele conjectuur over transcendentie.

• Schanuel's Conjectuur: Als $c_1, \dots, c_m$ rationaal onafhankelijke complexe getallen zijn, dan heeft het veld $\mathbb{Q}(c_1, \dots, c_m, e^{c_1}, \dots, e^{c_m})$ een transcendentiegraad van minstens $m$ over $\mathbb{Q}$.
• Consequentie: Als Schanuel's conjectuur waar is, dan zijn de logaritmen van priemgetallen algebraïsch onafhankelijk. Dit garandeert dat voor willekeurige bases $b_i$ (die geen rationale relaties onderling hebben), de vector van linkste cijfers elke mogelijke combinatie kan aannemen.

4. Significatie en Conclusie

Dit paper biedt een scherp inzicht in de interactie tussen numerieke systemen en de diepe structuur van de reële getallen:

1. Karakterisering van Surjectiviteit: Het paper levert een volledige classificatie voor $n=2$ en een bijna volledige classificatie voor $n \ge 3$. Het toont aan dat de "chaos" of "willekeur" in de verdeling van linkste cijfers direct gekoppeld is aan de algebraïsche onafhankelijkheid van de logaritmen van de bases.
2. Verbinding met Transcendentie: Het is een zeldzaam voorbeeld waarbij een concrete vraag over de verdeling van cijfers in positiestelsels direct afhankelijk is van de waarheid van de conjectuur van Schanuel, een van de belangrijkste open problemen in de transcendentietheorie.
3. Methodologische Kwaliteit: De auteur slaagt erin om complexe concepten uit de dynamische systemen (dichtheid op tori) te combineren met diepe getaltheoretische conjectures om een schijnbaar elementair probleem op te lossen.

Samenvattend: De auteur bewijst dat de gezamenlijke verdeling van linkste cijfers in meerdere positiestelsels surjectief is dan en slechts dan als de logaritmen van de bases "voldoende onafhankelijk" zijn. Voor $n \ge 3$ is deze onafhankelijkheid conditioneel afhankelijk van de conjectuur van Schanuel, wat de diepe verbinding tussen de willekeur van cijfers en de structuur van transcendent getallen onderstreept.