🔢 mathematics

Both directions of Fuglede's conjecture fail in dimension two

Dit artikel lost het langlopende open probleem in dimensie twee op door expliciete tegenvoorbeelden te construeren in een eindige abelse groep en deze naar $\mathbb{R}^2$ te liften, waarmee wordt bewezen dat beide richtingen van de conjectuur van Fuglede falen.

Oorspronkelijke auteurs: Tao Zhang

Gepubliceerd 2026-07-20

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Tao Zhang

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

Stel je voor dat je een meesterarchitect bent die een vloer wil bedekken. Je hebt een specifieke vorm van een tegel en je wilt weten of je de hele oneindige vloer kunt bedekken met alleen die vorm, door deze te verschuiven zonder overlappingen of gaten. Dit is de kunst van het tegelen. Stel je nu voor dat je een muzikant bent die een liedje wil spelen in een kamer. Je wilt weten of je een set muzikale noten (frequenties) kunt kiezen die, wanneer ze samen worden gespeeld, elk mogelijk geluid in die kamer perfect beschrijven zonder redundantie. Dit is de kunst van het spectraal zijn.

Decennialang vroegen wiskundigen zich af of deze twee zeer verschillende vaardigheden eigenlijk hetzelfde waren. Zou een vorm die perfect is in het tegelen van een vloer altijd ook perfect kunnen zijn in het creëren van een muzikaal spectrum, en vice versa? Dit idee, bekend als Fuglede's vermoeden, verbond de geometrie van vormen met de fysica van geluidsgolven. Het was een prachtige theorie die standhield voor eenvoudige, eendimensionale lijnen en voor veel mooie, ronde of blokvormige vormen. Echter, naarmate wiskundigen naar complexere, grillige of hoogdimensionale ruimtes keken, begon de theorie te barsten. Ze vonden vormen die konden tegelen maar niet konden zingen, en vormen die konden zingen maar niet konden tegelen. Maar een hardnekkig mysterie bleef bestaan: gebeurde deze mislukking in de platte, tweedimensionale wereld waarin wij leven—het vlak? Lange tijd kon niemand het ook maar bewijzen.

Dit artikel door Tao Zhang geeft daar een definitief "ja" op antwoord. De auteur bewijst dat in twee dimensies de verbinding tussen tegelen en muziek wordt verbroken. De auteur construeert twee zeer specifieke, enigszins bizarre vormen. De eerste vorm is een perfecte tegellegger—het kan een rooster bedekken zonder gaten—maar het is "toonblind", wat betekent dat het niet kan worden beschreven door een zuivere set muzikale noten. De tweede vorm is een perfecte "zanger", in staat om een volledig muzikaal spectrum te genereren, maar het is een verschrikkelijke tegellegger die een rooster niet kan bedekken zonder overlappingen of gaten.

Om te begrijpen hoe dit werd gedaan, moet je de strategie van de wiskundige zien als een spel van "uitzoomen". Eerst bouwde de auteur deze lastige vormen binnen een kleine, eindige wereld gemaakt van een rooster van getallen (specifiek een groep genaamd $\mathbb{Z}_{60} \times \mathbb{Z}_{12}$ ). In dit kleine, eindige universum toonde de auteur aan dat de "tegelvorm" drie verschillende manieren had om tot een volledig rooster te worden voltooid, maar dat geen van die voltooiingen een gemeenschappelijke muzikale sleutel deelde. Omgekeerd had de "zingende" vorm drie verschillende muzikale sleutels, maar geen van die sleutels kon de vorm helpen om het rooster te tegelen.

De magie gebeurt in de volgende stap. De auteur gebruikte een wiskundig "transfersprincipe" om deze kleine, eindige vormen op te tillen naar het echte, oneindige tweedimensionale vlak. Stel je voor dat je een kleine, gepixelde stempel neemt en deze herhaaldelijk op een enorm vel ruitjespapier drukt om een massaal, grillig mozaïek te creëren. Het artikel bewijst dat als de kleine stempel faalt om een perfecte zanger of een perfecte tegellegger te zijn in de eindige wereld, het enorme mozaïek op exact dezelfde manier zal falen in de echte wereld.

Het resultaat is een paar expliciete tegenvoorbeelden. De eerste is een begrensde vorm bestaande uit 60 punten in de eindige groep, die opstijgt naar een enorme vorm bestaande uit 564.540 eenheidsvierkanten die het vlak tegelt maar geen spectrum heeft. De tweede is een vorm bestaande uit 60 punten in de eindige groep, die opstijgt naar een enorme vorm bestaande uit 564.540 eenheidsvierkanten die een spectrum heeft maar het vlak niet kan tegelen. Door deze naar het echte vlak te tillen, creëert de auteur deze enorme vormen om het debat te beslechten: in twee dimensies zijn het kunnen tegelen van een vloer en het kunnen zingen van een lied twee volkomen verschillende talenten. Een vorm kan het ene hebben, het andere, beide, of geen van beide, en er is geen regel die hen dwingt om samen te gaan. Het vermoeden dat ze equivalent waren, is onwaar.

Technische Samenvatting: Falen van de Vermoeden van Fuglede in Dimensie Twee

