🔢 mathematics

An incomplete attack on the upper bound of the unit distance problem

Dit artikel presenteert een onvolledige poging om aan te tonen dat de vastgestelde bovengrens van ongeveer $n^{4/3}$ voor het aantal eenheidsafstanden bepaald door $n$ punten in het vlak niet scherp is, terwijl het ook inzichten biedt in configuraties van punten en lijnen die de scherpe Szemerédi-Trotter incidentiegrens bereiken.

Oorspronkelijke auteurs: Steven Senger

Gepubliceerd 2026-05-27

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Steven Senger

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

Het Grote Plaatje: Het "Feestafstands" Probleem

Stel je voor dat je een enorm feest geeft met $n$ gasten die ergens op een grote dansvloer staan. Je wilt weten: Wat is het maximum aantal paren mensen dat precies één meter van elkaar kan staan?

In 1946 gokte een beroemde wiskundige genaamd Erdős dat dit getal niet te groot kon zijn. Hij dacht dat het ongeveer $n$ (het aantal gasten) plus een klein beetje extra zou zijn.

Echter, het beste wiskundige bewijs dat we momenteel hebben (uit de jaren 80) zegt dat het getal zo hoog kan zijn als $n^{4/3}$ . Om dit te visualiseren: als je 1.000.000 gasten hebt, is het "veilige" limiet ongeveer 10.000.000 paren die één meter van elkaar staan.

Het Doel van Dit Paper:
De auteur, Steven Senger, probeert te bewijzen dat deze limiet ( $n^{4/3}$ ) te hoog is. Hij wil laten zien dat je niet echt zoveel mensen op één meter van elkaar kunt persen zonder de wetten van de meetkunde te schenden. Hij noemt dit een "onvolledige aanval" omdat hij vastliep en het bewijs niet kon voltooien, maar hij wil zijn kaart delen voor het geval iemand anders de reis kan voltooien.

De Strategie: De "Kruisende Wegen" Analogie

Om zijn punt te bewijzen, gebruikt Senger een slimme truc die te maken heeft met verkeersopstoppingen (wiskundigen noemen dit het "Crossing Number Lemma").

De Kaart: Stel je voor dat je een kaart tekent waar elke gast een stip is. Als twee gasten precies één meter van elkaar staan, teken je een gebogen lijn (een boog) die ze met elkaar verbindt.
Het Verkeer: Wanneer je al deze lijnen tekent, zullen ze onvermijdelijk elkaar kruisen. Het "Crossing Number" is gewoon een telling van hoe vaak deze lijnen elkaar snijden.
De Regel: Er is een bekende wiskundige regel die zegt: Als je veel lijnen (randen) hebt en niet genoeg stippen (hoekpunten), dan worden de lijnen gedwongen elkaar een enorm aantal keren te kruisen.

Sengers Logica:
Hij neemt het worst-case scenario aan: dat de $n^{4/3}$ limiet eigenlijk waar is. Als dit waar zou zijn, betoogt hij, dan zou de "verkeersopstopping" van kruisende lijnen ongelooflijk specifiek en uniform moeten zijn.

De Analogie: Stel je een snelweg voor waar elke enkele auto precies hetzelfde aantal bijna-ongelukken met andere auto's heeft.
De Claim: Senger laat zien dat, opdat de wiskunde zou werken, bijna elke "één-meter-verbinding" ongeveer $n^{2/3}$ andere lijnen moet kruisen. Het is alsof je zegt dat elke enkele persoon op het feest op een plek moet staan waar precies 1.000 andere mensen hun "één-meter zones" over hen heen laten vallen.

De "Lune" en de "Strip"

Om dit concreet te maken, verdeelt Senger de dansvloer in kleinere, hanteerbare stukken.

De Lunes (Maansikkelvormen):
Als je twee mensen hebt, Alice en Bob, die minder dan een meter van elkaar staan, overlappen hun "één-meter cirkels" in een vorm die lijkt op een maansikkel (wiskundigen noemen dit een lune).
- Senger betoogt dat als de $n^{4/3}$ limiet waar is, er enorme menigten mensen in deze maansikkelvormen moeten zitten.
- Hij identificeert "Typische Punten": Dit zijn gasten die door zoveel andere mensen omringd zijn dat ze deel uitmaken van veel van deze drukke maansikkels.
De Twee Vierkanten:
Hij zoomt in op slechts twee kleine vierkanten op de dansvloer die de meeste "één-meter paren" bevatten. Hij snoeit vervolgens de menigte, waarbij hij mensen verwijdert die te dicht bij elkaar of te ver van elkaar staan, en laat een "schone" groep mensen over.
- Het Resultaat: Hij eindigt met een groep mensen die in een dunne horizontale strook is gepakt. In deze strook zijn de mensen in een zeer stijf, roosterachtig patroon gerangschikt waarbij de gaten tussen hen allemaal ongeveer even groot zijn.

