Límites exactos para matrices consistentes eficientes obtenidas de una matriz recíproca

Información Básica

• ID del Artículo: 2510.12358
• Título: Exact bounds for efficient consistent matrices obtained from a reciprocal matrix
• Autores: Susana Furtado (Universidade do Porto), Charles R. Johnson (Williamsburg, VA)
• Clasificación: math.CO (Matemática Combinatoria)
• Fecha de Publicación: 15 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.12358

Resumen

Para una matriz recíproca A dada, este artículo proporciona una unión de intervalos matriciales en los cuales cualquier matriz consistente obtenida de un vector eficiente de A se encuentra en dicha unión, y recíprocamente, cualquier matriz consistente en la unión proviene de un vector eficiente de A. El artículo describe en las matrices de cota inferior y superior de cada intervalo el conjunto máximo de entradas que pueden ser alcanzadas por alguna matriz consistente dentro del intervalo. Esto nos permite comprender cuáles subconjuntos de alternativas se encuentran por encima de otros en todos los ordenamientos eficientes de cada intervalo. Por lo tanto, se determina el orden parcial de alternativas determinado por vectores eficientes. Luego, el artículo utiliza las herramientas desarrolladas para demostrar que cuando las matrices recíprocas n×n A y B son perturbaciones simples de matrices consistentes o n=4, los conjuntos de vectores eficientes de A y B coinciden si y solo si A=B.

Antecedentes de Investigación y Motivación

Importancia del Problema

1. Análisis de Decisión Multicriterio: En modelos de decisión multicriterio, las matrices recíprocas (también llamadas matrices de comparación por pares) se utilizan para representar comparaciones de razones por pares entre n alternativas, requiriendo determinar un vector de ordenamiento cardinal que represente pesos relativos.
2. Problema de Consistencia: Idealmente, si una matriz satisface $a_{ij}a_{jk} = a_{ik}$ para todos los triples $1 \leq i,j,k \leq n$, entonces la matriz es consistente. Sin embargo, las matrices consistentes rara vez ocurren en la práctica, siendo necesario aproximar matrices recíprocas inconsistentes mediante matrices consistentes.
3. Teoría de Vectores Eficientes: Saaty recomendó inicialmente utilizar el vector propio de Perron derecho como vector de ordenamiento cardinal, pero cuando la matriz es inconsistente, esto puede no ser la opción óptima. Por lo tanto, es necesario buscar vectores eficientes que satisfagan optimalidad de Pareto.

Limitaciones de Métodos Existentes

1. Imprecisión del Intervalo Matricial Único: Investigaciones previas 12 proporcionaron un único intervalo matricial, pero este intervalo podría contener matrices consistentes que no provienen de vectores eficientes.
2. Falta de Límites Precisos: Los métodos existentes no pueden describir con precisión cuáles matrices consistentes provienen efectivamente de vectores eficientes y cuáles no.
3. Relaciones de Orden Parcial Poco Claras: Los métodos existentes tienen dificultad para describir con precisión las relaciones de orden parcial entre alternativas.

Contribuciones Principales

1. Unión Exacta de Intervalos Matriciales: Se proporciona una unión de a lo sumo $(n-1)!/2$ intervalos matriciales, donde una matriz consistente se encuentra en la unión si y solo si proviene de un vector eficiente.
2. Conjunto Máximo de Entradas Alcanzables: Se describe en las matrices de cota inferior y superior de cada intervalo el conjunto máximo de entradas que pueden ser alcanzadas por matrices consistentes dentro del intervalo.
3. Caracterización del Orden Parcial: Se describe completamente el orden parcial de alternativas determinado por vectores eficientes, determinando cuándo ciertas alternativas se encuentran por encima de otras en todos los ordenamientos eficientes.
4. Resultados de Unicidad: Se demuestra que cuando A y B son perturbaciones simples de matrices consistentes o n=4, E(A)=E(B) implica A=B.

Explicación Detallada de Métodos

Definición de la Tarea

Dada una matriz recíproca n×n $A=[a_{ij}]$ (satisfaciendo $a_{ji}=1/a_{ij}$), buscar un vector eficiente $w \in \mathbb{R}^n_+$ tal que la matriz consistente correspondiente $W=ww^{(-T)}=[\frac{w_i}{w_j}]$ satisfaga condiciones de frontera específicas.

Conceptos Fundamentales

1. Matrices Recíprocas y Consistentes

