[論文レビュー] Operator Algebras in Quantum Computation

Mathys Rennela|arXiv (Cornell University)|Oct 22, 2015

Advanced Operator Algebra Research参考文献 14被引用数 5

ひとこと要約

本稿は、作用素代数（特にW*-代数）とドメイン理論の間の圏論的関係を確立し、量子計算の統一的意味論フレームワークを提供する。量子系をW*-代数でモデル化し、有向上限完備部分順序（dcpos）やスコット連続性といったドメイン理論的構造を適用することで、著者たちは量子最弱前件確率計算を構築し、述語論理のための効果代数を導入する。これにより、関数解析および量子基礎論に根ざした圏論的アプローチによって、量子プログラムの形式的検証が可能になる。

ABSTRACT

In this master thesis, I discuss how the theory of operator algebras, also called operator theory, can be applied in quantum computer science.

研究の動機と目的

• 作用素代数を用いて量子プロセスを形式化することで、量子計算とドメイン理論の間の溝を埋めること。
• W*-代数を基礎構造として用いることで、量子プログラムの圏論的意味論を提供すること。
• 量子プログラムの正しさを推論するための量子最弱前件確率計算を開発すること。
• 量子計算における述語を表現する論理的枠組みとしての効果代数を導入すること。
• 統一的な代数的および順序論的モデルを通じて、量子暗号プロトコルの形式的検証とシミュレーションを可能にすること。

提案手法

• 量子計算の数学的基盤としてW*-代数を用い、関数解析におけるその構造を活用する。
• W*-代数に有向上限完備部分順序（dcpos）やスコット連続性といったドメイン理論の概念を適用し、計算を有向上限としてモデル化する。
• 効果代数を導入して量子述語を表現し、量子系における部分的真偽の論理を支援する。
• W*-代数の構造と順序論的連続性を用いて、圏論的最弱前件確率計算を構築する。
• 状態と効果と変換の関係を統一的な枠組みで関係付けるために、状態と効果の三角形構成を用いる。
• ヒルベルト空間内の射影を格子構造における原子的要素として用い、量子観測値と順序論的完備性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 W*-代数は、ドメイン理論的枠組みにおいてどのように量子計算の意味的モデルとして機能するか？
• RQ2 効果代数とモノイドを介して、量子計算と確率的計算の間の圏論的関係は何か？
• RQ3 作用素代数を用いて、最弱前件確率計算を量子設定に一般化する方法は何か？
• RQ4 W*-代数の位相的および順序論的性質は、量子プログラムの意味論をどのように支援するか？
• RQ5 ヒルベルト空間内の射影の格子は、量子計算可能性をモデル化するために代数的に構造化可能か？

主な発見

• W*-代数は、無限次元系（例えば無限テンソル積による量子ストリームを含む）を含む量子計算のモデル化に自然な圏論的枠組みを提供する。
• 本稿は、W*-代数が単調完備なC*-代数であり、正の錐順序に関して有向上限完備部分順序をなすことを確立し、ドメイン理論的推論を可能にする。
• W*-代数上のスコット連続写像を用いて、古典的述語変換の一般化である量子最弱前件確率計算が構築される。
• 効果代数が量子述語を表現する論理的構造として導入され、量子計算の形式的論理を可能にする。
• ヒルベルト空間内の射影の格子は、原子的であるが、無限次元では非ゼロ射影の間で「way-below」関係が一般には成立しないため、一般には代数的ではないことが示される。
• 状態と効果の三角形構成が量子設定に拡張され、状態、効果、変換が圏論的枠組みで統一的に扱われる。