[論文レビュー] Arboreal Bound Entanglement

Alastair Kay|arXiv (Cornell University)|Aug 13, 2010

Quantum Computing Algorithms and Architecture参考文献 31被引用数 6

ひとこと要約

本稿は、グラフ対角状態、特に木構造グラフの熱状態のもつれ構造を調査し、このような系において完全分離可能性の閾値が、正の部分転置（PPT）閾値とちょうど一致することを確立する。パウリ基底のねじりと次数1の頂点の利用を通じて、改善された分離可能な分解を構築することで、著者らはもつれがすべての二部分割がPPTになる瞬間に正確に消滅することを証明し、木構造ハミルトニアンの完全なもつれ構造を解明した。

ABSTRACT

In this paper, we discuss the entanglement properties of graph-diagonal states, with particular emphasis on calculating the threshold for the transition between the presence and absence of entanglement (i.e. the separability point). Special consideration is made of the thermal states of trees, including the linear cluster state. We characterise the type of entanglement present, and describe the optimal entanglement witnesses and their implementation on a quantum computer, up to an additive approximation. In the case of general graphs, we invoke a relation with the partition function of the classical Ising model, thereby intimating a connection to computational complexity theoretic tasks. Finally, we show that the entanglement is robust to some classes of local perturbations.

研究の動機と目的

• 木構造グラフの熱状態におけるもつれが消滅する正確な温度閾値を特定すること、特に多粒子系を対象とする。
• 存在するもつれの種類を特徴づけること、具体的には非蒸留可能なが非分離的である状態を特定すること。
• グラフ対角状態、特に熱雑音モデルに焦点を当て、最適なもつれ見分けを構築し、加法的近似による量子計算での実装可能性を示すこと。
• 星型グラフから任意の木構造への技術の一般化を行い、従来の手法を上回る分離可能分解の境界を改善すること。
• グラフ状態におけるPPTと完全分離可能性の関係を明確にし、木構造グラフでは両者が一致することを示すこと。

提案手法

• 安定化子形式を用いてグラフ対角状態を表現し、部分転置（PPT）基準を用いてもつれを分析する。
• パウリ基底の「ねじり」を適用して密度行列の項を再表現し、複数のキュービットで異なる項の数を減らすことで、より効率的な分離可能分解を可能にする。
• 木構造グラフに存在する次数1の頂点を活用し、ちょうど2つのサイトで異なる安定化子積のペアを生成することで、特異値分解に類似した技術を用いた改善された分解を実現する。
• 基底変換後にちょうど1つのサイトで異なる項をグループ化することで、明示的な分離可能分解を構築し、分離可能性に必要なパラメータαを4から2√2に削減する。
• Dohertyらの数値的・解析的技術を用いて、分離可能性の最もタイトな境界を特定することで最適なもつれ見分けを導出する。
• 問題を古典的イジング模型の分配関数にマッピングすることで、一般のグラフにおける計算複雑性と関連を付ける。

実験結果

リサーチクエスチョン

• RQ1 木構造グラフの熱状態におけるもつれはどの温度で消滅し、それはPPT閾値と一致するか？
• RQ2 グラフ対角状態に対して完全に分離可能な分解を構築可能か？ その結果得られる境界はPPT条件と比べてどの程度タイトか？
• RQ3 このような状態に対して最適なもつれ見分けをどのように導出し、量子コンピュータ上で加法的誤差で近似可能か？
• RQ4 グラフのどの構造的特徴（例：次数1の頂点）が改善された分離可能分解を可能にするか？
• RQ5 もつれはどの程度局所的摂動に対して頑健か？ これはグラフの位相構造とどのように関係するか？

主な発見

• 木構造グラフの熱状態では、すべての二部分割がPPTである瞬間に状態が完全に分離可能となり、PPT閾値が完全分離可能性閾値とちょうど一致する。
• グラフの局所的構造を活用するパウリ基底のねじり技術により、分離可能分解の境界がα ≥ 4からα ≥ 2√2 ≈ 2.828に改善された。
• α ≥ 2√2の範囲で有効な分離可能分解が構築可能であり、もつれがこの値まで持続し、それ以上では消滅することを示した。
• 数値的証拠と既存の見分け技術の修正により、2 ≤ α < 2√2の範囲で状態がもつれていることが確認され、これが正確な閾値であることが立証された。
• 導出された最適なもつれ見分けは、熱雑音領域における手作業の見分けよりも強く、加法的誤差で量子コンピュータ上で近似可能である。
• 解析により、これらの系におけるもつれが特定の局所的摂動に対して頑健であることが示された。特に、グラフの木構造が保たれる摂動に対して顕著である。