Theorema Magnum MMX: Eindeutige Quantenergodizität für SL(2,Z)\H

Semiklassische Analysis untersucht Quantensysteme – also Operatoren P(h) – in ihrem semiklassischen Limes, wenn man h gegen Null gehen läßt, wenn also Quantenmechanik gegen klassische Mechanik konvergiert. Durch die Untersuchung dieses Grenzwerts kann man Informationen über das (nicht direkt berechenbare) Spektrum des Operators P(h) gewinnen. Quantenchaos nennt man die Untersuchung derjenigen Operatoren, für die der semiklassische Limes chaotisch (im Gegensatz zu integrabel) ist.

Ein typisches Beispiel wäre die Schrödinger-Gleichung, auf deren rechter Seite der Operator -h²Δ+V (für eine Potentialfunktion V) steht. Die Frage ist, wie das Verhalten für h gegen 0 schon von den Gesetzen der klassischen Dynamik bestimmt wird.

In der Mathematik interessiert man sich zum Stichwort Quantenchaos vor allem für den Laplace-Operator Δ=-div(grad) auf Mannigfaltigkeiten. Die Berechnung der Eigenwerte von Δ war schon lange mit der Frage nach dem “Hören der Form einer Trommel” popularisiert worden. Beim Quantenchaos geht es um “Wellen mit hohen Frequenzen”, also die Eigenfunktionen zu großen Eigenwerten, und darum ob sie auf der Mannigfaltigkeit gleichverteilt sind. Man stelle sich Schallwellen in einem Konzertsaal vor. In einem gut gestalteten Konzertsaal kann man jede Note von jedem Platz aus hören, die Schallwellen breiten sich gleichmäßig aus. Andererseits könnte es aber auch „Flüstergalerien“ geben, in denen sich der Klang auf einer kleinen Fläche konzentriert. In Abhängigkeit von der Geometrie der Mannigfaltigkeit will man die Existenz solcher Flüstergalerien ausschließen.

Wenn eine kompakte Mannigfaltigkeit negative Krümmung hat, dann ist der Fluß des semiklassischen Limes, also der geodätische Fluß der Mannigfaltigkeit, ein gleichmäßig hyperbolischer Fluß. Das ist die stärkste Form des Chaos. Dem Grenzwert für h gegen Null entspricht im Hinblick auf den Operator Δ, dass man den Eigenwert λ von Δ gegen Unendlich gehen läßt. Man möchte dann gern die räumliche Struktur der Eigenfunktionen für λ gegen Unendlich verstehen. Mathematisch heißt das: man betrachtet die Eigenfunktion ϕ_j (normiert auf ∥ϕ_j∥_L²=1) zum Eigenwert λ_j von Δ, und dann das Wahrscheinlichkeitsmaß dμ_j(z)=|ϕ_j(z)|2dv(z), wobei dv(z) das Riemannsche Volumenmaß ist. Man will dann die schwach-*-Grenzwerte dieser Maße für λ_j→∞ verstehen, also bspw. ob die Maße dμ_j für j gegen Unendlich gegen die Gleichverteilung konvergieren (in der schwach-*-Topologie) oder ob sie etwa gegen die Gleichverteilung auf einer geodätischen Untermannigfaltigkeit konvergieren.
Unter der Annahme, dass der geodätische Fluss ergodisch ist, hatten Mitte der 80er Jahre Colin de Verdière (und unabhängig auch Zelditch und früher schon A. Shnirelman, der damals in der sowjetischen Erdölindustrie arbeitete, weil er nach der Promotion in Moskau keine Stelle bekam) Gleichverteilung der Eigenfunktionen im semiklassischen Limes (bezüglich des ergodischen Maßes) bewiesen für eine dichte Menge von ϕ’s – das nannte man Quantenergodizität. Die Beweise waren recht elementar und ließen sich auf viele Systeme anwenden.

