The Berezin liminf criterion fails for radial Toeplitz operators

Dit artikel weerlegt de Perälä–Virtanen-vermoeden door aan te tonen dat een positieve liminf van de Berezin-transformatie voor radiale Toeplitz-operatoren op Bergman- en Fock-ruimten niet voldoende is voor essentiële positiviteit, aangezien er expliciete symbolen bestaan waarvan het essentiële spectrum toch negatieve punten bevat.

De kern

Hier is een uitleg van het onderzoek van Sam Looi, vertaald naar begrijpelijk Nederlands met behulp van alledaagse analogieën.

De Kernvraag: Kijk je naar de schaduwen of naar de grond?

Stel je voor dat je een heel groot, complex gebouw hebt (in de wiskunde een "ruimte" genaamd Bergman-ruimte of Fock-ruimte). In dit gebouw werken speciale machines, genaamd Toeplitz-operatoren. Deze machines nemen een ingangssignaal (een functie) en veranderen het op een bepaalde manier.

Wiskundigen willen weten of deze machines "veilig" werken. Ze noemen dit essentiële positiviteit. In het kort betekent dit: als je de machine laat draaien, moet het resultaat altijd positief of neutraal zijn. Als de machine soms een negatief resultaat geeft (een "fout" of een "val"), dan is hij niet veilig.

Vroeger dachten wiskundigen dat ze dit veiligheidsprobleem konden oplossen door alleen naar de rand van het gebouw te kijken. Ze gebruikten een meetinstrument genaamd de Berezin-transformatie.

• De theorie: Als je naar de rand van het gebouw kijkt en je ziet dat het licht daar altijd helder en positief is (een positieve limiet), dan dachten ze: "Oké, de hele machine moet veilig zijn."
• De analogie: Het is alsof je zegt: "Als de zon aan de horizon altijd schijnt, dan moet het op de hele wereld dag zijn."

Het Nieuwe Ontdekking: De valstrik

Sam Looi heeft bewezen dat deze theorie onjuist is. Hij heeft laten zien dat je kunt kijken naar de rand van het gebouw, zien dat het daar helder en positief is, en toch kan de machine in het midden van het gebouw een negatief, gevaarlijk resultaat geven.

Hij heeft dit bewezen met een slim trucje: trillingen (oscillaties).

De Analogie van de Trillende Vloer

Stel je een vloer voor die niet vlak is, maar trilt als een gitaarsnaar.

1. De Berezin-maatstaf (De "Gemiddelde" Kijker): Deze kijkt naar de vloer en neemt een gemiddelde. Omdat de trillingen zo snel gaan, ziet deze kijker de pieken en dalen van de trillingen als een gladde, gemiddelde lijn. Als de trillingen netjes rond een positief getal oscilleren (bijvoorbeeld rond de 0,5), ziet deze kijker alleen een rustige, positieve lijn. Hij denkt: "Alles is goed!"
2. De Eigenwaarde (De "Diepe" Kijker): Deze kijker kijkt naar de vloer op een heel specifiek moment en op een heel specifieke diepte. Hij ziet de trillingen niet als een gemiddelde, maar als scherpe pieken en dalen. Omdat de trillingen zo snel gaan, kan het zijn dat deze kijker precies op het moment kijkt dat de vloer diep in een dal zit (een negatief getal).

Het probleem: De twee kijkers gebruiken verschillende "vergrotingsglazen" of kijken op verschillende tijdstippen. De Berezin-kijker ziet de trillingen "uitgevlakt" door zijn gemiddelde, terwijl de eigenwaarde-kijker de scherpe pieken en dalen nog steeds ziet.

De Experimenten in het Papier

Looi heeft twee soorten gebouwen getest:

1. De Fock-ruimte (De oneindige vlakte): Hier gebruikte hij een simpele trillende functie: $f(z) = 0,5 + \cos(2|z|)$.
   • Resultaat: De Berezin-maatstaf zag een positieve limiet (het gemiddelde was positief). Maar de machine zelf gaf op bepaalde momenten een negatief resultaat. De "veiligheidstest" faalde.
2. De Bergman-ruimte (De eindige cirkel): Hier gebruikte hij een trilling die sneller wordt naarmate je dichter bij de rand komt: $f(z) = 0,5 + \cos(\log(\frac{1}{1-|z|^2}))$.
   • Resultaat: Ook hier zag de Berezin-maatstaf aan de rand alleen positiviteit. Maar de machine had toch een negatief punt in zijn "essentiële spectrum".

Waarom is dit belangrijk?

Voorheen hoopten wiskundigen dat ze een simpele regel hadden: "Als de Berezin-transformatie positief is aan de rand, dan is de operator veilig." Dit zou een makkelijke manier zijn om complexe problemen op te lossen zonder alles tot in detail te hoeven berekenen.

Looi's paper zegt: "Nee, dat werkt niet."

