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

✨

Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Each language version is independently generated for its own context, not a direct translation.

De Kern: Een Spel met Getallen en "Vermiste" Cijfers

Stel je voor dat je een heel specifiek soort getallen hebt: breuken zoals $\frac{1}{1}$ , $\frac{1}{2}$ , $\frac{1}{6}$ , $\frac{1}{24}$ (dit zijn de omgekeerden van faculteiten, oftewel $n!$ ). Vervolgens heb je een heel vreemde verzameling getallen, laten we ze de "Vermiste-Cijfer-Club" noemen.

In deze club mogen getallen alleen bestaan uit bepaalde cijfers. Bijvoorbeeld, in een "Ternaire Club" (basis 3) mag een getal alleen de cijfers 0 en 2 bevatten, maar nooit het cijfer 1. Dit is vergelijkbaar met de beroemde Cantor-staf, een wiskundig fractal.

De grote vraag: Hoe vaak komen deze breuken ( $\frac{1}{n!}$ ) eigenlijk voor in deze club?

Zitten ze er oneindig vaak in?
Of zijn er slechts een paar gelukkige winnaars, en daarna is de club gesloten voor nieuwe leden?

Vroeger wisten wiskundigen dat dit voor de standaard faculteiten ( $n!$ ) het geval was: er zijn maar een paar. Maar ze wilden weten: Waarom? En werkt deze regel ook voor andere soorten getallen, zoals producten van Fibonacci-getallen of polynomen?

De Oplossing: Een "Teken" op de Nieuwkomer

Kominers heeft een nieuwe, krachtige regel bedacht. Hij zegt: "Als een getal in deze club wil zitten, moet het een heel specifieke 'stempel' op zijn naam hebben. Als die stempel te groot is, mag het niet binnen."

Hier is hoe het werkt, stap voor stap:

1. De "Naam" van het Getal (De Noemer)

Elke breuk heeft een noemer (het getal onder de streep). Laten we zeggen dat we kijken naar $\frac{1}{Q}$ .
In de wiskunde kijken we vaak naar de "priemfactoren" van $Q$ . Stel je voor dat $Q$ een koffer is vol met verschillende soorten blokken (priemgetallen).

2. De "Vermiste" Cijfers als een Filter

De club (de Vermiste-Cijfer-Set) is een zeer strenge filter. Als je een getal in deze club schrijft in een bepaald talstelsel (bijvoorbeeld basis 3), mag er geen enkel "verboden" cijfer in staan.
Kominers gebruikt een oude wiskundige regel (van Korobov) die zegt: "Als een getal in deze club zit, dan moet de 'periode' van zijn cijferpatroon heel kort zijn."

3. De Stempel: De "Orde"

Hier komt de magie. De lengte van die periode hangt af van een eigenschap van de noemer $Q$ . Laten we dit de "Orde" noemen.

