[论文解读] Negative Quasi-Probability Representation is a Necessary Resource for Magic State Distillation

Victor Veitch, Christopher Ferrie+1 more|arXiv (Cornell University)|Jan 5, 2012

Quantum Computing Algorithms and Architecture被引用 5

一句话总结

该论文证明了在容错量子计算的魔法态蒸馏中，准概率表示（特别是离散Wigner函数）中的负值是必要资源。论文证明了存在无法通过稳定子操作蒸馏为非稳定子态的束缚态，解决了长期悬而未决的问题，并为一大类混合态上的 Clifford 电路提供了高效仿真协议。

ABSTRACT

A central problem in quantum information is to determine the minimal physical resources that are required for quantum computational speedup and, in particular, for fault-tolerant quantum computation. We establish a remarkable connection between the potential for quantum speed-up and the onset of negative values in a distinguished quasi-probability representation, a discrete analog of the Wigner function for quantum systems of odd dimension. This connection allows us to resolve an open question on the existence of bound states for magic-state distillation: we prove that there exist mixed states outside the convex hull of stabilizer states that cannot be distilled to non-stabilizer target states using stabilizer operations. We also provide an efficient simulation protocol for Clifford circuits that extends to a large class of mixed states, including bound universal states.

研究动机与目标

• 确定实现量子计算加速所需的最小物理资源，特别是在容错量子计算中的应用。
• 解决关于是否存在无法通过稳定子操作蒸馏为非稳定子态的束缚态这一开放问题。
• 建立量子加速与离散Wigner函数表示中负值存在的关联。
• 开发一种适用于广泛混合态类别的Clifford电路高效仿真协议，包括束缚通用态。

提出的方法

• 作者采用类似于奇数维量子系统中Wigner函数的离散准概率表示。
• 他们分析了该表示中负值作为量子优势资源的作用。
• 证明依赖于表明：在稳定子态的非负Wigner函数值凸包之外的态，无法通过稳定子操作蒸馏为非稳定子态。
• 通过利用稳定子态中Wigner函数值的非负性，并将其扩展至具有类似性质的混合态，构建了Clifford电路的高效仿真协议。
• 该框架利用凸几何和稳定子态的性质，表征可蒸馏态的集合。
• 该方法基于Wigner表示中无负性的条件，建立了可蒸馏性的必要条件。

实验结果

研究问题

• RQ1 Wigner表示中的负准概率是否是量子计算中魔法态蒸馏的必要资源？
• RQ2 是否存在位于稳定子态凸包之外、仅通过稳定子操作无法被蒸馏的混合态？
• RQ3 能否为Clifford电路开发一种适用于广泛混合态类别的高效仿真协议，包括那些通用但不可蒸馏的态？
• RQ4 离散Wigner函数在表征量子计算加速极限方面起什么作用？
• RQ5 Wigner表示的性质如何与魔法态蒸馏中束缚态的存在相关？

主要发现

• 离散Wigner函数表示中的负值是魔法态蒸馏的必要资源，建立了负性与量子优势之间的根本联系。
• 存在位于稳定子态凸包之外的混合态，无法通过稳定子操作蒸馏为非稳定子目标态，证实了束缚通用态的存在。
• 本文提供了此类束缚态不可蒸馏性的严格证明，解决了量子信息理论中长期悬而未决的问题。
• 通过利用Wigner表示的结构，开发了一种适用于一大类混合态（包括束缚通用态）的Clifford电路高效仿真协议。
• 结果表明，非负的Wigner函数值是高效经典仿真充分条件，而负性则是通过蒸馏实现通用量子计算的必要条件。
• 该框架表明，Wigner表示中负性的出现标志着非经典资源的阈值，从而实现容错量子优势。