[論文レビュー] On some automorphisms of the set of effects on Hilbert space

Lajos Molnár|ArXiv.org|May 17, 2000

Matrix Theory and Algorithms参考文献 5被引用数 5

ひとこと要約

この論文は、ヒルベルト空間上の効果代数の自己同型を、アフィン構造およびジョルダン三重積構造の下で特徴づけている。アフィン自己同型は、基礎となるフォン・ノイマン代数の*-自己同型または*-反自己同型によって誘導され、ジョルダン三重積自己同型はユニタリまたはアンチユニタリ作用素によって実装されることを証明しており、量子効果空間における線形構造と乗法的構造の深い関係を確立している。

ABSTRACT

The set of all efects on a Hilbert space has an affine structure (it is a convex set) as well as a multiplicative structure (it can be equipped with the so-called Jordan triple product). In this paper we describe the corresponding automorphisms of that set.

研究の動機と目的

• 因子 $\mathscr{A}$ 上の効果代数 $\mathscr{E}(\mathscr{A})$ のアフィン自己同型を分類すること。これは、ゼロにおける正規化を仮定する必要のない、先行研究の拡張である。
• ジョルダン三重積 $ABA \mapsto \phi(A)\phi(B)\phi(A)$ の下での自己随伴作用素の集合 $B_s(H)$ の自己同型の構造を特定すること。
• このような自己同型が必ず線形であり、ユニタリまたはアンチユニタリ作用素によって実装されることを確立することにより、乗法的構造と線形対称性を結びつける。

提案手法

• 自己随伴作用素のノルムスケーリングとスペクトル分解を用いて、$\mathscr{E}(\mathscr{A})$ 上のアフィン写像 $\phi$ の一意的な線形拡張 $\Phi$ を構成する。
• アフィン写像が効果代数構造を保つならば、それが基礎となる $C^*$-代数上に一意に線形写像へ拡張可能であるという事実を利用する。
• スペクトル理論を適用して、自己同型が射影とその順序を保存することを示し、これによりユニタリまたはアンチユニタリ作用素による実装が得られる。
• $\phi$ がランク1射影に作用する様子を分析し、乗法的および加法的性質を満たす実数値関数 $f$ を $\mathbb{R}$ 上に導出する。
• 関数 $f$ が $\mathbb{R}$ の環自己準同型であることを証明し、このような写像が一意的であることから、恒等写像に他ならないことを示す。
• 写像 $\phi$ の全射性および全単射性を用いて、$\phi(A) = UAU^*$ または $\phi(A) = -UAU^*$ となるユニタリまたはアンチユニタリ作用素 $U$ が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 アフィン変換の下で、ゼロでの正規化を仮定しない効果代数 $\mathscr{E}(\mathscr{A})$ の自己同型は何か？
• RQ2 効果代数の自己同型はジョルダン三重積 $ABA$ の下でどのように振る舞うか？
• RQ3 $B_s(H)$ のジョルダン三重積による乗法的構造は、その線形構造を完全に決定できるか？
• RQ4 ジョルダン三重積の下での $B_s(H)$ の自己同型は、必ず線形であるか？
• RQ5 このような自己同型の正確な形は、ユニタリまたはアンチユニタリ作用素を用いてどのように表現できるか？

主な発見

• 因子 $\mathscr{A}$ 上の効果代数 $\mathscr{E}(\mathscr{A})$ のアフィン自己同型は、$\mathscr{A}$ の*-自己同型または*-反自己同型、あるいはそれらを射影の直交補完 $A \mapsto I - A$ と合成したものによって誘導される。
• $\mathscr{E}(\mathscr{A})$ 上の任意のアフィン自己同型 $\phi$ の線形拡張は、$\mathscr{A}$ 上の線形写像であり、ジョルダン *-準同型構造を保存する。
• $B_s(H)$ のジョルダン三重積 $ABA \mapsto \phi(A)\phi(B)\phi(A)$ の下での自己同型は、ユニタリまたはアンチユニタリ作用素 $U$ によって実装され、$\phi(A) = UAU^*$ または $\phi(A) = -UAU^*$ となる。
• ランク1射影 $P$ に対して $\phi(\lambda P) = f(\lambda)\phi(P)$ で定義される関数 $f: \mathbb{R} \to \mathbb{R}$ は加法的かつ乗法的であり、したがって恒等写像である。
• 自己同型 $\phi$ は射影における部分順序 $\leq$ と直交補完を保存するため、ユニタリまたはアンチユニタリ同値であることが示される。
• $B_s(H)$ の線形構造は、そのジョルダン三重積構造によって完全に決定され、すべての自己同型が線形であることが示される。