🔢 mathematics

On numerical semigroups with embedding dimension four

Dieser Artikel stellt ein geometrisches Verfahren zur Bestimmung der Apéry-Menge numerischer Halbgruppen mit Einbettungsdimension vier vor, das anschließend zur Berechnung wichtiger Invarianten wie Frobenius-Zahlen und Betti-Elemente für Halbgruppen angewendet wird, die von vier aufeinanderfolgenden Quadratzahlen und vier aufeinanderfolgenden Dreieckszahlen erzeugt werden.

Ursprüngliche Autoren: Kazimierz Chomicz

Veröffentlicht 2026-04-29

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Kazimierz Chomicz

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 hätten einen magischen Automaten, der nur bestimmte Arten von Münzen annimmt. Nehmen wir an, Sie besitzen nur Münzen im Wert von 4, 6 und 9 Cent. Sie können Artikel kaufen, die 4, 6, 8 (4+4), 9, 10 (4+6), 12, 13 (4+9) und so weiter kosten. Aber egal wie Sie Ihre Münzen kombinieren, Sie können niemals genau 1, 2, 3, 5 oder 7 Cent ergeben.

In der Welt der Mathematik wird diese Sammlung von „kaufbaren" Beträgen als Numerische Halbgruppe bezeichnet. Die „fehlenden" Beträge sind die Lücken. Die Frobenius-Zahl ist einfach der Preis des teuersten Artikels, den Sie nicht kaufen können. In unserem Beispiel wäre das 7 Cent.

Dieses Papier, verfasst von einem Highschool-Schüler namens Kazimierz Chomicz, behandelt eine sehr spezifische und knifflige Version dieses Problems: Was passiert, wenn Ihr Automat vier bestimmte Arten von Münzen akzeptiert und diese Münzen einem sehr ordentlichen Muster folgen? Konkret betrachtet der Autor zwei Muster:

Vier aufeinanderfolgende Quadrate: Wie 1, 4, 9, 16 (oder 100, 121, 144, 169).
Vier aufeinanderfolgende Dreieckszahlen: Wie 1, 3, 6, 10 (oder 15, 21, 28, 36).

Lange Zeit wussten Mathematiker, wie man dieses „fehlende Preis"-Problem löst, wenn man nur zwei oder drei Arten von Münzen hat. Aber sobald man bei vier ankommt, wird es unglaublich unübersichtlich, und lange Zeit hatte niemand ein allgemeines Rezept, um die Antwort zu finden.

Das Hauptwerkzeug: Die „3D-Lego-Burg"

Um dies zu lösen, erfindet der Autor eine visuelle Methode. Stellen Sie sich vor, Sie bauen in einer Zimmerecke eine Burg aus 3D-Lego-Steinen.

Jeder Stein repräsentiert eine Möglichkeit, Ihre Münzen zu kombinieren.
Der Autor baut eine riesige, unendliche Burg.
Dann beginnt er, bestimmte Abschnitte der Burg basierend auf mathematischen Regeln abzureißen. Er schneidet riesige Stücke der Struktur ab, die Kombinationen darstellen, die zu groß oder redundant sind.

Nach all dem Abriss bleibt eine spezifische, seltsam geformte Struktur übrig, die ein wenig wie der Buchstabe L (oder eine Treppe) aussieht. Der Autor beweist, dass die „Höhe" des höchsten Steins in dieser verbleibenden L-förmigen Burg Ihnen genau angibt, was die Frobenius-Zahl (der teuerste nicht kaufbare Artikel) ist.

Diese „L-Form" ist der Schlüssel. Sie ist wie eine Karte, die Ihnen genau sagt, welche Zahlen Sie bilden können und welche nicht. Wenn Sie die Steine in dieser L-Form korrekt zählen können, können Sie nicht nur den teuersten nicht kaufbaren Artikel berechnen, sondern auch:

