Indépendance exacte de blocs de la redondance brute de Gram-Schmidt dans un modèle scalaire de Weil

Vue d'ensemble

O16 propose un observable au niveau paire $\sigma_{\mathrm{pair}}(n) = \sigma_c(n)\,\sigma_{q-c}(n)$, construit à partir de l'identité exacte de conjugaison $\rho_{q-c}=\overline{\rho_c}$, comme unité candidate d'admissibilité au niveau fibre, sous condition de deux hypothèses ouvertes indépendantes sur la projection non injective $\Pi$. Indépendamment de ces hypothèses, O17 pose la question : pourquoi la dynamique brute de Gram–Schmidt est-elle identique pour $\rho_c$ et $\rho_{q-c}$, et quelle est l'origine structurelle du facteur d'amplitude $r(c,q)$ ?

O17 répond aux deux questions au sein d'un modèle-jouet scalaire explicitement défini. Dans ce modèle, le compte de redondance brute $\tilde\sigma_c(n;b_1,b_2)$ est exactement indépendant du caractère central $c$ et des deux paramètres de condition initiale $(b_1,b_2)$ — non seulement égal pour les caractères conjugués $c$ et $q-c$, mais identique pour deux blocs quelconques. La preuve est purement combinatoire (invariance par translation des collisions d'étiquettes de coquille sur le graphe de Cayley sous-jacent) et ne nécessite aucune identité de conjugaison.

Conséquence directe : pour tout observable normalisé $\sigma_c := \tilde\sigma_c/D$ défini au sein de ce modèle, toute sa dépendance de bloc réside entièrement dans la normalisation $D$, non dans le compte brut lui-même.

Note de portée. Ces résultats sont circonscrits strictement au modèle-jouet propre à cet article, dont les empreintes de bloc sont de simples vecteurs de base en position. Les empreintes exactes du pipeline réel O12/O13 sont des vecteurs de base en fréquence indexés par un triplet générique ; aucune correspondance entre les deux modèles n'est donnée ici, si bien qu'aucun de ces résultats n'est affirmé pour ce pipeline.

Contributions principales

Identité de la dynamique brute, forme restreinte : pour des blocs partageant le même support initial, $\tilde\sigma_{q-c}=\tilde\sigma_c$ pour toutes les coquilles, via l'identité de conjugaison $\rho_{q-c}=\overline{\rho_c}$.
Indépendance de bloc, forme générale : $\tilde\sigma_{c'}(n;b_1',b_2') = \tilde\sigma_c(n;b_1,b_2)$ exactement, pour deux blocs quelconques — conjugués ou non — prouvé par un argument purement combinatoire ne nécessitant aucune identité de conjugaison.
Artefact de normalisation : toute dépendance de bloc d'un observable normalisé $\sigma_c := \tilde\sigma_c/D$ provient entièrement de $D$, conséquence directe de l'indépendance de bloc.
Limite de portée sur la question de fibre : parce que l'indépendance de bloc tient pour deux blocs quelconques, pas seulement conjugués, elle ne peut à elle seule justifier une conclusion de même fibre spécifique aux paires conjuguées — appliquée uniformément, elle placerait tout bloc dans une seule fibre.

Interprétation

O17 n'introduit pas de nouvelle loi de croissance, et n'établit pas que les paires conjuguées sont les fibres de $\Pi$. Il répond à une question plus étroite, purement mathématique, sur le modèle-jouet propre à cet article.

O16 : propose les paires conjuguées comme fibres, sous condition de deux hypothèses ouvertes
O17 : prouve que la dynamique brute sous-jacente est indépendante de bloc dans un modèle-jouet scalaire — trop largement pour sélectionner spécifiquement les paires conjuguées

Un critère véritablement sélectif, distinguant les paires conjuguées des autres appariements de blocs, n'est pas fourni ici. Si un résultat analogue d'indépendance de bloc tient pour le pipeline réel, et quelle est sa normalisation réelle, reste ouvert.

Relation avec le programme Cosmochronie

O17 fait suite à O16 sans modifier sa proposition. Il résout deux questions étroites, purement mathématiques, sur la dynamique brute par bloc de Weil sous-jacente à cette proposition, entièrement au sein de son propre modèle-jouet, et rapporte ce que cette résolution peut et ne peut pas soutenir pour la question de fibre.

Les empreintes du modèle-jouet sont de simples vecteurs de base en position ; les empreintes du pipeline réel O12/O13 sont des vecteurs de base en fréquence indexés par un triplet générique. Aucun argument ici ne relie les deux, si bien qu'aucun résultat d'O17 n'est affirmé pour ce pipeline.

Résultat actuel et directions ouvertes

Au sein de son propre modèle-jouet, O17 établit l'indépendance exacte de bloc du compte de redondance brute pour deux blocs quelconques, et montre que ce fait est trop général pour soutenir un critère de fibre spécifique aux paires conjuguées.

Deux directions restent ouvertes : si un résultat analogue d'indépendance de bloc tient pour le compte de redondance brute du pipeline réel O12/O13, et quelle est sa normalisation réelle ; et, indépendamment, quel critère véritablement sélectif — s'il en existe un — identifie spécifiquement les paires conjuguées comme les fibres de $\Pi$.

Références

Jérôme Beau. Exact Block-Independence of Raw Gram-Schmidt Redundancy in a Scalar Weil Model.