• Matriz Recíproca: $PC_n$ denota el conjunto de todas las matrices n×n positivas por elementos que satisfacen $a_{ji}=1/a_{ij}$
• Matriz Consistente: Una matriz recíproca que satisface $a_{ij}a_{jk}=a_{ik}$, expresable como $A=ww^{(-T)}$

2. Vectores Eficientes

Un vector $w \in \mathbb{R}^n_+$ es un vector eficiente de la matriz A si $|A-vv^{(-T)}| \leq |A-ww^{(-T)}|$ (valor absoluto por elementos) implica que $v$ es proporcional a $w$.

3. Circuitos Hamiltonianos y Matrices de Camino

• Circuito Hamiltoniano: $\tau: \tau_1\tau_2\cdots\tau_n\tau_1$
• Producto de Circuito: $\tau(A) = a_{\tau_1\tau_2}a_{\tau_2\tau_3}\cdots a_{\tau_n\tau_1}$
• Matriz de Camino: $P_{A,\tau}=[p_{ij}]$, donde $p_{ij}=P_{A,\tau}(i,j)$ representa el producto del camino desde $i$ hasta $j$ a lo largo del circuito $\tau$

Resultados Teóricos Principales

Teorema 12 (Límites Exactos)

Sea $A \in PC^0_n$, $\tau \in \Gamma(A)$, $w \in \mathbb{R}^n_+$, $W=[\frac{w_i}{w_j}]$. Entonces: $w \in E_\tau(A) \iff P_{A,\tau} \leq W \leq P_{A,\tau}^{(-T)}$

Teorema 14 (Resultado Principal)

Sea $A \in PC^0_n$, $w \in \mathbb{R}^n_+$, $W=ww^{(-T)}$. Entonces $w \in E(A)$ si y solo si existe $\tau \in \Gamma(A)$ tal que: $P_{A,\tau} \leq W \leq P_{A,\tau}^{(-T)}$

Puntos de Innovación Técnica

1. Método de Matriz de Camino: Se introduce la matriz de camino $P_{A,\tau}$ para caracterizar con precisión los límites de matrices consistentes correspondientes a cada subconjunto de vectores eficientes $E_\tau(A)$.
2. Teoría del Conjunto Máximo Alcanzable: Se define el conjunto $S_k^{(\tau)}$ para describir el conjunto máximo de entradas en la matriz de camino que pueden ser alcanzadas exactamente por vectores eficientes.
3. Condición de No Dominancia: Se introduce el concepto de $(A,S)$-no dominancia para identificar puntos extremales del conjunto de vectores eficientes.

Configuración Experimental

Verificación Teórica

El artículo es principalmente un trabajo teórico, verificando la corrección de resultados mediante pruebas matemáticas. Incluye principalmente:

1. Verificación mediante Ejemplos Concretos:
   • Ejemplo 15: Cálculo completo para matriz 4×4
   • Ejemplos 25-27: Análisis de ordenamiento en diferentes casos
2. Análisis de Casos Especiales:
   • Caso de matrices consistentes con perturbación simple
   • Análisis completo para n=4

Herramientas Matemáticas

• Transformaciones de similitud monomial (Lema 9)
• Teoría de conjuntos convexos y generación de conos
• Análisis de circuitos hamiltonianos en teoría de grafos

Resultados Experimentales

Resultados Teóricos Principales

1. Caracterización de Límites Exactos

Para el ejemplo de matriz 4×4 (Ejemplo 15), se proporcionan tres intervalos matriciales exactos:

• Intervalo 1: Correspondiente al circuito $\alpha$, todos los vectores en ordenamiento decreciente
• Intervalo 2: Correspondiente al circuito $\beta$, ordenamiento $(1,2,4,3)$
• Intervalo 3: Correspondiente al circuito $\gamma$, ordenamiento $(1,3,2,4)$

Esto proporciona información más precisa que el método anterior de intervalo único.

2. Condiciones de Ordenamiento Único

El Teorema 29 proporciona condiciones necesarias y suficientes para que todos los vectores eficientes tengan el mismo ordenamiento:

1. Existe una permutación $i_1i_2\cdots i_n$ tal que $P_{A,\tau}(i_t,i_{t+1}) \geq 1$
2. $P_{A,\tau}$ tiene exactamente $\frac{n^2-n}{2}$ elementos no diagonales $\geq 1$
3. Para $i,j \in N$, $i>j$, se tiene $P_{A,\tau}(i,j) \geq 1$ o $P_{A,\tau}(j,i) \geq 1$

3. Resultados de Unicidad

