Measurable Majorities Are Not Finitely Axiomatizable

Resumo Técnico: Maiorias Mensuráveis Não São Finitamente Axiomatizáveis

Enunciado do Problema
O artigo investiga a axiomatização finita do raciocínio de maioria estrita dentro de quadros de decisão social finitos. Especificamente, aborda se o critério de coerência que caracteriza quando julgamentos de maioria qualitativos são representáveis por uma medida finitamente aditiva pode ser substituído, no cenário finito, por qualquer fragmento finito limitado. A questão central é se o "índice de incoerência" — o comprimento mínimo de uma sequência de blocos de votação necessários para expor uma contradição estrutural (incoerência) — é uniformemente limitado em todos os quadros finitos. Este problema resolve a Conjectura 5.7 de Moss e Pedersen (2026), que postulava que não existiria tal limite finito uniforme.

Metodologia
Os autores fornecem uma prova puramente geométrica da ilimitação do índice de incoerência, oferecendo uma alternativa à recente abordagem combinatória de Blanco (2026). A metodologia procede da seguinte forma:

1. Mapeamento Geométrico: O estudo mapeia as propriedades da seleção de subconjuntos diretamente na geometria dos espaços vetoriais racionais ($\mathbb{Q}^{W_k}$). Os subconjuntos são representados por vetores indicadores bipolares ($x_A \in \{-1, 1\}^{W_k}$), onde a condição de uma sequência "perfeitamente equilibrada" (cobrindo o universo exatamente $m/2$ vezes) traduz-se em uma condição de soma zero ($\sum x_{A_i} = 0$).
2. Construção do Núcleo: Para um inteiro $k \geq 1$ fixo, os autores constroem um universo específico de eleitores $W_k$ consistindo em todos os subconjuntos de $(k+1)$ elementos de um conjunto base $V_k = \{1, \dots, 2k+2\}$. O tamanho deste universo é o coeficiente binomial central $\binom{2k+2}{k+1}$.
3. Blocos Ditadores e Independência Linear: Um "núcleo" de $2k+2$ "blocos ditadores" é definido, onde cada bloco contém todos os eleitores que possuem um elemento base específico. Os autores provam que qualquer sequência não vazia e perfeitamente equilibrada formada exclusivamente a partir desses blocos deve ter um comprimento que é um múltiplo de $2k+2$. Isso estabelece um limite inferior para o comprimento de qualquer potencial violação de coerência derivada deste núcleo.
4. Separação de Vetores Genéricos: Utilizando um "Lema de União Finita" (Białynicki-Birula et al., 1959), os autores constroem um vetor racional genérico $u^*_k$ que é ortogonal ao espaço vetorial linear do núcleo, mas não ortogonal a todos os outros vetores equilibrados na camada média do conjunto das partes. Este vetor é usado para definir um quadro padrão maximal que inclui os vetores do núcleo, mas exclui quaisquer obstruções equilibradas mais curtas.

Contribuições Principais e Resultados

• Índice de Incoerência Ilimitado: O artigo prova que, para cada $k \geq 1$, existe um quadro de decisão social padrão maximal $M_k$ cujo índice de incoerência é exatamente $2k + 2$. Consequentemente, não existe um limite finito uniforme para o índice de incoerência dos quadros de decisão social.
• Resolução da Conjectura 5.7: Este resultado confirma a Conjectura 5.7 de Moss e Pedersen (2026), demonstrando que o esquema de coerência necessário para caracterizar maiorias mensuráveis não pode ser truncado para um conjunto finito de instâncias.
• Construção Explícita da Camada Média: A construção fornece uma sequência explícita de tamanhos de universo ($2n_k = \binom{2k+2}{k+1}$) que satisfazem as propriedades previstas pela Conjectura B.25. Especificamente, constrói uma família livre de complementos na camada média (subconjuntos de tamanho $n_k$) que contém uma subfamília equilibrada de tamanho $2k+2$, mas não contém subfamílias equilibradas de tamanhos $2, 4, \dots, 2k$.
• Não-Axiomatizabilidade Finita: Ao combinar o resultado da ilimitação com o teorema de correção e completude para a lógica mínima de Moss-Pedersen, os autores estabelecem que a classe de quadros de decisão social mensuráveis não é finitamente axiomatizável na linguagem de Moss-Pedersen. Qualquer conjunto finito de sentenças capturaria apenas instâncias de coerência até um certo comprimento $M$, deixando o quadro construído $M_k$ (com índice $2k+2 > M$) como um contraexemplo que satisfaz os axiomas finitos, mas falha na representabilidade.

Significância
O artigo afirma que a complexidade inerente ao raciocínio de maioria estrita é uma realidade combinatória profunda imersa na geometria dos espaços vetoriais finitos, e não meramente um artefato da teoria da medida. Embora Moss e Pedersen (2026) tenham estabelecido que a representabilidade é caracterizada pela coerência, este trabalho demonstra que a fronteira entre quadros representáveis e não representáveis possui uma complexidade finita ilimitada. Toda obstrução à representabilidade é finita, mas não existe um teto finito para o comprimento da obstrução necessária.

Os autores observam que sua construção geométrica resulta em um tamanho de eleitorado que escala exponencialmente com o índice ($O(4^k/\sqrt{k})$), enquanto a prova combinatória de Blanco (2026) alcança uma escala quadrática. No entanto, a abordagem geométrica é apresentada como um mecanismo autossuficiente derivado de primeiros princípios, isolando uma família simétrica de blocos de votação de metade do tamanho e estendendo-a a um quadro maximal onde toda obstrução equilibrada mais curta é excluída. Isso confirma que a infinitude do esquema de coerência na lógica de Moss-Pedersen é inescapável.