[論文レビュー] From Quantum Query Complexity to State Complexity

Shenggen Zheng, Daowen Qiu|arXiv (Cornell University)|Jul 28, 2014

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

本稿は、量子クエリ複雑度と量子有限オートマトン（QFA）の状態複雑度を結びつける新しい枠組みを確立し、効率的な量子クエリアルゴリズムが直接的にコンact QFA設計に変換可能であることを示している。特に、クエリ問題DJ′の結果を活用することで、高い正確性で問題を解く2状態の量子有限オートマトンを構築し、古典的有限オートマトンと比較して指数的状態圧縮の優位性を実証している。

ABSTRACT

State complexity of quantum finite automata is one of the interesting topics in studying the power of quantum finite automata. It is therefore of importance to develop general methods how to show state succinctness results for quantum finite automata. One such method is presented and demonstrated in this paper. In particular, we show that state succinctness results can be derived out of query complexity results.

研究の動機と目的

• 量子クエリ複雑度の結果から、量子有限オートマトン（QFA）における状態圧縮性に関する一般的手法を構築すること。
• 低クエリ数の量子クエリアルゴリズムが、体系的にコンパクトなQFA実装に変換可能であることを示すこと。
• 有限オートマトンにおける量子クエリ複雑度、通信複雑度、状態複雑度を結びつける枠組みを確立すること。
• 特定のプロミス問題に対して、古典的有限オートマトンと比較して指数的に少ない状態数を有するQFAを構成的に設計する方法を提供すること。
• プロミス問題DJ′が2状態のQFAによって解けることを証明し、古典的モデルと量子モデルの間で超多項式の状態複雑度ギャップを強調すること。

提案手法

• 特に2クエリの量子アルゴリズムを用いたDJ′プロミス問題に注目し、QFA設計の構築ブロックとして量子クエリアルゴリズムを活用する。
• クエリステップをユニタリ変換にエンコードし、古典的制御状態を用いることで、量子クエリアルゴリズムをシミュレートする量子有限オートマトン（QFA）を構築する。
• 複雑な状態遷移を管理するため、量子基本状態（1 ≤ k ≤ n−2 に対する |k⟩）と古典的制御状態 Sijp を併用するハイブリッドQFAモデルを採用する。
• 入力記号と現在の状態に応じて位相反転を条件付きで適用するユニタリ操作 U_{p,σ}、U_{ij}、U_{ijp,σ} を設計し、干渉に基づく計算を可能にする。
• 計算の重要な段階で測定ステップを用いて量子状態を崩壊させ、結果に基づいて受理または拒否を決定する。
• クエリアルゴリズムから導かれる量子通信プロトコルのシミュレーションを活用し、状態複雑度の上界を確立する。

実験結果

リサーチクエスチョン

• RQ1 量子クエリ複雑度の結果を体系的に用いて、量子有限オートマトンの状態複雑度の上限を導出可能か？
• RQ2 DJ′プロミス問題を解くために、QFAに必要な最小の量子状態数と古典的状態数はそれぞれどれほどか？
• RQ3 低クエリ数の量子アルゴリズムを、保証された状態圧縮を伴うコンパクトなQFA実装に変換する一般的手法は存在するか？
• RQ4 EQ′プロミス問題における、古典的有限オートマトンと量子有限オートマトンの間の状態複雑度ギャップはどの程度か？
• RQ5 通信複雑度を中間ステップとして用いることで、QFAの状態複雑度の結果を導出できるか？

主な発見

• プロミス問題DJ′の2クエリ量子クエリアルゴリズムが構築され、以前の複雑な構成を簡略化した。
• DJ′を解くために明示的に2状態の量子有限オートマトンが設計され、2つの量子基本状態で十分であることが示された。
• EQ′問題の対応する古典的決定的有限オートマトン（1DFA）は 2^Ω(n) 個の状態を必要とし、指数的状態複雑度ギャップが証明された。
• QFA構築は n−2 個の量子基本状態と O(n²) 個の古典的制御状態を併用するハイブリッドモデルを用い、最適な状態効率を達成した。
• この枠組みは、量子クエリ複雑度を状態複雑度の結果に効果的に変換でき、状態圧縮性を証明する一般的手法を提供した。
• 証明により、EQ′問題の状態複雑度は古典的オートマトンにおいて量子オートマトンと比較して指数的に高くなることが示され、超多項式の分離が確認された。