• Het maakt niet uit of je in één dimensie werkt (een lijn) of in honderden dimensies (een hyper-ruimte).
• Het maakt niet uit of je naar de Bergman-ruimte of de Fock-ruimte kijkt.
• De reden is dat de manier waarop de Berezin-transformatie trillingen "gladstrijkt" anders is dan de manier waarop de eigenwaarden van de operator die trillingen ervaren. Ze "tellen" de trillingen op een verschillende manier op, waardoor de ene positief lijkt en de andere negatief is.

Conclusie in Eenvoudige Woorden

Stel je voor dat je een orkest hoort dat heel hard speelt (positief geluid). Een luisteraar die ver weg staat (de Berezin-transformatie) hoort alleen een mooie, constante toon en denkt: "Wat een prachtig, veilig concert." Maar een luisteraar die dichtbij staat (de eigenwaarde) hoort dat er tussen de mooie tonen door een vreselijke, schreeuwerige noot zit die het hele concert kan doen instorten.

Sam Looi heeft bewezen dat je niet kunt vertrouwen op de "verre luisteraar" om te zeggen of het orkest veilig is. Je moet de trillingen zelf analyseren. De simpele regel die wiskundigen hoopten te hebben, bestaat niet.

Dit is een fundamentele ontdekking die laat zien dat in de wiskunde van complexe ruimtes, "wat je aan de rand ziet" niet altijd vertelt wat er echt in het hart van het systeem gebeurt.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "The Berezin liminf criterion fails for radial Toeplitz operators" van Sam Looi, vertaald en geformuleerd in het Nederlands.

Titel: Het Berezin liminf-criterium faalt voor radiale Toeplitz-operatoren

Auteur: Sam Looi (California Institute of Technology)
Datum: 12 maart 2026
Onderwerp: Functionaalanalyse, Toeplitz-operatoren, Bergman-ruimten, Fock-ruimten.

---

1. Probleemstelling en Context

Het artikel adresseert een fundamenteel vraagstuk binnen de theorie van Toeplitz-operatoren op Hilbertruimten van holomorfe functies, specifiek de Bergman-ruimte $A^2(B^d)$ en de Fock-ruimte (of Segal-Bargmann-ruimte) $F^2(\mathbb{C}^d)$.

De kernvraag betreft de relatie tussen het essentiële spectrum van een operator en het asymptotische gedrag van zijn Berezin-getransformeerde (Berezin transform).

• Essentiële positiviteit: Een zelfgeadjungeerde operator $T$ heet essentieel positief als zijn essentiële spectrum $\sigma_{ess}(T)$ bevat is in $[0, \infty)$.
• De Perälä–Virtanen-conjectuur: Perälä en Virtanen [13] bewezen dat voor radiale symbolen $\mu$ op de eenheidsdisks, als de Berezin-getransformeerde $\tilde{\mu}$ een limiet heeft aan de rand, dan is $T_\mu$ essentieel positief dan en slechts dan als die limiet niet-negatief is.
• De Conjectuur: Zij stelden de volgende hypothese op voor radiale symbolen $f \in L^\infty$:
  • Voor Bergman: $T_f$ is essentieel positief $\iff \liminf_{|z|\to 1^-} \tilde{f}(z) \geq 0$.
  • Voor Fock: $T_f$ is essentieel positief $\iff \liminf_{|z|\to \infty} \tilde{f}(z) \geq 0$.

De vraag is of het teken van het essentiële spectrum volledig kan worden bepaald door de limiet inferior van de Berezin-getransformeerde, zelfs als die limiet niet bestaat (dus alleen de liminf wordt gekeken).

2. Methodologie

Looi weerlegt deze conjecturen door expliciete tegenvoorbeelden te construeren. De aanpak is direct en analytisch, zonder gebruik te maken van indirecte operator-theoretische obstructies.

De Strategie:

1. Radiale Symboolen: De constructie beperkt zich tot radiale symbolen $f(z) = \phi(|z|)$. Voor deze symbolen is de Toeplitz-operator diagonaal met betrekking tot de standaard monomiale basis.
2. Eigenwaarden vs. Berezin-getransformeerde:
   • De eigenwaarden $\lambda_n$ van $T_f$ worden bepaald door een asymptotisch gemiddelde van het symbool $\phi$ op een specifieke schaal (gerelateerd aan de graad $n$).
   • De Berezin-getransformeerde $\tilde{f}(z)$ is een ander asymptotisch gemiddelde van hetzelfde symbool, maar op een andere schaal (gerelateerd aan de positie $z$).
3. Het Mechanisme van Falen: Voor oscillerende symbolen (zoals cosinus-functies) attenueren deze twee verschillende asymptotische middelingen de oscillatie met verschillende factoren. Het is mogelijk om een symbool te kiezen waarbij de oscillatie in de eigenwaarde-sequentie sterk genoeg is om negatieve waarden te bereiken (waardoor het essentiële spectrum negatief wordt), terwijl de oscillatie in de Berezin-getransformeerde zo sterk wordt gedempt dat de limiet inferior positief blijft.

Technische Hulpmiddelen:

