[論文レビュー] A von Neumann algebra approach to quantum metrics

Greg Kuperberg, Nik Weaver|arXiv (Cornell University)|May 3, 2010

Advanced Operator Algebra Research被引用数 8

ひとこと要約

本稿は、フォン・ノイマン代数のフィルトレーションを用いて、古典的距離と量子誤り訂正モデルを一般化する新しい量子距離空間の定義——W*-距離空間——を導入する。主な貢献は、アーベルな場合に古典的リプシッツ構造を回復するフレームワークを提供し、一様連続的かつリプシッツ的要素の弱*稠密性を保証するとともに、演算子系のフィルトレーションを通じて量子誤り訂正の自然な設定を提供することである。

ABSTRACT

We propose a new definition of quantum metric spaces, or W*-metric spaces, in the setting of von Neumann algebras. Our definition effectively reduces to the classical notion in the atomic abelian case, has both concrete and intrinsic characterizations, and admits a wide variety of tractable examples. A natural application and motivation of our theory is a mutual generalization of the standard models of classical and quantum error correction.

研究の動機と目的

• フォン・ノイマン代数の枠組み内で、古典的距離を一般化する新しい、内在的な量子距離空間の定義を構築すること。
• 古典的および量子誤り訂正方式を自然に統合する統一的モデルを提供すること。
• 一様連続的およびリプシッツ的要素のフォン・ノイマン代数における弱*稠密性を確立し、距離構造が豊かで物理的に意味を持つことを保証すること。
• 量子距離の明示的かつ内在的な特徴づけを提供し、取り扱いやすい例とより深い構造的解析を可能にすること。

提案手法

• フォン・ノイマン代数 $\mathcal{M}$ に内在する、弱*閉な演算子系の1パラメータ族 $\mathcal{V}_t \subseteq \mathcal{B}(H)$ を用いて W*-距離を定義し、$\mathcal{V}_s\mathcal{V}_t \subseteq \mathcal{V}_{s+t}$ および $\mathcal{V}_t = \bigcap_{s>t} \mathcal{V}_s$ を満たすものとする。
• $\mathcal{V}_0$ がフォン・ノイマン代数 $\mathcal{M}$ の可換束であることを要請することで、距離が $\mathcal{M}$ に内在的であることを保証する。
• $n$-キュービット系における量子ハミング距離を、$\mathcal{V}_t$ が高々 $t$ 個のキュービットに非自明に作用する演算子からなるフィルトレーションとして構成する。
• $UC(\mathcal{M})$ および $\mathrm{Lip}(\mathcal{M})$ を $\mathcal{M}$ の弱*稠密部分代数として定義し、一様連続性とリプシッツ性を捉える。
• スペクトル的および交換子的均一連続性を用いて $UC(\mathcal{M})$ の要素を特徴づけ、スペクトル射影および演算子の交換子に基づく基準を提示する。
• ハウスドルフ量子一様構造が $UC(\mathcal{M})$ の $\mathcal{M}$ における弱*稠密性を示すことを証明し、古典的稠密性結果を非可換設定に拡張する。

実験結果

リサーチクエスチョン

• RQ1 フォン・ノイマン代数の枠組み内で、古典的距離を一般化する内在的な量子距離空間をどのように定義できるか？
• RQ2 提案された定義は、アーベルな場合に古典的リプシッツ代数を回復できるか、また既知の量子誤り訂正モデルを支持できるか？
• RQ3 非可換作用素代数におけるスペクトル的均一連続性、交換子的均一連続性、および弱*位相との関係は何か？
• RQ4 量子距離構造は、一様連続的およびリプシッツ的要素の代数がフォン・ノイマン代数において弱*稠密であることを保証するか？

主な発見

• 提案された W*-距離の定義は、原子的アーベルな場合に古典的距離に還元され、標準理論と整合性を保つことが確認された。
• 量子一様構造がハウスドルフである限り、一様連続的要素の代数 $UC(\mathcal{M})$ は $\mathcal{M}$ において弱*稠密である。これは古典的稠密性結果の一般化である。
• 交換子リプシッツ的要素の代数 $\mathrm{Lip}(\mathcal{M})$ は $\mathcal{M}$ において弱*稠密である。これはリプシッツ関数の非可換アナロジーを提供する。
• $n$-キュービット系における量子ハミング距離は、W*-距離の明確な例であり、高々 $t$ 個のキュービットを損傷する誤り演算子をモデル化する。
• 移動不変距離を備えた量子トーラスでは、$UC(W^*(U_\hbar,V_\hbar)) = C^*(U_\hbar,V_\hbar)$ が成り立ち、すべての連続的要素が一様連続的であることが示された。
• スペクトル的均一連続性は交換子的均一連続性を含み、両者とも $UC(\mathcal{M})$ に属する演算子を特徴づける十分条件であり、スペクトル射影および演算子ノルムに基づく明示的基準が得られた。