Sequential Equilibria in a Class of Infinite Extensive Form Games

1. Formulação do Problema

O artigo aborda uma lacuna fundamental na teoria dos jogos: a falta de um Equilíbrio Sequencial bem definido para jogos de forma extensiva onde os jogadores escolhem entre um contínuo de ações (por exemplo, preços ou quantidades contínuas).

• A Limitação da Teoria Existente: A definição padrão de equilíbrio sequencial (Kreps e Wilson, 1982) baseia-se no conceito de "estratégias completamente mistas" (perfeição de mão trêmula), onde cada ação em um conjunto de informação é jogada com probabilidade positiva. Em jogos com espaços de ação não enumeráveis, é impossível atribuir probabilidade positiva a cada ação individual. Consequentemente, a definição padrão falha, forçando os pesquisadores a recorrer a refinamentos ad hoc que carecem de suporte teórico geral.
• Patologias em Jogos Infinitos: Os autores destacam que, sem suposições específicas de continuidade, jogos de forma extensiva infinitos frequentemente sofrem de patologias graves, incluindo:
  • Não existência de equilíbrios de Nash (por exemplo, Exemplo 1 no artigo).
  • Não existência de equilíbrios sequencialmente racionais (por exemplo, Exemplo 2, um jogo de sinalização).
  • O espaço de distribuições viáveis sobre os desempenhos falhar em ser fechado sob convergência fraca, levando a um "emaranhamento estratégico" onde jogadores futuros correlacionam comportamentos em variações infinitesimalmente pequenas que desaparecem no limite.

2. Metodologia e Estrutura

Os autores propõem uma nova estrutura baseada em Medidas Estratégicas e Continuidade Informacional.

A. Suposição de Continuidade Informacional

Para resolver as patologias, os autores impõem uma condição estrita de continuidade sobre as funções de sinal (o mecanismo pelo qual os jogadores observam ações passadas).

• Suposição: As funções de sinal são dadas por uma família integravelmente limitada de densidades condicionais que variam continuamente em relação às ações passadas.
• Implicação: Isso exclui jogos de informação perfeita com ações contínuas (onde uma ação específica revela o estado exato), mas inclui jogos com "observabilidade ruidosa". Essa suposição garante que pequenas mudanças nas ações levem a pequenas mudanças na distribuição de sinais, prevenindo o "emaranhamento estratégico" que causa a não existência.

B. Medidas Estratégicas

Em vez de trabalhar diretamente com estratégias comportamentais (que são difíceis de lidar topologicamente em espaços infinitos), os autores utilizam Medidas Estratégicas.

• Definição: Uma medida estratégica é uma medida de probabilidade de Borel no espaço de sinais e ações para um jogador específico. Ela representa a distribuição conjunta das ações de um jogador e dos sinais que recebe, independentemente da função de estratégia específica usada para gerá-las.
• Propriedades:
  • O conjunto de medidas estratégicas é compacto, convexo e metrizável na topologia fraca.
  • Os pagamentos esperados são funções contínuas e multilineares do perfil de medidas estratégicas.
  • Isso permite o uso de teoremas de ponto fixo (Kakutani–Fan–Glicksberg) para provar a existência.

C. Definição de Equilíbrio Sequencial

Os autores redefinem o equilíbrio sequencial adaptando a caracterização de Myerson e Reny (2020) para jogos finitos.

• Conjuntos Strategicamente Relevantes: Como não é possível alcançar cada conjunto de informação mensurável com probabilidade positiva em um contexto contínuo, os autores definem um conjunto de conjuntos de informação como "strategicamente relevante" se forem alcançados com probabilidade positiva e possuírem seções de ação abertas (ou seja, se uma ação está no conjunto, uma pequena vizinhança dessa ação também está no conjunto).
• O Conceito de Equilíbrio: Um perfil de medidas estratégicas é um equilíbrio sequencial se for o limite de uma sequência de perfis onde:
  1. Todo conjunto strategicamente relevante é alcançado com probabilidade positiva.
  2. Os jogadores são $\epsilon$-ótimos condicionados a alcançar esses conjuntos strategicamente relevantes.
