Against probability: A quantum state is more than a list of probability distributions

Este artigo demonstra um teorema de impossibilidade provando que uma representação de probabilidade topologicamente robusta de estados quânticos, embora necessária para afirmações físicas significativas, não pode simultaneamente preservar características estruturais essenciais, tais como a composição de subsistemas.

O essencial

A Grande Ideia: O Mapa Não é o Território

Imagine que você tem uma escultura 3D complexa (um estado quântico). Para descrevê-la a alguém que não pode vê-la, você decide tirar uma série de fotografias 2D (distribuições de probabilidade) de todos os ângulos possíveis.

Os autores deste artigo argumentam que, embora essas fotos possam identificar unicamente a escultura, confiar nelas para descrever a escultura tem uma falha fatal: As fotos podem mentir sobre o quão próximas duas esculturas estão.

No mundo da física quântica, os cientistas frequentemente tentam descrever um sistema não pelo seu estado "real" (o operador de densidade), mas por uma lista de probabilidades para o que acontece quando o medem. O artigo afirma que, se você tentar fazer isso de uma forma que seja matematicamente "robusta" (significando que pequenos erros nas fotos não levem a erros enormes na sua compreensão), você perde a capacidade de descrever como as partes do sistema se encaixam.

O Problema: A Armadilha da "Foto Embaçada"

Para entender por que isso importa, imagine que você está tentando gerar uma sequência de números verdadeiramente aleatórios (como um código secreto) usando uma máquina quântica.

1. O Objetivo: Você quer que o resultado seja perfeitamente aleatório. No mundo quântico "real", você pode provar que uma sequência é aleatória se for impossível distingui-la de uma fonte perfeitamente aleatória, mesmo que um inimigo tenha acesso a todos os segredos internos da máquina.
2. A Armadilha: Os autores mostram um cenário onde um sistema quântico parece quase perfeitamente aleatório se você olhar apenas para as "fotos" (as distribuições de probabilidade de medições locais). As fotos dizem: "Ei, isso parece aleatório!"
3. A Realidade: Mas, se você olhar para o estado quântico real, ele não é aleatório de forma alguma. É altamente emaranhado e estruturado.

A Analogia:
Imagine duas pessoas paradas muito longe uma da outra.

• A Distância Real (Distância de Traço): Se você medir a distância real entre elas, elas estão a 100 milhas de distância.
• A Distância na Foto (Métrica de Probabilidade): Você tira uma foto delas de um ângulo específico. Na foto, elas parecem estar paradas uma ao lado da outra.

Se você confiar apenas na foto, pensará que elas estão próximas. Mas, na realidade, elas estão longe. O artigo chama isso de não-robustez. Significa que uma "pequena" diferença na lista de probabilidades (a foto) pode, na verdade, esconder uma diferença "massiva" no estado físico real.

O Dilema: Você Não Pode Ter Tudo

Os autores provam um teorema de "Não-Go" (impossibilidade). Você não pode ter uma descrição baseada em probabilidade de um sistema quântico que possua todas as três dessas características desejáveis ao mesmo tempo:

1. Robustez: Pequenas mudanças na descrição não devem significar que o sistema é totalmente diferente. (A foto deve corresponder à realidade).
2. Estrutura de Subsistema: Você deve ser capaz de descrever partes do sistema separadamente (por exemplo, a parte de Alice e a parte de Bob) sem perder a conexão entre elas.
3. Eficiência: A descrição deve ser compacta e gerenciável (não exigindo uma quantidade infinita de dados).

A Tabela de Trocas (Trade-off):

• Mecânica Quântica Padrão (Operadores de Densidade): Possui as três. É robusta, lida bem com as partes e é eficiente.
• Representações de Probabilidade (Medições Locais): Você pode ter as partes e a eficiência, mas perde a robustez. As fotos mentem sobre a proximidade.
• Representações de Probabilidade (Todas as Medições): Você pode ter robustez e as partes, mas perde a eficiência. A lista de probabilidades torna-se tão enorme que se torna inútil.

Por Que Isso Importa (Segundo o Artigo)

Os autores apontam que muitas ideias populares na física dependem dessas listas de probabilidade, e esta descoberta as quebra:

