Sequential Apportionment from Stationary Divisor Methods

Resumo Técnico: Apportamentos Sequenciais a partir de Métodos Divisores Estacionários

1. Problema e Contexto

O artigo aborda a questão de como os métodos de divisão (divisor methods) determinam não apenas a alocação final de assentos para partidos políticos, mas também a sequência na qual esses assentos são atribuídos. Embora os métodos de divisão sejam amplamente utilizados em sistemas de representação proporcional, a análise da ordem sequencial de alocação é menos explorada, apesar de sua importância prática em cenários como:

• Formação de Governos de Coalizão: Em sistemas como o da Irlanda do Norte, a ordem de alocação de assentos determina a seleção de cargos ministeriais (cabinet positions), onde o primeiro-ministro é escolhido pelo partido majoritário, mas outros cargos são distribuídos sequencialmente.
• Problemas de Sequenciamento "Just-in-Time" (JIT): A estrutura matemática é análoga à alocação de tarefas ou itens para atender a demandas de forma equitativa ao longo do tempo.

O foco do trabalho são os métodos divisores estacionários, uma família parametrizada por um "ponto de corte" ($c \in [0, 1]$) que define a regra de arredondamento. Este conjunto inclui:

• Método de Adams ($c=0$): Favorece partidos menores.
• Método de Sainte-Laguë/Webster ($c=0.5$).
• Método de D'Hondt/Jefferson ($c=1$): Favorece partidos maiores.

O problema central é caracterizar o conjunto de todas as sequências de alocação possíveis geradas por esses métodos para votos inteiros, entender sua periodicidade e quantificar o número de sequências distintas em cenários de $n$ partidos.

2. Metodologia

Os autores utilizam uma abordagem combinatória e analítica baseada nas propriedades dos métodos divisores:

• Definição Sequencial: A alocação é modelada como um processo indutivo onde o $j$-ésimo assento é dado ao partido $i$ que maximiza a razão $p_i / (a_i + c)$, onde $p_i$ é o total de votos e $a_i$ é o número de assentos já atribuídos.
• Propriedades Fundamentais:
  • Monotonia da Casa (House Monotonicity): Garante que a alocação de um assento adicional nunca reduza o número de assentos de um partido, permitindo a construção de sequências.
  • Proporcionalidade Fraca: Se o tamanho da casa for um múltiplo do vetor de votos, a alocação é estritamente proporcional.
  • Periodicidade: Para vetores de votos inteiros, as sequências de alocação são periódicas. O período é determinado pelo máximo divisor comum (MDC) dos votos.
• Ordenação Lexicográfica: Os autores introduzem uma ordenação lexicográfica nas sequências para refinar o conceito de "viés de tamanho". Em vez de apenas contar assentos, analisam quando os partidos recebem seus assentos.
• Abordagem de "Levantamento" (Lifting): Para o caso de $n$ partidos, os autores desenvolvem um algoritmo que constrói a sequência $n$-partidária a partir das $\binom{n}{2}$ sequências de pares de partidos (2-partidárias), explorando a propriedade de consistência dos métodos divisores.

3. Contribuições Principais e Resultados

A. Caracterização de Sequências para 2 Partidos

• Estrutura Periódica: Para dois partidos com votos $p_1$ e $p_2$ (relativamente primos), a sequência tem período $p_1 + p_2$ e consiste em blocos de 1s (partido 1) e 2s (partido 2).
• Restrição de Consecutividade: O partido menor nunca recebe dois assentos consecutivos em um método divisor estacionário.
• Classificação por $c$: O intervalo $[0, 1]$ é particionado em subintervalos onde a sequência de alocação permanece constante. O número de sequências distintas para 2 partidos é dado por $|p_1 - p_2| + 1$ (incluindo o caso $c=1$).
• Fórmulas Explícitas: O artigo fornece fórmulas exatas para determinar os expoentes (número de 1s entre os 2s) baseadas no ponto de corte $c$ e nos votos.

B. Relação entre Adams e D'Hondt

• É estabelecida uma relação teórica direta: a sequência de alocação do Método de Adams ($c=0$) para um vetor de votos $p$ é igual à sequência do Método de D'Hondt ($c=1$) deslocada, onde os primeiros $n$ assentos são atribuídos um a cada partido (1 a $n$), seguidos pela sequência de D'Hondt.
• Isso demonstra que o viés de Adams não é apenas sobre o número final de assentos, mas sobre a distribuição temporal inicial.

C. Generalização para $n$ Partidos

• Algoritmo de Levantamento (Algorithm 1): Um método sistemático para construir a sequência de $n$ partidos combinando as sequências de todos os pares possíveis. O algoritmo identifica, em cada passo, qual partido aparece como o "primeiro" elemento em $n-1$ das sequências de pares, atribuindo o próximo assento a esse partido.
• Contagem de Sequências Distintas: O número de sequências possíveis para $n$ partidos é determinado pela união dos conjuntos de pontos de corte críticos gerados por todos os pares de partidos.
  • Utiliza-se o Princípio da Inclusão-Exclusão para contar o número de elementos na união dos conjuntos de pontos de corte, resultando na fórmula:
    $$N_{seq} = 1 + \left| \bigcup_{k \in M} A_k \right|$$
    onde $M$ são os pares de partidos e $A_k$ são os conjuntos de pontos de corte para cada par.

D. Refinamento do Viés (Bias)

• O trabalho propõe uma nova perspectiva sobre o viés de tamanho: o Método de Adams favorece partidos pequenos ao conceder-lhes assentos mais cedo na sequência, enquanto o D'Hondt favorece grandes partidos ao conceder-lhes assentos mais cedo. A ordenação lexicográfica das sequências reflete esse viés temporal.

4. Significado e Implicações

• Aplicação Prática: O estudo fornece ferramentas para prever como a ordem de seleção de cargos ministeriais mudaria se diferentes métodos de divisão fossem utilizados, oferecendo uma alternativa a negociações políticas intensas e estratégicas.
• Teoria da Escolha Social: O trabalho conecta a teoria de alocação de assentos com problemas de sequenciamento JIT, mostrando que a periodicidade e a consistência são propriedades-chave para a equidade temporal.
• Limitações e Futuro: O artigo assume votos inteiros e métodos estacionários. O reconhecimento de que métodos não-estacionários (como Huntington-Hill) podem não gerar sequências periódicas abre caminho para futuras pesquisas.
• Impacto Político: A análise demonstra que, embora a alocação final de assentos possa ser idêntica para diferentes métodos em certas configurações, a sequência pode variar drasticamente, alterando a dinâmica de poder na formação de coalizões e na distribuição de portfólios ministeriais.

Em suma, o artigo estabelece uma teoria completa para a geração e contagem de sequências de alocação em métodos divisores estacionários, transformando a compreensão do viés de tamanho de uma questão estática (número de assentos) para uma dinâmica (tempo de alocação).