[論文レビュー] Complete Positivity of Rieffel's Deformation Quantization by Actions of $\mathbb{R}^d$

Daniel Kaschek, Nikolai Neumaier+1 more|ArXiv.org|Sep 12, 2008

Advanced Topics in Algebra参考文献 19被引用数 6

ひとこと要約

この論文は、リエフェルの $\mathbb{R}^d$-作用に基づく変形量子化が、ガウス関数を用いた明示的な畳み込み作用素を構成することによって、状態の完全正定性を保存することを確立している。非可換代数の未変形 $C^*$-代数上の任意の状態が、$\hbar$ をパrameterとする変形代数上の連続的場に変形され、その漸近的挙動が形式的変形量子化と一致することを示しており、物理的完全性を保証する厳密で摂動論的でない状態変形の実現が得られている。

ABSTRACT

In this paper we consider C*-algebraic deformations a la Rieffel and show that every state of the undeformed algebra can be deformed into a state of the deformed algebra in the sense of a continuous field of states. The construction is explicit and involves a convolution operator with a particular Gauss function.

研究の動機と目的

• 状態を含む枠組みを拡張することで、リエフェルの厳密な変形量子化の物理的完全性を検証すること。
• 未変形の $C^*$-代数上の任意の状態が、$\hbar$ をパrameterとする変形代数上の連続的場の状態に引き上げられることを証明すること。
• ガウス関数による畳み込み作用素 $S_\hbar$ を用いた、状態変形の明示的かつ構成的メソッドを提供すること。
• 変形状態の $\hbar \to 0^+$ における漸近展開が、[6] で得られた形式的変形量子化の結果と一致することを示すこと。
• 以前の形式的結果を一般化し、厳密な $C^*$-代数的枠組みにおいて変形プロセスの完全正定性を確立すること。

提案手法

• 滑らかなベクトルを持つフレシェ代数 $\mathcal{A}^\infty$ に作用する、正規化されたガウス関数 $G_\hbar(u)$ を用いた畳み込み作用素 $S_\hbar$ を定義する。
• $\mathbb{R}^d$ の作用 $\alpha_u$ を用いて、$S_\hbar a(\hbar) = \int G_\hbar(u) \alpha_u(a(\hbar)) \, du$ を定義し、$C^*$-完備化へ拡張する。
• $S_\hbar$ が変形代数の正の元を未変形代数の正の元へ写像することを証明し、誘導された汎関数 $\omega_\hbar = \omega \circ S_\hbar$ の正定性を保証する。
• $\hbar \mapsto S_\hbar a(\hbar)$ の $C^*$-ノルムにおける連続性を確立し、$\omega_\hbar(a(\hbar))$ が連続的場の状態であることを保証する。
• $\hbar \to 0^+$ における $S_\hbar$ の漸近的解析を用いて、展開が [6] の形式的級数と一致することを示す。
• 連続的場の $C^*$-代数の構造を活用し、$\{\omega_\hbar\}_{\hbar \geq 0}$ が $\omega_0 = \omega$ を満たす連続的場をなすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 未変形の $C^*$-代数上の任意の状態が、リエフェル変形代数上の連続的場の状態に引き上げられるか。
• RQ2 変形状態が厳密な $C^*$-代数的枠組みにおいて完全正定性を保つのか。
• RQ3 変形状態の $\hbar \to 0^+$ における漸近的挙動は、形式的変形量子化とどのように比較できるか。
• RQ4 ガウス関数による畳み込み作用素 $S_\hbar$ は $C^*$-位相で連続的であり、完備化へ拡張可能か。
• RQ5 群作用とガウスカーネルを用いた状態変形が、正定性と連続性を保証する明示的かつ構成的に行えるか。

主な発見

• 未変形の $C^*$-代数 $\mathfrak{A}$ 上の任意の状態 $\omega$ は、変形代数 $\mathfrak{A}(\hbar)$ 上の連続的場の状態 $\omega_\hbar$ を誘導し、$\omega_0 = \omega$ を満たす。
• 変形写像 $S_\hbar$ は、正規化されたガウスカーネル $G_\hbar$ を用いた畳み込みにより明示的に構成され、正定性と連続性を保証する。
• $\hbar \to 0^+$ における $S_\hbar$ の漸近展開は、[6] の形式的変形量子化結果と正確に一致し、形式的手法との一貫性が確認される。
• $S_\hbar$ は $C^*$-ノルムで連続的であり、変形代数の $C^*$-完備化へ拡張可能であり、厳密な枠組みでの構成が有効であることを保証する。
• 行列代数 $M_n(\mathfrak{A})$ への拡張により、変形プロセスが完全正定性であることが検証され、$\mathfrak{A}(\hbar)$ から $M_n(\mathfrak{A}(\hbar))$ への写像が成立する。
• 任意の連続的セクション $a \in \Gamma$ に対して、$\hbar \mapsto \omega(S_\hbar(a(\hbar)))$ が連続的であることが示され、$\{\omega_\hbar\}_{\hbar \geq 0}$ が連続的場の状態をなすことが証明される。