• Distinção Chave: Ao contrário das definições padrão, essa abordagem não exige que crenças sejam definidas em cada conjunto de informação, apenas naqueles que são strategicamente relevantes e alcançáveis com probabilidade positiva na sequência de aproximação.

3. Contribuições Principais

1. Teorema de Existência: O artigo prova que Equilíbrios Sequenciais existem na classe definida de jogos de forma extensiva infinitos. Este é um grande avanço teórico, pois a existência era anteriormente desconhecida ou exigia medidas finitamente aditivas (que são não construtivas) em contextos similares.
2. Refinamento do Equilíbrio de Nash: O equilíbrio sequencial proposto refina o conceito de equilíbrio de Nash, garantindo que as estratégias sejam ótimas não apenas no caminho de equilíbrio, mas também fora de equilíbrio em todas as contingências strategicamente relevantes.
3. Consistência com Jogos Finitos: Os autores demonstram que, em jogos de forma extensiva finitos padrão, sua definição seleciona exatamente os mesmos perfis de estratégia que o equilíbrio sequencial tradicional de Kreps-Wilson.
4. Soluções Construtivas: Ao confiar em medidas contavelmente aditivas (probabilidade padrão) em vez de medidas finitamente aditivas, as soluções são "explicitamente utilizáveis" e evitam a natureza não construtiva de abordagens anteriores (por exemplo, o uso de redes e distribuições finitamente aditivas por Myerson e Reny).

4. Resultados Principais

• Teorema 1 (Existência): Um equilíbrio sequencial existe para a classe de jogos que satisfazem a suposição de continuidade informacional.
• Proposição 2 (Compacidade): O conjunto de equilíbrios sequenciais é compacto na topologia das medidas estratégicas.
• Aplicação ao Duopólio (Proposição 3): Os autores aplicam o conceito a um duopólio sequencial ruidoso (estendendo Maggi, 1999). Eles mostram que, se o ruído na observação da quantidade do líder for suficientemente pequeno, existe um equilíbrio sequencial onde o líder mantém uma vantagem de primeiro movimento.
  • Contraste: Em modelos com observabilidade perfeita, o líder tem uma vantagem. Em modelos com ruído de suporte fixo (Bagwell, 1995), a vantagem frequentemente desaparece. Os autores mostram que, com ruído contínuo (suporte variável), a vantagem persiste, resolvendo uma tensão na literatura.

5. Significado

• Unificação Teórica: O artigo preenche a lacuna entre a teoria dos jogos finita (onde o equilíbrio sequencial é padrão) e jogos de ação contínua (onde era indefinido). Ele fornece uma base rigorosa para analisar jogos dinâmicos com variáveis contínuas, que são onipresentes na economia (por exemplo, precificação, investimento, P&D).
• Robustez dos Resultados: Ao estabelecer que equilíbrios sequenciais existem e são compactos, o artigo valida o uso da lógica de indução retroativa em configurações contínuas, desde que a continuidade informacional seja mantida.
• Inovação Metodológica: A mudança de estratégias comportamentais para medidas estratégicas como o objeto primário de análise simplifica os argumentos topológicos necessários para provas de existência em espaços de dimensão infinita. Essa abordagem oferece um modelo para analisar outros jogos dinâmicos complexos onde os espaços de estratégia padrão se comportam mal.
• Aplicação Prática: A resolução do problema do duopólio sequencial demonstra que a "vantagem de primeiro movimento" é robusta mesmo sob observação ruidosa, desde que a estrutura do ruído seja contínua, oferecendo novos insights para a organização industrial e o design de mercados.

Em resumo, Greinecker, Meier e Podczeck estendem com sucesso o refinamento mais importante do equilíbrio de Nash para uma ampla classe de jogos infinitos, superando os obstáculos matemáticos dos espaços de ação contínuos através do uso inovador de medidas estratégicas e continuidade informacional.