🔢 mathematics

A note on partitions in the image of pre $_2$

Diese Arbeit löst eine von Devnani und Eyyunni aufgeworfene Frage, indem sie beweist, dass genau eine Partition von $n$ im Bild der Abbildung pre $_2$ liegt, wenn und nur wenn $n \in \{1, 2, 4\}$ , während für alle $n \ge 5$ mindestens zwei solche Partitionen existieren.

Ursprüngliche Autoren: Arnav Garg

Veröffentlicht 2026-06-03

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Arnav Garg

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 eine Tasche voller Zahlen, die eine bestimmte Summe ergeben. In der Mathematik nennt man das eine Partition. Wenn Ihre Summe zum Beispiel 5 ist, könnten Sie die Tasche {5}, {4, 1}, {3, 2}, {2, 2, 1} und so weiter haben.

Stellen Sie sich nun eine magische Maschine namens pre2 vor. Diese Maschine nimmt Ihre Tasche voller Zahlen und führt einen speziellen Trick aus: Sie wählt jedes mögliche Paar von Zahlen aus Ihrer Tasche, multipliziert sie miteinander und erstellt daraus eine neue Tasche mit diesen Produkten.

Beispiel: Wenn Sie die Maschine mit der Tasche {3, 2, 1} füttern:
- Sie multipliziert 3 und 2, um 6 zu erhalten.
- Sie multipliziert 3 und 1, um 3 zu erhalten.
- Sie multipliziert 2 und 1, um 2 zu erhalten.
- Die Maschine spuckt die neue Tasche aus: {6, 3, 2}.

Die große Frage, die die Mathematiker Devnani und Eyyunni aufgeworfen haben, lautete: „Können wir für eine bestimmte Zielzahl (nennen wir sie $n$ ) eine Situation finden, in der es nur eine einzige mögliche ursprüngliche Tasche gibt, die die Maschine in eine Tasche mit der Summe $n$ verwandelt hat?“

Mit anderen Worten: Gibt es eine Zahl $n$ , bei der das Ergebnis der Maschine so einzigartig ist, dass nur ein ganz bestimmter Input sie erzeugen konnte?

Die Entdeckung

Der Autor dieser Arbeit, Arnav Garg, hat dieses Rätsel vollständig gelöst. Er fand heraus, dass die Antwort ja, aber nur für sehr kleine Zahlen lautet.

Wenn Ihre Zielzahl 1, 2 oder 4 ist, gibt es genau einen eindeutigen Weg, sie mithilfe dieser Maschine zu konstruieren.
Sobald Ihre Zielzahl jedoch 5 oder höher erreicht, verschwindet die Einzigartigkeit. Für jede Zahl 5 und aufwärts gibt es mindestens zwei verschiedene ursprüngliche Taschen, die die Maschine in eine Tasche mit dieser Summe verwandeln könnte.

Wie hat er das bewiesen?

Um zu beweisen, dass Zahlen ab 5 immer mindestens zwei „Eltern“ haben, nutzte Arnav eine clevere Konstruktionsmethode. Er zeigte, dass man für jede große Zahl auf mindestens zwei verschiedene Arten eine Zahl erstellen kann, indem man ein spezifisches „Rezept“ verwendet:

Das „Ein Großer, Viele Kleine“-Rezept: Er zeigte, dass man eine Zielzahl immer dadurch erstellen kann, dass man eine große Zahl nimmt und den Rest der Tasche mit Einsen (1ern) auffüllt.
Das „Zwei Große, Viele Kleine“-Rezept: Er zeigte auch, dass man dieselbe Zielzahl verwenden kann, indem man zwei etwas kleinere Zahlen nutzt und den Rest der Tasche mit Einsen oder Zweien auffüllt.

Da diese beiden Rezepte unterschiedliche ursprüngliche Taschen erzeugen, aber zur gleichen Endsumme führen, bricht die „Einzigartigkeit“ zusammen.