Probleemstelling
De vermoedens van Fuglede, voorgesteld in 1974, stellen dat een meetbare verzameling $\Omega \subset \mathbb{R}^d$ met een positieve eindige maat spectraal is (een orthogonaal basis van exponentiële functies bezit) dan en slechts dan als het een translationele tegel is (kan $\mathbb{R}^d$ betegelen door translaties). Hoewel de vermoedens gelden voor convexe domeinen en onder diverse geometrische of rekenkundige beperkingen, is bekend dat ze in beide richtingen falen voor alle dimensies $d \geq 3$ . De status van de vermoedens in dimensies één en twee bleef een open probleem. Dit artikel behandelt de onopgeloste tweedimensionale casus.

Methodologie
De auteurs hanteren een strategie waarbij tegenvoorbeelden worden geconstrueerd in eindige Abelische groepen en deze naar de Euclidische ruimte worden getransfereerd via een eindig-naar-oneindig transferprincipe. De kernmethodologie omvat:

Constructie in Eindige Groepen: De auteurs werken binnen de rang-twee eindige Abelische groep $G = \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ $G = Z_{60} \times Z_{12}$ . Zij construeren twee specifieke 60-punts deelverzamelingen van deze groep:
- Een verzameling $A_-$ die $G$ tegelt maar geen spectrum bezit.
- Een verzameling $A_+$ die spectraal is maar $G$ niet tegelt.
Laag-versterking (Layer-Amplification): Om deze eigenschappen te bereiken, maken de auteurs gebruik van een "vijf-lagen" versterkingstechniek. Ze beginnen met een "kiem"-verzameling $E \subset \mathbb{Z}_{12}^2$ $E \subset Z_{12}^{2}$ (een 12-punts graaf).
- Voor de niet-spectrale tegel identificeren zij drie verschillende tegelt complementen van $E$ die geen gemeenschappelijk spectrum delen. Deze worden gerangschikt in vijf lagen (met behulp van een hulpfactor $\mathbb{Z}_5$ ) om een verzameling te creëren waarbij de incompatibiliteit van de complementen de existentie van een globaal spectrum verhindert.
- Voor de niet-tegelende spectrale verzameling identificeren zij drie verschillende spectra van $E$ die geen gemeenschappelijk tegelt complement delen. Een parallelle vijf-lagen constructie zorgt ervoor dat de resulterende verzameling spectraal is, maar niet tegelt.
Isomorfisme en Transfer: De constructies worden uitgevoerd in $H \times \mathbb{Z}_5$ (waarbij $H = \mathbb{Z}_{12}^2$ ). De Chinese Reststelling biedt een isomorfisme $\Phi: H \times \mathbb{Z}_5 \to \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ , dat de groepsstructuur behoudt zonder de rang te verhogen.
Eindig-naar-Oneindig Transfer: Gebruikmakend van een verfijnde versie van het transferprincipe (Propositie 2.1), worden de eindige tegenvoorbeelden opgetild naar begrensde deelverzamelingen van $\mathbb{R}^2$ . Specifiek, voor voldoende grote $k$ , behoudt de verzameling $A[k] = A + \{ (n_1 j_1, n_2 j_2) : 0 \leq j_1, j_2 < k \}$ de spectrale of tegel-eigenschappen van de oorspronkelijke eindige verzameling $A$ . Deze discrete verzamelingen worden vervolgens uitgebreid naar verenigingen van eenheden vierkanten in $\mathbb{R}^2$ .

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de volgende hoofdstelling vast:

Stelling 1.1: Er bestaat een begrensde translationele tegel in $\mathbb{R}^2$ die niet spectraal is, en er bestaat een begrensde spectale verzameling in $\mathbb{R}^2$ die niet tegelt door translaties.

De specifieke resultaten omvatten:

Expliciete Constructie van een Niet-Spectrale Tegel: De auteurs construeren een verzameling $A_- \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ die de groep tegelt maar geen spectrum heeft. Door transfer wordt dit een begrensde translationele tegel in $\mathbb{R}^2$ (een eindige vereniging van eenheden vierkanten) die niet spectraal is.
Expliciete Constructie van een Niet-Teelende Spectrale Verzameling: De auteurs construeren een verzameling $A_+ \subset \mathbb{Z}_{60} \times \mathbb{Z}_{12}$ die spectraal is maar de groep niet tegelt. Door transfer levert dit een begrensde spectrale verzameling in $\mathbb{R}^2$ op (specifiek een disjuncte vereniging van 564.540 halfopen eenheden vierkanten) die niet tegelt door translaties.
Resolutie van de Rang-Twee Barrière: Het artikel toont aan dat de vermoedens van Fuglede zelfs faalt in groepen met slechts twee cyclische factoren ( $\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2}$ ), waarmee een restrictieve setting wordt overwonnen waarin de vermoedens voorheen bekend waren als waar in veel specifieke eindige Abelische families.

Betekenis
Het artikel beweert de tweedimensionale casus van de vermoedens van Fuglede op te lossen, door te bewijzen dat beide implicaties van de vermoedens falen in $\mathbb{R}^2$ . Dit voltooit het beeld voor onbeperkte meetbare verzamelingen, door aan te tonen dat de equivalentie tussen spectraliteit en tegelen faalt in elke dimensie $d \geq 2$ . Het werk breidt de bekende negatieve resultaten voor $d \geq 3$ uit naar het vlak, door gebruik te maken van een nieuwe constructie in een rang-twee eindige Abelische groep om eerdere positieve resultaten in laag-rang settings te omzeilen. De auteurs merken op dat hun constructies expliciet zijn en steunen op de interactie tussen tegel-complementen en spectra in eindige groepen, die naar het continue domein worden opgetild.

Technische Samenvatting: Falen van de Vermoeden van Fuglede in Dimensie Twee

Meer zoals dit