[论文解读] Forward and Backward time observables for quantum evolution and quantum stochastic processes-I: The time observables

Y. Strauss|ArXiv.org|Jun 2, 2007

Spectral Theory in Mathematical Physics参考文献 25被引用 3

一句话总结

本文在哈密顿量谱为正实直线的条件下，引入了独特的正向与反向时间可观测量算符 $\mathbf{T}_F$ 和 $\mathbf{T}_B$，用于量子演化。基于 Sz.-Nagy–Foias 的压缩算子理论与 Hardy 空间函数模型，作者通过半群分解形式化方法构造了这些可观测量，证明了其唯一性，并表明它们在 Hudson-Parthasarathy 微积分框架下的量子随机过程中可作为时间可观测量。

ABSTRACT

Given a Hamiltonian $H$ on a Hilbert space $\mathcal H$ it is shown that, under the assumption that $σ(H)=σ_{ac}(H)=R^+$, there exist unique positive operators $T_F$ and $T_B$ registering the Schrödinger time evolution generated by $H$ in the forward (future) direction and backward (past) direction respectively. These operators may be considered as time observables for the quantum evolution. Moreover, it is shown that the same operators may serve as time observables in the construction of quantum stochastic differential equations and quantum stochastic processes in the framework of the Hudson-Parthasarathy quantum stochastic calculus. The basic mechanism enabling for the definition of the time observables originates from the recently developed semigroup decomposition formalism used in the description of the time evolution of resonances in quantum mechanical scattering problems.

研究动机与目标

• 为哈密顿量 $\mathbf{H}$ 满足 $\sigma(\mathbf{H}) = \sigma_{ac}(\mathbf{H}) = \mathbb{R}^+$ 的量子演化定义唯一的正向时间可观测量 $\mathbf{T}_F$ 与 $\mathbf{T}_B$。
• 建立这些时间可观测量与 Hudson-Parthasarathy 微积分框架下量子随机过程的相容性。
• 证明时间可观测量源于共振动力学中使用的半群分解形式化方法。
• 通过 Sz.-Nagy–Foias 理论框架下的特征函数分析，证明时间可观测量的唯一性与谱等价性。

提出的方法

• 基于 Sz.-Nagy–Foias 的 $C_{\cdot 0}$ 压缩半群与强压缩半群理论，采用半群分解形式化方法。
• 通过将 Hardy 空间 $\mathscr{H}^+_{\mathcal{N}}(\mathbb{R})$ 上的 Toeplitz 半群 $T_u^+(t)$ 压缩至不变子空间 $\hat{\mathscr{K}} = \mathscr{H}^+_{\mathcal{N}}(\mathbb{R}) \ominus \Theta_T(\cdot)\mathscr{H}^+_{\mathcal{N}}(\mathbb{R})$，构造时间可观测量，其中 $\Theta_T$ 为与散射矩阵相关的内函数。
• 分别将 $\mathbf{T}_F$ 与 $\mathbf{T}_B$ 定义为正向与反向半群生成元的逆，以确保其正定性与自伴性。
• 应用等距扩张的函数模型与特征函数，通过交织算子 $\Omega_f$ 建立 $\mathbf{T}_F^{-1}$ 与 $\hat{T}_F^{-1}$ 的谱性质关联。
• 利用特征函数 $\Theta_T(z)$ 证明 $\mathbf{T}_F^{-1}$ 与 $\hat{T}_F^{-1}$ 的谱等价性，依赖于 Sz.-Nagy–Foias 定理：特征函数唯一确定谱。
• 通过等距扩张框架建立时间可观测量算符与半群生成元之间的酉等价性，确保其在量子随机过程中的自洽性。

实验结果

研究问题

• RQ1 当哈密顿量具有纯绝对连续谱 $\mathbb{R}^+$ 时，能否为量子演化定义唯一的正向时间可观测量？
• RQ2 如何通过半群分解与 Hardy 空间函数模型构造正向与反向时间可观测量？
• RQ3 时间可观测量生成元的特征函数之间存在何种关系，其谱等价性如何体现？
• RQ4 这些时间可观测量在多大程度上可嵌入 Hudson-Parthasarathy 量子随机微积分框架？
• RQ5 交织算子 $\Omega_f$ 与 $\Omega_f^*$ 如何保持时间可观测量系统之间的谱与函数性质？

主要发现

• 在 $\sigma(\mathbf{H}) = \sigma_{ac}(\mathbf{H}) = \mathbb{R}^+$ 的条件下，存在唯一的正向与反向时间可观测量算符 $\mathbf{T}_F$ 与 $\mathbf{T}_B$，分别对应正向与反向量子演化。
• $\mathbf{T}_F$ 与 $\mathbf{T}_B$ 作为 Lax-Phillips 类型半群生成元的逆被构造，该半群由 Toeplitz 半群在 Hardy 空间上压缩至不变子空间所得。
• 特征函数 $\Theta_{\mathbf{T}_F^{-1}}(z)$ 与 $\Theta_{\hat{T}_F^{-1}}(z)$ 满足交织关系 $\Omega_f^*\Theta_{\hat{T}_F^{-1}}(z) = \Theta_{\mathbf{T}_F^{-1}}(z)\Omega_f^*$，从而证明其谱等价性。
• $\mathbf{T}_F^{-1}$ 与 $\hat{T}_F^{-1}$ 的谱完全相同，这由 Sz.-Nagy–Foias 定理保证：特征函数唯一确定谱。
• 时间可观测量 $\mathbf{T}_F$ 与 $\mathbf{T}_B$ 与 Hudson-Parthasarathy 量子随机微积分框架相容，使其可应用于量子随机微分方程。
• 该构造依赖于希尔伯特空间的压缩嵌套结构与 $C_{\cdot 0}$ 半群的等距扩张，为量子动力学中时间可观测量提供了严格的泛函分析基础。