[論文レビュー] Generators of Noncommutative Dynamics

William Arveson|ArXiv.org|Jan 15, 2002

Quantum Mechanics and Applications参考文献 10被引用数 4

ひとこと要約

本稿では、任意の $C^*$-代数 $A$ に対して、可算個の $A$ のコピーの自由積として構成される普遍的 $A$-動的系 $(i, \tilde{\rho}A, \rho)$ を導入する。この動的系は、すべての他の $A$-動的系を支配する。また、任意の完全正値マップ $\varphi: A \to A$ が、$A \otimes \mathcal{K}$ の乗法的代数に埋め込まれる最小の $A$-動的系を生成することを証明し、非可換力学の普遍的枠組みを確立する。

ABSTRACT

For a fixed C*-algebra A, we consider all noncommutative dynamical systems that can be generated by A. More precisely, an A-dynamical system is a triple (i,B,α) where $α$ is a *-endomorphism of a C*-algebra B, and i: A --> B is the inclusion of A as a C^*-subalgebra with the property that B is generated by $A\cup α(A)\cup α^2(A)\cup...$. There is a natural hierarchy in the class of A-dynamical systems, and there is a universal one that dominates all others, denoted (i,PA,α). We establish certain properties of $(i,PA,α)$ and give applications to some concrete issues of noncommutative dynamics. For example, we show that every contractive completely positive linear map $ϕ: A o A$ gives rise to to a unique A-dynamical system (i,B,α) that is "minimal" with respect to $ϕ$, and we show that its C*-algebra B can be embedded in the multiplier algebra of $A\otimes {\mathcal K}$.

研究の動機と目的

• 固定された $C^*$-代数 $A$ に対して、すべての他の $A$-動的系を支配する普遍的 $A$-動的系を確立すること。
• 完全正値マップ $\varphi: A \to A$ によって生成される最小の $A$-動的系を特徴づけること。
• 最小化拡張の $C^*$-代数が $A \otimes \mathcal{K}$ の乗法的代数に埋め込まれることを示すこと。
• 自由積 $\mathcal{P}A = A * A * \cdots$ とシフト自己準同型 $\sigma$ を用いた普遍的構成を提供すること。
• 普遍的 $C^*$-代数的構成を用いて、非可換拡張理論を統合的かつ拡張的に扱うこと。

提案手法

• 可算個の $A$ のコピーの自由積 $\mathcal{P}A = A * A * \cdots$ を用いて、普遍的 $A$-動的系を構成する。
• 各 $k$ 番目のコピーへの埋め込み $\theta_k$ を用いて、自己準同型 $\sigma: \mathcal{P}A \to \mathcal{P}A$ を $\sigma \circ \theta_k = \theta_{k+1}$ で定義する。
• $\mathcal{P}A$ の普遍性を用いて、すべての $A$-動的系が $(i, \mathcal{P}A, \sigma)$ を通じて因数分解できることを保証する。
• 完全正値マップ $E: B \to A$ で $E|_A = \text{id}_A$ を満たすものに対して、Stinespring 拡張を適用し、表現 $\pi$ と等長作用素 $V$ を構成する。
• $P = VV^*$ が $\pi(B)$ の乗法的代数に属すること、すなわち $P \in \mathcal{M}(\pi(B))$ であることを示す。
• 表現の忠実性と $E$ の構造を用いて、$\pi(A) = P\pi(B)P$ が $\pi(B)$ のコーナーであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 与えられた $C^*$-代数 $A$ に対して、すべての他の $A$-動的系を支配する普遍的 $A$-動的系は何か？
• RQ2 完全正値マップ $\varphi: A \to A$ を用いて、最小の $A$-動的系をどのように生成できるか？
• RQ3 $C^*$-動的系の最小化拡張における $C^*$-代数 $B$ の構造は何か？
• RQ4 最小化拡張の $C^*$-代数は、$A \otimes \mathcal{K}$ の乗法的代数に埋め込めるか？
• RQ5 自由積 $\mathcal{P}A$ は、普遍的非可換力学の構成において果たす役割は何か？

主な発見

• 普遍的 $A$-動的系は、$\mathcal{P}A$ を可算個の $A$ のコピーの自由積とし、$\sigma$ をシフト自己準同型とする $(i, \mathcal{P}A, \sigma)$ で与えられる。
• すべての $A$-動的系は、普遍的系 $(i, \mathcal{P}A, \sigma)$ の商であるため、階層において最大である。
• 任意の完全正値マップ $\varphi: A \to A$ に対して、$\varphi$ によって生成される一意な最小の $A$-動的系 $(i, B, \alpha)$ が存在する。
• 最小化拡張の $C^*$-代数 $B$ は、Stinespring 拡張と射影の解析を用いて、$A \otimes \mathcal{K}$ の乗法的代数に埋め込まれることが示された。
• Stinespring 表現における射影 $P = VV^*$ は $\pi(B)$ の乗法的代数に属し、$\pi(A) = P\pi(B)P$ は $\pi(B)$ のコーナーである。
• 最小化拡張は同型を除いて一意であり、標準的拡張の普遍的性質を満たし、すべての標準的拡張は最小のものと同値である。