📈 economics

$p$ -orderings: From Slater to Kemeny-Young to Ranked Pairs

Questo articolo introduce una famiglia unificata di regole di classificazione chiamate $p$ -ordering, che minimizzano la norma $p$ dei disaccordi di maggioranza a coppie e comprendono le ordinanze di Slater, Kemeny-Young e Ranked Pairs come casi o limiti specifici, dimostrando al contempo che tali regole sono unicamente caratterizzate dai naturali assiomi di invarianza di scala e monotonicità.

Autori originali: Amir Babak Aazami, Hubert Lewis Bray

Pubblicato 2026-06-30

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Amir Babak Aazami, Hubert Lewis Bray

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di cercare di risolvere una disputa tra un gruppo di amici su quale sia il miglior film dell'anno. Tutti hanno votato, ma i risultati sono confusi. Alcuni preferiscono il Film A rispetto al B, altri preferiscono il B rispetto al C, ma sorprendentemente, un terzo gruppo pensa che il C sia migliore del A. Questo crea un ciclo (A > B > C > A), rendendo impossibile dichiarare un singolo vincitore perfetto guardando solo chi ha battuto chi.

Questo articolo introduce una nuova e flessibile famiglia di regole chiamate p-ordinamenti per risolvere questo problema complicato. Pensa a questa famiglia come a una "manopola" o a uno "slider" che puoi ruotare per cambiare quanto ti interessa la dimensione del disaccordo tra gli elettori.

Ecco come funziona la manopola, spostandosi da un'estremità all'altra:

1. L'estremità del "Conteggio" (Ordinamenti Slater)

La manopola è impostata quasi a zero ( $p \to 0$ ).
Immagina di essere un contabile severo che si preoccupa solo di quante volte le persone dissentono dal tuo ranking, non di quanto fortemente lo sentano.

L'analogia: Hai un mucchio di carte rosse. Ogni volta che il tuo ranking contraddice il voto della maggioranza (ad esempio, tu dici che A è meglio di B, ma la folla dice che B è meglio di A), ricevi una carta rossa.
L'obiettivo: Vuoi il ranking con il minor numero di carte rosse.
Il risultato: Questo è l'ordinamento Slater. Tratta una differenza di un solo voto allo stesso modo di una differenza enorme di 1.000 voti. Si limita a contare gli errori.

2. L'estremità "Centrale" (Regola Kemeny-Young)

La manopola è impostata a 1 ( $p = 1$ ).
Ora, inizi a dare importanza alla dimensione del disaccordo. Un margine di 10 voti sembra dieci volte peggio di un margine di 1 voto.

L'analogia: Invece di contare solo le carte rosse, stai ora misurando la "distanza" del disaccordo. Se la folla è in disaccordo con te per molto, il tuo punteggio soffre di più.
L'obiettivo: Vuoi minimizzare la somma totale di queste dimensioni di disaccordo.
Il risultato: Questa è la famosa regola Kemeny-Young. È come cercare il percorso che richiede il minor "sforzo" totale per spiegare le preferenze degli elettori.

3. L'estremità del "Problema Maggiore" (Coppie Classificate)

La manopola è girata al massimo (Grande $p$ ).
Ora, diventi ossessionato dai disaccordi più grandi. Non ti importa più delle piccole cose; ti interessa solo la singola, enorme, lampante contraddizione.

L'analogia: Immagina di essere un giudice che esamina una lista di crimini. Non ti interessano i 50 piccoli verbali per divieto di sosta; ti interessa solo un omicidio. Se puoi risolvere l'omicidio, non ti importa se accidentalmente crei 10 nuovi verbali per divieto di sosta. Dai priorità alla violazione "più pesante" sopra ogni altra cosa.
L'obiettivo: Guardi il margine di vittoria più grande (ad esempio, "A batte B di 50 voti"). Lo blocchi. Poi guardi il secondo più grande. Se è coerente con il primo, lo blocchi. Se crea un ciclo (una contraddizione), lo scarti perché è l' "anello debole" in quella specifica catena di logica.
Il risultato: Questo è il metodo delle Coppie Classificate (Ranked Pairs). L'articolo dimostra che se giri la manopola abbastanza, il tuo "p-ordinamento" diventa esattamente le Coppie Classificate.

