Squeezed-state semi-device-independent quantum randomness generation

Resumo Técnico: Geração de aleatoriedade quântica com estados comprimidos em regime semi-independente de dispositivo

Definição do Problema
O artigo aborda a geração de aleatoriedade quântica certificada em um arcabouço semi-independente de dispositivo (semi-DI). Neste cenário, o usuário possui uma fonte de estado puro binário confiável, mas um detector binário não confiável. Assume-se que o adversário detém informação lateral clássica (uma variável oculta $\lambda$) que determina o comportamento do detector. Embora protocolos totalmente independentes de dispositivo ofereçam segurança forte, eles são limitados a taxas baixas devido à necessidade de violações de Bell livres de lacunas (loophole-free). Por outro lado, o hardware totalmente confiável oferece altas velocidades, mas carece de segurança contra componentes não confiáveis. Protocolos semi-DI preenchem essa lacuna ao basear-se em suposições físicas explícitas, como um limite de dimensão ou uma sobreposição de estados confiáveis.

Uma lacuna específica identificada na literatura é o tratamento de Medidas de Operadores de Valor Positivo (POVMs) de qubit binário. As soluções anteriores de forma fechada para a taxa de Shannon certificada neste modelo restringiam a otimização estritamente a medições projetivas. Os autores argumentam que essa restrição é insuficiente porque o conjunto convexo de POVMs de qubit binário inclui dois pontos extremos de posto deficiente: as POVMs determinísticas $M_0 = 0$ e $M_0 = I$. Omitir esses componentes determinísticos leva a uma superestimação da aleatoriedade certificada, particularmente no interior do espaço de parâmetros onde a taxa é positiva.

Metodologia
Os autores formulam a certificação da aleatoriedade de Shannon assintótica i.i.d. como um problema de programação linear (LP) sobre o conjunto convexo de POVMs binários de $\lambda$-clássico atuando no subespaço bidimensional dos estados da fonte.

1. Definição do Modelo: A fonte prepara os estados $|\psi_0\rangle$ e $|\psi_1\rangle$ com uma sobreposição de Gram confiável $\delta = \langle \psi_0 | \psi_1 \rangle$. O detector é modelado como uma mistura de POVMs $\{M_{b|\lambda}\}$ indexados por uma variável $\lambda$ mantida pelo adversário. A probabilidade de erro simétrica observada é $q$.
2. Otimização Estendida: Diferentemente de trabalhos anteriores, a otimização inclui o conjunto completo de pontos extremos: projetores de posto um $\Pi_\theta$ e os endpoints determinísticos $M_0=0$ e $M_0=I$. O objetivo é minimizar a entropia condicional $H_{cert}(\delta, q)$ sujeito a restrições marginais que correspondam à taxa de erro observada.
3. Derivação de Forma Fechada: Os autores derivam uma expressão de forma fechada para a taxa de Shannon certificada, $H_{ext}^{Sh}(\delta, q)$, construindo uma solução primal (uma estratégia adversária explícita) e um testemunho dual (uma função afim que limita a entropia).
4. Aplicação a Estados Comprimidos: A fórmula derivada é aplicada a fontes de BPSK (Modulação de Fase Binária) de estado comprimido-coerente. A sobreposição $\delta$ e a probabilidade de erro $q$ são expressas em termos da amplitude de deslocamento $N$, do parâmetro de compressão $r$ e da eficiência de detecção $\eta$.

Principais Contribuições

• Correção da Aproximação Exclusiva de Projetiva: O artigo demonstra que restringir a otimização a medições projetivas superestima significativamente a taxa certificada. Por exemplo, para $\delta=0.5$ e $q=0.15$, a fórmula exclusiva de projetivas resulta em 0,25 bits, enquanto a taxa correta, incluindo componentes determinísticos, é de apenas 0,06 bits (uma correção de um fator de quatro).
• Expressão de Taxa de Forma Fechada: Os autores fornecem uma expressão de forma fechada para a taxa de Shannon assintótica certificada, $H_{ext}^{Sh}(\delta, q)$, que é estrita sobre um problema de otimização verificado numericamente em uma região de viabilidade dual contendo todos os pontos operacionais estudados. A expressão depende exclusivamente da sobreposição confiável $\delta$ e do erro observado $q$.
• Clarificação do Modelo Adversário: O trabalho esclarece que a informação lateral é clássica. Ele nota explicitamente que, se o adversário pudesse deter um registro de purificação do detector (informação lateral quântica) que rotulasse o resultado, a taxa certificada cairia para zero.
• Análise de Troca (Trade-off) de Compressão: O artigo analisa fontes BPSK comprimidas-coerentes, mostrando que, embora a compressão melhore a distinguibilidade dos estados (reduzindo $\delta$), ela pode simultaneamente reduzir a aleatoriedade certificada. Isso cria um trade-off onde a compressão que minimiza a taxa (que maximiza a distinguibilidade) é frequentemente a pior escolha para a geração de aleatoriedade.

Resultos

• Limites Teóricos: A expressão de forma fechada derivada é provada como um limite superior para a taxa certificada em toda a região viável. Ela torna-se uma igualdade exata dentro da região de viabilidade dual $R_{cert}$, que inclui todos os pontos operacionais discutidos no artigo.
• Desempenho de Estados Comprimidos:
  • Para um número médio de fótons $\bar{n}$ fixo, a taxa certificada não é maximizada no nível de compressão $r^*$ que maximiza a distinguibilidade dos estados. Em vez disso, $r^*$ minimiza a taxa certificada.
  • A taxa certificada aumenta conforme o sistema se afasta de $r^*$ em direção aos endpoints do intervalo de compressão viável (seja sem compressão, $r=0$, ou compressão máxima onde a amplitude de deslocamento $N \to 0$).
  • No regime de perda ($\eta=0.7$), o benefício da compressão é diminuído, e a linha de base sem compressão frequentemente fornece taxas certificadas comparáveis ou melhores, dependendo das restrições.
• Regiões de Viabilidade: O artigo define intervalos de forte viabilidade para a probabilidade de erro $q$ baseados em $\delta$. Fora do interior de taxa positiva, a taxa certificada cai para zero (um patamar), correspondendo a decomposições onde o adversário pode simular as estatísticas observadas usando estratégias determinísticas de entropia zero.

Significância e Alegações
Os autores afirmam que este trabalho fornece a primeira fórmula de taxa de QRNG de estado comprimido semi-DI sob um modelo de confiança onde a fonte é confiável via sobreposição de Gram e o detector é não confiável com informação lateral clássica. A principal significância reside na inclusão rigorosa de componentes POVM determinísticos, o que corrige superestimações anteriores de segurança. O artigo posiciona este resultado como um refinamento necessário para QRNGs práticos usando estados comprimidos, destacando que otimizar para a distinguibilidade do estado não é sinônimo de otimizar para a geração de aleatoriedade. Os autores declaram explicitamente que a expressão de forma fechada serve como uma garantia de taxa certificada apenas dentro da região de viabilidade dual verificada numericamente, permanecendo um limite superior válido (embora potencialmente frouxo) em outros locais.