• Expliciete asymptotische analyse van oscillatoire integralen.
• Gebruik van de stelling van Dominated Convergence.
• Analyse van Gamma-functies en hun asymptotische gedrag.
• Toepassing van het criterium van Weyl om punten in het essentiële spectrum te identificeren.

3. Belangrijkste Resultaten

Het paper bewijst dat de conjecturen van Perälä en Virtanen onwaar zijn in alle complexe dimensies $d \geq 1$.

A. De Fock-ruimte $F^2(\mathbb{C}^d)$

• Tegenvoorbeeld: Het symbool $f(z) = \frac{1}{2} + \cos(2|z|)$.
• Resultaat:
  • De eigenwaarden $\lambda_n$ gedragen zich asymptotisch als $\frac{1}{2} + e^{-1/2}\cos(2\sqrt{n})$. Hieruit volgt dat $\liminf_{n\to\infty} \lambda_n = \frac{1}{2} - e^{-1/2} < 0$. De operator is dus niet essentieel positief.
  • De Berezin-getransformeerde gedraagt zich als $\tilde{f}(z) = \frac{1}{2} + e^{-1}\cos(2|z|) + o(1)$. Hieruit volgt dat $\liminf_{|z|\to\infty} \tilde{f}(z) = \frac{1}{2} - e^{-1} > 0$.
• Conclusie: De liminf van de Berezin-getransformeerde is positief, maar de operator is niet essentieel positief. Dit geldt voor elke dimensie $d \geq 1$ (dimensie-onafhankelijk).

B. De Bergman-ruimte $A^2(B^d)$

• Tegenvoorbeeld: Een symbool dat oscilleert op de hyperbolische rand-schaal: $f(z) = \frac{1}{2} + \cos\left(\log\frac{1}{1-|z|^2}\right)$.
• Resultaat:
  • De eigenwaarden $\lambda_n$ gedragen zich als $\frac{1}{2} + |\alpha|\cos(\dots)$, waarbij $|\alpha| = \sqrt{\frac{\pi}{\sinh \pi}} \approx 0.52$. Omdat $|\alpha| > 0.5$, is $\liminf \lambda_n < 0$.
  • De Berezin-getransformeerde gedraagt zich als $\tilde{f}(z) = \frac{1}{2} + |\beta|\cos(\dots)$, waarbij $|\beta| = \frac{\sqrt{2}\pi}{\sinh \pi} \approx 0.38$. Omdat $|\beta| < 0.5$, is $\liminf \tilde{f}(z) > 0$.
• Dimensie-afhankelijkheid: In tegenstelling tot de Fock-geval, werkt de constante $1/2$in de Bergman-geval alleen voor lage dimensies ($d \leq 11$). Voor$d \geq 12$moet de constante worden aangepast (verhoogd) om een tegenvoorbeeld te blijven, omdat de dempingsfactor$|\beta_d|$ toeneemt met de dimensie.

4. Significatie en Bijdrage

1. Weerlegging van een Open Vermoeden: Het paper sluit definitief de vraag af of het Berezin-liminf-criterium geldt voor radiale symbolen. Het antwoord is een duidelijk "nee" voor zowel Bergman- als Fock-ruimten.
2. Conceptueel Inzicht: De auteurs identificeren het specifieke mechanisme dat het falen veroorzaakt: het asymptotische schaalverschil tussen hoe eigenwaarden en de Berezin-getransformeerde oscillerende symbolen "lezen". De eigenwaarden middelen op een schaal die verschilt van de schaal waarop de Berezin-getransformeerde middelt, wat leidt tot verschillende dempingsfactoren voor de oscillatie.
3. Explicititeit: In tegenstelling tot eerdere indirecte tegenvoorbeelden (die vaak niet specifiek over essentiële positiviteit gingen), zijn deze tegenvoorbeelden volledig expliciet en constructief. De auteurs geven exacte formules voor de symbolen en de bijbehorende asymptotische waarden.
4. Dimensie-onafhankelijkheid: Het resultaat geldt voor alle complexe dimensies $d \geq 1$, wat aantoont dat dit geen artefact is van de 1-dimensionale setting, maar een fundamenteel kenmerk van de theorie van radiale Toeplitz-operatoren.

Conclusie

Sam Looi toont aan dat voor radiale Toeplitz-operatoren de voorwaarde dat de Berezin-getransformeerde een positieve limiet inferior heeft, niet voldoende is om essentiële positiviteit te garanderen. De oscillaties in het symbool worden door de twee verschillende asymptotische procedures (eigenwaarden vs. Berezin) op verschillende manieren gedempt, waardoor het mogelijk is dat de operator negatieve essentiële spectrale punten heeft terwijl de Berezin-getransformeerde overal positief lijkt te zijn in de limiet. Dit ondermijnt de hoop dat een eenvoudig criterium gebaseerd op de Berezin-getransformeerde het essentiële spectrum volledig kan karakteriseren, zelfs in de restrictieve klasse van radiale symbolen.