🔢 mathematics

On quotients of numerical semigroups for almost arithmetic progressions

Die Arbeit leitet geschlossene Formeln für die Frobenius-Zahl von Quotienten numerischer Halbgruppen her, indem sie die Berechnung der Apéry-Menge auf ein Minimierungsproblem reduziert, was insbesondere für fast arithmetische Progressionen gilt und ein offenes Problem von A. Adeniran et al. teilweise löst.

Ursprüngliche Autoren: Feihu Liu

Veröffentlicht 2026-04-13

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Feihu Liu

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

🍪 Der Große Keks-Teppich: Eine Reise durch die Welt der Zahlen

Stell dir vor, du hast einen riesigen Keks-Teppich. Auf diesem Teppich liegen nur bestimmte Keks-Positionen, die du mit deinen Händen berühren darfst. Diese Positionen sind keine willkürlichen Punkte, sondern sie entstehen durch eine einfache Regel: Du hast ein paar spezielle Keks-Formen (Zahlen), und du darfst nur dann einen Keks auf den Teppich legen, wenn er aus einer Kombination dieser Formen besteht.

In der Mathematik nennen wir diese Menge an erlaubten Positionen einen Numerischen Halbgruppe.

1. Das Problem: Die Lücken im Teppich

Nicht jeder Punkt auf dem Teppich ist besetzt. Es gibt Lücken.

Die größte Lücke (Frobenius-Zahl): Stell dir vor, du suchst die größte Lücke auf dem Teppich, hinter der alle weiteren Punkte besetzt sind. Das ist die berühmte "Frobenius-Zahl". Sie ist wie der letzte große Stein, der noch fehlt, bevor der Weg endlos weitergeht.
Die Anzahl der Lücken (Genus): Wie viele einzelne Lücken gibt es insgesamt?

Für einfache Fälle (z. B. nur zwei Keks-Formen) kennen wir die Antwort schon lange. Aber sobald wir mehr Formen haben, wird es extrem kompliziert, wie ein riesiges Labyrinth.

2. Der neue Trick: Der "Quotient" (Das Vergrößern des Maßstabs)

In diesem Papier untersucht der Autor eine besondere Operation, die er Quotient nennt. Stell dir das wie einen Zoom oder eine Vergrößerung vor.

Die Regel: Wir nehmen unseren Keks-Teppich und sagen: "Wir schauen uns nur die Positionen an, die durch eine bestimmte Zahl $p$ teilbar sind."
Die Magie: Wenn wir diesen "gezoomten" Teppich betrachten, entsteht ein neuer Teppich. Dieser neue Teppich hat oft eine viel schönere Struktur als der alte. Die Lücken sind anders verteilt, und manchmal lassen sich Muster erkennen, die im Original verborgen waren.

Die große Frage ist: Wie verändert sich die größte Lücke und die Anzahl der Lücken, wenn wir diesen Zoom anwenden?

3. Die Lösung: Der "Apery-Set" als Schatzkarte

Um die Lücken zu zählen, brauchen wir eine Schatzkarte. In der Mathematik heißt diese Karte das Apery-Set.

Die Analogie: Stell dir vor, du musst für jeden möglichen Rest (wenn man durch eine Zahl teilt) den kleinsten Keks finden, der diesen Rest ergibt. Diese kleinsten Kekse bilden die Schatzkarte.
Der Durchbruch: Der Autor zeigt, dass wenn die Zahl $p$ $p$ (der Zoom-Faktor) ein Teiler der ersten Keks-Form ist, man die Berechnung dieser Schatzkarte auf ein einfaches Minimierungs-Problem reduzieren kann.
- Stell dir vor: Statt jeden einzelnen Keks einzeln zu suchen, kannst du einfach sagen: "Ich brauche nur die kleinste Anzahl von Schritten, um dieses Ziel zu erreichen." Das macht die Rechnung von einem Albtraum zu einem einfachen Rätsel.

4. Die Spezialfälle: Fast-Arithmetische Fortschreitungen

Der Autor wendet diesen Trick auf eine sehr spezielle Art von Keks-Formen an, die er "Fast-Arithmetische Fortschreitungen" nennt.

Das Bild: Stell dir eine Reihe von Steinen vor, die fast gleich weit voneinander entfernt sind (wie eine Treppe), aber vielleicht fehlt der erste Stein oder der Abstand ist leicht verzerrt.
Das Ergebnis: Der Autor hat Formeln gefunden, die genau berechnen, wie groß die größte Lücke und wie viele Lücken es auf dem gezoomten Teppich gibt.

