Quantum Probabilistic Local Differential Privacy: Structural Properties and Sample Complexity Bounds

Resumo Técnico: Privacidade Local Probabilística Quântica

Enunciado do Problema
A Privacidade Diferencial (DP) oferece um arcabouço rigoroso para quantificar o vazamento de privacidade na análise de dados clássicos. Com o advento da computação quântica e do aprendizado de máquina quântico, estender esses conceitos para o processamento de informação quântica tornou-se crítico. Embora a Privacidade Local Quântica (QLDP) tenha sido estabelecida, exigindo que as garantias de privacidade se mantenham uniformemente para todos os pares de estados de entrada, ela representa uma restrição estrita. Este artigo aborda a necessidade de um arcabouço mais flexível que permita que as garantias de privacidade falhem com uma probabilidade pequena e limitada, de forma análoga à privacidade diferencial probabilística clássica. Os autores introduzem a Privacidade Local Probabilística Quântica (QPrLDP) para estudar as propriedades estruturais e os limites de complexidade de amostra deste conceito de privacidade relaxado no contexto de testes de hipóteses quânticas.

Metodologia
O artigo emprega uma combinação de teoria da informação quântica, álgebra de operadores e técnicas de inferência estatística.

1. Definição e Formalismo: Os autores definem a QPrLDP via um evento de violação espectral. Um superoperador quântico $\mathcal{A}$ é $(\epsilon, \delta)$-QPrLDP se, para quaisquer estados $\rho, \sigma$, o traço da parte positiva da diferença do operador satisfaz $\text{tr}_{\mathcal{A}(\rho)}\{\mathcal{A}(\rho) - e^\epsilon \mathcal{A}(\sigma) > 0\} \le \delta$. Isso é interpretado como a probabilidade de aceitação de um teste de Neyman–Pearson quântico em um limiar de $e^\epsilon$.
2. Análise Estrutural: O estudo investiga o comportamento da QPrLDP sob composição de produto tensorial e pós-processamento unitário. Utiliza contraexemplos para testar a convexidade e o fechamento sob canais quânticos arbitrários.
3. Caracterização de Ruído: Os autores analisam modelos de ruído específicos, particularmente o canal de depolarização ($D_p$), em cenários globais e locais para derivar condições sob as quais satisfazem a QPrLDP.
4. Limites de Informação Teórica: O artigo conecta a QPrLD à inferência estatística, derivando limites inferiores para coeficientes de contração privatizados probabilisticamente usando a divergência hockey-stick ($E_\gamma$).
5. Complexidade de Amostra: Aproveitando os coeficientes de contração derivados e os limites existentes sobre testes de hipóteses quânticas (assimétricos e simétricos), os autores derivam limites superiores e inferiores para a complexidade de amostra necessária para distinguir estados quânticos sob restrições de QPrLDP.

Principais Contribuições e Resultados

• Definição e Relacionamentos: O artigo introduz formalmente a QPrLDP e esclarece sua relação com a QLDP padrão. Prova-se que, se um canal é $(\epsilon, \delta)$-QPrLDP, ele também é $(\epsilon, \delta)$-QLDP. Inversamente, um canal que é $(\epsilon, \delta)$-QLDP é $(\epsilon', \delta')$-QPrLDP sob transformações de parâmetros específicas, mas as duas noções não são geralmente equivalentes.
• Propriedades Estruturais:
  • Composição: O produto tensorial de dois canais QPrLDP resulta em um canal com $\epsilon$ aditivo e um $\delta$ limitado dependente dos autovalores máximos dos estados de saída.
  • Invariância Unitária: A QPrLDP é preservada sob pós-processamento unitário.
  • Não-Convexidade: Ao contrário da DP padrão, o conjunto de canais QPrLDP não é convexo em geral (especificamente quando $\delta > 0$).
  • Pós-Processamento: O conjunto não é fechado sob pós-processamento por canais quânticos arbitrários, demonstrado via um contraexemplo envolvendo uma mistura de canais identidade e de inversão de bit (bit-flip).
• Análise de Ruído de Depolarização: Os autores derivam condições explícitas para quando canais de ruído de depolarização globais e locais satisfazem a QPrLDP. Eles fornecem limites sobre os parâmetros de privacidade $(\epsilon, \delta)$ como funções da probabilidade de ruído $p$, da dimensão $d$ e da distância de traço ou divergência hockey-stick entre os estados de entrada.
• Coeficientes de Contração: Um limite inferior para o coeficiente de contração privatizado probabilisticamente para a divergência hockey-stick é derivado. Especificamente, $\eta_{E_\gamma}^{\epsilon, \delta} \le (\gamma + 1)\delta - \gamma$ para $\gamma \in (e^{-\epsilon}, e^\epsilon)$.
• Limites de Complexidade de Amostra:
  • Teste Simétrico: O artigo estabelece limites para a complexidade de amostra de testes de hipóteses simétricos de $m$-resultados sob QPrLDP. Os limites dependem das probabilidades a priori, da tolerância de erro $\alpha$ e da contração da distância de traço ou fidelidade sob o mecanismo de privacidade.
  • Teste Assimétrico: Limites para testes de hipóteses binários assimétricos são derivados, relacionando a complexidade de amostra à divergência hockey-stick e aos parâmetros de privacidade.
  • QSPrI: O conceito de Indistinguibilidade Probabilística Espectral Quântica (QSPrI) é introduzido, e limites de complexidade de amostra para esta propriedade são fornecidos em termos da entropia relativa de Rényi sanduíche.

Significância e Alegações
Os autores afirmam que este trabalho fornece uma fundação sistemática para o estudo de garantias de privacidade probabilística no processamento de informação quântica. Ao relaxar o requisito de uniformidade estrita da QLDP, a QPrLDP oferece um arcabouço matizado que pode ser mais aplicável a algoritmos quânticos práticos onde a privacidade estrita pode ser muito custosa em termos de utilidade ou complexidade de amostra.

Os resultados unem a lacuna entre restrições de privacidade e inferência estatística quântica privada, especificamente quantificando as consequências operacionais (complexidade de amostra) de impor a privacidade probabilística. O artigo afirma que estas descobertas facilitam o desenvolvimento de superoperadores quânticos que preservam a privacidade e protocolos de aprendizado de máquina quântico, ao oferecer ferramentas teóricas para equilibrar o vazamento de privacidade contra a distinguibilidade de estados quânticos. O trabalho não propõe novos setups experimentais, mas estabelece os limites teóricos e as propriedades desta noção de privacidade.