🔢 mathematics

On the number of missing integers in partitions

Diese Arbeit untersucht die Gesamtmenge der fehlenden positiven Integrale in unbeschränkten Partitionen und Überpartitionen, indem sie die Anzahl der Partitionen mit einer gegebenen Anzahl fehlender Integrale bestimmt, Kongruenzen für zugehörige Funktionen herleitet und drei Vermutungen über Bias-Ungleichungen aufstellt.

Ursprüngliche Autoren: Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra

Veröffentlicht 2026-04-15

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Subhash Chand Bhoria, Pramod Eyyunni, Subhrangsu Santra

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie haben einen großen Haufen Lego-Steine in verschiedenen Farben und Größen. In der Welt der Mathematik nennen wir eine Anordnung dieser Steine eine Partition. Wenn Sie zum Beispiel die Zahl 5 zerlegen, könnten Sie sie als 3 + 2 oder 1 + 1 + 1 + 1 + 1 darstellen.

Die Autoren dieses Papiers (Bhoria, Eyyunni und Santra) haben sich eine sehr spezielle Frage gestellt: Was fehlt in Ihrem Lego-Haufen?

Das große Rätsel der "fehlenden Nummern"

Stellen Sie sich vor, Sie bauen einen Turm aus Steinen, und Ihr höchster Stein hat die Größe 9. Ein perfekter Turm würde alle Steine von 1 bis 9 enthalten. Aber in der Realität fehlt oft etwas. Vielleicht haben Sie einen 9er, einen 7er und einen 2er, aber keine 1er, 3er, 4er, 5er oder 6er.

Die Mathematiker nennen diese fehlenden Zahlen "Missing Integers" (fehlende ganze Zahlen).

Der "Mex" (Minimal Excludant): Das ist das kleinste fehlende Teilchen. In unserem Beispiel wäre das die 1.
Die neue Entdeckung: Die Autoren schauen sich nicht nur das kleinste fehlende Teilchen an, sondern zählen alle fehlenden Teile, die kleiner sind als Ihr höchster Stein.

Die zwei Welten: Normale und "Über"-Partitionen

Das Papier untersucht diese fehlenden Teile in zwei verschiedenen Spielarten:

Normale Partitionen (Unrestricted Partitions):
Hier sind die Regeln einfach. Sie haben eine bestimmte Anzahl von Steinen. Die Autoren fragen: "Wie viele Anordnungen gibt es, bei denen genau m Teile fehlen?"
- Die Analogie: Stellen Sie sich vor, Sie sortieren Ihre Socken. Manche Paare sind komplett, manche haben nur einen Socke. Die Autoren zählen, wie viele Anordnungen es gibt, bei denen genau eine Socke (eine Zahl) im Schrank fehlt, die eigentlich dazugehören würde.
Über-Partitionen (Overpartitions):
Das ist die spannende Variante. Hier dürfen bestimmte Steine eine "Brille" tragen (in der Mathematik werden sie "überstrichen"). Ein normaler 3er und ein "überstrichener" 3er gelten als zwei verschiedene Dinge.
- Die Analogie: Stellen Sie sich vor, Sie haben rote und blaue Lego-Steine, die beide die Größe 3 haben. In einer "Über-Partition" können Sie entscheiden, ob Sie den roten oder den blauen Stein verwenden. Die Autoren untersuchen, wie sich die fehlenden Teile in dieser komplexeren Welt verhalten.

Was haben die Autoren herausgefunden?

Die Forscher haben nicht nur gezählt, sondern auch Muster entdeckt, die wie Magie wirken:

Die Formel für das Chaos: Sie haben eine mathematische "Maschine" (eine sogenannte erzeugende Funktion) gebaut. Wenn man diese Maschine mit einer Zahl füttert, spuckt sie sofort aus, wie viele Möglichkeiten es gibt, eine Zahl so zu zerlegen, dass genau 0, 1, 2 oder mehr Teile fehlen. Das ist wie ein Rezept, das Ihnen sagt, wie viele verschiedene Torten Sie backen können, bei denen genau eine Zutat fehlt.
Die Paritäts-Bias (Der Vorurteil-Effekt):
Das ist das Coolste an der Entdeckung. Die Autoren haben festgestellt, dass es eine Art "Voreingenommenheit" gibt.
- Wenn Sie alle möglichen Anordnungen einer Zahl durchgehen, gibt es immer mehr Anordnungen, bei denen eine gerade Anzahl von Teilen fehlt, als solche, bei denen eine ungerade Anzahl fehlt (zumindest für große Zahlen).
- Die Metapher: Stellen Sie sich vor, Sie werfen Münzen. Normalerweise erwarten Sie 50/50. Aber hier scheint das Universum zu sagen: "Hey, wir bevorzugen gerade Zahlen!" Es ist, als ob die Natur eine leichte Vorliebe dafür hätte, dass Dinge in Paaren fehlen, statt in Dreien oder Fünfen.
Die Restklassen-Regeln (Congruences):
Sie haben auch entdeckt, dass die Anzahl dieser "fehlenden Paare" (gerade minus ungerade) einem strengen Gesetz folgt, wenn man durch 3 (bei normalen Partitionen) oder 4 (bei Über-Partitionen) teilt.
- Das Bild: Es ist wie ein Uhrwerk. Wenn Sie die Zahl der fehlenden Teile zählen und durch 3 teilen, bleibt immer ein bestimmter Rest übrig, je nachdem, ob Ihre Gesamtzahl ein "Quadrat" ist (wie 4, 9, 16) oder nicht.

