[論文レビュー] Models of Quantum Algorithms in Sets and Relations

William J. Zeng|arXiv (Cornell University)|Mar 19, 2015

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

ひとこと要約

本稿では、ヒルベルト空間や線形写像の代わりに集合と関係を用いることで、量子計算の関係的モデルであるQCRelを紹介する。Deutsch-Jozsa、シングルショットGrover、GroupHomIDといった主要な量子アルゴリズムの忠実な関係的モデルを構築し、それらのクエリ複雑度および抽象的構造が保存されることを示した。主な貢献は、物理的でないが構造的に忠実な関係的モデルを通じて、量子高速化の原因を分析するための新規フレームワークを提供することにある。

ABSTRACT

We construct abstract models of blackbox quantum algorithms using a model of quantum computation in sets and relations, a setting that is usually considered for nondeterministic classical computation. This alternative model of quantum computation (QCRel), though unphysical, nevertheless faithfully models its computational structure. Our main results are models of the Deutsch-Jozsa, single-shot Grovers, and GroupHomID algorithms in QCRel. These results provide new tools to analyze the semantics of quantum computation and improve our understanding of the relationship between computational speedups and the structure of physical theories. They also exemplify a method of extending physical/computational intuition into new mathematical settings.

研究の動機と目的

• 集合と関係を用いて、ヒルベルト空間に依存しないが構造的に忠実な量子計算モデル、すなわちQCRelを構築すること。
• 量子アルゴリズムを関係的設定でモデル化することで、計算上の高速化と物理理論の背後にある構造との関係を分析すること。
• 従来、非決定的古典計算に用いられる分野で使われる数学的枠組みに、量子アルゴリズムを形式化することで、物理的および計算的直観を新たな数学的領域へと拡張すること。
• ヒルベルト空間から抽象化し、関係の合成と双対性に焦点を当てることで、量子アルゴリズムの意味論および検証のための新しいツールを提供すること。
• 関係的モデルが、クエリ複雑度やユニタリ変換を含む、量子アルゴリズムの本質的構造を捉えることができることを示すこと。

提案手法

• ヒルベルト空間を集合に、線形写像を関係に置き換えることで、量子力学の公理を集合と関係の言語に再定式化する。
• ユニタリ関係を、R ∘ R⁻¹ = id および R⁻¹ ∘ R = id を満たす双対写像として定義し、ユニタリ演算子の関係的アナログを提供する。
• 量子状態を集合Hの部分集合としてモデル化し、状態準備および後選択は関係の逆（効果）操作を用いて行う。
• ブラックボックス関数をエンコードする関係として、関係的オракルを構築し、量子アルゴリズムにおけるユニタリ変換の構造を保存する。
• ストリング図に基づく図式的記法を用いて関係的プロセスを表現・推論可能とし、視覚的および代数的検証を可能にする。
• QCRelフレームワークを用いて、Deutsch-Jozsa、シングルショットGrover、群準同型識別（GroupHomID）という3つの代表的量子アルゴリズムを、関係の合成および後選択を用いてモデル化する。

実験結果

リサーチクエスチョン

• RQ1 量子アルゴリズムは、ヒルベルト空間に依存せずに、関係的設定で忠実にモデル化可能か？
• RQ2 関係的モデルは、量子アルゴリズムのクエリ複雑度および構造的特徴をどの程度保存するか？
• RQ3 関係的モデルは、計算上の高速化と背後にある物理的構造との関係をどのように明らかにするか？
• RQ4 双対性およびユニタリ性は関係的モデルにおいて果たす役割は何か？それらは量子の対応物と比べてどう異なるか？
• RQ5 非ユニタリまたは非量子的関係でさえ、量子アルゴリズムモデルの文脈で意味的かつ非自明な結果をもたらすことができるか？

主な発見

• QCRelにおけるDeutsch-Jozsaアルゴリズムは、定数関数を1回のクエリで正しく識別し、古典的決定的アルゴリズムに対する指数的高速化が保存されている。
• QCRelにおけるシングルショットGroverアルゴリズムは、オラクルが全単射である場合に成功確率が1に達し、理想的な状況下での量子ケースの挙動と一致する。
• QCRelにおけるGroupHomIDアルゴリズムは、入力関係fが群準同型である場合に、すべての可能な古典的状態を返す。これは関係的設定下での正しさを確認するものである。
• QCRelにおける後選択は、2つの状態の共通部分が空でないかどうかをチェックすることに対応し、量子測定結果の決定的解釈を提供する。
• QCRelにおけるユニタリ関係は正確に双対写像であり、関係的モデルはシステムの進化に厳密な基数制約を課しており、これは量子力学と一致する。
• 関係的モデルは、関係の合成と双対性を通じて、重ね合わせ、干渉、もつれといった量子アルゴリズムの抽象的構造を効果的に捉えている。