On number of cyclic $n$-roots and disjointness of Fourier supports

Technische Samenvatting: Over het aantal cyclische $n$-wortels en de disjointheid van Fourier-ondersteuningen

Probleemstelling
Het artikel behandelt de eindigheid van de verzameling cyclische $n$-wortels, die $n$-dimensionale complexe vectoren zijn die een specifieke set multivariate homogene polynoomvergelijkingen oplossen. Een centrale conjectuur van Björck en Saffari stelt dat de verzameling cyclische $n$-wortels eindig is dan en slechts dan als $n$ vrij van kwadraten (square-free) is. Terwijl de "alleen als"-richting (oneindige verzameling als $n$ niet vrij van kwadraten is) is vastgesteld, en de "als"-richting voor priemgetallen $n$ is bewezen door Haagerup, blijft de casus voor samengestelde $n$ die vrij van kwadraten is, openstaan.

Haagerups bewijs voor priemgetal $n$ rust op een cruciale reductie (Propositie 1): als de verzameling cyclische $n$-wortels oneindig zou zijn, dan zouden er twee niet-nul vectoren $u, v \in \mathbb{C}^n$ moeten bestaan waarvan de ondersteuningen (supports) disjoint zijn in zowel het tijdsdomein als het frequentiedomein (specifiek, $\hat{u}_i \check{v}_i = 0$ voor alle $i$, waarbij $u_i v_i = 0$). Voor priemgetal $n$ voorkomt het additieve onzekerheidsprincipe dat een dergelijk paar bestaat, wat de eindigheid bewijst. Het artikel onderzoekt of deze reductie standhoudt voor samengestelde $n$, specifiek de vraag of dergelijke paren met disjointe ondersteuningen bestaan wanneer $n$ samengesteld is.

Methodologie
De auteur maakt gebruik van Fourieranalyse op eindige cyclische groepen $\mathbb{Z}_n$ om expliciete tegenvoorbeelden te construeren voor de reductiestap voor samengestelde $n$. De methodologie omvat:

1. Algebraïsche Constructie: Het gebruik van ondergroepen van $\mathbb{Z}_n$ en hun orthogonale complementen. Het artikel maakt gebruik van de analogon van de Poisson-sommatieformule voor eindige groepen, specifiek de relatie $\widehat{\mathbf{1}_{H_d}} = \frac{d}{\sqrt{n}} \mathbf{1}_{H_d^\perp}$, waarbij $H_d$ een ondergroep van orde $d$ is.
2. Vector Synthese: Het construeren van vectoren $u$ en $v$ als lineaire combinaties van karakteristieke functies van specifieke cosets en ondergroepen. De constructie zorgt ervoor dat de ondersteuning van $u$ disjoint is van de ondersteuning van $v$ in het tijdsdomein, en dat de ondersteuning van de Fourier-transformatie van $u$ disjoint is van de ondersteuning van de inverse Fourier-transformatie van $v$.
3. Casusanalyse:
   • Propositie 2: Construeert dergelijke paren voor $n = pqr$ (product van drie onderling relatief priemme getallen) met behulp van translaties van ondergroepen om intersecties te elimineren.
   • Stelling 1: Generaliseert de constructie voor elke samengestelde $n$. Als $d$ een deler is van $n$ waarvoor geldt $1 < d < \sqrt{2n}$, construeert de auteur een verzameling van $1 + \lfloor d/2 \rfloor$ vectoren die wederzijds aan de disjointheidsvoorwaarde voldoen.
   • Enkelvoudige Vector Casus (Propositie 3): Onderzoekt het bestaan van een enkele vector $x$ waarbij $\text{supp}(x) \cap \text{supp}(\hat{x}) = \emptyset$. Dit is gekoppeld aan het bestaan van singuliere hoofdsubmatrices van de Fourier-matrix. De auteur biedt constructies voor priemfactoren en specifieke samengestelde gevallen, in contrast met de Chebotarëv-stelling die garandeert dat minder niet verdwijnen voor priemgetal $n$.

Belangrijkste Bijdragen en Resultaten

