[論文レビュー] Quantum Communications Based on Quantum Hashing

Alexander Vasiliev|arXiv (Cornell University)|Dec 5, 2013

Quantum Computing Algorithms and Architecture参考文献 10被引用数 6

ひとこと要約

この論文は、量子ハッシュと多項式表現を用いた量子通信プロトコルを提案する。入力を特徴多項式を介して量子重ね合わせとして符号化することで、特定の関数に対して指数的減少する量子ビット複雑性を実現する一方-way通信が可能となり、同時メッセージ伝達モデルにおいて古典的手法に比べて指数的高速化を達成する。

ABSTRACT

In this paper we consider an application of the recently proposed quantum hashing technique for computing Boolean functions in the quantum communication model. The combination of binary functions on non-binary quantum hash function is done via polynomial presentation, which we have called a characteristic of a Boolean function. Based on the characteristic polynomial presentation of Boolean functions and quantum hashing technique we present a method for computing Boolean functions in the quantum one-way communication model, where one of the parties performs his computations and sends a message to the other party, who must output the result after his part of computations. Some of the results are also true in a more restricted Simultaneous Message Passing model with no shared resources, in which communicating parties can interact only via the referee. We give several examples of Boolean functions whose polynomial presentations have specific properties allowing for construction of quantum communication protocols that are provably exponentially better than classical ones in the simultaneous message passing setting.

研究の動機と目的

• ブール関数のための量子通信プロトコルを、量子ハッシュと多項式表現を用いて開発すること。
• 1方向および同時メッセージ伝達（SMP）モデルにおける通信複雑性を低減すること。
• 量子プロトコルが古典的手法に比べて指数的に優位となるブール関数のクラスを同定すること。
• 分散量子計算に適した量子ハッシュ技術を一般化し、証明可能な複雑性バウンドを導出すること。

提案手法

• 関数が1に評価されるのは、集合に属するすべての多項式が0に評価される場合に限るという性質に基づき、環Z_m上での特徴多項式を用いてブール関数を表現する。
• 古典的入力を量子重ね合わせにマッピングする量子ハッシュを用い、通信オーバーヘッドを低減する。
• アリスが量子ハッシュ状態と多項式の古典的値をボブに送る1方向量子プロトコルを構築する。
• アリスとボブが独立に計算したハッシュ状態の間にSWAPテストを適用し、一致を検証する。
• 入力が異なる場合の誤差確率を、量子ハッシュ関数の衝突耐性によって制限する。
• 任意のブール関数を扱えるようにプロトコルを一般化し、通信複雑性を|S| + mのオーダーの量子ビットとして導出する。

実験結果

リサーチクエスチョン

• RQ1 量子ハッシュを用いて、ブール関数のための効率的な1方向量子通信プロトコルを構築できるか？
• RQ2 ブール関数の多項式表現がどのような条件下で、量子プロトコルが古典的手法に比べて指数的優位を発揮するか？
• RQ3 特徴多項式集合のサイズと構造に応じて、通信複雑性はどのようにスケーリングするか？
• RQ4 共有リソースが存在しない状況でも、プロトコルを1方向モデルから同時メッセージ伝達（SMP）モデルに拡張できるか？
• RQ5 衝突耐性は、量子ハッシュに基づくプロトコルの正しさを保証し、誤差を最小限に抑えるために果たす役割は何か？

主な発見

• 特徴集合のサイズが|S|で、パラメータ数がmのブール関数に対して、量子通信複雑性はO(|S| + m)量子ビットであり、特定の関数では古典的手法のO(n)に比べて指数的に優れている。
• |S| = O(log n) かつ m = O(log n) の場合、プロトコルはO(log n)の通信複雑性を達成し、古典的手法に比べて指数的に改善される。
• プロトコルは1方向および同時メッセージ伝達（SMP）モデルの両方で動作し、SMPバージョンでは共有リソースを必要としない。
• アリスとボブのハッシュ状態の間のSWAPテストは、入力が一致する場合にのみ高い確率で1を出力し、誤差確率は量子ハッシュのm-耐性特性を用いて境界化される。
• この手法は任意のブール関数に一般化可能だが、特徴多項式集合に好ましい構造的性質がある場合にのみ非自明な複雑性バウンドが得られる。
• 任意のブール関数を特徴多項式集合に分解する構成的メソッドが含まれており、単一の特徴多項式が存在しない場合でもプロトコルの生成が可能になる。