[论文解读] Quantum random walks and thermalisation

Alexander C. R. Belton|ArXiv.org|Oct 16, 2008

Quantum Computing Algorithms and Architecture参考文献 15被引用 5

一句话总结

本文建立了在任意忠实正规态下的量子随机游走的收敛定理，展示了热化效应：极限量子随机协变满足不含规范项的量子朗之万方程。该结果推广了Attal与Joye的工作，表明仅由GNS构造中态向量正交补所对应的量子噪声——而非全部——对动力学有贡献，与直观预期相比，显著降低了有效噪声维度。

ABSTRACT

It is shown how to construct quantum random walks with particles in an arbitrary faithful normal state. A convergence theorem is obtained for such walks, which demonstrates a thermalisation effect: the limit cocycle obeys a quantum stochastic differential equation without gauge terms. Examples are presented which generalise that of Attal and Joye (2007, J. Funct. Anal. 247, 253-288).

研究动机与目标

• 将真空态粒子下量子随机游走中观察到的热化效应推广至任意忠实正规态下的粒子。
• 在弱耦合极限下建立此类游走的收敛定理，证明其收敛于量子随机协变。
• 表征协变的极限生成元，证明其因态的结构而缺乏规范项。
• 证明独立量子噪声的数量从 $ n^4 - 1 $ 降低至最多 $ 2(n^2 - 1) $，其中 $ n = ext{dim}( extsf{K}) $，这是由于热化效应所致。
• 利用矩阵算子空间与Lindsay–Wills的量子随机分析方法，为在 $ C^* $-代数与量子群上分析此类游走提供统一框架。

提出的方法

• 使用GNS构造将粒子态 $ \rho $ 表示在希尔伯特空间 $ \textsf{K} $ 上，将其分解为循环向量 $ \rho $ 及其正交补 $ \textsf{k} = \textsf{h}^\bot $。
• 应用弱耦合极限形式化：对足够小的 $ \tau > 0 $，分析游走生成元 $ \tau^{-1} \big( \text{Id} \bigotimes \text{Id} - \text{Ad}_{\text{exp}(i\tau H_{\text{tot}})} \big) $ 在 $ \tau \to 0^+ $ 时的极限。
• 对保持态 $ \rho $ 的条件期望 $ d $ 施加一个条件，确保极限生成元中与 $ \rho $ 相关的部分动力学是良定义的。
• 通过仅包含非规范噪声积分 $ \text{d}\text{L}^\beta_\beta $ 的量子朗之万方程推导极限量子随机协变 $ k_t $，其中 $ \beta = 0 $ 或 $ \beta \neq 0 $，但不包含 $ \text{d}\text{L}^\beta_\beta $ 对于 $ \beta \neq 0 $。
• 使用矩阵算子空间框架 $ \textsf{V} \rtimes_{\text{M}} B(\textsf{H}) $ 处理非交换动力学，并确保与量子随机分析的兼容性。
• 应用Evans–Hudson流形式化，证明极限协变 $ k^\rho $ 是内的且 $* $-同态，意味着其源于福克空间中的酉演化。

实验结果

研究问题

• RQ1 当粒子处于一般忠实正规态而非真空态时，是否仍存在热化效应——即仅部分量子噪声对极限动力学有贡献？
• RQ2 极限生成元 $ \rho $ 的精确结构是什么？其如何依赖于条件期望 $ d $ 与态 $ \rho $？
• RQ3 极限动力学中独立量子噪声的数量如何随粒子希尔伯特空间 $ \textsf{K} $ 的维数变化？其是否保持低于直观估计的 $ n^4 - 1 $？
• RQ4 在系统代数非交换的情况下，是否可在矩阵算子空间框架下建立量子随机游走收敛于量子随机协变？
• RQ5 极限协变在何种条件下成为内Evans–Hudson流？其与 $ \rho $ 的GNS表示结构有何关联？

主要发现

• 极限量子随机协变 $ k_t $ 满足无规范项的量子朗之万方程 (1)：$ \text{d}k_t(a) = \text{sum} \big( k_s(\rho^{\beta}_\beta(a)) \text{d}\text{L}^\beta_\beta(s) \big) $，其中 $ \rho^{\beta}_\beta = 0 $ 当且仅当 $ \beta = 0 $。
• 极限中独立量子噪声的数量最多为 $ 2(n^2 - 1) $，其中 $ n = \text{dim}(\textsf{K}) $，而非直观估计的 $ n^4 - 1 $，这是由于规范项消失所致。
• 极限生成元 $ \rho $ 显式地由条件期望 $ d $ 与极限中与 $ \rho $ 相关的映射 $ \rho $ 构造而成，且满足 $ \rho^{\beta}_\beta = 0 $ 当且仅当 $ \beta = 0 $。
• 当 $ \text{dim}(\textsf{K}) < \infty $ 时，生成元 $ \rho $ 退化为系统代数上的Lindblad型生成元，与开放量子系统中的已知结果一致。
• 极限协变 $ k^\rho $ 是一个内Evans–Hudson流，如存在一个酉过程 $ X_t $ 使得 $ k^\rho_t(a) = X^*_t (a \bigotimes I_{\textsf{k}}) X_t $，且 $ X_t $ 满足一个量子随机微分方程所示。
• 收敛在完全有界范数下成立，且极限是 $* $-同态，确认了极限动力学与量子马尔可夫演化的一致性。