On the general no-three-in-line problem

Dit artikel toont aan dat het aantal punten dat in een $n^d$-rooster kan worden geplaatst zonder dat drie punten collineair zijn, voor elke dimensie $d \geq 2$ onderaan wordt begrensd door een orde van $n^{d-1}\sqrt[2d]{d}$, waarmee het bekende no-three-in-line-probleem wordt uitgebreid naar dimensies $d \geq 3$.

De kern

Hier is een uitleg van het paper "ON THE GENERAL NO-THREE-IN-LINE PROBLEM" van T. Agama, vertaald naar begrijpelijk Nederlands met behulp van creatieve analogieën.

Het Grote Raadsel: "Nooit Drie op een Reg"

Stel je een gigantisch rooster voor, zoals een bord met ruitjes. In de wiskunde noemen we dit een $n \times n$-rooster. Het klassieke probleem is: Hoeveel punten kun je op dit bord plaatsen zonder dat er ooit drie punten op één rechte lijn staan?

Dit klinkt simpel, maar het is een van die lastige puzzels die wiskundigen al decennia bezighoudt. Als je te veel punten zet, krijg je per ongeluk drie op een rij. De vraag is: wat is het maximale aantal punten dat je veilig kunt plaatsen?

De Uitbreiding: Van Vlak naar Ruimte (en verder)

In dit paper kijkt de auteur, T. Agama, niet alleen naar een plat bord (2 dimensies) of een kubus (3 dimensies), maar naar een $d$-dimensionale ruimte.

• 2D: Een vlakke vloer.
• 3D: Een kamer.
• $d$D: Een onbegrijpelijk complex universum met veel meer richtingen dan we kunnen zien.

De vraag is: Hoeveel punten kunnen we in zo'n hyper-ruimte plaatsen zonder dat er drie op een lijn staan?

De Oplossing: De "Krimp-methode"

Agama's oplossing is slim en gebruikt een wiskundig trucje dat hij "compressie" noemt. Laten we dit uitleggen met een analogie:

De Analogie van de Spiegel en de Krimp
Stel je voor dat je een groep mensen (de punten) in een grote hal hebt staan. Je wilt ze zo neerzetten dat niemand drie op een rij staat.

1. De Krimp: Agama gebruikt een magische lens (de compressie-map). Deze lens maakt mensen die ver weg staan, heel dichtbij, en mensen die dichtbij staan, heel ver weg. Het is alsof je de ruimte in en uitrekt.
2. De Massa en de Gaping: Hij kijkt naar twee eigenschappen van deze mensen na de krimp:
   • De Massa: Hoe "zwaar" is de groep als je ze optelt?
   • De Gaping: Hoe ver staan ze van hun eigen spiegelbeeld?
3. De Bol van Toelaatbaarheid: Door deze eigenschappen te gebruiken, tekent hij een onzichtbare bol in de ruimte. Het geheimzinnige is: als je punten precies op de rand van deze bol plaatst, is het wiskundig onmogelijk dat drie van hen op een rechte lijn staan. Het is alsof de vorm van de bol zelf zorgt voor orde.

Het Resultaat: Hoeveel punten kun je kwijt?

De wiskundige formule in het paper is ingewikkeld, maar de boodschap is helder:

Voor een ruimte met afmetingen $n$ in elke richting (een $n \times n \times \dots \times n$ blok), kun je minstens een aantal punten plaatsen dat ongeveer gelijk is aan:
$$n^{d-1} \times \text{een klein getal}$$

Wat betekent dit in het Nederlands?

• Als je een plat bord hebt ($d=2$), kun je ongeveer $n$ punten zetten.
• Als je een kubus hebt ($d=3$), kun je ongeveer $n^2$ punten zetten.
• In een hyper-ruimte ($d$ dimensies) kun je dus een enorm aantal punten kwijt, namelijk $n$ tot de macht $(d-1)$.

De auteur bewijst dat je altijd een grote groep punten kunt vinden die veilig is, zelfs als de ruimte heel groot wordt. Hij gebruikt de "krimp-bol" als een sjabloon om deze veilige punten te vinden.

Waarom is dit belangrijk?

Voorheen wisten we dit zeker voor platte vlakken en soms voor 3D-kubussen. Dit paper zegt: "Het werkt voor elke dimensie, hoe gek en complex die ook is."

Het is alsof je een recept hebt om een perfecte taart te bakken. Eerder wisten we alleen hoe je een taart in 2D (een koekje) of 3D (een taart) maakte. Nu heeft Agama een recept gevonden dat werkt voor taarten in 10, 20 of zelfs 100 dimensies.

Samenvatting in één zin

T. Agama heeft een nieuwe wiskundige "krimp-lens" bedacht die punten in een ruimte zo herschikt dat ze automatisch in een veilige, niet-rechte vorm (een bol) vallen, waardoor we kunnen bewijzen dat je in elke denkbare dimensie een enorm aantal punten kunt plaatsen zonder dat er ooit drie op een lijn staan.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "ON THE GENERAL NO-THREE-IN-LINE PROBLEM" van T. Agama, geschreven in het Nederlands.

Titel: Over het Algemene "Geen Drie in Een Lijn" Probleem

Auteur: T. Agama
Datum: 13 maart 2026 (gepubliceerd op arXiv)

---

1. Het Probleem

Het klassieke "no-three-in-line" probleem (geen drie in een lijn) vraagt om de maximale grootte van een deelverzameling van punten in een $n \times n$ rooster (het verzameling $\{1, \dots, n\}^2$) zodat geen drie punten collineair zijn.