Warum ist das wichtig?

Auf den ersten Blick klingt das nach einem sehr abstrakten Spiel mit Zahlen. Aber in der Mathematik sind solche Muster wie Schatzkarten.

Sie helfen uns zu verstehen, wie komplexe Strukturen (wie die Verteilung von Atomen in der Physik oder die Verschlüsselung in der Informatik) aufgebaut sind.
Die Autoren haben auch Rätsel für die Zukunft hinterlassen. Sie haben Vermutungen (Konjekturen) aufgestellt, die noch niemand beweisen konnte. Sie sagen im Grunde: "Wir denken, dass das Muster noch tiefer geht, aber wir brauchen noch jemanden, der den Beweis findet."

Zusammenfassung für den Alltag

Stellen Sie sich vor, Sie sind ein Detektiv, der in einem großen Lagerhaus nach fehlenden Kartons sucht.

Die Autoren haben eine neue Methode entwickelt, um alle fehlenden Kartons zu zählen, nicht nur den ersten.
Sie haben herausgefunden, dass es in diesem Lagerhaus eine unglaubliche Vorliebe dafür gibt, dass Kartons in geraden Gruppen fehlen.
Sie haben gezeigt, dass diese Vorliebe nicht zufällig ist, sondern einem strengen mathematischen Takt folgt, der sich wie ein rhythmischer Herzschlag verhält.

Dieses Papier ist also eine Reise in die verborgene Ordnung des Chaos, die uns zeigt, dass selbst wenn Dinge "fehlen", sie oft genau nach einem perfekten Plan fehlen.

1. Problemstellung und Motivation

Das Paper untersucht eine neue Statistik in der Theorie der ganzzahligen Partitionen, die als Anzahl der fehlenden ganzen Zahlen (number of missing integers) bezeichnet wird.

Definition: Eine „fehlende ganze Zahl" in einer Partition $\pi$ ist eine positive ganze Zahl, die kleiner als der größte Teil von $\pi$ ist, aber nicht als Teil in $\pi$ vorkommt.
Kontext: Die Arbeit baut auf dem Konzept des minimalen Exkludanten (mex) auf, definiert als die kleinste positive ganze Zahl, die nicht in der Partition vorkommt. Während der mex nur das erste Fehlen betrachtet, analysieren die Autoren die gesamte Menge der fehlenden Zahlen unterhalb des größten Teils.
Ziel: Die Autoren wollen die Anzahl der Partitionen einer Zahl $n$ $n$ zählen, die genau $m$ $m$ fehlende positive Integrale (größer oder gleich einem Schwellenwert $j$ $j$ ) aufweisen. Dies wird für zwei Klassen von Partitionen untersucht:
1. Unbeschränkte Partitionen (unrestricted partitions).
2. Überpartitionen (overpartitions), bei denen das erste Vorkommen eines Teils überstrichen (overlined) sein kann.

2. Methodik

Die Autoren verwenden primär Methoden der q-Reihen (q-series) und der generierenden Funktionen.

q-Produkt-Notation: Es werden Standardnotationen wie $(a; q)_n$ und $(a; q)_\infty$ verwendet.
Generierende Funktionen: Die zentrale Methode besteht darin, trivariante oder bivariate erzeugende Funktionen zu konstruieren, die sowohl die Größe der Partition ( $n$ ), die Anzahl der fehlenden Integrale ( $m$ ) und einen Parameter zur Gewichtung ( $w$ ) kodieren.
Hilfsmittel:
- Der q-binomische Satz (q-binomial theorem) wird verwendet, um endliche Summen in unendliche Produkte umzuwandeln.
- Die Jacobi-Tripelprodukt-Identität wird genutzt, um spezifische Kongruenzen modulo 3 und 4 zu beweisen.
- Differenzierung: Um die Anzahl der Partitionen mit genau einem fehlenden Integer ( $P(n, 1)$ ) zu isolieren, wird die generierende Funktion nach dem Parameter $w$ differenziert und $w=0$ gesetzt.
Kombinatorische Interpretation: Die Ergebnisse werden durch Vergleich mit bekannten Partitionseigenschaften (z. B. Partitionen mit bestimmten Vielfachheiten von Teilen) interpretiert.

3. Hauptergebnisse und Beiträge

