Vue d'ensemble
Cet article fait suite à O18 et se propose d'éliminer une couche supplémentaire de dépendance à l'implémentation : l'affirmation selon laquelle l'amplitude de l'observable de paire de O16–O17 dépend encore de la normalisation du pipeline Gram–Schmidt de O12/O13, via un facteur entier résiduel $r(c,q)$.
O19 prouve deux faits élémentaires et génériques sur le traceur de span de Gram–Schmidt : l'incrément résiduel est invariant sous une phase globale multipliant le vecteur germe, et le span cumulé est égal au rang de la matrice d'orbite. Les deux tiennent pour essentiellement toute construction de Gram–Schmidt et n'établissent en eux-mêmes rien sur la normalisation proposée par O19.
La prémisse motivante échoue à l'examen : sur l'observable exact par bloc de O12/O13, l'identité de triplet conjugué est exacte, si bien que le rapport que l'article se propose de classer vaut identiquement $1$ — il n'y a aucun facteur résiduel à normaliser sur le pipeline réel. La discussion propre de O19 sur $r(c,q)$ est menée à la place sur une construction d'orbite germe à caractère scalaire qui remplace le pipeline réel à ensemble de fréquences triplement indexé de O12, et son facteur de normalisation $D$ est défini tautologiquement par rapport à un span de référence non spécifié plutôt qu'extrait de ce pipeline.
Les deux tests de classification de l'article, faisant varier la base initiale (P2) et faisant varier l'instance du bloc (P3), sont décrits et leurs résultats attendus supposés, mais aucun des deux n'est effectivement réalisé : la proposition d'indépendance au pipeline qui dépend de leurs résultats contient un espace réservé explicite « À COMPLÉTER ». Un corollaire asymptotique de loi de puissance, distinct, contredit par ailleurs le propre résultat de saturation en dimension finie de l'article pour le span cumulé.
Ce qu'établit O19
- Lemme d'invariance de phase : l'incrément résiduel de Gram–Schmidt est invariant sous multiplication par une phase globale du vecteur germe. Il s'agit d'une propriété générique de l'orthogonalisation de Gram–Schmidt, non spécifique à la construction de O19.
- Identité span–rang : le span cumulé $\Sigma^{(c)}(n)$ est égal au rang de la matrice d'orbite. Là encore, algèbre linéaire générique.
- Invariance conditionnelle de la pente : multiplier une véritable loi de puissance par une constante indépendante de la coquille laisse inchangée sa pente log–log. Il s'agit d'une tautologie algébrique ; O19 n'établit pas que ses facteurs proposés sont indépendants de la coquille, ni que le pipeline réel les contient.
Ce que n'établit pas O19
- Le facteur résiduel motivant, sur le pipeline réel : l'observable exact de O12/O13 présente l'égalité de triplet conjugué, d'où un rapport $1$ ; il n'y a là rien que la discussion de O19 sur $r(c,q)$ puisse normaliser. Cette discussion est menée à la place sur le modèle-jouet restreint de O17.
- $D$ en tant que quantité extraite du pipeline : O19 définit $D=\Sigma/\Sigma_{\mathrm{ref}}$ par rapport à un span de référence non spécifié, ce qui ne met en évidence aucun facteur implicite déjà présent dans O12/O13. L'article substitue également sa propre construction d'orbite germe à caractère scalaire au pipeline réel à ensemble de fréquences triplement indexé de O12.
- Le corollaire asymptotique de loi de puissance : la même section prouve que le span cumulé atteint $q$ et sature, puis affirme séparément $\Sigma(n)\sim A\,n^{\delta}$ quand $n\to\infty$. Les deux ne peuvent tenir avec un $\delta$ positif sur un groupe fini fixé.
- Le mécanisme de phase centrale : O12, corrigé, prouve une insensibilité algébrique exacte à la coordonnée centrale. L'explication par cohérence de phase et la prescription de base métaplectique de O19 ne peuvent donc pas décrire la statistique de rang de O12/O13.
- Le test de base (P2) et le test d'instance (P3) : les deux sont décrits, et leurs résultats de classification sont utilisés, mais aucun n'a été réellement effectué ; ils restent étiquetés comme problèmes ouverts dans le texte même de l'article. La proposition d'indépendance au pipeline qui s'appuie sur eux contient une démonstration explicitement marquée « À COMPLÉTER ».
- Un observable canonique de paire indépendant des conventions de pipeline : puisque le facteur motivant, son extraction, et les tests de classification sont tous non établis pour le pipeline réel, aucun tel observable n'est construit pour O12/O13.
Interprétation
O19 ne modifie pas l'observable au niveau fibre discuté dans O16, O17 et O18, et n'en élimine pas la dépendance au pipeline.
- O16 : les blocs conjugués ne sont les fibres de $\Pi$ que sous deux hypothèses indépendantes et ouvertes
- O17 : les blocs de Weil conjugués sont exactement indépendants du bloc au sein d'un modèle-jouet scalaire, ce qui n'est pas montré pour le pipeline réel
- O18 : l'action de Born–Infeld est paire ; cela ne dérive pas la structure de fibre de $\Pi$
- O19 : deux identités génériques de Gram–Schmidt sont prouvées ; la classification par facteur résiduel et l'observable canonique ne sont pas établis pour le pipeline réel
Le point conceptuel est que l'ensemble du programme de normalisation de O19 est motivé par un facteur qui, pour commencer, n'apparaît pas sur l'observable réel de O12/O13. Son analyse de $r(c,q)$ est menée sur un modèle-jouet et sur une construction d'orbite germe de substitution, dont aucune n'est montrée décrire le pipeline qu'elle est censée canoniser.
Relation avec le programme Cosmochronie
O19 hérite des deux ponts ouverts laissés par O16 et O17, corrigés, et n'en ferme aucun. Il propose une construction de normalisation pour un facteur résiduel dont il n'établit pas la présence sur le pipeline réel.
Le registre du programme (voir programme) enregistre les identités génériques d'algèbre linéaire de O19 comme prouvées, et son observable canonique de paire, son facteur résiduel $r(c,q)$, et son affirmation d'indépendance au pipeline comme ouverts, sur le même plan que les hypothèses de O16 qu'il était censé décharger.
Résultat actuel et directions ouvertes
Les identités génériques de Gram–Schmidt subsistent : invariance de phase de l'incrément résiduel, et égalité du span cumulé avec le rang de la matrice d'orbite. Le facteur résiduel, les tests de classification menés à terme, et l'observable canonique indépendant du pipeline ne sont pas établis pour le pipeline réel : l'algèbre linéaire générique est prouvée, l'observable canonique reste ouvert.
Deux éléments devraient être fournis pour progresser : une extraction d'un authentique facteur résiduel directement à partir du pipeline O12/O13, plutôt qu'à partir d'un modèle-jouet ou d'une construction de substitution ; et une réalisation effective des tests P2 et P3, plutôt qu'une classification supposée de leurs résultats.
En aval, O20 et O21 ne doivent pas être lus comme s'appuyant sur un observable canonique clos : cette étape reste ouverte, exactement comme laissée par O16 et O17.
Références
Jérôme Beau. Canonical Pair Observables in Weil Blocks: Structure of the Residual Amplitude Factor and Pipeline-Independent Formulation.