Linear-optical test of quantum contextuality with sequential measurements

Resumo Técnico: Teste de contextualidade quântica com óptica linear e medições sequenciais

Enunciação do Problema
A contextualidade quântica, a dependência dos resultados de medição do conjunto de observáveis compatíveis medidos conjuntamente, serve como uma assinatura fundamental de comportamento não clássico que não pode ser explicada por modelos de variáveis ocultas não contextuais. Embora o teorema de Kochen–Specker (KS) e as desigualdades associadas, como a desigualdade de Klyachko–Can–Binicioğlu–Shumovsky (KCBS), forneçam estruturas teóricas para testar esse fenômeno, a verificação experimental em sistemas fotônicos enfrenta desafios significativos.

O principal obstáculo é a natureza destrutiva da fotodetecção, que complica a implementação de medições sequenciais necessárias para avaliar observáveis conjuntos com precisão. Abordagens experimentais anteriores tentaram contornar isso codificando os resultados de medição em diferentes graus de liberdade (por exemplo, polarização ou caminho) para realizar medições conjuntas em vez de sequências verdadeiras. No entanto, como observado na literatura, tais estratégias não capturam plenamente a natureza quântica da contextualidade e produzem dados que podem ser simulados classicamente. Além disso, outras implementações que utilizam detectores sequenciais frequentemente falham em garantir que o mesmo observável seja realizado por operações físicas idênticas em diferentes contextos (por exemplo, medir $A^{(5)}A^{(1)}$ versus $A^{(5)}A'^{(1)}$ onde $A^{(1)}$ e $A'^{(1)}$ são fisicamente distintos). Este artigo aborda a necessidade de um esquema de óptica linear que realize medições sequenciais genuínas, garanta a identidade física dos observáveis entre contextos e supere a natureza destrutiva da detecção.

Metodologia
Os autores propõem e implementam experimentalmente um arranjo de óptica linear usando fótons únicos distribuídos sobre $M \ge 3$ modos bosônicos. O núcleo da metodologia envolve:

1. Medição Sequencial via Eventos de Não-Clique: Em vez de usar detectores de não-demolição (que são intensivos em recursos) ou medições conjuntas, o esquema emprega detectores fotônicos do tipo liga-desliga. Um "clique" (detecção de um fóton) corresponde ao resultado $-1$ e destrói o fóton. Crucialmente, um evento de "não-clique" (detecção de vácuo) corresponde ao resultado $+1$. Este evento de não-clique projeta o sistema no subespaço dos modos restantes sem destruir o fóton único, permitindo assim que uma medição subsequente seja realizada no mesmo fóton. Isso satisfaz os requisitos de repetibilidade e não perturbação essenciais para testes de contextualidade.
2. Identidade Física dos Observáveis: O arranjo utiliza redes de óptica linear (transformações unitárias $U_j$) dispostas ao redor de um detector liga-desliga fixo. Ao definir o observável $A^{(j)} = U_j D U_j^\dagger$, onde $D$ é o observável do detector fixo, o esquema garante que, sempre que um observável aparecer em uma correlação (por exemplo, $A^{(1)}$ no par $A^{(1)}A^{(2)}$ e $A^{(5)}A^{(1)}$), ele seja implementado pela exata mesma operação física. Isso resolve o problema de medições compatíveis não idênticas encontrado em experimentos anteriores.
3. Formulação da Desigualdade KCBS: O experimento testa uma forma simplificada da desigualdade KCBS expressa em termos de probabilidades conjuntas:
   $$S(\rho) = \sum_{j=1}^5 p(v_j = +1) - \sum_{j=1}^5 p(v_j = +1, v_{j+1} = +1) \le 2$$
   onde o limite clássico é 2. No esquema proposto, o termo $p(v_j = +1, v_{j+1} = +1)$ corresponde à probabilidade de dois eventos consecutivos de "não-clique".
4. Implementação Experimental: O experimento utiliza uma codificação híbrida de caminhos espaciais e polarização para realizar três modos ópticos ($M=3$). Uma fonte de fótons únicos com heraldação gera fótons, que são roteados através de uma sequência de deslocadores de feixe (BDs) e placas de meia-onda (HWPs) para implementar as transformações unitárias necessárias. O arranjo inclui um mecanismo para simular perda de fótons acoplando uma fração da luz a um estado de vácuo, permitindo o estudo da robustez contra perdas.

Contribuições Principais

• Esquema Sequencial Novel: O artigo introduz uma arquitetura de óptica linear que realiza medições sequenciais verdadeiras usando detectores liga-desliga padrão, aproveitando eventos de vácuo (não-clique). Isso evita a necessidade de interações complexas de não-demolição quântica.
• Resolução de Problemas de Implementação de Contextualidade: A construção garante que cada observável co-medido seja implementado pela mesma operação física em diferentes contextos, abordando uma limitação de longa data nos testes de contextualidade fotônica.
• Aplicação à Caracterização de Estados: Os autores demonstram que o arranjo pode ser usado além de testes fundamentais para verificar a não classicidade e sondar as estatísticas de número de fótons de estados arbitrários de modo único. Eles derivam limites mostrando que observar $S(\rho) > 1.25$ certifica a não classicidade, e limites específicos (por exemplo, $S > 1.472$) podem certificar a presença de um componente de fóton único, mesmo na presença de vácuo ou componentes de número de fótons de ordem superior onde testes padrão de $g^{(2)}$ poderiam falhar.

Resultados Experimentais
Os resultados experimentais demonstram uma violação clara da desigualdade KCBS.

• Magnitude da Violação: Para um estado inicial de fóton único, o valor medido é $S(|1\rangle_1) = 2.2363 \pm 0.0041$, que excede o limite clássico de 2 e está próximo da violação quântica máxima teórica de $\sqrt{5} \approx 2.236$.
• Robustez à Perda: O experimento investigou o efeito da perda de fótons variando a razão entre componentes de fóton único e vácuo. A violação da desigualdade ($S > 2$) foi mantida até uma taxa de perda de fótons de aproximadamente 10,55%. Os dados confirmam que o valor observado de $S$ diminui linearmente com a fração de fóton único, consistente com previsões teóricas.
• Significância Estatística: Os resultados foram médios sobre 100 repetições com tempos de acumulação de 1 segundo por ciclo, gerando incertezas estatísticas que confirmam que a violação é significativa.

Significância e Alegações
O artigo alega que este trabalho fornece uma ferramenta prática e robusta para sondar a não classicidade e verificar fontes de fótons únicos. Ao resolver o problema da realização idêntica de observáveis e utilizar um arranjo simples de óptica linear, o esquema oferece uma rota viável para verificações operacionais ou de "caixa preta" de contextualidade. Os autores afirmam que sua abordagem simplifica a implementação experimental enquanto satisfaz os requisitos centrais de Kochen–Specker. Além disso, a capacidade de inferir estatísticas de número de fótons e certificar propriedades de estados de entrada sugere aplicações no auto-teste e certificação de componentes fotônicos, incluindo fontes de fótons únicos e detectores. Os resultados fornecem fortes evidências contra descrições de variáveis ocultas não contextuais das correlações observadas e destacam a interplay entre os aspectos ondulatórios (superposição) e corpusculares (exclusão mútua de cliques) dos fótons únicos.