[論文レビュー] Exponentiating derivations of quasi *-algebras: possible approaches and applications

Фабио Багарелло, A. Inoue+1 more|ArXiv.org|Mar 31, 2009

Advanced Operator Algebra Research参考文献 12被引用数 5

ひとこと要約

本稿は、非有界な観測可能性をもつ量子系における時間発展をモデル化するため、準*-代数および適切なCQ*-代数における導分のべき乗を検討する。正則化としてカットオフを導入し、スペクトル理論および*-表現を用いることで、導出されたハミルトニアン作用素が収束する条件を確立し、カットオフを除去する極限においても安定な力学を保証する。

ABSTRACT

The problem of exponentiating derivations of quasi *-algebras is considered in view of applying it to the determination of the time evolution of a physical system. The particular case where observables constitute a proper CQ*-algebra is analyzed.

研究の動機と目的

• 非有界な量子観測量をもつ物理系をモデル化する準*-代数における導分のべき乗という課題に取り組む。
• 代数的構造を正則化することで、観測量が非有界である量子系における時間発展の数学的に整合性のある枠組みを提供する。
• 正則化されたダイナミクスが極限において物理的発展に収束することを分析し、カットオフを除去する際にも安定性を保証する。
• 一般の準*-代数からの結果を、$\mathcal{A}_0$ がC*-代数であるより構造的な設定である適切なCQ*-代数へと拡張する。
• s-空間的導分の文脈において、正則化されたハミルトニアンの列とその極限作用素との関係を調査する。

提案手法

• カットオフ $L \in \Lambda$ を導入することで、元の系を正則化し、代数 $\mathcal{A}$ を $\mathcal{A}_L \subset \mathcal{A}_0$ に置き換えるが、状態空間 $\Sigma_L = \Sigma$ を変更しない。
• 正則化されたダイナミクス $\alpha_L^t$ をユニタリ発展 $\alpha_L^t(x) = e^{iH_L t} x e^{-iH_L t}$ で定義し、$H_L$ を正則化されたハミルトニアンとする。
• *-表現およびs-空間的導分の理論を用いて、導分 $\delta$ を稠密な定義域上で対称作用素 $\hat{H}$ として実装し、$\delta(x) = i[\hat{H}, x]$ を満たす。
• 定理19を適用し、正則化された形式 $\varphi_n$ の極限として得られる正のセミバイリニア形式 $\Phi$ から、*-表現 $\pi$ を構成する。
• 形式 $\varphi_n$ の収束および表現作用の有界性という条件下で、正則化されたハミルトニアン $\hat{H}_n$ が極限 $\hat{H}$ に収束することを確立する。
• 作用素ノルム推定を用いて、$\hat{H}_n \xi_0 \to \hat{H} \xi_0$ および $\delta_{\pi}^{(n)}(\pi(x)) \to \delta_{\pi}(\pi(x))$ の収束が、$\hat{H}_n \pi(x)\xi_0 \to \hat{H} \pi(x)\xi_0$ の収束を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、準*-代数上の導分をユニタリ時間発展を生成する形にべき乗化できるか？
• RQ2 カットオフ $L$ を用いた代数の正則化は、導出されたハミルトニアン作用素の収束にどのように影響するか？
• RQ3 s-空間的導分の文脈において、正則化されたハミルトニアンの列 $\hat{H}_n$ とその極限作用素 $\hat{H}$ の関係は何か？
• RQ4 適切なCQ*-代数における極限ダイナミクスは、正則化された系のネットから一貫して導出可能か？
• RQ5 すべての $x \in \mathcal{A}_0$ に対して $\hat{H}_n \xi_0$ の収束が $\hat{H}_n \pi(x)\xi_0$ の収束を保証するための条件は何か？

主な発見

• 本稿は、$\| (\hat{H}_n - \hat{H}) \xi_0 \| \to 0$ およびすべての $x \in \mathcal{A}_0$ に対して $\delta_{\pi}^{(n)}(\pi(x)) \to \delta_{\pi}(\pi(x))$ が成り立つならば、$\| (\hat{H}_n - \hat{H}) \pi(x)\xi_0 \| \to 0$ が成り立つことを確立し、導出されたダイナミクスの収束を保証する。
• 極限における正のセミバイリニア形式 $\Phi(a,b) = \lim_n \tilde{\varphi}_n(a,b)$ は存在し、$\|\cdot\|$-連続かつ $*$-不変であるため、単一の*-表現 $\pi$ の構成が可能である。
• 各正則化形式 $\varphi_n$ は $\mathcal{A} \times \mathcal{A}$ 上に拡張され $\tilde{\varphi}_n$ と表され、列 $\{\tilde{\varphi}_n\}$ はコーシー列であるため、$\Phi$ に収束することが保証される。
• 条件 $|\tilde{\varphi}_n(\delta(x),1\!\!1)| \leq C \sqrt{\varphi_n(x,x) + \varphi_n(x^*,x^*)}$ および $|\tilde{\varphi}_n(ax,ax)| \leq \gamma_a^2 \varphi_n(x,x)$ は $\Phi$ に拡張され、表現論の構造が保たれる。
• 導出されたハミルトニアン $\hat{H}$ は対称作用素であり、表現空間において $\delta_{\pi}(\pi(x)) = \frac{1}{i} [\hat{H}, \pi(x)]$ を満たす。
• 本フレームワークでは、二つの異なる手法が可能である：一つは $\hat{H}_n$ を用いる表現 $\pi_n$ の列を用いる方法、もう一つは極限表現 $\pi$ と $\hat{H}$ を用いる方法であり、両方ともs-空間的導分を生成する。