[論文レビュー] Classical and quantum counter automata on promise problems

Masaki Nakanishi, Abuzer Yakaryılmaz|arXiv (Cornell University)|Dec 21, 2014

Quantum Computing Algorithms and Architecture参考文献 21被引用数 2

ひとこと要約

本稿では、ゼロエラーを伴う片方向量子1カウンタオートマトンが、保証問題において、それらの古典的確率的対応物を上回ることを示しており、厳密な計算上の優位性を確立している。さらに、ラスベガス確率的1カウンタオートマトンが決定的ものよりも優れていることを証明し、かつ、確率的ブラインドカウンタオートマトンが実際に等価言語のクレーニー閉包を認識可能であることを示して、以前の予想を反証している。

ABSTRACT

We show that one-way quantum one-counter automaton with zero-error is more powerful than its probabilistic counterpart on promise problems. Then, we obtain a similar separation result between Las Vegas one-way probabilistic one-counter automaton and one-way deterministic one-counter automaton. Lastly, it was conjectured that one-way probabilistic one blind-counter automata cannot recognize Kleene closure of equality language [A. Yakaryilmaz: Superiority of one-way and realtime quantum machines. RAIRO - Theor. Inf. and Applic. 46(4): 615-641 (2012)]. We show that this conjecture is false, and also show several separation results for blind/non-blind counter automata.

研究の動機と目的

• 保証問題における量子的および古典的1カウンタオートマトンの計算能力を調査すること。
• ゼロエラー量子、ラスベガス確率的、および決定的1カウンタオートマトンの能力を比較すること。
• 確率的ブラインドカウンタオートマトンが等価言語のクレーニー閉包を認識する能力に関する制限に関する予想を解決すること。
• ブラインドおよび非ブラインドカウンタオートマトンモデル間の新たな分離結果を確立すること。
• 異なる誤りモデルを有する片方向カウンタオートマトンの間の計算能力の階層を明確にすること。

提案手法

• 量子状態の時間発展と測定戦略を用いて、ゼロエラーを伴う片方向量子1カウンタオートマトンが保証問題に対して示す挙動を分析する。
• 確率的状態遷移解析を通じて、ラスベガス確率的1カウンタオートマトンと決定的ものとの間の認識能力を比較する。
• 量子重ね合わせと干渉を用いて、等価言語のクレーニー閉包のための計算をシミュレートする特定の量子アルゴリズムを構築する。
• カウンタオートマトンによって定義される複雑性クラス間の分離を証明するために、既知のオートマトン理論および量子計算の結果を適用する。
• 予想の否定を証明するために、背理法を用いる。具体的には、確率的ブラインドカウンタオートマトンがクレーニー閉包を認識できないという予想を反証する。
• カウンタ言語およびオートマトンの構造的性質を活用して、モデル間の厳密な階層結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 ゼロエラーを伴う片方向量子1カウンタオートマトンは、古典的確率的1カウンタオートマトンが到達できない保証問題を解くことができるか？
• RQ2 ラスベガス確率的1カウンタオートマトンとその決定的対応物との間には、計算能力に厳密な分離が存在するか？
• RQ3 確率的ブラインドカウンタオートマトンは、以前の予想とは反して、等価言語のクレーニー閉包を認識できるか？
• RQ4 片方向設定におけるブラインド対非ブラインドカウンタオートマトンの相対的な表現能力は何か？
• RQ5 ゼロエラー量子、ラスベガス確率的、および決定的モデルは、言語認識能力の観点からどのように比較できるか？

主な発見

• ゼロエラーを伴う片方向量子1カウンタオートマトンは、古典的確率的1カウンタオートマトンが到達できない特定の保証問題を解くことができる。
• ラスベガス片方向確率的1カウンタオートマトンとその決定的対応物との間には、厳密な分離が存在し、計算能力の階層が確認された。
• 確率的ブラインドカウンタオートマトンが等価言語のクレーニー閉包を認識できないという予想は誤りであり、具体的な反例によって示された。
• ブラインドおよび非ブラインドカウンタオートマトンモデル間には、新たな分離結果が確立され、明確に異なる計算能力が明らかになった。
• ゼロエラー制約のもとでも、量子1カウンタオートマトンは保証問題の文脈で、古典的モデルに対して明確な優位性を示している。
• これらの結果により、異なる誤りモデルおよびカウンタの可視性（ブラインド対非ブラインド）を有する片方向カウンタオートマトンの間の計算能力の階層が、より洗練された理解に至った。