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

Resumo Técnico: Cosuperfícies com Valores de Comparação Par a Par

Enunciado do Problema
O artigo aborda a tensão fundamental entre informação relacional local e estrutura coerente global na análise de dados comparativos. Abordagens tradicionais frequentemente tratam matrizes de comparação par a par como arrays numéricos estáticos ou ferramentas práticas de classificação, assumindo que prioridades globais podem ser reconstruídas a partir de julgamentos relativos locais. No entanto, essa perspectiva frequentemente negligencia a natureza estrutural da inconsistência. Quando os julgamentos locais são primários, a coerência global não é automática; torna-se um problema de compatibilidade. O artigo postula que dados de comparação par a par devem ser vistos não meramente como valores numéricos, mas como dados relacionais com valores em grupo sujeitos a orientação, inversão e composição ordenada, semelhantes a dados de teoria de calibre na física matemática. O desafio central é organizar essas comparações locais em um framework multiescala onde objetos globais emergem apenas através da compatibilidade entre escalas, em vez de serem postulados a priori.

Metodologia
O autor constrói um framework matemático rigoroso combinando elementos algébricos, geométricos e probabilísticos:

1. Fundação Algébrica ($PC_n(H)$):

   • O conjunto de coeficientes de matrizes de comparação par a par é generalizado do grupo multiplicativo $\mathbb{R}^*_+$ para um grupo arbitrário $H$.
   • O conjunto de matrizes recíprocas $n \times n$ com entradas em $H$ é denotado $PC_n(H)$.
   • Uma lei de composição específica $\star$ é definida: é covariante em coeficientes triangulares superiores ($a_{ij} \star b_{ij} = a_{ij}b_{ij}$ para $i<j$) e contravariante em coeficientes triangulares inferiores (derivada via reciprocidade $a_{ji} = a_{ij}^{-1}$). Esta estrutura torna $PC_n(H)$ um grupo isomorfo a $H^{n(n-1)/2}$.
   • A inconsistência é definida algebricamente como um "defeito triangular" $\kappa_{ijk}(A) = a_{ij}a_{jk}a_{ki}$. Uma matriz é coerente se e somente se todos esses defeitos forem iguais ao elemento identidade $e$.

2. Sintaxe Geométrica (Cosuperfícies):

   • O framework introduz sistemas de colagem orientados $(\Sigma, R)$, onde $\Sigma$ é um conjunto de peças orientadas equipadas com uma involução (reversão) e $R$ define refinamentos admissíveis (decomposições ordenadas).
   • Uma cosuperfície com valores em $PC_n(H)$ é um mapa $C: \Sigma \to PC_n(H)$ satisfazendo:
     • Regra de Orientação: $C(\bar{\sigma}) = C(\sigma)^{-\star}$ (inversão sob reversão).
     • Multiplicatividade: $C(\sigma) = C(\sigma_1) \star \dots \star C(\sigma_k)$ para um refinamento $\sigma \leadsto (\sigma_1, \dots, \sigma_k)$.
   • Este formalismo trata dados comparativos como campos anexados a peças geométricas orientadas em vez de pontos.

3. Organização Multiescala (Limites Projetivos):

   • O artigo considera uma família direcionada de discretizações orientadas finitas indexadas por um conjunto $I$.
   • Para cada escala $r$, um espaço de configuração finito $X_r$ é definido, consistindo em atribuições de matrizes a peças orientadas satisfazendo a regra de orientação.
   • Mapas de coarse-graining $\Pi_{s,r}: X_s \to X_r$ são induzidos por refinamentos ordenados, mapeando configurações finas para configurações grosseiras através de produtos ordenados.
   • O limite projetivo universal $X_\infty = \varprojlim X_r$ é construído. Elementos de $X_\infty$ representam famílias de configurações de escala finita que são compatíveis através de todos os refinamentos. Objetos globais são definidos estritamente como essas famílias compatíveis.

4. Semântica Estocástica:

   • O framework introduz uma abordagem de probabilidade cilíndrica. Uma cosuperfície estocástica é definida como uma família projetivamente compatível de leis de probabilidade $(P_r)_{r \in I}$ nos espaços finitos $X_r$.
   • Isso define uma medida finitamente aditiva nos conjuntos cilíndricos de $X_\infty$. Uma medida de probabilidade genuína em $X_\infty$ existe se a lei cilíndrica se estender (por exemplo, via teoremas de extensão de Kolmogorov em casos finitos).
   • Observáveis de inconsistência são elevados ao espaço limite como variáveis aleatórias cilíndricas, medindo a distribuição de probabilidade de defeitos através das escalas.

Principais Contribuições e Resultados

• Definição de $PC_n(H)$: O artigo estabelece $PC_n(H)$ como um grupo com uma lei de composição mista covariante/contravariante, fornecendo o alvo algébrico para construções de colagem orientada.
• Formalismo de Cosuperfícies: Define cosuperfícies com valores em $PC_n(H)$, formalizando a ideia de que dados comparativos são anexados a peças geométricas orientadas e decomponíveis.
• Construção de Limite Projetivo: Constrói o espaço universal $X_\infty$ de configurações comparativas compatíveis, demonstrando que a estrutura global é acessível apenas através da coerência projetiva de descrições locais.
• Framework Estocástico: Desenvolve uma "semântica cilíndrica" para cosuperfícies estocásticas, onde o acaso atua sobre rótulos relacionais em vez de estados absolutos, e a consistência é imposta via compatibilidade projetiva de marginais.
• Inconsistência como Curvatura: O defeito triangular $\kappa_{ijk}$ é reinterpretado como um observável do tipo curvatura discreta. O artigo mostra como esses defeitos se propagam e transformam sob coarse-graining, oferecendo uma visão estrutural da inconsistência como uma obstrução à coerência global em vez de apenas um erro numérico.

Significado e Afirmações
O artigo afirma fornecer uma perspectiva fundamental sobre estruturas relacionais construídas a partir de comparações locais em vez de observáveis absolutos. Seu significado reside em três aspectos transversais:

1. Geométrico: Organiza dados comparativos usando a sintaxe de orientação, refinamento e colagem, aplicável a triangulações, decomposições celulares e hipersuperfícies sem exigir uma variedade suave.
2. Algébrico: Trata matrizes de comparação como rótulos com valores em grupo, unificando o tratamento de reciprocidade e composição.
3. Probabilístico: Oferece uma teoria estocástica multiescala onde a coerência global é uma propriedade de famílias compatíveis de leis locais, não um estado pré-existente.

O autor enfatiza que este framework não é uma aplicação específica (por exemplo, um novo algoritmo de classificação), mas uma camada matemática comum subjacente a vários modelos comparativos locais. Reenquadra a inconsistência de uma quantidade a ser minimizada para um observável estrutural medindo obstruções à coerência global. O trabalho sugere que cosuperfícies com valores de comparação par a par servem como um "laboratório" para pensar sobre estruturas relacionais em uma forma matematicamente controlada, conectando conceitos de teoria de calibre, análise estocástica e teoria da decisão sem forçar uma única interpretação semântica.