Semidefinite-programming hierarchies for classically simulable state families

Resumo Técnico: Hierarquias de Programação Semidefinida para Famílias de Estados Classicamente Simuláveis

Enunciado do Problema
O artigo aborda a tarefa fundamental na teoria de recursos quânticos de determinar se uma família de estados quânticos $\{\rho_x\}$ admite uma vantagem quântica irredutível. Embora a não-comutatividade seja uma condição necessária para a não-classicidade, ela não é suficiente; uma família pode ser não-comutativa e, ainda assim, situar-se no invólucro convexo de famílias clássicas (parcialmente comutativas). Tais famílias são denominadas "classicamente simuláveis" porque suas estatísticas de medição podem ser explicadas por um modelo de variáveis ocultas locais. O desafio central identificado é a falta de um método sistemático e convergente para caracterizar o conjunto de todas as famílias de estados classicamente simuláveis em dimensões finitas arbitrárias, indo além das buscas numéricas restritas de trabalhos anteriores.

Metodologia
Os autores desenvolvem uma hierarquia completa de programação semidefinida (SDP) para caracterizar o conjunto de famílias de estados classicamente simuláveis, denotado por $C(d, n)$. A metodologia procede através de três etapas lógicas:

1. Reformulação como um Problema de Viabilidade:
   Os autores reformulam a simulabilidade clássica como um problema de viabilidade envolvendo funções de resposta determinísticas e medidas de operadores positivos auxiliares (POVMs). Eles estabelecem que uma família de estados é classicamente simulável se, e somente se, puder ser decomposta em uma combinação convexa de famílias clássicas. Esta decomposição mostra-se equivalente à existência de um conjunto de operadores auxiliares $\{\tau_{i,\mu}\}$ tais que suas versões normalizadas formem POVMs que sejam simuláveis por medições projetivas de posto um (rank-one). Isso cria uma ponte direta entre a simulabilidade clássica de famílias de estados e a simulabilidade projetiva de POVMs.

2. Hierarquia de SDP para Simulabilidade Projetiva de Posto Um:
   Para caracterizar o conjunto de POVMs simuláveis por medições projetivas de posto um, denotado por $P(d, d; 1)$, os autores constroem uma sequência de aproximações externas semidefinidas $\{P_\ell(d, d; 1)\}_{\ell \geq 2}$. Esta hierarquia utiliza operadores "levantados" (lifted) atuando em espaços de produto tensorial $(\mathbb{C}^d)^{\otimes \ell}$ sujeitos a positividade, normalização de traço, restrições marginais e restrições de troca (swap constraints) (garantindo a consistência com a estrutura quântica subjacente).

• Completude: Os autores provam que esta hierarquia é assintoticamente completa: uma POVM pertence a $P(d, d; 1)$ se, e somente se, pertencer a $P_\ell(d, d; 1)$ para todo $\ell \geq 2$.

3. Transferência para Famílias de Estados e Testemunhas Duais:
   A hierarquia completa para POVMs é transferida para o conjunto de famílias de estados $C(d, n)$. Ao substituir a restrição exata no problema de viabilidade pela relaxação de nível-$\ell$, os autores definem uma sequência de aproximações externas $C_\ell(d, n)$.

• Formulação Primal: Isto resulta em um teste de viabilidade de SDP computável para determinar se uma dada família pertence ao conjunto relaxado.
• Formulação Dual: O SDP dual fornece testemunhas afins explícitas. Se um ponto factível dual resultar em um valor negativo para uma família de estados específica, ele certifica que a família está fora do conjunto relaxado (e, portanto, fora do conjunto de famílias classicamente simuláveis).

Principais Resultados
Os autores aplicam sua hierarquia a famílias de estados misturadas com ruído depolarizante, $\Lambda_v(\rho) = v\rho + [(1-v)/d]I$, para computar a visibilidade clássica crítica $\chi(\rho)$, definida como o máximo parâmetro de ruído $v$ para o qual a família permanece classicamente simulável.

• Famílias de Qubits Simétricas: Para quatro famílias simétricas (BB84, estado-seis, trine e tetraédrica), a hierarquia de nível-2 produz limites de visibilidade crítica que coincidem com limiares analíticos conhecidos ou são confirmados por simulações clássicas explícitas construídas a partir das soluções ótimas de SDP. Para estes casos, os níveis $\ell=3$ e $\ell=4$ não fornecem melhoria, indicando que níveis baixos capturam a fronteira.
• Famílias de Dimensões Superiores: A hierarquia foi aplicada a famílias de qutrits e de dimensões superiores, incluindo Bases Mutuamente Não-Compatíveis (MUB) e conjuntos de Informação Completamente Simétricos (SIC).
  • Os resultados fornecem limites superiores computáveis para $\chi(\rho)$ (via SDP primal) e limites inferiores (via simulações explícitas usando coleções finitas de famílias clássicas).
  • Para a família MUB de qutrit $\rho_1$, os limites de nível-2 e nível-3 coincidem em $\chi \approx 2/3$, o que é correspondido por uma simulação explícita.
  • Levantamentos Agregados vs. Canônicos: Os autores comparam duas implementações: o "levantamento canônico" (rastreando atribuições determinísticas individuais) e a "relaxação agregada" (rastreando operadores agregados). Para as famílias altamente simétricas estudadas, ambos os métodos produziram limites numéricos idênticos, sugerindo que, para exemplos estruturados, a relaxação agregada é suficiente para capturar a informação de fronteira relevante.

Significância e Alegações
O artigo afirma fornecer a primeira hierarquia de SDP completa para caracterizar famílias de estados classicamente simuláveis em dimensões finitas arbitrárias. Sua significância reside em:

• Caracterização Sistemática: Indo além de certificados suficientes (aproximações internas) para uma sequência convergente de condições necessárias e suficientes (aproximações externas) para a simulabilidade clássica.
• Ferramentas Operacionais: Oferecendo tanto testes de viabilidade primais quanto testemunhas afins duais. As testemunhas permitem a certificação de "quanticidade" irredutível (falha da simulabilidade clássica) sem exigir a tomografia completa da família de estados, baseando-se apenas em valores de expectativa.
• Robustez Quantificável: Fornecendo um framework de otimização convexa sistemático para computar a visibilidade clássica crítica, quantificando a robustez de famílias de estados quânticos contra o ruído depolarizante.

Os autores observam que, embora sua abordagem parta de uma reformulação envolvendo funções de resposta determinísticas e simulabilidade projetiva de posto um, ela alcança garantias de convergência comparáveis ao trabalho recente independente de Cobucci et al. (que utiliza extensões multipartites e teoremas de de Finetti), porém através de um caminho de derivação distinto. O framework é apresentado como uma ferramenta para certificar a quanticidade irredutível e pode se estender a problemas relacionados de geometria convexa em informação quântica.