Het artikel bespreekt de recente resolutie van het Heil-Ramanathan-Topiwala (HRT) vermoeden. Waar dit vermoeden stelde dat er geen eindige lineaire relaties bestaan tussen tijd-frequentieverschuivingen van een niet-nul functie onder bepaalde vervalcondities, hebben Faulhuber, Petersen, van Velthoven en Voigtlaender een tegenvoorbeeld geconstrueerd, zelfs voor Schwartz-functies.
Terence Tao analyseert de technische aanpak van dit bewijs in vier stappen:
- Reductie tot een eigenwaardeprobleem: Het probleem is geformuleerd als een eigenwaardeprobleem met $n=5$ en verschuivingen in een translaat van $\mathbb{Z}^2$.
- De Zak-transformatie: Er is gebruikgemaakt van een vector-gewaardeerde versie van de Zak-transformatie om het probleem om te zetten in een 'vector cocycle probleem'.
- Rank-one benadering: Met behulp van AI en numerieke berekeningen zijn parameters gevonden waardoor de matrixfunctie $A(x)$ sterk genoeg lijkt op een rank-one functie, wat een contractie-afbeeldingargument mogelijk maakte.
- Diophantische benadering: Om het 'small divisor'-probleem bij de finale scalaire cocycle-vergelijking te vermijden, is gekozen voor een specifieke irrationale shift $\alpha$ met goede Diophantische eigenschappen.
Een gedeeltelijke analyse van het HRT-tegenvoorbeeld
Een functie van één variabele kan in de ruimte worden verschoven door een ruimtelijke shift om een nieuwe functie te verkrijgen, en ook in frequentie worden gemoduleerd door een frequentieverschuiving om een nieuwe functie te verkrijgen. Men kan deze twee operaties combineren om een tijd-frequentieverschuiving te verkrijgen. (Dit kan worden gezien als een deel van de Weyl-representatie van de Heisenberggroep, maar we zullen hier geen representatie-theoretisch perspectief aannemen.)
Sommige functies vertonen eindige lineaire relaties tussen hun tijd-frequentieverschuivingen. Een sinusvormig signaal is hier een voorbeeld van. Echter, het Heil-Ramanathan-Topiwala (HRT) vermoeden stelt dat zodra men bepaalde redelijke vervalcondities oplegt aan de functie, dergelijke relaties niet bestaan:
Vermoeden 1 (HRT-vermoeden): Als $f$ niet nul is, dan bestaat er geen relatie van de vorm $$\sum{k=1}^n ck M{\etak} T{xk} f = 0$$ voor enkele verschillende punten $(xk, \etak)$ en enkele coëfficiënten $c_k$ die niet allemaal nul zijn.
Een speciaal geval van het HRT-vermoeden, dat eveneens openstond, voegt de aanvullende aanname toe dat $f$ een Schwartz-functie was.
Eerdere resultaten en voortgang
Er waren al veel positieve resultaten bekend met betrekking tot dit vermoeden. Enkele hiervan zijn:
- Een resultaat van Linnell stelt dat het vermoeden waar is als de punten $(xk, \etak)$ liggen in een translaat van een discrete subgroep van $\mathbb{R}^2$. Samen met een argument voor het collineaire geval, bewijst dit alle gevallen waarbij $n=3$, en er zijn verschillende partiële resultaten bekend voor de $n=4$ gevallen.
- Het vermoeden is ook bewezen voor functies $f$ die vervallen met een geschikte super-exponentiële snelheid, dankzij het werk van Bownik en Speegle.
Resolutie van het vermoeden
Het HRT-vermoeden is onlangs opgelost door Faulhuber, Petersen, van Velthoven en Voigtlaender, zelfs voor het geval van Schwartz-functies:
Stelling 2: Er bestaan complexe getallen $ck$ (niet allemaal nul), verschillende punten $(xk, \etak)$, en een niet-nul Schwartz-functie $f$ zodanig dat $$\sum{k=1}^n ck M{\etak} T{x_k} f = 0$$
Het is in het huidige tijdperk wellicht niet verrassend dat dit resultaat met behulp van AI tot stand is gekomen. De auteurs hebben hun gebruik van AI echter verantwoord opengelegd; de uiteindelijke argumenten zijn handmatig geschreven, inclusief een leesbaar overzicht van de redenering, een passende discussie over methoden, de relatie tot eerdere literatuur en onafhankelijke numerieke controles.
Het negatieve resultaat ligt slechts iets buiten de reikwijdte van de positieve resultaten: $n$ is verhoogd naar 5, en alle punten behalve één liggen in (een translaat van) een discrete subgroep van $\mathbb{R}^2$ (concreet wordt de expliciete subgroep $\mathbb{Z}^2$ gebruikt). De geconstrueerde functies zijn glad en vervallen snel, maar ze zijn niet analytisch of super-exponentieel vervallend; dat laatste zou namelijk in conflict komen met de bekende positieve resultaten.
Naast AI voor de initiële bewijsstrategie is er gebruikgemaakt van traditionele numerieke berekeningen om één stap van het argument te verifiëren.
Technische analyse van de aanpak
Hoewel ik nog geen volledige analyse heb kunnen maken, zijn dit de belangrijkste ideeën op hoog niveau:
1. Reductie tot een eigenwaardeprobleem
Door $n=5$ en $\lambda=0$ te stellen, kan het probleem worden gezien als het oplossen van een eigenwaardeprobleem. De tijd-frequentieverschuivingen $(xk, \etak)$ zijn gekozen in een translaat van de discrete subgroep $\mathbb{Z}^2$ door een bepaalde irrationale shift $\alpha$.
2. De Zak-transformatie en het vector-cocycle probleem
Bij het werken met verschuivingen van een standaardrooster zou het natuurlijk zijn om de Zak-transformatie van $f$ te gebruiken. Dit werkt echter niet vanwege topologische redenen (het feit dat scalaire quasiperiodieke functies met gemiddelde nul gedwongen zijn nullen te hebben). De auteurs gebruikten daarom het iets dichtere rooster $\frac{1}{2}\mathbb{Z}^2$, wat relateert aan een vector-gewaardeerde versie van de Zak-transformatie die waarden aanneemt in $\mathbb{C}^2$ in plaats van $\mathbb{C}$.
Door deze transformatie toe te passen, kan het eigenwaardeprobleem via standaardberekeningen worden omgezet in een "vector cocycle probleem": $$v(x + \alpha) = A(x) v(x)$$ waarbij $v$ een niet-nul gladde quasiperiodieke vector-gewaardeerde functie is, $\alpha$ een irrationale shift is, en $A(x)$ een expliciete matrix-functie die afhankelijk is van de keuzes van $(xk, \etak)$ en $c_k$.
3. Benadering door rank-one functies
Om deze vergelijking op te lossen, is het motiverende scenario dat de matrixfunctie $A(x)$ zou worden vervangen door een functie van rang één: $$A(x) = u(x) \otimes w(x)$$ voor een gladde vector-functie $u$ met magnitude één. Hoewel $A(x)$ niet exact deze vorm kan hebben, slaagden de auteurs er via numerieke berekeningen en AI-ondersteunde gissingen in om keuzes voor $(xk, \etak)$ en $c_k$ te vinden waardoor $A(x)$ benaderlijk gelijk is aan een rank-one functie. Ze behaalden een uniforme schatting: $$\| A(x) - u(x) \otimes w(x) \| < 1/3$$
Deze benadering is voldoende om een contractie-afbeeldingargument (contraction mapping argument) uit te voeren om een oplossing te vinden voor een variant van de vergelijking. Het was hierbij cruciaal dat de operatornorm onder $1$ bleef; ze bereikten dit nipt met een numeriek verkregen grens van ongeveer $0,97$.
4. De finale stap en Diophantische benadering
Het laatste obstakel is dat de "eigenwaardefunctie" varieert in de parameter $x$ in plaats van constant te zijn. Als men echter de scalaire cocycle-vergelijking kan oplossen: $$\phi(x + \alpha) = g(x) \phi(x)$$ voor een gladde $\phi$, dan kan men de oorspronkelijke vergelijking oplossen door $v$ te definiëren als $\phi(x) u(x)$.
De aanpak om (2) op te lossen is standaard: neem logaritmen, pas een Fourier-transformatie toe en deel vervolgens door de multiplier geassocieerd met de $\alpha$-shift. Dit kan leiden tot het bekende "small divisor"-probleem als $\alpha$ zich teveel gedraagt als een rationele vector. De oplossing hiervoor is het selecteren van een shift $\alpha$ die goede Diophantische benaderingseigenschappen bezit. Voor de numerieke doeleinden kozen de auteurs voor: $$\alpha = (\sqrt{2}-1, \sqrt{3}-1)$$ hoewel het vermoeden is dat veel andere irrationale algebraïsche getallen ook zouden hebben gewerkt.
Een gedeeltelijke analyse van het HRT-tegenvoorbeeld
Een functie van één variabele kan in de ruimte worden verschoven door een ruimtelijke shift om een nieuwe functie te verkrijgen, en ook in frequentie worden gemoduleerd door een frequentieverschuiving om een nieuwe functie te verkrijgen. Men kan deze twee operaties combineren om een tijd-frequentieverschuiving te verkrijgen. (Dit kan worden gezien als een deel van de Weyl-representatie van de Heisenberggroep, maar we zullen hier geen representatie-theoretisch perspectief aannemen.)
Sommige functies vertonen eindige lineaire relaties tussen hun tijd-frequentieverschuivingen. Een sinusvormig signaal is hier een voorbeeld van. Echter, het Heil-Ramanathan-Topiwala (HRT) vermoeden stelt dat zodra men bepaalde redelijke vervalcondities oplegt aan de functie, dergelijke relaties niet bestaan:
Vermoeden 1 (HRT-vermoeden): Als $f$ niet nul is, dan bestaat er geen relatie van de vorm $$\sum{k=1}^n ck M{\etak} T{xk} f = 0$$ voor enkele verschillende punten $(xk, \etak)$ en enkele coëfficiënten $c_k$ die niet allemaal nul zijn.
Een speciaal geval van het HRT-vermoeden, dat eveneens openstond, voegt de aanvullende aanname toe dat $f$ een Schwartz-functie was.
Eerdere resultaten en voortgang
Er waren al veel positieve resultaten bekend met betrekking tot dit vermoeden. Enkele hiervan zijn:
- Een resultaat van Linnell stelt dat het vermoeden waar is als de punten $(xk, \etak)$ liggen in een translaat van een discrete subgroep van $\mathbb{R}^2$. Samen met een argument voor het collineaire geval, bewijst dit alle gevallen waarbij $n=3$, en er zijn verschillende partiële resultaten bekend voor de $n=4$ gevallen.
- Het vermoeden is ook bewezen voor functies $f$ die vervallen met een geschikte super-exponentiële snelheid, dankzij het werk van Bownik en Speegle.
Resolutie van het vermoeden
Het HRT-vermoeden is onlangs opgelost door Faulhuber, Petersen, van Velthoven en Voigtlaender, zelfs voor het geval van Schwartz-functies:
Stelling 2: Er bestaan complexe getallen $ck$ (niet allemaal nul), verschillende punten $(xk, \etak)$, en een niet-nul Schwartz-functie $f$ zodanig dat $$\sum{k=1}^n ck M{\etak} T{x_k} f = 0$$
Het is in het huidige tijdperk wellicht niet verrassend dat dit resultaat met behulp van AI tot stand is gekomen. De auteurs hebben hun gebruik van AI echter verantwoord opengelegd; de uiteindelijke argumenten zijn handmatig geschreven, inclusief een leesbaar overzicht van de redenering, een passende discussie over methoden, de relatie tot eerdere literatuur en onafhankelijke numerieke controles.
Het negatieve resultaat ligt slechts iets buiten de reikwijdte van de positieve resultaten: $n$ is verhoogd naar 5, en alle punten behalve één liggen in (een translaat van) een discrete subgroep van $\mathbb{R}^2$ (concreet wordt de expliciete subgroep $\mathbb{Z}^2$ gebruikt). De geconstrueerde functies zijn glad en vervallen snel, maar ze zijn niet analytisch of super-exponentieel vervallend; dat laatste zou namelijk in conflict komen met de bekende positieve resultaten.
Naast AI voor de initiële bewijsstrategie is er gebruikgemaakt van traditionele numerieke berekeningen om één stap van het argument te verifiëren.
Technische analyse van de aanpak
Hoewel ik nog geen volledige analyse heb kunnen maken, zijn dit de belangrijkste ideeën op hoog niveau:
1. Reductie tot een eigenwaardeprobleem
Door $n=5$ en $\lambda=0$ te stellen, kan het probleem worden gezien als het oplossen van een eigenwaardeprobleem. De tijd-frequentieverschuivingen $(xk, \etak)$ zijn gekozen in een translaat van de discrete subgroep $\mathbb{Z}^2$ door een bepaalde irrationale shift $\alpha$.
2. De Zak-transformatie en het vector-cocycle probleem
Bij het werken met verschuivingen van een standaardrooster zou het natuurlijk zijn om de Zak-transformatie van $f$ te gebruiken. Dit werkt echter niet vanwege topologische redenen (het feit dat scalaire quasiperiodieke functies met gemiddelde nul gedwongen zijn nullen te hebben). De auteurs gebruikten daarom het iets dichtere rooster $\frac{1}{2}\mathbb{Z}^2$, wat relateert aan een vector-gewaardeerde versie van de Zak-transformatie die waarden aanneemt in $\mathbb{C}^2$ in plaats van $\mathbb{C}$.
Door deze transformatie toe te passen, kan het eigenwaardeprobleem via standaardberekeningen worden omgezet in een "vector cocycle probleem": $$v(x + \alpha) = A(x) v(x)$$ waarbij $v$ een niet-nul gladde quasiperiodieke vector-gewaardeerde functie is, $\alpha$ een irrationale shift is, en $A(x)$ een expliciete matrix-functie die afhankelijk is van de keuzes van $(xk, \etak)$ en $c_k$.
3. Benadering door rank-one functies
Om deze vergelijking op te lossen, is het motiverende scenario dat de matrixfunctie $A(x)$ zou worden vervangen door een functie van rang één: $$A(x) = u(x) \otimes w(x)$$ voor een gladde vector-functie $u$ met magnitude één. Hoewel $A(x)$ niet exact deze vorm kan hebben, slaagden de auteurs er via numerieke berekeningen en AI-ondersteunde gissingen in om keuzes voor $(xk, \etak)$ en $c_k$ te vinden waardoor $A(x)$ benaderlijk gelijk is aan een rank-one functie. Ze behaalden een uniforme schatting: $$\| A(x) - u(x) \otimes w(x) \| < 1/3$$
Deze benadering is voldoende om een contractie-afbeeldingargument (contraction mapping argument) uit te voeren om een oplossing te vinden voor een variant van de vergelijking. Het was hierbij cruciaal dat de operatornorm onder $1$ bleef; ze bereikten dit nipt met een numeriek verkregen grens van ongeveer $0,97$.
4. De finale stap en Diophantische benadering
Het laatste obstakel is dat de "eigenwaardefunctie" varieert in de parameter $x$ in plaats van constant te zijn. Als men echter de scalaire cocycle-vergelijking kan oplossen: $$\phi(x + \alpha) = g(x) \phi(x)$$ voor een gladde $\phi$, dan kan men de oorspronkelijke vergelijking oplossen door $v$ te definiëren als $\phi(x) u(x)$.
De aanpak om (2) op te lossen is standaard: neem logaritmen, pas een Fourier-transformatie toe en deel vervolgens door de multiplier geassocieerd met de $\alpha$-shift. Dit kan leiden tot het bekende "small divisor"-probleem als $\alpha$ zich teveel gedraagt als een rationele vector. De oplossing hiervoor is het selecteren van een shift $\alpha$ die goede Diophantische benaderingseigenschappen bezit. Voor de numerieke doeleinden kozen de auteurs voor: $$\alpha = (\sqrt{2}-1, \sqrt{3}-1)$$ hoewel het vermoeden is dat veel andere irrationale algebraïsche getallen ook zouden hebben gewerkt.
Groetjes,