Certifying coherence in quantum devices under classical control

Resumo Técnico: Certificação de Coerência em Dispositivos Quânticos sob Controle Clássico

Definição do Problema
A coerência quântica, fundamentalmente ligada à não comutatividade dos estados, é tipicamente definida em relação a uma base específica. No entanto, uma certificação de coerência independente de base requer demonstrar que um conjunto de estados não pode ser simultaneamente diagonalizado. Uma limitação conceitual significativa surge quando o dispositivo de preparação está sujeito a um "controle clássico oculto" — parâmetros clássicos inacessíveis (variáveis ocultas, $\lambda$) que influenciam estocasticamente a operação do dispositivo. Em tais cenários, um dispositivo pode gerar um conjunto de estados não comutativos que parecem coerentes para um observador, mas que admitem um modelo clássico onde, condicionado a $\lambda$, os estados subjacentes são comutativos (incoerentes). Os métodos existentes para certificar a coerência genuína na presença de tais variáveis ocultas são limitados a casos simples. O problema central abordado é como certificar rigorosamente que um dispositivo de preparação quântica é genuinamente coerente quando pode ser influenciado por parâmetros clássicos inacessíveis.

Metodologia
Os autores desenvolvem um conjunto de métodos baseados em Programação Semidefinida (SDP) para caracterizar o conjunto $\mathcal{C}$ de conjuntos de estados que admitem um modelo incoerente (ou seja, podem ser simulados por uma mistura clássica de estados comutativos).

1. Hierarquia Completa de Relaxações SDP:
   O artigo estabelece primeiro uma condição necessária e suficiente para a coerência construindo uma hierarquia convergente de relaxações externas de SDP ($\mathcal{C}_2 \supset \mathcal{C}_3 \supset \dots \supset \mathcal{C}_\infty = \mathcal{C}$).

   • Nível $m=2$: Isso envolve a definição de operadores bipartidos $O_{xy} = \int d\lambda q(\lambda) \tau_{x,\lambda} \otimes \tau_{y,\lambda}$, onde $\tau_{x,\lambda}$ são estados comutativos. As restrições incluem semidefinitude positiva, transposta parcial positiva (PPT) e restrições marginais que recuperam os estados observados $\rho_x$.
   • Convergência: Níveis superiores ($m > 2$) utilizam operadores atuando em $m$ sistemas. A hierarquia converge para o conjunto exato $\mathcal{C}$ conforme $m \to \infty$, provado via uma correspondência com teoremas de de Finetti para POVMs. Embora completa, esta abordagem escala mal ($N^2$ matrizes de tamanho $d^2$), tornando-a impraticável para sistemas grandes.

2. Critério Prático de SDP (Matrizes de Momentos em Bloco):
   Para lidar com a escalabilidade, os autores introduzem uma condição de SDP única e eficiente baseada em matrizes de momentos em bloco.

   • Formulação: Assumindo que os estados subjacentes $\tau_{x,\lambda}$ são puros e comutativos, eles constroem uma matriz de momentos em bloco $\Gamma$ contendo os estados observados $\rho_x$ e variáveis de otimização $M_{ij}$ representando produtos de estados comutativos.
   • Restrições: A matriz $\Gamma$ deve ser semidefinida positiva, com blocos diagonais correspondendo a $\rho_i$ e blocos fora da diagonal $M_{ij}$ satisfazendo $\rho_i \succeq M_{ij} \succeq 0$ e Hermiticidade.
   • Eficiência: Este método escala linearmente com o número de estados $N$ e dimensão $d$ (tamanho da matriz $d(N+1)$), tornando-o computacionalmente viável para $N$ grande e $d$ alto.
   • Testemunhas (Witnesses): O dual deste SDP produz testemunhas de coerência (inequações) que são satisfeitas por todos os conjuntos incoerentes, mas violadas por conjuntos coerentes.

