On the maximum product of distances of diameter $2$ point sets

Dit artikel bewijst dat voor het maximaliseren van het product van afstanden in puntverzamelingen met diameter 2 volstaat het om te kijken naar convexe veelhoeken, biedt constructies die de reguliere n-hoeken aanzienlijk verbeteren, en toont aan dat een algemene karakterisering van de extremale veelhoeken voor even n niet mogelijk is.

De kern

Stel je voor dat je een groep vrienden uitnodigt voor een feestje in een grote, ronde zaal. De enige regel is: niemand mag verder dan 2 meter van elkaar vandaan staan. Dat is de "diameter" van je groep.

Nu komt de echte uitdaging: je wilt dat de totale "vriendschapskracht" van de groep zo groot mogelijk is. In dit wiskundige verhaal wordt die kracht berekend door de afstanden tussen elk paar vrienden met elkaar te vermenigvuldigen. Hoe groter de afstanden (binnen de 2-meter limiet), hoe sterker de groep.

De vraag die wiskundigen al decennia stellen, is simpel: Hoe moeten je vrienden staan om die totale kracht maximaal te maken?

Dit artikel van Cambie en collega's is als een detectiveverhaal dat probeert dit raadsel op te lossen. Hier is wat ze hebben ontdekt, vertaald in alledaags taal:

1. De "Regelmatige" Fout (De Perfecte Cirkel)

Een eerste idee is: "Laten we ze in een perfecte cirkel zetten, zoals de punten van een klok."

• Voor oneven aantallen (3, 5, 7 vrienden): Dit werkt perfect! Een regelmatige cirkel is de beste manier om ze te verdelen.
• Voor even aantallen (4, 6, 8 vrienden): Hier zit de valkuil. Als je ze in een perfecte cirkel zet, blijken ze niet optimaal te staan. Het is alsof je een vierkant probeert te vullen met vier mensen; je kunt ze iets "scheef" zetten om meer ruimte te creëren. De perfecte cirkel is dus niet het antwoord voor even aantallen.

2. De "Vlieger" en de "Kattenstaart"

De auteurs hebben ontdekt dat de beste vorm voor even aantallen eruitziet als een vlieger of een kattenstaart (een "caterpillar" in het Engels).

• De Vlieger: Voor 4 mensen is de beste vorm geen vierkant, maar een vlieger (een ruit met één lange as). Twee mensen staan ver uit elkaar (op de maximale 2 meter), en de andere twee duwen zich ertegenaan op een slimme manier.
• De Kattenstaart: Voor grotere groepen (zoals 8 of 10 mensen) lijkt de optimale vorm op een ruggengraat met uitsteeksels. Het is een beetje onregelmatig en "rommelig", maar precies die onregelmatigheid zorgt ervoor dat iedereen net iets meer ruimte heeft om elkaar te "vermenigvuldigen".

3. Het "Diamant-Netwerk"

De auteurs kijken naar wie precies op de maximale afstand (2 meter) van elkaar staat. Ze noemen dit het "diamant-netwerk".

• Ze bewijzen dat dit netwerk nooit willekeurig kan zijn. Het moet een specifieke vorm hebben: ofwel een enige lus (een cirkeltje), ofwel een kattenstaart (een lijn met takjes).
• Als je vrienden in een willekeurige kluwen staan, is dat nooit de beste oplossing. Ze moeten een soort "skelet" hebben dat strak en logisch is.

4. De Grote Ontdekking: "Beter dan perfect"

Voor grote even aantallen (bijvoorbeeld 60 of 100 mensen) dachten veel mensen dat de beste vorm een beetje op een regelmatige veelhoek leek, maar dan net ietsjes beter.

• De auteurs hebben een nieuwe manier bedacht om deze groepen te bouwen. Ze nemen een regelmatige vorm en duwen de mensen heel voorzichtig naar binnen of naar buiten, alsof je een elastiekje een beetje uitrekt op de juiste plekken.
• Het resultaat: Deze nieuwe, ietsjes "scheve" vormen zijn veel sterker dan de perfecte cirkels. Ze breken het record. Het is alsof je een perfect ronde ballon een beetje knijpt om er meer lucht in te krijgen.

5. Waarom is dit zo moeilijk?

Stel je voor dat je een berg beklimt.

• Bij een oneven aantal vrienden is er één grote, mooie piek (de regelmatige cirkel). Dat is makkelijk te vinden.
• Bij een even aantal vrienden is het landschap een ruig bergmassief met duizenden piekjes en dalen. Als je een klein beetje verschuift, kan het dat je afdaalt in een dal, of juist een nog hogere piek vindt. Het is een "ruig landschap" (rugged landscape) waar kleine veranderingen grote gevolgen hebben.

