Programmable optical parametric amplifier synthesizer for cubic phase states and amplified Schrodinger cat states

Resumo Técnico: Sintetizador de Amplificador Paramétrico Óptico Programável para Fase Cúbica e Estados de Gato de Schrödinger Amplificados

Definição do Problema
O processamento de informação quântica de variáveis contínuas (CV) depende fortemente da geração e manipulação de estados não-Gaussianos. Dois recursos críticos são os estados de fase cúbica (CPS), que fornecem a não-linearidade necessária para arquiteturas puramente Gaussianas universais, e estados de gato de Schrödinger de grande amplitude, que são essentes para a correção de erros bosônicos tolerante a falhas. Os métodos existentes enfrentam limitações significativas: gerar CPS de alta fidelidade frequentemente exige sementes não-Gaussianas complexas (ex: estados trisuprimidos/trisqueezed) ou sofre com probabilidades de sucesso extremamente baixas. Da mesma forma, amplificar estados de gato de pequena amplitude para o regime de grande amplitude ($\alpha \ge 2$) normalmente demanda esquemas iterativos com perda cumulativa elevada, compressão (squeezing) extrema ou detecção de ordem de fóton superior. Embora Amplificadores Paramétricos Ópticos (OPAs) com detecção de fóton heraldado tenham sido usados para geração de estados, configurações anteriores eram restritas a entradas de idler específicas (tipicamente vácuo ou estados de Fock fixos) e não exploraram totalmente o potencial de variar o número de fótons de entrada e saída para alcançar novas funcionalidades, como preservação de estado catalítico ou amplificação de inversão de paridade.

Metodologia
Os autores propõem um framework de sintetizador OPA programável operando sob um esquema de detecção de resolução de número de fótons heraldado. O protocolo envolve:

1. Configuração de Entrada: Um modo de sinal (preparado em um estado coerente ou um estado de gato de Schrödinger) e um modo idler (preparado em um estado de Fock $|m\rangle$) são injetados em um OPA.
2. Interação: O OPA, caracterizado por um parâmetro de ganho ajustável $g$, emaranha os dois modos via o operador de compressão de dois modos $S(\tau)$.
3. Heralding (Anúncio): Um detector de resolução de número de fótons mede a saída do idler, pós-selecionando eventos onde exatamente $n$ fótons são detectados. Esta medição condicional projeta o modo de sinal em um estado não-Gaussiano.
4. Exploração do Espaço de Parâmetros: O estudo investiga sistematicamente o espaço total de parâmetros de fótons de entrada de idler ($m$) e fótons de idler detectados ($n$). Ele distingue entre configurações catalíticas ($m = n$), onde o estado idler é efetivamente restaurado e a paridade de entrada é preservada, e configurações não-catalíticas ($m \neq n$), que permitem diferentes resultados de paridade e potencialmente maiores taxas de sucesso.
5. Otimização: Simulações numéricas (usando QuTiP) otimizam o ganho $g$ do OPA, amplitudes de entrada e parâmetros de correção Gaussiana (compressão e deslocamento) para maximizar a fidelidade contra estados alvo (CPS ideal ou estados de gato comprimidos).

Principais Contribuições
O artigo estabelece que a arquitetura de heralding de OPA funciona como um sintetizador unificado e programável capaz de duas funcionalidades distintas e qualitativamente diferentes, dependendo da entrada e da configuração $(m, n)$:

1. Geração de Estado de Fase Cúbica de Alta Fidelidade:

   • Usando um estado coerente como entrada de sinal, o protocolo gera estados de fase cúbica com fidelidades superiores a 0,99.
   • Crucialmente, isso é alcançado não apenas sob a condição catalítica ($m=n$), mas também através de uma ampla gama de configurações não-catalíticas ($m \neq n$).
   • O framework converte entradas Gaussianas (estados coerentes) em saídas altamente não-Gaussianas usando apenas operação de OPA de ganho moderado e detecção de resolução de número de fótons de ordem baixa, evitando a necessidade de sementes não-Gaussianas pré-existentes complexas.

