[論文レビュー] 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.

研究の動機と目的

• マジック状態理論におけるリソースモノトンとして安定化子エントロピーの利用を動機付ける。
• 純状態に対する安定化子エントロピー M_α の整数 α≥2 に関するモノトン性を安定化子プロトコル下で確立する。
• 純状態に対する線形安定化子エントロピー M_α^lin は強モノトンであることを示す。
• 凸屋根構成による混合状態への拡張を行い、モノトン性を証明する。
• マジックの定量化への含意と、混合状態の状況への潜在的拡張について論じる。

提案手法

• パウリ演算子の重なりから導かれる P_α(ψ) の α-Rényi エントロピーとして安定化子エントロピー M_α を定義する。
• 確定的な純状態安定化子プロトコルと状態分解を分析して純状態に対する単調性を証明する。
• 凸分解界を確立することにより、線形安定化子エントロピー M_α^lin が強モノトンであることを示す。
• 混合状態の凸屋根拡張を、純状態分解を最大化して得られる拡張を導出し、安定化子プロトコル下でのモノトン性を保存する。
• 拡張安定化子エントロピー M̂_α および M̂_α^lin がすべての α≥2 に対してモノトンであること、そして M̂_α^lin が強モノトンであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 整数 α≥2 を持つ安定化子エントロピー M_α は、純状態に限定した場合、魔法状態資源理論のモノトンとして機能するか？
• RQ2 線形安定化子エントロピー M_α^lin は安定化子プロトコル下で強モノトンか？
• RQ3 安定化子エントロピーを混合状態へ拡張して、安定化子操作下でのモノトン性を保つことができるか？
• RQ4 この枠組みで、安定化子エントロピーと他のマジックモノトン（頑健性、最小相対エントロピー、安定化子広がり）との関係は何か？

主な発見

• 安定化子エントロピー M_α は任意の整数 α≥2 に対して純状態マジックモノトンである。
• 線形安定化子エントロピー M_α^lin は任意の整数 α≥2 に対して強マジックモノトンである。
• 凸屋根拡張は、α≥2 でモノトン性を保つ拡張安定化子エントロピー M̂_α および M̂_α^lin をもたらし、さらに M̂_α^lin は強モノトンでもある。
• M_α および M_α^lin はクリフォードユニタリに不変であり、安定化子状態に対してのみゼロとなり、M_α=1/(1−α) log(1−M_α^lin) の関係を保ち、運用的解釈を反映している。
• 拡張された（混合状態）エントロピーは、多体文脈における混合状態のマジックを分析する実用的な道筋を提供する。