[論文レビュー] Simulation of finite state machines in a quantum computer

Michael R. Dunlavey|ArXiv.org|Jul 9, 1998

Quantum Computing Algorithms and Architecture参考文献 3被引用数 4

ひとこと要約

本稿では、長さ ≤ K の入力文字列の重ね合わせを用いて、量子コンピュータ上で決定的有限状態マシン（FSM）を空間効率的にシミュレートする手法を提示する。これらの重ね合わせに対してグローバーの探索アルゴリズムを適用することで、特定の状態に到達する入力など、FSMの挙動を効率的に照会可能となり、ソフトウェア検証タスクにおける量子優位性の可能性を示している。

ABSTRACT

A construction is given for simulating any deterministic finite state machine (FSM) on a quantum computer in a space-efficient manner. By constructing a superposition of input strings of lengths K or less, questions can be asked about the FSM, such as the inputs that reach particular nodes, and the answers can be found using a search algorithm such as Grover's. This has implications for the eventual utility of quantum computers for software validation.

研究の動機と目的

• 決定的有限状態マシン（FSM）を空間効率的にシミュレートする量子アルゴリズムの開発を目的とする。
• 量子重ね合わせと探索を用いて、特定の状態への入力パスなどのFSM挙動を効率的に照会することを目的とする。
• FSMのシミュレーションを通じて、形式的ソフトウェア検証における量子コンputィングの有用性を検討することを目的とする。
• 量子探索がFSMの入出力挙動の分析をどのように加速できるかを示すこと。
• 古典的FSMを量子計算モデルにマッピングする実用的フレームワークの提供を目的とする。

提案手法

• 長さK以下のすべての入力文字列の重ね合わせを構築し、それらを計算基底状態として符号化する。
• FSM遷移関数をユニタリな量子操作にエンコードし、入力状態をFSMルールに従って変化させる。
• グローバーの探索アルゴリズムを用いて、特定の状態へと導く入力文字列を同定する。
• 測定確率を高めるために、振幅増幅を適用し、望ましい状態に到達する入力文字列の確率を向上させる。
• 入力文字列が処理後に得る最終FSM状態に基づいて、それらをマークする量子オракルを設計する。
• 本稿に含まれるCプログラムを用いて、量子FSMモデルの構築とシミュレーションを実例で示す。

実験結果

リサーチクエスチョン

• RQ1 長さが制限された入力文字列の重ね合わせを用いて、古典的有限状態マシンの挙動を効率的にシミュレートできるか？
• RQ2 グローバーの探索アルゴリズムは、FSMにおける特定の状態への到達路を同定する際に、どの程度速度を向上できるか？
• RQ3 決定的FSMの構造を、効率的な状態遷移と照会を可能にする量子回路にどのようにエンコードできるか？
• RQ4 古典的シミュレーションと比較して、量子コンピュータ上でFSMをシミュレートする際の空間効率はどの程度か？
• RQ5 FSMとしてモデル化されたソフトウェアシステムの検証において、量子計算が実用的優位性を提供できるか？

主な発見

• 入力文字列長をKに制限することで、本手法は必要なキュービット数を削減し、空間効率を達成している。
• グローバーの探索アルゴリズムにより、FSMの目標状態に到達する入力文字列の同定に二次的加速が達成される。
• 量子オラクルは、処理後の最終FSM状態に基づいて入力文字列をマークできるため、標的探索が可能である。
• シミュレーションフレームワークは標準的な量子操作で実装可能であり、動作するCプログラムで実例が示されている。
• 本手法は、有限状態系を対象とする形式的検証タスクに量子コンピュータを応用する実現可能性を示している。
• 本手法は、ソフトウェア検証およびモデルチェックイングへの量子アルゴリズムの拡張の基盤を提供する。