Monogenity of pure quintic fields: the power of sieving

Technische Samenvatting: Monogeniteit van Pure Kwartische Velden

Probleemstelling
Het artikel behandelt het probleem van het bepalen van alle generatoren van machtige integraalbases in pure kwintische velden $K = \mathbb{Q}(\xi)$, waarbij $\xi$ een wortel is van een irreducibele polynoom $f(x) = x^5 - m$. Een getalveld is monogeen als zijn ring van gehele getallen $\mathbb{Z}_K$ een basis toelaat van de vorm $(1, \xi, \dots, \xi^{n-1})$. Het vinden van dergelijke generatoren komt neer op het oplossen van de indexvormvergelijking $I(\alpha) = 1$, waarbij $\alpha \in \mathbb{Z}_K$. Hoewel er efficiënte algoritmen bestaan voor kubische en quartische velden (herleidbaar tot Thue-vergelijkingen), en voor bepaalde velden van hogere graad met kwadratische deellichamen, is het oplossen van indexvormvergelijkingen in algemene pure kwintische velden historisch gezien computationeel onhaalbaar geweest. Eerdere pogingen, zoals die van de auteur in referentie [4], vereisten ongeveer 8 uur CPU-tijd voor kwintische gevallen vanwege de moeilijkheid om kleine exponent-tupels na reductie te enumereren.

Methodologie
Het voorgestelde algoritme integreert standaardtechnieken uit de algebraïsche getaltheorie met een nieuwe zeefstrategie:

1. Bakers Methode en Reductie: Het proces begint met het vaststellen van een bovengrens ($A_B \approx 10^{34}$) voor de exponenten $a_h$ in de eenheidsrepresentatie van de indexvormcomponenten. Dit wordt bereikt met lineaire vormen in logaritmen (Bakers methode) en daaropvolgende reductie via het LLL-algoritme. Deze stap verlaagt de bovengrens tot een hanteerbaar bereik ($A_R \approx 40\text{--}50$).
2. De Enumeratie-uitdaging: Zelfs met een gereduceerde bovengrens $A_R$ is het aantal exponent-tupels $(a_1, \dots, a_5)$ dat moet worden gecontroleerd gelijk aan $(2A_R + 1)^5$. Voor $A_R = 45$ overschrijdt dit $6 \times 10^9$, waardoor brute-force enumeratie binnen redelijke tijdsbestekken onhaalbaar is.
3. Nieuwe Zeefstrategie: De kernbijdrage van het artikel is een nieuwe zeefmethode die is ontworpen om de zoekruimte drastisch te verkleinen voordat volledige enumeratie plaatsvindt.
   • Structurele Observatie: De auteur benut de structuur van de velden van graad 10, $L_{i,j} = \mathbb{Q}(\xi^{(i)} + \xi^{(j)}, \xi^{(i)}\xi^{(j)})$. Er wordt aangetoond dat een van de fundamentele eenheden in deze velden voortkomt uit het kwadratische deellichaam $\mathbb{Q}(\sqrt{5})$.
   • Reductie van Variabelen: Door een specifieke cyclische volgorde van indices te selecteren $(1,2), (2,3), (3,4), (4,5), (5,1)$, construeert de auteur een identiteit (Vergelijking 11) waarbij de eenheid die overeenkomt met het kwadratische deellichaam wegvalt. Hierdoor kan het probleem zo worden geherformuleerd dat de exponent $a_1$ (geassocieerd met de kwadratische eenheid) wordt geëlimineerd uit de primaire congruentietest.
   • Modulaire Zeefing: In plaats van alle $(2A_R + 1)^5$ tupels te testen, test het algoritme slechts $(2A_R + 1)^4$ tupels modulo een set kleine priemgetallen $p$. De polynoom $x^5 - m$ wordt zo gekozen dat deze modulo $p$ splitst in lineaire factoren, waardoor de geconjugeerden van de eenheden en veld-elementen als gehele getallen kunnen worden berekend.
   • Verificatie: Alleen tupels die de modulaire tests voor vijf verschillende priemgetallen doorstaan, worden onderworpen aan de definitieve verificatiestappen: het controleren van de volledige identiteit die $a_1$ bevat en het oplossen van het resulterende lineaire stelsel voor gehele coëfficiënten.

Belangrijkste Resultaten
Het algoritme is geïmplementeerd en getest op tien pure kwintische velden gegenereerd door $x^5 - m$ voor de kleinste positieve gehele getallen $m$ (van 2 tot 17).

• Efficiëntie: De nieuwe methode verlaagde de CPU-tijd van de eerder waargenomen 8 uur tot ongeveer 3 tot 9 minuten per veld op een standaard PC (2,5 GHz).
• Verkleining van de Zoekruimte: Voor een typisch geval met $A_R = 45$ verkleinde de zeefing het aantal breukberekeningen van $\approx 1,2 \times 10^{10}$ (voor 5 variabelen) tot $\approx 2,7 \times 10^8$ (voor 4 variabelen), een reductie van twee orde van grootte.
• Gevonden Oplossingen: Het algoritme slaagde erin alle niet-équivalente generatoren van machtige integraalbases voor de geteste velden te identificeren. Bijvoorbeeld, in het geval $m=2$ werden oplossingen $(1, 0, 0, 0)$ en $(1, 1, 1, 1)$ gevonden; voor $m=6$ werden oplossingen $(1, 0, 0, 0)$ en $(1, -1, -1, 0)$ geïdentificeerd.

Betekenis en Aanspraken
Het artikel beweert dat de primaire nieuwheid ligt in het zeefidee, wat een efficiënte test van de overgebleven kleine exponenten mogelijk maakt. De auteur stelt dat deze aanpak "blijkbaar verrassend snel" is en het oplossen van indexvormvergelijkingen in pure kwintische velden haalbaar maakt binnen enkele minuten, een taak die eerder als onpraktisch werd beschouwd.

De auteur merkt bescheiden op dat, hoewel de methode wordt gepresenteerd voor monogene polynomen $x^5 - m$, deze kan worden uitgebreid tot niet-monogene gevallen door een gemeenschappelijke noemer in te voeren. Het artikel concludeert dat dit nieuwe idee waarschijnlijk "vele verdere toepassingen" zal hebben in soortgelijke gevallen die betrekking hebben op de enumeratie van exponent-tupels in getalvelden van hogere graad, hoewel er geen specifieke andere velden of problemen worden gespecificeerd buiten de algemene klasse van "soortgelijke gevallen".