Er löst damit ein Teilproblem, das andere Mathematiker (Adeniran et al.) als "offenes Problem" bezeichnet hatten. Es war wie ein verschlossenes Schloss, und er hat den richtigen Schlüssel (die Reduktionsmethode) gefunden.

5. Warum ist das wichtig?

Obwohl es sich um abstrakte Zahlen handelt, ist dieses Denken überall:

In der Informatik: Bei der Optimierung von Algorithmen.
In der Biologie: Bei der Analyse von Mustern in DNA-Sequenzen.
In der Wirtschaft: Bei der Berechnung von Wechselkursen oder Währungskombinationen.

Zusammenfassung in einem Satz:
Der Autor hat eine neue Methode entwickelt, um komplexe Muster in Zahlenreihen zu vereinfachen, indem er sie "heranzoomt", und hat damit exakte Formeln gefunden, um die größten Lücken in diesen Mustern vorherzusagen – besonders für Reihen, die fast wie eine perfekte Treppe aussehen.

Die wichtigsten Begriffe einfach erklärt:

Numerischer Halbgruppe: Ein Netz aus Zahlen, das durch Addition entsteht.
Quotient: Ein neuer, vergrößerter Blick auf das Netz (nur bestimmte Punkte).
Frobenius-Zahl: Die größte Lücke im Netz.
Apery-Set: Die Schatzkarte, die die kleinsten Vertreter jeder Lücke-Kategorie zeigt.
Fast-Arithmetische Fortschreitung: Eine Zahlenreihe, die fast regelmäßig ist, aber kleine Unregelmäßigkeiten hat.

1. Problemstellung

Die Arbeit beschäftigt sich mit numerischen Halbgruppen (Teilmengen der nicht-negativen ganzen Zahlen $\mathbb{N}$ , die unter Addition abgeschlossen sind, $0$ enthalten und ein endliches Komplement in $\mathbb{N}$ haben).
Gegeben sei eine numerische Halbgruppe $\langle A \rangle$ , erzeugt durch eine Menge teilerfremder positiver ganzer Zahlen $A = \{a_1, a_2, \dots, a_n\}$ .

Das zentrale Objekt der Untersuchung ist der Quotient dieser Halbgruppe bezüglich einer positiven ganzen Zahl $p$ , definiert als:
$\langle A \rangle_p = \{x \in \mathbb{N} \mid px \in \langle A \rangle\}$
Es ist bekannt, dass $\langle A \rangle_p$ ebenfalls eine numerische Halbgruppe ist. Die Berechnung der beiden wichtigsten Invarianten dieser Quotientenhalbgruppe ist jedoch schwierig:

Die Frobenius-Zahl $F(\langle A \rangle_p)$ : Die größte ganze Zahl, die nicht in $\langle A \rangle_p$ liegt.
Das Genus $g(\langle A \rangle_p)$ : Die Anzahl der nicht in $\langle A \rangle_p$ enthaltenen nicht-negativen ganzen Zahlen.

Ein offenes Problem, das von A. Adeniran et al. aufgeworfen wurde, besteht darin, geschlossene Formeln für diese Invarianten zu finden, wenn $A$ eine fast arithmetische Progression (fast AP) ist und $p$ ein Teiler des ersten Elements $a$ von $A$ ist. Bisherige Ergebnisse deckten nur sehr spezielle Fälle ab.

2. Methodik

Der Autor entwickelt eine Reduktionsmethode, die auf der Analyse der Apéry-Menge basiert.

Apéry-Menge: Für ein Element $a \in \langle A \rangle \setminus \{0\}$ ist die Apéry-Menge definiert als $Ap(\langle A \rangle, a) = \{w \in \langle A \rangle \mid w - a \notin \langle A \rangle\}$ . Sie besteht aus genau $a$ Elementen, die die Restklassen modulo $a$ repräsentieren.
Verknüpfung mit Invarianten: Nach bekannten Lemmata (Brauer, Selmer) lassen sich die Frobenius-Zahl und das Genus direkt aus den Elementen der Apéry-Menge berechnen:
- $F(\langle A \rangle) = \max(Ap(\langle A \rangle, a)) - a$
- $g(\langle A \rangle) = \frac{1}{a} \sum_{w \in Ap(\langle A \rangle, a)} w - \frac{a-1}{2}$

