Certifying classes of $d$-outcome measurements with quantum steering

Resumo Técnico: Certificação de Classes de Medições com $d$ Resultados via Direcionamento Quântico

Enunciado do Problema
Esquemas de certificação independente de dispositivo (DI), particularmente o auto-teste baseado em desigualdades de Bell, oferecem a forma mais forte de verificação para estados e medições quânticas, exigindo suposições mínimas sobre o hardware subjacente. No entanto, esses esquemas são frequentemente proibitivamente caros de implementar, exigindo um grande número de configurações de medição (por exemplo, $O(d^3)$ para medições projetivas reais em dimensão $d$) para certificar um único estado ou observável. Esquemas semi-independentes de dispositivo (SDI), como os baseados em direcionamento quântico, oferecem um meio-termo ao assumir que uma parte (Alice) realiza medições confiáveis e conhecidas, enquanto a outra (Bob) realiza medições não confiáveis e arbitrárias. Embora trabalhos anteriores de auto-teste SDI tenham abordado classes específicas de medições (por exemplo, bases mutuamente não viciadas) ou exigido que a parte confiável alterasse as medições para cada novo alvo, permanece a necessidade de um quadro geral que possa certificar uma ampla classe de medições com $d$ resultados usando um conjunto fixo de medições confiáveis.

Metodologia
Os autores propõem uma construção de uma família de desigualdades de direcionamento adaptadas para certificar uma grande classe de medições projetivas com $d$ resultados no lado não confiável (Bob). O cenário envolve duas partes, Alice e Bob, compartilhando um estado bipartido arbitrário $\rho_{AB}$ de dimensão local $d$.

• Configuração de Alice: Alice realiza $d$ medições projetivas confiáveis e conhecidas definidas pelos operadores de Heisenberg-Weyl (HW) $A_x = XZ^{-x}$, onde $X$ e $Z$ são operadores de Pauli generalizados.
• Configuração de Bob: Bob realiza $d$ medições arbitrárias com $d$ resultados $B_y$. As medições alvo a serem certificadas são definidas como combinações lineares unitárias dos operadores HW: $B_y = \frac{1}{d} \sum_{k,j} e^{i\phi_{j\oplus 1, y}} \omega^{-kj} XZ^k$, onde $\{\phi_{j,y}\}$ são parâmetros reais satisfazendo restrições específicas.
• Construção da Desigualdade de Direcionamento: Os autores definem correladores generalizados usando transformadas de Fourier dos resultados das medições. Eles constroem um operador de direcionamento $S$ como uma soma de produtos tensoriais das potências dos operadores HW de Alice e dos operadores construídos de Bob $\tilde{B}^{(n)}_k$. Os coeficientes $\gamma^{(n)}_{yk}$ são escolhidos de modo que as medições de referência satisfaçam condições de ortogonalidade, permitindo a inversão da combinação linear para isolar potências específicas de HW.
• Quadro de Auto-teste: O artigo desenvolve uma prova de auto-teste que não assume que o estado compartilhado seja puro ou que as medições de Bob sejam projetivas. Utiliza uma decomposição de Soma de Quadrados (SOS) para estabelecer o limite quântico e deriva as condições necessárias para a violação máxima.

Contribuições e Resultados Chave

1. Desigualdades de Direcionamento Generalizadas: O artigo apresenta uma família de desigualdades de direcionamento (Eq. 23) adaptadas a qualquer combinação linear de operadores de Heisenberg-Weyl no lado de Bob. Diferentemente de trabalhos anteriores onde a parte confiável deve adaptar suas medições, Alice realiza um conjunto fixo de medições ($A_x = XZ^{-x}$) independentemente da medição alvo específica para a qual Bob está sendo certificado.
2. Violação Quântica Máxima: Os autores provam que o valor quântico máximo dessas desigualdades é $\beta_Q = d(d-1)$. Esse máximo é alcançado unicamente pelo estado maximamente emaranhado de dois qudits, $|\phi^+_d\rangle$, e pelas medições de referência específicas definidas pelos parâmetros escolhidos $\{\phi_{j,y}\}$.
3. Teoremas de Auto-teste Robustos:
   • Teorema 1 e 2: Os autores provam que a violação máxima da desigualdade de direcionamento implica que o estado compartilhado é equivalente ao estado maximamente emaranhado (até transformações unitárias locais e um sistema auxiliar) e que as medições de Bob são equivalentes às medições de referência alvo. Crucialmente, isso vale mesmo se o estado inicial for misto e as medições de Bob forem não projetivas.
   • Teorema 3 (Robustez): Para o caso do qutrit ($d=3$), o artigo fornece uma análise de robustez. Demonstra que, se o valor observado estiver dentro de $\epsilon$ da violação máxima, o estado e as medições estão próximos da referência ideal por um fator proporcional a $\epsilon^{1/4}$.
4. Limites Clássicos: O artigo calcula o limite clássico $\beta_C$ para o caso do qutrit numericamente e analiticamente para conjuntos específicos de parâmetros, mostrando que $\beta_C < \beta_Q$, garantindo que as desigualdades sejam não triviais e capazes de auto-teste.

Significado
O artigo afirma ampliar o escopo da certificação semi-independente de dispositivo. Ao construir desigualdades de direcionamento que podem certificar uma ampla classe de medições com $d$ resultados usando um conjunto fixo de medições confiáveis, os autores fornecem um caminho para protocolos de certificação quântica mais gerais, porém menos custosos, em comparação com esquemas totalmente independentes de dispositivo. O trabalho demonstra que o auto-teste é possível para estados mistos e medições não projetivas no cenário de direcionamento, abordando limitações de métodos DI e SDI anteriores. Os autores observam que, embora seu esquema reduza a complexidade de medição em comparação com esquemas totalmente DI, uma questão em aberto permanece sobre a redução do número de medições de $d$ para o mínimo de $2$ exigido para direcionamento, e sobre a extensão dessas desigualdades para o cenário totalmente independente de dispositivo.