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

Technische Samenvatting: Quantum Probabilistische Lokale Differentieel Privacy

Probleemstelling
Differentiele Privacy (DP) biedt een rigoureus kader voor het kwantificeren van privacy-lekken in klassieke data-analyse. Met de komst van quantumcomputing en quantum machine learning is het essentieel geworden om deze concepten uit te breiden naar quantum informatieverwerking. Hoewel Quantum Lokale Differentiele Privacy (QLDP) is vastgesteld, waarbij privacygaranties uniform moeten gelden voor alle paren invoertoestanden, vormt dit een strikte beperking. Dit artikel adresseert de behoefte aan een flexibeler kader dat privacygaranties toestaat te falen met een kleine, begrensde waarschijnlijkheid, analoog aan klassieke probabilistische differentiele privacy. De auteurs introduceren Quantum Probabilistische Lokale Differentiele Privacy (QPrLDP) om de structurele eigenschappen en de steekproefcomplexiteit-grenzen van deze verzwakte privacy-notie te bestuderen in de context van quantum hypothesetesten.

Methodologie
Het artikel maakt gebruik van een combinatie van quantum informatie-theorie, operatoralgebra en statistische inferentietechnieken.

1. Definitie en Formalisme: De auteurs definiëren QPrLDP via een spectrale schendingsgebeurtenis. Een quantum superoperator $\mathcal{A}$ is $(\epsilon, \delta)$-QPrLDP als voor alle toestanden $\rho, \sigma$, de trace van het positieve deel van de operator-verschil voldoet aan $\text{tr}_{\mathcal{A}(\rho)}\{\mathcal{A}(\rho) - e^\epsilon \mathcal{A}(\sigma) > 0\} \le \delta$. Dit wordt geïnterpreteerd als de acceptatiekans van een quantum Neyman–Pearson test bij een drempelwaarde $e^\epsilon$.
2. Structurele Analyse: De studie onderzoekt het gedrag van QPrLDP onder tensorproduct-compositie en unitaire post-verwerking. Er worden tegenvoorbeelden gebruikt om convexiteit en afsluitbaarheid onder willekeurige quantumkanalen te testen.
3. Ruiskarakterisering: De auteurs analyseren specifieke ruismodellen, in het bijzonder het depolariserende kanaal ($D_p$), onder globale en lokale scenario's om voorwaarden af te leiden waaronder zij aan QPrLDP voldoen.
4. Informatie-theoretische Grenzen: Het artikel verbindt QPrLDP met statistische inferentie door grenzen af te leiden op probabilistisch geprivatiseerde contractiecoëfficiënten met behulp van de hockey-stick divergentie ($E_\gamma$).
5. Steekproefcomplexiteit: Door gebruik te maken van de afgeleide contractiecoëfficiënten en bestaande grenzen op quantum hypothesetesten (asymmetrisch en symmetrisch), leiden de auteurs boven- en ondergrenzen af voor de steekproefcomplexiteit die vereist is om quantumtoestanden te onderscheiden onder QPrLDP-beperkingen.

Belangrijkste Bijdragen en Resultaten

• Definitie en Relaties: Het artikel introduceert formeel QPrLLDP en verheldert de relatie met standaard QLDP. Het bewijst dat als een kanaal $(\epsilon, \delta)$-QPrLDP is, het ook $(\epsilon, \delta)$-QLDP is. Omgekeerd is een kanaal dat $(\epsilon, \delta)$-QLDP is, $(\epsilon', \delta')$-QPrLDP onder specifieke parameter-transformaties, maar de twee concepten zijn over het algemeen niet equivalent.
• Structurele Eigenschappen:
  • Compositie: Het tensorproduct van twee QPrLDP-kanalen resulteert in een kanaal met een additieve $\epsilon$ en een begrensde $\delta$ die afhankelijk is van de maximale eigenwaarden van de output-toestanden.
  • Unitaire Invariantie: QPrLDP blijft behouden onder unitaire post-verwerking.
  • Niet-convexiteit: In tegen tegenstelling tot standaard DP, is de verzameling QPrLDP-kanalen in het algemeen niet convex (specifiek wanneer $\delta > 0$).
  • Post-verwerking: De verzameling is niet gesloten onder post-verwerking door willekeurige quantumkanalen, aangetoond via een tegenvoorbeeld met een mengeling van identiteits- en bit-flip kanalen.
• Analyse van Depolariserende Ruis: De auteurs leiden expliciete voorwaarden af voor wanneer globale en lokale depolariserende ruiskanalen aan QPrLDP voldoen. Ze bieden grenzen op de privacyparameters $(\epsilon, \delta)$ als functies van de ruiswaarschijnlijkheid $p$, de dimensie $d$, en de trace-afstand of hockey-stick divergentie tussen de invoertoestanden.
• Contractiecoëfficiënten: Een ondergrens op de probabilistisch geprivatiseerde contractiecoëfficiënt voor de hockey-stick divergentie wordt afgeleid. Specifiek $\eta_{E_\gamma}^{\epsilon, \delta} \le (\gamma + 1)\delta - \gamma$ voor $\gamma \in (e^{-\epsilon}, e^\epsilon)$.
• Steekproefcomplexiteit Grenzen:
  • Symmetrische Testen: Het artikel stelt grenzen vast voor de steekproefcomplexiteit van symmetrische $m$-uitkomst hypothesetesten onder QPrLDP. De grenzen zijn afhankelijk van de prior-kansen, de fouttolerantie $\alpha$, en de contractie van de trace-afstand of fidelity onder het privacy-mechanisme.
  • Asymmetrische Testen: Grenzen voor asymmetrische binaire hypothesetesten worden afgeleid, waarbij de steekproefcomplexiteit wordt gerelateerd aan de hockey-stick divergentie en de privacyparameters.
  • QSPrI: Het concept van Quantum Spectrale Probabilistische Ononderscheidbaarheid (QSPrI) wordt geïntroduceerd, en steekproefcomplexiteit-grenzen voor deze eigenschap worden geleverd in termen van de sandwiched Rényi relatieve entropie.

Betekenis en Claims
De auteurs stellen dat dit werk een systematisch fundament biedt voor het bestuderen van probabilistische privacygaranties in quantum informatieverwerking. Door de strikte uniformiteitsvereiste van QLDP te versoepelen, biedt QPrLDP een genuanceerd kader dat mogelijk beter toepasbaar is op praktische quantumalgoritmen waar strikte privacy te kostbaar zou zijn in termen van nut of steekproefcomplexiteit.

De resultaten overbruggen de kloof tussen privacybeperkingen en private quantum statistische inferentie, specifiek door de operationele consequenties (steekproefcomplexiteit) te kwantificeren van het afdwingen van probabilistische privacy. Het artikel claimt dat deze bevindingen de ontwikkeling van privacy-bewarende quantum superoperators en quantum machine-learning protocollen faciliteren door theoretische instrumenten te bieden om privacy-lekken af te wegen tegen de onderscheidbaarheid van quantumtoestanden. Het werk stelt geen nieuwe experimentele opstellingen voor, maar legt de theoretische limieten en eigenschappen van deze privacy-notie vast.