La "Magia" della Manopola

Gli autori hanno scoperto qualcosa di affascinante: questa manopola non è casuale.

Si sono chiesti: "C'è una ragione matematica per cui dovremmo usare questa specifica formula ( $|x|^p$ )?"
Hanno dimostato che se vuoi una regola che:

Funzioni allo stesso modo sia che tutti votino una volta, sia che votino dieci volte (Invarianza di scala).
Si preoccupi solo di quanto sia grande il margine, non della direzione (Dipendenza dalla magnitudo).
Tratti i margini più grandi come più importanti (Monotonicità).

...allora l'unica formula che puoi usare è questa manopola $|x|^p$ . È il modo "canonico" (standard) per misurare questi disaccordi.

L'effetto "Congelamento"

L'articolo spiega anche cosa succede mentre continui a girare la manopola sempre più in alto.

All'inizio, man mano che aumenti $p$ , il ranking potrebbe saltare un po' mentre diverse combinazioni di voti diventano più o meno importanti.
Tuttavia, una volta superato un certo "punto di svolta" (un numero specifico $p^*$ ), il ranking si congela.
Non importa quanto più in alto giri la manopola dopo quel punto, il risultato non cambia più. Si è bloccato sul risultato delle Coppie Classificate.

Riassunto

Pensa al p-ordinamento come a una singola, universale macchina per classificare i candidati.

Giri la manopola a 0, e conta gli errori (Slater).
Giri la manopola a 1, e somma il dolore dei disaccordi (Kemeny-Young).
Giri la manopola all'infinito, e dai priorità ai disaccordi più grandi sopra ogni altra cosa (Coppie Classificate).

L'articolo mostra che questi tre metodi famosi, apparentemente diversi, sono in realtà solo diverse impostazioni dello stesso macchinario, e che questa macchina è matematicamente l'unica che rispetta le regole base di equità riguardo ai margini di voto.

Sintesi Tecnica: p-ORDERINGS: DA SLATER A KEMENY-YOUNG A RANKED PAIRS

Problematica
Nelle elezioni preferenziali, le schede inducono margini di maggioranza a coppie tra i candidati. Sebbene molti sistemi di benessere sociale si affidino a questa informazione ponderata sulle coppie piuttosto che al profilo completo, è mancata una struttura unificata che connettesse distinti metodi di classificazione. Nello specifico, il saggio affronta la relazione tra tre prominenti regole basate sui margini: gli ordinamenti di Slater (che minimizzano il numero di disaccordi a coppie), la regola di Kemeny-Young (che minimizza la somma delle magnitudini dei disaccordi) e Ranked Pairs (che prioritizza i margini più ampi in modo lessicografico). Il problema centrale è determinare se queste regole possano essere viste come membri di una singola famiglia canonica di regole di classificazione derivate da un principio di ottimizzazione specifico sulla matrice del margine di vittoria (m.o.v.).

Metodologia
Gli autori introducono una famiglia di regole di classificazione denominata p-orderings, definita minimizzando la $p$ -norma dei margini di maggioranza a coppia che sono in disaccordo con un dato ordinamento.

