Quantum randomness beyond projective measurements

Resumo Técnico: Aleatoriedade Quântica Além de Medições Projetivas

Declaração do Problema
A imprevisibilidade intrínseca das medições quânticas é um recurso fundamental para a geração de números aleatórios quânticos (QRNG). Em cenários adversariais, a segurança dessa aleatoriedade depende da incapacidade de um espião (Eva), que possa manter correlações quânticas ou clássicas com o aparato de medição, de adivinhar corretamente os resultados. Embora medições extremas — aquelas que não podem ser decompostas em uma mistura probabilística de outras medições — sejam conhecidas por serem seguras contra tais adversários, uma questão quantitativa específica permanece em aberto: exatamente quanta aleatoriedade intrínseca pode ser gerada por uma dada medição extrema?

Trabalhos anteriores estabeleceram que a entropia mínima condicional máxima (uma medida de aleatoriedade) alcançável na dimensão $d$ é limitada por $2 \log d$ bits. No entanto, caracterizar a aleatoriedade gerada por classes específicas de medições extremas, particularmente as não tendenciosas (unbiased), para estados de entrada arbitrários permanecia incompleta. Este artigo aborda a lacuna na compreensão da aleatoriedade intrínseca de Medidas de Operador Positivo de Valor de Probabilidade (POVMs) extremas de posto um não tendenciosas e explora se famílias específicas de medições podem saturar o limite teórico de $2 \log d$ bits.

Metodologia
Os autores operam dentro de um framework dependente do dispositivo, assumindo a caracterização completa tanto do estado quântico $\rho$ quanto da POVM $M$. A aleatoriedade intrínseca é quantificada via a entropia mínima condicional, $H_{\min}(\rho, M) = -\log P_{\text{guess}}(\rho, M)$, onde $P_{\text{guess}}$ é a probabilidade ótima de adivinhação de um espião. Essa probabilidade é definida como o máximo sobre todas as decomposições probabilísticas do estado $\rho$ em estados puros $\{p_j, \rho_j\}$:
$$P_{\text{guess}}(\rho, M) = \max_{\{p_j, \rho_j\}} \sum_j p_j \text{tr}(\rho_j M_j).$$

O artigo emprega várias ferramentas matemáticas:

1. Geometria Convexa e Fidelidade: Os autores relacionam a probabilidade de adivinhação à fidelidade quântica entre o estado de entrada e o casco convexo dos projetores de medição.
2. Programação Semidefinida (SDP): Problemas de otimização relacionados à discriminação de estados e probabilidades de adivinhação são formulados e resolvidos usando dualidade SDP e as condições de Karush-Kuhn-Tucker (KKT).
3. Representação do Vetor de Bloch: Para sistemas de qubits ($d=2$), a análise utiliza a notação do vetor de Bloch para parametrizar explicitamente medições extremas não tendenciosas e resolver para estados ótimos.
4. Covariância de Grupo e Simetria: O estudo aproveita as propriedades de Medições Informacionalmente Completas Simétricas (SIC) e introduz novas famílias de medições derivadas delas.

Principais Contribuições e Resultados

1. Medições SIC Distorcidas e Aleatoriedade Máxima
Os autores introduzem uma família de POVMs SIC "distorcidas" (skewed). Ao contrário das SICs padrão, que são não tendenciosas e produzem uma distribuição uniforme a partir do estado maximamente misturado, as SICs distorcidas são tendenciosas. No entanto, esse viés permite que elas produzam uma distribuição de probabilidade uniforme a partir de estados puros específicos ou estados isotropicamente ruidosos.

• Resultado: Os autores provam que em qualquer dimensão $d$ onde uma medição SIC existe, pode-se construir uma medição SIC distorcida que gera a aleatoriedade intrínseca máxima possível ($2 \log d$ bits) a partir de qualquer estado puro ou isotropicamente ruidoso.
• Significado: Isso resolve parcialmente uma questão em aberto sobre a alcançabilidade da aleatoriedade máxima em um cenário independente do dispositivo-fonte, uma vez que essas medições são informacionalmente completas (MICs).

