Graph Structures for Local Distinguishability of Quantum Product States

技術要約：量子積状態の局所的識別におけるグラフ構造

問題提起
本論文は、直交量子積状態の集合を局所演算および古典通信（LOCC）を用いて識別するという根本的な問題に取り組んでいる。もつれ（エンタングルメント）は非局所性と関連付けられることが多いが、ある種の直交する量子積状態の集合は、グローバルな測定では識別可能であるにもかかわらず、LOCCでは完全に識別できないという現象（「エンタングルメントのない量子非局所性」）が存在する。

近年の研究では、グラフ理論を用いて、一方向のLOCC（例えば、アリスが測定した後にボブが測定する形式）によって識別可能な積状態の集合を特徴付けている。この枠組みにおいて、直交関係は二者のためのグラフ $G_A$ および $G_B$ を定義する。ある状態の集合が一方向LOCC（アリス・ファースト）で識別可能であるための条件は、グラフ $G$ が存在して $G_A \leq G \leq G_B$ かつ $G$ が弦グラフ（chordal graph）であることである。

しかし、双方向の通信（複数のラウンドの測定を行う形式）を伴う完全なLOCCによる識別条件については、グラフ理論による包括的な特徴付けがなされていなかった。著者らは、次のような中心的な問いを提示している。二部積状態の直交関係を表すグラフのペア $(G_A, G_B)$ が与えられたとき、グラフ理論を用いて、その集合が完全なLOCCで識別可能かどうかを判定できるか？

手法
著者らは、グラフ理論的枠組みを、一方向LOCCから完全なLOCCへと拡張している。彼らは、単純な有限グラフ $G$ の集合を $\mathcal{G}$ と定義する。ここで $\mathcal{G}$ は、$G_A, G_B$ を満たすすべての二部積状態の集合（これらはグラフ $G_A, G_B$ によって表される）が、有限ステップのLOCCで識別可能であるようなグラフ $G$ の集まりである。

手法は以下の通りである：

1. 識別可能なグラフの定式化： 識別可能なグラフの集合 $\mathcal{G}$ と、その部分集合である $\mathcal{G}_0$（積測定のみによる識別）および $\mathcal{G}_1$（一方向LOCCによる識別）を定義する。
2. 構造解析： 様々なグラフ演算（補グラフ、離散和、ジョイン、誘導部分グラフ、およびクリーク和）に対する集合 $\mathcal{G}$ の閉包性を調査する。
3. 反例と境界： 特定の積状態の集合（非拡張積基底を含む）を構成することで、$\mathcal{G}$ に含まれないグラフを実証する。具体的には、サイクルグラフ $C_n$（$n \geq 5$）を分析する。
4. プロトコルの構成： 測定木（measurement trees）と「G保存的（G-preserving）」な測定（グラフの直交構造を維持する測定）を用いて、特定のグラフ演算が識別性を保持することを証明する。

主な貢献と結果

• 部分集合の特性付け：

  • $\mathcal{G}_0$（積測定）は、スプリットグラフ（頂点をクリークと独立集合に分割できるグラフ）として特定される。
  • $\mathcal{G}_1$（一方向LOCC）は、弦グラフとして特定され、これにより先行研究が確認・拡張されている。

• サイクルの除外：

  • $n \geq 5$ の任意の $n$ について、サイクルグラフ $C_n$ は $\mathcal{G}$ に属さないことを著者らは証明している。これは、関連するグラフが $C_n$ となる非拡張積基底（UPB）を構成することによって示される。UPBは分離可能な測定（separable measurements）によってさえ識別できないため、$C_n \notin \mathcal{G}$ である。

• $\mathcal{G}$ の閉包性：
  $\mathcal{G}$ は以下の性質を持つ：

  • 補グラフ： $G \in \mathcal{G}$ ならば、$\bar{G} \in \mathcal{G}$ である。
  • 離散和（Disjoint Unions）： $G_1, G_2 \in \mathcal{G}$ ならば、$G_1 \sqcup G_2 \in \mathcal{G}$ である。
  • ジョイン（Joins）： $G_1, G_2 \in \mathcal{G}$ ならば、$G_1 \vee G_2 \in \mathcal{G}$ である。
  • 誘導部分グラフ： $G \in \mathcal{G}$ であり、$H$ が $G$ の誘導部分グラフであるならば、$H \in \mathcal{G}$ である。
  • エッジ保存的クリーク和（Edge-Preserving Clique Sums）： もしグラフ $G$ が、グラフ $G_1, \dots, G_r \in \mathcal{G}$ の中のクリークを同一視することによって形成されるならば、$G \in \mathcal{G}$ である。

• 非閉包性：

  • $\mathcal{G}$ は、テンソル積や直積（Cartesian product）については閉じていない。例えば、$K_2 \times K_3$ と $K_2 \square K_3$ は共に $C_6$ を導くが、$C_6$ は $\mathcal{G}$ に含まれない。

• 既知のグラフクラスとの関係：

  • $\mathcal{G}$ は、コグラフ（誘導 $P_4$ を持たないグラフ）を含む。
  • $\mathcal{G}$ は、弱弦グラフ（weakly chordal graphs）（グラフ自体およびその補グラフのいずれも、誘導サイクル $C_n$ ($n \geq 5$) を含まないグラフ）の真の部分集合である。著者らは、弱弦グラフでありながら $\mathcal{G}$ には含まれないグラフの例を提示しており、弱弦グラフであるという条件は必要ではあるが十分ではないことを示している。

意義と主張
本論文は、二部系における一方向から完全な二方向LOCCへのグラフ理論的アプローチの拡張に関する「最初の包括的な試み」であると主張している。その主要な意義は以下の通りである：

1. 識別可能なグラフの集合 $\mathcal{G}$ を定義し、その基本的な構造的性質（閉包性と非閉包性）を確立したこと。
2. 有限ステップの二方向プロトコル下での局所的識別性を保証する具体的なグラフ構造に関する、初の重要な分析を提供したこと。
3. 弦グラフが一方向の識別性を保証する一方で、完全なLOCCによる識別性を保証するグラフのクラスはより広く（コグラフやスプリットグラフを含む）、かつ弱弦グラフの中に厳密に含まれることを特定したこと。
4. グラフ構造だけでは一般的なケースの識別性を決定できない場合があるものの、特定の集合 $\mathcal{G}$ に関しては、グラフ構造がすべての対応する状態表現に対して識別性を保証するのに十分であることを強調したこと。

著者らは、本研究は新たな調査の方向性を切り開くものであると結論付けており、将来の研究として、多部系への拡張、行列補完理論との関連性の探求、および他の識別パラダイム（最小エラー識別や曖昧識別など）のためのグラフの分類などを挙げている。また、現在の研究は、完全な特徴付けを行うことではなく、基本的な閉包性を導出し、$\mathcal{G}$ を既知のクラスに関連付けることに焦点を当てていることを明記している。