[論文レビュー] Quantum finite automata: A modern introduction

A. C. Cem Say, Abuzer Yakaryılmaz|arXiv (Cornell University)|Jun 16, 2014

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

ひとこと要約

本稿では、スーパーオペレーターに基づく現代的な量子有限オートマトン（QFA）モデルを提案し、既知のすべての古典的および量子的有限オートマトンの変種を統一的かつシミュレート可能にしている。5つの具体的な例においてQFAが古典的オートマトンを上回ることを示しており、量子計算教育および研究のための強固なフレームワークを確立している。

ABSTRACT

We present five examples where quantum finite automata (QFAs) outperform their classical counterparts. This may be useful as a relatively simple technique to introduce quantum computation concepts to computer scientists. We also describe a modern QFA model involving superoperators that is able to simulate all known QFA and classical finite automaton variants.

研究の動機と目的

• 初期の量子有限オートマトン（QFA）モデルが量子力学を十分に活用できず、場合によっては古典的モデルを下回るという限界を是正すること。
• コンピュータサイエンティストに対して量子計算の概念を効果的かつ簡潔に導入できる教育的フレームワークを提供すること。
• 既存のすべての古典的および量子的有限オートマトンの変種をシミュレート可能な一般化されたQFAモデルを開発すること。
• 特定で明確な問題において、QFAを用いて量子計算と古典的計算の間の明確な優位性を実証すること。
• 既存のQFAおよび確率的有限オートマトンのモデルを一般化するスーパーオペレーターに基づくQFAモデルを形式的に定式化すること。

提案手法

• 密度行列に作用するスーパーオペレーター ℰσ で定義される五つ組 {Q, Σ, {ℰσ | σ ∈ Σ}, q₁, Qₐ} として一般化されたQFAモデルを提案。
• 操作要素 Eσ,j を用いた ℰσ = ∑ⱼ Eσ,j ρ Eσ,j† としてのスーパーオペレーターを用い、ユニタリな時間発展と測定を一般化して量子遷移をモデル化。
• 初期状態を純粋な密度行列 ρ₀ = |q₁⟩⟨q₁| として表現し、各入力記号の後に ρₜ = ℰwₜ(ρₜ₋₁) として状態を更新。
• 測定後の最終密度行列の対角成分から得られる fₘ(w) = ∑qⱼ∈Qₐ ρ(j,j) として受理確率を計算。
• 確率的有限オートマトンの任意のステochastic行列 A をスーパーオペレーターによるシミュレーションで構築し、rtQFA が rtPFA をシミュレート可能であることを証明。
• スーパーオペレーターのテンソル積により、複数のオートマトンの並列シミュレーションが可能となり、モデルの表現力が向上することを示した。

実験結果

リサーチクエスチョン

• RQ1 量子有限オートマトンは、特定の計算タスクにおいて、古典的有限オートマトンを明確に上回ることができるか？
• RQ2 すべての既知の古典的および量子的オートマトンの変種をシミュレート可能な、最も一般化された統一的QFAモデルは何か？
• RQ3 スーパーオペレーターをどのように用いることで、ユニタリな時間発展と確率的遷移を一般化した量子の時間発展と測定をモデル化できるか？
• RQ4 確率的有限オートマトンと量子有限オートマトンの間のシミュレーション能力に関する正式な関係は何か？
• RQ5 1つのQFAモデルが、古典的および量子的有限オートマトンモデルが示す全範囲の挙動を捉えることができるか？

主な発見

• 提案されたスーパーオペレーターに基づくQFAモデルは、実時間の決定的・確率的・量子的オートマトンを含む、既存のすべての古典的および量子的有限オートマトンの変種をシミュレート可能である。
• QFAがそれらの古典的対応物を上回ることを示す5つの具体的な例が提示され、有限状態計算における明確な量子優位性が実証された。
• 任意の実時間確率的有限オートマトン（rtPFA）は、同じ数の状態を有する実時間量子有限オートマトン（rtQFA）を、スーパーオペレーター構成によりシミュレート可能である。
• スーパーオペレーターの枠組みにより、スーパーオペレーターのテンソル積を用いた並列計算のシミュレーションが可能となり、モデルの計算的表現力が向上した。
• 密度行列が混合状態を表し、スーパーオペレーターが時間発展をモデル化するという枠組みにおいて、量子的および古典的有限オートマトンが統一的に扱える。
• 入力文字列 w の受理確率は、受理状態に対応する最終密度行列の対角成分の和として計算され、一貫性のある測定に基づく受理基準が提供された。