Resumen Técnico: Ordenamiento Estricto por Comparaciones Pareadas

1. Planteamiento del Problema

El artículo aborda un desafío central en el método de comparaciones pareadas (PC, por sus siglas en inglés): la obtención de un ordenamiento estricto (donde ningún ítem tiene el mismo rango que otro) a partir de una matriz de comparaciones pareadas que puede ser inconsistente.

• Contexto: Las comparaciones pareadas se utilizan para priorizar alternativas basándose en múltiples criterios. Sin embargo, los juicios humanos a menudo generan inconsistencias (ciclos de preferencia, violaciones de transitividad).
• El Problema: Los métodos tradicionales buscan primero "consolidar" la matriz (hacerla consistente) y luego derivar un orden. El autor identifica que este enfoque tiene limitaciones críticas:
  1. Los procedimientos de consistencia (como la proyección ortogonal) pueden alterar el ordenamiento subyacente, violando la jerarquía original.
  2. Existe la posibilidad de que una matriz inconsistente ya contenga un orden estricto válido, pero los métodos de consistencia lo destruyan, creando empates o reordenamientos incorrectos.
  3. El problema de obtener un orden estricto sin asumir consistencia previa permanece como un problema abierto.

2. Metodología y Marco Teórico

El autor propone un enfoque matemático que combina la topología de los números reales positivos, la teoría de grupos y la teoría de Lie, alejándose de los métodos puramente estadísticos o de optimización de mínimos cuadrados tradicionales.

2.1. Transformación Logarítmica y Estructura Algebraica

Se utiliza el logaritmo natural ($\ln$) para mapear la matriz de comparaciones multiplicativa (en $\mathbb{R}^*_+$) a una matriz aditiva (en $\mathbb{R}$). Esto permite tratar el problema en el espacio vectorial, facilitando el uso de métodos de gradiente.

• Una matriz consistente satisface $a_{i,j} \cdot a_{j,k} = a_{i,k}$.
• En la forma aditiva, esto se traduce en $c_{i,j} + c_{j,k} = c_{i,k}$.

2.2. La Condición R (R-condition)

Se introduce una nueva condición fundamental llamada Condición R. Esta condición define un ordenamiento estricto sin requerir que la matriz sea consistente.

• Definición: Una matriz satisface la Condición R si existe una permutación $\sigma$ de los índices tal que para todo par $i < j$, el elemento $a_{\sigma(i), \sigma(j)} < 1$.
• Implicación: Esto garantiza que el ítem $\sigma(1)$ es estrictamente menor que $\sigma(2)$, y así sucesivamente, independientemente de si la transitividad se cumple para todos los trios.

2.3. Locos de Ordenamiento y Admisibilidad

El espacio de matrices de comparaciones pareadas ($PC_n$) se divide en componentes conexas.

• Se define un lugar admisible (admissible locus) como un componente conexo donde existe una permutación $\sigma$ que ordena estrictamente los elementos.
• Teorema clave: Existe una biyección entre el grupo de permutaciones $S_n$ y los lugares admisibles. Sin embargo, no todos los componentes conexos son admisibles (especialmente para $n \geq 3$), lo que significa que existen matrices que no pueden generar un orden estricto bajo esta definición.

3. Contribuciones Clave

3.1. Inestabilidad de los Métodos de Consistencia

El autor demuestra mediante contraejemplos (específicamente en matrices $3 \times 3$) que los procedimientos estándar para hacer consistentes las matrices (como la proyección ortogonal) no preservan la Condición R.

• Una matriz inconsistente puede tener un orden estricto válido (estar en un lugar admisible).
• Al aplicar un método de consistencia, la matriz resultante puede caer en un lugar no admisible (perdiendo el orden estricto) o en un lugar admisible diferente (cambiando el orden de los ítems).
• Conclusión: La búsqueda de consistencia es, en muchos casos, incompatible con la preservación del ordenamiento estricto original.

3.2. Definición de un Funcional de Minimización ($\Phi$)

