[論文レビュー] On the class of languages recognizable by 1-way quantum finite automata

Andris Ambainis, Arnolds Ķikusts+1 more|ArXiv.org|Sep 1, 2000

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、1-way量子有限オートマトン（1-QFA）によって認識可能な正則言語のクラスを特徴づけ、最小の決定的オートマトンにおける禁止構造的断片に基づく認識のための必要十分条件を同定する。この研究では、そのクラスが和集合に関して閉じていないことを証明し、BrodskyとPippengerの予想を反証するとともに、認識不能な言語を特定する一般化された禁止構成基準を提示する。

ABSTRACT

It is an open problem to characterize the class of languages recognized by quantum finite automata (QFA). We examine some necessary and some sufficient conditions for a (regular) language to be recognizable by a QFA. For a subclass of regular languages we get a condition which is necessary and sufficient. Also, we prove that the class of languages recognizable by a QFA is not closed under union or any other binary Boolean operation where both arguments are significant.

研究の動機と目的

• 1-way量子有限オートマトン（1-QFA）によって認識可能な正則言語のクラスを特徴づけること。これは、量子オートマトン理論における未解決問題に焦点を当てる。
• 正則言語が1-QFAによって認識可能であるための必要十分条件を同定すること、特に連続するサイクルを含まない部分クラスに対して焦点を当てる。
• BrodskyとPippengerが提起した予想、すなわち部分順序条件を満たすすべての正則言語が1-QFAによって認識可能であるという予想を反証すること。
• 1-QFAによって認識可能な言語のクラスが、和集合や他の顕著な二項ブール演算に関して閉じていないことを示すこと。
• 1-QFA認識における構造的障害を捉える一般化された禁止構成基準を構築すること。

提案手法

• ユニタリ変換、重ね合わせ、測定に基づく停止状態を用いて1-way量子有限オートマトン（1-QFA）を定義する。
• ユニタリティとの構造的不適合性に基づき、1-QFAによる認識を妨げる最小の決定的オートマトンにおける「禁止構成」の概念を導入する。
• 特定の言語Lの最小オートマトンを、段階的状態分割と語の受理パターンを用いて分析し、禁止断片の不在を検証する。
• 各パスにおける受理状態および拒否状態への語の走査回数が一貫するn段階構造への禁止構成の一般化を行う。
• 一般化された構成における各Dij集合内に等しい数の受理状態と拒否状態が存在するという条件が、1-QFAによる認識不能性を示す。
• 和集合に関する閉包性の反証のために、2つの認識可能な言語の和集合として構成された言語を用い、それが自身では認識不能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 最小の決定的オートマトンが1-way量子有限オートマトン（1-QFA）によって言語を認識できない構造的性質は何か？
• RQ2 1-QFAによって認識可能な言語のクラスは、和集合や他の二項ブール演算に関して閉じているか？
• RQ3 BrodskyとPippengerが提唱した部分順序条件は、1-QFA認識にとって必要かつ十分であるとみなせるか？
• RQ4 1-QFA制約下で言語認識が不可能になるオートマトンにおける一般化された禁止構成の形は何か？
• RQ5 どの正則言語の部分クラスにおいて、同定された禁止断片条件が1-QFA認識にとって必要かつ十分となるか？

主な発見

• 1-QFAによって認識可能な言語のクラスは和集合に関して閉じていない。これは、2つの認識可能な言語の和集合として構成された言語が、自身では認識不能であるという事実によって示された。
• 本稿では、各パスにおける語の走査回数が一貫するn段階状態構造を伴う一般化された禁止構成を同定し、各Dij集合内に等しい数の受理状態と拒否状態が存在する場合、1-QFAによる認識不能性が生じることを示した。
• 図3に示されるような連続するサイクルを含まない正則言語の部分クラスにおいて、禁止断片条件は1-QFA認識にとって必要かつ十分である。
• 図11に示される言語Lの最小オートマトンは、定理2.1の禁止構成を含まないが、依然として1-QFAによって認識できない。これは、定理4.1の禁止構成がより強い障害要因であることを示している。
• 定理4.1の禁止構成の存在は、定理2.1の禁止構成の存在を意味しない。これは、2つの条件が同値でないことを示している。
• 本稿では、BrodskyとPippengerの予想（部分順序条件を満たすすべての正則言語が1-QFAによって認識可能）を反証した。具体的には、部分順序条件では捉えきれない禁止断片を含む反例を構築した。