🔢 mathematics

On the number of missing integers in partitions

Dit artikel bestudeert het aantal ontbrekende gehele getallen in onbeperkte partities en overpartities, waarbij het deelt het aantal dergelijke partities, congruenties voor bijbehorende functies bepaalt en drie ongelijkheidsvermoedens van het 'bias'-type formuleert.

Oorspronkelijke auteurs: Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra

Gepubliceerd 2026-04-15

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ 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

Stel je voor dat je een grote doos met Lego-blokjes hebt. Je bouwt een toren (een "partitie") door de blokjes op te stapelen. Soms gebruik je alle kleuren die je hebt, soms niet.

Deze wiskundepaper, geschreven door Bhoria, Eyyunni en Santra, gaat over een heel specifiek spelletje met die torens: het tellen van de "ontbrekende kleuren".

Hier is de uitleg in simpele taal, met een paar creatieve vergelijkingen:

1. Het Spel: De "Gaten" in je Toren

Stel je bouwt een toren van 32 blokjes hoog. Je gebruikt blokjes van verschillende groottes (bijvoorbeeld: twee blokjes van 9, één van 7, één van 5 en één van 2).

Je hebt blokjes van 9, 7, 5 en 2.
Maar je hebt geen blokjes van 1, 3, 4, 6 of 8.

De auteurs noemen deze ontbrekende getallen "missing integers" (ontbrekende gehele getallen).

De Mex: In de wiskunde bestudeerden mensen al lang het kleinste ontbrekende getal (in dit voorbeeld is dat 1). Dit noemen ze de "mex".
De Nieuwe Vraag: Deze auteurs zeggen: "Wacht even, laten we niet alleen kijken naar het kleinste gat, maar naar alle gaten die er zijn tussen de bodem en de top van je toren."

Ze tellen dus hoeveel "gaten" er in je constructie zitten.

2. Twee Soorten Bouwstijlen

Het papier onderzoekt dit probleem op twee manieren:

Stijl A: De Gewone Toren (Unrestricted Partitions)
Hier mag je blokjes herhalen. Je mag drie blokjes van 5 gebruiken. Dit is de standaard manier waarop wiskundigen getallen optellen.
- Voorbeeld: Als je een toren bouwt en je mist precies één getal (bijv. je hebt 1, 2, 4, maar geen 3), dan telt dat als één "ontbrekende".
Stijl B: De Magische Toren (Overpartitions)
Dit is een iets complexere versie. Stel je voor dat je bij de eerste keer dat je een bepaald kleur gebruikt, een hoedje op dat blokje zet (in de wiskunde heet dit "overlined").
- Je mag dus een gewone 3 hebben én een "hoedje-3". Maar je mag ze niet allebei tegelijk gebruiken als je een gat wilt maken.
- De auteurs kijken ook hier naar de gaten, maar dan in deze magische, gehoopte torens.

3. Wat hebben ze ontdekt? (De Schatgravers)

De auteurs hebben drie belangrijke dingen gedaan:

A. De "Rekenmachine" (Genererende Functies)
Ze hebben een wiskundige formule bedacht die als een super-rekenmachine werkt. Als je deze formule invoert, kun je precies voorspellen hoeveel manieren er zijn om een toren te bouwen met precies 1 gat, precies 2 gaten, of precies 10 gaten. Het is alsof ze een blauwdruk hebben gevonden die alle mogelijke "gat-constructies" beschrijft.

B. De "Even-Odd" Wedstrijd (Bias)
Dit is het meest fascinerende deel. Ze hebben twee groepen torens gemaakt:

Torens met een even aantal gaten (0, 2, 4...).
Torens met een oneven aantal gaten (1, 3, 5...).

Ze ontdekten dat voor grote torens (meer dan 34 blokjes), de groep met het even aantal gaten altijd groter is dan de groep met het oneven aantal.

Vergelijking: Het is alsof je een munt gooit. Je zou denken dat je 50% kans hebt op "even" en 50% op "oneven". Maar bij deze Lego-torens is het alsof de munt een beetje scheef is: hij landt vaker op "even". Ze noemen dit een "bias" (vooringenomenheid).

C. De "Gaten-Regel" (Congruenties)
Ze ontdekten een geheim patroon als je kijkt naar het verschil tussen de even en oneven groepen, maar dan gedeeld door 3 (of 4 bij de magische torens).

