Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

Este artigo constrói um modelo ontológico para a teoria clássica bilocal para demonstrar que a classididade local não garante a explicabilidade clássica, refutando, assim, uma conjectura anterior, expondo as limitações das suposições de tomografia local em teoremas estruturais e provando, via contraexemplo, que os dois conceitos são fundamentalmente distintos.

O essencial

Imagine que você está tentando entender as regras de um jogo. Na física, geralmente temos duas formas principais de olhar para o mundo: a forma "Clássica" (como um baralho padrão onde cada carta tem uma face definida) e a forma "Quântica" (onde as cartas podem estar em uma superposição de faces até que você olhe).

Este artigo trata de um jogo específico e estranho chamado Teoria Clássica Bilocal (BCT). Os autores estão fazendo uma pergunta profunda: Podemos explicar este jogo estranho usando uma lógica simples e cotidiana (classicidade), mesmo que as regras do jogo para combinar jogadores pareçam quebrar as leis usuais da física?

Aqui está a divisão da descoberta deles, usando analogias simples.

1. As Duas Formas de Ser "Clássico"

O artigo distingue dois tipos de "classicidade":

• Localmente Clássico: Imagine que cada jogador individual no jogo é uma pessoa normal e previsível. Se você olhar para eles um por um, eles fazem todo o sentido.
• Classicamente Explicável: Imagine que você pode explicar o jogo inteiro, incluindo como os jogadores interagem e se combinam, usando uma história simples e lógica (um modelo ontológico) que se ajusta ao nosso entendimento cotidiano de causa e efeito.

Geralmente, os físicos pensavam que, se um jogo parecesse "estranho" quando os jogadores se combinavam (especificamente, se violasse uma regra chamada Tomografia Local), seria impossível explicá-lo com uma história simples. A Tomografia Local é como dizer: "Para conhecer o estado de uma equipe, você só precisa verificar cada jogador individualmente". Se um jogo viola isso, significa que a equipe tem um "aperto de mão secreto" ou uma conexão oculta que você não consegue ver apenas olhando para os indivíduos.

2. A Primeira Descoberta: O Jogo "Bilocal" É Explicável

Os autores analisaram a Teoria Clássica Bilocal (BCT).

• A Configuração: Na BCT, cada jogador individual é perfeitamente normal (localmente clássico). No entanto, as regras para sua combinação são estranhas. É como se dois jogadores normais, ao darem as mãos, subitamente criassem uma terceira pessoa invisível que só existe porque estão de mãos dadas. Você não consegue descobrir o que a dupla está fazendo apenas olhando para a Pessoa A e a Pessoa B separadamente; você precisa olhar para a dupla junta.
• A Crença Antiga: Uma teoria anterior sugeriu que, como a BCT possui essa "terceira pessoa invisível" (violando a Tomografia Local), seria impossível criar uma história simples e lógica para explicá-la. Pensava-se que ela era estranha demais para uma explicação clássica.
• O Novo Resultado: Os autores construíram um mapa (um modelo ontológico) que traduz o estranho jogo BCT em um jogo clássico padrão e entediante.
  • A Analogia: Imagine que a BCT é um truque de mágica complexo. Os autores encontraram uma maneira de mostrar que o truque é, na verdade, apenas um embaralhamento de cartas padrão, mas realizado em uma mesa duas vezes maior do que você imaginava. Eles mostraram que, embora o comportamento da "equipe" pareça misterioso, você pode explicá-lo perfeitamente adicionando alguns "espaços ocultos" extras (estados ônticos) ao seu modelo mental dos jogadores.
  • A Conclusão: Você pode ter um jogo que parece estranho quando os jogadores se combinam, mas ele ainda pode ser explicado com uma lógica local simples. A "estranheza" não é um mistério fundamental; é apenas uma questão de olhar para o nível de detalhe correto.

3. A Segunda Descoberta: Nem Todos os Jogos Estranhos São Explicáveis

Se o primeiro resultado foi "Sim, este jogo estranho é explicável", os autores perguntaram: "Todo jogo estranho é explicável?"