Das Genus: Die Gesamtzahl der „fehlenden Preise" (wie viele Artikel Sie überhaupt nicht kaufen können).
Der Kettengrad: Ein Maß dafür, wie „verwirrend" die Möglichkeiten sind, einen Preis zu bilden. Wenn Sie einen Preis von 100 Cent auf viele verschiedene Arten bilden können (z. B. 25+25+25+25 oder 40+60), sagt Ihnen diese Zahl, wie schwer es ist, von einer Kombination zur anderen zu wechseln, ohne stecken zu bleiben.
Minimale Präsentationen: Die absolut kürzeste Liste von „Regeln", die benötigt wird, um zu beschreiben, wie all diese Münzen interagieren.

Die Ergebnisse: Die Muster finden

Der Autor hat nicht nur die Burg gebaut; er berechnete die exakten Abmessungen für jede mögliche Startzahl. Er stellte fest, dass die Antwort davon abhängt, was für einen Rest die Startzahl ergibt, wenn man sie durch 12 (für Quadrate) oder 6 (für Dreieckszahlen) teilt.

Denken Sie daran wie an eine Wettervorhersage. Wenn Sie mit einer Zahl beginnen, die bei der Division durch 12 einen Rest von 0 lässt, folgt die „Frobenius-Zahl" einer bestimmten Formel. Wenn sie einen Rest von 1 lässt, folgt sie einer etwas anderen Formel.

Das Papier liefert diese exakten Formeln für:

Frobenius-Zahlen: Den exakten Preis des teuersten nicht kaufbaren Artikels für jede Menge von vier aufeinanderfolgenden Quadraten oder Dreieckszahlen.
Genus: Die exakte Anzahl aller nicht kaufbaren Preise.
Kettengrad: Wie komplex die Kombinationen sind.
Minimale Präsentationen: Die exakte Anzahl der Regeln, die benötigt wird, um das System zu beschreiben.

Warum das wichtig ist (laut dem Papier)

Der Autor stellt fest, dass wir dies zwar für vier Münzen lösen können, der Versuch, dies für fünf oder sechs Münzen (eine unendliche Folge) zu tun, jedoch viel schwieriger ist. Er beweist, dass für eine unendliche Folge von Quadraten der „fehlende Preis" zu schnell wächst, um durch eine einfache quadratische Formel (wie $n^2$ ) beschrieben zu werden. Er wächst schneller, wie $n^{2.5}$ oder höher.

Die „Highschool"-Wendung

Vielleicht ist der überraschendste Teil des Papiers die Biografie des Autors. Kazimierz Chomicz war ein Highschool-Schüler, als er dies schrieb. Er nutzte Computertools (wie Mathematica und GAP), um seine komplexen 3D-geometrischen Berechnungen zu überprüfen, aber die Kernlogik und die geometrische „Abriss"-Methode waren seine eigene Erfindung.