2. Amplificação de Estados de Gato de Schrödinger:

   • Usando um estado de gato de Schrödinger não-comprimido ($\alpha_{in} \le 1$) como entrada de sinal, o protocolo amplifica o estado para um estado de gato comprimido de grande amplitude ($\alpha_{out} \ge 2$) mantendo a fidelidade acima de 0,99.
   • Configurações Catalíticas ($m=n$): Preservam a paridade de entrada (par permanece par, ímpar permanece ímpar) e restauram o estado idler.
   • Configurações Não-Catalíticas ($m \neq n$): Permitem a amplificação com "inversão de paridade" (ex: convertendo um gato par em um gato ímpar) e frequentemente oferecem maiores probabilidades de sucesso.
   • A saída amplificada pode servir como uma semente para rodadas subsequentes de amplificação, oferecendo um caminho de auto-semeadura para gerar progressivamente estados de gato maiores.

Resultos

• Estados de Fase Cúbica: Os autores demonstram que configurações como $(0,4)$, $(1,1)$, $(2,2)$ e $(1,4)$ produzem fidelidades $F \ge 0,99$. O ganho $g$ ideal do OPA e a amplitude $\alpha$ são identificados para cada configuração. Os estados gerados exibem a negatividade característica da função Wigner e a assimetria dos estados de fase cúbica. As probabilidades de sucesso variam de $10^{-2}$ (para entradas de vácuo no idler) a $10^{-7}$ (para casos catalíticos de ordem superior), com os autores observando que altas taxas de repetição podem mitigar as baixas probabilidades de tentativa única.
• Amplificação de Estado de Gato:
  • Para Estados de Gato Ímpares (OCS), configurações catalíticas $(1,1)$ até $(4,4)$ amplificam com sucesso entradas com $\alpha_{in} \lesssim 1,5$ para saídas com $\alpha_{out} \ge 2,0$ com $F > 0,99$.
  • Para Estados de Gato Pares (ECS), a configuração $(1,1)$ atua como um atenuador sem ruído em vez de um amplificador, enquanto configurações como $(2,2)$ e $(4,4)$ alcançam amplificação.
  • Configurações não-catalíticas, como $(1,2)$ para entradas ECS, alcançam alta fidelidade ($F \approx 0,996$) com probabilidades de sucesso significativamente maiores ($\sim 1,7\%$) comparadas aos casos catalíticos, permitindo a conversão de pequenos "gatinhos" pares em estados de gato de grande amplitude e ímpares.
• Robustez: A análise de perda de fótons (modelada via equação mestre de Lindblad) mostra que os estados gerados mantêm alta fidelidade ($F > 0,9$) mesmo sob taxas de perda moderadas ($\kappa t \le 0,02$ para estados de gato, até $0,50$ para CPS). Notavelmente, a complexidade estrutural dos estados persiste mesmo após a negatividade da função Wigner desaparecer.

Significância e Alegações
Os autores alegam que este trabalho revela uma plataforma de OPA unificada e programável para engenharia de estados não-Gaussianos que era anteriormente inacessível. Principais alegações incluem:

• Novidade: Ao contrário de esquemas anteriores restritos a entradas de vácuo no idler ou estados de Fock específicos, este trabalho explora o espaço completo de $(m, n)$, revelando que a geração de CPS de alta fidelidade e a amplificação de estados de gato são possíveis através de diversas configurações, não apenas no limite catalítico.
• Acessibilidade Experimental: O protocolo requer apenas operação de OPA de ganho moderado e detecção de resolução de número de fótons de ordem baixa (tipicamente 1–3 fótons), tornando-o experimentalmente viável com a tecnologia atual. Ele evita a necessidade de compressão extrema ou esquemas de subtração de múltiplos fótons que sofrem de perda cumulativa e baixas taxas de sucesso.
• Escalabilidade: A capacidade de "auto-semeadura", onde um estado de gato amplificado serve como entrada para a próxima rodada, oferece uma estratégia escalável para gerar estados de gato cada vez maiores sem aumentar as demandas de recursos (ex: detecção de ordem superior).
• Versatilidade: A habilidade de alternar entre modos de preservação de paridade (catalítico) e inversão de paridade (não-catalítico) fornece uma ferramenta flexível para tarefas de informação quântica customizadas, como a preparação de recursos específicos para geração de estados GKP ou correção de erros bosônicos.

O artigo conclui que este framework fornece uma rota direta e experimentalmente acessível para os recursos não-Gaussianos necessários para computação quântica de variáveis contínuas universal e correção de erros tolerante a falhas.