Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality

Título: Reconstrução de Quase-Probabilidades e Probabilidades Finitas a partir de Princípios: O Papel da Localidade Sintática

1. O Problema

As quase-probabilidades (valores que podem ser negativos ou complexos, como na distribuição de Wigner ou Kirkwood-Dirac) são amplamente utilizadas na física quântica e em outras áreas, mas suas fundações conceituais permanecem obscuras.

• Status Atual: Frequentemente tratadas apenas como ferramentas computacionais para facilitar cálculos, sem uma interpretação física ou lógica própria.
• Deficiências Teóricas: Operações fundamentais, como condicionamento e o Teorema de Bayes, tornam-se ambíguas ou mal definidas no contexto de quase-probabilidades (ex: divisão por zero quando a probabilidade marginal é zero).
• Questão Central: É possível reconstruir a teoria das quase-probabilidades e das probabilidades clássicas a partir de princípios estruturais fundamentais, tratando-as não como meros artifícios, mas como representações de uma "avaliação universal" de declarações?

2. Metodologia e Estrutura Conceitual

O autor propõe uma reconstrução axiomática baseada na lógica booleana e em princípios inspirados na física, sem assumir a priori a estrutura de Kolmogorov.

Conceitos Fundamentais:

• Universos Sintáticos: O universo de discurso é modelado como uma álgebra booleana finita de declarações (estados).
• Localidade Sintática (Syntactic Locality): Um princípio central que postula que qualquer universo de declarações deve ser entendido como um subconjunto local de um universo ambiente maior. Isso formaliza a ideia de que sistemas de declarações podem ser "restritos" ou "embebidos" em contextos maiores, análogo a subsistemas físicos.
• Avaliação Universal ($V$): Uma função que atribui um valor (inicialmente complexo, $V: L \to \mathbb{C}$) a cada declaração em um universo. Diferente da probabilidade clássica, $V$ não é restrita a $[0,1]$ e não assume inicialmente que as declarações são verdadeiras ou falsas.

Princípios de Reconstrução:

O autor define cinco princípios que a Avaliação Universal deve satisfazer:

1. Compatibilidade com a Lógica Proposicional Clássica: A avaliação deve reduzir-se às atribuições de verdade/falso (valores $\tau, \phi$) no limite clássico.
2. Deducibilidade Local: O valor de uma declaração é unicamente determinado pelos valores de todas as outras declarações no mesmo universo.
3. Universalidade: As regras de dedução dependem apenas da estrutura lógica (nível na álgebra booleana) e não de rótulos específicos.
4. Maximalidade Realizável: O conjunto de avaliações admissíveis deve ser o maior possível compatível com os princípios anteriores (nenhuma restrição oculta).
5. Simetria Remove Liberdade Avaliativa: Se as distinções atômicas são apagadas (todos os átomos têm o mesmo valor), a avaliação deve ser única e determinada apenas pelo nível da declaração na estrutura booleana.

3. Contribuições e Resultados Principais

A. Teorema da Aditividade e Pré-Probabilidades (Teorema 1)

O resultado central é que os princípios forçam uma estrutura aditiva.

• Resultado: Existe uma bijeção $\phi$ que reparametriza qualquer avaliação universal $V$ em uma função aditiva $R = \phi \circ V$.
• Definição: Chama-se Pré-Probabilidade a qualquer representante aditivo que satisfaça:
  • Aditividade finita em junções disjuntas: $R(\bigvee s_i) = \sum R(s_i)$.
  • $R(\bot) = 0$.
  • $R(\neg s) = R(\top) - R(s)$.
• Liberdade de Gauge: A representação não é única. Ela é única apenas até uma "regraduação aditiva" (função $a$ que satisfaz a equação funcional de Cauchy: $a(x+y)=a(x)+a(y)$). Isso introduz uma liberdade de gauge significativa.

B. Definição de Quase-Probabilidades