Als de noemer $Q$ heel veel factoren van een specifiek priemgetal $p$ bevat (bijvoorbeeld heel veel $2$'s), dan wordt die "Orde" gigantisch groot.
De club (met zijn verboden cijfers) zegt echter: "Nee, die Orde mag niet te groot zijn, anders passen de cijfers niet in ons patroon."

De Analogie:
Stel je voor dat de "Vermiste-Cijfer-Club" een clubhuis is met een smalle deur.

De Orde is de lengte van de ladder die je nodig hebt om door de deur te komen.
Als je noemer $Q$ te veel van een bepaald type blok ( $p$ ) bevat, wordt je ladder (de Orde) te lang.
De deur is te smal. Je past er niet doorheen. Je wordt geweigerd.

De Nieuwe Regel: De "Structuur" vs. De "Grootte"

Vroeger keken wiskundigen alleen naar het grootste blok in de koffer (het grootste priemgetal).

Oude regel: "Als je grootste blok te groot is, ben je te zwaar voor de deur."
Nieuwe regel (Kominers): "Het maakt niet uit hoe groot je grootste blok is. Het gaat erom hoeveel blokken je totaal hebt van een specifiek type. Als je te veel blokken van type $p$ hebt, wordt je ladder te lang, zelfs als je andere blokken klein zijn."

Dit is een cruciaal verschil. Soms kan een getal een enorm groot priemgetal hebben (een gigantisch blok), maar toch wel door de deur passen omdat het totaal aantal blokken van het specifieke type $p$ laag is. De oude regel zou die getallen ten onrechte weigeren. Kominers' nieuwe regel kijkt naar de structuur van de noemer, niet alleen naar de grootte.

Wat heeft dit ons opgeleverd?

Met deze nieuwe, scherpere regel kan Kominers bewijzen dat er voor heel veel verschillende soorten getallenreeksen (niet alleen faculteiten, maar ook producten van Fibonacci-getallen en polynomen) maar een beperkt aantal omgekeerde breuken in de "Vermiste-Cijfer-Club" zitten.

Hij toont zelfs een voorbeeld aan waar de oude regel faalt: een reeks getallen die groeit als $m^k - 1$ .

Bij deze reeks zijn de individuele getallen enorm groot (exponentieel).
Maar de "ladder" (de Orde) groeit slechts heel langzaam (logaritmisch).
De oude regel zou denken: "Wauw, deze getallen zijn te groot, ze passen niet!" en zou de club sluiten.
Kominers' nieuwe regel kijkt naar de ladder: "Oh, de ladder is nog steeds kort genoeg, maar wacht... als we verder gaan, wordt de ladder toch te lang." En zo kan hij bewijzen dat de club ook hier uiteindelijk gesloten wordt.

Samenvatting in één zin

Kominers heeft een nieuwe, slimmere manier bedacht om te voorspellen wanneer breuken met grote noemers niet in een verzameling getallen met "verboden cijfers" kunnen zitten, door te kijken naar de interne structuur van die noemers in plaats van alleen naar hun grootte.

Dit helpt wiskundigen om te begrijpen hoe getallen zich gedragen in complexe patronen, en bewijst dat voor veel reeksen de "winst" (de getallen die in de club zitten) uiteindelijk opdroogt.

Each language version is independently generated for its own context, not a direct translation.

1. Probleemstelling

Het artikel onderzoekt de doorsnede tussen twee wiskundige structuren:

Reciprocals van rijen: De verzameling van getallen van de vorm $\{1/a_n : n \in \mathbb{N}\}$ , waarbij $(a_n)$ een rij van natuurlijke getallen is (zoals faculteiten, superfaculteiten, producten van Fibonacci-getallen, etc.).
Missing-digit sets (Ontbrekende-cijferverzamelingen): De verzameling $K_{m,D} \subset [0, 1]$ bestaande uit getallen die in basis $m$ alleen cijfers uit een specifieke deelverzameling $D \subset \{0, 1, \dots, m-1\}$ gebruiken, waarbij $1 < \#D < m$ . Een bekend voorbeeld is de Midden-derd Cantor-set ( $m=3, D=\{0, 2\}$ ).

De centrale vraag is of deze doorsnede eindig is. Eerdere werken (zoals Lin, Wu en Yang, 2026) bewezen dit voor de rij van faculteiten ( $a_n = n!$ ), maar de methode was specifiek voor die rij. Het doel van dit artikel is een universeel, structureel criterium te ontwikkelen dat toepasbaar is op een breed scala aan rijen, zonder afhankelijk te zijn van de specifieke structuur van de rij.

2. Methodologie

De auteur combineert twee fundamentele wiskundige instrumenten om een "obstructie" voor het lidmaatschap van $K_{m,D}$ te construeren:

Korobov's schatting voor cijferverdeling: Een stelling van Korobov (1972) geeft een schatting voor de verdeling van cijfers in de periodieke basis- $m$ -expansie van rationale getallen. Als een rationaal getal $r/q$ (met $\gcd(q,m)=1$ ) in $K_{m,D}$ ligt, dan moet de periode van de expansie een bepaalde relatie hebben met de "radicaal" van de noemer ( $\text{rad}(q)$ ). Specifiek geldt:
$\text{ord}_q(m) \leq c_{m,D} \cdot \text{ord}_{\text{rad}(q)}(m)$
waarbij $\text{ord}_k(m)$ de multiplicatieve orde van $m$ modulo $k$ is, en $c_{m,D}$ een constante die afhangt van $m$ en $D$ .
Order-lifting (Opheffen van orde): Standaard resultaten uit de getaltheorie beschrijven hoe de orde van een getal modulo $p^k$ toeneemt naarmate $k$ groeit. Als een noemer $Q$ een hoge $p_0$ -adische waarde heeft (d.w.z. $p_0^k \mid Q$ ), dan moet de orde $\text{ord}_Q(m)$ ook een hoge $p_0$ -adische waarde hebben.

De Kernmechanisme:
De auteur leidt een structurele obstructie af. Als een rationaal getal $r/Q$ (waarbij $Q$ de $m$ -vrije deel van de noemer is) in $K_{m,D}$ ligt, dan moet de $p_0$ -adische waarde van $Q$ begrensd worden door de $p_0$ -adische waarde van de orde van $m$ modulo de radicaal van $Q$ :
$\nu_{p_0}(Q) \leq t(m, p_0) + \nu_{p_0}(\text{ord}_{\text{rad}(Q)}(m)) + \log_{p_0}(c_{m,D})$
Hierbij is $t(m, p_0)$ een overhead-parameter die afhangt van de lifting-eigenschappen van de orde.

Als voor een specifieke rij $(a_n)$ de $p_0$ -adische waarde van de noemer ( $\nu_{p_0}(Q_n)$ ) sneller groeit dan de term $\nu_{p_0}(\text{ord}_{\text{rad}(Q_n)}(m))$ , dan kan de ongelijkheid niet meer gelden voor grote $n$ . Dit impliceert dat de reciprocals niet langer in de missing-digit set kunnen zitten.

3. Belangrijkste Bijdragen

A. Het Structurele Criterium (Stelling 3.5)

De auteur formuleert een algemeen criterium (Theorem 3.5) dat de finitheid van de doorsnede garandeert als er twee functies $\alpha(n)$ en $\gamma(n)$ bestaan zodanig dat:

$\nu_{p_0}(Q_n) \geq \alpha(n)$ (de noemer heeft voldoende $p_0$ -factoren).
$\nu_{p_0}(\text{ord}_{\text{rad}(Q_n)}(m)) \leq \gamma(n)$ (de orde-groei is beperkt).
$\alpha(n)$ groeit uiteindelijk sneller dan $\gamma(n)$ plus een constante term.

Dit is een generalisatie van het werk van Lin, Wu en Yang, maar losgekoppeld van de specifieke rij.

B. Corollarium voor de Grootste Priemfactor (Corollary 3.6)

Voor veel natuurlijke gevallen is het voldoende om de groeifactor te vergelijken met de grootste priemfactor $P^+(Q_n)$ . Omdat $\text{ord}_p(m) \mid (p-1)$ , geldt $\nu_{p_0}(\text{ord}_p(m)) \leq \log_{p_0}(p-1)$ . Dit leidt tot een makkelijker te verifiëren criterium gebaseerd op $P^+(Q_n)$ in plaats van de volledige orde-structuur.

C. Toepassingen op Nieuwe Rijen

Het criterium wordt succesvol toegepast op diverse rijen:

Faculteiten: Herleidt het resultaat van Lin et al. en geeft een scherpere cutoff.
Superfaculteiten: $\prod_{k=1}^n k!$ .
Producten van polynoomwaarden: $\prod_{k=1}^n f(k)$ .
Producten van Fibonacci-getallen: $\prod_{k=1}^n F_k$ . Hier is de grootste priemfactor exponentieel groot, maar de $p_0$ -adische waarde groeit lineair, wat het criterium toepasbaar maakt.

D. Het Structurele Voorbeeld: Producten van $(m^k - 1)$

Een cruciale bijdrage is het voorbeeld $a_n = \prod_{k=1}^n (m^k - 1)$ .

Bij dit voorbeeld is de grootste priemfactor $P^+(Q_n)$ exponentieel groot ( $\approx m^n$ ), waardoor het coarse "grootste-priemfactor"-criterium (Corollary 3.6) faalt (de ongelijkheid wordt niet geschonden).
Echter, de term $\nu_{p_0}(\text{ord}_{\text{rad}(Q_n)}(m))$ groeit slechts logaritmisch (ongeveer $\log n$ ).
Hierdoor slaagt het volledige structurele criterium (Theorem 3.5) wel, terwijl de ruwere methode het niet doet. Dit toont aan dat het nieuwe criterium strikt krachtiger is.

4. Resultaten en Bewijstechniek

Finitheid: Voor alle behandelde rijen wordt bewezen dat de verzameling $\{1/a_n\} \cap K_{m,D}$ eindig is.
Exacte Berekeningen: Voor specifieke gevallen (zoals de Cantor-set) worden de exacte eindige verzamelingen bepaald door een "cutoff" $N_0$ $N_{0}$ te vinden waarboven geen oplossingen meer zijn, en vervolgens de gevallen $n < N_0$ $n < N_{0}$ numeriek te verifiëren met behulp van een exacte algoritme voor basis- $m$ $m$ -expansies (Lemma 4.1).
- Voor $n!$ in de Cantor-set: $\{1, 1/120\}$ .
- Voor superfaculteiten in de Cantor-set: $\{1, 1/12\}$ .
- Voor producten van $(3^k-1)$ in de Cantor-set: De doorsnede is leeg.

5. Betekenis en Toekomstperspectief

Abstractie: Het artikel abstracteert een specifieke techniek uit recente literatuur naar een algemeen wiskundig principe dat onafhankelijk is van de rij $(a_n)$ .
Kracht van de Methode: Het toont aan dat het kijken naar de orde-structuur (via de radicaal) soms essentieel is en superieur aan het kijken naar de grootte van priemfactoren. Dit is vooral relevant bij rijen waar priemfactoren exponentieel groeien maar de orde-structuur beperkt blijft.
Beperkingen: De auteur identificeert ook gevallen waar de methode faalt, zoals bij primorials ( $p_n\#$ ) en centrale binomiaalcoëfficiënten. In deze gevallen groeit de $p_0$ -adische waarde van de noemer niet snel genoeg (blijft vaak $\leq 1$ ) om de obstructie te overwinnen.
Toekomst: De resultaten suggereren dat toekomstige verbeteringen kunnen komen door de keuze van de vaste priem $p_0$ dynamisch te maken (afhankelijk van $n$ ) of door Korobov's schatting te combineren met diepere factorisatie-eigenschappen van de rij.

Kortom, dit artikel levert een robuust, herbruikbaar raamwerk om de interactie tussen de $p$ -adische eigenschappen van rationale getallen en hun cijferverdeling in specifieke fractale verzamelingen te analyseren.