🔢 mathematics

On the Frobenius Number of Quotients of Numerical Semigroups

Dit artikel lost een langlopend open probleem op met betrekking tot het Frobeniusgetal van quotiënten van numerieke semigroepen door te bewijzen dat er geen uniforme polynomiale of rationale formule bestaat voor $g(\langle a,b\rangle/p)$ , terwijl het aantoont dat de functie voor een vaste $p$ een kwadratische quasi-polynoom wordt en geen niet-triviale polynomiale relatie bevredigt wanneer $b=a+1$ .

Oorspronkelijke auteurs: Feihu Liu

Gepubliceerd 2026-07-28

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Feihu Liu

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Grote Getallenjacht: Waarom Sommige Patronen Weigeren Getemd te Worden

Stel je voor dat je een chef bent die een specifiek aantal koekjes wil maken met slechts twee soorten koekjesvormen, zeg cirkels van 7 en 11 inch. Je kunt ze stapelen, in lagen leggen of op elke manier combineren die je wilt, maar je kunt ze niet in kleinere stukjes snijden. Het "Frobeniusgetal" is het grootste aantal koekjes dat je simpelweg niet kunt maken met die twee vormen. Als je bijvoorbeeld 3-inch en 5-inch vormen hebt, kun je 3, 5, 6, 8, 9, 10, enzovoort maken, maar je kunt geen 7 maken. Dus 7 is jouw Frobeniusgetal. Wiskundigen weten al meer dan een eeuw hoe ze dit getal kunnen berekenen als je slechts twee vormen hebt, maar de zaken worden rommelig zodra je een derde of meer toevoegt.

Stel je nu een draai aan het recept voor. In plaats van alleen te vragen wat je kunt maken, vraag je: "Als ik alleen elke p-de koekie tel die ik maak, wat is dan het grootste aantal dat ik niet kan bereiken?" Dit creëert een nieuwe, iets andere verzameling getallen die een "quotiëntsemigroep" wordt genoemd. De grote vraag in dit artikel is: Is er één enkele, nette formule (zoals een toverspreuk) die ons het antwoord geeft voor elk paar vormen en elke telstap? Het is also kind als vragen of er één universele vergelijking bestaat die het onmogelijke koekjesaantal voorspelt voor elke mogelijke keukenopstelling. Dit gaat niet alleen over koekjes; het gaat over het begrijpen van de verborgen regels van getallen, wat helpt bij cryptografie, coderingstheorie en zelfs bij het begrijpen van hoe complexe systemen zichzelf organiseren.

De Ontdekking van het Artikel: Er Bestaat Geen Toverspreuk

In dit artikel behandelt Feihu Liu een hardnekkig openstaand probleem: Kunnen we een eenvoudige, gesloten formule opschrijven voor het Frobeniusgetal van deze "quotiëntsemigroepen"? Specifiek onderzoekt de auteur twee scenario's: één waarbij je twee willekeurige vormen hebt (laten we ze $a$ en $b$ noemen) en een ander waarbij de vormen opeenvolgende getallen zijn (zoals $a$ en $a+1$ ).

Het korte antwoord is een resoluut nee. Het artikel bewijst dat geen enkele enkelvoudige polynoomformule (een standaard type wiskundige vergelijking met machten en vermenigvuldigingen) dit getal voor alle gevallen kan beschrijven. Sterker nog, de auteur laat zien dat je zelfs niet wegkomt met een eindige lijst van verschillende formules die wisselen op basis van de gekozen getallen.

Om te begrijpen hoe zij dit hebben bewezen, stel je voor dat je probeert een enkele, stijve plastic mal over een vorm te passen die voortdurend van grootte en vorm verandert. De auteur demonstreert dat naarmate je de getallen $a$ , $b$ en de stap $p$ verandert, de "vorm" van het antwoord verschuift op een manier die geen enkele vaste algebraïsche mal kan vangen.

Dit sluit het artikel expliciet uit:

Geen Universele Formule: Er is geen enkele polynoomvergelijking $F(a, b, p, \text{Antwoord}) = 0$ die voor elke mogelijke combinatie van getallen werkt.
Geen Eindige Lijst: Je kunt het niet oplossen door een lijst van bijvoorbeeld 10 verschillende formules te maken en te zeggen: "Gebruik formule #1 als $a$ priem is, formule #2 als $p$ even is," enzovoort. Het artikel bewijst dat er geen matter hoe lang je lijst ook is, deze uiteindelijk zal falen voor sommige getallen.
Geen Rationaal Kortpad: Zelfs als je breuken (rationale functies) toestaat in plaats van alleen gehele polynomen, blijft het resultaat hetzelfde. Er is geen eindige collectie van deze formules die alle gevallen dekt.

Hoe zeker zijn ze?
Het artikel biedt een wiskundig bewijs, niet slechts een gok of een computersimulatie. De auteur gebruikt een krachtig instrument genaamd de stelling van Dirichlet (die garandeert dat bepaalde patronen van getallen oneindig veel priemgetallen bevatten) om specifieke voorbeelden te construeren waarin het antwoord zich op een manier gedraagt die elke potentiële formule breekt. De logica is waterdicht: als een formule zou bestaan, zou deze aan een voorwaarde moeten voldoen die wiskundig onmogelijk is, gezien de oneindige variëteit van de beschikbare priemgetallen.

De Twist: Een Lokale Oplossing versus een Mondiale Mislukking

Hoewel het artikel "nee" zegt tegen een universele formule, laat het ons niet met lege handen achter. Het vindt een zeer specifieke, slimme manier om het probleem op te lossen als je één van de variabelen vastzet.

Als je besluit de stapgrootte $p$ vast te houden (zeg, je telt altijd elke 5e koekie), laat de auteur zien dat het antwoord wel een patroon volgt. Het is geen enkele gladde curve, maar een "quasi-polynoom". Denk hierbij aan een kameleon: als je naar de getallen kijelt waar $a$ een restwaarde van 1 heeft bij deling door 5, volgt het antwoord één specifieke kwadratische formule. Als $a$ een restwaarde van 2 heeft, volgt het een andere kwadratische formule. Er zijn maximaal $p$ van deze verschillende "takken".

Dus, voor een vaste $p$ , is het probleem opgelost! Je hoeft alleen maar te controleren op welke "tak" je zit en het getal in de juiste formule in te vullen. Echter, het artikel bewijst dat zodra je $p$ laat variëren (de telstap verandert), deze takken zich op een chaotische manier vermenigvuldigen en verschuiven. Het aantal benodigde takken groeit met $p$ , en de formules zelf veranderen zo drastisch dat geen enkele meesterformule ze ooit allemaal samen kan binden.

Het Eindoordeel

Het artikel concludeert dat het Frobeniusgetal voor deze quotiëntsemigroepen algebraïsch wild is. Het verzet zich tegen het temmen door de standaardinstrumenten van algebraïsche formules. Hoewel we het antwoord voor elk specifiek geval kunnen berekenen met een stapsgewijs algoritme (zoals het controleren van restwaarden), is de droom van een eenvoudige, allesomvattende vergelijking onmogelijk. De auteur bewijst dat de complexiteit van deze getallen intrinsiek is; ze zijn te flexibel om te worden vastgelegd door een eindige set van polynomiale regels. Dit resultaat is significant omdat het een harde grens stelt aan wat mogelijk is in de getaltheorie, door aan te tonen dat sommige patronen simpelweg te rijk en gevarieerd zijn om door een enkele, nette wiskundige zin te worden gevangen.

Technische Samenvatting: Over het Frobeniusgetal van Quotiënten van Numerieke Semigroepen