• Fixação Canônica: Em universos de dimensão semântica 1 (onde todos os valores não nulos são proporcionais racionalmente), a liberdade de gauge pode ser fixada canonicamente exigindo que $Q(\top) = 1$.
• Resultado: Quando essa fixação é possível, a pré-probabilidade torna-se uma Quase-Probabilidade ($Q$). Isso eleva a quase-probabilidade de uma ferramenta técnica para uma representação aditiva única e bem definida da avaliação universal.
• Probabilidades Clássicas: São identificadas como o subconjunto de quase-probabilidades que são estáveis sob relativização (ou seja, quando restringidas a sub-universos, continuam a ser probabilidades válidas e não-negativas).

C. Teoria Coerente de Condicionais e Bayes Generalizado

O framework resolve o problema de definir condicionais em quase-probabilidades (onde a fórmula padrão $P(A|B) = P(A,B)/P(B)$ falha se $P(B)=0$).

• Mecanismo: O condicionamento é definido como a restrição da avaliação universal a um sub-universo relativo, seguida de sincronização das representações.
• Teorema de Bayes Generalizado: Deriva-se uma regra de Bayes que funciona para pré-probabilidades e quase-probabilidades. Ela atua como uma identidade de sincronização entre diferentes representações de condicionais.
  • No caso estável (probabilidade clássica), recupera-se exatamente o Teorema de Bayes padrão.
  • No caso instável (quase-probabilidade com valor zero no topo), o teorema mistura pré-probabilidades e quase-probabilidades de forma bem definida, evitando indeterminações.

D. Dimensão Semântica e Números Racionais vs. Irracionais

• Dimensão Semântica: O autor introduz o conceito de "quadro semântico" (conjunto maximal de declarações com valores linearmente independentes sobre $\mathbb{Q}$).
• Preferência por Racionais: Sem assumir regularidades analíticas adicionais (como continuidade ou holomorfia nas funções de gauge), a estrutura natural das avaliações universais sugere que as probabilidades devem ser racionais.
• Irracionais como Estrutura Extra: Números irracionais aparecem como componentes adicionais de pré-probabilidades que não podem ser normalizados canonicamente (direções de topo-zero). A imposição de regularidade (ex: funções de gauge holomórficas) colapsa essa estrutura extra, recuperando os números reais/complexos completos, mas a estrutura fundamental emerge sem essa suposição.

4. Significado e Implicações

1. Fundamentação das Quase-Probabilidades: O trabalho fornece uma base lógica e estrutural para quase-probabilidades, mostrando que elas emergem naturalmente da exigência de consistência em avaliações de declarações sob localidade sintática, e não apenas como um truque matemático da mecânica quântica.
2. Resolução de Ambiguidades: Oferece uma definição rigorosa e livre de ambiguidades para condicionais e o Teorema de Bayes em contextos onde valores negativos ou nulos estão presentes, resolvendo problemas históricos na teoria de quase-probabilidades.
3. Hierarquia de Teorias: Estabelece uma hierarquia clara:
   • Avaliação Universal (mais geral) $\to$ Pré-Probabilidade (aditiva com gauge) $\to$ Quase-Probabilidade (normalizada) $\to$ Probabilidade Clássica (estável e não-negativa).
4. Conexão com Física: A "Localidade Sintática" serve como um análogo lógico ao tratamento de subsistemas em física, sugerindo que a estrutura da probabilidade quântica pode ser derivada de princípios de consistência de informação e contexto, sem depender de interpretações metafísicas específicas da mecânica quântica.
5. Crítica ao Freqüencialismo: O autor argumenta contra o freqüencialismo hipotético (baseado em limites infinitos) e favorece uma visão de probabilidades finitas e racionais, alinhada com a filosofia de de Finetti, sugerindo que a estrutura algébrica pura já impõe restrições que tornam os irracionais "estruturas extras" não canônicas.

Conclusão

O artigo apresenta uma reconstrução axiomática robusta que unifica a lógica, a probabilidade clássica e a quase-probabilidade quântica. Ao introduzir a Localidade Sintática e a Avaliação Universal, o autor demonstra que a aditividade e as regras de inferência (Bayes) são consequências necessárias de princípios de consistência estrutural, transformando a quase-probabilidade em um objeto teórico bem fundamentado e coerente.