[论文解读] Constraints for the spectra of generators of quantum dynamical semigroups

Dariusz Chruściński, Ryohei Fujii+2 more|arXiv (Cornell University)|Jun 15, 2021

Spectral Theory in Mathematical Physics参考文献 29被引用 13

一句话总结

本文推导了涉及复矩阵的希尔伯特-施密特内积与对易子的实值泛函 r(A, B) 的最优上界和下界，其应用涵盖量子动力半群。关键结果为：最紧的普遍界为 c± = 1 ± √2/2，与矩阵维数 n 无关；当 A 为迹零矩阵时，更紧的界 c± = [1 ± √2(1−1/n)]/2 成立。这些界比以往结果更严格地约束了开放量子系统中的弛豫速率。

ABSTRACT

Motivated by a spectral analysis of the generator of completely positive trace-preserving semigroup, we analyze a real functional $$ A,B \in M_n(\mathbb{C}) o r(A,B) = \frac{1}{2}\Bigl(\langle [B,A],BA angle + \langle [B,A^\ast],BA^\ast angle \Bigr) \in \mathbb{R} $$ where $\langle A,B angle := { m tr} (A^\ast B)$ is the Hilbert-Schmidt inner product, and $[A,B]:= AB - BA$ is the commutator. In particular we discuss the upper and lower bounds of the form $c_- \|A\|^2 \|B\|^2 \le r(A,B) \le c_+ \|A\|^2 \|B\|^2$ where $\|A\|$ is the Frobenius norm. We prove that the optimal upper and lower bounds are given by $c_\pm = \frac{1 \pm \sqrt{2}}{2}$. If $A$ is restricted to be traceless, the bounds are further improved to be $c_\pm = \frac{1 \pm \sqrt{2(1-\frac{1}{n})}}{2}$. Interestingly, these upper bounds, especially the latter one, provide new constraints on relaxation rates for the quantum dynamical semigroup tighter than previously known constraints in the literature. A relation with B\"{o}ttcher-Wenzel inequality is also discussed.

研究动机与目标

• 推导通过希尔伯特-施密特内积与对易子定义的实泛函 r(A, B) = 1/2(⟨[B, A], BA⟩ + ⟨[B, A∗], BA∗⟩) 的精确上界与下界。
• 研究这些界对量子动力半群生成元谱性质的影响，特别是与弛豫速率的关系。
• 在 A 为迹零的条件下，建立比以往更紧的开放量子系统中弛豫速率的普遍约束。
• 阐明 r-函数与对易子范数上的 B"ottcher-Wenzel 不等式之间的联系。
• 通过显式构造达到等号的矩阵，证明所推导边界的精确性。

提出的方法

• 利用希尔伯特-施密特内积 ⟨A, B⟩ = tr(A∗B) 和对易子 [A, B] = AB − BA 定义 r-函数 r(A, B)。
• 通过迹恒等式与循环性质，将 r(A, B) 表示为多种形式，包括 r(A, B) = 1/2 tr({A, A∗}B∗B) − Re tr(A∗BAB∗)。
• 利用弗罗贝尼乌斯范数 ∥A∥ = √tr(A∗A)，将边界表示为 c−∥A∥2∥B∥2 ≤ r(A, B) ≤ c+∥A∥2∥B∥2 的形式。
• 采用笛卡尔分解 A = AR + iAI 分离实部与虚部，以分析一般（非厄米特）矩阵。
• 通过奇异值分解与狄拉克符号显式计算 r(A, A)，得出边界 0 ≤ r(A, A) ≤ 1/2∥A∥4。
• 将 B"ottcher-Wenzel 不等式 ∥[A, B]∥2 ≤ 2∥A∥2∥B∥2 作为基础工具，并通过迹恒等式与范数不等式将其与 r-函数关联。

实验结果

研究问题

• RQ1 r(A, B) 的最优普遍上界与下界在 A 与 B 的弗罗贝尼乌斯范数下如何表示？
• RQ2 当矩阵 A 被限制为迹零时，这些边界如何变化？
• RQ3 这些边界对由 GKLS 形式决定的量子动力半群的弛豫速率有何影响？
• RQ4 r-函数与对易子范数上的 B"ottcher-Wenzel 不等式之间有何关联？
• RQ5 所推导的边界是否可实现？若可实现，何种矩阵构型满足等号条件？

主要发现

• r(A, B) 的最优普遍边界为 c± = 1 ± √2/2，与矩阵维数 n 无关，且两个边界均为精确边界。
• 当 A 为迹零时，最优边界收紧为 c± = [1 ± √2(1−1/n)]/2，其严格优于一般边界，且当 n → ∞ 时收敛于一般边界。
• 当 n = 2 时，边界简化为 0 ≤ r(A, B) ≤ ∥A∥2∥B∥2，且两个边界均可实现。
• 上界 c+ = 1 + √2/2 ≈ 1.2071 对弛豫速率的约束比以往任何已知边界都更紧。
• 量子动力半群的弛豫速率 Γα 满足普遍不等式 Γα ≤ c+(n)/ (n²−1) ∑Γβ，该不等式比以往结果更紧。
• 边界等号条件已显式构造，例如在 n=2 情况下使用正交奇异向量或 R³ 中的正交基。