Er überprüfte jedes Szenario für Zahlen ab 5 (ungerade Zahlen, gerade Zahlen durch 3 teilbar, gerade Zahlen nicht durch 3 teilbar usw.) und stellte fest, dass er für jede einzelne davon mindestens zwei verschiedene „Eltern-Taschen“ finden konnte.

Die kleinen Zahlen (Die Ausnahmen)

Warum entgingen 1, 2 und 4 dieser Regel?

1 und 2: Die Maschine benötigt mindestens drei Zahlen, um ihre Magie wirken zu lassen (um Paare zu bilden). Die kleinste Summe, die man mit drei Zahlen bilden kann, ist $1+1+1=3$ . Es ist also unmöglich, 1 oder 2 mit der Methode der „drei oder mehr Teile“ zu erzeugen. Der einzige Weg, 1 oder 2 zu erhalten, ist der triviale Weg (einfach die Zahl selbst), was als nur eine Lösung zählt.
3: Man kann 3 auf zwei Arten erzeugen (den trivialen Weg und den {1, 1, 1}-Weg). Daher ist 3 nicht einzigartig.
4: Man könnte denken, dass man 4 auf mehrere Arten erzeugen kann, aber wenn man alle Kombinationen von drei oder mehr Zahlen ausprobiert, ergibt keine von ihnen exakt die Summe 4. Man kommt höchstens auf 3 oder 5. Daher bleibt 4 einzigartig, weil der einzige Weg, sie zu erhalten, der triviale Weg ist.

Das Fazit

Die Arbeit kommt zu dem Schluss, dass die „Magie“, eine einzige, eindeutige Lösung zu haben, nur für die winzigen Zahlen 1, 2 und 4 gilt. Sob einmal man bei 5 ankommt, wird die mathematische Welt überfüllt: Es gibt immer mindestens zwei verschiedene Wege, um dorthin zu gelangen.

Der Autor merkt auch an, dass er zwar bewiesen hat, dass es für Zahlen ab 5 mindestens zwei Lösungen gibt, er sich aber fragt, ob es sogar noch mehr Lösungen geben könnte, wenn wir uns komplexere Muster ansehen – das ist jedoch eine Frage für die zukünftige Forschung.

Technisches Resümee: Eine Anmerkung zu Partitionen im Bild von $pre_2$

Problemstellung
Diese Arbeit befasst sich mit einer kürzlich von Devnani und Eyyunni aufgeworfenen Frage bezüglich der Funktion $pre_2(n)$ , welche die Anzahl der Ganzzahlpartitionen von $n$ zählt, die im Bild der Abbildung $pre_2$ liegen. Die Abbildung $pre_2$ ist auf eine Partition $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_\ell)$ definiert, indem eine neue Partition erzeugt wird, deren Teile alle Produkte aus $k=2$ distinkten Teilen von $\lambda$ sind. Konkret untersuchen die Autoren, ob es eine ganze Zahl $n \ge 1$ gibt, so dass genau eine Partition von $n$ im Bild von $pre_2$ liegt (d. h. $pre_2(n) = 1$ ).

Methodik
Die Autoren verwenden einen konstruktiven Ansatz, um die Existenz mehrerer Partitionen im Bild von $pre_2$ für hinreichend große $n$ nachzuweisen.

