On strict ranking by pairwise comparisons

Titolo: Sulla Classificazione Rigorosa tramite Confronti a Coppie

1. Il Problema

Il paper affronta una sfida centrale nel metodo dei confronti a coppie (PC - Pairwise Comparisons): ottenere una classificazione rigorosa (strict ranking) di $n$ elementi, ovvero un ordinamento in cui nessun elemento abbia lo stesso rango di un altro (nessun pareggio), partendo da una matrice di confronti a coppie che può essere incoerente.

Nella letteratura esistente, la procedura standard per derivare un ranking da una matrice PC incoerente consiste nel "renderla coerente" (ad esempio tramite proiezione ortogonale o minimizzazione di indicatori di incoerenza) e poi estrarre i pesi. Tuttavia, l'autore dimostra che questo approccio è problematico:

• Le procedure di "coerentizzazione" possono alterare l'ordinamento originale o portare a matrici coerenti che non soddisfano le condizioni per un ranking rigoroso (producendo elementi con peso uguale).
• Esiste un divario tra la necessità di coerenza logica (transitività) e la preservazione dell'ordine di preferenza intrinseco (ranking) quando i dati iniziali sono incoerenti.

2. Metodologia e Strumenti Matematici

L'approccio proposto si basa su una combinazione di algebra, topologia e teoria dei gruppi di Lie:

• Condizione R (R-condition): Viene introdotta una nuova condizione necessaria e sufficiente per garantire un ranking rigoroso. Una matrice PC soddisfa la condizione R se esiste una permutazione $\sigma$ tale che per ogni coppia di indici $i < j$, il rapporto $a_{\sigma(i), \sigma(j)} < 1$. Questo definisce un ordinamento totale senza uguaglianze.
• Spazi di Configurazione e Topologia: L'autore analizza la struttura topologica dello spazio delle matrici PC ($PC_n$). Viene dimostrato che lo spazio delle matrici che soddisfano la condizione R ($RPC_n$) è composto da un numero enorme di componenti connesse ($2^{n(n-1)/2}$).
• Teoria dei Gruppi e Geometria: Viene utilizzata la teoria dei gruppi di Lie (trasformazione logaritmica da $(\mathbb{R}^*_+, \cdot)$ a $(\mathbb{R}, +)$) e concetti di teoria dei campi di gauge (gravità quantistica a loop) per modellare le matrici. Viene definita la "matrice di ranking caratteristica" (basata sul segno del logaritmo degli elementi) per classificare le componenti connesse.
• Analisi delle Procedure di Coerentizzazione: Viene studiato l'effetto di procedure esistenti (come la proiezione ortogonale) sulle componenti connesse. Si dimostra che tali procedure possono spostare una matrice da una componente "ammissibile" (che ammette un ranking rigoroso) a una "non ammissibile" o a una componente coerente che viola la condizione R.

3. Contributi Chiave e Risultati

• Teorema di Non-Biunivocità: Per $n \ge 3$, non esiste una biiezione tra le permutazioni possibili ($S_n$, $n!$) e le componenti connesse dello spazio delle matrici PC ($2^{n(n-1)/2}$). Questo implica l'esistenza di loci non ammissibili: configurazioni di confronti che, pur permettendo teoricamente un ordinamento, non possono essere convertite in un ranking rigoroso coerente tramite le procedure standard.
• Instabilità delle Procedure Standard: Il paper dimostra (Teorema 3.8) che le procedure di coerentizzazione possono:
  1. Distruggere la condizione R (trasformando una matrice con ranking rigoroso in una con elementi equivalenti).
  2. Cambiare l'ordinamento (spostare la matrice in un diverso locus ammissibile).
• Proposta di un Funzionale di Minimizzazione ($\Phi$): Per superare questi limiti, l'autore propone un nuovo funzionale $\Phi: APC_n \to \mathbb{R}^+$ definito su un sottoinsieme di matrici ammissibili ($APC_n$).
  • $\Phi(A) = 0$ se e solo se la matrice $A$ è coerente E soddisfa la condizione R.
  • Il funzionale è costruito in modo tale da divergere ($\to +\infty$) se ci si avvicina a matrici con elementi di peso uguale (violazione della condizione R) o se si tenta di coerentizzare matrici non ammissibili.
  • La minimizzazione di $\Phi$ tramite metodi del gradiente dovrebbe teoricamente convergere a una matrice coerente che preserva il ranking rigoroso.

4. Significato e Implicazioni

• Cambio di Paradigma: Il lavoro suggerisce che la ricerca della coerenza matematica assoluta non è sempre compatibile con la preservazione di un ranking rigoroso derivato da giudizi umani. Invece di forzare la coerenza e poi estrarre il ranking, si dovrebbe cercare un ranking rigoroso che sia anche coerente, minimizzando un funzionale specifico.
• Limiti della Modellazione Matematica Umana: Nella conclusione, l'autore riflette sulla natura psicologica del ranking. Mentre la tecnologia (es. reti wireless) può beneficiare di modelli matematici rigidi basati su $\mathbb{R}^*_+$, il giudizio umano è spesso "fuzzy" e linguistico. L'uso di strutture matematiche più complesse (come gruppi di Lie non abeliani o fibrati principali) potrebbe essere necessario per modellare problemi complessi legati alla psicologia umana, dove la semplice coerenza numerica è insufficiente.
• Geometria Riemanniana: L'appendice introduce una metrica Riemanniana sugli spazi di configurazione ordinati, ispirata alla metrica iperbolica, che mostra proprietà di divergenza quando gli elementi tendono a sovrapporsi (coincidenza), offrendo un nuovo strumento geometrico per lo studio di questi problemi.

In sintesi, il paper offre una critica matematica rigorosa alle procedure attuali di ranking, dimostra la loro instabilità nel preservare l'ordine rigoroso e propone un nuovo framework variazionale basato su un funzionale specifico per risolvere il problema della classificazione rigorosa in presenza di incoerenza.