[论文解读] Estimating the decoherence time using non-commutative Functional Inequalities

Ivan Bardet|arXiv (Cornell University)|Oct 3, 2017

Matrix Theory and Algorithms参考文献 40被引用 21

一句话总结

该论文将非交换的庞加莱不等式和修正的对数 Sobolev 不等式推广至非本原量子马尔可夫半群，从而实现了对开放量子系统退相干时间的估计。研究证明，退相干自由代数结构与 Dirichlet 型式的 $\mathbb{L}_1$-正则性共同确保了修正对数 Sobolev 常数的正性，进而导出更优的指数衰减估计；关键结果表明，在最优条件下，退相干时间呈现 $\Omega(\log \log d)$ 的标度。

ABSTRACT

We generalize the notions of the non-commutative Poincaré and modified log-Sobolev inequalities for primitive quantum Markov semigroups (QMS) to not necessarily primitive ones. These two inequalities provide estimates on the decoherence time of the evolution. More precisely, we focus on an algebraic definition of environment-induced decoherence in open quantum systems which happens to be generic on finite dimensional systems and describes the asymptotic behavior of any QMS. An essential tool in our analysis is the explicit structure of the decoherence-free algebra generated by the QMS, a central object in the study of passive quantum error correction schemes. The Poincaré constant corresponds to the spectral gap of the QMS, which implies its positivity, while we prove that the modified log-Sobolev constant is positive under the $\mathbb L_1$-regularity of the Dirichlet form, a condition that also appears in the primitive case. We furthermore prove that strong $\mathbb L_p$-regularity holds for QMS that satisfy a strong form of detailed balance condition for $p\geq1$. The latter condition includes all known cases where this strong regularity was proved. Finally and to emphasize the mathematical interest of this study compared to the classical case, we focus on two truly quantum scenarios, one exhibiting quantum coherence, and the other, quantum correlations.

研究动机与目标

• 将非交换的 Poincaré 不等式与修正对数 Sobolev 不等式推广至非本原量子马尔可夫半群（QMS），其中退相干自由（DF）代数非平凡。
• 在系统不收敛至唯一不变态的情境下，提供开放量子系统中退相干时间的定量估计。
• 建立在非本原情形下修正对数 Sobolev 常数保持正定的条件，从而实现快速退相干估计。
• 展示这些不等式在量子信息协议中的相关性，特别是在被动量子误差纠正与退相干自由子系统中的应用。

提出的方法

• 通过引入退相干自由（DF）代数的结构，将非交换的庞加莱不等式与修正对数 Sobolev 不等式推广至非本原的 QMS。
• 将 DF 代数作为刻画 QMS 渐近行为的核心对象，替代本原情形下的唯一不变态。
• 引入 Dirichlet 型式的 $\mathbb{L}_1$-正则性条件，作为修正对数 Sobolev 常数正性的充分条件。
• 证明满足强形式细致平衡条件的 QMS 具有强 $\mathbb{L}_p$-正则性（$p \geq 1$），该结果涵盖已知的此类正则性情形。
• 定义并分析双粒子系统中 QMS 的信息产生率，以估计 DF 对数 Sobolev 常数。
• 将不等式应用于一个具有 Lindbladian $\mathcal{L}_{\mathcal{N}}^{\gamma}(X) = \gamma(E_{\mathcal{N}}(X) - X)$ 的模型 QMS，其中 $E_{\mathcal{N}}$ 是到一个 $*$-代数 $\mathcal{N}$ 的忠实条件期望。

实验结果

研究问题

• RQ1 能否将 Poincaré 不等式与修正对数 Sobolev 不等式推广至退相干自由代数非平凡的非本原量子马尔可夫半群？
• RQ2 在非本原 QMS 中，何种条件可确保修正对数 Sobolev 常数为正？其与 DF 代数结构有何关联？
• RQ3 在非本原 QMS 中，功能性不等式相较于本原情形，如何改进对退相干时间的估计？
• RQ4 $\mathbb{L}_1$-正则性在确保非本原系统中快速退相干方面起到何种作用？
• RQ5 如何利用 QMS 的信息产生率作为工具，来估计存在部分退相干系统的 DF 对数 Sobolev 常数？

主要发现

• 若 Dirichlet 型式满足 $\mathbb{L}_1$-正则性，则修正对数 Sobolev 常数为正；该条件推广了本原情形，确保快速退相干。
• 谱间隙（Poincaré 常数）保持正定，对应于 Lindbladian 的最小非零特征值，确保指数收敛至 DF 代数。
• 对于具有 Lindbladian $\mathcal{L}_{\mathcal{N}}^{\gamma}$ 的 QMS，利用谱间隙可得退相干时间满足 $\tau_{\text{deco}} \geq \frac{1}{2\gamma} \log(d \varepsilon^{-2})$，呈现 $\Omega(\log d)$ 的标度。
• 利用修正对数 Sobolev 常数，退相干时间估计可改进为 $\tau_{\text{deco}} \geq \frac{1}{\gamma} \log(2 \log d \cdot \varepsilon^{-2})$，从而实现 $\Omega(\log \log d)$ 的标度，显著优于此前结果。
• 满足强形式细致平衡条件的 QMS 具有强 $\mathbb{L}_p$-正则性，该类包含所有已知的此类正则性情形。
• 在仅一个子系统经历不可逆演化的情形下，QMS 的信息产生率是估计 DF 对数 Sobolev 常数的有用量，凸显了量子关联在退相干动力学中的作用。