Der Kern der neuen Methode:
Liu reduziert die Berechnung der Elemente der Apéry-Menge des Quotienten $\langle A \rangle_p$ (wobei $p \mid a_1$ ) auf ein einfaches Minimierungsproblem, bezeichnet als $OB(M)$.
Für eine Halbgruppe der Form $A = (a, ha + db_1, \dots, ha + db_k)$ wird gezeigt, dass die Elemente $N_{dr,p}$ der Apéry-Menge von $\langle A \rangle_p$ (bezogen auf den Erzeuger $a/p$ ) durch folgende Formel gegeben sind:
$N_{dr,p} = \min \left\{ OB(ma + rp) \cdot \frac{ha}{p} + \left(\frac{ma}{p} + r\right)d \mid m \in \mathbb{N} \right\}$
wobei $OB(M)$ definiert ist als die minimale Summe von Koeffizienten $x_i$ , die eine lineare Diophantische Gleichung $\sum b_i x_i = M$ lösen.

Durch die Analyse des Verhaltens von $OB(M)$ und der daraus resultierenden Funktion $N_{dr,p}(m)$ kann der Autor zeigen, dass das Minimum oft bei $m=0$ (oder einem kleinen $m$ ) angenommen wird. Dies ermöglicht die Herleitung expliziter geschlossener Formeln.

3. Wichtige Beiträge und Ergebnisse

Der Artikel liefert geschlossene Formeln für $F(\langle A \rangle_p)$ und $g(\langle A \rangle_p)$ für verschiedene Klassen von fast arithmetischen Progressionen unter der Bedingung $p \mid a$ :

Allgemeine Skalierung (Theorem 1.2):
Es wird eine Beziehung zwischen der Quotientenhalbgruppe von $(a, d b_1, \dots, d b_k)$ und der von $(a, b_1, \dots, b_k)$ hergeleitet. Dies erlaubt es, Ergebnisse für skalierte Generatoren auf die Basisfälle zurückzuführen.
Fast arithmetische Progressionen (Theorem 1.3):
Für $A = (a, ha+d, ha+2d, \dots, ha+kd)$ werden explizite Formeln hergeleitet.
- Dies stellt eine teilweise Lösung für das offene Problem von Adeniran et al. dar (Spezialfall $h=1$ ).
- Die Formeln hängen von der Division von $a-p$ durch $k$ ab.
Fast arithmetische Progressionen mit Anfangslücken (Theorem 1.4):
Für $A = (a, ha+(K+1)d, \dots, ha+kd)$ (wobei die ersten $K$ Glieder fehlen) werden Formeln bereitgestellt.
- Hier wird zwischen zwei Fällen unterschieden: $p > K$ und $p \le K$ .
- Im Fall $p \le K$ wird die Struktur der Apéry-Menge komplexer, was zu unterschiedlichen Summenformeln für das Genus führt.
Spezielle Fälle mit wenigen Erzeugern (Theorem 1.5):
Für $A = (a, ha-d, ha+d)$ wird eine Formel hergeleitet, die auf dem Maximum zweier linearer Ausdrücke basiert, abhängig von einem Schwellenwert $s$ .
Fast arithmetische Progressionen mit ungeraden Schritten (Theorem 1.6):
Für $A = (a, ha+d, ha+3d, \dots, ha+(2k+1)d)$ .
- Eine geschlossene Formel wird für den Fall $t' \equiv 0 \pmod 2$ (wobei $t'$ der Rest von $a-p$ bei Division durch $2k+1$ ist) angegeben.
- Der Fall, dass $t'$ ungerade ist, wird als komplexer identifiziert, für den keine einfache geschlossene Formel gefunden wurde.

4. Signifikanz und Bedeutung

Lösung eines offenen Problems: Die Arbeit liefert eine teilweise Lösung für das von Adeniran et al. gestellte Problem, Formeln für die Invarianten von Quotienten numerischer Halbgruppen zu finden, wenn die Generatoren eine fast arithmetische Progression bilden.
Verallgemeinerung bestehender Ergebnisse: Die Ergebnisse verallgemeinern bekannte Formeln für den Fall $p=1$ (die Frobenius-Zahl der ursprünglichen Halbgruppe) und für den Fall $h=1$ auf den allgemeinen Fall $h \in \mathbb{P}$ und $p \mid a$ .
Effiziente Berechnung: Die vorgestellte Reduktionsmethode auf das Minimierungsproblem $OB(M)$ bietet einen systematischen Weg, um die Apéry-Mengen von Quotientenhalbgruppen zu analysieren, was die Berechnung von Frobenius-Zahlen und Genus erheblich vereinfacht, anstatt diese durch brute-force Suche zu bestimmen.
Validierung: Die theoretischen Ergebnisse wurden durch numerische Beispiele und die Überprüfung mit dem GAP-Paket numericalsgps validiert.

Zusammenfassend bietet der Artikel einen tiefen Einblick in die Struktur von Quotienten numerischer Halbgruppen und erweitert das Repertoire an expliziten Formeln für diese wichtigen kombinatorischen Invarianten in der Zahlentheorie.