A. Unbeschränkte Partitionen (Unrestricted Partitions)

Generierende Funktion (Theorem 2.1):
Die Autoren leiten eine geschlossene Formel für die generierende Funktion her, die die Anzahl $P_j(n, m)$ der Partitionen von $n$ mit genau $m$ fehlenden Integrale $\ge j$ zählt:
$\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)$
Spezialfälle (Corollary 2.2 & 2.4):
- Für $j=1$ ergibt sich eine vereinfachte Produktform.
- Für $m=1$ (genau ein fehlender Integer) wird gezeigt, dass die Anzahl dieser Partitionen äquivalent zur Anzahl der Partitionen ist, in denen genau ein Teil genau zweimal vorkommt und alle anderen Teile nur einmal (aber nicht überstrichen, da es hier um unbeschränkte Partitionen geht).
Parität und Kongruenzen:
- Es werden Funktionen $Me(n)$ (gerade Anzahl fehlender Integrale) und $Mo(n)$ (ungerade Anzahl) definiert.
- Theorem 2.6: Es wird eine Kongruenz modulo 3 für die Differenz $Me(n) - Mo(n)$ bewiesen:
  - $0 \pmod 3$ , wenn $n$ keine Quadratzahl ist.
  - $1 \pmod 3$ , wenn $n$ eine ungerade Quadratzahl ist.
  - $2 \pmod 3$ , wenn $n$ eine gerade Quadratzahl ist.
Verallgemeinerung auf Vielfachheiten (Theorem 2.9):
Die Autoren betrachten die Anzahl der verschiedenen positiven Integrale $\le$ größter Teil, die eine Vielfachheit $< k$ haben. Sie beweisen, dass die Summe dieser Anzahlen über alle Partitionen von $n$ gleich der Anzahl der Teile ist, die ungleich $k$ sind, in allen Partitionen von $n$ .
Vermutungen (Conjectures):
- Conjecture 2.7: Für $n > 34$ gilt $Me(n) > Mo(n)$ (Bias zugunsten gerader Anzahlen fehlender Integrale).
- Conjecture 2.8: Für $n > 10$ gilt $Me(n) - Mo(n) < q(n)$, wobei $q(n)$ die Anzahl der Partitionen in verschiedene Teile ist.

B. Überpartitionen (Overpartitions)

Die Ergebnisse werden auf Überpartitionen übertragen, wobei die Definitionen analog angepasst werden.

Generierende Funktion (Theorem 3.1):
Eine analoge Formel für $P^j(n, m)$ bei Überpartitionen wird hergeleitet, die den Faktor $(-q; q)_{j-1}$ und modifizierte Koeffizienten enthält.
Kongruenzen (Theorem 3.7):
Für Überpartitionen wird eine stärkere Kongruenz modulo 4 für $Me(n) - Mo(n)$ bewiesen:
- $0 \pmod 4$ , wenn $n$ keine Quadratzahl ist.
- $2 \pmod 4$ , wenn $n$ eine Quadratzahl ist.
- Dies wird damit begründet, dass die Gesamtzahl der Überpartitionen immer gerade ist.
Vermutung (Conjecture 3.6):
Analog zu unbeschränkten Partitionen wird vermutet, dass für $n > 27$ die Anzahl der Überpartitionen mit einer geraden Anzahl fehlender Integrale größer ist als die mit einer ungeraden Anzahl ($Me(n) > Mo(n)$).

4. Signifikanz und Ausblick

Neue Statistik: Das Paper etabliert die „Anzahl der fehlenden Integrale" als eigenständige und fruchtbare Statistik in der Partitionstheorie, die über den klassischen mex hinausgeht.
Verbindung zu OEIS: Die Autoren identifizieren die Folgen für $Me(n) - Mo(n)$ in der Online Encyclopedia of Integer Sequences (OEIS A268498 und A268499) und liefern deren kombinatorische Interpretation.
Bias-Phänomene: Die Arbeit trägt zum Verständnis von „Bias"-Phänomenen in der Partitionstheorie bei (ähnlich wie bei der Parität von ungeraden/geraden Teilen), indem sie zeigt, dass gerade Anzahlen fehlender Integrale tendenziell dominieren.
Offene Fragen:
- Es wird nach kombinatorischen Beweisen (bijektiven Beweisen) für die gefundenen Identitäten gesucht, insbesondere für Theorem 2.9 und die Kongruenzen.
- Die Autoren fragen nach Asymptotik-Formeln und exakten Formeln vom Typ Hardy-Ramanujan-Rademacher für die Differenzfunktionen.
- Es wird nach weiteren Kongruenzen für andere Moduli als 3 und 4 gefragt.

Zusammenfassend liefert das Paper tiefe analytische Einblicke in die Struktur von Partitionen durch die Untersuchung von Lücken in den Teilermengen und verbindet diese mit klassischen Ergebnissen der q-Reihen-Theorie.