2. Medições Extremas Não Tendenciosas em Dimensões Gerais
Para qualquer POVM extrema de posto um não tendenciosa com $n$ resultados na dimensão $d$, os autores derivam uma fórmula geral para a probabilidade de adivinhação:
$$P_{\text{guess}}(\rho, M) = \frac{d}{n} \max_{\sigma \in \mathcal{P}} F(\rho, \sigma),$$
onde $\mathcal{P}$ é o casco convexo dos projetores de medição e $F$ é a fidelidade quântica.

• Limite Inferior: Isso leva a um limite inferior independente do estado para a entropia mínima condicional de $\log(n/d)$ bits.
• Estricteza: Os autores provam que, para medições extremas não tendenciosas com $n < d^2$ resultados, a probabilidade de adivinhação é estritamente maior que $1/d^2$, o que significa que o limite máximo de $2 \log d$ bits não pode ser saturado sem enviesar os resultados ou usar $d^2$ resultados.

3. Solução Explícita para Medições de Qubit ($d=2$)
O artigo fornece uma caracterização completa das medições extremas de qubit não tendenciosas (com 2, 3 ou 4 resultados).

• Parametrização: Todas as MICs de qubit extremas não tendenciosas (4 resultados) são mostradas como covariantes de grupo e podem ser descritas por dois ângulos, $\delta$ e $\alpha$.
• Estados Ótimos: Os autores identificam os estados puros específicos que minimizam a probabilidade de adivinhação para qualquer MIC de qubit não tendenciosa dada. Esses estados são encontrados como as normais às faces do tetraedro formado pelos vetores de medição.
• SIC vs. Outros: Um resultado contra-intuitivo é apresentado: entre todas as medições extremas de qubit não tendenciosas de quatro resultados, a medição SIC (que é ótima para a tomografia de estados quânticos) produz a menor aleatoriedade intrínseca. Ela possui a maior probabilidade de adivinhação ($P_{\text{guess}} = \frac{1}{4}(1+l)$, onde $l$ é maximizado para SICs).

4. A Família de Medições "Tesoura"
Para se aproximar do limite de aleatoriedade máxima de $2 \log d$ bits sem enviesar os resultados (o que exigiria medições não extremas ou distorcidas), os autores introduzem uma família de um parâmetro de medições "tesoura".

• Qubits: Na dimensão 2, definir $\alpha=0$ na parametrização geral produz uma família parametrizada por $\delta$. À medida que $\delta \to 0$, a medição se aproxima de um limite não extremo, e a probabilidade de adivinhação para estados ruidosos específicos se aproxima do máximo teórico.
• Dimensões Superiores: Os autores estendem esse conceito para as dimensões 3 e 4. Eles definem famílias de MICs não tendenciosas (usando operadores de Weyl-Heisenberg para $d=3$ e uma generalização específica para $d=4$) que incluem uma medição SIC como um ponto específico no espaço de parâmetros. À medida que o parâmetro se aproxima de um valor limite, as medições se aproximam de um estado não extremo que gera aleatoriedade arbitrariamente próxima de $2 \log d$ bits.

Significado e Alegações
O artigo afirma resolver o problema de caracterizar a aleatoriedade intrínseca para medições extremas de posto um não tendenciosas na dimensão dois explicitamente para qualquer estado. Estabelece que, embora as medições SIC sejam ótimas para tomografia, elas são subótimas para gerar aleatoriedade intrínseca entre MICs não tendenciosas.

A principal contribuição teórica é a demonstração de que a aleatoriedade máxima ($2 \log d$ bits) pode ser gerada de forma dependente do dispositivo em qualquer dimensão onde uma SIC existe, desde que se utilizem as medições SIC distorcidas propostas. Além disso, as famílias "tesoura" fornecem um caminho para aproximar essa aleatoriedade máxima usando medições não tendenciosas, preenchendo a lacuna entre estratégias extremas e não extremas. Os resultados valem para cenários independentes do dispositivo-fonte devido à completude informacional das medições discutidas.

Os autores concluem com modéstia, observando que, embora tenham caracterizado essas medições, permanece uma questão em aberto se as famílias semelhantes a tesouras em dimensões superiores serão úteis para geração de aleatoriedade independente do dispositivo, e como esses resultados se traduzem para cenários realistas envolvendo ruído.