[论文解读] Stabilizer entropies are monotones for magic-state resource theory

Lorenzo Leone, Lennart Bittel|arXiv (Cornell University)|Apr 17, 2024

Neural dynamics and brain function被引用 6

一句话总结

作者证明整数 Rényi 指数 α≥2 的稳定子熵在纯态的魔法态资源理论中为单调量，线性稳定子熵作为强单调量，并通过凸壳构造将这些熵扩展到混态。

ABSTRACT

Magic-state resource theory is a powerful tool with applications in quantum error correction, many-body physics, and classical simulation of quantum dynamics. Despite its broad scope, finding tractable resource monotones has been challenging. Stabilizer entropies have recently emerged as promising candidates (being easily computable and experimentally measurable detectors of nonstabilizerness) though their status as true resource monotones has been an open question ever since. In this Letter, we establish the monotonicity of stabilizer entropies for $α\geq 2$ within the context of magic-state resource theory restricted to pure states. Additionally, we show that linear stabilizer entropies serve as strong monotones. Furthermore, we extend stabilizer entropies to mixed states as monotones via convex roof constructions, whose computational evaluation significantly outperforms optimization over stabilizer decompositions for low-rank density matrices. As a direct corollary, we provide improved conversion bounds between resource states, revealing a preferred direction of conversion between magic states. These results conclusively validate the use of stabilizer entropies within magic-state resource theory and establish them as the only known family of monotones that are experimentally measurable and computationally tractable.

研究动机与目标

• 将稳定子熵作为资源单调量在魔法态理论中的应用作为动机。
• 建立在纯态下整数 α≥2 的稳定子熵 M_α 在稳定子协议下的单调性。
• 证明线性稳定子熵 M_α^lin 是纯态的强单调量。
• 通过凸壳构造将稳定子熵扩展到混态并证明单调性。
• 讨论在量化魔法和混态情景的潜在扩展中的意义。

提出的方法

• 将稳定子熵 M_α 定义为通过 Pauli 运算符重叠得到的稳定子分布 P_α(ψ) 的 α-Rényi 熵。
• 通过分析确定性纯态稳定子协议和态的分解来证明纯态的单调性。
• 通过建立凸分解界限来证明线性稳定子熵 M_α^lin 是强单调量。
• 通过对纯态分解的最大化来导出混态的凸壳扩展以获得扩展的 M̂_α，并保持在稳定子协议下的单调性。
• 证明扩展的稳定子熵 M̂_α 与 M̂_α^lin 在所有 α≥2 下都是单调量，且 M̂_α^lin 也是强单调量。

实验结果

研究问题

• RQ1 当仅限于纯态时，整数 α≥2 的稳定子熵 M_α 是否在魔法态资源理论中作为单调量？
• RQ2 线性稳定子熵 M_α^lin 是否在稳定子协议下为强单调量？
• RQ3 在保持对稳定子操作的单调性的前提下，稳定子熵能否扩展到混态？
• RQ4 在本框架中，稳定子熵与其他魔法单调量（鲁棒性、最小相对熵、稳定子势等）之间的关系如何？

主要发现

• 稳定子熵 M_α 在每个整数 α≥2 下是纯态的魔法单调量。
• 线性稳定子熵 M_α^lin 在每个整数 α≥2 下是强魔法单调量。
• 凸壳扩展得到的扩展稳定子熵 M̂_α 与 M̂_α^lin 在 α≥2 下仍然是稳定子协议的单调量，且 M̂_α^lin 也是强单调量。
• M_α 与 M_α^lin 在克里福场单位（Clifford 单位）不变且仅对稳定子态为零，并且它们之间存在关系 M_α=1/(1−α) log(1−M_α^lin)，反映了它们的操作解释。
• 扩展的（混态）熵为在多体背景下分析混态情景中的魔法提供了一个实际路径。