[論文レビュー] An Application of Quantum Finite Automata to Interactive Proof Systems

Harumichi Nishimura, Tomoyuki Yamakami|Oct 5, 2004

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、インタラクティブな証明システムにおける検証者としての量子有限オートマトン（QFA）を導入し、有界誤差を持つ2QFA検証者が、{0^n1^n}のような非正則言語を認識できることを示している。一方、1QFA検証者は正則言語に限られる。主な貢献は、さまざまな制限下でのQFA検証者を備えたQIPシステムの計算能力を確立し、量子重ね合わせと測定プロトコルが古典的オートマトンよりも強力な認識能力をもたらすことを示している。

ABSTRACT

Quantum finite automata have been studied intensively since their introduction in late 1990s as a natural model of a quantum computer with finite-dimensional quantum memory space. This paper seeks their direct application to interactive proof systems in which a mighty quantum prover communicates with a quantum-automaton verifier through a common communication cell. Our quantum interactive proof systems are juxtaposed to Dwork-Stockmeyer's classical interactive proof systems whose verifiers are two-way probabilistic automata. We demonstrate strengths and weaknesses of our systems and further study how various restrictions on the behaviors of quantum-automaton verifiers affect the power of quantum interactive proof systems.

研究の動機と目的

• 量子インタラクティブ証明システムにおいて検証者が量子有限オートマトン（QFA）である場合の計算能力を調査すること。
• 有界誤差下で正則言語と非正則言語を認識する能力を、1QFAと2QFA検証者で比較すること。
• 測定、ヘッド移動、プローバー戦略の制限が、QFA検証者を備えたQIPシステムの能力に与える影響を分析すること。
• 事前もつれと複数のプローバーが、QFA検証者を備えたQIPシステムの表現力に与える影響を調査すること。
• QFA検証者を用いた量子ゼロ知識証明システムの基盤を構築し、古典的結果を量子オートマトンの文脈に拡張すること。

提案手法

• QFAが検証者として機能し、量子プローバーが共有通信セルを通じて通信する量子インタラクティブ証明システムをモデル化する。
• 検証者モデルとして、測定多数の1ウェイQFA（2QFA）と測定一度の1ウェイQFA（MO-1QFA）を用い、各遷移後にユニタリ変化と射影測定を行う。
• 有界誤差基準を適用：言語が受理されるのは、入力長に依存せず、受理確率が $1 - \epsilon$ 以上（$\epsilon < 1/2$）である場合に限る。
• 2QFA検証者の能力を分析し、量子重ね合わせを用いて、非正則言語 $\{0^n1^n \mid n \geq 0\}$ を線形時間で有界誤差で認識できることを示す。
• 検証者が2ウェイ確率的オートマトンである古典的インタラクティブ証明システム（DworkとStockmeyerによるもの）と比較する。
• 制限付きバージョンを評価：古典的通信チャネル、制限付きプローバー空間、事前もつれ、複数のプローバーを、量子回路と測定モデルを用いて分析する。

実験結果

リサーチクエスチョン

• RQ1 量子インタラクティブ証明システムにおける2QFA検証者は、有界誤差で非正則言語を認識できるか？
• RQ2 測定戦略（測定多数対測定一度）が、QIPシステムにおけるQFA検証者の計算能力に与える影響は何か？
• RQ3 プローバーの戦略が $O(\log \log n)$ の空間に制限された場合、QFA検証者を備えたQIPシステムの認識能力にどのような影響があるか？
• RQ4 プローバーと検証者の間で事前もつれが存在する場合、QFA検証者を備えたQIPシステムの計算能力が向上するか？
• RQ5 複数のプローバーがもつれを共有する場合、単一プローバー系と比較して、QFA検証者を備えたQIPシステムの表現力はどのように変化するか？

主な発見

• 有界誤差を持つ2QFA検証者は、最悪ケースの線形時間で、非正則言語 $\{0^n1^n \mid n \geq 0\}$ を有界誤差で認識でき、1QFA検証者よりも顕著な能力向上を示している。
• $\mathrm{2QFA}(\text{poly-time})$ は $\mathrm{REG}$ を厳密に含むことから、2方向ヘッド移動と有界誤差を持つ量子有限オートマトンが非正則言語を認識できることを示している。
• 1QFA検証者（MO-1QFAを含む）は、群言語に限られ、これは正則言語の真の部分集合であり、有界誤差で $\mathrm{Zero} = \{x0 \mid x \in \{0,1\}^*\}$ を認識できない。
• 通信チャネルが古典的である場合、システムは依然として強力であるが、量子チャネルの場合との正確な関係はまだ明確でない。
• 検証者とプローバーの間で事前もつれがある場合、QFA検証者を備えたQIPシステムの認識能力は向上せず、依然として正則言語しか認識しない。
• 複数プローバーを備えたQIPシステムは、古典的2プローバーIPシステムに類似しており、量子設定下でNEXPなどの複雑度クラスを特徴づける可能性がある。