論文の概要: When Does Quantum Differential Privacy Compose?
- arxiv url: http://arxiv.org/abs/2601.00337v1
- Date: Thu, 01 Jan 2026 13:24:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-01-05 15:04:33.385859
- Title: When Does Quantum Differential Privacy Compose?
- Title(参考訳): 量子差分プライバシーはいつ構成されるのか?
- Authors: Daniel Alabi, Theshani Nuradha,
- Abstract要約: 量子環境では、プライバシーは任意の測定値に対して運用的に定義される。
量子微分プライバシーのために意味のある組成保証がいつ得られるかは、まだ不明である。
- 参考スコア(独自算出の注目度): 11.680868844041791
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Composition is a cornerstone of classical differential privacy, enabling strong end-to-end guarantees for complex algorithms through composition theorems (e.g., basic and advanced). In the quantum setting, however, privacy is defined operationally against arbitrary measurements, and classical composition arguments based on scalar privacy-loss random variables no longer apply. As a result, it has remained unclear when meaningful composition guarantees can be obtained for quantum differential privacy (QDP). In this work, we clarify both the limitations and possibilities of composition in the quantum setting. We first show that classical-style composition fails in full generality for POVM-based approximate QDP: even quantum channels that are individually perfectly private can completely lose privacy when combined through correlated joint implementations. We then identify a setting in which clean composition guarantees can be restored. For tensor-product channels acting on product neighboring inputs, we introduce a quantum moments accountant based on an operator-valued notion of privacy loss and a matrix moment-generating function. Although the resulting Rényi-type divergence does not satisfy a data-processing inequality, we prove that controlling its moments suffices to bound measured Rényi divergence, yielding operational privacy guarantees against arbitrary measurements. This leads to advanced-composition-style bounds with the same leading-order behavior as in the classical theory. Our results demonstrate that meaningful composition theorems for quantum differential privacy require carefully articulated structural assumptions on channels, inputs, and adversarial measurements, and provide a principled framework for understanding which classical ideas do and do not extend to the quantum setting.
- Abstract(参考訳): 合成は古典的な微分プライバシーの基礎であり、合成定理(例えば、基礎的、高度な)を通じて複雑なアルゴリズムの強力なエンドツーエンド保証を可能にする。
しかし、量子環境では、プライバシは任意の測定値に対して操作的に定義され、スカラーなプライバシロスランダム変数に基づく古典的な合成議論はもはや適用されない。
その結果、量子微分プライバシー(QDP)に意味のある構成保証がいつ得られるかは、まだ不明である。
本研究では,量子環境における構成の限界と可能性を明らかにする。
まず,POVMをベースとした近似QDPにおいて,古典的な構成が完全な一般化に失敗することを示す。
次に、クリーンな構成保証を復元できる設定を特定します。
製品近傍の入力に作用するテンソル生成チャネルに対して,プライバシ損失の概念と行列モーメント生成関数に基づく量子モーメント会計を導入する。
結果として得られたレニイ型の発散はデータ処理の不平等を満たさないが、そのモーメントの制御は測定されたレニイの発散を制限し、任意の測定値に対して運用上のプライバシを保証することを証明している。
このことは古典理論と同様の事前の振舞いを持つ先進構成型境界をもたらす。
量子微分プライバシーのための有意義な構成定理は、チャネル、入力、および逆測度について慎重に構造化された構造仮定を必要とすることを示し、古典的アイデアがどの量子環境に拡張しないのかを理解するための原則的枠組みを提供する。
関連論文リスト
- A unifying framework for differentially private quantum algorithms [0.0]
本稿では、近隣の量子状態の新規で一般的な定義を提案する。
この定義が量子符号化の基盤となる構造を捉えることを実証する。
また、入力状態のコピーを複数用意した代替設定についても検討する。
論文 参考訳(メタデータ) (2023-07-10T17:44:03Z) - Quantum Pufferfish Privacy: A Flexible Privacy Framework for Quantum Systems [19.332726520752846]
量子フグプライバシ(QPP)と呼ばれる量子システムのための多用途プライバシフレームワークを提案する。
古典的なフグのプライバシーにインスパイアされた私たちの定式化は、量子微分プライバシーの限界を一般化し対処します。
ここでは,QPPはダッタ・レディツキー情報スペクトルのばらつきの観点から等価に定式化可能であることを示す。
論文 参考訳(メタデータ) (2023-06-22T17:21:17Z) - Fully Adaptive Composition in Differential Privacy [53.01656650117495]
よく知られた高度な合成定理は、基本的なプライバシー構成が許すよりも、プライベートデータベースを2倍にクエリすることができる。
アルゴリズムとプライバシパラメータの両方を適応的に選択できる完全適応型合成を導入する。
適応的に選択されたプライバシパラメータが許されているにもかかわらず、定数を含む高度なコンポジションのレートに適合するフィルタを構築します。
論文 参考訳(メタデータ) (2022-03-10T17:03:12Z) - Quantum Differential Privacy: An Information Theory Perspective [2.9005223064604073]
本稿では,情報理論の枠組みにおける差分プライバシーを量子分岐として論じる。
このアプローチの主な利点は、差分プライバシーが計算の出力状態のみに基づいてプロパティとなることである。
論文 参考訳(メタデータ) (2022-02-22T08:12:50Z) - Experimental violations of Leggett-Garg's inequalities on a quantum
computer [77.34726150561087]
単一および多ビット系におけるLeggett-Garg-Bellの不等式違反を実験的に観察する。
本分析では, 量子プラットフォームの限界に注目し, 上記の相関関数は, 量子ビットの数や回路深さが大きくなるにつれて, 理論的予測から逸脱することを示した。
論文 参考訳(メタデータ) (2021-09-06T14:35:15Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z) - Quantum noise protects quantum classifiers against adversaries [120.08771960032033]
量子情報処理におけるノイズは、特に短期的な量子技術において、破壊的で避け難い特徴と見なされることが多い。
量子回路の非偏極雑音を利用して分類を行うことにより、敵に縛られるロバスト性を導出できることを示す。
これは、最も一般的な敵に対して使用できる最初の量子プロトコルである。
論文 参考訳(メタデータ) (2020-03-20T17:56:14Z) - Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。
この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。
標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
論文 参考訳(メタデータ) (2018-03-10T05:31:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。