Certification of linear optical quantum state preparation

Título: Certificação de Preparação de Estados Quânticos Ópticos Lineares

1. O Problema

A certificação é fundamental para garantir o funcionamento correto de dispositivos quânticos em escala. No entanto, para plataformas fotônicas de computação quântica linear óptica (LOQC), a certificação tradicional enfrenta desafios significativos:

• Complexidade Exponencial: A tomografia completa de estado torna-se inviável à medida que o número de fótons e modos aumenta.
• Indistinguibilidade vs. Estados Fixos: O poder computacional da LOQC deriva da indistinguibilidade perfeita dos fótons (sobreposição de graus de liberdade internos). Métodos de fidelidade padrão, desenvolvidos para partículas distinguíveis ou qubits, falham porque eles certificam a proximidade a um estado interno específico. Na prática, qualquer estado que seja simétrico sob permutação de partículas (independente da estrutura interna exata) produz estatísticas idênticas em experimentos LOQC.
• Limitações de Detecção: Detectores padrão em LOQC resolvem apenas modos externos (espaciais), ignorando graus de liberdade internos (polarização, frequência, tempo), o que torna difícil definir um "alvo" único para a fidelidade.

2. Metodologia e Abordagem Teórica

Os autores propõem um novo quadro operacional para certificação que lida com a indistinguibilidade parcial:

• Classe de Equivalência LOQC ($C_{LO}$): Em vez de buscar a fidelidade a um único estado quântico, definem uma classe de estados alvo que são operacionalmente equivalentes. Isso inclui todos os estados que, quando processados por um interferômetro linear óptico, produzem as mesmas estatísticas de contagem de fótons.
• Novas Métricas de Fidelidade: Introduzem a Fidelidade LOQC ($F_{LO}$) e a Distância de Traço LOQC ($D_{LO}$), definidas como o máximo (ou mínimo) da fidelidade padrão sobre todos os estados na classe de equivalência alvo.
• Decomposição do Problema: Demonstram que a fidelidade LOQC pode ser limitada inferiormente medindo duas quantidades físicas distintas:
  1. Reversibilidade de Fótons: A probabilidade de que o estado experimental, após ser "revertido" pelo interferômetro inverso ($U^\dagger$), retorne ao estado de entrada original (um fóton em cada modo ocupado).
  2. Indistinguibilidade: Um limite inferior para o peso do setor totalmente indistinguível do estado de entrada.
• Representação de Partição: Para medir a indistinguibilidade, utilizam o conceito de "representação de partição", onde estados são tratados como misturas de estados com fótons agrupados em subconjuntos indistinguíveis.

3. Contribuições Principais

O artigo apresenta uma comparação teórica, numérica e experimental de quatro métodos de testemunho (witnesses) de indistinguibilidade, transformando-os em testemunhos de fidelidade LOQC:

1. Superpostição de Poços HOM (Superposed HOM dips): Baseado em interferência de Hong-Ou-Mandel entre um fóton de referência e os outros. Requer suposições fortes sobre a representação de partição positiva.
2. Correlador de Dois Modos: Mede correlações de número de fótons. É semi-dispositivo-independente, mas fornece limites menos apertados.
3. Interferômetro Cíclico: Utiliza um interferômetro de duas camadas para medir a simetria de permutação cíclica. É um testemunho apertado (tight), mas sofre de complexidade de amostragem exponencial e não é robusto a erros no interferômetro (pode superestimar a fidelidade).
4. Transformada de Fourier (Fourier Transform): Utiliza as leis de supressão exata de um interferômetro de Transformada Discreta de Fourier (DFT).
   • Vantagem Chave: É invariante sob "twirling" de permutação, o que significa que não requer suposições sobre a representação de partição do estado de entrada.
   • Complexidade: Oferece complexidade de amostragem $O(1)$ (ou $O(n)$ dependendo do modelo de ruído), muito superior aos métodos cíclicos ($O(2^n)$).

4. Resultados Experimentais

Os autores implementaram experimentalmente todos os quatro testemunhos em um processador fotônico integrado programável de 12 modos, utilizando três fótons gerados por conversão paramétrica descendente (SPDC).

• Configuração: Introduziram atrasos temporais controlados entre os fótons para variar sistematicamente a indistinguibilidade.
• Comparação de Desempenho:
  • Os métodos de Fourier e Cíclico forneceram os limites mais apertados para a indistinguibilidade.
  • Os métodos de HOM e Correlador forneceram limites mais frouxos.
  • O método Cíclico mostrou-se instável: em simulações de ruído no interferômetro, ele frequentemente superestimava a indistinguibilidade (falha de robustez), enquanto o método de Fourier manteve-se conservador e confiável.
  • O método de Fourier demonstrou ser o único que combina limites apertados, robustez a imperfeições do dispositivo e eficiência de amostragem.
• Certificação Completa: Aplicaram o testemunho baseado em Fourier para certificar a fidelidade de estados gerados por interferômetros aleatórios de Haar (Haar random), validando o protocolo completo de certificação LOQC.

5. Significado e Impacto

• Marco Operacional: O trabalho estabelece uma definição operacionalmente significativa de fidelidade para LOQC, superando a necessidade de especificar estados internos exatos, o que era um obstáculo teórico e prático.
• Ferramenta de Verificação: O testemunho baseado na Transformada de Fourier é identificado como a melhor opção para certificação em larga escala, devido à sua eficiência de amostragem e robustez.
• Aplicações Futuras: Este método é crucial para a validação de experimentos de amostragem de bósons (Boson Sampling), computação quântica baseada em fusão e a criação de recursos de estado entrelaçado para computação quântica tolerante a falhas.
• Insights sobre Ruído: O estudo revela como modelos de ruído simples (como atrasos temporais) podem levar a representações de partição negativas, causando falhas em métodos de testemunho que assumem positividade (como HOM e Correlador), destacando a superioridade do método de Fourier.

Em resumo, o artigo fornece um framework unificado e experimentalmente validado para certificar a qualidade de estados quânticos fotônicos, resolvendo o problema da indistinguibilidade parcial e oferecendo uma solução prática e escalável para a verificação de dispositivos de computação quântica linear óptica.