• QBism (Bayesianismo Quântico): Esta teoria trata o estado quântico apenas como uma lista das crenças de um agente (probabilidades). O artigo diz que essa visão falha para sistemas complexos (como uma corda vibrante ou uma partícula no espaço) porque a "lista de crenças" não é robusta o suficiente para descrever a realidade com precisão.
• Reconstrução da Teoria Quântica: Cientistas tentam reconstruir a física quântica a partir de regras simples sobre probabilidades. O artigo diz que você não pode fazer isso com sucesso para sistemas grandes, a menos que adicione regras extras e artificiais para corrigir o problema da "proximidade".
• Criptografia Quântica: Se você tentar provar que um código secreto é seguro usando apenas listas de probabilidade (sem assumir que a mecânica quântica é verdadeira), você pode pensar que ele é seguro porque as "fotos" parecem aleatórias. Mas o artigo alerta que o código pode ser realmente quebrado porque as "fotos" são enganosas.
• Teoria Quântica de Campos: Físicos frequentemente descrevem o universo usando "funções de correlação" (um tipo de lista de probabilidade). O artigo sugere que essas descrições podem falhar em capturar a verdadeira natureza das conexões não-locais complexas no universo.

A Conclusão

O artigo conclui que, embora as listas de probabilidade sejam uma forma muito popular e conveniente de falar sobre a física quântica, elas são fundamentalmente falhas como um substituto completo para a descrição padrão do "operador de densidade".

A Metáfora:
Tentar descrever um sistema quântico apenas com listas de probabilidade é como tentar navegar em uma cidade usando apenas um mapa 2D que foi esticado e distorcido. Ele pode mostrar os nomes das ruas (a estrutura), e pode ser fácil de carregar no bolso (eficiência), mas se você tentar julgar a distância entre dois edifícios com base nesse mapa, você se perderá. Para navegar com segurança, você precisa da realidade 3D (o operador de densidade), não apenas do mapa distorcido.

Resumo técnico

Resumo Técnico: "Contra a probabilidade: um estado quântico é mais do que uma lista de distribuições de probabilidade"

Enunciado do Problema
Estados quânticos são frequentemente representados não por operadores de densidade ($\rho$), mas por listas de probabilidades de resultados derivadas de um conjunto de medições tomograficamente completo ($M$). Tais representações são ubíquas na física, aparecendo na teoria quântica de campos (via funções de correlação) e nos fundamentos quânticos (dentro de estruturas probabilísticas generalizadas). Embora tal representação de probabilidade $P_M(\rho)$ seja injetiva (especificando unicamente o estado), os autores questionam se ela é fiel em um sentido físico. Especificamente, eles investigam se afirmações aproximadas derivadas de representações de probabilidade (por exemplo, "a saída é aproximadamente aleatória") permanecem válidas quando são "retrocedidas" ao nível dos operadores de densidade. O problema central é que as representações de probabilidade podem carecer de robustez topológica: uma sequência de estados que parece convergir para um comportamento ideal no espaço de representação de probabilidade pode não convergir no espaço de estados físicos (definido pela distância de traço).

Metodologia
Os autores empregam uma abordagem topológica e de teoria da informação para analisar a relação entre a métrica induzida por uma representação de probabilidade e a métrica padrão de distância de traço no espaço de operadores de densidade.

1. Definição de Robustez: Eles definem uma representação $P_M$ como topologicamente robusta se a convergência na métrica induzida $d_M$ implica convergência na distância de traço $\delta$. Formalmente, para qualquer sequência de estados $(\rho^{(n)})$ e um conjunto de estados $\Sigma$:
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   onde $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$.

2. Construção de Contraexemplo: Eles constroem um exemplo específico envolvendo um protocolo de geração de aleatoriedade usando $n$ átomos instáveis. Eles definem uma sequência de estados emaranhados $\rho^{(n)}_{RE}$ que estão longe do conjunto de estados perfeitamente aleatórios $\Sigma_{rand}$ em termos de distância de traço ($\delta \geq 1/4$). No entanto, quando restritos a medições locais ($M_\otimes$), as distribuições de probabilidade desses estados convergem para $\Sigma_{rand}$ conforme $n \to \infty$. Isso demonstra que a representação baseada em medições locais não é robusta.

3. Caracterização Topológica: Os autores analisam o espaço vetorial gerado pelos operadores de densidade, $\text{span}(D(H))$. Eles provam que, embora as topologias induzidas por $d_M$ e $\delta$ sejam idênticas no conjunto de matrizes de densidade $D(H)$ (exceto em casos patológicos "frágeis"), a robustez requer a equivalência dessas topologias em todo o espaço vetorial $\text{span}(D(H))$. Isso é equivalente à completude de $\text{span}(D(H))$ em relação à norma $\|\cdot\|_M$.

