Quantum Decision Theory for Displacement Detection with Finite-Energy GKP States

Resumo Técnico: Teoria de Decisão Quântica para Detecção de Deslocamento com Estados GKP de Energia Finita

Definição do Problema
O artigo aborda o problema de discriminação binária de um deslocamento de fase-espaço atuando em um único modo bosônico. Diferente da estimativa de parâmetro contínuo, o objetivo é determinar se um deslocamento ocorreu e, dentro de uma estrutura de Neyman–Pearson, identificar a perturbação mínima detectável. O estudo foca na utilização de estados Gottesmann–Kitaev–Preskill (GKP) de nível $d$ e energia finita como sondas. Estes estados são escolhidos porque sua estrutura periódica no fase-espaço é naturalmente adaptada a transformações de deslocamento, oferecendo potenciais vantagens sobre sondas gaussianas padrão (estados coerentes, comprimidos e de par de feixes/twin-beam). Um desafio crítico abordado é o tratamento realista da energia finita (compressão finita), que modifica a periodicidade do estabilizador e introduz sobreposições de estados lógicos, bem como os efeitos de perda de fótons e amplificação limitada por quantum.

Metodologia
Os autores desenvolvem um framework de decisão quântica que integra a discriminação de erro mínimo bayesiana e o teste de hipótese de Neyman–Pearson.

1. Formalismo Matemático:

   • Modelagem de Energia Finita: Codewords GKP ideais são regularizados usando um envelope de Fock, levando a funções de onda expressas via núcleos de série de theta. O operador de deslocamento é mapeado para uma matriz não unitária comprimida $K^{(d)}_\beta(\xi)$ agindo no subespaço lógico, derivada de núcleos de deslocamento exatos de série de theta.
   • Perda e Amplificação: A perda de fótons seguida de amplificação limitada por quantum é mapeada para um canal efetivo de ganho unitário com ruído de deslocamento gaussiano aditivo. Isso permite que o problema seja tratado dentro de um framework estatístico comum onde a saída é uma mistura de estados GKP deslocados gaussianamente.
   • Arquiteturas: Duas arquiteturas de detecção são analisadas:
     • Modo único: Um estado GKP de energia finita sofre o deslocamento e é medido localmente.
     • Assistida por emaranhamento: O modo de sinal é maximamente emaranhado com um idler GKP retido. A medição conjunta mapeia classes de deslocamento lógico em setores de Bell lógicos.

2. Métricas de Desempenho:

   • Bayesiana: A probabilidade de erro média mínima $P_e$ é derivada usando o limite de Helstrom, dependente da sobreposição $\kappa$ entre a hipótese nula e a deslocada.
   • Neyman–Pearson: A Característica de Operação do Receptor (ROC) é derivada, maximizando a probabilidade de detecção $p_{11}$ para uma taxa de falso alarme fixa $p_{10}$. O deslocamento mínimo detectável é definido como o primeiro cruzamento da curva ROC satisfazendo uma probabilidade de detecção alvo.
   • Benchmarks: Os protocolos GKP são comparados com estados coerentes, estados de vácuo comprimido com direção correspondente (direction-matched) e estados de par de feixes (two-mode squeezed vacuum). As comparações são feitas sob uma convenção de "compressão nominal igual", com energias de sinal e total reportadas separadamente para distinguir os efeitos da compressão da estrutura de grade GKP.

Principais Contribuições

• Tratamento Exato de Energia Finita: O artigo deriva métricas exatas de desempenho Bayesiano e de Neyman–Pearson para sondas GKP sem aproximá-las como codewords ideais ou modelos puramente clássicos de ruído modular. A análise retém os efeitos de compressão finita, sobreposições lógicas e vazamento para fora do espaço de código via núcleos de série de theta.
• Otimização de Emaranhamento vs. Modo Único: Os autores comparam rigorosamente protocolos assistidos por emaranhamento contra estratégias de modo único otimizadas ponto a ponto. Eles provam que, embora o emaranhamento não supere a estratégia de modo único otimizada ponto a ponto no cenário de estado puro sem ruído (Proposição 1), ele remove estruturalmente "direções cegas" dependentes da preparação e preserva ambos os rótulos de deslocamento lógico ao mapeá-los para setores de Bell ortogonais.
• Análise Compensada por Perda: O framework lida explicitamente com a transição de perda pura para um canal de deslocamento aleatório gaussiano compensado, derivando os testes de razão de verossimilhança ótimos para sondas GKP de modo único e emaranhadas neste regime.
• Benchmarks Operacionais: O estudo fornece benchmarks numéricos mostrando que as sondas GKP podem superar certos receptores gaussianos em regimes específicos de compressão finita e perda, particularmente para deslocamentos oblíquos onde rótulos lógicos não comutativos carregam informação de hipótese.

Resultos

• Regime Sem Ruído: Na ausência de ruído, a vantagem das sondas GKP é não-local. Enquanto estados comprimidos com direção correspondente são superiores para deslocamentos muito pequenos (próximos à origem), as sondas GKP exibem probabilidades de erro bayesianas menores perto dos primeiros recursos lógicos de energia finita da rede. Por exemplo, a 8 dB de compressão e dimensão lógica $d=7$, a redução máxima do erro bayesiano atinge $4,39 \times 10^{-2}$ comparado ao melhor benchmark gaussiano.
• Regime com Ruído (Perda + Amplificação): Sob perda e pós-amplificação, o protocolo GKP de energia finita mantém uma vantagem sobre receptores gaussianos (coerentes, comprimidos e de par de feixes) em janelas de parâmetros específicas.
  • A 8 dB de compressão e transmitância $\eta=0,95$, o protocolo GKP alcança uma redução de erro bayesiano de 0,03809 (com $d=5$) comparado ao melhor receptor gaussiano.
  • No regime de Neyman–Pearson ($d=5$, 6 dB, $\eta=0,8$), o protocolo GKP reduz o deslocamento mínimo detectável em 8,54% em relação ao melhor receptor gaussiano selecionado.
• Papel do Emaranhamento: O esquema assistido por emaranhamento supera a estratégia GKP de modo único otimizada especificamente para deslocamentos oblíquos sob compressão finita e perda. Para deslocamentos axiais, as duas arquiteturas coincidem em desempenho. O esquema emaranhado utiliza efetivamente o registro conjunto do sinal e do idler para mitigar a perda de informação causada pela não-ortogonalidade dos estados de energia finita.
• Limitações: A vantagem das sondas GKP não é universal; ela diminui conforme a perda aumenta ou quando o deslocamento é extremamente pequeno (onde estados comprimidos dominam). O ponto de cruzamento depende da interação entre a compressão finita, a dimensão lógica e a transmitância do canal.

Significância
O artigo afirma estabelecer um framework abrangente para o uso de códigos de correção de erro bosônicos (especificamente estados GKP) não meramente como portadores de informação protegida, mas como sondas estruturadas para detecção de processos quânticos. Ao tratar efeitos de energia finita de forma exata e mapear a perda para um modelo de ruído gaussiano, o trabalho demonstra que o síndrome contínuo e a estrutura lógica discreta dos estados GKP formam recursos estatísticos complementares. Os resultados indicam que, embora as sondas GKP não superem universalmente os estados gaussianos em todos os regimes, elas oferecem uma vantagem distinta em regimes de compressão finita e perda para detectar deslocamentos que interagem com a geometria da rede, particularmente quando o emaranhamento é utilizado para preservar a informação lógica não comutativa. Os autores observam que trabalhos futuros devem focar na otimização da geometria da rede e da preparação da sonda sob restrições de energia igual, além de estender o framework para hipóteses compostas e imperfeições experimentais.