Measurable Majorities Are Not Finitely Axiomatizable

Sintesi Tecnica: Le Maggioranze Misurabili Non Sono Finitamente Assiomatizzabili

Enunciato del Probleamento
Il saggio investiga l'assiomatizzabilità finita del ragionamento di maggioranza stretta all'interno di cornici decisionali sociali finite. Nello specifico, affronta se il criterio di coerenza che caratterizza quando i giudizi di maggioranza qualitativi siano rappresentabili da una misura finitamente additiva possa essere sostituito, nell'ambito finito, da qualsiasi frammento finito limitato. La questione centrale è se l' "indice di incoerenza" — la lunghezza minima di una sequenza di blocchi di voto necessari per esporre una contraddizione strutturale (incoerenza) — sia uniformemente limitato attraverso tutte le cornici finite. Questo problema risolve la Congettura 5.7 di Moss e Pedersen (2026), la quale ipotizzava che non esistesse un tale limite finito uniforme.

Metodologia
Gli autori forniscono una prova puramente geometrica dell'illimitata natura dell'indice di incoerenza, offrendo un'alternativa all'approccio combinatorio recente di Blanco (2026). La metodologia procede come segue:

1. Mappatura Geometrica: Lo studio mappa le proprietà della selezione di sottoinsiemi direttamente nella geometria degli spazi vettoriali razionali ($\mathbb{Q}^{W_k}$). I sottoinsiemi sono rappresentati da vettori indicatori bipolari ($x_A \in \{-1, 1\}^{W_k}$), dove la condizione di una sequenza "perfettamente bilanciata" (che copre l'universo esattamente $m/2$ volte) si traduce in una condizione di somma nulla ($\sum x_{A_i} = 0$).
2. Costruzione del Nucleo (Core): Per un intero fissato $k \geq 1$, gli autori costruiscono un universo specifico di votanti $W_k$ costituito da tutti i sottoinsiemi di $k+1$ elementi di un insieme base $V_k = \{1, \dots, 2k+2\}$. La dimensione di questo universo è il coefficiente binomiale centrale $\binom{2k+2}{k+1}$.
3. Blocchi Dittatorici e Indipendenza Lineare: Viene definito un "nucleo" di $2k+2$ "blocchi dittatorici", dove ogni blocco contiene tutti i votanti che possiedono un elemento base specifico. Gli autori dimostrano che qualsiasi sequenza non vuota perfettamente bilanciata formata esclusivamente da questi blocchi deve avere una lunghezza che è un multiplo di $2k+2$. Ciò stabilisce un limite inferiore sulla lunghezza di qualsiasi potenziale violazione di coerenza derivata da questo nucleo.
4. Separazione di Vettori Generici: Utilizzando un "Lemma della Unione Finita" (Białynicki-Birula et al., 1959), gli autori costruiscono un vettore razionale generico $u^*_k$ che è ortogonale allo spazio lineare dei vettori del nucleo ma non ortogonale a tutti gli altri vettori bilanciati nello strato intermedio del power set. Questo vettore viene utilizzato per definire una cornice standard massima che include i vettori del nucleo ma esclude qualsiasi ostruzione bilanciata più breve.

Contributi Chiave e Risultati

• Indice di Incoerenza Illimitato: Il saggio dimostra che per ogni $k \geq 1$, esiste una cornice decisionale sociale standard massima $M_k$ il cui indice di incoerenza è esattamente $2k + 2$. Di conseguenza, non esiste un limite finito uniforme sull'indice di incoerenza delle cornici decisionali sociali.
• Risoluzione della Congettura 5.7: Questo risultato conferma la Congettura 5.7 di Moss e Pedersen (2026), dimostrando che lo schema di coerenza richiesto per caratterizzare le maggioranze misurabili non può essere troncato a un insieme finito di istanze.
• Costruzione Esplicita dello Strato Intermedio: La costruzione fornisce una sequenza esplicita di dimensioni di universo ($2n_k = \binom{2k+2}{k+1}$) che soddisfa le proprietà previste dalla Congettura B.25. Nello specifico, costruisce una famiglia priva di complementi nello strato intermedio (sottoinsiemi di dimensione $n_k$) che contiene una sottofamiglia bilanciata di dimensione $2k+2$ ma nessuna sottofamiglia bilanciata di dimensioni $2, 4, \dots, 2k$.
• Non-Assiomatizzabilità Finita: Combinando il risultato dell'illimitatezza con il teorema di correttezza e completezza per la logica minimale di Moss-Pedersen, gli autori stabiliscono che la classe delle cornici decisionali misurabili non è finitamente assiomatizzabile nel linguaggio di Moss-Pedersen. Qualsiasi insieme finito di enunciati catturerebbe solo istanze di coerenza fino a una certa lunghezza finita $M$, lasciando la cornice costruita $M_k$ (con indice $2k+2 > M$) come controesempio che soddisfa gli assiomi finiti ma fallisce la rappresentabilità.

Significatività
Il saggio afferma che l'inerente complessità del ragionamento di maggioranza stretta è una profonda realtà combinatoria radicata nella geometria degli spazi vettoriali finiti, piuttosto che un mero artefatto della teoria della misura. Mentre Moss e Pedersen (2026) hanno stabilito che la rappresentabilità è caratterizzata dalla coerenza, questo lavoro dimostra che il confine tra cornici rappresentabili e non rappresentabili possiede una complessità finita illimitata. Ogni ostacolo alla rappresentabilità è finito, ma non esiste un tetto finito sulla lunghezza dell'ostacolo richiesto.

Gli autori osservano che la loro costruzione geometrica produce un elettorato che scala esponenzialmente con l'indice ($O(4^k/\sqrt{k})$), mentre la prova combinatoria di Blanco (2026) ottiene una scalabilità quadratica. Tuttavia, l'approccio geometrico è presentato come un meccanismo autosufficiente derivato dai primi principi, isolando una famiglia simmetrica di blocchi di voto di metà dimensione ed estendendola a una cornice massima in cui ogni ostacolo bilanciato più breve è escluso. Ciò conferma che l'infinità dello schema di coerenza nella logica di Moss-Pedersen è inevitabile.