• Stelling 1: Het artikel bewijst dat een paar niet-nul vectoren $u, v$ die aan de disjointe ondersteuningsvoorwaarde voldoen (Gelijk. 2) bestaat dan en slechts dan als $n$ samengesteld is.
  • Als $n$ samengesteld is: De auteur construeert expliciet dergelijke vectoren. Voor een deler $d$ van $n$ ($1 < d < \sqrt{2n}$) bestaan er ten minste $1 + \lfloor d/2 \rfloor$ wederzijds disjointe vectoren die aan de voorwaarde voldoen.
  • Als $n$ een priemgetal is: De niet-existentie van dergelijke paren wordt bevestigd via het additieve onzekerheidsprincipe, consistent met Haagers bewijs.
• Weerlegging van de Adequaatheid van de Reductie: Het primaire resultaat toont aan dat de reductiestap gebruikt door Haagerup (Propositie 1) niet adequaat is voor het bewijzen van de eindigheid van cyclische $n$-wortels wanneer $n$ een samengesteld getal is dat vrij is van kwadraten. Aangezien de "obstructie" (het bestaan van paren met disjointe ondersteuning) aanwezig is voor alle samengestelde $n$, kan de niet-existentie van dergelijke paren niet worden gebruikt om de eindigheid voor vrije van kwadraten te bewijzen.
• Concrete Voorbeelden: Het artikel geeft expliciete voorbeelden voor $n=30$ en $n=6$. Voor $n=6$ wordt aangetoond dat hoewel dergelijke disjointe paren bestaan (en dus voldoen aan de voorwaarde die eindigheid zou impliceren als de reductie voldoende was), de verzameling cyclische 6-wortels bekend is als eindig. Dit bevestigt dat het bestaan van het paar een noodzakelijke voorwaarde is voor de reductie om te werken, maar geen voldoende voorwaarde om de oneindigheid van cyclische wortels te impliceren.
• Extensie van Conjecturen: Het artikel bespreekt het bestaan van een enkele vector met disjointe tijd-frequentie ondersteuning. Het verbindt dit met de singulariteit van de hoofdminoren van de Fourier-matrix. Het ondersteunt de uitbreiding van de Chebotarëv-stelling (dat hoofdminoren niet verdwijnen voor vrije van kwadraten $n$) door te laten zien dat dergelijke vectoren wel bestaan voor niet-vrije van kwadraten $n$ (specifiek priemfactoren en bepaalde samengestelde structuren).

Betekenis en Claims
Het artikel claimt bescheiden dat de belangrijkste bijdrage het identificeren van een bottleneck is in de bestaande bewijsstrategie voor de Björck-Saffari conjectuur.

• Verduidelijking van de Reductie: Het verheldert dat de reductie van Haagerup, die succesvol de eindigheid voor priemgetal $n$ bewijst, niet in staat is om onderscheid te maken tussen samengestelde getallen die vrij zijn van kwadraten en samengestelde getallen die dat niet zijn, omdat de "disjoint support" obstructie aanwezig is voor alle samengestelde $n$.
• Implicatie voor de Conjectuur: Het bestaan van deze vectorparen voor samengestelde getallen die vrij zijn van kwadraten impliceert dat een nieuwe aanpak vereist is om de eindigheid van cyclische $n$-wortels voor dergelijke gevallen te bewijzen. Het artikel bewijst de conjectuur niet waar of onwaar voor deze gevallen, maar toont aan dat de specifieke algebraïsch-geometrische reductie gebruikt voor priemgetallen onvoldoende is.
• Structureel Inzicht: Het werk biedt een dieper structureel begrip van de relatie tussen cyclische $n$-wortels, CAZAC-sequenties en de spectrale eigenschappen van de Fourier-matrix, met name met betrekking tot de singulariteit van de submatrices en het onzekerheidsprincipe in eindige groepen.

Samenvattend stelt het artikel vast dat het "disjoint Fourier support" fenomeen een universeel kenmerk is van samengestelde dimensies, waardoor de specifieke reductie-argumentatie gebruikt voor priemgetallen ongeldig wordt als een algemeen bewijsmiddel voor de eindigheid van cyclische $n$-wortels in het geval van samengestelde getallen die vrij zijn van kwadraten.