🔢 mathematics

The least quadratic residue and integers represented by quadratic forms

Dit artikel stelt bijna optimale grenzen vast voor de kleinste niet-triviale gereduceerde kwadratische residu modulo $n$ , construeert moduli waar deze waarde onverwacht groot is, en past deze bevindingen toe om de snelheid te bepalen waarmee binaire kwadratische vormen met een begrensde discriminant alle positieve gehele getallen tot $N$ representeren.

Oorspronkelijke auteurs: Kannan Soundararajan, João C. C. Vargas

Gepubliceerd 2026-08-03

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Kannan Soundararajan, João C. C. Vargas

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 Getaljacht: Het Vinden van het Eerste "Goede" Kwadraat

Stel je voor dat je een detective bent die probeert een geheime code te kraken. In de wereld van de wiskunde, specifiek een tak genaamd Getaltheorie, zijn getallen niet alleen bedoeld om te tellen; ze hebben persoonlijkheden en verborgen relaties. Een van de meest beroemde puzzels betreft "kwadratische residuen". Zie deze als getallen die "gekwadrateerd" kunnen worden om perfect in een specifiek patroon te passen. Als je een getal neemt, het kwadrateert (met zichzelf vermenigvuldigt) en deelt door een geheim modulus (een groot getal $n$ ), dan is de rest een kwadratisch residu. Het is als het vinden van een sleutel die precies in een specifak slot past.

De grote vraag die wiskundigen al heel lang bezighoudt is: hoe groot moet je zoeken voordat je de eerste sleutel vindt die past? Met andere woorden, wat is het kleinste getal dat je moet controleren om een werkend kwadraat te vinden? Dit is niet zomaar een spel; het begrijpen van deze "kleinste" getallen helpt ons te begrijpen hoe getallen verdeeld zijn, wat cruciaal is voor zaken als cryptografie (de wiskunde achter internetbeveiliging) en het begrijpen van de diepe structuur van het universum van getallen. Decennialang hadden wiskundigen goede vermoedens, maar ze wilden weten of er "listige" sloten waren die je een onverwacht groot gebied vereisten voordat je een enkele werkende sleutel zou vinden.

De Grote Ontdekking van het Papier: De "Ongelukke" Sloten

In dit artikel behandelen K. Soundararajan en João C. C. Vargas het mysterie van het kleinste kwadratische residu. Ze definiëren een speciaal getal, laten we het $\ell(n)$ noemen, dat het kleinste "vierkant-vrije" geheel getal is (een getal dat niet deelbaar is door enig volkomen kwadraat zoals 4, 9 of 16) dat een kwadratisch residu is voor een gegeven getal $n$ .

De auteurs bewijzen twee hoofdzaken die op het eerste gezicht tegenstrijdig lijken, maar samen een fascinerend verhaal vertellen.

1. Het Veiligheidsnet (De Bovengrens)
Eerst bewijzen ze dat je nooit te ver hoeft te zoeken. Geen matter hoe ingewikkeld je getal $n$ ook is, er is een wiskundige "plafond" aan hoe groot de eerste werkende sleutel ( $\ell(n)$ ) kan zijn. Ze tonen aan dat als $n$ met $k$ verschillende priemfactoren heeft, de kleinste werkende sleutel gegarandeerd kleiner is dan een specifieke formule met betrekking tot $2^{4k}$ . Het is alsoals zeggen: "Zelfs in de meest verwarrende doolhof zul je de uitgang vinden voordat je $2^{4k}$ stappen hebt gezet." Dit deel is een directe toepassing van het Duiventilprincipe—een logische truc die stelt dat als je meer duiven hebt dan nestjes, er ten minste één nestje moet zijn dat twee duiven bevat. Hier zijn de "duiven" getallen en de "nestjes" patronen van resten.