Conclusie: Wat betekent dit voor ons?

De auteurs zeggen: "We hebben de perfecte oplossing voor elk even aantal nog niet gevonden (dat is misschien wel onmogelijk met huidige technieken), maar we hebben wel bewezen dat de 'perfecte cirkel' fout is."

Ze hebben een nieuwe kaart getekend die laat zien hoe de beste groep eruit moet zien:

1. Het moet een convexe vorm zijn (geen gaten in het midden).
2. Het moet symmetrisch zijn (links en rechts hetzelfde).
3. Het moet eruitzien als een kattenstaart of een vlieger, niet als een perfecte cirkel.

Kortom: Als je ooit een groep mensen wilt positioneren om de maximale "energie" te creëren binnen een beperkte ruimte, doe dan niet aan perfectie. Maak het een beetje onregelmatig, zoals een vlieger of een kattenstaart. De natuur (en de wiskunde) houdt van een beetje chaos om het maximale uit een situatie te halen!

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the maximum product of distances of diameter 2 point sets" in het Nederlands.

Titel: Over het maximum product van afstanden van puntverzamelingen met diameter 2

Auteurs: Stijn Cambie, Arne Decadt, Yanni Dong, Tao Hu, Quanyu Tang
Datum: 10 maart 2026

---

1. Probleemstelling en Motivatie

Het artikel behandelt een klassiek probleem in de meetkunde en combinatoriek, oorspronkelijk geformuleerd door Erdős, Herzog en Piranian. Het doel is het maximaliseren van het product van alle onderlinge afstanden tussen een verzameling van $n$ punten in het complexe vlak, onder de restrictie dat de diameter van de verzameling maximaal 2 is.

Formeel wordt de functie $\Delta(z)$ gedefinieerd als:
$$\Delta(z) = \prod_{1 \le i < j \le n} |z_i - z_j|^2$$
Dit komt overeen met het maximaliseren van de absolute waarde van de discriminant van een monische polynoom met wortels $\{z_1, \dots, z_n\}$. De constraint is $\text{diam}(P) = \max_{i,j} |z_i - z_j| \le 2$.

De auteurs introduceren een genormaliseerde maat $\bar{\Delta}(P) = \Delta(P) / n^n$. Dit is relevant omdat voor een regelmatige $n$-hoek met diameter 2 (waarbij $n$ even is), de waarde exact 1 is. Voor oneven $n$ nadert deze waarde $e^{\pi^2/8}$. De centrale vraag is of regelmatige veelhoeken de extremale configuraties zijn, en hoe groot de afwijking kan zijn voor even $n$.

2. Methodologie

De auteurs combineren verschillende wiskundige disciplines om het probleem aan te pakken:

• Combinatorische Grafentheorie: Analyse van de "diameter-grafiek" (een graaf waarbij knopen de punten zijn en randen paren met maximale afstand 2).
• Convexe Meetkunde: Bewijzen dat extremale configuraties convexe veelhoeken moeten zijn.
• Niet-lineaire Optimalisatie: Toepassing van de Karush-Kuhn-Tucker (KKT) voorwaarden (Lagrange-multiplicatoren) om noodzakelijke voorwaarden voor lokale maximumpunten af te leiden.
• Asymptotische Analyse: Constructie van specifieke veelhoeken voor grote $n$ en analyse van de limietgedragingen via Riemann-sommen en integraalbenaderingen.
• Numerieke Berekeningen: Gebruik van algoritmen voor gradient descent en symbolische software (zoals Maple en Julia/IPopt) om lokale maxima te vinden voor kleine $n$.

3. Belangrijkste Bijdragen en Resultaten

A. Structurele Beperkingen (Stelling 1)

De auteurs bewijzen een fundamentele structuurstelling voor de diameter-grafiek van een extremale configuratie:

• Stelling 1: De diameter-grafiek van een maximale configuratie is ofwel unicyclisch (bevat precies één cyclus) of een kattenstaart (caterpillar).
• Dit resultaat volgt uit de theorie van "thrackles" (grafieken waarbij elke twee randen elkaar precies één keer snijden) en het feit dat alle punten op de rand van de convex hull moeten liggen.
• Dit sluit veel simpele structuren uit, zoals de regelmatige even $n$-hoeken (waar de diameter-grafiek disconnekt is voor $n \ge 4$), wat verklaart waarom regelmatige veelhoeken niet optimaal zijn voor even $n$.

