No Trade Under Verifiable Information

Resumo Técnico: No Trade Under Verifiable Information

1. Problema e Motivação

O artigo aborda um paradoxo fundamental na teoria econômica: a existência de altos volumes de negociação em mercados financeiros, apesar de teoremas clássicos de "sem negociação" (como os de Aumann, 1976, e Milgrom e Stokey, 1982). Estes teoremas estabelecem que, sob certas condições (como crenças concordantes e conhecimento comum), agentes racionais não podem concordar em discordar sobre o valor de um ativo, impedindo assim a negociação mutuamente benéfica.

A literatura existente explica a ausência de negociação relaxando suposições como o prior comum, o conhecimento comum, ou introduzindo racionalidade limitada e aversão à ambiguidade. No entanto, este artigo propõe uma nova abordagem: examinar como a estrutura da informação privada dos agentes pode, por si só, revelar ou verificar o valor verdadeiro de um ativo, levando a um resultado de "sem negociação".

O autor investiga três cenários motivadores:

1. Negociação por Insider: Quando um insider possui informação suficiente para verificar o valor do ativo (ou se ele está acima/abaixo de um limiar), agentes racionais recusam-se a negociar, pois sabem que o insider não estaria negociando se fosse desvantajoso.
2. Liquidez e Crises: A conexão entre a baixa liquidez (como no caso da LTCM) e o conhecimento comum de que certos agentes possuem informações privilegiadas sobre ativos em dificuldade.
3. Blockchain e Oráculos: Em mercados descentralizados, oráculos que verificam eventos do mundo real podem atuar como "insiders". Se a verificação for possível, isso pode inviabilizar a negociação.

2. Metodologia e Modelo

O autor utiliza um modelo de teoria dos jogos e informação assimétrica com as seguintes características:

• Agentes e Estados: Um conjunto finito de agentes ($I$) e um conjunto finito de estados da natureza ($\Omega$).
• Informação: Cada agente possui uma partição privada ($\Pi_i$) e um prior ($p_i$). O modelo não assume um prior comum, permitindo que $p_i \neq p_j$.
• Ativo: Um ativo $X: \Omega \to \mathbb{R}$ que paga dividendos dependendo do estado.
• Fases de Negociação: A negociação ocorre na fase intermediária (após a recepção da informação privada, mas antes da revelação do estado real).

O artigo analisa três ambientes de negociação distintos:

1. Estático (Aumann, 1976): Foca no "acordo para discordar" (conhecimento comum de expectativas diferentes).
2. Dinâmico Infinito (Geanakoplos e Polemarchakis, 1982): Agentes anunciam sequencialmente suas expectativas, atualizando crenças até que parem de mudar.
3. Dinâmico com Regras de Pontuação (Ostrovsky, 2012): Agentes míopes em mercados de previsão (Market Scoring Rules) onde o preço deve convergir para o valor verdadeiro (agregação de informação).

3. Conceitos Chave: Verificabilidade

O núcleo da contribuição teórica reside na definição de quatro propriedades de verificabilidade da informação privada:

1. Verificabilidade (Verifiable): Em cada estado, existe pelo menos um agente que conhece o valor exato de $X$. (Condição forte, implica sem negociação).
2. Verificabilidade Max-Min (Maxmin Verifiable): Existe um agente que sabe se o valor máximo ou mínimo possível (dentro do conjunto de estados de conhecimento comum) é o valor verdadeiro.
3. Verificabilidade de Limiar (Threshold Verifiable): Existe um agente e um estado onde ele sabe se o valor do ativo está estritamente acima ou abaixo de um certo limiar $x$, dentro do conjunto de estados possíveis de conhecimento comum.
4. Verificabilidade Coletiva (Collectively Verifiable): A conjunção da informação de todos os agentes revela o valor verdadeiro (nenhum agente individualmente sabe, mas o grupo sabe).

4. Resultados Principais

Teorema 1 (Ambiente Estático):
A verificabilidade de limiar é uma condição necessária e suficiente para a ausência de negociação com conhecimento comum (no common knowledge trade), independentemente dos priors dos agentes.

• Lógica: Se o ativo é verificável por limiar, não é possível que as expectativas sejam conhecimento comum e diferentes. Se não é verificável por limiar, é possível construir priors que geram negociação.
• Nota: A verificabilidade max-min é suficiente, mas não necessária. A verificabilidade coletiva não é suficiente para impedir a negociação (exemplo fornecido onde agentes sabem o valor em conjunto, mas ainda negociam com conhecimento comum).

Corolário 1 (Ambiente Dinâmico - Desacordo):
Em um ambiente dinâmico onde os agentes atualizam crenças, a verificabilidade de limiar (ou max-min) no tempo inicial $t=0$ não é suficiente para impedir o desacordo eterno.

• Razão: A atualização de informações pode eliminar estados onde a propriedade de verificabilidade se mantinha.
• Condição: Para garantir que os agentes não discordem para sempre, a verificabilidade de limiar deve ser satisfeita no estado final $t^*$ (quando as atualizações cessam).

Corolário 2 (Agregação de Informação):
Em mercados de previsão com regras de pontuação estritamente próprias e agentes míopes, se o ativo é verificável por limiar no tempo final $t^*$, a informação é agregada (o preço converge para o valor verdadeiro). Isso vale para todos os ativos, não apenas para os ativos separáveis (separable securities) exigidos em modelos com prior comum.

Proposição 1 (Múltiplos Ativos):
Os resultados estendem-se para um conjunto de ativos negociáveis $\{X_i\}$ onde $\sum X_i = 0$. A ausência de negociação ocorre se e somente se o conjunto de ativos for verificável por limiar.

5. Contribuições e Significância

1. Novo Paradigma de "Sem Negociação": O artigo desloca o foco das suposições sobre crenças (priors comuns) ou racionalidade para a estrutura da informação. Demonstra que a mera possibilidade de um agente verificar o valor (ou um limiar) é suficiente para colapsar o mercado.
2. Implicações para Regulação de Insider Trading: Oferece uma base teórica para entender quando a presença de informantes deve ser proibida ou permitida. Se a informação do insider é apenas um "limiar" (ex: saber se o lucro será acima de X), o mercado pode ainda funcionar; se for verificação total, o mercado para.
3. Aplicação a Blockchain e Oráculos: O trabalho é pioneiro em analisar a interação entre oráculos (que verificam dados do mundo real para contratos inteligentes) e a liquidez do mercado. Sugere que oráculos que possuem informação privilegiada sobre o evento que estão verificando podem destruir a liquidez se a verificação for possível antes da execução do contrato.
4. Robustez a Priors Diferentes: Ao contrário da literatura clássica que frequentemente assume prior comum para provar resultados de agregação, este modelo mostra que a agregação de informação e a ausência de negociação podem ser garantidas sob priors heterogêneos, desde que a estrutura de informação seja suficientemente verificável no estado estacionário.

Em suma, o paper estabelece que a verificabilidade de limiar é a fronteira crítica que determina se um mercado de ativos com informação assimétrica e priors heterogêneos funcionará (agregando informação e permitindo negociação) ou se entrará em colapso (sem negociação).