[論文レビュー] Non-Commutative Metrics on Matrix State Spaces

Wei Wu|ArXiv.org|Nov 22, 2004

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

ひとこと要約

本稿は、量子化理論を用いて、行列状態空間における非可換な距離およびリプシッツ半ノルムの類似物を導入する。下界半連続な行列リプシッツ半ノルムは、その関連する行列距離によって完全に決定され、このような距離が行列リプシッツノルムから生じるための必要十分条件は、その距離が凸的かつ中点対称的かつ中点凹型であることである。これは、リエッフェルの可換な結果を非可換な設定に拡張するものである。

ABSTRACT

We use the theory of quantization to introduce non-commutative versions of metric on state space and Lipschitz seminorm. We show that a lower semicontinuous matrix Lipschitz seminorm is determined by their matrix metrics on the matrix state spaces. A matrix metric comes from a lower semicontinuous matrix Lip-norm if and only if it is convex, midpoint balanced, and midpoint concave. The operator space of Lipschitz functions with a matrix norm coming from a closed matrix Lip-norm is the operator space dual of an operator space. They generalize Rieffel's results to the quantized situation.

研究の動機と目的

• 状態空間上のリエッフェルの距離理論およびリプシッツ半ノルムの理論を、行列順序単位空間の非可換な設定に一般化すること。
• 作用素系および行列順序空間の文脈において、リプシッツ半ノルムおよび距離の非可換類似物を定義すること。
• 下界半連続な行列リプシッツ半ノルムから生じる行列距離の特徴づけを確立すること。
• 閉じた行列リプシッツノルムから得られる行列ノルムを備えたリプシッツ関数の作用素空間が、作用素空間の双対であることを示し、古典的な双対性結果を一般化すること。

提案手法

• 量子化理論を用いて、行列順序空間上における非可換なリプシッツ半ノルムの定義を行う。
• 一般化されたディラック作用素との交換子の作用素ノルムを用いて、行列状態空間上に行列距離を導入する。
• 行列順序単位空間および作用素系の理論を応用して、行列状態空間とその双対を定義する。
• 行列の分離定理および双対性理論を用いて、下界半連続な行列リプシッツノルムから生じる行列距離が、凸性、中点対称性、および中点凹型を満たすことを証明する。
• リプシッツ関数の空間と、ある作用素空間の双対との間で完全等長同型写像を確立する。
• 行列空間上のノルム構造および行列空間間のペアリングを用いて、双対作用素空間を定義し、分析する。

実験結果

リサーチクエスチョン

• RQ1 リエッフェルの状態空間上の距離理論は、非可換かつ行列順序付きの設定へと拡張可能か？
• RQ2 下界半連続な行列リプシッツ半ノルムから生じる行列距離が満たすべき条件は何か？
• RQ3 非可換な設定において、行列リプシッツ関数とその双対作用素空間との双対性はどのように構造づけられるか？
• RQ4 非可換な場合において、行列距離は対応する行列リプシッツ半ノルムによって一意に決定されるか？
• RQ5 行列リプシッツノルムによって誘導される行列距離の正確な特徴づけは何か？

主な発見

• 下界半連続な行列リプシッツ半ノルムは、行列状態空間上におけるその関連する行列距離によって完全に決定される。
• 行列距離が下界半連続な行列リプシッツ半ノルムから生じるための必要十分条件は、その距離が凸的かつ中点対称的かつ中点凹型であることである。
• 閉じた行列リプシッツノルムから得られる行列ノルムを備えたリプシッツ関数の作用素空間は、作用素空間の双対と完全等長同型写像をもつ。
• 行列リプシッツ関数の双対空間は、有界作用素ノルムを持つ行列関数型の空間と等長同型写像をもつ。
• 証明は、双対空間内の任意の有界線型関数が、行列状態空間の要素から生じることを示す行列の分離定理に依拠している。
• 構成により、行列リプシッツ空間と行列関数型の作用素空間の双対との間で完全等長同型写像が得られる。