3. Método Especializado para Qubits (Mensurabilidade Conjunta):
   Para sistemas de qubits ($d=2$), os autores exploram a equivalência entre a certificação de coerência e a mensurabilidade conjunta de medições dicotômicas associadas.

   • Aproximação: Eles utilizam técnicas de programação convexa para aproximar o conjunto de observáveis conjuntamente mensuráveis usando aproximações poliedrais internas e externas da esfera de Bloch.
   • Escalabilidade: Ao utilizar um poliedro com 220 vértices (aproximando a esfera de Bloch com um fator de encolhimento $r \approx 0.9934$), eles alcançam a certificação de alta precisão para conjuntos que excedem 1.000 estados de qubit.

4. Coerência sobre Canais:
   Os métodos são estendidos para canais quânticos $\Lambda$. Um canal é definido como Quebrador de Coerência (CB - Coherence-Breaking) se sua imagem (o conjunto de todos os estados de saída) admite um modelo incoerente.

   • Certificação: Os autores propõem um algoritmo iterativo para encontrar o conjunto de estados de entrada que maximiza a coerência da saída, visando estreitar os limites sobre se um canal é CB.
   • Canais de Qubit: Para canais de qubit, o método de aproximação poliedral é usado para determinar se a imagem do canal admite um modelo incoerente, distinguindo efetivamente entre regimes de preservação e quebra de coerência.

Principais Resultados

• Caracterização Teórica: O artigo prova que a coerência sob controle clássico oculto pode ser totalmente caracterizada por uma hierarquia de SDPs.
• Escalabilidade: O critério prático de SDP (Eq. 17) certifica com sucesso a coerência para:
  • $N=100$ estados de qubit aleatórios em menos de 8 minutos.
  • $N=70$ estados de qutrit aleatórios em menos de 11 minutos.
  • Sistemas de alta dimensão ($d=150$) com apenas dois estados, certificando a coerência para visibilidade $v \gtrsim 0.9246$.
• Comparação de Precisão: Benchmarks contra a hierarquia completa mostram que o método de SDP prático não é apenas significativamente mais rápido, mas também fornece limites mais estreitos (mais precisos) sobre o limiar crítico de ruído para a certificação de coerência.
• Escalabilidade de Qubit: A abordagem de mensurabilidade conjunta permite a certificação de coerência de alta precisão para mais de 1.000 estados de qubit, um regime inacessível à hierarquia geral de SDP.
• Análise de Canais:
  • Para o canal de despolarização em $d=20$, o algoritmo iterativo converge para os limites teóricos conhecidos sobre o limiar de quebra de coerência.
  • Para canais compostos (despolarização + defase; despolarização + amortecimento de amplitude), os autores mapeiam as regiões de parâmetros onde os canais são quebadores de coerência versus preservadores de coerência.
  • Para canais de despolarização de qubit, o método certifica o limiar de CB em $v \lesssim 0.4999$ e o limiar de preservação em $v \gtrsim 0.5029$, aproximando-se quase do valor teórico exato de $0.5$.

Significância e Alegações
Os autores alegam fornecer uma "caixa de ferramentas poderosa" para analisar a superposição quântica em cenários realistas onde o controle clássico é imperfeito ou oculto.

• Impacto Fundamental: O trabalho resolve a limitação conceitual de que estados não comutativos poderiam ser simuláveis classicamente, fornecendo critérios rigorosos para distinguir coerência quântica genuína de misturas clássicas.
• Utilidade Prática: Os métodos desenvolvidos são projetados para "dispositivos de preparação quântica de última geração", oferecendo ferramentas computacionalmente eficientes que permanecem eficazes mesmo para sistemas de alta dimensão e grande número de estados.
• Novos Conceitos: A introdução de canais que quebram a coerência é paralela ao conceito de canais que quebram o emaranhamento, oferecendo um novo framework para classificar canais quânticos com base em sua capacidade de preservar ou destruir a superposição na presença de variáveis clássicas ocultas.
• Benchmarking: As ferramentas são apresentadas como essenciais para o benchmarking das vantagens de ruído e perda da superposição de alta dimensão em configurações experimentais, particularmente onde soluções analíticas não estão disponíveis.

O artigo não propõe novos setups experimentais, mas sim fornece o framework teórico e computacional necessário para interpretar dados experimentais onde as suposições de controle clássico são relaxadas.