Kakeya-verzameling: het naaldprobleem dat wiskunde op zijn kop zette
Stel je voor: je legt een naald van precies één meter lang op een vlakke tafel en je wilt hem 360 graden ronddraaien, zodat hij op enig moment in elke denkbare richting heeft gewezen. Hoeveel tafeloppervlak heb je daarvoor minimaal nodig? Dat is, in de kern, het probleem dat de Japanse wiskundige Soichi Kakeya in 1917 opwierp. Het intuïtieve antwoord – een rond gebied, zoals bij een passer – bleek niet het kleinste te zijn. Sterker nog: wiskundigen ontdekten al snel dat de benodigde oppervlakte willekeurig klein gemaakt kan worden.
Die ontdekking leidde tot een nieuw wiskundig object: de Kakeya-verzameling, een verzameling punten die in elke richting een lijnstukje van lengte één bevat, maar die zelf toch bijna geen oppervlakte (of, in hogere dimensies, volume) hoeft te hebben. Wat begon als een curieuze puzzel over een draaiende naald, groeide uit tot een van de hardnekkigste open problemen in de wiskundige analyse – met verrassende gevolgen voor onder meer signaalverwerking en cryptografie. Pas in 2025 kwam er een grote doorbraak.
Wat is het precies?
Een Kakeya-verzameling (ook wel Besicovitch-verzameling genoemd) is een verzameling in een n-dimensionale ruimte die in elke mogelijke richting minstens Ă©Ă©n lijnstuk van lengte Ă©Ă©n bevat. In het platte vlak (2D) betekent dit: voor elke hoek tussen 0 en 360 graden zit er ergens in de verzameling een lijnstukje dat precies die kant op wijst.
De Russisch-Britse wiskundige Abram Besicovitch liet in de jaren twintig van de vorige eeuw zien dat zulke verzamelingen een oppervlakte van nul kunnen hebben. Zijn constructie, later verfijnd tot de zogeheten “Perron-boom”, splitst een driehoek op in dunne repen, schuift die repen slim langs elkaar en plakt ze weer aan elkaar. Het resultaat is een stervormig, verfrommeld gebied dat wel alle richtingen “dekt”, maar waarvan de totale oppervlakte naar believen klein gemaakt kan worden.
Dat een verzameling geen oppervlakte heeft, wil niet zeggen dat hij “niets voorstelt”. Wiskundigen gebruiken daarom een preciezer gereedschap: de Hausdorff-dimensie, een manier om te meten hoe “gevuld” of “fractaal” een verzameling is, ook als de gewone oppervlakte of inhoud nul is. Een gladde lijn heeft dimensie 1, een gevuld vlak dimensie 2, enzovoort – maar fractal-achtige objecten kunnen een dimensie ertussenin hebben.
De centrale vraag, bekend als het Kakeya-vermoeden, luidt: moet een Kakeya-verzameling in de n-dimensionale ruimte altijd de volle dimensie n hebben, ook al is zijn volume nul? Voor het platte vlak (n=2) is dit sinds de jaren zeventig bewezen. Voor hogere dimensies bleef het decennialang open – tot 2025, toen het geval van drie dimensies eindelijk werd opgelost.
Wat wil men ermee bereiken?
Het onderzoek naar Kakeya-verzamelingen is in de eerste plaats fundamentele wiskunde: nieuwsgierigheid naar de grenzen van meetkunde en afmeting. Maar het probleem bleek al snel diep verweven met de Fourier-analyse, het wiskundige gereedschap waarmee signalen – geluid, licht, radiogolven – ontleed worden in eenvoudige golfjes.
In 1971 gebruikte de Amerikaanse wiskundige Charles Fefferman een Kakeya-achtige constructie om een beroemd vermoeden in de Fourier-analyse (het zogeheten “bal-multiplier-probleem”) juist te weerleggen. Dat liet zien dat Kakeya-verzamelingen niet zomaar een wiskundige curiositeit zijn, maar een sleutel tot begrip van hoe golfachtige signalen zich gedragen.
Die connectie loopt door naar het zogeheten restrictievermoeden, een ander open probleem dat mede bepaalt hoe goed je een signaal of beeld kunt reconstrueren uit onvolledige frequentie-informatie. Dat raakt praktische technieken als MRI-scans, radar en compressed sensing (het reconstrueren van data uit veel minder metingen dan gebruikelijk).
Er is ook een variant met eindige, discrete “velden” in plaats van de gewone reële getallen. Deze eindige-velden-versie van het Kakeya-probleem bleek toepasbaar in de theoretische informatica, met name bij het bouwen van randomness extractors: algoritmes die uit een zwak-willekeurige fysieke bron (zoals ruis in elektronica) bruikbare, echt willekeurige bits distilleren – essentieel voor cryptografie.
Voorbeelden uit de praktijk
Hoewel Kakeya-onderzoek zich vrijwel volledig binnen de zuivere wiskunde afspeelt, zijn er duidelijke mijlpalen en toepassingen te noemen:
- Kakeya's naaldprobleem (1917) en de oplossing van Abram Besicovitch (circa 1919-1928), die de eerste verzamelingen met oppervlakte nul construeerde.
- Charles Fefferman (1971) gebruikte een Kakeya-constructie om de “bal-multiplier”-hypothese in de Fourier-analyse te weerleggen, een keerpunt voor het vakgebied.
- Zeev Dvir (2008), destijds aan Princeton, bewees het eindige-velden-Kakeya-vermoeden met een verrassend eenvoudige “polynoommethode”. Deze methode werd de basis voor latere doorbraken en voor toepassingen in randomness extractors.
- Larry Guth en Nets Katz (2010) pasten vergelijkbare polynoomtechnieken toe om het “distinct distances”-probleem van Paul Erdős op te lossen, en verfijnden daarmee het gereedschap voor Kakeya-achtige vraagstukken.
- Hong Wang en Joshua Zahl (2025) publiceerden een bewijs van het volledige driedimensionale Kakeya-vermoeden, na meer dan een eeuw deelresultaten van onder anderen Jean Bourgain, Thomas Wolff en Terence Tao. Het bewijs beslaat meer dan honderd pagina's en wordt momenteel door de wiskundige gemeenschap gecontroleerd.
Hoe ver is de techniek?
“Techniek” is voor dit onderwerp een groot woord – het gaat om een wiskundig bewijsprobleem, geen apparaat of product. De voortgang verliep dan ook over decennia, in kleine stappen: Jean Bourgain boekte in de jaren negentig de eerste kwantitatieve vooruitgang, Thomas Wolff introduceerde in 1995 de “hairbrush”-methode voor betere ondergrenzen, en Nets Katz en Terence Tao verbeterden dit begin deze eeuw verder. Larry Guth bracht vanaf 2010 de polynoommethode in, die uiteindelijk in 2025 door Hong Wang en Joshua Zahl werd doorontwikkeld tot een volledig bewijs voor de driedimensionale ruimte.
Voor dimensies vier en hoger is het vermoeden nog altijd open. De technieken die in 3D werkten, schalen niet automatisch door naar hogere dimensies; daarvoor zijn vermoedelijk nieuwe wiskundige ideeën nodig.
Opvallend aan het bewijs van Wang en Zahl is de lengte en technische complexiteit: het combineert meetkunde, combinatoriek en analyse in tientallen tussenstappen. Zoals bij meer grote moderne bewijzen groeit de belangstelling om zulke argumenten te laten controleren door een computerondersteunde “proof assistant” zoals Lean, waarbij elke logische stap machinaal wordt geverifieerd. Voor het Kakeya-bewijs is een dergelijk formaliseringstraject besproken en deels in gang gezet in de wiskundige gemeenschap rond Terence Tao, al is een volledige geautomatiseerde verificatie op het moment van schrijven nog niet afgerond.
Wie werken eraan?
Het is een klein, internationaal gezelschap van specialisten in harmonische analyse en combinatoriek, verspreid over universiteiten – geen commerciële bedrijven of laboratoria. Belangrijke namen door de geschiedenis heen: Soichi Kakeya (Japan, oorspronkelijke vraag), Abram Besicovitch (Rusland/Verenigd Koninkrijk), Charles Fefferman (Princeton University), Jean Bourgain (Institute for Advanced Study, Princeton), Thomas Wolff (California Institute of Technology), Nets Katz (Rice University/California Institute of Technology), Terence Tao (University of California, Los Angeles) en Larry Guth (Massachusetts Institute of Technology).
De recente doorbraak komt van Hong Wang, verbonden aan het Courant Institute of Mathematical Sciences van New York University, en Joshua Zahl, hoogleraar aan de University of British Columbia in Canada. Onderzoeksfinanciering komt doorgaans van nationale wetenschapsfondsen zoals de Amerikaanse National Science Foundation en particuliere stichtingen als de Simons Foundation. De toepassingen in signaalverwerking en cryptografie worden vervolgens verder uitgewerkt door onderzoekers in de elektrotechniek en theoretische informatica, los van de kern-wiskundegemeenschap.