Gleason's Theorem for a Qubit as Part of a Composite System

Resumo Técnico: Teorema de Gleason para um Qubit como Parte de um Sistema Composto

Enunciado do Problema
O teorema de Gleason (1957) estabelece que, para espaços de Hilbert de dimensão $d \geq 3$, qualquer atribuição de probabilidade não contextual aos resultados de medidas de valor de projeção (PVMs) deve assumir a forma da regra de Born, $f(P) = \text{Tr}(P\rho)$, onde $\rho$ é uma matriz de densidade. No entanto, o teorema falha para $d=2$ (um único qubit). Em um espaço bidimensional, os projetores aparecem em apenas uma resolução da identidade (ex: $\{P, I-P\}$), carecendo da estrutura de "entrelaçamento" necessária para impor restrições de consistência entre diferentes bases de medição. Consequentemente, o teorema de Gleason não pode excluir atribuições de probabilidade não quânticas para um único qubit, como aquelas que atribuem resultados definitos a observáveis não comutativos (ex: $\sigma_x$ e $\sigma_z$). Essa lacuna é conceitualmente insatisfatória dada a função fundamental do qubit na informação quântica. Extensões anteriores para $d=2$ basearam-se na expansão do conjunto de medições permitidas para incluir Medidas de Valor de Operador Positivo (POVMs) ou outras medições generalizadas. Este artigo busca estender o teorema de Gleason para $d=2$ mantendo a restrição original apenas a medições projetivas.

Metodologia
Os autores propõem estender o domínio do teorema invocando o axioma padrão que descreve sistemas quânticos compostos, em vez de ampliar o conjunto de medições. A metodologia central envolve:

1. Estrutura de Sistema Composto: O artigo assume que qualquer sistema individual (ex: um qubit) pode ser consistentemente considerado um subsistema de um sistema composto maior (ex: um par de qubits). Isso se baseia na estrutura de produto tensorial dos espaços de Hilbert ($H_{AB} = H_A \otimes H_B$).
2. Compatibilidade de Composição (CC): Os autores formalizam a representação de medições locais em um subsistema $A$ dentro do sistema composto $AB$. Uma medição $M_A = \{P^A_x\}$ em $A$ é mapeada para $M_{AB} = \{P^A_x \otimes I_B\}$ no sistema composto, onde $I_B$ é a identidade em $B$. Esse mapa $\Phi$ garante que as medições locais não forneçam informações sobre o estado de $B$.
3. Funções de Quadro Marginais: Uma nova definição operacional de estados quânticos é introduzida. Uma função de quadro $f$ (uma atribuição de probabilidade) para o sistema $A$ é definida como marginal se ela puder ser induzida por uma função de quadro válida $F$ de um sistema composto $AB$ via traço parcial (ou restrição à imagem de $\Phi$). Especificamente, $f(P^A_x) = F(P^A_x \otimes I_B)$.
4. Restrição de Consistência: O argumento central é que as atribuições de probabilidade para um subsistema devem ser consistentes com a existência de um estado global válido em um sistema maior. Isso impõe restrições às funções de quadro locais que não existem quando o sistema é considerado isoladamente.

Principais Contribuições e Resultados
O principal resultado do artigo é o Teorema 2, que estende o teorema de Gleason para espaços de dimensão dois:

• Teorema 2: Assumindo os axiomas padrão para espaços de Hilbert (H), medições projetivas (M), sistemas compostos (C) e a definição operacional de estados como funções de quadro marginais (eS), qualquer função de quadro marginal $f$ para um sistema de dimensão $d \geq 2$ admite a expressão $f(P_x) = \text{Tr}(P_x \rho)$ para uma matriz de densidade $\rho$.
• Mecanismo de Extensão: Para $d=2$, embora as funções de quadro isoladas possam ser arbitrárias, o requisito de que sejam marginais (deriváveis de um sistema composto com $d' \geq 2$) força-as a conformar-se ao formalismo da matriz de densidade. A prova aproveita o fato de que, para o sistema composto (dimensão $2d' \geq 4$), o teorema de Gleason padrão se aplica. A função marginal é mostrada como sendo o traço parcial da matriz de densidade composta, que necessariamente resulta em uma matriz de densidade $2 \times 2$ válida.
• Análise de Robustez (Teorias de Contraste/Foil): Os autores investigam a estabilidade estrutural desta derivação:
  • Teoria Quântica Real (RQT): A extensão mantém-se para espaços de Hilbert reais ($d \geq 2$) desde que o produto tensorial padrão seja usado, apesar de a RQT carecer de tomografia local.
  • Teoria Quântica Quaternônica (QQT): A extensão provavelmente falha porque a não-comutatividade dos quaterniões complica a definição de um produto tensorial linear e de operações locais consistentes, obstruindo a definição de funções de quadro marginais.
  • Produtos Tensoriais/Observáveis Alternativos: Se o conjunto de observáveis for restrito (ex: apenas medições de produto local ou PVMs "não emaranhadas"), a derivação pode falhar. Especificamente, para sistemas compostos contendo um qubit, funções de quadro não quânticas podem existir se o conjunto de medições permitidas não incluir o conjunto completo de PVMs necessário para impor a estrutura de produto tensorial padrão.
  • Regras de Atualização de Estado: A derivação é independente da regra de atualização de estado (ex: regra de Lüders). O teorema mantém-se mesmo em teorias com regras de atualização alternativas, desde que o espaço de Hilbert e as estruturas de produto tensorial permaneçam padrão.

Significância e Alegações
O artigo alega fornecer uma "simplificação conceitual" e uma derivação "natural" do espaço de estados do qubit e da regra de Born sem invocar medições generalizadas. A significância é estruturada em quatro pontos:

1. Pressupostos Primitivos: A derivação baseia-se exclusivamente em Medidas de Valor de Projeção (PVMs), que os autores argumentam serem logicamente mais primitivas que as POVMs devido à sua correspondência com reticulados booleanos de eventos e proposições definitivas de sim/não.
2. Postulados Padrão: O resultado decorre diretamente do postulado padrão de composição de sistemas (produto tensorial), evitando a necessidade de suposições ad hoc sobre conjuntos de medição.
3. Papel dos Sistemas Compostos: O trabalho ressalta que a estrutura da teoria quântica para sistemas individuais (especificamente qubits) está intrinsecamente ligada às propriedades de sistemas compostos. A incapacidade de atribuir probabilidades não contextuais a um único qubit isolado é resolvida apenas ao considerá-lo como parte de um todo maior.
4. Programa de Reconstrução: A extensão contribui para a reconstrução da teoria quântica a partir de postulados intuitivos. Demonstra que a geometria do espaço de estados (matrizes de densidade) e a regra de probabilidade (regra de Born) para todas as dimensões finitas ($d \geq 2$) podem ser derivadas unicamente dos postulados de composição de sistemas e medições projetivas.

Os autores mantêm um tom modesto, observando que, embora o resultado esclareça as relações lógicas entre os postulados, ele não deriva toda a teoria (ex: dinâmica unitária ou regras de atualização específicas), mas estabelece a estrutura necessária para o espaço de estados e as atribuições de probabilidade. O artigo afirma explicitamente que a extensão não se aplica a teorias onde a estrutura de produto tensorial ou a definição de sistemas compostos é fundamentalmente alterada (como em certas formulações de QQT ou teorias com conjuntos de observáveis restritos).