🔢 mathematics

Short Salem polynomials

Dit artikel biedt een volledige classificatie van Salem-polynomen met lengte 5 en, onder de aanname van de Vermoeden van Lehmer, karakteriseert alle maar eindig veel Salem-polynomen met lengte 6 door 12 oneindige families te identificeren en 126 specifieke uitzonderingen te vermelden, samen met een uitgebreide tabel van korte polynomen voor Salem-getallen onder het kleinste Pisot-getal.

Oorspronkelijke auteurs: James McKee, Chris Smyth

Gepubliceerd 2026-05-20

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: James McKee, Chris Smyth

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

Stel je voor dat je een detective bent die probeert de "kortst mogelijke" geheime codes te vinden die een zeer specifiek type wiskundig slot openen. Deze sloten worden Salem-getallen genoemd.

In dit artikel treden de auteurs James McKee en Chris Smyth op als meestercodekrakers. Ze hebben hun tijd besteed aan het jagen op deze getallen, maar met een zeer specifieke regel: ze zoeken alleen naar codes (polynomen) die "kort" zijn.

Wat is een "korte" code?

In de wereld van de wiskunde is een polynoom als een recept gemaakt van getallen en variabelen (zoals $z$ ). De "lengte" van dit recept is niet het aantal ingrediënten dat het bevat, maar de som van de absolute grootte van zijn getallen.

Stel je een recept voor: $z^{12} - z^7 - z^6 - z^5 + 1$ .
De getallen zijn $1, -1, -1, -1, 1$.
Als je de mintekens negeert en ze optelt ( $1+1+1+1+1$ ), is de lengte 5.

De auteurs willen elk enkel "Salem-getal" vinden dat kan worden ontgrendeld met een code met een lengte van 5 of 6.

Het mysterie van lengte 5: De "Perfecte 17"

Eerst namen de auteurs de kortst mogelijke codes onder de loep: Lengte 5.

De regel: Ze bewezen dat je geen Salem-getal kunt maken met een code korter dan 5. Het is alsof je probeert een huis te bouwen met slechts 3 bakstenen; het zal gewoon niet staan.
De ontdekking: Ze vonden precies 17 unieke codes van lengte 5.
Het resultaat: Deze 17 codes ontgrendelen 13 verschillende Salem-getallen. Een van deze getallen is beroemd: het is het kleinste Salem-getal dat ooit is ontdekt (bekend als het getal van Lehmer). De auteurs bevestigden dat er geen andere "verborgen" Salem-getallen zijn met een code zo kort. Ze hebben een volledige lijst, en de lijst is voltooid.

Het mysterie van lengte 6: De "oneindige families" en de "eigenaardigheden"

Vervolgens keken ze naar codes van lengte 6. Hier wordt het verhaal ingewikkelder.

1. De oneindige families (Het spoor)
Ze ontdekten dat de meeste codes van lengte 6 niet willekeurig zijn. Ze behoren tot 12 oneindige families.

De analogie: Stel je een spoorbaan voor. Zodra je het patroon van de rails hebt gevonden, weet je dat de trein oneindig door kan rijden. Deze 12 families zijn als 12 verschillende spoorbanen die zich oneindig uitstrekken. Je kunt een eindeloos aantal Salem-getallen genereren door deze specifieke patronen te volgen.

2. De sporadische eigenaardigheden (De zwerfkatten)
Maar niet alle codes van lengte 6 passen op deze sporen. Sommige zijn "sporadisch" – het zijn unieke, eenmalige codes die niet de oneindige patronen volgen.

De uitdaging: Omdat er oneindig veel getallen zijn, hoe weet je dan dat je geen zwerfkat hebt gemist?
De oplossing: De auteurs gebruikten krachtige wiskundige hulpmiddelen om te bewijzen dat er slechts een eindig aantal van deze eigenaardigheden is.
De lijst: Het lukte hen om 126 van deze "zwerfkat"-codes te vinden en op te sommen.
- Opmerking: Ze vonden er 116 die corresponderen met Salem-getallen kleiner dan een beroemd getal dat het "kleinste Pisot-getal" wordt genoemd (denk hierbij aan een specifiek snelheidslimiet op de getallenlijn).
- Ze vonden er 10 meer die iets groter zijn.
- De voorwaarde: Ze zeggen: "Als een beroemde wiskundige gok genaamd 'Lehmers conjectuur' waar is (wat de meeste mensen geloven), dan is onze lijst van 126 100% compleet." Als die gok verkeerd is, kunnen er nog een paar zeer kleine getallen daar ergens verstoppen, maar ze zijn zo klein dat ze praktisch onzichtbaar zijn.