• O Contraexemplo: Eles construíram um tipo diferente de jogo chamado Teorias Clássicas Latentes (LCT).
• A Configuração: Semelhante à BCT, cada jogador individual é normal. Mas as regras de como eles se combinam são ainda mais retorcidas. Neste jogo, quando dois jogadores se combinam, eles às vezes criam uma conexão "fantasma" que é tão forte que pode cancelar qualquer interação normal entre eles.
• O Resultado: Os autores provaram que, para esses jogos específicos, não existe uma história simples. Você não consegue construir um mapa que traduza este jogo para um jogo clássico padrão.
  • A Analogia: Imagine um jogo onde duas pessoas normais apertam as mãos e, de repente, tornam-se uma única entidade que pode "apagar" qualquer outra pessoa na sala. Não importa o quanto você tente explicar isso usando a lógica padrão (como "elas estão apenas de mãos dadas"), a matemática falha. A conexão "fantasma" é fundamental demais para ser explicada apenas adicionando espaços ocultos.
  • A Conclusão: Só porque um jogo parece clássico quando você olha para os jogadores individualmente, não significa que o jogo inteiro possa ser explicado classicamente. Às vezes, a maneira como as coisas se combinam cria uma "estranheza" que é verdadeiramente inexplicável pela lógica simples.

4. O Panorama Geral

O artigo traça uma linha na areia:

• Visão Antiga: Se uma teoria falha no teste de "Tomografia Local" (ou seja, você não consegue entender o todo apenas olhando para as partes), ela deve ser fundamentalmente não-clássica e inexplicável.
• Nova Visão: Isso é falso.
  • Algumas teorias (como a BCT) falham no teste, mas são explicáveis.
  • Algumas teorias (como a LCT) falham no teste e não são explicáveis.

A Conclusão:
Os autores mostram que não existe uma relação simples e direta entre "parecer clássico por dentro" e "ser explicável por uma história simples". A maneira como os sistemas se combinam (composição) é um fator crucial e independente. Você não pode simplesmente assumir que, porque as partes são simples, o todo deve ser simples — ou que, se o todo é estranho, ele é inexplicável. Você precisa olhar para as regras específicas de combinação para saber com certeza.

Em resumo: Ser "localmente clássico" não é suficiente para garantir que uma teoria seja "classicamente explicável". O diabo mora nos detalhes de como as coisas se unem.

Resumo técnico

Resumo Técnico: Desacoplando a Classicidade Local da Explicabilidade Clássica

Enunciado do Problema
O artigo aborda a relação entre duas noções distintas de "classicidade" dentro do arcabouço das Teorias Probabilísticas Operacionais (OPTs): classicidade local e explicabilidade clássica.

• Classicidade Local: Uma teoria é localmente clássica se cada sistema individual dentro dela for clássico (ou seja, seu espaço de estados é um simplex e satisfaz a hipótese de não-restrição), mesmo que a regra para compor esses sistemas difira da teoria clássica padrão.
• Explicabilidade Clássica: Uma teoria é classicamente explicável se admitir um modelo ontológico. Isso é definido como um mapa linear, preservador de diagramas e preservador de determinismo, da teoria para a Teoria Clássica (CT) padrão. Este conceito é equivalente ao fato de a teoria ser generalizadamente não-contextual.

Uma questão central surge: toda teoria localmente clássica admite um modelo ontológico? Trabalhos anteriores sobre a Teoria Clássica Bilocal (BCT) [1] sugeriram que, como a BCT viola a tomografia local (o princípio de que estados compostos são totalmente determinados por medições locais), ela poderia não admitir um modelo ontológico realista-local. Por outro modo, outras construções de teorias localmente clássicas poderiam ser inerentemente incapazes de serem classicamente explicáveis. O artigo visa desacoplar esses conceitos através da construção de modelos explícitos e contraexemplos.

Metodologia
Os autores empregam o formalismo de OPTs e o arcabouço de modelos ontológicos conforme definido em Refs. [2, 6]. A metodologia envolve duas construções primárias:

1. Construção de um Modelo Ontológico para BCT:

   • Os autores definem um mapa linear $\tilde{\xi}$ da BCT para a Teoria Clássica padrão ($\Delta$).
   • Mapeamento de Sistema: Um sistema não-trivial $n$ na BCT é mapeado para um sistema clássico de dimensão $2n$ (especificamente, um produto tensorial de um espaço de dimensão $n$ e um espaço binário).
   • Mapeamento de Estado/Efeito: Estados puros e efeitos na BCT, que envolvem variáveis binárias ($s \in \{0,1\}$ ao lado de índices padrão), são mapeados para estados/efeitos clássicos usando portas "copy" e "controlled-NOT" (CNOT) nos subespaços binários.
   • Mapeamento de Transformação: Transformações atômicas na BCT são mapeadas para matrizes subestocásticas na teoria clássica, preservando a estrutura específica da regra de composição da BCT (que envolve um "torcimento" de índices via a variável binária).
   • Verificações de Consistência: Os autores verificam rigorosamente se este mapa satisfaz os requisitos necessários: linearidade, preservação de diagrama (preservando composição sequencial e paralela, identidade e swap) e preservação de determinismo (mapeando transformações determinísticas para transformações determinísticas).

