Die positive Trennung im Spektrum eines linearen Operators (oder Übergangsoperators) zwischen dem dominanten spektralen Wert, der den stationären Zustand bestimmt, und dem Rest des Spektrums; sie quantifiziert die langsamste nichttriviale Relaxationsrate zum Gleichgewicht.

Prinzip

Spektrale Trennung steuert die exponentielle Relaxation: die Größe der Lücke legt die asymptotische Rate fest, mit der Störungen orthogonal zum stationären Modus unter wiederholter Anwendung des Operators oder Halbgruppe abklingen.

Demonstration

Für eine reversible Markov‑Kette mit Übergangsoperator P auf L2(π) ist die Lücke gleich eins minus dem nächstgrößeren spektralen Betrag nach dem Einheits‑Spektralwert; eine strikt positive Lücke liefert exponentiellen Zerfall der Korrelationen in L2.

Fehlanwendung

Spektrallückenabschätzungen, die für selbstadjungierte Operatoren gelten, unverändert auf stark nicht‑selbstadjungierte Dynamiken anwenden, ohne pseudospektrale Effekte oder transientes Wachstum zu prüfen.

Konsequenz

Eine uniforme positive Lücke bewirkt exponentielle Konvergenz zum invarianten Zustand in der Operatornorm bzw. relevanten Funktionsräumen und steuert Varianzzerfall und Mischzeiten.

Umkehrung

Verschwindende Lücke bedeutet langsame Relaxation, mögliche Metastabilität oder mehrere nahezu‑invariante Modi; eine Vergrößerung der Lücke entspricht schnellerer spektraler Relaxation.

Abgrenzung

Sinnvoll für Operatoren auf Banach‑ oder Hilbert‑Räumen mit wohldefiniertem Spektrum; Definitionen und Konsequenzen unterscheiden sich bei nichtkompakten Operatoren, nichtreversiblen Dynamiken oder kontinuierlichem Spektrum, wo keine diskrete Lücke existiert.

Semantische Spannung

Oft in Beziehung gesetzt zu isoperimetrischen oder Leitfähigkeitsgrößen: diese geometrischen Maße begrenzen die Lücke, doch die Lücke ist die spektrale Größe, die direkt die linearen Relaxationsraten steuert.

Synthese

Eine spektrale Größe, die die minimale Trennung zwischen dem dominierenden spektralen Wert des stationären Zustands und dem übrigen Spektrum misst und die exponentielle Zeitskala der linearen Relaxation zum Gleichgewicht festlegt.