[論文レビュー] Dagger and Dilation in the Category of Von Neumann algebras

Bas Westerbaan|arXiv (Cornell University)|Mar 5, 2018

Computability, Logic, AI Algorithms参考文献 92被引用数 10

ひとこと要約

この論文は、フォン・ノイマン代数間の任意の正規完全正値部分単位（ncpsu）写像が、スタインシュトロイ・型の拡大をもつことを確立し、古典的定理を無限次元量子構造へ一般化する。本論文は、フォン・ノイマン代数上の自己双対的ヒルベルトC*-加群の新しい枠組みを導入し、その完備化、テンソル積、および純粋写像に関する主要な結果を証明する。また、効果体理論のカテゴリカル理論を構築し、予測、状態、双対性に関連する公理を通じてフォン・ノイマン代数の圏を特徴付ける。

ABSTRACT

This doctoral thesis is a mathematical study of quantum computing, concentrating on two related, but independent topics. First up are dilations, covered in chapter 2. In chapter 3 "diamond, andthen, dagger" we turn to the second topic: effectus theory. Both chapters, or rather parts, can be read separately and feature a comprehensive introduction of their own.

研究の動機と目的

• 任意のフォン・ノイマン代数間の正規完全正値部分単位写像に対して、スタインシュトロイの拡大定理を一般化し、その写像が*-準同型と余アイソメトリにまつわる普遍的拡大をもつことを証明すること。
• フォン・ノイマン代数上の自己双対的ヒルベルトC*-加群の包括的理論を構築し、その完備化、テンソル積、および超ノルム位相に関する性質を含めること。
• 純粋写像の構造と、パシュケの構成および最小スタインシュトロイ拡大の文脈における拡大との関係を調査すること。
• 効果体理論からの公理を用いてフォン・ノイマン代数の圏を特徴付けること。†-効果体、⋄-効果体、&-効果体の概念を導入し、それらを分析すること。
• 特に効果体理論とダガー構造を通じて、量子操作とその表現の間のカテゴリカルな双対性を調査すること。

提案手法

• ヒルベルトC*-加群とヒルベルト空間上の有界作用素代数への*-準同型の構成により、フォン・ノイマン代数間の任意のncpsu写像に対してスタインシュトロイ拡大の存在を証明する。
• ヒルベルトC*-加群に超ノルム位相を導入し、その位相に関して、任意のフォン・ノイマン代数上のヒルベルトC*-加群が自己双対的完備化をもつことを証明する。
• ヒルベルトC*-加群にカプランスキーの密度定理を適用し、*-準同型の像が超弱位相で稠密であることを示す。
• ヒルベルトC*-加群の外部テンソル積の理論を構築し、自己双対的完備化およびパシュケの拡大構成とその整合性を証明する。
• 効果体理論の枠組みを用いてフォン・ノイマン代数の圏を公理化し、効果代数、効果モジュール、および商、理解、像を備えた効果体の構造を導入する。
• †-効果体と⋄-効果体を定義・分析し、それらが双対性、正値性、直交性といった量子構造の主要な特徴を捉えていることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のフォン・ノイマン代数間の正規完全正値部分単位写像は、スタインシュトロイ拡大をもつか？
• RQ2 フォン・ノイマン代数上のヒルベルトC*-加群の理論は、自己双対的完備化と超ノルム位相を含む形に拡張可能か？
• RQ3 効果体理論からの公理を用いて、フォン・ノイマン代数の圏をどのように特徴付けることができるか？
• RQ4 効果体におけるダガー構造と双対性は、量子操作とその表現の構造とどのように関係するか？
• RQ5 実†-効果体および†-効果体の文脈において、スペクトル凸集合やJBW代数の無限次元一般化は何か？

主な発見

• 任意のフォン・ノイマン代数間のncpsu写像は、スタインシュトロイ拡大をもつ。これは古典的定理を無限次元設定に一般化するものである。
• 任意のフォン・ノイマン代数上のヒルベルトC*-加群は、超ノルム位相に関して自己双対的完備化をもち、完備性と双対性を保証する。
• 二つの拡大のテンソル積は、元の写像のテンソル積の拡大に対応し、普遍性を保つ。
• フォン・ノイマン代数間の純粋写像は、1次元ヒルベルト加群を通じて因数分解可能な写像にちょうど一致する。これは純粋状態の概念を一般化するものである。
• †-効果体の枠組みにおいて、フォン・ノイマン代数の圏は、正の写像を逆方向に持つユークリッドジョルダン代数の圏の完全部分圏と同値である。
• 任意の操作的†-効果体は、正の写像を逆方向に持つユークリッドジョルダン代数の圏の部分圏と同値であり、任意の操作的&-効果体の状態空間はスペクトル凸集合である。