🔢 mathematics

On the Frobenius Number of Quotients of Numerical Semigroups

Diese Arbeit löst ein langjähriges offenes Problem bezüglich der Frobeniuszahl von Quotienten numerischer Halbgruppen, indem sie beweist, dass keine einheitliche polynomielle oder rationale Formel für $g(\langle a,b\rangle/p)$ existiert, während sie gleichzeitig zeigt, dass die Funktion für ein festes $p$ zu einem quadratischen Quasi-Polynom wird und keine nicht-trivialen polynomiellen Relationen erfüllt, wenn $b=a+1$ .

Ursprüngliche Autoren: Feihu Liu

Veröffentlicht 2026-07-28

📖 5 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

Die große Zahlensuche: Warum manche Muster sich nicht zähmen lassen

Stellen Sie sich vor, Sie sind ein Koch, der eine bestimmte Anzahl an Keksen backen möchte, wobei Sie nur zwei Größen von Keksausstechern verwenden dürfen, zum Beispiel 7-Zoll- und 11-Zoll-Kreise. Sie können sie stapeln, schichten oder auf jede Weise kombinieren, die Sie möchten, aber Sie können sie nicht in kleinere Stücke schneiden. Die „Frobenius-Zahl“ ist die größte Anzahl an Keksen, die Sie mit diesen beiden Ausstechern einfach nicht herstellen können. Wenn Sie zum Beispiel 3-Zoll- und 5-Zoll-Ausstecher haben, können Sie 3, 5, 6, 8, 9, 10 usw. herstellen, aber Sie können keine 7 herstellen. Also ist 7 Ihre Frobenius-Zahl. Mathematiker wissen seit über einem Jahrhundert, wie man diese Zahl berechnet, wenn man nur zwei Ausstecher hat, aber es wird unordentlich, wenn man einen dritten oder mehr hinzufügt.

Stellen Sie sich nun eine Wendung im Rezept vor. Anstatt nur zu fragen, was man herstellen kann, fragen Sie: „Wenn ich nur jeden p-ten Keks zähle, den ich herstelle, was ist die größte Zahl, die ich nicht erreichen kann?“ Dies erzeugt eine neue, etwas andere Menge von Zahlen, die eine „Quotienten-Semigruppe“ genannt wird. Die große Frage in dieser Arbeit ist: Gibt es eine einzige, ordentliche Formel (wie einen Zauberspruch), die uns die Antwort für jeden beliebigen Paar von Ausstechern und jeden Schritt beim Zählen liefert? Es ist, als würde man fragen, ob es eine universelle Gleichung gibt, die die unmögliche Kekszahl für jedes mögliche Küchensetup vorhersagt. Dabei geht es nicht nur um Kekse; es geht darum, die verborgenen Regeln der Zahlen zu verstehen, was bei der Kryptographie, der Codierungstheorie und sogar beim Verständnis der Organisation komplexer Systeme hilft.

Die Entdeckung des Papers: Kein Zauberspruch existiert

In dieser Arbeit befasst sich Feihu Liu mit einem hartnäckigen offenen Problem: Können wir eine einfache, geschlossene Formel für die Frobenius-Zahl dieser „Quotienten“-Semigruppen aufschreiben? Konkret untersucht der Autor zwei Szenarien: eines, bei dem Sie zwei beliebige Ausstecher haben (nennen wir sie $a$ und $b$ ), und ein anderes, bei dem die Ausstecher aufeinanderfolgende Zahlen sind (wie $a$ und $a+1$ ).

Die kurze Antwort lautet ein entschiedenes Nein. Das Paper beweist, dass keine einzelne polynomielle Formel (ein Standardtyp mathematischer Gleichungen, die Potenzen und Multiplikation beinhalten) diese Zahl für alle Fälle beschreiben kann. Tatsächlich zeigt der Autor, dass man sich nicht einmal mit einer endlichen Liste verschiedener Formeln davon erteilen kann, die je nach den gewählten Zahlen wechseln.

Um zu verstehen, wie sie dies bewiesen haben, stellen Sie sich vor, Sie versuchen, eine einzelne, starre Kunststoffform über eine Form zu stülpen, die ständig ihre Größe und Gestalt ändert. Der Autor zeigt, dass sich die „Gestalt“ der Antwort verschiebt, während man die Zahlen $a$ , $b$ und den Schritt $p$ ändert, in einer Weise, dass keine feste algebraische Form dies erfassen kann.