Als het totale aantal blokjes een kwadraat is (zoals 4, 9, 16, 25), dan is het verschil tussen de groepen anders dan als het geen kwadraat is.
Het is alsof de natuur een ritme heeft: "Als je toren 9 hoog is, is het even-geval 1 meer dan het oneven-geval. Als je toren 10 hoog is, is er geen verschil."

4. Waarom is dit leuk?

Wiskunde klinkt vaak droog, maar dit onderzoek is als het zoeken naar patronen in een enorme, chaotische stad van torens.

Ze hebben bewezen dat er een verborgen orde zit in het "niet-hebben" van dingen.
Ze hebben nieuwe vragen gesteld: "Zijn er nog meer geheimen in deze patronen?" en "Kunnen we dit bewijzen zonder ingewikkelde formules, maar gewoon door te tellen?"

Kort samengevat:
De auteurs hebben gekeken naar de gaten in getallen-torens. Ze hebben bewezen dat er meer torens zijn met een even aantal gaten dan met een oneven aantal, en dat dit patroon heel strak volgt op de regels van kwadraten (zoals 1, 4, 9, 16). Het is een mooi voorbeeld van hoe wiskundigen de schoonheid vinden in wat er niet is, in plaats van alleen in wat er wel is.

Titel: Over het Aantal Ontbrekende Getallen in Partities

Auteurs: Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra
Onderwerp: Combinatorische getaltheorie, Partities, $q$ -reeksen, Overpartities.

1. Probleemstelling en Context

Het artikel bouwt voort op het concept van de minimale excludant (mex) van een partitie, gedefinieerd als het kleinste positieve gehele getal dat niet voorkomt als een deel van de partitie. Hoewel de mex al uitgebreid is bestudeerd (o.a. door Andrews en Newman), richten de auteurs zich op een bredere statistiek: het totaal aantal ontbrekende gehele getallen in een partitie.

Een "ontbrekend getal" wordt gedefinieerd als een positief geheel getal dat:

Kleiner is dan het grootste deel van de partitie.
Niet voorkomt als een deel van de partitie.

De auteurs onderzoeken dit fenomeen in twee klassen van partities:

Onbeperkte partities (unrestricted partitions): Partities van een geheel getal $n$ in positieve gehele getallen.
Overpartities (overpartitions): Partities waarbij de eerste keer dat een getal voorkomt, kan worden "overstreept" (overlined).

Het doel is om het aantal partities te tellen met een specifiek aantal ontbrekende getallen, congruenties voor gerelateerde functies te bepalen en ongelijkheden (bias) te formuleren.

2. Methodologie

De auteurs maken gebruik van geavanceerde technieken uit de theorie van $q$ -reeksen en genererende functies:

Genererende Functies: Ze definiëren genererende functies waarbij de exponent van een variabele $w$ het aantal ontbrekende getallen telt, en de exponent van $q$ het getal $n$ dat wordt gepartitioneerd.
$q$ -Product Notatie: Gebruik van de standaard notatie $(a; q)_n = \prod_{k=0}^{n-1} (1-aq^k)$ en $(a; q)_\infty$ .
$q$ -Binomiale Stelling: Gebruikt om sommen te vereenvoudigen en gesloten vormen voor genererende functies af te leiden.
Jacobi's Drieprodukt Identiteit: Cruciaal voor het bewijzen van congruenties modulo 3 en 4.
Differentiatie: Het differentiëren van genererende functies naar $w$ en het stellen van $w=0$ wordt gebruikt om specifieke gevallen te isoleren (bijv. partities met precies één ontbrekend getal).

3. Belangrijkste Bijdragen en Resultaten

A. Onbeperkte Partities

