[論文レビュー] A Quantum Time-Space Lower Bound for the Counting Hierarchy

Dieter van Melkebeek, Thomas Watson|arXiv (Cornell University)|Dec 15, 2007

Quantum Computing Algorithms and Architecture参考文献 13被引用数 5

ひとこと要約

本稿は、数え上げ階層に属する問題を解く量子アルゴリズムに対する、初めての非自明な時間-空間下界を確立する。具体的には、MajSATおよびMajMajSATに対して、時間と空間の両方を考慮した下界を示す。著者らは、中間測定を伴う量子計算を非有界誤差確率的マシンで時間的・空間的に効率よくシミュレートする手法を導入し、有界両側誤差のもとで、MajMajSATは任意のε>0に対して時間n^{1+o(1)}および空間n^{1−ε}では解けないことを証明する。

ABSTRACT

We obtain the first nontrivial time-space lower bound for quantum algorithms solving problems related to satisfiability. Our bound applies to MajSAT and MajMajSAT, which are complete problems for the first and second levels of the counting hierarchy, respectively. We prove that for every real d and every positive real epsilon there exists a real c>1 such that either: MajMajSAT does not have a quantum algorithm with bounded two-sided error that runs in time n^c, or MajSAT does not have a quantum algorithm with bounded two-sided error that runs in time n^d and space n^{1-\epsilon}. In particular, MajMajSAT cannot be solved by a quantum algorithm with bounded two-sided error running in time n^{1+o(1)} and space n^{1-\epsilon} for any epsilon>0. The key technical novelty is a time- and space-efficient simulation of quantum computations with intermediate measurements by probabilistic machines with unbounded error. We also develop a model that is particularly suitable for the study of general quantum computations with simultaneous time and space bounds. However, our arguments hold for any reasonable uniform model of quantum computation.

研究の動機と目的

• 数え上げ階層に属する問題を解く量子アルゴリズムに対する、初めての非自明な時間-空間トレードオフ下界を確立すること。
• 数え上げ階層の第一および第二レベルに完全なMajSATおよびMajMajSATに対する、量子アルゴリズムの計算的限界を分析すること。
• 中間測定を伴う量子計算を非有界誤差確率的マシンで効率的にエミュレートするシミュレーション技術を開発すること。
• 時間と空間の両方の制約を同時に満たす量子計算を研究するのに適したモデルを形式化すること。
• 有界両側誤差のもとで、量子アルゴリズムがMajMajSATを近似的線形時間および部分線形空間で解けないことを示すこと。

提案手法

• 中間測定を伴う量子計算を非有界誤差確率的マシンで時間的・空間的に効率よくシミュレートする手法を設計すること。
• シミュレーションを活用し、量子複雑度を確率的複雑度クラスに結びつけることで、時間-空間トレードオフを導出すること。
• 結果が標準的な量子計算フレームワークに広く適用可能であるよう、均一な量子計算モデルを用いること。
• シミュレーション手法を応用し、背理法により下界を導出する：もし高速な量子アルゴリズムが存在すれば、困難な数え上げ問題に対する高速な確率的アルゴリズムが導かれる。
• シミュレーションフレームワークを通じて、MajMajSATの複雑度とMajSATの複雑度を関連させることで、下界の階層を確立すること。
• 数え上げ階層の構造を活用し、高レベルの問題に対する時間または空間の改善が、低レベルの問題に対しても改善をもたらすことを示し、既知の複雑度仮定のもとで矛盾を導くこと。

実験結果

リサーチクエスチョン

• RQ1 有界両側誤差のもとで、量子アルゴリズムは任意のε>0に対して時間n^{1+o(1)}および空間n^{1−ε}でMajMajSATを解けるか？
• RQ2 数え上げ階層に属する問題に対する量子アルゴリズムが達成可能な最小の時間-空間トレードオフは何か？
• RQ3 中間測定を伴う量子計算は、非有界誤差を持つ古典的確率的マシンでどのように効率的にシミュレートできるか？
• RQ4 このようなシミュレーションが、量子時間および空間複雑度の下界を確立するために及ぼす影響は何か？
• RQ5 中間測定を許容しても、数え上げ階層問題に対する量子アルゴリズムの効率には根本的な限界があるのか？

主な発見

• 任意の実数dおよびε>0に対して、c>1が存在し、MajMajSATが有界誤差量子アルゴリズムで時間n^cで解けないか、MajSATが時間n^dおよび空間n^{1−ε}で解けない。
• 任意のε>0に対して、有界誤差量子アルゴリズムはMajMajSATを時間n^{1+o(1)}および空間n^{1−ε}で解くことはできない。
• 中間測定を伴う量子計算を非有界誤差確率的マシンで行うシミュレーションは、時間的・空間的に両方効率的であり、強力な複雑度理論的結論を導くことができる。
• 結果は任意の妥当な均一な量子計算モデルに対して成り立つため、下界の一般性と頑健性が向上する。
• このフレームワークは、量子時間-空間下界を古典的確率的複雑度下界に還元することで、量子アルゴリズムの時間-空間下界を導出する新しい手法を提供する。
• 本研究は、特に数え上げ階層内での充足可能性関連問題を解く量子アルゴリズムに対して、初めての非自明な時間-空間下界を確立する。