[論文レビュー] 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表現における否定性の出現が、誤り耐性量子優位性を可能にする非古典的資源の閾値を示していることがわかった。