[论文解读] 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.

研究动机与目标

• 解决在拟*-代数中对导子进行指数化的问题，这些代数用于建模物理系统中无界的量子可观测量。
• 通过正则化代数结构，为可观测量无界的量子系统中的时间演化提供一个数学上一致的框架。
• 分析正则化动力学向极限物理演化收敛的条件，确保在去除截断时保持稳定性。
• 将一般拟*-代数中的结果推广到更具结构的恰当CQ*-代数设定中，其中$\mathcal{A}_0$是一个C*-代数。
• 探讨在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，从$\mathcal{A} \times \mathcal{A}$上的正厄米双线性形式$\Phi$构造*-表示$\pi$，其中$\Phi$是正则化形式$\varphi_n$的极限。
• 在$\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 在何种条件下，$\hat{H}_n \xi_0$的收敛性可推出对所有$x \in \mathcal{A}_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)]$在表示空间中实现导子。
• 该框架允许两种不同方法：一种使用序列$\pi_n$与$\hat{H}_n$的表示，另一种使用单一极限表示$\pi$与$\hat{H}$，两者均能产生s-空间导子。