[论文解读] How fast do stabilizer Hamiltonians thermalize?

Kristan Temme, Michael J. Kastoryano|arXiv (Cornell University)|May 28, 2015

Advanced Thermodynamics and Statistical Mechanics被引用 4

一句话总结

本文通过弱耦合至热浴的Davies主方程，严格建立了稳定算符哈密顿量在热化时间上的界限。在低温下，热化由基态之间的广义能量势垒所主导，混合时间至多与系统尺寸的平方成正比；在普遍临界温度以上，热化时间至多与系统尺寸成线性关系，与低能激发无关。

ABSTRACT

We present rigorous bounds on the thermalization time of the family of quantum mechanical spin systems known as stabilizer Hamiltonians. The thermalizing dynamics are modeled by a Davies master equation that arises from a weak local coupling of the system to a large thermal bath. Two temperature regimes are considered. First we clarify how in the low temperature regime, the thermalization time is governed by a generalization of the energy barrier between orthogonal ground states. When no energy barrier is present the Hamiltonian thermalizes in a time that is at most quadratic in the system size. Secondly, we show that above a universal critical temperature, every stabilizer Hamiltonian relaxes to its unique thermal state in a time which scales at most linearly in the size of the system. We provide an explicit lower bound on the critical temperature. Finally, we discuss the implications of these result for the problem of self-correcting quantum memories with stabilizer Hamiltonians.

研究动机与目标

• 严格分析稳定算符哈密顿量在弱耦合至热浴条件下的热化动力学。
• 确定系统尺寸与温度如何影响收敛至热平衡的时间。
• 通过限制热化时间，为基于稳定算符哈密顿量的自纠错量子存储器建立不可行性结果。
• 阐明能量势垒在低温热化中的作用，并识别出热化速度加快的普遍临界温度。
• 提供Liouvillian生成元谱隙的显式界限，通过混合时间分析将其与热化时间关联。

提出的方法

• 通过弱局部耦合至热浴推导出的Davies主方程来建模热化过程。
• 分析量子动力半群的Liouvillian生成元，并利用非交换Lp范数与插值定理来界定其谱隙。
• 为稳定算符哈密顿量引入广义能量势垒概念，其定义基于逻辑算符与稳定子群激发的结构。
• 应用Riesz-Thorin插值定理，将半群在L∞与L1范数下的行为与L2范数关联，从而实现谱隙估计。
• 利用算子范数的变分刻画与半群的可逆性，推导出收敛速率的界限。
• 推导出一个临界温度阈值，超过该阈值时，热化时间保证与系统尺寸成线性关系，且独立于低能结构。

实验结果

研究问题

• RQ1 在低温下，稳定算符哈密顿量的热化时间如何随系统尺寸缩放？
• RQ2 基态之间的广义能量势垒在决定热化时间中起什么作用？
• RQ3 是否存在一个普遍临界温度，使得所有稳定算符哈密顿量均在该温度以上以线性时间完成热化？
• RQ4 能否以系统参数与哈密顿量结构来界定Davies生成元的谱隙？
• RQ5 这些界限对稳定算符哈密顿量作为自纠错量子存储器的可行性有何影响？

主要发现

• 在低温下，热化时间受一个与系统尺寸平方成正比的量所限制，其主导因素是正交基态之间的广义能量势垒。
• 当不存在能量势垒时，热化时间与系统尺寸的平方成正比，至多如此。
• 在普遍临界温度以上，热化时间与系统尺寸的线性关系成立，且独立于低能激发谱。
• 推导出临界温度的显式下界，其仅依赖于系统的局部相互作用结构。
• Liouvillian生成元的谱隙从下界被限定为与系统遍历性及局部耦合强度相关的量。
• 这些结果为稳定算符哈密顿量作为自纠错量子存储器提供了严格的不可行性定理，因为多项式量级的热化时间排除了长期量子信息存储的可能性。