Fuglede's Conjecture on Cyclic Groups of Square-Free Order: The Case of Rapidly Growing Prime Factors

Technische Samenvatting: Fuglede's Vermoeden voor Cyclische Groepen van Vierkantvrije Orde

Probleemstelling
Het artikel behandelt Fuglede's vermoeden in de context van eindige cyclische groepen. Het vermoeden stelt dat een verzameling spectraal is (een orthogonale basis van exponentiële functies toelaat) dan en slechts dan als zij de ruimte door translatie tegelt. Hoewel het vermoeden is weerlegd voor Euclidische ruimtes van dimensie $d \ge 2$, blijft de eendimensionale casus open. Door reducties vastgesteld door Dutkay en Lai, en recent werk door Fu en Song dat de rationaliteit van genormaliseerde spectra bewijst, is het vermoeden op de reële lijn $\mathbb{R}$ equivalent aan het vermoeden dat standhoudt voor alle eindige cyclische groepen $\mathbb{Z}_N$.

Ondanks aanzienlijke vooruitgang blijft het vermoeden open voor algemene eindige cyclische groepen. Specifiek, hoewel de "tile-to-spectral" richting (T-S) bekend is voor alle cyclische groepen van vierkantvrije orde, is de "spectral-to-tiling" richting (S-T) slechts geverifieerd voor specifieke families (bijv. machten van priemgetallen, groepen met weinig priemfactoren, of specifieke configuraties van grote priemgetallen). Er bestaat een kritieke kloof: vóór dit werk was er geen oneindige familie van cyclische groepen bekend die aan het vermoeden voldeed en die over een willekeurig aantal verschillende priemfactoren beschikte.

Methodologie
De auteur maakt gebruik van een inductieve techniek geworteld in cyclotomische deelbaarheid en Fourier-analyse. De kernmethodologie omvat:

1. Cyclotomische Formulering: Het gebruik van mask-polynomen $A(X)$ en de voorwaarde dat $\Phi_m(X)$ deelbaar is door $A(X)$ om spectraliteit te karakteriseren.
2. Cube Rule en Fiber Decompositie: Het toepassen van de "cube rule" (Propositie 2.1) en niveau-specifieke versies (Lemma 2.2) om de structuur van spectrale verzamelingen binnen productgroepen te analyseren. Dit houdt in dat een verzameling $A \subset \mathbb{Z}_n \times \mathbb{Z}_p$ wordt ontleed in "niveaus" (cosets van $\mathbb{Z}_n$) en hun eigenschappen worden geanalyseerd.
3. Inductiestap: Het artikel vestigt een stabiliteitsresultaat: als de S-T richting standhoudt voor een vierkantvrije groep $\mathbb{Z}_n$, dan houdt deze ook stand voor $\mathbb{Z}_n \times \mathbb{Z}_p$, mits $p > n$ een priemgetal is.
   • Geval 1 ($p \nmid |A|$): De auteur bewijst dat vermenigvuldiging met $p$ injectief is op de spectrale verzameling $A$. Dit maakt het mogelijk om $A$ te projecteren naar een spectrale verzameling in $\mathbb{Z}_n$, waar de inductieve hypothese van toepassing is.
   • Geval 2 ($p \mid |A|$): De auteur bewijst dat als $A$ spectraal is in $\mathbb{Z}_n \times \mathbb{Z}_p$ en $p$ de kardinaliteit van $A$ deelt, alle "niveaus" van $A$ (doorsneden met cosets van $\mathbb{Z}_n$) een gemeenschappelijk spectrum $E \subset \mathbb{Z}_n$ delen (Propositie 3.2).
4. Coven-Meyerowitz Connectie: In het geval dat $n$ vierkantvrij is, garandeert de Coven-Meyerowitz conjectuur (specifiek het resultaat door Laba en Meyerowitz) dat elke tegel van een gegeven kardinaliteit een standaard subgroup-complement heeft. Dit zorgt ervoor dat het gemeenschappelijke spectrum $E$ gevonden in de niveaus impliceert dat alle niveaus $\mathbb{Z}_n$ tegelt met hetzelfde complement, waardoor de constructie van een globale tegels voor $A$ mogelijk wordt.

Belangrijkste Bijdragen en Resultaten
De primaire bijdrage is de vaststelling van een inductief argument dat de geldigheid van Fuglede's vermoeden uitbreidt naar nieuwe oneindige families van cyclische groepen.

• Theorem 1.1 (Hoofdresultaat): Laat $n$ vierkantvrij zijn en $p > n$ een priemgetal. Als de spectral-to-tiling richting standhoudt voor $\mathbb{Z}_n$ (aangeduid als $S\text{-}T(\mathbb{Z}_n)$), dan houdt deze ook stand voor $\mathbb{Z}_n \times \mathbb{Z}_p$ (wat isomorf is aan $\mathbb{Z}_{np}$).
• Theorem 1.2 (Corollary): Voor een vierkantvrije integer $M = \prod_{i=1}^k p_i$ waarbij de priemfactoren snel groeien (specifiek $p_{j+1} > \prod_{i=1}^j p_i$), houdt Fuglede's vermoeden stand voor $\mathbb{Z}_M$.

Dit resultaat is significant omdat het de eerste bekende oneindige familie van cyclische groepen is die aan Fuglede's vermoeden voldoet en die een willekeurig aantal verschillende priemdivisoren kan bezitten, mits de priemgetallen voldoende snel groeien.

Betekenis en Claims
Het artikel claimt de spectral-to-tiling richting op te lossen voor een brede klasse van cyclische groepen die voorheen ontoegankelijk waren voor bestaande methoden.

• Inductief Kader: Het werk ontwikkelt een robuuste inductieve techniek die de kloof tussen kleine cyclische groepen en groepen met veel priemfactoren overbrugt, leunend op het "grote priemgetal" fenomeen.
• Gemeenschappelijk Spectrum: Een cruciaal technisch inzicht is Propositie 3.2, die aantoont dat in aanwezigheid van een groot priemgetal, een spectrale verzameling een gemeenschappelijk spectrum moet hebben over al haar niveaus. Deze structurele rigiditeit is essentieel voor de inductieve stap.
• Beperkingen: De auteur merkt op dat de vierkantvrije hypothese alleen essentieel is in de laatste stap van het bewijs (Geval 2) om te garanderen dat er een gemeenschappelijk tegels-complement bestaat voor de niveaus. De methode suggereert dat het resultaat kan worden uitgebreid naar niet-vierkantvrije groepen indien de Coven-Meyerowitz conjectuur voor hen standhoudt en een compatibiliteitsargument voor complementen kan worden vastgesteld.
• Context: Het artikel erkent dat de tile-to-spectral richting al bekend was voor vierkantvrije orden (via Shi en Tijdeman). De nieuwheid ligt strikt bij de spectral-to-tiling richting.

De auteur presenteert het werk bescheiden als een inductieve stap die voortbouwt op eerdere samenwerkingen (Fallon, Kiss, Mayeli) en recente preprints, met als doel een fundament te leggen voor toekomstige uitbreidingen naar niet-vierkantvrije groepen en om open vragen te adresseren over de asymmetrie van het vermoeden (bijv. groepen die T-S zijn maar niet S-T).