• Teorema 33: En el caso de matrices consistentes con perturbación simple, $L_A=L_B$ implica $A=B$
• Teorema 51: Cuando $n=4$, $E(A)=E(B)$ implica $A=B$

Análisis de Casos

El Ejemplo 25 demuestra las ventajas del método:

• Límites proporcionados por el método tradicional de intervalo único: el rango de $W_{13}$ es $[1,7]$
• Información exacta proporcionada por el nuevo método: cuando $W_{23}=\frac{6}{7}$, necesariamente $W_{24} \geq 2$ y $W_{14} \geq 6$

Esta precisión no puede obtenerse con métodos tradicionales.

Trabajo Relacionado

Desarrollo Histórico

1. Saaty (1977): Propone utilizar el vector propio de Perron derecho como vector de ordenamiento
2. Blanquero et al. (2006): Introduce el concepto de vectores eficientes y caracterización mediante teoría de grafos
3. Serie de trabajos de Furtado & Johnson:
   • Eficiencia de la media geométrica
   • Descripción inductiva de vectores eficientes
   • Caracterización mediante unión de conjuntos convexos

Mejoras en Este Artículo

Comparado con trabajos previos de los autores 12, este artículo:

• Mejora de un único intervalo matricial a una unión exacta de intervalos
• Elimina el problema de contener matrices consistentes que no corresponden a vectores eficientes
• Proporciona información de ordenamiento más precisa

Conclusiones y Discusión

Conclusiones Principales

1. Caracterización Exacta: Se proporcionan límites exactos para matrices consistentes correspondientes a vectores eficientes, resolviendo problemas de imprecisión de métodos anteriores.
2. Orden Parcial Completo: Mediante análisis de matrices de camino, se describe completamente el orden parcial de alternativas.
3. Extensión de Unicidad: Se extiende el resultado $E(A)=E(B) \Rightarrow A=B$ de $n=3$ a casos de perturbación simple y $n=4$.

Limitaciones

1. Complejidad Computacional: Es necesario considerar hasta $(n-1)!/2$ circuitos hamiltonianos, con complejidad computacional que crece rápidamente con n.
2. Caso General No Resuelto: Para el caso general con $n \geq 5$, $E(A)=E(B) \Rightarrow A=B$ sigue siendo una conjetura.
3. Aplicación Práctica: La implementación computacional práctica de resultados teóricos requiere investigación adicional.

Direcciones Futuras

1. Implementación de Algoritmos: Desarrollar algoritmos eficientes para calcular la unión de intervalos matriciales
2. Unicidad General: Demostrar o refutar la conjetura de unicidad para $n \geq 5$
3. Extensión de Aplicaciones: Aplicar resultados a problemas específicos de análisis de decisión

Evaluación Profunda

Fortalezas

1. Rigor Teórico: Pruebas matemáticas completas, resultados exactos, resolviendo problemas teóricos importantes
2. Innovación Metodológica: El método de matriz de camino y la condición de no dominancia son innovaciones técnicas efectivas
3. Valor Práctico: Proporciona herramientas más precisas para análisis de decisión multicriterio
4. Claridad de Escritura: Estructura completa, ejemplos abundantes, facilitando la comprensión

Deficiencias

1. Complejidad Computacional Alta: La aplicación práctica del método está limitada por complejidad computacional
2. Falta de Implementación de Algoritmos: Principalmente resultados teóricos, carece de algoritmos y implementaciones concretas
3. Verificación Experimental Limitada: Principalmente verificación mediante ejemplos matemáticos, carece de experimentos numéricos a gran escala

Impacto

1. Contribución Teórica: Realiza contribuciones importantes en teoría de matrices recíprocas y vectores eficientes
2. Valor Metodológico: El método de matriz de camino puede ser aplicable a otros problemas relacionados
3. Perspectivas de Aplicación: Proporciona nuevas herramientas para análisis de decisión, investigación operativa y otros campos

Escenarios de Aplicabilidad

1. Análisis de Decisión Multicriterio: Mejora de fundamentos teóricos del método AHP
2. Optimización en Investigación Operativa: Problemas de optimización que involucran comparaciones por pares
3. Investigación en Teoría Matricial: Análisis teórico de matrices recíprocas

Referencias Bibliográficas

El artículo cita 33 referencias relacionadas, incluyendo principalmente:

• Trabajos pioneros de Saaty
• Serie de investigaciones del equipo de autores en teoría de vectores eficientes
• Literatura relacionada en teoría matricial y análisis de decisión

Las citas bibliográficas son exhaustivas, reflejando una comprensión profunda del desarrollo del campo.