In der Theorie dynamischer Systeme gibt es eine stärkere Version von Ergodizität, die als eindeutige Ergodizität bezeichnet wird: es soll für das dynamische System nur ein eindeutiges ergodisches Maß geben. Das bedeutet anschaulich, dass die Bahnen des dynamischen Systems gleichverteilt sind. Dagegen können ergodische Maße bspw. auch auf Untermannigfaltigkeiten (Nullmengen) konzentriert sein. Entsprechend bezeichnete man als “eindeutige Quantenergodizität” den Fall, dass die dμ_j tatsächlich gegen die Gleichverteilung konvergieren und es keine Ausnahme-Eigenmoden ϕ_j gibt, wo zum Beispiel eine starke Lokalisierung entlang geodätischer Untermannigfaltigkeiten auftritt.
Auf Basis von Berechnungen für einige arithmetisch definierte Flächen (wo die ϕ_j‘s Hecke-Eigenfunktionen und tatsächlich Theta-Lifts waren und sie Siegels Theorie der Thetafunktionen anwenden konnten) hatten Rudnick und Sarnak 1994 die Vermutung aufgestellt, dass das es solche Ausnahmen in negativer Krümmung nicht gibt. Für negativ gekrümmte Mannigfaltigkeiten (für die laut Anosov der geodätische Fluss ergodisch ist) sollten also die Wahrscheinlichkeitsmaße dμ_j gegen die Gleichverteilung konvergieren.

Rudnick und Sarnak popularisierten diese Frage auch mit dem Beispiel von Billards, wo man starke numerische Evidenz hatte.
Viele mechanische Systeme, in denen Impuls und Energie erhalten werden, lassen sich auf Billards reduzieren. Die Ergodizität von Billards, die in den 60er Jahren von Jakow Sinai mathematisch formuliert und im 2-dimensionalen bewiesen worden war, bewies in höheren Dimensionen 2009 Nándor Simányi.
Wenn man Billards als klassische dynamische Systeme betrachtet, dann sind Billards in einer Ellipse vollständig integrabel, während man bei anderen Rändern Hyperbolizität des dynamischen Systems hat und in diesen Fällen die bekannten Methoden der hyperbolischen Dynamik auch zum Studium von Billards verwenden kann. Auf solchen (bspw. stadionförmigen) Billardtischen ist die Bewegung also chaotisch, d.h. kleine Änderungen der Anfangsbedingungen können zu einer qualitativen Veränderung der weiteren Entwicklung des Systems führen.
Andererseits kann man auch auf dem Billardtisch den Laplace-Operator Δ betrachten. Ein klassisches Gesetz von Hermann Weyl, das die Asymptotik der Eigenwerte (der “Frequenzen von Wellen”) des Laplace-Operators in Abhängigkeit von der Geometrie der zugrundeliegenden Riemannschen Mannigfaltigkeit beschreibt, läßt sich auch auf Billardtische anwenden. Und nicht nur die Eigenwerte, auch die Dichten der “Hochfrequenz-Zustände” (d.h. der Eigenfunktionen zu großen Eigenwerten des Δ-Operators) hängen dann von der Form des Billardtisches ab.

Für den ellipsenförmigen Billardtisch (auf dem die Bewegung der Billardkugel integrabel ist) sind die Dichten der “Hochfrequenz-Zustände” nicht gleichmäßig verteilt.

Für den stadionförmigen Billardtisch (auf dem die Bewegung der Billardkugel chaotisch ist) sind die Dichten der “Hochfrequenz-Zustände” gleichmäßiger verteilt. Also scheint chaotische Dynamik eine gleichmäßige Verteilung der Dichten der “Hochfrequenz-Zustände” zu implizieren, für Billardtische wie für den geodätischen Fluss auf Mannigfaltigkeiten. Das wurde durch numerische Arbeiten auch hervorragend bestätigt, Beweise im mathematischen Sinne fehlten aber zunächst.