[論文レビュー] Quantum Markov Networks and Commuting Hamiltonians

Winton Brown, David Poulin|arXiv (Cornell University)|Jun 4, 2012

Quantum many-body systems参考文献 25被引用数 13

ひとこと要約

この論文は、三角形を含まないグラフ上の局所的に可換なハミルトニアンのギブス状態と正の量子マルコフネットワークの間で正確な同値性を確立し、このような状態がハミルトニアンの項が可換である場合にのみ生じることを証明している。さらに、三角格子上では、対応する可換ハミルトニアンが存在しない正の量子マルコフネットワークが存在することを示し、可換ハミルトニアンと一般の局所的ハミルトニアンの中間的な複雑性を持つハミルトニアンのクラスを特定している。

ABSTRACT

Quantum Markov networks are a generalization of quantum Markov chains to arbitrary graphs. They provide a powerful classification of correlations in quantum many-body systems---complementing the area law at finite temperature---and are therefore useful to understand the powers and limitations of certain classes of simulation algorithms. Here, we extend the characterization of quantum Markov networks and in particular prove the equivalence of positive quantum Markov networks and Gibbs states of Hamiltonians that are the sum of local commuting terms on graphs containing no triangles. For more general graphs we demonstrate the equivalence between quantum Markov networks and Gibbs states of a class of Hamiltonians of intermediate complexity between commuting and general local Hamiltonians.

研究の動機と目的

• 正の量子マルコフネットワークが局所的に可換なハミルトニアンのギブス状態と同値であるかどうかを特定すること。
• 特に三角形の有無が、量子マルコフネットワークの構造に与える影響——つまりグラフの位相的性質——が果たす役割を調査すること。
• 条件付き独立性の下でのグローバル可換性（シールド可換性）が、局所的可換ハミルトニアンを意味するのか、あるいは非局所的障害を許容するのかを検討すること。
• 量子マルコフネットワーク、面積則、および量子多体系におけるレノルマル化群の不動点との関係を明確にすること。
• 非可換ハミルトニアンを介してのみ実現可能な量子相の物質が、依然としてマルコフ条件を満たすかどうかを評価すること。

提案手法

• 境界によって分離された領域間の条件付き相互情報量が消えることにより、量子マルコフネットワークを定義する。
• 量子系におけるハマーслиー＝クランフォード型定理を用い、マルコフネットワークを局所的ハミルトニアンのギブス状態に関連付ける。
• 三角形クリークを含む・含まないグラフ上で作用するハミルトニアンの構造を、演算子の可換関係を用いて分析する。
• 三角格子上での明示的反例を構築し、すべての正の量子マルコフネットワークが可換ハミルトニアンのギブス状態として表現できるわけではないことを示す。
• 粗粒度化と局所的自由度の再定義を適用して、非可換モデルを局所的に可換なモデルに変換し、大規模な障害が存在しないことを示す。
• 量子誤り訂正やトポロジカルオーダー（例：キタエフのトーリックコード）の結果を活用し、マルコフネットワーク内の因子分解および非局所的構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 正の量子マルコフネットワークと局所的に可換なハミルトニアンのギブス状態との間に同値性が存在するか？
• RQ2 三角形クリークがそのような同値性を妨げる役割を果たすのはどのような理由からか？
• RQ3 局所的には可換でないが、シールド可換性を満たすハミルトニアンが、量子マルコフネットワークを生じる可能性はあるか？
• RQ4 粗粒度化されたネットワーク上のすべてのギブス状態がマルコフ条件を満たすのか。これは、それらの状態の一般性を示唆するか？
• RQ5 シールド可換性を満たす非可換ハミルトニアンが、長距離もつれを伴わない新しい量子相を表現できるか？

主な発見

• 三角形セルを含まないグラフ上では、正の量子マルコフネットワークと局所的に可換なハミルトニアンのギブス状態との完全な同値性が確立された。
• 三角格子上では、任意の局所的に可換なハミルトニアンのギブス状態として表現できない正の量子マルコフネットワークが存在する。
• 第III.3節の例は、2次元格子上での非可換ハミルトニアンが、自由度の局所的再定義によって局所的に可換なハミルトニアンに変換可能であることを示しており、可換性に大規模な障害が存在しないことを示唆している。
• この結果は、サイクルフリーなグラフに関する以前の知見を一般化し、より広いクラスのグラフへと同値性を拡張している。
• このような非可換モデルの存在は、可換ハミルトニアンと一般の局所的ハミルトニアンの中間的な複雑性を持つハミルトニアンのクラスを示唆している。
• この知見は、十分に粗粒度化されたネットワーク上のギブス状態において、量子マルコフネットワークが一般的な性質を有することを支持しており、面積則のスケーリングと整合的である。