De "Pisot"-verbinding

Om te begrijpen hoe ze deze oneindige families vonden, gebruikten de auteurs een helper genaamd een Pisot-getal.

De analogie: Denk aan een Pisot-getal als een "zaadje". Als je dit zaadje plant en een specifiek type wiskundige plant laat groeien (met een methode die is ontdekt door een wiskundige genaamd Salem), groeit het uit tot een Salem-getal.
De auteurs toonden aan dat je voor elk "zaadje" (Pisot-polynoom) van een bepaald type een oneindige lijn van Salem-getallen kunt laten groeien. Ze catalogiseerden precies welke zaden welke lijnen laten groeien.

De uiteindelijke schattenkaart

Het artikel eindigt met een enorme tabel (Tabel 4).

Dit is een "Wie is Wie" van alle bekende Salem-getallen die kleiner zijn dan het kleinste Pisot-getal.
Voor elk getal geven ze de "kortste code" (het polynoom) die het ontgrendelt.
Ze vertellen je ook de "graad" (hoe complex de code is) en de "korting" (de som van de getallen).

Samenvatting

In eenvoudige termen hebben McKee en Smyth:

Het werk afgerond voor de kortste codes (Lengte 5): Er zijn er precies 17.
Het landschap in kaart gebracht voor de volgende kortste codes (Lengte 6): Ze vonden 12 oneindige patronen en een specifieke lijst van 126 unieke uitzonderingen.
Een naslagwerk gecreëerd voor alle kleine Salem-getallen die momenteel bekend zijn bij de mensheid.

Ze hebben geen nieuw gebruik voor deze getallen in de echte wereld gevonden (zoals geneeskunde of techniek); in plaats daarvan hebben ze simpelweg een enorm raadsel in de pure wiskunde opgelost, en ervoor gezorgd dat voor deze specifieke "korte" codes de lijst zo compleet mogelijk is.

Technische Samenvatting: Korte Salem-polyomen

Probleemstelling
Het artikel behandelt de classificatie van Salem-polyomen op basis van hun "lengte", gedefinieerd als de som van de absolute waarden van hun coëfficiënten. Een Salem-getal $\tau > 1$ is een reëel algebraïsch geheel getal waarvan de Galois-geconjugeerden (exclusief $\tau$ ) een modulus hebben van ten hoogste 1, waarbij ten minste één een modulus heeft die exact 1 is. Een Salem-polynoom is het minimale polynoom van een Salem-getal, eventueel vermenigvuldigd met cyclotomische polynomen. De auteurs richten zich op polyomen met een korte lengte, specifiek lengte 5 en lengte 6. Hoewel is vastgesteld dat monische reciproque geheeltallige polynomen met lengte $\le 4$ cyclotomisch zijn, is de minimale lengte voor een Salem-polynoom 5. Het artikel streeft naar een volledige enumeratie van Salem-polyomen met lengte 5 en een structurele classificatie van die met lengte 6.

Methodologie
De auteurs maken gebruik van een combinatie van analytisch getaltheorie, algebraïsche manipulatie en computationele zoekalgoritmen:

Analytische grenzen en verstrengeling: Voor lengte 5 analyseren de auteurs de functie $s(\theta)$ die is afgeleid van het polynoom geëvalueerd op de eenheidscirkel ( $z = e^{i\theta}$ ). Zij maken gebruik van Lemma 2.1 met betrekking tot de verstrengeling van nulpunten van $f(\theta)$ en $f'(\theta)$ om het aantal oplossingen van $s(\theta)=1$ te begrenzen. Dit stelt hen in staat om aan te tonen dat voor voldoende hoge graden het polynoom niet aan de voorwaarden kan voldoen om een Salem-polynoom te zijn, waardoor de zoektocht wordt beperkt tot een eindige verzameling parameters.
Salem's constructie en Pisot-rijen: Voor lengte 6 vertrouwt het artikel op Salem's methode om rijen Salem-getallen te construeren die convergeren naar Pisot-getallen. Specifiek wordt voor een irreducibel Pisot-polynoom $P(z)$ en $\epsilon \in \{-1, 1\}$ de rij $P_n(z) = z^n P(z) + \epsilon P^*(z)$ geanalyseerd. Propositie 2.5, grotendeels gebaseerd op het werk van Boyd, stelt voorwaarden vast waaronder deze polynomen een uniek nulpunt buiten de eenheidscirkel hebben (waardoor ze Salem of Pisot zijn) en karakteriseert hun cyclotomische factoren.
Computationele zoektocht met gap-grenzen: Om sporadische (niet-familie) Salem-polyomen met lengte 6 te vinden, passen de auteurs een algoritme uit [10] aan om naar reciproque polynomen binnen specifieke intervallen $[a, b]$ te zoeken. Zij maken gebruik van de ongelijkheid van Gonçalves en de ondergrenzen van Dobrowolski om de zoekruimte te beperken. De zoektocht omvat het begrenzen van de "gaps" tussen niet-nul coëfficiënten. Wanneer een gap niet kan worden begrensd vanwege een nulpunt van een tussenliggend polynoom in het interval, identificeren de auteurs dit als een limietpunt dat overeenkomt met een oneindige familie of een specifiek sporadisch geval.
Analyse van cyclotomische factoren: De auteurs berekenen expliciet de cyclotomische factoren van de oneindige families met behulp van resultanten en eigenschappen van eenheidswortels (Lemma 2.3), waardoor ze de minimale polynomen en graden van de resulterende Salem-getallen kunnen bepalen.

