[论文解读] A Nonconventional Ergodic Theorem for quantum "diagonal measures"

Francesco Fidaleo|arXiv (Cornell University)|Mar 23, 2012

Advanced Operator Algebra Research参考文献 16被引用 3

一句话总结

本文通过将Furstenberg的经典结果推广至非不变、非正规态，建立了量子动力系统中的非传统遍历定理——具体而言，是针对GNS表示中由乘积态或凸组合生成的量子'对角测度'。关键结果是形如 $\frac{1}{N}\sum_{n=0}^{N-1}U_{\omega}^{nk_1}XU_{\omega}^{n(k_2-k_1)}$ 的Cesàro平均在强算子拓扑下的收敛性，从而在态的支撑与交换子结构满足特定条件时，实现了对遍历与紧致量子系统中三点相关函数极限的计算。

ABSTRACT

We extend the Nonconventional Ergodic Theorem for generic measures by Furstenberg, to several situations of interest arising from quantum dynamical systems. We deal with the diagonal state canonically associated to the product state (i.e. quantum "diagonal measures"), or to convex combinations of diagonal measures for non ergodic cases. For the sake of completeness, we treat also the Nonconventional Ergodic Theorem for compact dynamical systems, that is when the unitary generating the dynamics in the GNS representation is almost periodic. The Nonconventional Ergodic Theorem allows in a natural way to determine the limit of the three-point correlations, naturally relevant for the knowledge of the ergodic properties of a dynamical system.

研究动机与目标

• 将Furstenberg的非传统遍历定理推广至具有非不变、非正规态的量子动力系统。
• 分析在GNS表示中，针对量子对角测度，由酉算子构成的Cesàro平均的收敛性。
• 在遍历与非遍历条件下，确定量子系统中三点相关函数极限。
• 建立Cesàro平均在强算子拓扑下收敛的条件。
• 研究紧致动力系统，其中酉算子几乎周期，通过谱分解确保收敛性。

提出的方法

• 使用Gelfand–Naimark–Segal（GNS）构造，将 $C^*$-动力系统表示在具有循环向量 $\Omega$ 的希尔伯特空间中。
• 在非交换设定下，将量子'对角测度'定义为 $\pi_\omega(\mathfrak{A})'' \otimes_{\text{max}} \pi_\omega(\mathfrak{A})'$ 上的向量态，对应于乘积态。
• 分析自同构 $\gamma = \text{Ad}_{U_\omega^{k_1}} \otimes \text{Ad}_{U_\omega^{k_2}}$ 在代数 $\mathfrak{M}$ 上的作用。
• 当 $U_\omega$ 几乎周期（即紧致系统）时，应用冯诺依曼遍历定理于谱投影。
• 施加条件如 $s(\omega) \in Z(\mathfrak{A}^{**})$ 和 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega^{k_2-k_1}\}' \subset Z(\pi_\omega(\mathfrak{A})'')$，以确保非遍历情况下的收敛性。
• 利用可分 $C^*$-系统的约化理论，将具有中心支撑的态分解为遍历分量。

实验结果

研究问题

• RQ1 在量子系统中，对于非不变、非正规态，Cesàro平均 $\frac{1}{N}\sum_{n=0}^{N-1}U_{\omega}^{nk_1}XU_{\omega}^{n(k_2-k_1)}$ 在强算子拓扑下收敛的条件是什么？
• RQ2 在非不变态的量子动力系统中，三点相关函数 $\frac{1}{N}\sum_{n=0}^{N-1}\omega(A_0\alpha^{nk_1}(A_1)\alpha^{nk_2}(A_2))$ 的极限是否可表征？
• RQ3 在非遍历情况下，条件 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega^{k_2-k_1}\}' \subset Z(\pi_\omega(\mathfrak{A})'')$ 是否为收敛所必需？
• RQ4 当 $U_\omega$ 几乎周期时，Cesàro平均在紧致量子动力系统中的收敛行为如何？
• RQ5 当交换子 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega\}'$ 非阿贝尔但不包含于中心时，非传统遍历定理是否仍可推广？

主要发现

• 当 $X$ 属于 $\pi_\omega(\mathfrak{A})''$ 和 $\pi_\omega(\mathfrak{A})'$ 的范数闭包，且满足 $s(\omega) \in Z(\mathfrak{A}^{**})$ 与 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega^{k_2-k_1}\}' \subset Z(\pi_\omega(\mathfrak{A})'')$ 时，Cesàro平均 $\frac{1}{N}\sum_{n=0}^{N-1}U_{\omega}^{nk_1}XU_{\omega}^{n(k_2-k_1)}$ 在强算子拓扑下收敛。
• 对于紧致 $C^*$-动力系统，极限为 $S(A) = \sum_{\{v,w \mid v^{k_1}w^{k_2-k_1}=1\}} E^{U_\omega}_v A E^{U_\omega}_w$，其强收敛且满足 $\|S(A)\| \leq \|A\|$。
• 三点相关函数的极限为 $\left\langle S(\pi(A_1))\pi(A_2)\Omega, \pi(A_0^*)\Omega \right\rangle$，在紧致情形下可通过谱投影显式计算。
• 条件 $s(\omega) \in Z(\mathfrak{A}^{**})$ 是必要的；反例表明，若省略此条件，三点相关函数将不收敛。
• 条件 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega^{k_2-k_1}\}' \subset Z(\pi_\omega(\mathfrak{A})'')$ 在非遍历情形中至关重要，其失效可能导致收敛性丧失。
• 该结果在非遍历情形下对可分 $C^*$-动力系统成立，依赖于在双对偶中具有中心支撑的态的约化理论。