Experimental Demonstration of Commutation Relations Using Intensity Correlations

Resumo Técnico: Demonstração Experimental de Relações de Comutação Usando Correlações de Intensidade

Problema
A relação de comutação canônica é um elemento fundamental da teoria quântica, servindo como base para o princípio da incerteza de Heisenberg. Embora as relações de incerteza tenham sido rigorosamente testadas em vários sistemas físicos, a verificação experimental direta da própria relação de comutação subjacente tem permanecido elusiva. Esta dificuldade decorre do fato de que observáveis não comutativos carecem de uma distribuição de probabilidade conjunta, e seu produto é geralmente não-Hermitiano, o que impede a medição direta. Demonstrações experimentais anteriores foram amplamente restritas a sistemas de qubits de dimensão finita ou basearam-se em métodos indiretos no domínio de variáveis contínuas, como a adição e subtração sequencial de fótons.

Metodologia
Os autores propõem e demonstram um método para extrair o valor de expectativa do comutador do operador de campo comparando quantitativamente duas funções de correlação de intensidade distintas: correlação cruzada e autocorrelação.

1. Estrutura Teórica:

   • Correlação Cruzada ($g^{(2)}_{cross}$): Utilizando a configuração padrão de Hanbury Brown e Twiss (HBT), onde um campo óptico é dividido por um divisor de feixe (beam splitter) de 50:50 e detectado por dois detectores independentes. Esta medição fornece uma função de correlação com ordenamento normal: $g^{(2)}_{cross}(\tau) \propto \langle \hat{a}^\dagger(t) \hat{a}^\dagger(t+\tau) \hat{a}(t) \hat{a}(t+\tau) \rangle$.
   • Autocorrelação ($g^{(2)}_{auto}$): Obtida registrando um registro de detecção resolvido no tempo de um único detector (ou fundindo dois fluxos) e correlacionando o sinal consigo mesmo. Isto produz: $g^{(2)}_{auto}(\tau) \propto \langle \hat{a}^\dagger(t) \hat{a}(t) \hat{a}^\dagger(t+\tau) \hat{a}(t+\tau) \rangle$.
   • A Conexão do Comutador: A análise teórica mostra que, para um estado quântico puro, a diferença entre estas funções no atraso de tempo zero ($\tau=0$) é diretamente proporcional ao valor de expectativa do comutador bosônico $[\hat{a}, \hat{a}^\dagger]$. Especificamente, $g^{(2)}_{auto}(0) - g^{(2)}_{cross}(0) = \langle [\hat{a}, \hat{a}^\dagger] \rangle / \langle \hat{a}^\dagger \hat{a} \rangle$. O pico de atraso zero na autocorrelação, frequentemente visto como um artefato, é identificado como a manifestação experimental direta da não-comutatividade dos operadores de campo.

2. Implementação Experimental:
   Os autores validaram este arcabouço utilizando duas fontes de luz distintas:

   • Fonte de Fóton Único: Um único íon de $^{174}\text{Yb}^+$ aprisionado no foco de um espelho parabólico profundo. O íon foi excitado por um laser de 369,5 nm, e a fluorescência emitida foi coletada, dividida por um divisor de feixe e detectada por dois tubos fotomultiplicadores (PMTs). A eficiência de detecção foi rigorosamente caracterizada via um método sensível ao estado ($\eta \approx 4,61\%$).
   • Fonte Coerente: Um laser de 369,5 nm com frequência e potência estabilizadas (largura de linha $\approx 10$ Hz) disperso pela montagem do armadilha de íons para o caminho de detecção.
   • Processamento de Dados: Eventos de detecção com marcação temporal (time-tagged) foram registrados. Para $g^{(2)}_{cross}$, os fluxos dos dois detectores foram correlacionados. Para $g^{(2)}_{auto}$, os fluxos foram fundidos e correlacionados consigo mesmos. Correções foram aplicadas para perdas ópticas, tempos mortos dos detectores e janelas de tempo de medição finitas.

Resultados Principais

• Estado de Fóton Único: O experimento rendeu $g^{(2)}_{auto}(0) = 714,93 \pm 0,19$ e $g^{(2)}_{cross}(0) = 0,016 \pm 0,002$. Utilizando o número médio de fótons medido e a eficiência de detecção, o valor de expectativa do comutador extraído foi $\langle [\hat{a}, \hat{a}^\dagger] \rangle = 1,01 \pm 0,04$, consistente com o valor teórico de unidade.
• Estado Coerente: Para a fonte laser, $g^{(2)}_{auto}(0) = 841,68 \pm 0,24$ (consistente com $1 + 1/\langle N \rangle$) e $g^{(2)}_{cross}(0) = 0,97 \pm 0,02$. O valor de expectativa do comutador calculado foi $\langle [\hat{a}, \hat{a}^\dagger] \rangle = 1,00 \pm 0,02$, novamente em concordância quantitativa com a teoria quântica.
• Comportamento Temporal: Para $\tau \neq 0$, as funções de autocorrelação e correlação cruzada foram encontradas como idênticas, confirmando que os operadores de campo comutam em tempos diferentes, isto é, $[\hat{a}(t), \hat{a}^\dagger(t')] = \delta(t-t')$.

Significância e Alegações
O artigo afirma fornecer a primeira demonstração experimental direta da relação de comutação bosônica para operadores de campo óptico baseada em medições de correlação de intensidade. Os autores enfatizam que a distinção entre autocorrelação e correlação cruzada não é meramente técnica, mas reflete uma consequência fundamental da não-comutatividade dos operadores.

As principais contribuições destacadas pelos autores incluem:

1. Acesso Direto: Estabelecer um arcabouço para determinar relações de comutação através de correlações de intensidade sem a necessidade de operações sequenciais ou sistemas de qubits de dimensão finita.
2. Universalidade: O método aplica-se a campos ópticos arbitrários, operando independentemente de as estatísticas serem clássicas (coerentes) ou quânticas (fóton único).
3. Reinterpretação de Artefatos: Reenquadrar o pico de autocorrelação de atraso zero de um artefato técnico para uma manifestação experimental direta da relação de comutação bosônica.
4. Robustez Experimental: Demonstrar que esta propriedade quântica fundamental pode ser verificada usando técnicas padrão de correlação de intensidade (HBT e autocorrelação) acessíveis em laboratórios ópticos típicos.

Os autores concluem que a diferença entre estas funções de correlação no atraso zero contém informações fundamentais frequentemente negligenciadas, fornecendo um método robusto e acessível para verificar a não-comutatividade dos operadores de campo quântico.