Vue d’ensemble
Cet article poursuit le programme d’admissibilité spectrale après O18. Alors que O18 a fixé la classe correcte d’observables au niveau des fibres, un problème subsistait : l’amplitude de l’observable de paire dépendait encore de la normalisation implicite du pipeline Gram–Schmidt de O12/O13.
O19 traite cette question sans modifier ni la classe d’observable ni l’exposant. Son rôle est plus précis : supprimer la dernière dépendance aux conventions d’implémentation au niveau de l’amplitude.
Le papier rend explicite le facteur de normalisation \[ D(c,b_1,b_2,n), \] distingue le span cumulatif brut \[ \Sigma^{(c)}(n) \] de l’observable normalisée \[ \sigma_c(n), \] et identifie le facteur entier résiduel $r(c,q)$ comme un reste d’amplitude hérité du span brut et propagé inchangé à l’observable.
La question centrale devient alors : $r(c,q)$ est-il un artefact de base, un invariant d’instance, ou une combinaison des deux ?
O19 introduit deux tests pour trancher cette question : une variation de base par transformations unitaires de $\mathbb{C}^q$, et une variation d’instance $(b_1,b_2)$ sous convention fixée. La classification obtenue détermine la forme canonique de l’observable.
Contributions principales
- Normalisation explicite : introduction formelle de $D(c,b_1,b_2,n)$.
- Distinction span/observable : séparation de $\Sigma^{(c)}(n)$ et $\sigma_c(n)$.
- Lemme d’invariance de phase : invariance sous phase globale et dépendance uniquement à l’alignement.
- Tests P2/P3 : séparation des dépendances de base et d’instance.
- Classification : artefact de base, invariant d’instance ou cas mixte.
- Observable canonique : construction de $\sigma_{\mathrm{pair}}^{\mathrm{can}}(n)$.
- Stabilité de l’exposant : $\delta$ inchangé dans tous les cas.
Interprétation
O19 rend l’observable pleinement intrinsèque au niveau de l’amplitude. Le facteur $r(c,q)$ est isolé, classifié, et éliminé ou absorbé de manière canonique.
Trois niveaux sont maintenant clairement séparés : $\Sigma^{(c)}(n)$, $\sigma_c(n)$ et $\delta_c$.
Rôle dans le programme
O19 complète l’étape de normalisation : O16–O18 définissent l’observable, O19 le rend canonique.
Perspectives
- O20 : sélection dynamique de la fenêtre $[7.4,10.6]$
- O21 : dérivation complète $\delta_{\mathrm{pair}}\to\beta^*$