• Historische context: Dit probleem is geformuleerd door H. Dudeney en later bestudeerd door wiskundigen zoals Roth en Erdős. In het tweedimensionale geval zijn er ondergrenzen bewezen die lineair groeien met $n$.
• Uitbreiding: Pór en Wood hebben aangetoond dat in drie dimensies ($n \times n \times n$) een orde van $\Theta(n^2)$ punten kan worden geplaatst zonder collineariteit.
• Doel van dit artikel: Het generaliseren van dit probleem naar willekeurige dimensies $d \geq 2$ en het bewijzen van een expliciete ondergrens voor het maximale aantal punten in een $d$-dimensionale kubus $[n]^d$ zonder dat drie punten op één lijn liggen.

2. Methodologie en Kernconcepten

De auteur gebruikt een constructieve aanpak die gebaseerd is op een nieuw geometrisch perspectief: de compressiemethode. De kern van de methode bestaat uit de volgende stappen:

A. De Compressiemapping ($V_m$)

Er wordt een afbeelding gedefinieerd die punten in de ruimte $\mathbb{R}^n$ schaalt via reciprociteit. Voor een schaalparameter $m \in (0, 1]$ wordt de mapping $V_m$ gedefinieerd als:
$$V_m[(x_1, \dots, x_n)] = \left(\frac{m}{x_1}, \dots, \frac{m}{x_n}\right)$$
Deze mapping "duwt" punten dicht bij de oorsprong weg en trekt punten ver weg naar de oorsprong.

B. Statistieken: Massa en Compressiegap

Twee cruciale statistieken worden geïntroduceerd om de geometrie te analyseren:

1. Massa ($M$): De som van de gecomprimeerde coördinaten:
   $$M(V_m[\vec{x}]) = \sum_{i=1}^n \frac{m}{x_i}$$
2. Compressiegap ($G$): Een maat voor de symmetrische afwijking tussen een punt en zijn gecomprimeerde beeld:
   $$G \circ V_m[\vec{x}] = \left\| \vec{x} - V_m[\vec{x}] \right\| = \left\| \left(x_1 - \frac{m}{x_1}, \dots, x_n - \frac{m}{x_n}\right) \right\|$$

C. Geïnduceerde Ballen en Toegestane Punten

Op basis van een punt $\vec{x}$ en de compressiegap wordt een "geïnduceerde bal" gedefinieerd. De grens van deze bal bestaat uit toegestane punten (admissible points).

• Belangrijkste geometrische eigenschap (Propositie 3.15): Geen drie toegestane punten op de rand van zo'n geïnduceerde bal zijn collineair. Dit is de fundamentele constructie die het probleem oplost.
• Neststructuur: De ballen vertonen een nestende eigenschap; kleinere ballen worden ingesloten door grotere ballen, afhankelijk van de grootte van de compressiegap.

D. Telling van Rasterpunten

De auteur telt het aantal rasterpunten (lattice points) binnen de kleinste as-parallelle doos die een dergelijke geïnduceerde bal bevat. Door de lokale dichtheid van deze toegestane punten op het rooster te schatten, wordt de ondergrens afgeleid.

3. Belangrijkste Resultaten

Hoofdstelling (Theorem 4.1)

Voor elke dimensie $d \geq 2$ en roostergrootte $n$, is het aantal punten dat in een $d$-dimensionaal rooster $[n]^d$ kan worden geplaatst zonder dat drie punten collineair zijn, begrensd door:
$$\gg n^{d-1} d^{\frac{1}{2d}}$$
(Hierbij betekent $\gg$ dat er een absolute constante $c > 0$ bestaat zodat het aantal punten $\geq c \cdot n^{d-1} d^{\frac{1}{2d}}$ is voor grote $n$.)

Dit resultaat generaliseert het bekende $\Theta(n^2)$-resultaat voor $d=3$ naar alle hogere dimensies, met een kwantitatieve afhankelijkheid van de dimensie $d$.

Specifieke Gevallen (Corollaria)

• Voor $d=2$: De ondergrens is $\geq C_1 n \sqrt[4]{2}$ (wat consistent is met de bekende lineaire groei).
• Voor $d=3$: De ondergrens is $\geq C_2 n^2 \sqrt[6]{3}$, wat het resultaat van Pór en Wood kwantitatief verfijnt.

4. Technisch Nieuw en Significance

• Constructief Bewijs: In tegenstelling tot sommige probabilistische methoden, is deze aanpak volledig constructief. De toegestane punten worden expliciet beschreven via de rand van de geïnduceerde ballen.
• Uniforme Mechanisme: De methode biedt een uniform mechanisme om niet-collineaire configuraties in elke dimensie te construeren door te werken met één enkel geometrisch object (de geïnduceerde bal).
• Analytische Koppeling: De auteur koppelt grove schattingen van coördinaatgroottes aan scherpe tellingsresultaten via de expliciete analytische functies van de massa en de compressiegap.
• Optimaliteit: De auteur geeft toe dat de exponent op $d$ misschien niet optimaal is, maar benadrukt dat de leidende term $n^{d-1}$ correct is en dat de multiplicatieve factor $d^{\frac{1}{2d}}$ natuurlijk voortkomt uit de compressiegeometrie.

5. Conclusie

T. Agama heeft het "no-three-in-line" probleem succesvol uitgebreid naar willekeurige hoge dimensies. Door een nieuwe compressiemapping en de analyse van de daaruit voortvloeiende "geïnduceerde ballen" te gebruiken, wordt bewezen dat men in een $d$-dimensionaal rooster van grootte $n$ minstens een orde van $n^{d-1}$ punten kan selecteren zonder collineariteit. Dit vormt een belangrijke bijdrage aan de discrete meetkunde en additieve combinatoriek, met name door de expliciete constructie en de kwantitatieve afhankelijkheid van de dimensie.