Para resolver el problema sin depender de la consistencia previa, se propone un nuevo funcional $\Phi: APC_n \to \mathbb{R}^+$, donde $APC_n$ es el conjunto de matrices que satisfacen la Condición R (excluyendo aquellas que ya tienen empates).

El funcional se define como:
$$\Phi(A) = \left( \prod_{i<j} \frac{ii(A)}{(\log a_{i,j})^2 + (ii(A))^{n(n+1)/2}} \right) \times \sum_{i<j} ((\log a_{i,j})^4 + 1)$$
Donde $ii(A)$ es un indicador de inconsistencia estándar.

Propiedades del funcional:

1. Dominio: Solo está definido en matrices que satisfacen la Condición R (excluye matrices con empates).
2. Cero: $\Phi(A) = 0$ si y solo si la matriz $A$ es consistente Y satisface la Condición R.
3. Comportamiento en la frontera: El funcional tiende a infinito si la matriz se acerca a una matriz con empates (donde $\log a_{i,j} = 0$) o si la inconsistencia no se resuelve.

3.3. Enfoque Geométrico y Configuraciones Finitas

En el apéndice, el autor conecta el problema con la teoría de configuraciones finitas en variedades.

• Se modela el espacio de pesos como un espacio de configuraciones ordenadas ($O\Gamma_n$).
• Se introduce una métrica Riemanniana específica inspirada en la métrica hiperbólica del disco de Poincaré.
• Resultado geométrico: Esta métrica tiene la propiedad de que la longitud de cualquier camino que intente colapsar dos puntos (crear un empate) diverge a infinito. Esto sugiere que, bajo este marco geométrico, es "imposible" llegar a un empate mediante un proceso de minimización suave, forzando así un ordenamiento estricto.

4. Resultados Principales

1. Independencia de la Consistencia: Se demuestra que es posible derivar un ordenamiento estricto de una matriz inconsistente, siempre que esta pertenezca a un "lugar admisible". La consistencia no es un prerrequisito para el orden.
2. Fallo de los Métodos Tradicionales: Se prueba que los métodos de consistencia actuales pueden destruir la información de ordenamiento estricto, transformando una matriz con un orden claro en una con empates o un orden erróneo.
3. Existencia de Soluciones: Se prueba la existencia de una biyección entre las permutaciones y los lugares admisibles, validando que el espacio de soluciones para ordenamientos estrictos es bien definido.
4. Propuesta de Optimización: El funcional $\Phi$ ofrece una vía para encontrar una matriz que sea simultáneamente consistente y estrictamente ordenada, utilizando métodos de gradiente, evitando así los empates.

5. Significado e Implicaciones

• Paradigma Cambiante: El trabajo desafía la noción tradicional de que primero se debe "arreglar" la inconsistencia para luego ordenar. Sugiere que el ordenamiento estricto es una propiedad estructural que puede (y debe) preservarse antes o durante el proceso de consistencia.
• Aplicaciones Prácticas: Es crucial en campos donde los empates no son deseables o donde la jerarquía estricta es vital (gestión de activos, redes inalámbricas, selección de alternativas).
• Limitaciones Psicológicas: El autor señala una brecha entre los modelos matemáticos y la cognición humana. Los humanos no razonan con números precisos sino con valores difusos. El uso de grupos de Lie no abelianos y estructuras más complejas podría ser necesario para modelar problemas psicológicos, aunque el autor es escéptico sobre la viabilidad actual de modelar la mente humana con precisión.
• Nuevas Direcciones: La propuesta de una métrica Riemanniana en espacios de configuración que diverge en los empates abre una nueva línea de investigación en geometría diferencial aplicada a la teoría de decisiones.

En resumen, Magnot propone un marco matemático riguroso que prioriza la preservación del orden estricto sobre la consistencia absoluta, introduciendo herramientas topológicas y funcionales para garantizar que los resultados de las comparaciones pareadas sean jerárquicamente válidos y libres de empates.