Het "Onvolledige" Deel: De Valstrik

Hier stopt het paper met werken. Senger legt een valstrik voor de meetkunde:

Hij vindt de twee mensen in deze strakke groep die dichtst bij elkaar staan langs een gebogen pad. Laten we de afstand tussen hen $\epsilon$ noemen (een klein getal).
Hij betoogt dat, omdat de groep zo strak gepakt is, er moet een ander paar mensen zijn dat nog dichter bij elkaar staat dan $\epsilon$ .
De Hoop: Als je blijft paren vinden die dichter en dichter bij elkaar staan, moet de afstand uiteindelijk nul worden (twee mensen die dezelfde plek bezetten), wat onmogelijk is. Dit zou bewijzen dat de oorspronkelijke aanname ( $n^{4/3}$ ) verkeerd was.

Waarom het mislukte:
Senger geeft toe dat hij vastliep. Hij kon wiskundig niet bewijzen dat het "dichtere paar" daadwerkelijk bestond op een manier die een tegenstrijdigheid creëerde. Hij vermeldt dat andere wiskundigen (Katz en Silier) sindsdien sterkere resultaten hebben gevonden die het probleem misschien hebben opgelost, dus hij heeft zijn specifieke aanpak verlaten.

De Zijnotitie: Punten en Lijnen

Het paper bespreekt ook kort een gerelateerd probleem: Punten en Lijnen.

Stel je voor dat je $n$ stippen en $n$ lijnen hebt. Hoe vaak kan een stip precies op een lijn zitten?
De wiskunde zegt dat het maximum ook rond de $n^{4/3}$ ligt.
Senger laat zien dat als je dit maximum bereikt, de stippen en lijnen in een zeer specifiek, "scherp" patroon moeten zijn gerangschikt, vergelijkbaar met de drukke dansvloer. Hij gebruikt een "spiegel"-techniek (duaaliteit) om te laten zien dat de regels voor drukke stippen hetzelfde zijn als de regels voor drukke lijnen.

Samenvatting

Het Probleem: Kunnen we bewijzen dat je niet evenveel "één-meter paren" kunt hebben als de huidige wiskunde toelaat ( $n^{4/3}$ )?
De Methode: Ga er vanuit dat je dat aantal wel kunt hebben. Dit dwingt de punten om in een zeer specifieke, drukke manier te zijn gerangschikt waarbij het "verkeer" (kruisende lijnen) perfect uniform is.
De Poging: Senger probeerde te laten zien dat deze perfecte uniformiteit leidt tot een meetkundige onmogelijkheid (mensen die oneindig dicht bij elkaar komen).
De Uitkomst: Hij liep vast. Hij kon het bewijs niet voltooien, maar hij legde de "routebeschrijving" uit van hoe de punten zich zouden moeten gedragen als de limiet waar was. Hij hoopt dat iemand anders de kaart oppakt en de reis afmaakt.

Opmerking: Het paper stelt expliciet dat dit een onvolledige poging is. Het claimt niet het probleem op te hebben gelost, noch biedt het nieuwe toepassingen voor AI of andere gebieden. Het is puur een wiskundige verkenning van een specifiek meetkundig raadsel.

Technische Samenvatting: Een Onvoltooide Aanval op de Bovenste Grens van het Eenheidsafstandsprobleem

Probleemstelling
Het artikel behandelt het eenheidsafstandsprobleem in het vlak, dat streeft naar een bovenste grens voor het aantal paren punten die op een eenheidsafstand van elkaar verwijderd zijn binnen een verzameling van $n$ punten. De gevestigde bovenste grens, bewezen door Spencer, Szemerédi en Trotter, is $O(n^{4/3})$ . Hoewel Erdős een grens van $n^{1+\epsilon}$ vermoedde, hebben recente resultaten (waaronder die die het vermoeden weerleggen via AI en expliciete constructies door Sawin) de kloof verkleind maar niet gesloten. De auteur onderzoekt of de $n^{4/3}$ -grens scherp is. Specifiek probeert het artikel een contradictie af te leiden door aan te nemen dat de grens strak is en de geometrische structuur van puntverzamelingen te analyseren die dit maximum zouden bereiken.

Methodologie
De auteur hanteert een bewijs door contradictie, uitgaande van het bestaan van een verzameling $P$ van $n$ punten die $\Theta(n^{4/3})$ eenheidsafstanden bepaalt. De methodologie verloopt via verschillende stadia van structurele analyse en geometrische reductie:

Grafentheoretisch Kader: Het bewijs maakt gebruik van het kruisgetallelemma (Lemma 1.2), dat het aantal kanten $|E|$ en hoekpunten $|V|$ in een graaf relateert aan zijn kruisgetal $cr(G)$. Door een graaf te construeren waarbij hoekpunten punten zijn en kanten bogen van eenheidscirkels zijn die opeenvolgende punten verbinden, koppelt de auteur het aantal eenheidsafstanden aan het aantal snijpunten van cirkels.
Gemiddelde Kruisanalyse: De auteur stelt vast dat, indien de $n^{4/3}$ -grens strak is, de bijbehorende graaf "typische" kanten moet hebben met ongeveer $n^{2/3}$ kruisingen. Dit leidt tot het bestaan van "typische" punten (Propositie 1.5) die op $\approx n^{1/3}$ cirkels liggen, waarbij elke cirkel $\approx n^{1/3}$ punten bevat, en de gebieden (manen) tussen opeenvolgende punten op deze cirkels $\approx n^{2/3}$ punten bevatten.
Geometrische Reductie (Duivenhokprincipe): Het vlak wordt opgedeeld in vierkanten, en de analyse wordt beperkt tot een paar vierkanten met de dichtste concentratie van eenheidsafstanden. De puntverzameling wordt verder verfijnd door:
- Een horizontale strook $H_\delta$ te selecteren om eenheidsafstanden tussen twee deelverzamelingen $A$ en $B$ te maximaliseren.
- Punten te snoeien om een minimale booglengte $\epsilon$ tussen opeenvolgende punten op elke eenheidscirkel te garanderen, wat resulteert in een deelverzameling $E$ met $\gtrsim n$ punten en $\gtrsim n^{4/3}$ eenheidsafstanden.
Trigonometrische Schatting: De auteur leidt schattingen af voor afstanden tussen punten op snijdende cirkels met behulp van Taylor-ontwikkelingen van sinus en cosinus. Lemma 3.2 en Corollarium 3.3 bieden benaderingen voor de afstand $|a-c|$ op basis van booglengtes $\alpha, \beta$ en de hoek $\theta$ tussen de raaklijnen. Het kernidee is dat, als punten strak geclusterd zijn, een tweede paar punten gevonden zou moeten worden dat zelfs dichter bij elkaar ligt dan de initiële minimale scheiding $\epsilon, wat potentieel kan leiden tot een contradictie.
Verbinding met de Szemerédi-Trotter Incidentiegrens: Het artikel trekt een parallel met de Szemerédi-Trotter-stelling met betrekking tot punt-lijn incidenties. Het analyseert "ST-scherpe paren" (verzamelingen van $n$ punten en $n$ lijnen met $\Theta(n^{4/3})$ incidenties) om vergelijkbare structurele eigenschappen aan te tonen, zoals de verdeling van punten op lijnen en het kruisgedrag van duale grafen.

Belangrijkste Bijdragen en Resultaten

Structurele Karakterisering: Het artikel biedt een gedetailleerde karakterisering van de geometrische beperkingen die elke puntverzameling moet voldoen als deze de $n^{4/3}$ -bovengrens zou bereiken. Dit omvat de noodzaak van "typische" punten, de specifieke verdeling van punten binnen manen, en de minimale scheiding $\epsilon$ tussen punten op eenheidscirkels.
Verfijnde Geometrische Lemmata: De auteur presenteert specifieke trigonometrische schattingen (Propositie 3.1, Lemma 3.2, Corollarium 3.3) om het gedrag van punten in de limiet van kleine booglengtes en hoeken te analyseren, waarbij onderscheid wordt gemaakt tussen gevallen waarin afstanden zich gedragen als boorverschillen versus boor-hoekproducten.
Dualiteitsanalyse: Het artikel breidt het kruisgetalargument uit naar het duale kader van punt-lijn incidenties, en toont aan dat ST-scherpe paren analoge structurele regelmatigheden vertonen (Proposities 4.2–4.4).

Betekenis en Beperkingen
Het artikel positioneert zichzelf expliciet als een "onvoltooide poging". De auteur stelt dat het werk is uitgevoerd tussen 2015 en 2021 maar is verlaten omdat de auteur vastliep in een "stuck" punt bij het afleiden van de uiteindelijke contradictie. Bovendien merkt de auteur op dat vervolgonderzoek door Katz en Silier (verwezen naar als [4]) aanzienlijk sterkere resultaten lijkt te hebben opgeleverd, waardoor deze specifieke aanval verouderd is.

De betekenis van het document ligt niet in een opgelost stelling, maar in de beschrijving van de aanpak. De auteur hoopt dat de gedetailleerde uiteenzetting van het duivenhokschema, het snoeialgoritme en de trigonometrische schattingen nuttig kunnen zijn voor anderen die de scherpte van de eenheidsafstandsgrens of de structuur van Szemerédi-Trotter-extremaal verzamelingen onderzoeken. Het artikel dient als een depot van een specifieke redeneringslijn die, hoewel het in dit geval geen contradictie opleverde, een rigoureuze verkenning biedt van het geometrische landschap van potentiële tegenvoorbeelden voor de $n^{4/3}$ -grens.