[论文解读] Comments on "Fault-Tolerant Quantum Computation for Local Non-Markovian Noise"

Robert Alicki|ArXiv.org|Feb 19, 2004

Quantum Computing Algorithms and Architecture被引用 7

一句话总结

本文批判了在局部非马尔可夫噪声下容错量子计算的阈值结果，表明所假设的条件实际上意味着每门错误概率极低——10⁻⁸至10⁻¹²——远低于马尔可夫噪声的预期阈值。分析显示，该阈值条件实际上对门持续时间和系统-热库耦合施加了极为严格的约束，从而削弱了所声称阈值的实际可行性。

ABSTRACT

In the recent paper Terhal and Burkard derived a threshold result for fault-tolerant quantum computation under the assumption of the non-Markovian noise and claimed to rebut the objections rised by Alicki and Horodecki's. The purpose of this note is to show that the main condition used by Terhal and Burkard, although looking quite innocently, implies the assumption of the extremally low probability error per single quantum gate - p < 10^{-8} - 10^{-12} - i.e. the square of the expected threshold value for the case of Markovian noise.

研究动机与目标

• 挑战特哈尔与伯克哈尔在非马尔可夫噪声下容错量子计算研究中所提出阈值条件的有效性。
• 证明条件 λ₀t₀ < 10⁻⁴–10⁻⁶ 暗示每门错误概率 p ≤ 10⁻⁸–10⁻¹²，该值为典型马尔可夫阈值的平方。
• 阐明所假设噪声模型的物理含义，特别是系统-热库耦合中的时间与能量尺度。
• 表明所推导的阈值条件过于严格，对大多数量子系统而言不具物理现实性。

提出的方法

• 分析使用了从热库自相关函数 <A(t)A> = λ²exp(−t/τ_B) 推导出的谱密度 R(ω)，通过傅里叶变换得到洛伦兹形 R(ω)。
• 通过 R(ω) 的倒数估算频率依赖的退相干时间 τ_D(ω)，得到 τ_D(ω) ≳ 1/(λ²τ_B)。
• 通过限制 λ ≤ λ₀ 并假设 τ_B ≲ t₀（最短时间尺度），推导出 τ_D 的下限为 τ_D ≳ 1/(λ₀²t₀²) × t₀。
• 每门错误概率估计为 p ≈ t₀/τ_D，当满足阈值条件时，得到 p < 10⁻⁸–10⁻¹²。
• 推导仅依赖于时间尺度 t₀、τ_B 和能量尺度 λ₀，表明其与自相关函数的具体形式无关。
• 该论证基于 τ_B 与 t₀ 相当或更短的假设，这在实际热库模型中是典型的。

实验结果

研究问题

• RQ1 特哈尔与伯克哈尔研究中使用的阈值条件 λ₀t₀ < 10⁻⁴–10⁻⁶ 是否意味着非马尔可夫噪声下每门错误率在物理上是现实的？
• RQ2 当该条件 λ₀t₀ < 10⁻⁴–10⁻⁶ 应用于实际系统-热库耦合模型时，所隐含的每门错误概率是多少？
• RQ3 时间尺度 t₀ 和 τ_B 以及能量尺度 λ₀ 如何约束非马尔可夫环境中可实现的退相干时间 τ_D？
• RQ4 在非马尔可夫噪声下容错量子计算所声称的阈值是否与系统-热库相互作用的已知物理约束一致？
• RQ5 是否可以在不要求错误率远低于典型马尔可夫阈值的前提下，合理化该阈值条件？

主要发现

• 原始研究中使用的条件 λ₀t₀ < 10⁻⁴–10⁻⁶ 暗示每门错误概率 p < 10⁻⁸–10⁻¹²，该值为典型马尔可夫阈值的平方。
• 该错误率对当前或可预见的量子硬件而言不切实际，表明该阈值条件过于严格。
• 在假设 τ_B ≤ t₀ 的前提下，退相干时间 τ_D 的下限为 1/(λ₀²t₀²) × t₀。
• 最终的错误概率估计 p ≈ t₀/τ_D 仅依赖于时间与能量尺度 t₀、τ_B 和 λ₀，与热库相关函数的具体形式无关。
• 分析表明，该阈值条件实际上假设了噪声的极端抑制，这在一般非马尔可夫热库中并不成立。
• 结果表明，在标准系统-热库动力学假设下，非马尔可夫噪声下所声称的容错量子计算阈值不具备物理可行性。