Hier ist, was das Paper explizit ausschließt:

Keine universelle Formel: Es gibt keine einzelne polynomielle Gleichung $F(a, b, p, \text{Antwort}) = 0$ , die für jede mögliche Kombination von Zahlen funktioniert.
Keine endliche Liste: Man kann das Problem nicht lösen, indem man eine Liste von, sagen wir, 10 verschiedenen Formeln erstellt und sagt: „Verwenden Sie Formel #1, wenn $a$ eine Primzahl ist, Formel #2, wenn $p$ gerade ist“ usw. Das Paper beweist, dass keine Liste, egal wie lang sie ist, irgendwann für einige Zahlen versagen wird.
Keine rationale Abkürzung: Selbst wenn man erlaubt, Brüche (rationale Funktionen) anstelle von nur ganzen Zahlen zu verwenden, bleibt das Ergebnis dasselbe. Es gibt keine endliche Sammlung dieser Formeln, die alle Fälle abdeckt.

Wie sicher sind sie sich?
Das Paper liefert einen mathematischen Beweis, nicht nur eine Vermutung oder eine Computersimulation. Der Autor verwendet ein mächtiges Werkzeug namens Dirichletsatz (der garantiert, dass bestimmte Zahlenmuster unendlich viele Primzahlen enthalten), um spezifische Beispiele zu konstruieren, bei denen sich die Antwort in einer Weise verhält, die jede potenzielle Formel bricht. Die Logik ist wasserdicht: Wenn eine Formel existieren würde, müsste sie eine Bedingung erfüllen, die angesichts der unendlichen Vielfalt der verfügbaren Primzahlen mathematisch unmöglich ist.

Die Wendung: Eine lokale Lösung vs. ein globales Scheitern

Obwohl das Paper „Nein“ zu einer universellen Formel sagt, lässt es uns nicht mit leeren Händen zurück. Es findet einen sehr spezifischen, cleveren Weg, das Problem zu lösen, wenn man eine der Variablen fixiert.

Wenn Sie entscheiden, die Schrittgröße $p$ festzuhalten (sagen wir, Sie zählen immer jeden 5. Keks), zeigt der Autor, dass die Antwort tatsächlich einem Muster folgt. Es ist keine einzelne glatte Kurve, sondern ein „Quasipolynom“. Denken Sie an ein Chamäleon: Wenn man die Zahlen betrachtet, bei denen $a$ einen Rest von 1 lässt, wenn man es durch 5 teilt, folgt die Antwort einer spezifischen quadratischen Formel. Wenn $a$ einen Rest von 2 lässt, folgt sie einer anderen quadratischen Formel. Es gibt höchstens $p$ dieser verschiedenen „Zweige“.

Für ein festes $p$ ist das Problem also gelöst! Man muss nur prüfen, auf welchem „Zweig“ man sich befindet, und die Zahl in die richtige Formel einsetzen. Das Paper beweist jedoch, dass, sobald man $p$ variieren lässt (die Schrittgröße ändert), sich diese Zweige vervielfältigen und verschieben. Die Anzahl der benötigten Zweige wächst mit $p$ , und die Formeln selbst ändern sich so drastisch, dass keine einzige Master-Formel sie jemals alle zusammenbinden kann.

Das Urteil

Das Paper kommt zu dem Schluss, dass die Frobenius-Zahl für diese Quotienten-Semigruppen algebraisch wild ist. Sie entzieht sich der Zähmung durch die Standardwerkzeuge algebraischer Formeln. Während wir die Antwort für jeden spezifischen Fall mithilfe eines schrittweisen Algorithmus berechnen können (wie etwa das Prüfen von Resten), ist der Traum von einer einfachen, allumfassenden Gleichung unmöglich. Der Autor beweist, dass die Komplexität dieser Zahlen intrinsisch ist; sie sind zu flexibel, um von einer endlichen Menge polynomieller Regeln festgehalten zu werden. Dieses Ergebnis ist bedeutend, da es eine harte Grenze dessen zieht, was in der Zahlentheorie möglich ist, und zeigt, dass manche Muster einfach zu reichhaltig und vielfältig sind, um von einem einzigen, ordentlichen mathematischen Satz erfasst zu werden.

Technische Zusammenfassung: Über die Frobenius-Zahl von Quotienten numerischer Halbgruppen