Definizione della $p$ -norma sulle matrici m.o.v.: Per un dato ordinamento di candidati, gli autori isolano le voci della parte superiore triangolare della matrice m.o.v. che sono negative (indicando un disaccordo con l'ordinamento). Definiscono la $p$ -norma di un ordinamento $\pi$ come:
$\|\pi\|_p = \left( \sum_{i<j, m_{ij}<0} |m_{ij}|^p \right)^{1/p}$
Il p-ordering è la permutazione dei candidati che minimizza questa quantità.
Giustificazione Canonica (Teorema 1): Il saggio sostiene che la scelta della funzione $f(x) = |x|^p$ non sia arbitraria. Sotto tre assunzioni naturali — invarianza di scala, dipendenza solo dalla magnitudo del margine e monotonia rispetto alla dimensione del margine — gli autori dimostrano che l'unica funzione di punteggio continua compatibile con questa costruzione è della forma $c|x|^p$ . Ciò stabilisce la famiglia $p$ come canonica tra le costruzioni basate sui margini.
Ottimizzazione tramite Q-sum: Per facilitare l'analisi, gli autori definiscono una "Q-sum" (Corollario 2), che somma le magnitudo con segno $\sum \mu_{ij} |m_{ij}|^p$ . Massimizzare questa somma è equivalente a minimizzare la $p$ -norma delle voci negative.

Risultati Chiave
Il saggio stabilisce il comportamento dei p-orderings attraverso lo spettro di $p > 0$ :

Limite per $p \to 0^+$ (Proposizione 1): Minimizzare la $p$ -norma diventa equivalente a minimizzare il conteggio dei disaccordi a coppie. Pertanto, il p-ordering converge all'ordinamento di Slater.
Caso $p = 1$ (Proposizione 2): L'ordinamento della 1-norma è matematicamente equivalente alla regola di Kemeny-Young, che minimizza la somma delle magnitudo assolute dei disaccordi.
Limite per $p \to \infty$ (Teorema 2): Per qualsiasi elezione con margini a coppia distinti e non nulli, esiste una soglia $p^*$ $p^{*}$ tale che per ogni $p \geq p^*$ $p \geq p^{*}$ , il p-ordering coincide esattamente con l'ordinamento Ranked Pairs.
- Meccanismo: La prova si basa su una "Proprietà di Dominanza Cumulativa" (Lemma 3). Man mano che $p$ aumenta, il termine corrispondente al maggior margine di vittoria domina la somma di tutti i termini più piccoli. Di conseguenza, la procedura di ottimizzazione diventa lessicografica: essa prioritizza il soddisfacimento dei margini più grandi per primi, poi i successivi più grandi, rispecchiando esattamente l'algoritmo Ranked Pairs.
Stabilizzazione: L'insieme dei p-orderings è costante su un numero finito di intervalli sull'asse $p$ positivo (Proposizione 9). Per un $p$ sufficientemente grande, la soluzione si stabilizza verso l'ordinamento unico di Ranked Pairs (assumendo margini distinti).

Proprietà dei p-orderings
Il saggio analizza alcune proprietà assiomatiche della famiglia dei p-orderings:

Smith-consistenza: Per tutti i $p > 0$ , i p-orderings classificano i candidati all'interno dell'insieme di Smith sopra quelli esterni ad esso (Proposizione 5).
Compatibilità di Condorcet: Se esiste un vincitore di Condorcet, questi viene classificato primo; se esiste un perdente di Condorcet, questi viene classificato ultimo.
Monotonia: Se il p-ordering è unico, esso soddisfa la proprietà di monotonia (Proposizione 7).
Indipendenza dall'ultimo posto perdente: Rimuovere il candidato classificato ultimo in un'elezione con schede invertite non altera il vincitore dell'elezione originale (Proposizione 6).
Invarianza rispetto ai cloni: La famiglia non è generalmente invariante rispetto ai cloni, poiché la regola di Kemeny-Young ( $p=1$ ) non soddisfa questo criterio (Proposizione 3).

Significatività
Il saggio sostiene di unificare tre distinti sistemi di voto — Slater, Kemeny-Young e Ranked Pairs — in una singola famiglia di regole parametrizzata da un unico parametro basata sui margini di maggioranza a coppie. Dimostrando che Ranked Pairs emerge come il membro finale del grande- $p$ di questa famiglia canonica, il lavoro fornisce un ponte teorico tra approcci basati sul conteggio, sulla somma e lessicografici. Gli autori sottolineano che Ranked Pairs non è un euristica isolata ma il limite naturale di un processo di ottimizzazione continuo guidato dalle magnitudo dei margini. I risultati sono provati sotto l'assunzione di margini distinti e non nulli per evitare complicazioni nei pareggi, con la convergenza verso Ranked Pairs che si mantiene per ogni $p$ sufficientemente grande.