Belangrijkste bijdragen en resultaten

Classificatie van lengte 5 (Stelling 1): Het artikel biedt een volledige lijst van alle Salem-polyomen met lengte 5. Er zijn exact 17 zulke polynomen die corresponderen met 13 verschillende Salem-getallen. Deze resultaten bevestigen dat er geen Salem-getallen met een kortheid van 5 bestaan onder Lehmer's getal ( $\lambda_0 \approx 1.176$ ), wat overeenkomt met eerdere bevindingen in [7], maar levert wel een rigoureus bewijs van volledigheid.
Classificatie van lengte 6 (Stelling 2): De auteurs tonen aan dat alle, behalve een eindig aantal, Salem-polyomen met lengte 6 behoren tot een van de 12 oneindige families. Deze families worden gegenereerd door Salem's constructie met behulp van specifieke Pisot-polyomen (trinomials en $z-2$ $z - 2$ ).
- Het artikel identificeert 126 "sporadische" Salem-polyomen met lengte 6 met Salem-getallen $\ge 1.01$ .
- Hiervan corresponderen 116 met Salem-getallen onder het kleinste Pisot-getal $\theta_0 \approx 1.3247$ , en 10 liggen boven $\theta_0$ .
- Het bestaan van deze families en de eindigheid van de sporadische verzameling zijn bewezen, hoewel de volledigheid van de sporadische lijst onder 1.01 afhankelijk is van de aanname dat de zoektocht willekeurig dicht bij 1 kan worden uitgebreid (wat computationeel onpraktisch is) of van de waarheid van de Vermoeden van Lehmer.
Cyclotomische factoren in families (Stelling 3 & Propositie 5.1): Het artikel beschrijft de cyclotomische factoren voor de 12 oneindige families. Het biedt expliciete formules voor de minimale polynomen van de Salem-getallen in deze families, waarbij wordt aangetoond dat voor grote $n$ de graad van het minimale polynoom lineair groeit met $n$ , minus een periodieke correctieterm die wordt bepaald door de cyclotomische factoren.
Uitgebreide tabellen: De auteurs bieden:
- Tabel 1: De 17 Salem-polyomen met lengte 5 en hun corresponderende getallen.
- Tabel 2: De 126 bekende sporadische Salem-polyomen met lengte 6 (voor getallen $\ge 1.01$ ).
- Tabel 4: Een compilatie van alle bekende Salem-getallen onder het kleinste Pisot-getal $\theta_0$ , met vermelding van hun graden, kortheid en minimale-graads korte polynomen. Dit omvat de rij $\tau_n$ die convergeert naar $\theta_0$ en 53 sporadische getallen.

Betekenis
Het artikel claimt de eerste volledige classificatie te bieden van Salem-polyomen met lengte 5. Voor lengte 6 vestigt het een structurele dichotomie: de verzameling van dergelijke polynomen bestaat uit een eindig aantal sporadische voorbeelden en een aftelbare verzameling oneindige families. De auteurs merken op dat hun lijst van sporadische Salem-polyomen met lengte 6 compleet is voor Salem-getallen $\ge 1.01$ . Zij stellen dat hoewel het uitbreiden van deze lijst naar getallen willekeurig dicht bij 1 onpraktisch is, de lijst compleet zou zijn als het Vermoeden van Lehmer (dat $\lambda_0$ het kleinste Salem-getal is) waar is. Het werk verfijnt het begrip van de verdeling van Salem-getallen in de buurt van 1 en verduidelijkt de relatie tussen Salem-getallen, Pisot-getallen en cyclotomische factoren via expliciete polynoomconstructies.