Pairwise-comparison-valued cosurfaces: a projective framework for multi-scale relational structures

Résumé Technique : Cosurfaces à Valeurs de Comparaisons Par Paires

Énoncé du Problème
L'article aborde la tension fondamentale entre l'information relationnelle locale et la structure globale cohérente dans l'analyse de données comparatives. Les approches traditionnelles traitent souvent les matrices de comparaison par paires comme des tableaux numériques statiques ou des outils pratiques de classement, en supposant que les priorités globales peuvent être reconstruites à partir de jugements relatifs locaux. Cependant, cette perspective néglige souvent la nature structurelle de l'incohérence. Lorsque les jugements locaux sont primaires, la cohérence globale n'est pas automatique ; elle devient un problème de compatibilité. L'article postule que les données de comparaison par paires ne doivent pas être considérées uniquement comme des valeurs numériques, mais comme des données relationnelles à valeurs de groupe soumises à l'orientation, à l'inversion et à la composition ordonnée, à l'instar des données de type théorie de jauge en physique mathématique. Le défi central consiste à organiser ces comparaisons locales dans un cadre multi-échelle où les objets globaux émergent uniquement par la compatibilité à travers les échelles, plutôt que d'être postulés a priori.

Méthodologie
L'auteur construit un cadre mathématique rigoureux combinant des éléments algébriques, géométriques et probabilistes :

1. Fondation Algébrique ($PC_n(H)$) :

   • L'ensemble des coefficients des matrices de comparaison par paires est généralisé du groupe multiplicatif $\mathbb{R}^*_+$ à un groupe arbitraire $H$.
   • L'ensemble des matrices réciproques $n \times n$ à coefficients dans $H$ est noté $PC_n(H)$.
   • Une loi de composition spécifique $\star$ est définie : elle est covariante sur les coefficients triangulaires supérieurs ($a_{ij} \star b_{ij} = a_{ij}b_{ij}$ pour $i<j$) et contravariante sur les coefficients triangulaires inférieurs (dérivée via la réciproque $a_{ji} = a_{ij}^{-1}$). Cette structure fait de $PC_n(H)$ un groupe isomorphe à $H^{n(n-1)/2}$.
   • L'incohérence est définie algébriquement comme un « défaut triangulaire » $\kappa_{ijk}(A) = a_{ij}a_{jk}a_{ki}$. Une matrice est cohérente si et seulement si tous ces défauts sont égaux à l'élément neutre $e$.

2. Syntaxe Géométrique (Cosurfaces) :

   • Le cadre introduit des systèmes de collage orientés $(\Sigma, R)$, où $\Sigma$ est un ensemble de pièces orientées équipées d'une involution (renversement) et $R$ définit des raffinements admissibles (décompositions ordonnées).
   • Une cosurface à valeurs dans $PC_n(H)$ est une application $C: \Sigma \to PC_n(H)$ satisfaisant :
     • Règle d'orientation : $C(\bar{\sigma}) = C(\sigma)^{-\star}$ (inversion sous renversement).
     • Multiplicativité : $C(\sigma) = C(\sigma_1) \star \dots \star C(\sigma_k)$ pour un raffinement $\sigma \leadsto (\sigma_1, \dots, \sigma_k)$.
   • Ce formalisme traite les données comparatives comme des champs attachés à des pièces géométriques orientées plutôt qu'à des points.

3. Organisation Multi-échelle (Limites Projectives) :

   • L'article considère une famille dirigée de discrétisations orientées finies indexées par un ensemble $I$.
   • Pour chaque échelle $r$, un espace de configurations fini $X_r$ est défini, constitué d'affectations de matrices aux pièces orientées satisfaisant la règle d'orientation.
   • Des applications de grossissement $\Pi_{s,r}: X_s \to X_r$ sont induites par des raffinements ordonnés, appliquant les configurations fines aux configurations grossières via des produits ordonnés.
   • La limite projective universelle $X_\infty = \varprojlim X_r$ est construite. Les éléments de $X_\infty$ représentent des familles de configurations à échelle finie qui sont compatibles à travers tous les raffinements. Les objets globaux sont définis strictement comme ces familles compatibles.

4. Sémantique Stochastique :

   • Le cadre introduit une approche de probabilité cylindrique. Une cosurface stochastique est définie comme une famille projectivement compatible de lois de probabilité $(P_r)_{r \in I}$ sur les espaces finis $X_r$.
   • Cela définit une mesure finiment additive sur les ensembles cylindres de $X_\infty$. Une véritable mesure de probabilité sur $X_\infty$ existe si la loi cylindrique s'étend (par exemple, via les théorèmes d'extension de Kolmogorov dans les cas finis).
   • Les observables d'incohérence sont relevées vers l'espace limite en tant que variables aléatoires cylindriques, mesurant la distribution de probabilité des défauts à travers les échelles.

Contributions et Résultats Clés

• Définition de $PC_n(H)$ : L'article établit $PC_n(H)$ comme un groupe muni d'une loi de composition mixte covariante/contravariante, fournissant la cible algébrique pour les constructions de collage orienté.
• Formalisme des Cosurfaces : Il définit les cosurfaces à valeurs dans $PC_n(H)$, formalisant l'idée que les données comparatives sont attachées à des pièces géométriques orientées et décomposables.
• Construction de Limite Projective : Il construit l'espace universel $X_\infty$ des configurations comparatives compatibles, démontrant que la structure globale n'est accessible que par la cohérence projective des descriptions locales.
• Cadre Stochastique : Il développe une « sémantique cylindrique » pour les cosurfaces stochastiques, où l'aléatoire agit sur les étiquettes relationnelles plutôt que sur des états absolus, et où la cohérence est imposée par la compatibilité projective des marginales.
• Incohérence comme Courbure : Le défaut triangulaire $\kappa_{ijk}$ est réinterprété comme une observable de type courbure discrète. L'article montre comment ces défauts se propagent et se transforment sous grossissement, offrant une vue structurelle de l'incohérence comme une obstruction à la cohérence globale plutôt que comme une simple erreur numérique.

Signification et Revendications
L'article revendique de fournir une perspective fondamentale sur les structures relationnelles construites à partir de comparaisons locales plutôt que d'observables absolus. Sa signification réside dans trois aspects transversaux :

1. Géométrique : Il organise les données comparatives en utilisant la syntaxe de l'orientation, du raffinement et du collage, applicable aux triangulations, aux décompositions cellulaires et aux hypersurfaces sans exiger une variété lisse.
2. Algébrique : Il traite les matrices de comparaison comme des étiquettes à valeurs de groupe, unifiant le traitement de la réciproque et de la composition.
3. Probabiliste : Il offre une théorie stochastique multi-échelle où la cohérence globale est une propriété de familles compatibles de lois locales, et non un état préexistant.

L'auteur souligne que ce cadre n'est pas une application spécifique (par exemple, un nouvel algorithme de classement) mais une couche mathématique commune sous-jacente à divers modèles comparatifs locaux. Il reformule l'incohérence d'une quantité à minimiser en une observable structurelle mesurant les obstructions à la cohérence globale. Le travail suggère que les cosurfaces à valeurs de comparaison par paires servent de « laboratoire » pour penser les structures relationnelles sous une forme mathématiquement contrôlée, reliant des concepts de la théorie de jauge, de l'analyse stochastique et de la théorie de la décision sans imposer une interprétation sémantique unique.