Genererende Functie:
De auteurs leiden een gesloten vorm af voor de genererende functie van $P_j(n, m)$ , het aantal partities van $n$ met precies $m$ ontbrekende getallen $\ge j$ :
$\sum_{n=1}^\infty \sum_{m=0}^\infty P_j(n, m) w^m q^n = \frac{w^{-j}}{( \frac{w-1}{w}; q)_j} \left( \frac{((w-1)q; q)_\infty}{(wq; q)_\infty} - \sum_{\ell=0}^{j-1} \frac{(\frac{w-1}{w}; q)_\ell}{(q; q)_\ell} (wq)^\ell \right)$
Speciale Gevallen:
- Voor $j=1$ (alle ontbrekende getallen) wordt de functie vereenvoudigd tot een productvorm.
- Voor $w=0$ wordt de genererende functie voor "gap-free" partities (geen ontbrekende getallen) herleid tot $(-q; q)_\infty$ .
- Voor $w=1$ wordt de standaard partitie-functie $p(n)$ verkregen.
Pariteit en Bias:
De auteurs definiëren $Me(n)$ (aantal partities met een even aantal ontbrekende getallen) en $Mo(n)$ (aantal met een oneven aantal).
- Ze tonen aan dat de genererende functie voor het verschil $Me(n) - Mo(n)$ gelijk is aan $\frac{(-2q; q)_\infty}{(-q; q)_\infty}$ .
- Conjectuur 2.7: Voor $n > 34$ geldt $Me(n) > Mo(n)$. Er is dus een "bias" naar partities met een even aantal ontbrekende getallen.
Congruenties:
Stelling 2.6: Het verschil $Me(n) - Mo(n)$ voldoet aan specifieke congruenties modulo 3:
- $0 \pmod 3$ als $n$ geen kwadraat is.
- $1 \pmod 3$ als $n$ een oneven kwadraat is.
- $2 \pmod 3$ als $n$ een even kwadraat is.
Verwante Statistiek:
Ze onderzoeken ook het aantal verschillende gehele getallen $\le$ het grootste deel die een multipliciteit $< k$ hebben. Ze bewijzen dat het totaal aantal van deze getallen in alle partities van $n$ gelijk is aan het totaal aantal delen in alle partities van $n$ die niet gelijk zijn aan $k$ .

B. Overpartities

De resultaten worden uitgebreid naar overpartities, waarbij de eerste keer dat een getal voorkomt, kan worden gemarkeerd.

Genererende Functie:
Een analoog resultaat wordt bewezen voor overpartities met $m$ ontbrekende getallen:
$\sum_{n=1}^\infty \sum_{m=0}^\infty \overline{P}_j(n, m) w^m q^n = 2w^{-j}(-q; q)_{j-1} \frac{1}{(\frac{w-2}{w}; q)_j} \left( \frac{((w-2)q; q)_\infty}{(wq; q)_\infty} - \sum_{\ell=0}^{j-1} \dots \right)$
Bias in Overpartities:
Voor het verschil tussen overpartities met een even en oneven aantal ontbrekende getallen ( $\overline{Me}(n) - \overline{Mo}(n)$ ) geldt:
- De genererende functie is $\frac{(-3q; q)_\infty}{(-q; q)_\infty}$ .
- Conjectuur 3.6: Voor $n > 27$ geldt $\overline{Me}(n) > \overline{Mo}(n)$ .
Congruenties Modulo 4:
Stelling 3.7: Het verschil $\overline{Me}(n) - \overline{Mo}(n)$ is altijd even en voldoet aan:
- $0 \pmod 4$ als $n$ geen kwadraat is.
- $2 \pmod 4$ als $n$ een kwadraat is.

4. Betekenis en Toekomstige Richtingen

Wetenschappelijke Impact:

Nieuwe Statistiek: Het artikel introduceert en formaliseert het tellen van alle ontbrekende getallen (niet alleen de kleinste, de mex) als een fundamentele partitiestatistiek.
Verbindingen: Er worden nieuwe connecties gelegd tussen ontbrekende getallen en andere partitie-eigenschappen, zoals het aantal keren dat een getal precies twee keer voorkomt.
OEIS Sequenties: De auteurs identificeren dat de reeksen voor $Me(n) - Mo(n)$ en hun overpartitie-varianten corresponderen met bestaande maar tot nu toe onverklaarde sequenties in de Online Encyclopedia of Integer Sequences (OEIS A268498 en A268499).

Open Vragen en Conjecturen:
De auteurs sluiten af met een oproep voor verdere wiskundige inspanning:

Bijectieve Bewijzen: Er wordt gezocht naar combinatorische (bijectieve) bewijzen voor de gevonden identiteiten, in plaats van alleen analytische bewijzen via genererende functies.
Meer Congruenties: Zijn er congruenties voor andere modulussen dan 3 en 4?
Asymptotiek: Het afleiden van asymptotische formules en exacte Hardy-Ramanujan-Rademacher-type formules voor de coëfficiënten van de nieuwe genererende functies.
Verdere Generalisaties: Een analoog resultaat voor overpartities van de statistiek "aantal getallen met multipliciteit $< k$ ".

Samenvattend biedt dit artikel een grondige analyse van een nieuwe partitiestatistiek, levert het krachtige genererende functies en congruenties, en stimuleert het de gemeenschap tot het vinden van diepere combinatorische structuren achter deze getallen.