Problemstellung
Die Arbeit befasst sich mit der Bestimmung expliziter Formeln für die Frobenius-Zahl von Quotienten numerischer Halbgruppen. Gegeben sei eine numerische Halbgruppe $S$ und eine positive Ganzzahl $p$ ; der Quotient $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ ist ebenfalls eine numerische Halbgruppe. Das zentrale offene Problem, das bereits in der Literatur (z. B. [24, 8, 4]) angemerkt wurde, besteht darin, eine geschlossene Formel für die Frobenius-Zahl $g(\langle a, b \rangle / p)$ zu finden, wobei $\gcd(a, b) = 1$ gilt. Ein spezifischer Teilfall von besonderem Interesse ist, wenn die Erzeuger aufeinanderfolgende ganze Zahlen bilden, d. h. $S = \langle a, a+1 \rangle$ . Während Formeln für spezifische Fälle existieren (z. B. $p=2$ , $p=5$ oder wenn $p$ $a$ teilt), bleibt ein allgemeiner geschlossener Ausdruck schwer fassbar.

Methodik
Der Autor verwendet eine Kombination aus Halbgruppentheorie, algebraischer Geometrie und analytischer Zahlentheorie, um die Existenz von Polynomformeln zu untersuchen.

Struktur und Symmetrie der Halbgruppe: Die Arbeit nutzt die Eigenschaft, dass $\langle a, b \rangle$ eine symmetrische numerische Halbgruppe ist. Durch Anwendung eines Ergebnisses aus [28] wird die Frobenius-Zahl des Quotienten $g(S/p)$ in Abhängigkeit von der Frobenius-Zahl von $S$ und dem kleinsten Element $\omega_p(S)$ in $S$ , das kongruent zu $g(S) \pmod p$ ist, ausgedrückt. Für den Fall $S = \langle a, a+1 \rangle$ reduziert sich dies auf die Minimierung einer linearen Form $ia + j$ über eine bestimmte Kongruenzklasse.
Arithmetische Approximation und der Satz von Dirichlet: Um Nichtexistenztheoreme zu beweisen, konstruiert der Autor Sequenzen von Parametern $(a, b, p)$ oder $(a, p)$ , bei denen die Frobenius-Zahl spezifischen linearen oder quadratischen Mustern folgt. Lemma 4.1 nutzt den Satz von Dirichlet über Primzahlen in arithmetischen Progressionen, um unendliche Sequenzen von Primzahlen $a$ und ganzen Zahlen $b$ mit vorgegebenen modularen Eigenschaften und begrenzten Steigungen zu erzeugen.
Algebraische Geometrie (Zariski-Dichte): Der Kern der Nichtexistenzbeweise beruht auf dem Konzept der Zariski-Dichte. Die Arbeit argumentiert, dass, falls eine polynomielle Relation $F(a, b, p, g) = 0$ existieren würde, der Graph der Frobenius-Zahl nicht Zariski-dicht wäre. Durch den Nachweis, dass der Graph dicht ist (oder dass der erforderliche Grad eines solchen Polynoms mit $p$ unbeschränkt ansteigt), wird die Existenz einer solchen Relation widerlegt.
Quasi-polynomielle Analyse: Für den Fall $S = \langle a, a+1 \rangle$ leitet der Autor eine exakte Residuenklassenformel ab. Dies beinhaltet die Definition spezifischer Funktionen $I_p(r)$ und $J_p(r)$ basierend auf dem Residuum von $a$ modulo $p$ , wodurch gezeigt wird, dass die Frobenius-Zahl für ein festes $p$ ein quadratisches Quasi-Polynom ist.

Wesentliche Beiträge und Ergebnisse

Die Arbeit etabliert drei Hauptresultate bezüglich der algebraischen Natur der Frobenius-Zahl dieser Quotienten:

