[論文レビュー] Phase transition in Stabilizer Entropy and efficient purity estimation

Lorenzo Leone, Salvatore F. E. Oliviero+2 more|arXiv (Cornell University)|Feb 15, 2023

Quantum Computing Algorithms and Architecture参考文献 56被引用数 5

ひとこと要約

本稿では、安定化子エントロピー（SE）における相転移を導入することで、高にエンタングルされた量子状態の純度推定を効率的に行う手法を提案する。Clifford操作を用いてSEを部分系に局在化させることで、従来のアルゴリズムと比較して指数的高速化を達成し、非Cliffordゲートの数がO(log n)のとき、多項式的リソースで指数的に小さい純度を推定可能となる。

ABSTRACT

Stabilizer Entropy (SE) quantifies the spread of a state in the basis of Pauli operators. It is a computationally tractable measure of non-stabilizerness and thus a useful resource for quantum computation. SE can be moved around a quantum system, effectively purifying a subsystem from its complex features. We show that there is a phase transition in the residual subsystem SE as a function of the density of non-Clifford resources. This phase transition has important operational consequences: it marks the onset of a subsystem purity estimation protocol that requires $poly(n)exp(t)$ many queries to a circuit containing $t$ non-Clifford gates that prepares the state from a stabilizer state. Then, for $t=O(\log_2 n)$, it estimates the purity with polynomial resources and, for highly entangled states, attains an exponential speed-up over the known state-of-the-art algorithms.

研究の動機と目的

• エンタングルメントと非安定化性のため、古典的にシミュレートが困難な非安定化子量子状態における純度推定の非効率性に対処すること。
• 効率的に処理可能な安定化子形式が、エントロピー移動を介して非安定化子状態を単純化できるかを検討すること。
• 指数的に小さい純度を持つ状態に対しても効率的な純度推定を可能にするプロトコルの開発。
• 非Clifford資源の拡散と局在化のバランスによって駆動される安定化子エントロピーにおける相転移を特定すること。
• SEの局在化と量子状態特徴付けタスクにおける指数的高速化との関係を確立すること。

提案手法

• Clifford操作を用いて、ターゲット部分系から参照部分系へ安定化子エントロピー（SE）を移動させ、ターゲットを「冷却」し、構造を単純化する。
• 元の状態ψ_tを対角化ユニタリWを介して写像する洗浄アルゴリズムを用いて、安定化子状態ρを構築し、全SEを保存する。
• ρの周辺状態の純度を測定することで、ターゲット部分系ψ_Eの純度を推定する。測定回数はO(n³)であり、安定化子状態に対しては効率的である。
• スワップテストから導かれる境界を適用する：下界∣Pur(ρ_X) ≤ Pur(ψ_E)∣および上界∣Pur(ψ_E) ≤ d_Y² Pur(ρ_X)∣、ここでd_Y = 2^t かつ t = O(log n)。
• 上界を活用して、真の純度が指数的に小さい場合でも、多項式的リソースのみでPur(ψ_E) = 2^{-αn + O(log n)}を推定可能である。
• SEの相転移を診断に用いる：非Clifford資源が局在化している場合、プロトコルは指数的高速化を達成する。一方、拡散している場合、利点を提供しない。

実験結果

リサーチクエスチョン

• RQ1 非Clifford資源密度の関数として安定化子エントロピーにおける相転移が存在するか。その運用的影響は何か。
• RQ2 Clifford操作を用いて安定化子エントロピーを部分系に局在化させ、そうでなければ扱いにくい状態の純度推定を可能にすることができるか。
• RQ3 非Cliffordゲートの数がO(log n)のとき、純度推定に必要なリソースのスケーリングは何か。また、既知のアルゴリズムと比較して指数的高速化が達成されるか。
• RQ4 SEの局在化と拡散の相互作用は、量子複雑性および情報スクラッチングとどのように関係するか。
• RQ5 SE洗浄プロトコルは、時間発展状態へ一般化可能か。また、エラー訂正や熱力学などの他の量子情報タスクへ応用可能か。

主な発見

• 非Clifford資源密度の関数として安定化子エントロピーにおける相転移が観測され、局在化相と脱局在化相の間の遷移を示す。
• t = O(log n)（非Cliffordゲート数）のとき、プロトコルはターゲット状態の純度をPur(ψ_E) = 2^{-αn + O(log n)}として多項式的リソースで推定可能である。
• 真の純度が指数的に小さい場合、既知のアルゴリズムと比較して、プロトコルは指数的高速化を達成する。
• 下界∣Pur(ρ_X) ≤ Pur(ψ_E)∣により、局在化相では多項式的測定回数で純度を解像可能であることが保証される。
• 上界∣Pur(ψ_E) ≤ d_Y² Pur(ρ_X)∣（d_Y = 2^t = poly(n)）により、多項式的測定回数のみで指数的に小さい純度を推定可能である。
• プロトコルの成功は、非Clifford資源が閉じ込められた局在化相に依存しており、この状態では安定化子形式による効率的処理が可能となる。