Probleemstelling
Het artikel behandelt de bepaling van expliciete formules voor het Frobeniusgetal van quotiënten van numerieke semigroepen. Gegeven een numerieke semigroep $S$ en een positief geheel getal $p$ , is het quotient $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ eveneens een numerieke semigroep. Het centrale openstaande probleem, eerder opgemerkt in de literatuur (bijv. [24, 8, 4]), is het vinden van een gesloten formule voor het Frobeniusgetal $g(\langle a, b \rangle / p)$ waarbij $\gcd(a, b) = 1$ . Een specifiek subgeval van bijzonder belang is wanneer de generatoren opeenvolgende gehelen vormen, d.w.z. $S = \langle a, a+1 \rangle$ . Hoewel er formules bestaan voor specifieke gevallen (bijv. $p=2$ , $p=5$ , of wanneer $p$ deelbaar is door $a$ ), blijft een algemene gesloten uitdrukking ongrijpbaar.

Methodologie
De auteur maakt gebruik van een combinatie van semigroeptheorie, algebraïsche meetkunde en analytische getaltheorie om het bestaan van polynoomformules te onderzoeken.

Semigroepstructuur en Symmetrie: Het artikel maakt gebruik van de eigenschap dat $\langle a, b \rangle$ een symmetrische numerieke semigroep is. Door een resultaat uit [28] toe te passen, wordt het Frobeniusgetal van het quotient $g(S/p)$ uitgedrukt in termen van het Frobeniusgetal van $S$ en het kleinste element $\omega_p(S)$ in $S$ dat congruent is aan $g(S) \pmod p$ . Voor het geval $S = \langle a, a+1 \rangle$ reduceert dit het probleem tot het minimaliseren van een lineaire vorm $ia + j$ over een specifieke congruentieklasse.
Arithmetische Approximatie en de Stelling van Dirichlet: Om niet-bestaansstellingen te bewijzen, construeert de auteur sequenties van parameters $(a, b, p)$ of $(a, p)$ waarbij het Frobeniusgetal specifieke lineaire of kwadratische patronen volgt. Lemma 4.1 gebruikt de stelling van Dirichlet over priemgetallen in rekenkundige progressies om oneindige sequenties van priemgetallen $a$ en gehele getallen $b$ met voorgeschreven modulaire eigenschappen en limiterende hellingen te generen.
Algebraïsche Meetkunde (Zariski-dichtheid): De kern van de bewijzen voor het niet-bestaan berust op het concept van Zariski-dichtheid. Het artikel betoogt dat als een polynoomrelatie $F(a, b, p, g) = 0$ zou bestaan, de grafiek van het Frobeniusgetal niet Zariski-dicht zou zijn. Door aan te tonen dat de grafiek dicht is (of dat de vereiste graad van elk zodanig polynoom onbegrenkt groeit met $p$ ), wordt het bestaan van een dergelijke relatie weerlegd.
Quasi-polynoom Analyse: Voor het specifieke geval $S = \langle a, a+1 \rangle$ leidt de auteur een exacte residuklasse-formule af. Dit behelst het definiëren van specifieke functies $I_p(r)$ en $J_p(r)$ gebaseerd op het residu van $a$ modulo $p$ , waarbij wordt aangetoond dat het Frobeniusgetal voor een vaste $p$ een kwadratisch quasi-polynoom is.

Belangrijkste Bijdragen en Resultaten

Het artikel stelt drie hoofdresultaten vast met betrekking tot de algebraïsche aard van het Frobeniusgetal voor deze quotiënten:

Niet-bestaan van Uniforme Polynoomformules (Algemeen Geval):
Stelling 1.2 bewijst dat er geen niet-nulwaardig polynoom $F \in \mathbb{C}[X_1, X_2, X_3, Y]$ bestaat zodanig dat $F(a, b, p, g(\langle a, b \rangle / p)) = 0$ voor alle geldige triples $(a, b, p)$ . Bijgevolg kan het Frobeniusgetal niet worden gerepresenteerd door een enkele verzameling van polynoom- of rationale formules die uniform zijn in $a, b$ en $p$ . Dit resultaat is afgeleid van het feit dat het Frobeniusgetal voor een vaste priem $p$ , $(p-1)/2$ verschillende lineaire vormen aanneemt afhankelijk van de ratio $b/a$ , en dat het aantal van dergelijke vormen groeit met $p$ , wat een vaste polynoomgraad overstijgt.
Quasi-polynoom Structuur voor Opeenvolgende Generatoren:
Voor het specifieke geval $S = \langle a, a+1 \rangle$ biedt Stelling 1.4 een exacte formule voor $G(a, p) = g(\langle a, a+1 \rangle / p)$ . De formule is:
$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$
waarbij $r = a \pmod p$ , en $I_p(r), J_p(r)$ worden bepaald door een eindige minimalisatieprocedure over residuen. Stelling 1.4 concludeert dat voor een vaste $p$ , de functie $a \mapsto G(a, p)$ een kwadratisch quasi-polynoom is met een periode die deelbaar is door $p$ .
Niet-bestaan van Polynoomformules (Opeenvolgend Geval):
Ondanks de quasi-polynoom structuur voor vaste $p$ , bewijst Stelling 1.5 dat er geen enkel niet-nulwaardig polynoom $F \in \mathbb{C}[X_1, X_2, X_3]$ bestaat dat voldoet aan $F(a, p, G(a, p)) = 0$ voor alle paren $(a, p)$ waarbij $a$ en $p$ priem zijn (of zelfs slechts $p$ priem is en $a > p$ ). Het bewijs demonstreert dat de minimale graad van een polynoomrelatie voor een vaste $p$ lineair groeit met $p$ (specifiek ten minste $\lceil p/2 \rceil$ ). Aangezien een globale polynoom een vaste graad moet hebben, kan deze de onbegrensde graadeisen naarmate $p$ varieert niet accommoderen.

Significantie en Claims
Het artikel positioneert zijn bevindingen als een negatief antwoord op het openstaande probleem van het vinden van gesloten formules voor deze Frobeniusgetallen, geïnspireerd door het eerdere werk van Curtis over het niet-bestaan van formules voor $g(\langle a, b, c \rangle)$ .

Algebraïsche Complexiteit: De primaire significantie is de demonstratie dat het Frobeniusgetal van deze quotiënten een algebraïsche complexiteit bezit die beschrijving door eindige families van polynoom- of rationale expressies onafhankelijk van de parameters verhindert.
Onderscheid tussen Lokaal en Globaal: Het artikel benadlicht een contrast tussen lokaal en globaal gedrag. Lokaal (voor een vaste $p$ ) is de functie goed gedefinieerd (kwadratisch quasi-polynoom). Globaal (terwijl $p$ varieert) is de functie te complex om door een enkele algebraïsche relatie met begrensde graad te worden gevangen.
Rol van Priemgetallen: De resultaten blijven geldig onder de restrictieve voorwaarde dat $a$ en $p$ priem zijn, waarbij gebruik wordt gemaakt van de stelling van Dirichlet om de dichtheid van dergelijke gevallen te waarborgen.
Verduidelijking van "Niet-bestaan": De auteur merkt expliciet op dat deze resultaten niet impliceren dat het Frobeniusgetal onberekenbaar is. Expliciete algoritmen en formules die gebruikmaken van vloerfuncties, modulaire rekenkunde en eindige minimalisatie (zoals gezien in Stelling 5.3) bestaan wel degelijk. De niet-bestaansstellingen sluiten specifiek polynomiale of rationale formules van begrensde graad uit die uniform zijn over de parameterruimte.

Het artikel concludeert dat hoewel het vinden van gesloten formules voor specifieke deelklassen een geldige onderzoeksrichting blijft, het algemene geval voor quotiënten van numerieke semigroepen weerstand biedt aan eenvoudige algebraïsche karakterisering.

De Grote Getallenjacht: Waarom Sommige Patronen Weigeren Getemd te Worden

De Ontdekking van het Artikel: Er Bestaat Geen Toverspreuk

De Twist: Een Lokale Oplossing versus een Mondiale Mislukking

Het Eindoordeel

Meer zoals dit