2. De Verrassing (De Ondergrens)
Hier wordt het spannend. Hoewel de auteurs bewezen dat er een plafond is, ontdekten ze ook dat voor bepaalde speciaal vervaardigde getallen, de eerste werkende sleutel veel, veel groter is dan iedereen verwachtte.
Normaal gesproken, als een patroon ongeveer in 1 op elke $2^k$ getallen voorkomt, zou je verwachten een match te vinden na het controleren van ongeveer $2^k$ getallen. Maar de auteurs construeerden specifieke getallen $n$ waarbij de eerste match niet verschijnt totdat je getallen controleert die zo groot zijn als $4^k$ (minus een kleine correctie).
Om dit in perspectief te plaatsen: als je op zoek zou zijn naar een naald in een hooiberg, zou je de naald verwachten te vinden na het doorzoeken van een paar balen. Deze auteurs bouwden een hooiberg die zo lastig is dat je misschien een hele berg hooi moet doorzoeken voordat je de naald vindt. Ze bereikten dit door gebruik te maken van ideeën uit foutcorrigerende codes (de wiskunde die wordt gebruikt om beschadigde gegevens te herstellen in ruimtemissies en CD's), waarbij ze lieten zien dat het "ongeluk" van deze getallen eigenlijk een doelbewust, geconstrueerd kenmerk is.

3. Het "Wat Als"-Scenario (De Riemann-hypothese)
Het papier onderzoekt ook wat er zou gebeuren als een beroemde, onbewezen gok genaamd de Gegeneraliseerde Riemann-hypothese (GRH) waar zou zijn. Als de GRH correct is, zijn de "listige" getallen niet zo erg als de door de auteurs geconstrueerde voorbeelden. Onder deze aanname zou de kleinste sleutel veel eerder gevonden worden, ongeveer rond $e^{C \log n \log \log n}$ . Echter, omdat we niet zeker weten of de GRH waar is, blijven de door de auteurs geconstrueerde "worst-case" voorbeelden het beste bewijs dat we hebben dat deze getallen verrassend groot kunnen zijn.

Waarom Is Dit Belangrijk?

De auteurs stopten niet bij het vinden van deze lastige getallen; ze gebruikten hun bevindingen om een gerelateerde puzzel over binaire kwadratische vormen op te lossen. Dit zijn wiskundige uitdrukkingen zoals $ax^2 + bxy + cy^2$ die gebruikt kunnen worden om andere getallen te genereren.
Het artikel vraagt: "Hoe groot moet de discriminant (een specifiek getal dat de vorm van de vorm bepaalt) zijn om te garanderen dat elk positief geheel getal tot een bepaalde grootte $N$ kan worden gerepresenteerd?"
Gebruikmakend van hun nieuwe grenzen op $\ell(n)$ , laten de auteurs zien:

Onvoorwaardelijk (zonder GRH aan te nemen): Er zijn gehele getallen tot $N$ die niet gerepresenteerd kunnen worden door enige kwadratische vorm met een discriminant kleiner dan een bepaalde enorme limiet.
Voorwaardelijk (ervan uitgaande dat de GRH waar is): Als de Riemann-hypothese waar is, is de limiet veel kleiner, wat betekent dat we bijna alle getallen kunnen representeren met veel eenvoudigere vormen.

De Kernboodschap

Dit artikel is een meesterwerk in het balanceren van "best-case" en "worst-case" scenario's. Het bevestigt dat, hoewel er een theoretische limiet is aan hoe moeilijk het is om een kwadratisch residu te vinden, het universum van getallen "vallen" bevat waar de zoektocht aanzienlijk langer duurt dan eenvoudige waarschijnlijkheid suggereert. De auteurs hebben deze vallen niet alleen geraden; ze hebben ze wiskundig geconstrueerd en bewezen dat ze bestaan. Ze hebben ook aangetoond dat als een belangrijke wiskundige conjectuur (GRH) waar is, deze vallen minder verraderlijk zijn dan ze lijken, maar totdat die conjectuur bewezen is, moeten we van het slechtste scenario uitgaan.

Uiteindelijk verfijnt dit werk ons begrip van hoe getallen zich verbergen en onthullen, waarbij het bewijst dat de kleinste sleutel tot een slot soms verborgen ligt op een plek waar je zonder een zeer slimme kaart nooit zou zoeken.

Technische Samenvatting: De Kleinste Kwadratische Residu en Integers Vertegenwoordigd door Kwadratische Vormen

Probleemstelling
Dit artikel onderzoekt $\ell(n)$ , gedefinieerd als de kleinste niet-triviale gereduceerde kwadratische residu modulo $n$ . Specifiek is $\ell(n)$ de kleinste vierkante-vrije integer $r > 1$ waarvoor geldt $\gcd(r, n) = 1$ en $r \equiv x^2 \pmod n$ voor een geheel getal $x$ . De auteurs streven ernaar om grenzen te stellen aan $\ell(n)$ in termen van zowel de grootte van $n$ als het aantal priemfactoren van $n$ , $\omega(n)$ . Een secundair doel is om deze resultaten toe te passen om de snelheid te bepalen waarmee families van binaire kwadratische vormen met een begrensde discriminant alle positieve integers tot een grote grens $N$ vertegenwoordigen.

Methodologie
De auteurs maken gebruik van een combinatie van combinatorische argumenten, analytische getaltheorie en algebraïsche structuren over eindige velden.

Combinatorische en Duiventilprincipes: De bovengrens voor $\ell(n)$ wordt afgeleid met behulp van het duiventilprincipe. Door prioriën in rekenkundige progressies en hun Legendre-symboolwaarden te overwegen, tonen de auteurs de existentie aan van een product van twee priemgetallen dat aan de noodzakelijke kwadratische residu-condities voldoet.
Algebraïsche Constructie (Ondergrenzen): Om moduli $n$ te construeren met onverwacht grote $\ell(n)$ , maken de auteurs gebruik van een correspondentie tussen priemgetallen en irreducibele polynomen over het veld $\mathbb{F}_2$ . Ze definiëren volledig multiplicatieve functies $f_j: \mathbb{N} \to \{-1, 1\}$ gebaseerd op de wortels van deze polynomen in de algebraïsche afsluiting van $\mathbb{F}_2$ . Een kernlemma betreffende machtssommen van verschillende elementen in $\mathbb{F}_2$ (gerelateerd aan Newton's identiteiten) wordt gebruikt om te bewijzen dat als een vierkante-vrije integer $r$ voldoet aan $f_j(r) = 1$ voor alle $j$ , dan $r$ groot moet zijn.
Analytische Getaltheorie en Nul-densiteitsschattingen: De constructie van $n$ $n$ berust op het vinden van een verzameling priemgetallen zodanig dat voor elke fundamentele discriminant $D$ $D$ in een gegeven bereik, ten minste één priemgetal in de verzameling een kwadratische niet-residu modulo $D$ $D$ is.
- Conditioneel op GRH: De Gegeneraliseerde Riemann-hypothese (GRH) wordt gebruikt om karakterzommen over priemgetallen te begrenzen, wat de existentie van een dergelijke verzameling priemgetallen met een grootte van ongeveer $\exp(C \log \Delta \log \log \Delta)$ waarborgt.
- Onconditioneel: Zonder GRH te veronderstellen, maken de auteurs gebruik van nul-densiteitsschattingen voor Dirichlet $L$ -functies. Ze partitioneren de verzameling discriminanten op basis van de locatie van hun nulpunten (nul-vrije regio's) en passen een gewogen somargument toe met behulp van een specifieke gewichtsfunctie $w(t)$ om de existentie van de vereiste priemgetallen vast te stellen.
Toepassing op Kwadratische Vormen: De resultaten worden toegepast op de representatie van integers door binaire kwadratische vormen $f(x,y) = ax^2 + bxy + cy^2$ . De auteurs maken gebruik van het feit dat een integer $n$ wordt vertegenwoordigd door een vorm van discriminant $D$ indien en slechts indien $D$ een kwadraat is modulo $4n$ (voor passende representaties).

Belangrijkste Bijdragen en Resultaten

Grenzen voor $\ell(n)$ in termen van priemfactoren:
- Bovengrens: Als $k$ het aantal oneven priemfactoren van $n$ is, dan $\ell(n) \le C k 2^{4k}$ voor een absolute constante $C$ .
- Ondergrens: Voor elk $k \ge 2$ bestaan er oneindig veel oneven integers $n$ met exact $k$ verschillende priemfactoren zodanig dat $\ell(n) \ge 4^{k - C k / \log k}$ . Dit resultaat is verrassend gezien het feit dat de dichtheid van kwadratische residuen $\asymp 2^{-k}$ is, wat suggereert dat men zou verwachten dat $\ell(n)$ dichter bij $2^k$ ligt.
Grenzen voor $\ell(n)$ in termen van de grootte van $n$ :
- De auteurs construeren een oneven vierkante-vrije integer $n \le N(\Delta)$ zodanig dat voor elke fundamentele discriminant $D$ met $1 < |D| \le \Delta$ , er een priemfactor $p$ van $n$ is met $\left(\frac{D}{p}\right) = -1$ .
- Onconditioneel: $N(\Delta)$ kan gekozen worden als $\exp(C \log \Delta (\log \log \Delta)^2)$ .
- Conditioneel op GRH: $N(\Delta)$ kan gekozen worden als $\exp(C \log \Delta \log \log \Delta)$ voor elke $C > 2/\log 2$ .
- Bij consequentie kan $\ell(n)$ onconditioneel zo groot zijn als $\exp\left(c \frac{\log n}{(\log \log n)^2}\right)$ , en onder GRH als $\exp\left(\left(\frac{\log 2}{2} + o(1)\right) \frac{\log n}{\log \log n}\right)$ .
Representaties door Binaire Kwadratische Vormen:
- Indefinite Vormen: Elke positieve integer tot $N$ kan worden vertegenwoordigd door een primitieve, niet-degeneratieve, indefiniete binaire kwadratische vorm met discriminant $1 < D_f \le \Delta$ , waarbij $\Delta = \exp\left((\log 4 + o(1)) \frac{\log N}{\log \log N}\right)$ .
- Positief Definiete Vormen (Conditioneel): Onder aanname van GRH kan elke positieve integer tot $N$ worden vertegenwoordigd door een primitieve, positief definiete binaire kwadratische vorm met discriminant $|D_f| \le \Delta$ (met dezelfde $\Delta$ als hierboven).
- Beperkingen: Er bestaat een positieve integer $n \le N$ die niet kan worden vertegenwoordigd door enige primitieve niet-degeneratieve binaire kwadratische vorm met $|D_f| \le \Delta$ als $\Delta = \exp(c \log N / (\log \log N)^2)$ . Onder GRH verbetert deze drempelwaarde naar $\exp((\frac{\log 2}{2} - \epsilon) \frac{\log N}{\log \log N})$ .

Betekenis en Claims
Het artikel claimt "bijna optimale grenzen" te hebben vastgesteld voor de kleinste kwadratische residu, zowel in termen van de grootte van de modulus als in termen van het aantal priemfactoren. De constructie van moduli met grote $\ell(n)$ wordt gemotiveerd door ideeën uit foutcorrigerende codes en vertegenwoordigt een significante vooruitgang ten opzichte van probabilistische verwachtingen, waarbij wordt aangetoond dat $\ell(n)$ aanzienlijk groter kan zijn dan de inverse van de dichtheid van kwadratische residuen.

De auteurs positioneren hun werk als een variant van het klassieke probleem van het vinden van het kleinste priemgetal $p$ waarvoor $\chi(p) = -1$ voor een primitieve kwadratische karakter $\chi$ . Terwijl het klassieke probleem onder GRH goed begrepen is, breidt dit artikel de scope uit naar samengestelde moduli en biedt het onconditionele resultaten die slechts iets zwakker zijn dan de conditionele resultaten.

Verder biedt het artikel nauwkeurige kwantitatieve vooruitgang op het probleem van het dekken van alle integers tot $N$ met behulp van binaire kwadratische vormen met een begrensde discriminant. Waar eerder werk (Green en Soundararajan) zich richtte op het dekken van "bijna alle" integers, behandelt dit artikel het moeilijkere probleem van het dekken van "alle" integers, waarbij expliciete drempelwaarden worden vastgesteld voor de discriminant die representatie garanderen.

Ten slotte merken de auteurs een connectie op met het werk van Hanson, Vaughan en Zhang met betrekking tot de kleinste $N$ die vereist is zodat alle tekensequenties van lengte $k$ voorkomen als Legendre-symbool vectoren, wat wijst op een bredere context voor de gebruikte combinatorische methoden.

De Grote Getaljacht: Het Vinden van het Eerste "Goede" Kwadraat

De Grote Ontdekking van het Papier: De "Ongelukke" Sloten

Waarom Is Dit Belangrijk?

De Kernboodschap

Meer zoals dit