Nichtexistenz uniformer Polynomformeln (allgemeiner Fall):
Theorem 1.2 beweist, dass es kein nicht-nulles Polynom $F \in \mathbb{C}[X_1, X_2, X_3, Y]$ gibt, so dass $F(a, b, p, g(\langle a, b \rangle / p)) = 0$ für alle gültigen Tripel $(a, b, p)$ gilt. Folglich kann die Frobenius-Zahl nicht durch eine endliche Sammlung von Polynom- oder Rationalformeln dargestellt werden, die in Bezug auf $a, b$ und $p$ uniform sind. Dieses Resultat wird dadurch hergeleitet, dass die Frobenius-Zahl für eine feste Primzahl $p$ je nach Verhältnis $b/a$ aus $(p-1)/2$ verschiedenen linearen Formen besteht und die Anzahl dieser Formen mit $p$ wächst, was einen festen Polynomgrad überschreitet.
Quasi-polynomielle Struktur für aufeinanderfolgende Erzeuger:
Für den spezifischen Fall $S = \langle a, a+1 \rangle$ liefert Theorem 1.4 eine exakte Formel für $G(a, p) = g(\langle a, a+1 \rangle / p)$ . Die Formel lautet:
$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$
wobei $r = a \pmod p$ , und $I_p(r), J_p(r)$ durch ein endliches Minimierungsverfahren über Residuen bestimmt werden. Theorem 1.4 schließt, dass für ein festes $p$ die Funktion $a \mapsto G(a, p)$ ein quadratisches Quasi-Polynom mit einer Periode ist, die $p$ teilt.
Nichtexistenz von Polynomformeln (aufeinanderfolgender Fall):
Trotz der quasi-polynomiellen Struktur für festes $p$ beweist Theorem 1.5, dass kein einzelnes nicht-nulles Polynom $F \in \mathbb{C}[X_1, X_2, X_3]$ existiert, das $F(a, p, G(a, p)) = 0$ für alle Paare $(a, p)$ erfüllt, wobei $a$ und $p$ Primzahlen sind (oder sogar nur $p$ eine Primzahl und $a > p$ ist). Der Beweis zeigt, dass der minimale Grad einer Polynomrelation für ein festes $p$ linear mit $p$ wächst (speziell mindestens $\lceil p/2 \rceil$ ). Da ein globales Polynom einen festen Grad haben muss, kann es die unbeschrankten Gradanforderungen, die mit variierendem $p$ einhergehen, nicht erfüllen.

Bedeutung und Behauptungen
Die Arbeit positioniert ihre Ergebnisse als negative Antwort auf das offene Problem der Suche nach geschlossenen Formeln für diese Frobenius-Zahlen, inspiriert durch Curtis' frühere Arbeit über die Nichtexistenz von Formeln für $g(\langle a, b, c \rangle)$ .

Algebraische Komplexität: Die primäre Bedeutung liegt in der Demonstration, dass die Frobenius-Zahl dieser Quotienten eine algebraische Komplexität besitzt, die eine Beschreibung durch endliche Familien von Polynom- oder Rationalausdrücken unabhängig von den Parametern ausschließt.
Unterscheidung zwischen lokal und global: Die Arbeit hebt den Kontrast zwischen lokalem und globalem Verhalten hervor. Lokal (für festes $p$ ) ist die Funktion gutartig (quadratisches Quasi-Polynom). Global (wenn $p$ variiert) ist die Funktion zu komplex, um durch eine einzige algebraische Relation mit beschränktem Grad erfasst zu werden.
Rolle der Primzahlen: Die Ergebnisse gelten selbst unter der restriktiven Bedingung, dass $a$ und $p$ Primzahlen sind, wobei der Satz von Dirichlet genutzt wird, um die Dichte solcher Fälle sicherzustellen.
Klärung von „Nichtexistenz“: Der Autor merkt explizit an, dass diese Ergebnisse nicht implizieren, dass die Frobenius-Zahl unberechenbar sei. Explizite Algorithmen und Formeln, die Floor-Funktionen, modulare Arithmetik und endliche Minimierung beinhalten (wie in Theorem 5.3 zu sehen), existieren durchaus. Die Nichtexistenz-Theoreme schließen spezifisch polynomielle oder rationale Formeln von beschränktem Grad aus, die über den Parameterraum hinweg uniform sind.

Die Arbeit schließt mit dem Hinweis, dass die Suche nach geschlossenen Formeln für spezifische Unterklassen weiterhin eine valide Forschungsrichtung darstellt, der allgemeine Fall für Quotienten numerischer Halbgruppen jedoch einer einfachen algebraischen Charakterisierung widersteht.

Die große Zahlensuche: Warum manche Muster sich nicht zähmen lassen

Die Entdeckung des Papers: Kein Zauberspruch existiert

Die Wendung: Eine lokale Lösung vs. ein globales Scheitern

Das Urteil

Mehr davon