Basisfeststellung: Die Arbeit stellt zunächst fest, dass die Partition $(n)$ immer im Bild von $pre_2$ liegt, da $pre_2(n, 1) = (n)$ . Somit gilt $pre_2(n) \ge 1$ für alle $n \ge 1$ .
Konstruktive Strategie: Um zu beweisen, dass $pre_2(n) \ge 2$ für $n \ge 5$ gilt, konstruieren die Autoren spezifische Partitionen $\lambda$ mit mindestens drei Teilen, sodass die Summe der Teile von $pre_2(\lambda)$ gleich $n$ ist. Da $pre_2(\lambda)$ für eine Partition mit $\ge 3$ Teilen mindestens $\binom{3}{2} = 3$ Teile ergibt, kann die resultierende Partition nicht die einteilige Partition $(n)$ sein. Dies garantiert ein zweites, distinktes Element im Bild.
Fallunterscheidung: Der Beweis deckt alle ganzen Zahlen $n \ge 5$ $n \geq 5$ ab, indem er sie in fünf erschöpfende Fälle basierend auf Parität und modularer Arithmetik (speziell modulo 3 und 4) unterteilt. Die Konstruktionen nutzen Partitionen einer einfachen Form, die typischerweise aus einem „großen“ Teil und mehreren kleinen Teilen (1ern oder 2ern) bestehen. Die Summe der resultierenden $pre_2(\lambda)$ $p r e_{2} (λ)$ wird mithilfe der Formel für paarweise Produkte berechnet:
- Für $\lambda = (a, 1, \dots, 1)$ mit $m-1$ Einsen ist die Summe $a(m-1) + \binom{m-1}{2}$ .
- Für $\lambda = (a, 2, 2)$ ist die Summe $4a + 4$ .

Zentrale Beiträge und Ergebnisse
Der Hauptbeitrag der Arbeit ist die vollständige Klärung der von Devnani und Eyyunni aufgeworfenen Frage. Das Hauptergebnis ist in Theorem 1 formalisiert:

$pre_2(n) = 1$ , falls und nur falls $n \in \{1, 2, 4\}$ .
Für jedes $n \ge 5$ gilt $pre_2(n) \ge 2$ .

Die Autoren liefern explizite Konstruktionen für die fünf Fälle, die $n \ge 5$ abdecken:

Fall 1 (Ungerade $n \ge 5$ ): Verwendet $\lambda = (\frac{n-1}{2}, 1, 1)$ .
Fall 2 (Gerade $n$ , $3|n$ , $n \ge 6$ ): Verwendet $\lambda = (\frac{n}{3}-1, 1, 1, 1)$ .
Fall 3 (Gerade $n$ , $3 \nmid n$ , $4|n$ , $n \ge 12$ ): Verwendet $\lambda = (\frac{n-4}{4}, 2, 2)$ .
Fall 4 (Gerade $n$ , $3 \nmid n$ , $n \equiv 2 \pmod 4$ , $n \ge 10$ ): Verwendet $\lambda = (\frac{n-6}{4}, 1, 1, 1, 1)$ .
Fall 5 ( $n=8$ ): Verwendet $\lambda = (2, 2, 1)$ , was $pre_2(2, 2, 1) = (4, 2, 2)$ ergibt.

Zusätzlich analysiert die Arbeit kleine Werte ( $n \le 4$ ), um zu bestätigen, dass keine Partitionen mit drei oder mehr Teilen unter der $pre_2$ -Abbildung 1, 2 oder 4 ergeben, wodurch die Ausnahme Menge $\{1, 2, 4\}$ validiert wird. Die Autoren merken zudem eine computergestützte Verifizierung an, dass $pre_2(n) \ge 2$ für alle $5 \le n \le 10.000$ gilt.

Bedeutung und Umfang
Die Arbeit beansprucht bescheiden, eine definitive Antwort auf eine spezifische offene Frage in der Theorie der Ganzzahlpartitionen und elementaren symmetrischen Polynome zu liefern. Sie schlägt keine neuen Anwendungen oder asymptotischen Formeln vor. Stattdessen hebt sie hervor, dass die verwendeten Konstruktionen auf Partitionen einer „einfachen Form“ (ein großer Teil und kleine Teile) beruhen. Die Autoren deuten an, dass ihre Arbeit zwar die Existenzfrage klärt, aber die Möglichkeit offen lässt, durch variiertere Konstruktionen schärfere untere Schranken für $pre_2(n)$ zu erhalten oder eine asymptotische Formel zu finden. Die Arbeit dient als präzise Charakterisierung der Bildgröße der $pre_2$ -Abbildung für kleine und große ganze Zahlen.

Die Entdeckung

Wie hat er das bewiesen?

Die kleinen Zahlen (Die Ausnahmen)

Das Fazit

Mehr davon