On strict ranking by pairwise comparisons

Resumo Técnico: Ordenação Estrita por Comparações Pareadas

1. O Problema

O artigo aborda um desafio central no método de Comparações Pareadas (PC - Pairwise Comparisons): a obtenção de uma ordenção estrita (onde nenhum item tem o mesmo rank que outro) a partir de uma matriz de comparações que pode conter inconsistências.

• Contexto: O método PC é amplamente utilizado para priorizar alternativas com base em múltiplos critérios. No entanto, julgamentos humanos frequentemente geram inconsistências (violações da transitividade, ex: $A > B$, $B > C$, mas $C > A$).
• A Lacuna: A literatura tradicional foca em tornar a matriz "consistente" (onde $a_{i,j} \cdot a_{j,k} = a_{i,k}$) para derivar pesos. Contudo, os procedimentos existentes para corrigir inconsistências (como a projeção ortogonal) podem falhar em preservar a ordem estrita desejada, resultando em empates não intencionais ou alterando a hierarquia original dos itens.
• Objetivo: Desenvolver uma abordagem matemática que garanta uma ordenação estrita sem depender necessariamente da consistência inicial da matriz, e propor um método para obter uma matriz consistente que preserve essa estrita ordenação.

2. Metodologia e Estrutura Teórica

O autor utiliza ferramentas de topologia, teoria de grupos de Lie e análise funcional para reformular o problema.

• Transformação Logarítmica: O artigo explora o isomorfismo entre o grupo multiplicativo dos reais positivos $(\mathbb{R}^*_+, \cdot)$ e o grupo aditivo dos reais $(\mathbb{R}, +)$ via logaritmo. Isso permite transformar a matriz de comparações multiplicativa em uma matriz aditiva, facilitando o uso de métodos de gradiente e projeção.
• Condição R (R-condition):
  • Define-se uma Condição R como a existência de uma permutação $\sigma$ dos itens tal que, para todo par $(i, j)$ com $i < j$, a entrada da matriz satisfaz $a_{\sigma(i), \sigma(j)} < 1$.
  • Isso garante que existe uma ordem estrita $w_{\sigma(1)} < w_{\sigma(2)} < \dots < w_{\sigma(n)}$ implícita na matriz, mesmo que a matriz não seja consistente.
• Espaços de Configuração: O autor introduz o conceito de "loci" (conjuntos conexos) no espaço das matrizes de comparação.
  • Define-se o conjunto $RPC_n$ como matrizes que satisfazem a Condição R.
  • Demonstra-se que $RPC_n$ possui componentes conexas (loci) caracterizados por matrizes de classificação características (sinais dos logaritmos das entradas).
  • É provado que nem todos os loci são "admissíveis" (capazes de gerar uma ordenação estrita válida), e que a cardinalidade dos loci não admissíveis cresce exponencialmente, enquanto o número de permutações válidas é $n!$.

3. Contribuições Principais

1. Análise da Instabilidade da Consistência:

   • O artigo demonstra que os procedimentos tradicionais de "consistenciamento" (como a projeção ortogonal) não preservam a Condição R.
   • Teorema 3.8: Mostra que uma matriz que satisfaz a Condição R (e pertence a um locus admissível) pode, após ser tornada consistente, perder essa condição, resultando em uma matriz onde itens ficam empatados ou a ordem é alterada para um locus não admissível.

2. Definição de um Funcional de Minimização ($\Phi$):

   • Para resolver o problema de manter a estrita ordenação ao buscar consistência, o autor propõe um novo funcional $\Phi: APC_n \to \mathbb{R}_+$.
   • Este funcional é construído sobre um indicador de inconsistência existente ($ii$) e penaliza fortemente qualquer matriz que não satisfaça a Condição R ou que não seja consistente.
   • Propriedade Chave: $\Phi(A) = 0$ se e somente se a matriz $A$ for consistente E satisfizer a Condição R.
   • O funcional é definido de forma que diverge para $+\infty$ quando a matriz se aproxima de configurações onde ocorrem empates (entradas iguais a 1) ou quando sai do domínio admissível, garantindo que algoritmos de minimização (como o método do gradiente) não converjam para soluções com empates.

3. Conexão com Geometria e Física Teórica:

   • O trabalho conecta o problema de ordenação à teoria de grupos de Lie abelianos e não abelianos, e menciona aplicações potenciais em gravidade quântica de loops e teoria de Yang-Mills (minimização de distâncias entre holonomias).
   • No Apêndice, o autor descreve "espaços de configuração finitos" e propõe uma métrica Riemanniana inspirada na métrica hiperbólica do disco de Poincaré, sugerindo uma estrutura geométrica subjacente não explorada anteriormente.

4. Resultados Chave

• Teorema 3.3: Estabelece uma bijeção entre o grupo de permutações $S_n$ e os loci admissíveis para ordenação estrita em $RPC_n$.
• Teorema 3.6 e 3.7: Prova que existem loci não admissíveis em $RPC_n$ (especialmente para $n \ge 3$), onde a estrutura de comparações não permite uma ordenação estrita coerente, independentemente da consistência.
• Teorema 4.2: Valida o funcional $\Phi$, provando que ele é bem definido apenas no conjunto de matrizes admissíveis ($APC_n$) e que seu mínimo global (zero) corresponde exatamente ao conjunto de matrizes consistentes com ordenação estrita.
• Simulações Teóricas (Seção 3.2): Exemplos numéricos mostram explicitamente como a projeção ortogonal falha em preservar a ordem estrita, enquanto o novo funcional $\Phi$ oferece uma rota teórica para corrigir isso.

5. Significado e Implicações

• Mudança de Paradigma: O artigo desafia a premissa de que a consistência é o único objetivo no método PC. Ele argumenta que, para problemas humanos (psicológicos), a "estruturidade" da preferência (ordem estrita) pode ser mais importante do que a consistência matemática perfeita, e que os métodos atuais podem destruir essa estrutura ao tentar corrigi-la.
• Aplicações Práticas: A metodologia é relevante para gestão de ativos, finanças e redes sem fio, onde decisões de ranking estrito são críticas.
• Limitações e Futuro: O autor reconhece que a implementação prática da minimização de $\Phi$ (usando métodos de gradiente) ainda é uma questão em aberto. Além disso, sugere que modelos puramente numéricos podem ser insuficientes para capturar a complexidade do julgamento humano, propondo o uso de grupos de Lie não abelianos para modelar estruturas mais complexas de preferência.

Em suma, o trabalho oferece uma fundamentação matemática rigorosa para garantir que rankings estritos sejam preservados durante o processo de correção de inconsistências, introduzindo novos conceitos topológicos e um funcional de otimização inovador.