[论文解读] Exponential Stability of Subspaces for Quantum Stochastic Master Equations

Tristan Benoist, Clément Pellegrini+1 more|arXiv (Cornell University)|Dec 2, 2015

Quantum Information and Cryptography参考文献 70被引用 32

一句话总结

该论文证明，对于量子随机主方程（SMEs），目标子空间的几乎必然不变性与全局渐近稳定性，等价于其平均（确定性）演化对应的性质。论文证明了平均动力学存在严格线性李雅普诺夫函数，并推导出李雅普诺夫指数的精确界限；关键的是，它表明引入测量反作用可显著提升几乎必然稳定性速率，使其远超平均速率，甚至在平均速率保持不变的情况下实现任意大的增长。

ABSTRACT

We study the stability of quantum pure states and, more generally, subspaces for stochastic dynamics that describe continuously--monitored systems. We show that the target subspace is almost surely invariant if and only if it is invariant for the average evolution, and that the same equivalence holds for the global asymptotic stability. Moreover, we prove that a strict linear Lyapunov function for the average evolution always exists, and latter can be used to derive sharp bounds on the Lyapunov exponents of the associated semigroup. Nonetheless, we also show that taking into account the measurements can lead to an improved bound on stability rate for the stochastic, non-averaged dynamics. We discuss explicit examples where the almost sure stability rate can be made arbitrary large while the average one stays constant.

研究动机与目标

• 严格刻画在随机主方程（SME）动力学下，目标量子子空间保持不变且全局渐近稳定的条件。
• 阐明平均（确定性）演化中的稳定性与随机SME路径中几乎必然稳定性的关系。
• 探究测量反作用是否可使几乎必然收敛速率超越平均动力学所预测的范围。
• 为平均与随机SME动力学推导李雅普诺夫指数的精确界限。
• 构造显式例子，证明在平均速率保持不变的情况下，几乎必然稳定性速率可被任意增大。

提出的方法

• 分析包含扩散（维纳）和跳跃（泊松）过程的一般类量子随机主方程（SMEs），用于建模有限维量子系统的连续测量。
• 将平均演化定义为SME的期望，由Lindblad型生成元L控制，并研究其半群性质。
• 引入基于迹范数的李雅普诺夫函数 V(ρ) = ||ρR||₁，通过其在正交补子空间HR上的投影来度量状态ρ与目标子空间HS的距离。
• 证明：若平均演化存在严格线性李雅普诺夫函数，则其具有指数稳定性，并推导出平均李雅普诺夫指数α₀的精确界限。
• 提出一种新型扩散测量通道（C_{n+1} = ℓS P_S + ℓR P_R），其保持平均动力学（L及子空间不变性）不变，但改变随机动力学。
• 利用伊藤引理与鞅论证分析李雅普诺夫函数的几乎必然收敛速率，表明指数α₁可通过参数Re²(ℓS − ℓR)独立调节，与α₀无关。

实验结果

研究问题

• RQ1 在何种条件下，目标子空间在随机SME下几乎必然不变？其与平均（确定性）演化中不变性的关系如何？
• RQ2 SME的几乎必然收敛速率（李雅普诺夫指数α₁）是否可超过平均收敛速率（α₀）？若可，其差距可达多大？
• RQ3 是否存在一个严格线性李雅普诺夫函数用于平均SME，从而得到平均李雅普诺夫指数的精确界限？
• RQ4 是否可通过测量反作用增强几乎必然稳定性速率，而不改变平均动力学或子空间不变性？
• RQ5 在量子比特情况下，是否可精确计算几乎必然收敛速率？其是否与理论界限一致？

主要发现

• 目标子空间HS几乎必然不变当且仅当其在平均演化下不变，且全局渐近稳定性也具有相同等价关系。
• 平均SME始终存在严格线性李雅普诺夫函数，从而可对平均李雅普诺夫指数α₀推导出精确界限。
• 通过选择适当的测量算符（如C_{n+1} = ℓS P_S + ℓR P_R），几乎必然稳定性速率α₁可被任意增大，而平均速率α₀保持不变。
• 对于量子比特，几乎必然收敛速率恰好为α₀ + α₁，且几乎必然成立极限关系 lim_{t→∞} (1/t) ln(1−p(t)) = −(α₀ + α₁)，验证了边界的紧致性。
• 数值模拟表明，增大α₁可显著加快典型轨迹的收敛速度，即使初始存在波动，系统仍能迅速坍塌至目标子空间。
• 添加非破坏性测量通道可改变随机动力学，而不影响平均动力学或子空间不变性，从而直接证明了通过测量反作用增强稳定性的有效性。