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

Resumen Técnico: Cosuperficies de Valor de Comparación Pareada

Enunciado del Problema
El artículo aborda la tensión fundacional entre la información relacional local y la estructura global coherente en el análisis de datos comparativos. Los enfoques tradicionales suelen tratar las matrices de comparación pareada como arreglos numéricos estáticos o herramientas prácticas de clasificación, asumiendo que las prioridades globales pueden reconstruirse a partir de juicios relativos locales. Sin embargo, esta perspectiva a menudo pasa por alto la naturaleza estructural de la inconsistencia. Cuando los juicios locales son primarios, la coherencia global no es automática; se convierte en un problema de compatibilidad. El artículo postula que los datos de comparación pareada deben considerarse no meramente como valores numéricos, sino como datos relacionales de valor grupal sujetos a orientación, inversión y composición ordenada, de manera similar a los datos de tipo gauge en la física matemática. El desafío central es organizar estas comparaciones locales en un marco multiescala donde los objetos globales emergen únicamente a través de la compatibilidad entre escalas, en lugar de ser postulados a priori.

Metodología
El autor construye un marco matemático riguroso que combina elementos algebraicos, geométricos y probabilísticos:

1. Fundamento Algebraico ($PC_n(H)$):

   • El conjunto de coeficientes de las matrices de comparación pareada se generaliza desde el grupo multiplicativo $\mathbb{R}^*_+$ hasta un grupo arbitrario $H$.
   • El conjunto de matrices recíprocas de $n \times n$ con entradas en $H$ se denota $PC_n(H)$.
   • Se define una ley de composición específica $\star$: es covariante en los coeficientes triangulares superiores ($a_{ij} \star b_{ij} = a_{ij}b_{ij}$ para $i<j$) y contravariante en los coeficientes triangulares inferiores (derivada mediante la recíproca $a_{ji} = a_{ij}^{-1}$). Esta estructura convierte a $PC_n(H)$ en un grupo isomorfo a $H^{n(n-1)/2}$.
   • La inconsistencia se define algebraicamente como un "defecto triangular" $\kappa_{ijk}(A) = a_{ij}a_{jk}a_{ki}$. Una matriz es coherente si y solo si todos tales defectos son iguales al elemento identidad $e$.

2. Sintaxis Geométrica (Cosuperficies):

   • El marco introduce sistemas de pegado orientados $(\Sigma, R)$, donde $\Sigma$ es un conjunto de piezas orientadas equipadas con una involución (reversión) y $R$ define refinamientos admisibles (descomposiciones ordenadas).
   • Una cosuperficie de valor $PC_n(H)$ es una aplicación $C: \Sigma \to PC_n(H)$ que satisface:
     • Regla de Orientación: $C(\bar{\sigma}) = C(\sigma)^{-\star}$ (inversión bajo reversión).
     • Multiplicatividad: $C(\sigma) = C(\sigma_1) \star \dots \star C(\sigma_k)$ para un refinamiento $\sigma \leadsto (\sigma_1, \dots, \sigma_k)$.
   • Este formalismo trata los datos comparativos como campos adjuntos a piezas geométricas orientadas en lugar de puntos.

3. Organización Multiescala (Límites Proyectivos):

   • El artículo considera una familia dirigida de discretizaciones orientadas finitas indexadas por un conjunto $I$.
   • Para cada escala $r$, se define un espacio de configuraciones finito $X_r$, consistente en asignaciones de matrices a piezas orientadas que satisfacen la regla de orientación.
   • Las aplicaciones de reagrado $\Pi_{s,r}: X_s \to X_r$ son inducidas por refinamientos ordenados, mapeando configuraciones finas a configuraciones gruesas mediante productos ordenados.
   • Se construye el límite proyectivo universal $X_\infty = \varprojlim X_r$. Los elementos de $X_\infty$ representan familias de configuraciones de escala finita que son compatibles a través de todos los refinamientos. Los objetos globales se definen estrictamente como estas familias compatibles.

4. Semántica Estocástica:

   • El marco introduce un enfoque de probabilidad cilíndrica. Una cosuperficie estocástica se define como una familia proyectivamente compatible de leyes de probabilidad $(P_r)_{r \in I}$ sobre los espacios finitos $X_r$.
   • Esto define una medida finitamente aditiva sobre los conjuntos cilíndricos de $X_\infty$. Una medida de probabilidad genuina sobre $X_\infty$ existe si la ley cilíndrica se extiende (por ejemplo, mediante teoremas de extensión de Kolmogorov en casos finitos).
   • Los observables de inconsistencia se elevan al espacio límite como variables aleatorias cilíndricas, midiendo la distribución de probabilidad de los defectos a través de las escalas.

Contribuciones y Resultados Clave

• Definición de $PC_n(H)$: El artículo establece $PC_n(H)$ como un grupo con una ley de composición mixta covariante/contravariante, proporcionando el objetivo algebraico para las construcciones de pegado orientado.
• Formalismo de Cosuperficies: Define cosuperficies de valor $PC_n(H)$, formalizando la idea de que los datos comparativos están adjuntos a piezas geométricas orientadas y descomponibles.
• Construcción de Límite Proyectivo: Construye el espacio universal $X_\infty$ de configuraciones comparativas compatibles, demostrando que la estructura global es accesible únicamente a través de la coherencia proyectiva de las descripciones locales.
• Marco Estocástico: Desarrolla una "semántica cilíndrica" para cosuperficies estocásticas, donde la aleatoriedad actúa sobre etiquetas relacionales en lugar de estados absolutos, y la consistencia se impone mediante la compatibilidad proyectiva de las marginales.
• Inconsistencia como Curvatura: El defecto triangular $\kappa_{ijk}$ se reinterpreta como un observable de tipo curvatura discreta. El artículo muestra cómo estos defectos se propagan y transforman bajo el reagrado, ofreciendo una visión estructural de la inconsistencia como una obstrucción a la coherencia global en lugar de simplemente un error numérico.

Significado y Afirmaciones
El artículo afirma proporcionar una perspectiva fundacional sobre estructuras relacionales construidas a partir de comparaciones locales en lugar de observables absolutos. Su significado radica en tres aspectos transversales:

1. Geométrico: Organiza los datos comparativos utilizando la sintaxis de orientación, refinamiento y pegado, aplicable a triangulaciones, descomposiciones celulares e hipersuperficies sin requerir una variedad suave.
2. Algebraico: Trata las matrices de comparación como etiquetas de valor grupal, unificando el tratamiento de la recíproca y la composición.
3. Probabilístico: Ofrece una teoría estocástica multiescala donde la coherencia global es una propiedad de familias compatibles de leyes locales, no un estado preexistente.

El autor enfatiza que este marco no es una aplicación específica (por ejemplo, un nuevo algoritmo de clasificación), sino una capa matemática común subyacente a diversos modelos comparativos locales. Reencuadra la inconsistencia de una cantidad a minimizar a un observable estructural que mide obstrucciones a la coherencia global. El trabajo sugiere que las cosuperficies de valor de comparación pareada sirven como un "laboratorio" para pensar sobre estructuras relacionales en una forma matemáticamente controlada, conectando conceptos de la teoría de gauge, el análisis estocástico y la teoría de la decisión sin forzar una única interpretación semántica.