Resumo Técnico: Centralização e Estabilidade em Constituições Formais

1. Declaração do Problema

O artigo investiga a dinâmica dos procedimentos de tomada de decisão dentro de sistemas formais, focando especificamente em se um método de votação (Função de Escolha Social ou SCF) pode ser estável contra a substituição por outro método. Isso é motivado pela observação de que, em sistemas como Organizações Autônomas Descentralizadas (DAOs), o próprio mecanismo de votação está sujeito a alterações via propostas. A questão central é: Quais regras de votação são "auto-sustentáveis"?

Uma SCF é definida como auto-sustentável se, quando os agentes votam de acordo com suas preferências ex-ante entre a SCF incumbente e qualquer SCF substituta potencial, a SCF incumbente agrega esses votos para rejeitar a substituição. O artigo explora como a estabilidade dessas regras se correlaciona com a centralização, perguntando especificamente se estruturas democráticas ou oligárquicas tendem a evoluir para ditaduras sob várias estruturas de crenças e regras de desempate.

2. Metodologia

2.1 Modelo Formal

• Agentes e Crenças: O modelo considera $n \ge 3$ agentes. Os agentes possuem crenças sobre a distribuição de vetores de votação futuros (decisões). Essas crenças são modeladas como distribuições de probabilidade $F$ sobre $\{0, 1\}^n$.
• Utilidade: A utilidade ex-ante de um agente para uma SCF $f$ é a probabilidade de que o resultado de $f$ corresponda à preferência do agente por uma decisão extraída de sua distribuição de crenças: $u_i(f, F) = P_{v \sim F}[f(v) = v_i]$.
• Condição de Auto-sustentação: Uma SCF $f$ é auto-sustentável se, para qualquer alternativa $f'$, o voto para substituir $f$ por $f'$ (onde os agentes votam com base na comparação entre $u_i(f)$ e $u_i(f')$) falhar ao ser agregado por $f$.
• Desempate: O artigo analisa duas regras de desempate para agentes indiferentes entre $f$ e $f'$:
  1. Arbitrário: Os agentes podem votar de qualquer maneira.
  2. Viés pelo Status Quo (SQB): Agentes indiferentes votam para manter a regra atual ($f$).

2.2 Abordagens às Crenças

Os autores avaliam a estabilidade sob três abordagens epistêmicas distintas:

1. Otimista: Uma SCF é auto-sustentável se existir uma crença comum $F$ que a apoie.
2. Pessimista: Uma SCF é auto-sustentável apenas se for apoiada por todas as crenças comuns $F$.
3. I.I.D. (Independente e Identicamente Distribuído): As preferências dos agentes são modeladas como variáveis de Bernoulli com parâmetro $p$. O artigo foca no caso não enviesado ($p=0.5$) e nos casos enviesados.

2.3 Domínios

A análise é conduzida em três domínios de SCFs:

1. Funções Booleanas Gerais ($D_G$): Todas as mapeamentos $\{0, 1\}^n \to \{0, 1\}$.
2. Jogos Simples ($D_S$): SCFs monótonas e não triviais (compatíveis com incentivos).
3. Jogos de Maioria Ponderada ($D_W$): SCFs definidas por pesos e um limiar (ex.: votação baseada em tokens).

2.4 Extensões

• Agentes Prospectivos: Os agentes consideram a trajetória de longo prazo das mudanças (ex.: se mudar para $f'$ levar a $f''$, eles podem preferir permanecer em $f$).
• Valor Comum (Teorema do Júri de Condorcet): Os agentes derivam utilidade não apenas de vencer (extrativo), mas de tomar a decisão "correta" com base em sinais agregados (participativo).

3. Contribuições e Resultados Principais

3.1 Abordagem Otimista

• Desempate Arbitrário: Uma SCF é auto-sustentável se e somente se for própria (nunca produz 1 tanto para um vetor $v$ quanto para sua negação $\neg v$). No domínio dos Jogos de Maioria Ponderada, todas as regras são próprias, significando que todo o domínio é auto-sustentável.
• Viés pelo Status Quo (SQB): Uma SCF é auto-sustentável se for própria ou preservadora do nulo (produz 0 quando todos votam 0). Como todos os jogos simples e jogos de maioria ponderada são preservadores do nulo, todo o domínio é auto-sustentável sob SQB.

3.2 Abordagem Pessimista

• Desempate Arbitrário: No domínio geral $D_G$, apenas a função constante-0 é auto-sustentável. Em $D_S$ e $D_W$, nenhuma SCF é auto-sustentável.
• Viés pelo Status Quo (SQB): O artigo fornece uma caracterização rigorosa para $D_S$ e $D_W$. As únicas regras auto-sustentáveis são:
  1. Ditadura: Um único agente decide.
  2. 3-Oligopólio: Uma regra onde uma maioria de um conjunto específico de 3 agentes decide.
  3. Poli-Duopólios (PDPs): Regras onde as coalizões vencedoras mínimas são pares, e um agente específico aparece em todos os pares (ex.: um "jogador de veto" combinado com um parceiro).
  • Nota: O artigo prova que qualquer regra com uma coalizão vencedora mínima de tamanho $\ge 3$ (diferente do 3-oligopólio) é instável sob crenças pessimistas.

3.3 Abordagem I.I.D. (Não Enviesada)

• Funções Booleanas Gerais: As únicas regras auto-sustentáveis são Ditaduras, Anti-Ditaduras e a função Constante-0.
• Jogos Simples: Apenas Ditaduras são auto-sustentáveis.
• Jogos de Maioria Ponderada: Embora ditaduras sejam estáveis, o artigo identifica uma lacuna onde certos PDPs (especificamente aqueles com um jogador de veto e um limiar) podem ser auto-sustentáveis sob crenças i.i.d. não enviesadas, ao contrário do domínio geral de jogos simples.

3.4 Agentes Prospectivos

Quando os agentes antecipam mudanças futuras (modeladas como um grafo acíclico direcionado de transições):

• Para $n=3$, o conjunto de regras auto-sustentáveis prospectivas é idêntico ao conjunto pessimista de SQB.
• Para $n=4$ e $n=5$, o conjunto expande estritamente. Regras que não são estáveis sob análise de um único passo tornam-se estáveis porque os agentes percebem que mover-se para uma alternativa "melhor" pode levar a um resultado pior mais tarde. Essas novas regras estáveis frequentemente possuem maior bem-estar de Nash e bem-estar social do que as ditaduras ou oligarquias padrão.

3.5 Valor Comum (Extrativo vs. Participativo)

Em um modelo onde a utilidade é uma mistura de poder extrativo ($\lambda$) e precisão da decisão ($p$):

• Alto Extrativo ($\lambda \to 1$): O sistema converge para Ditadura ou pequenas oligarquias (Consensus-Duopólio).
• Alto Participativo ($\lambda \to 0$): O sistema converge para Democracia Plena (grandes comitês).
• Caso Misto: Existe uma relação monótona onde o aumento da natureza extrativa da economia ou a precisão dos sinais individuais ($p$) leva a oligarquias estáveis menores.
• Dinâmica: O sistema exibe sensibilidade às condições iniciais. Começar com uma alocação de tokens altamente distribuída (ex.: via airdrops) pode levar a um comitê grande e estável, enquanto pontos de partida concentrados levam à ditadura.

4. Significado e Alegações

O artigo alega fornecer uma "estrutura básica e corpo de resultados para a dinâmica de centralização e estabilidade". Suas contribuições primárias são:

1. Fundação Teórica para Governança de DAOs: Oferece uma micro-fundação para a centralização observada em DAOs, sugerindo que, sem restrições específicas, a dinâmica de regras de votação autorreferenciais naturalmente impulsiona os sistemas em direção à centralização (ditadura ou pequenas oligarquias).
2. Refutação da Estabilidade da Maioria Simples: Em contraste com trabalhos anteriores (Barbera & Jackson, 2004) que encontraram a maioria simples estável sob anonimato, este artigo mostra que remover a restrição de anonimato (permitindo votação ponderada ou regras não neutras) leva ao colapso da estabilidade democrática em ditadura sob suposições pessimistas ou i.i.d.
3. Papel do Desempate e das Crenças: Os resultados destacam que a estabilidade é altamente sensível às regras de desempate (SQB vs. Arbitrário) e à natureza das crenças dos agentes (Otimista vs. Pessimista).
4. Implicações Políticas: Os autores sugerem que alcançar estados estacionários inclusivos e descentralizados em sistemas formais (como DAOs) requer condições iniciais específicas, como alocações distributivas de tokens (airdrops/ICOs), para inicializar o sistema em uma bacia de atração para grandes comitês em vez de ditaduras.
5. Extensão da Teoria da Escolha Social: O artigo estende o conceito de "auto-seletividade" (Koray, 2000) relaxando o axioma de neutralidade, argumentando que constituições naturalmente diferenciam entre status quo e mudança, e mostrando como isso afeta os resultados de estabilidade.

O artigo conclui que, embora a "sabedoria das multidões" (efeitos do Teorema do Júri de Condorcet) possa apoiar comitês grandes e estáveis, a natureza extrativa da alocação de recursos em muitos sistemas cria uma forte atração gravitacional em direção à centralização.