Witnesses of non-Gaussian features as lower bounds of stellar rank

Resumo Técnico: Testemunhas de Características Não-Gaussianas como Limites Inferiores do Rank Estelar

Autores: Jan Provazník, Šimon Bräuer, Vojtěch Kala, Jaromír Fiurášek, e Petr Marek.
Instituições: Universidade Palacký (República Tcheca), Niels Bohr Institute (Dinamarca), École polytechnique de Bruxelles (Bélgica).

1. Problema

O campo da informação quântica de variáveis contínuas (CV) depende criticamente de estados e operações não-Gaussianas para realizar computação quântica universal, correção de erros e metrologia de alta precisão. Embora o rank estelar (stellar rank) seja uma medida hierárquica rigorosa e operacionalmente motivada para quantificar a não-Gaussianidade (definida pelo número de zeros da função Q de Husimi ou o número mínimo de adições de fótons necessárias para gerar o estado a partir de recursos Gaussianos), sua determinação experimental é extremamente desafiadora.

Por outro lado, testemunhas de não-Gaussianidade baseadas em momentos estatísticos (valores esperados e variâncias de observáveis) são acessíveis experimentalmente, pois não exigem tomografia completa do estado quântico. No entanto, historicamente, essas testemunhas careciam de uma conexão direta e quantitativa com o rank estelar, dificultando a certificação escalável de recursos quânticos complexos. O problema central é estabelecer uma ligação rigorosa entre essas testemunhas acessíveis e a hierarquia estrutural do rank estelar.

2. Metodologia

Os autores desenvolveram um arcabouço teórico e numérico para vincular testemunhas de momentos estatísticos aos limites inferiores do rank estelar.

• Definição de Rank Estelar: Um estado puro $|\psi_m\rangle$ com rank estelar $m$ é expresso como uma unitária Gaussiana $\hat{G}$ atuando sobre uma superposição de estados de Fock até o nível $m$. Estados mistos são definidos via construção de telhado convexo.
• Formulação de Testemunhas:
  • Baseadas em Valor Esperado: Para um operador Hermitiano $\hat{W}$, define-se o limite mínimo $W_m$ alcançável por estados de rank $m$.
  • Baseadas em Variância (Compressão Não-Linear): Para um operador $\hat{Q}$, define-se a variância mínima $V_m$.
• Otimização e Projeção: Para calcular esses limites, o problema de minimização é restringido ao subespaço de Hilbert finito gerado pelos primeiros $(m+1)$ estados de Fock, utilizando o operador de projeção $\hat{\Pi}_m$. A otimização é realizada sobre os parâmetros das operações Gaussianas (deslocamento, compressão e rotação de fase).
• Normalização: As testemunhas são normalizadas em relação ao limite Gaussiano ($m=0$), definindo quantidades adimensionais $\zeta_m$ (para valores esperados) e $\xi_m$ (para compressão não-linear).
• Teorema de Separação de Poincaré: Utilizado para garantir que os limites formam sequências não-crecentes, assegurando que se uma testemunha medida estiver abaixo do limite $m$, o estado possui rank estelar pelo menos $m+1$.
• Famílias de Operadores: A metodologia foi aplicada a quatro famílias de operadores (Tabela I do artigo):
  1. Nullificador de estado cúbico (variância).
  2. Nullificador de estado GKP (valor esperado).
  3. Nullificador de estado Cat (valor esperado).
  4. Nullificador de estado de Fock (valor esperado).

3. Contribuições Principais

1. Conexão Quantitativa: Estabelecimento de uma ligação direta entre testemunhas experimentais acessíveis (momentos de observáveis) e o rank estelar teórico.
2. Limites Inferiores Certificáveis: Demonstração de que o valor de uma testemunha fornece um limite inferior rigoroso para o rank estelar de um estado.
3. Hierarquia Consistente: Prova de que tanto critérios baseados em valor esperado quanto em variância formam uma hierarquia monotônica consistente com a ordenação do rank estelar.
4. Protocolos Escaláveis: Proposta de um método para certificação de recursos quânticos que evita a necessidade de reconstrução completa do estado (tomografia), sendo tolerante a ruído e escalável.

4. Resultados

Os autores realizaram cálculos numéricos para determinar os limiares ($W_m, V_m$ e suas versões normalizadas) para ranks estelares até $m=10$.

• Tendência Monotônica: Os resultados (Tabelas II e III) confirmam que os limiares diminuem monotonicamente à medida que o rank estelar aumenta, conforme previsto pelo teorema de Poincaré.
• Família (a) - Compressão Cúbica: Os limiares de compressão não-linear diminuem gradualmente com o aumento do rank.
• Família (b) - Estados GKP: Os limiares são normalizados por construção. Os valores para $m=0$ e $m=1$ foram obtidos analiticamente para estados de vácuo infinitamente comprimidos.
• Família (c) - Estados Cat: Os limiares para nullificadores de estados Cat coerentes ($\alpha=2$) caem rapidamente (várias ordens de magnitude) nos primeiros ranks. Isso indica que estados Cat com $\alpha=2$ são, para fins práticos, indistinguíveis de aproximações com rank estelar relativamente baixo.
• Família (d) - Estados de Fock: Para nullificadores de estados de Fock $|k\rangle$, os limiares tornam-se zero quando $m \geq k$, pois o estado alvo está contido no conjunto de estados de rank $m$.
• Validação Experimental: A metodologia permite que, ao medir uma testemunha $\zeta(\xi)$ abaixo do limiar $\zeta_m(\xi_m)$, certifique-se imediatamente que o estado possui rank estelar $\geq m+1$.

5. Significância

Este trabalho preenche uma lacuna crítica entre a teoria de recursos quânticos e a prática experimental.

• Viabilidade Experimental: Permite a verificação de estados não-Gaussianos complexos sem a sobrecarga computacional e experimental da tomografia quântica completa.
• Certificação de Recursos: Oferece uma ferramenta para identificar e certificar a "qualidade" (não-Gaussianidade) de estados gerados em plataformas ópticas, essencial para a correção de erros e computação quântica universal.
• Eficiência de Recursos: O método é eficiente em termos de recursos, exigindo apenas medições de momentos de baixa ordem, o que é crucial para sistemas experimentais maiores e mais complexos onde a tomografia é inviável.

Em suma, o artigo fornece um "dicionário" prático que traduz medições experimentais diretas em garantias teóricas sobre a complexidade estrutural (rank estelar) dos estados quânticos de variáveis contínuas.