B. Constructies voor Kleine $n$ (Hoofdstuk 3)

Voor kleine waarden van $n$ ($3 \le n \le 12$) worden expliciete constructies en numerieke resultaten gepresenteerd:

• $n=3, 5, 7, \dots$ (Oneven): De regelmatige $n$-hoek is bewezen optimaal.
• $n=4$: De regelmatige vierkant is niet optimaal. De optimale vorm is een "vlieger" (kite) met een specifieke onregelmatige vorm.
• $n=6, 8, 10, 12$: De auteurs vinden constructies die significant beter presteren dan de regelmatige veelhoeken. Voor $n=6$ en $n=12$ worden configuraties gevonden met $D_3$ (dihedrale) symmetrie. De zijden zijn niet gelijk, wat aantoont dat de extremale veelhoeken voor even $n$ complex en onregelmatig zijn.
• De genormaliseerde waarden $\bar{\Delta}$ voor deze constructies liggen boven 1, wat aantoont dat regelmatige even $n$-hoeken niet het maximum bereiken.

C. Asymptotische Resultaten voor Even $n$ (Stellingen 2 en 3)

De auteurs leveren bewijzen dat de limiet van het maximum product voor even $n$ strikt groter is dan 1, wat de conjectuur dat regelmatige veelhoeken optimaal zijn, weerlegt.

• **Stelling 2 (Subsequentie $6|n$):** Voor$n$ dat deelbaar is door 6, construeren de auteurs een specifieke veelhoek die een limietwaarde bereikt van:
  $$C^* = \frac{39}{4} \cdot 2^{-3} \cdot \exp\left(\frac{\pi^2 - 2\sqrt{3}\pi}{8}\right) \approx 1.304457$$
  Dit is een aanzienlijke verbetering ten opzichte van de regelmatige $n$-hoek (waarde 1).

• Stelling 3 (Uniforme Ondergrens voor alle Even $n$): Door een kleine radiale perturbatie van de regelmatige $n$-hoek te gebruiken (gebaseerd op een driehoeksgolf-functie met $\pi$-anti-periodiciteit), bewijzen ze een uniforme ondergrens voor alle even $n$:
  $$\liminf_{n \to \infty, n \text{ even}} \bar{\Delta}_{max}(n) \ge \exp\left(\frac{7}{24}\zeta(3) - \frac{\pi^4}{864}\right) \approx 1.26853$$
  Hierbij is $\zeta(3)$ de Riemann-zetfunctie. Dit resultaat is robuust en geldt voor elke even $n$, niet alleen voor veelvouden van 6.

4. Conjectures en Open Vragen

Op basis van de resultaten formuleren de auteurs een verfijnde conjectuur (Conjecture 4):

1. Voor oneven $n$ is de regelmatige $n$-hoek het unieke maximum.
2. Voor even $n$ heeft de extremale veelhoek een symmetrie-as. Als $6|n$, heeft deze ook rotatiesymmetrie van$120^\circ$.
3. De diameter-grafiek voor even $n$ bestaat uit een cyclus $C_{n-3}$ met drie hangende randen (pendant edges) die aan de cyclus zijn bevestigd.

De auteurs benadrukken dat het volledig karakteriseren van de extremale veelhoeken voor algemene even $n$ waarschijnlijk onmogelijk is met huidige technieken vanwege de complexe combinatorische en analytische structuur.

5. Significatie

Dit artikel is een mijlpaal in het oplossen van het probleem van Erdős over het product van afstanden:

• Falsificatie van Eenvoudige Conjectures: Het bewijst definitief dat regelmatige veelhoeken niet optimaal zijn voor even $n$, wat een langdurige hypothese weerlegt.
• Structuur in Chaos: Het introduceert sterke combinatorische beperkingen (unicyclisch/caterpillar) die de zoekruimte voor extremale configuraties drastisch verkleinen.
• Kwantitatieve Verbetering: Het levert de eerste expliciete constante factoren op die aantonen dat het maximum product significant hoger ligt dan de waarde voor regelmatige veelhoeken.
• Methodologische Impact: De combinatie van grafentheorie, niet-lineaire optimalisatie en asymptotische analyse biedt een blauwdruk voor het bestuderen van soortgelijke "rugged" optimalisatieproblemen in de meetkunde.

Samenvattend verschuift dit werk het paradigma van het zoeken naar een gesloten vorm voor alle $n$ naar het begrijpen van de structurele eigenschappen en het construeren van asymptotisch optimale families, waarbij wordt aangetoond dat de werkelijkheid complexer is dan de regelmatige veelhoeken suggereren.