Zusammenfassend: Das Papier nimmt ein berüchtigtes schwieriges Mathe-Rätsel (das Finden des „fehlenden Preises" für vier bestimmte Arten von Münzen) und löst es, indem es das Problem in ein 3D-Geometriespiel verwandelt. Indem er eine spezifische „L-förmige" Burg aus einem Block unendlicher Möglichkeiten herausschneidet, liefert der Autor ein vollständiges Rezept, um jede wichtige Zahl zu berechnen, die mit diesen spezifischen Münzsätzen verbunden ist.

1. Problemstellung

Das Papier behandelt das Frobenius-Problem für numerische Halbgruppen mit Einbettungsdimension vier ( $e(S)=4$ ).

Kontext: Für eine numerische Halbgruppe $S = \langle d_0, d_1, d_2, d_3 \rangle$ ist die Frobenius-Zahl $F(S)$ die größte ganze Zahl, die nicht in $S$ liegt. Während explizite Formeln für $e(S)=2$ (Sylvester-Formel) und verschiedene Spezialfälle für $e(S)=3$ existieren, gibt es keine allgemeine Polynomformel für $e(S) \ge 3$ (bewiesen als NP-schwer).
Spezifisches Ziel: Der Autor zielt darauf ab, die Frobenius-Zahl, das Geschlecht, die Betti-Elemente, minimale Präsentationen und Kettengrade für zwei spezifische Familien von Halbgruppen zu berechnen:
1. Halbgruppen, die durch vier aufeinanderfolgende Quadrate erzeugt werden: $S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$ .
2. Halbgruppen, die durch vier aufeinanderfolgende Dreieckszahlen erzeugt werden: $S = \langle \binom{n+1}{2}, \binom{n+2}{2}, \binom{n+3}{2}, \binom{n+4}{2} \rangle$ .

2. Methodik

Der Kern des Papiers ist ein geometrisches Verfahren, um die Apéry-Menge ( $Ap(S, d_0)$ ) einer numerischen Halbgruppe mit Einbettungsdimension vier zu bestimmen. Die Apéry-Menge ist entscheidend, da $F(S) = \max(Ap(S, d_0)) - d_0$ gilt und das Geschlecht $G(S)$ aus der Summe ihrer Elemente abgeleitet werden kann.

A. Geometrische Konstruktion (Abschnitt 2)

Gitterdarstellung: Die Methode visualisiert die Halbgruppe in $\mathbb{R}^3$ unter Verwendung von Einheitswürfeln, die mit Werten $id_1 + jd_2 + kd_3$ beschriftet sind.
Minimale Relationen: Der Autor definiert „minimale Relationen" (z. B. $a_{00}d_0 = a_{01}d_1 + a_{02}d_2 + a_{03}d_3$ ) und konstruiert spezifische Punkte in $\mathbb{Z}^3$ basierend auf den Koeffizienten dieser Relationen.
Bereiche löschen: Das Verfahren beinhaltet das Löschen spezifischer Bereiche (Orthanten) aus der anfänglichen Sammlung von Würfeln, die diesen Punkten zugeordnet sind.
- Satz 2.2: Liefert einen rigorosen Algorithmus zum Löschen von Bereichen, die mit minimalen Relationen und spezifischen Identitäten verbunden sind, um die Apéry-Menge zu isolieren.
- L-Formen: Das Ziel ist es, die verbleibende Sammlung von Würfeln auf eine L-Form zu reduzieren (eine spezifische geometrische Konfiguration, bei der jedes Element der Apéry-Menge genau einen Würfel beschriftet).
- Proposition 2.5 & 2.8: Stellen Bedingungen auf, unter denen die resultierende Figur garantiert eine L-Form ist. Dies beruht auf der Gleichheit der Koeffizienten in minimalen Relationen ( $a_{ii} = b_{ii}$ ).
Eindeutigkeit: Das Papier diskutiert die Eindeutigkeit dieser L-Formen (Proposition 2.10) und verknüpft sie mit der Struktur der minimalen Relationen.

B. Faktorisierungstheorie (Abschnitt 3)

Sobald die Apéry-Menge (als L-Form) identifiziert ist, verwendet der Autor sie zur Berechnung von Faktorisierungsinvarianten:

Betti-Elemente: Werden als Elemente in der Apéry-Menge identifiziert, die bestimmten „Ecken" oder Relationen in der geometrischen Figur entsprechen.
Kettengrad ( $c(S)$ ): Wird berechnet, indem die Abstände zwischen verschiedenen Faktorisierungen der Betti-Elemente analysiert werden.
Minimale Präsentationen: Werden unter Verwendung der Mengen der Faktorisierungen der Betti-Elemente konstruiert (Satz 3.2).

3. Hauptbeiträge

Allgemeiner geometrischer Algorithmus: Das Papier schlägt einen modifizierten, generalisierbaren geometrischen Verfahren vor, um die Apéry-Menge für jede numerische Halbgruppe mit Einbettungsdimension vier zu finden, und überwindet damit die Einschränkungen früherer Methoden (wie die von Killingbergtrø), die sich auf spezifische Eigenschaften (z. B. teleskopische Folgen) stützten.
Explizite Formeln für spezielle Familien: Der Autor wendet diese Methode erfolgreich an, um geschlossene Polynomformeln für die Invarianten von Halbgruppen abzuleiten, die durch vier aufeinanderfolgende Quadrate und Dreieckszahlen erzeugt werden.
Verbindung zu L-Formen: Die Arbeit verknüpft rigoros die geometrische Form der Apéry-Menge (insbesondere die L-Form-Eigenschaft) mit den algebraischen Eigenschaften der Halbgruppe, wie dem Vorhandensein minimaler Präsentationen und der Berechnung des Kettengrades.

4. Detaillierte Ergebnisse

A. Vier aufeinanderfolgende Quadrate ( $S = \langle n^2, (n+1)^2, (n+2)^2, (n+3)^2 \rangle$ )

Die Ergebnisse hängen von $n \pmod{12}$ ab (und von $n \pmod 4$ für spezifische Fälle).

Frobenius-Zahl ( $F(S)$ ): Abgeleitet als kubisches Polynom in $n$ (z. B. für $n \equiv 0 \pmod{12}$ , $F(S) = \frac{11}{12}n^3 + 4n^2 + \frac{9}{2}n - 2$ ).
Geschlecht ( $G(S)$ ): Abgeleitet als kubisches Polynom in $n$ .
Kettengrad ( $c(S)$ ): Erweist sich als linear in $n$ (z. B. $c(S) = \frac{11}{12}n + 2$ für $n \equiv 0 \pmod{12}$ ).
Minimale Präsentation: Die Kardinalität der minimalen Präsentation ist linear in $n$ (z. B. $\frac{1}{3}n + 6$ ).
Betti-Elemente: Die Anzahl der Betti-Elemente wird explizit berechnet (z. B. $4k+6$ für $n=12k$ ).

B. Vier aufeinanderfolgende Dreieckszahlen ( $S = \langle \binom{n+1}{2}, \dots, \binom{n+4}{2} \rangle$ )

Die Ergebnisse hängen von $n \pmod 6$ ab.

Frobenius-Zahl: Abgeleitet als kubisches Polynom in $n$ (z. B. für $n \equiv 0 \pmod 6$ , $F(S) = \frac{1}{3}n^3 + \frac{11}{6}n^2 + \frac{5}{2}n - 1$ ).
Geschlecht: Abgeleitet als kubisches Polynom in $n$ .
Kettengrad: Linear in $n$ (z. B. $c(S) = \frac{2}{3}n + 1$ für $n \equiv 0 \pmod 6$ ).
Minimale Präsentation: Die Kardinalität ist linear in $n$ (z. B. $\frac{1}{3}n + 3$ ).

Hinweis: Der Autor verwendete Mathematica zur Entdeckung von Identitäten und das GAP-Paket numericalsgps zur Verifizierung.

5. Bedeutung und zukünftige Arbeiten

Asymptotisches Verhalten: Das Papier diskutiert das asymptotische Verhalten der Frobenius-Zahl für unendliche Folgen von Potenzen. Es wird bewiesen, dass für $k$ aufeinanderfolgende Quadrate die Frobenius-Zahl als $O(n^{2 + 2/k})$ wächst, was bedeutet, dass sie für $k \ge 3$ kein quadratisches Polynom sein kann. Dies steht im Gegensatz zu den in diesem Papier gefundenen kubischen Ergebnissen für $k=4$ .
Generalisierung: Der Autor hebt hervor, dass die aktuelle Methode von der Bedingung $a_{ii} = b_{ii}$ abhängt (Proposition 2.5). Ein bedeutendes offenes Problem, das vorgeschlagen wird, besteht darin, das Verfahren auf Fälle auszudehnen, in denen $a_{ii}d_i = a_{jj}d_j$ gilt (nicht-teleskopische Fälle).
Zähmungsgrad: Das Papier identifiziert den Zähmungsgrad als eine komplexere Invariante, die für diese Familien unter Verwendung des entwickelten geometrischen Rahmens systematisch berechnet werden muss.

Zusammenfassend bietet dieses Papier ein leistungsfähiges geometrisches Werkzeug zur Analyse numerischer Halbgruppen der Einbettungsdimension vier, löst erfolgreich das Frobenius-Problem und verwandte Faktorisierungsinvarianten für zwei wichtige Familien von Erzeugern und etabliert einen Rahmen für zukünftige Forschung zu allgemeineren Halbgruppenstrukturen.