4. Quantificação de Estrutura via Entropia: Para generalizar o resultado além de exemplos específicos, eles introduzem uma medida de "estrutura" da teoria da informação. Eles definem a entropia assintótica de uma representação baseada no tamanho mínimo de uma lista comprimida de dados necessária para decodificar em $\epsilon$ as probabilidades para qualquer medição. Eles consideram representações que são "eficientes" (onde o número de efeitos cresce polinomialmente com a dimensão) ou baseadas em operações locais.

Principais Contribuições e Resultados

• O Teorema de Não-Existência (Teorema 6): O resultado central é um teorema de não-existência (no-go theorem) afirmando que, se uma representação de probabilidade $P_M$ possui estrutura não desprezível (especificamente, se sua entropia assintótica é limitada por uma sequência significativamente menor que o limite superior trivial de $2^{2^n}$), então a representação não pode ser topologicamente robusta.
• Incompatibilidade de Estrutura e Robustez: O artigo estabelece um compromisso fundamental:
  • Robustez requer que a representação seja "sem estrutura" (exigindo essencialmente um número exponencialmente grande de medições para distinguir estados de forma robusta).
  • Estrutura (como decomposição de subsistemas, localidade ou eficiência) leva inevitavelmente à não-robustez.
• Corolários Específicos:
  • Corolário 7: A representação baseada em medições locais ($P_{M_\otimes}$) não é robusta. Isso implica que definições de segurança em criptografia pós-quântica baseadas apenas em caixas não-sinalizantes (que correspondem a $P_{M_\otimes}$) podem não garantir segurança sob as definições quânticas padrão.
  • Corolário 8: Qualquer representação eficiente (onde o número de efeitos de medição cresce polinomialmente com a dimensão do espaço de Hilbert, como conjuntos minimamente completos para tomografia, como SIC-POVMs) não é robusta. Isso se aplica a sistemas de dimensão ilimitada.
• Generalização para GPTs (Teorema 9): Os autores estendem seus resultados para Teorias Probabilísticas Generalizadas (GPTs), mostrando que existem GPTs onde as topologias induzidas por medições locais e a distância de traço generalizada diferem, mesmo quando o conjunto de medições não é frágil.

Significância e Alegações
O artigo argumenta que as representações de probabilidade, embora matematicamente convenientes e fundamentais para muitos frameworks (incluindo QBism e programas de reconstrução), sofrem de uma falha fundamental: elas falham em preservar a noção de "proximidade" entre estados quando a representação inclui estrutura fisicamente relevante.

• Implicações para os Fundamentos Quânticos: Os resultados lançam um desafio aos programas que tentam reconstruir a teoria quântica a partir de postulados probabilísticos usando conjuntos de medição eficientes (como SIC-POVMs) ou que tentam interpretar estados quânticos puramente como catálogos de crença (QBism) para sistemas ilimitados. Sem robustez, afirmações probabilísticas aproximadas não podem ser mapeadas de forma confiável de volta para estados físicos.
• Implicações para a Informação Quântica: Na criptografia quântica, a não-robustez de $P_{M_\otimes}$ sugere que esquemas "pós-quânticos" que dependem de caixas não-sinalizantes podem ser menos seguros do que seus equivalentes quânticos, já que a definição probabilística de segurança não garante a segurança no sentido da distância de traço.
• Implicações para a Teoria Quântica de Campos (QFT): Como os estados de QFT são frequentemente caracterizados por funções de correlação (uma forma de representação de probabilidade), os autores sugerem que essas representações não são robustas, particularmente para observáveis não-locais (ex: correlações da radiação de Hawking).

Conclusão
Os autores concluem que o formalismo de operadores de densidade possui propriedades favoráveis — robustez, estrutura de subsistemas e eficiência — que as representações de probabilidade não podem alcançar simultaneamente. Embora as representações de probabilidade ofereçam independência de teoria, o artigo argumenta que, para qualquer representação com estrutura não-desprezível (que é necessária para a física prática), a robustez topológica é perdida. Isso exige a busca por abordagens alternativas que unifiquem a generalidade das representações de probabilidade com a robustez dos operadores de densidade.