2. Construção de um Contraexemplo (Teorias Clássicas Latentes - LCTs):

   • Os autores utilizam a construção de "teoria latente" da Ref. [76], adaptada para sistemas clássicos.
   • Definição: LCTs são definidas por uma regra de composição onde o composto de dois sistemas $C_1$ e $C_2$ inclui um fator de espaço latente extra $L_{12}$ (isto é, $C_1 \otimes C_2 = L_{12} \otimes C_1 \otimes C_2$).
   • Condição: O estado latente $|\kappa\rangle_{L_{12}}$ é escolhido para não ser de posto total (não abrange todo o espaço latente).
   • Prova de Não-Existência: Os autores provam que, se o estado latente não for de posto total, existe um efeito bipartido não-nulo que aniquila todos os estados produto. Eles demonstram que nenhum modelo ontológico pode existir para tal teoria porque a propriedade de preservação de diagrama do mapa exigiria que este efeito fosse mapeado para um efeito nulo na teoria clássica, contradizendo a preservação de probabilidade do efeito não-nulo em um estado composto específico.

Principais Contribuições e Resultados

1. Existência de um Modelo Ontológico para BCT (Teorema 2.3):
   O artigo constrói o primeiro modelo ontológico para uma teoria inteira que falha em ser localmente tomográfica. Este resultado refuta a conjectura na Ref. [1] de que a BCT poderia carecer de um modelo ontológico realista-local.

   • Implicação: A falha da tomografia local não necessariamente impede a explicabilidade clássica. Os graus de liberdade não-localmente tomográficos na BCT podem ser explicados por adicionar estados onticos extras localmente.

2. Não-Existência de Modelos Ontológicos para LCTs (Teorema 3.2):
   O artigo prova que Teorias Clássicas Latentes com estados latentes de posto não-total não admitem nenhum modelo ontológico.

   • Implicação: Nem toda teoria localmente clássica é classicamente explicável. Existe uma tensão fundamental entre certas regras de composição (especificamente aquelas que permitem violações fortes de tomografia local) e a existência de um modelo de variáveis ocultas não-contextual.

3. Desacoplamento de Conceitos:
   Os resultados demonstram que classicidade local e explicabilidade clássica são propriedades independentes. Uma teoria pode ser localmente clássica mas não classicamente explicável (LCTs), ou localmente clássica e classicamente explicável apesar de falhar em tomografia local (BCT).

Significância e Alegações
O artigo afirma que estas descobertas têm implicações significativas para a compreensão fundamental da classicidade:

• Limitação dos Teoremas de Estrutura: O resultado mostra que a suposição de tomografia local, que fundamenta o teorema de estrutura para modelos não-contextuais generalizados na Ref. [2], é uma limitação genuína desse teorema. O teorema não se sustenta para teorias que violam a tomografia local, mesmo que sejam localmente clássicas.
• Propriedades Composicionais são Centrais: Os autores argumentam que a maneira como os sistemas se compõem (a regra de composição) não é um detalhe técnico secundário, mas uma questão central e inevitável para entender a classicidade. A distinção entre teorias que são localmente clássicas mas globalmente não-clássicas (no sentido de explicabilidade) destaca a importância da estrutura composicional.
• Esclarecimento da Classicidade: O artigo fornece um exemplo concreto (BCT) onde uma teoria é compreendida de forma mais simples via seu modelo ontológico subjacente do que via sua formulação operacional original, de forma semelhante a como a teoria de brinquedo de Spekkens esclarece subteorias de estabilizadores de dimensões ímpares.
• Não Há uma Relação Direta: As descobertas estabelecem que não há uma relação direta entre uma teoria ser localmente clássica e ela ser classicamente explicável. Sugere-se que trabalhos futuros busquem princípios físicos que distingam quais teorias localmente clássicas admitem modelos ontológicos.

O artigo conclui que o status das propriedades composicionais é fundamental para uma compreensão coerente da própria classicidade, indo além da visão tradicional de que a tomografia local é uma condição necessária para a explicabilidade clássica.