[論文レビュー] On quantum and approximate privacy

Hartmut Klauck|Oct 5, 2001

Hermeneutics and Narrative Identity被引用数 7

ひとこと要約

この論文は、2人用通信複雑性における量子的および近似的なプライバシーを調査し、量子プロトコルが古典的プロトコルと比較してプライバシー損失を指数関数的に削減できることを示している。ただし、ゼロプライバシー損失を伴う関数の集合は拡大しない。小さな情報漏洩れが、そうでない場合に計算不能な関数（例：AND関数）を量子プロトコルで計算可能にすることができることを示し、量子的にプライベートに計算可能なブール関数の構造を、個々の入力のXORとして特徴づけている。

ABSTRACT

This paper studies privacy and secure function evaluation in communication complexity. The focus is on quantum versions of the model and on protocols with only approximate privacy against honest players. We show that the privacy loss (the minimum divulged information) in computing a function can be decreased exponentially by using quantum protocols, while the class of privately computable functions (i.e., those with privacy loss 0) is not enlarged by quantum protocols. Quantum communication combined with small information leakage on the other hand makes certain functions computable (almost) privately which are not computable using either quantum communication without leakage or classical communication with leakage. We also give an example of an exponential reduction of the communication complexity of a function by allowing a privacy loss of $o(1)$ instead of privacy loss 0.

研究の動機と目的

• 量子通信が、ゼロプライバシー損失で計算可能な関数のクラスを拡大するかどうかを特定すること。
• 小さな情報漏洩れを許容することで、量子プロトコルが古典的または純粋な量子プロトコルではプライベートに計算できない関数を計算可能かどうかを調査すること。
• 量子プロトコルにおける通信コストとプライバシー損失のトレードオフを分析すること。
• プライバシー制約の下で量子プロトコルによって計算可能なブール関数の構造を特徴づけること。
• 近似的なプライバシーおよびほぼ誠実なプレイヤーが、量子セキュア関数評価に与える影響を検討すること。

提案手法

• 情報理論的測度を用いてプライバシー損失を分析し、プロトコル実行中にプレイヤーが露呈する最小限の情報として定義する。
• 不交差問題（DISJn）に量子通信プロトコルを適用し、プライバシー損失をO(log²n)まで低下させつつ、通信複雑性は依然としてΩ(√n)を維持できることを示す。
• 重ね合わせやユニタリ変換を含む、量子情報理論の技術を用いて、制御された情報漏洩れを伴うプロトコルをシミュレートする。
• 量子通信と制限された漏洩れを組み合わせたハイブリッドアプローチを採用し、純粋な量子または古典的漏洩れでは不可能な関数を計算可能なプロトコルが存在することを証明する。
• 補題9を用いて、プライバシー損失をδで抑えられることを示し、プロトコル設計と情報理論的セキュリティの間の明確な関係を確立する。
• 古典的プライベート計算の結果を量子設定に拡張し、量子的プライベートブール関数をfA(x) ⊕ fB(y)として特徴づける。

実験結果

リサーチクエスチョン

• RQ1 量子通信は、関数の計算において古典的境界を下回るプライバシー損失を実現できるか？
• RQ2 小さな情報漏洩れを許容することで、古典的または純粋な量子プロトコルではプライベートに計算できない関数を、量子プロトコルが計算可能になるか？
• RQ3 量子プロトコルを用いてゼロプライバシー損失で計算可能なブール関数の構造は何か？
• RQ4 小さな漏洩れと誤差を用いて定義される近似的なプライバシーは、セキュア関数評価における量子通信とどのように作用するか？
• RQ5 わずかにプロトコルから逸脱する近似的に誠実なプレイヤーに対して、量子プロトコルを安全に保てるか？

主な発見

• 不交差問題（DISJn）について、量子プロトコルは古典的プロトコルと比較してプライバシー損失を指数関数的に削減し、O(log²n)まで低下させることができる。
• ゼロプライバシー損失（すなわち、完全にプライベートな関数）のクラスは、量子通信によって拡大されない。このような関数は依然として正確にfA(x) ⊕ fB(y)の形に限られる。
• 小さな情報漏洩れと組み合わせた量子通信により、古典的設定ですら漏洩れがあってもプライベートに計算できないAND関数が計算可能になる。
• ブール関数に関しては、量子的プライベート計算はfA(x) ⊕ fB(y)として特徴づけられ、古典的特徴づけを量子的状況に拡張する。
• 量子プロトコルのプライバシー損失は、通信複雑性よりも厳密に小さいことが示されている。不交差問題では、プライバシー損失はO(log²n)、通信複雑性はΩ(√n)である。
• 本論文は、小さな漏洩れを伴う量子プロトコルが、古典的または純粋な量子モデルでは計算不可能な関数のプライベート計算を達成できることを示しており、新たな計算的優位性を示している。