[論文レビュー] Quantum Communication Complexity

Hartmut Klauck|ArXiv.org|May 8, 2000

Quantum Computing Algorithms and Architecture参考文献 15被引用数 20

ひとこと要約

この論文は量子通信複雑性を調査し、量子ワンウェイプロトコルの新たな下界技術を確立し、古典的手法と比較して指数的削減を示している。行列の行の多様性と列の不均衡に基づく新しい境界を導入し、インデックス関数やGreater-Than関数における量子ワンウェイ通信複雑性が Ω(n/log n) ビットを要することを証明している。これは、古典的手法やVC次元に基づく境界と比べて顕著に向上している。

ABSTRACT

This paper surveys the field of quantum communication complexity. Some interesting recent results are collected concerning relations to classical communication, lower bound methods, one-way communication, and applications of quantum communication complexity.

研究の動機と目的

• 量子通信複雑性における結果を体系的に整理し、古典的手法と比較して量子プロトコルの優位性に焦点を当てる。
• 既存の方法（VC次元など）の限界を克服するため、量子ワンウェイ通信複雑性の新たな下界技術を開発・適用する。
• 特に全ブール関数に対して、量子プロトコルが通信コストを削減できることの力を示す。
• 量子通信複雑性の応用を、量子オートマトンと論理式サイズにまで拡大し、通信複雑性と量子計算モデルを結びつける。

提案手法

• 通信行列 M の部分行列 M' を選択し、境界を最大化する新しい下界手法を提案する。
• パラメータ h を、任意の行の部分集合に対して、その部分集合内のどの列に対しても過半数の割合が h を超えない最小の値として定義する。
• 境界を次のように定義する：bound(f) = log(row(M')) / log_{1/h}(row(M'))、ここで row(M') は M' の異なる行の数を表す。
• 繰り返しによる誤差低減を用い、誤差確率を低下させ、通信量を O(log_{1/h} row(M')) 倍に増加させる。
• Holevoの定理を用いて、M' の行を高い忠実度で送信するには Ω(log row(M')) ビットが必要であることを示す。
• 適応的測定戦略を用い、繰り返し誤った行を除外することで、1回の測定で行数を最大 h 倍まで削減する。

実験結果

リサーチクエスチョン

• RQ1 全ブール関数に対して、量子ワンウェイ通信プロトコルは古典的手法よりも顕著に低い通信複雑性を達成できるか？
• RQ2 量子通信複雑性の新しい下界技術は、VC次元のような古典的手法と比べてどのように異なるか？
• RQ3 インデックス関数とGreater-Than関数のワンウェイモデルにおける最小量子通信コストは何か？
• RQ4 量子通信複雑性の下界は、量子オートマトンや論理式サイズの問題にどの程度応用可能か？
• RQ5 ラスベガス設定において、量子プロトコルが古典的手法よりも超多項式的スピードアップを達成するには、相互作用が必要か？

主な発見

• 新しい下界手法により、インデックス関数に対して bound(IX_n) = Ω(n/log n) が得られ、VC次元に基づく境界よりも顕著に向上している。
• Greater-Than関数に対しても、VC次元が1であるにもかかわらず、Q_ε^1(GT) = Ω(n/log n) であることが示された。
• bound(f) が Ω(VC(f)/log VC(f)) であることが示され、新しい手法がVC次元アプローチを厳密に上回っていることが証明された。
• 量子ワンウェイラスベガスプロトコルは Q_0,ε^1(f) ≥ (1−ε)D^1(f) を満たすため、任意の量子-古典ラスベガススピードアップには相互作用が不可欠である。
• この手法により、特定の関数の量子通信複雑性が Ω(log row(M') / log_{1/h} row(M')) ビットを要することが示され、行の多様性と列のバランスのトレードオフが反映されている。
• 結果から、量子有限ワンウェイオートマトンは、古典的決定的有限オートマトン（DFA）よりも常に多項式的サイズで小さくなることが示唆されるが、誤差有界量子オートマトンは指数的に小さくなったり、大きくなったりする可能性がある。