The symplectic rank of non-Gaussian quantum states

Resumo Técnico: O Posto Simplético de Estados Quânticos Não-Gaussianos

Enunciado do Problema
A não-gaussianidade é um recurso fundamental para alcançar vantagens quânticas em plataformas bosônicas, mas comparar as capacidades não-clássicas de diferentes plataformas físicas (por exemplo, fotônica vs. circuitos supercondutores) permanece desafiador. Medidas existentes de não-gaussianidade, como o volume negativo da função de Wigner ou o posto estelar, sofrem de limitações: podem ser sensíveis a tipos específicos de não-gaussianidade ou carecer de uma interpretação operacional clara em relação à complexidade do estado. Além disso, há a necessidade de uma medida que seja robusta ao ruído experimental, computável e capaz de limitar a complexidade de tarefas como a tomografia de estado quântico e a simulação clássica.

Metodologia e Definições
Os autores introduzem o posto simplético, um novo monótono de não-gaussianidade, estendendo um conceito originalmente definido para estados gaussianos para estados quânticos não-gaussianos arbitrários.

1. Definição: Para um estado puro $\psi$ com uma matriz de covariância $V(\psi)$ bem definida, o posto simplético $s(\psi)$ é definido como o número de autovalores simpléticos de $V(\psi)$ que são estritamente maiores que 1 (os autovalores simpléticos do vácuo). Para estados mistos, é definido via uma construção de teto convexo.
2. Caracterização Operacional: O artigo estabelece um teorema de estrutura (Teorema 29) ligando o posto simplético à $t$-compressibilidade. Um estado possui posto simplético $s$ se, e somente se, ele pode ser transformado via uma unitária gaussiana em um produto tensorial de um estado de $s$-modos e estados de vácuo nos modos restantes. Crucialmente, o estado comprimido retém um número médio de fótons limitado superiormente pelo estado original.
3. Ferramentas Técnicas: Os autores desenvolvem várias ferramentas técnicas independentes, incluindo:
   • Uma decomposição em blocos de unitárias gaussianas (Lema 35), mostrando que qualquer unitária gaussiana pode ser decomposta em uma unitária passiva e unitárias agindo em subconjuntos de modos.
   • Limites de perturbação relacionando a distância de traço entre estados à distância de norma dos seus primeiros momentos e matrizes de covariância (Teoremas 16-18, 62-64). Esses limites são derivados para estados gerais (possivelmente não-gaussianos), estendendo resultados anteriores limitados a estados gaussianos.
   • Medidas aproximadas: A introdução do posto simplético $\epsilon$-aproximado e das fidelidades simpléticas para lidar com imperfeições experimentais.

Principidades e Resultados Chave

• Monotonicidade e Teoremas de Não-Existência (No-Go): O posto simplético é provado como não-aumentando sob operações gaussianas pós-selecionadas (Teorema 33). Isso leva a fortes teoremas de não-existência para conversão de estados. Especificamente, é impossível converter deterministicamente ou probabilisticamente um estado puro de um único modo em um produto tensorial de dois estados puros não-gaussianos usando operações gaussianas, mesmo com pós-seleção. Isso ocorre independentemente da "distância" dos estados em relação ao conjunto gaussiano, um resultado não detectável pela negatividade de Wigner ou pelo posto estelar.
• Irreversibilidade da Teoria de Recursos: O artigo prova que a teoria de recursos da não-gaussianidade é irreversível sob operações gaussianas pós-selecionadas exatas (Teorema 40). Ao comparar a taxa destilável exata e a taxa de custo exata entre estados de Fock específicos (por exemplo, $|2\rangle$ e $|1\rangle^{\otimes 2}$), os autores mostram que as taxas de conversão não são recíprocas, uma propriedade que pode ser arbitrariamente forte (Teorema 41).
• Limites de Complexidade:
  • Tomografia: A complexidade de amostragem para a tomografia de estado quântico para estados bosônicos escala exponencialmente com o posto simplético (Teorema 44). Se o posto for $O(1)$, a tomografia é eficiente; caso contrário, torna-se intratável.
  • Simulação Clássica: Os autores fornecem um algoritmo clássico aleatório para estimar o overlap entre um estado de baixo posto simplético e um estado gaussiano (Teorema 45). Eles demonstram que circuitos bosônicos dopados com um número constante de camadas não-gaussianas (por exemplo, portas de fase cúbica ou adições/subtrações de fótons) podem ser simulados classicamente de forma eficiente (Teoremas 50, 53).
• Robustez: O posto simplético é mostrado como robusto contra pequenas perturbações. O Teorema 42 estabelece que qualquer estado puro com posto simplético $s$ é cercado por uma bola de estados (em distância de traço) que possuem todos um posto simplético de pelo menos $s$, desde que as restrições de energia sejam atendidas. Isso permite a definição de um posto simplético $\epsilon$-aproximado, que serve como um monótono sob operações gaussianas (Teorema 55).
• Testemunho Experimental: Um protocolo é proposto para testemunhar o posto simplético experimentalmente através da estimativa de fidelidades simpléticas via otimização sobre unitárias gaussianas (Lema 59), tornando a medida prática para o benchmarking de diferentes plataformas bosônicas.

Significância e Alegações
O artigo afirma que o posto simplético fornece uma medida unificada e independente de hardware da não-gaussianidade que une a teoria de recursos e a complexidade computacional. Sua significância reside em:

1. Interpretação Operacional: Quantifica o número mínimo de modos necessários para "comprimir" toda a não-gaussianidade, oferecendo um significado geométrico e operacional claro.
2. Restrições Fortes: Estabelece limitações mais estritas para a conversão de estados gaussianos do que medidas anteriormente conhecidas, provando a irreversibilidade dos recursos de não-gaussianidade.
3. Utilidade de Benchmarking: Devido à sua robustez e conexão com a matriz de covariância (que é mais fácil de medir do que a tomografia completa do estado), serve como uma ferramenta prática para o benchmarking das capacidades não-gaussianas de diversos dispositivos quânticos bosônicos.
4. Caracterização de Complexidade: Identifica o posto simplético como um parâmetro crítico que determina a dificuldade da tomografia e a viabilidade da simulação clássica para sistemas bosônicos.

Os autores posicionam o posto simplético como uma ferramenta fundamental para entender a teoria de recursos da não-gaussianidade no cenário de múltiplos modos, oferecendo novos insights sobre a interação entre não-gaussianidade, emaranhamento e poder computacional.