Null player neutrality in TU-games: Egalitarian and Shapley solutions

Resumo Técnico: Neutralidade do Jogador Nulo em Jogos com Utilidade Transferível (JUT)

Declaração do Problema
Na teoria dos jogos cooperativos com utilidade transferível (jogos JUT), a alocação de valor entre os jogadores é tipicamente governada por axiomas estruturais como eficiência, linearidade e simetria. Duas soluções polares dominam a literatura: o valor de Shapley, que incorpora uma perspectiva marginalista ao recompensar os jogadores com base em suas contribuições marginais esperadas, e a solução de divisão igualitária, que aloca o valor da coalizão grande uniformemente, independentemente da produtividade individual.

O valor de Shapley é classicamente caracterizado pela Propriedade do Jogador Nulo, que determina que qualquer jogador que não contribui para nenhuma coalizão recebe um pagamento de zero. Embora matematicamente elegante, essa propriedade incorpora pressupostos normativos que podem conflitar com princípios igualitários ou baseados em necessidades da justiça distributiva (por exemplo, a equidade rawlsiana), pois exclui agentes não produtivos de qualquer parcela da riqueza coletiva. Por outro lado, a solução de divisão igualitária satisfaz um conjunto diferente de intuições, mas falha em atender à propriedade do jogador nulo.

O artigo aborda a lacuna entre esses extremos introduzindo um novo axioma, a Neutralidade do Jogador Nulo, para analisar sistematicamente como o enfraquecimento dos requisitos estritos da propriedade do jogador nulo afeta o conjunto de soluções admissíveis.

Metodologia
Os autores empregam uma abordagem axiomática no âmbito dos jogos JUT. A metodologia envolve:

1. Definição de Novos Axiomas: O artigo introduz a Neutralidade do Jogador Nulo e seu dual, a Neutralidade do Jogador Anulador.
   • Neutralidade do Jogador Nulo: Para qualquer jogo $v$ e dois jogos aumentadores $w$ e $u$ onde o jogador $i$ é nulo em ambos, se os valores da coalizão grande forem iguais ($w(N) = u(N)$), então o pagamento ao jogador $i$ nos jogos aumentados deve ser idêntico ($\phi_i(v+w) = \phi_i(v+u)$). Isso enfraquece a clássica Equivalência Estratégica Coalicional, que exige que o pagamento permaneça inalterado independentemente do valor total do jogo aumentador.
   • Neutralidade do Jogador Anulador: Um axioma paralelo para "jogadores anuladores" (aqueles que reduzem o valor de qualquer coalizão a zero).
2. Análise Lógica: Os autores estabelecem relações lógicas entre os novos axiomas e propriedades existentes (por exemplo, a Propriedade do Jogador Nulo, a Equivalência Estratégica Coalicional e a propriedade "Jogador Nulo em um Ambiente Produtivo").
3. Teoremas de Caracterização: Utilizando a base de jogos de unanimidade e a linearidade, o artigo deriva condições necessárias e suficientes para famílias específicas de soluções.

Principais Contribuições e Resultados

1. Caracterização de Combinações Lineares (Teorema 2):
   O resultado principal demonstra que Eficiência, Linearidade, Simetria e Neutralidade do Jogador Nulo caracterizam unicamente a família de soluções definida por:
   $$\phi = \alpha \phi^{ED} + (1-\alpha) \phi^{Sh}$$
   onde $\alpha \in \mathbb{R}$.

   • Esta família estende estritamente os conhecidos valores de Shapley $\alpha$-igualitários (onde $\alpha \in [0, 1]$) para números reais arbitrários.
   • O resultado generaliza a caracterização clássica de Shapley: substituir a Propriedade do Jogador Nulo pela mais fraca Neutralidade do Jogador Nulo expande o conjunto de soluções de um único ponto ($\alpha=0$, o valor de Shapley) para uma família de um parâmetro.
   • O artigo esclarece que a Propriedade do Jogador Nulo é a restrição específica que força $\alpha = 0$.

2. Comparação com a Literatura Existente:

   • vs. Monotonicidade Fraca: O artigo contrasta seu resultado com van den Brink et al. (2013), que caracterizaram a subfamília $\alpha \in [0, 1]$ usando a Monotonicidade Fraca. Os autores mostram que a Neutralidade do Jogador Nulo é logicamente independente da Monotonicidade Fraca e permite $\alpha < 0$ e $\alpha > 1$, ampliando assim estritamente o conjunto admissível.
   • vs. Propriedade do Ambiente Produtivo: O artigo compara com Casajus e Huettner (2013), que utilizaram a propriedade "Jogador Nulo em um Ambiente Produtivo" para caracterizar a subfamília com $\alpha \geq 0$. Os autores provam que, sob linearidade, a propriedade do ambiente produtivo implica a Neutralidade do Jogador Nulo, mas o inverso não se sustenta, explicando o escopo mais amplo do Teorema 2.

3. Análise Dual dos Jogadores Anuladores (Teorema 4):
   O artigo introduz uma análise paralela para jogadores anuladores.

   • Diferentemente do caso do jogador nulo, a Neutralidade do Jogador Anulador é mostrada como equivalente à Equivalência Padrão Coalicional (Proposição 2).
   • Consequentemente, Eficiência, Simetria e Neutralidade do Jogador Anulador caracterizam unicamente a Solução de Divisão Igualitária ($\phi \equiv \phi^{ED}$).
   • Notavelmente, essa caracterização não requer o axioma de Linearidade, ao contrário do caso do jogador nulo. Isso cria uma dicotomia nítida: a Neutralidade do Jogador Nulo permite um contínuo de soluções, enquanto a Neutralidade do Jogador Anulador colapsa o conjunto para uma única solução.

Significado e Alegações
O artigo alega que a introdução da Neutralidade do Jogador Nulo oferece um "meio-termo natural" que relaxa a rigorosidade normativa da Propriedade do Jogador Nulo sem descartar a disciplina estrutural da eficiência e da simetria.

• Implicação Normativa: O relaxamento permite soluções que podem compensar jogadores nulos (quando $\alpha > 1$) ou penalizar o componente de divisão igualitária em relação ao valor de Shapley (quando $\alpha < 0$), fornecendo uma base axiomática mais flexível para estudar solidariedade e redistribuição.
• Insight Estrutural: O trabalho destaca uma assimetria fundamental na teoria dos jogos cooperativos: o tratamento de jogadores nulos (que não agregam valor) permite um espectro de alocações, enquanto o tratamento de jogadores anuladores (que destroem valor) impõe rigidamente a divisão igualitária.
• Unificação Teórica: Ao estender os valores de Shapley $\alpha$-igualitários para $\alpha \in \mathbb{R}$, o artigo fornece um quadro unificado que abrange tanto os extremos marginalistas quanto igualitários e as combinações lineares entre eles e além deles.

Os autores mantêm uma postura modesta, observando que sua caracterização depende do conjunto específico de axiomas escolhido e que a independência desses axiomas (demonstrada nas Observações 3 e 6) confirma a necessidade de cada condição para os resultados derivados.