La séparation positive dans le spectre d'un opérateur linéaire (ou opérateur de transition) entre la valeur spectrale dominante contrôlant l'état stationnaire et le reste du spectre ; elle quantifie le taux de relaxation non trivial le plus lent vers l'équilibre.

Principe

La séparation spectrale contrôle la relaxation exponentielle : la taille de l'écart fixe le taux asymptotique auquel les perturbations orthogonales au mode stationnaire décroissent sous l'application répétée de l'opérateur ou du semi‑groupe.

Démonstration

Pour une chaîne de Markov réversible avec opérateur de transition P sur L2(π), l'écart vaut un moins la plus grande norme spectrale suivante après la valeur spectrale unité ; un écart strictement positif donne une décroissance exponentielle des corrélations en L2.

Mauvaise application

Employer sans précaution des bornes d'écart spectral valables pour opérateurs auto‑adjoints à des dynamiques fortement non auto‑adjointes sans valider les effets pseudo‑spectraux ou la croissance transitoire.

Conséquence

Un écart uniforme positif entraîne une convergence exponentielle vers l'état invariant dans la norme d'opérateur ou les espaces de fonctions pertinents et contrôle la décroissance des variances et les échelles de temps de mélange.

Inversion

Un écart nul implique une relaxation lente, une métastabilité possible ou plusieurs modes presque invariants ; augmenter l'écart correspond à une relaxation spectrale plus rapide.

Limite

Signification pour des opérateurs sur espaces de Banach ou de Hilbert avec spectre bien défini ; les définitions et implications diffèrent pour des opérateurs non compacts, des dynamiques non réversibles ou un spectre continu où un écart discret peut ne pas exister.

Tension sémantique

Souvent comparé aux quantités isopérimétriques ou de conductance : ces mesures géométriques bornent l'écart, mais l'écart est la quantité spectrale qui gouverne directement les taux de relaxation linéaire.

Synthèse

Une grandeur spectrale mesurant la séparation minimale entre la valeur spectrale dominante associée à l'état stationnaire et le reste du spectre, qui fixe l'échelle temporelle exponentielle de relaxation linéaire vers l'équilibre.