What are local complementations, really?

技術要約：スタビライザー基底のスイッチングとしての局所補完

問題提起
局所補完（local complementation）は、ある頂点 $v$ の誘導近傍をその補グラフに置き換えるグラフ操作である。量子情報理論において、この操作は基本的である。なぜなら、2つのグラフ状態が局所クリフォード（LC）操作によって互いに同値であるための必要十分条件は、それらの基礎となるグラフが局所補完の列によって同値であることだからである。この関連性はグラフ理論を通じてスタビライザー状態の研究を促進してきたが、グラフ論的な記述は、局所的な対称性や測定統計といった状態の構造的性質を不明瞭にすることが多い。また、局所補完に関する証明は技術的に煩雑になりやすい。本論文は、グラフ状態という特定のケースを超えて、局所補完およびスタビライザー状態の構造的性質を理解するための、より自然なフレームワークの必要性に取り組んでいる。

手法
本論文は、組み合わせ数学、特にブーシェ（Bouchet）によって発展したマトロイドおよびマルチマトロイドの理論に根ざしたフレームワークを採用している。核心となる手法は以下の通りである：

1. 基底（Bases）の定義： 著者は、スタビライザー状態 $|\psi\rangle$ の「基底」を、空でない部分集合が $|\psi\rangle$ のスタビライザーとならないようなフルウェイト・パウリ文字列 $B$ として定義する。物理的には、これらは完全にランダム（無相関）な結果をもたらす局所パウリ測定に対応する。
2. 基本グラフ（Fundamental Graphs）： 任意の基底 $B$ に対して、一意な「基本グラフ」 $G_B$ が構成される。$G_B$ の頂点は量子ビットであり、頂点 $v$ の閉近傍は、基本回路 $g^B_v$（$B \cup \omega_v$ に含まれる一意の非恒等スタビライザー、ここで $\omega_v$ は $v$ におけるパウリのスキュー・クラス）のサポートによって定義される。
3. スイッチング（Switching）： 論文では、基底に対する操作としての「スイッチング」を導入する。基底 $B$ と量子ビット $v$ に対して、スイッチングされた基底 $B \star v$ は、$v$ におけるエントリーのみが異なる、$B$ に隣接する一意の基底である。
4. 写像（Mapping）： 著者は写像 $B \mapsto G_B$ を確立し、基底 $B$ を $v$ でスイッチングすることが、基本グラフ $G_B$ に対して頂点 $v$ で局所補完を行うことに正確に対応することを証明する。

主要な貢献と結果

• グラフと基底の同値性： 論文は（定理 2.11）、グラフ $H$ がスタビライザー状態 $|\psi\rangle$ と局所同値であるための必要十分条件は、$H$ がある基底 $B$ の基本グラフ $G_B$ であることであることを証明している。これにより、 $|\psi\rangle$ に局所同値なグラフの集合は、その基底によって生成される基本グラフの集合と同型であることが確立される。
• 局所補完はスイッチングである： 定理 3.6 は、グラフにおける局所補完の操作が、写像 $B \mapsto G_B$ の下での基底の「スイッチング」の像に正確に一致することを実証している。具体的には、$G_{(B \star v)} = G_B \star v$ である。これは、局所補完を、固定された状態の能動的な変換としてではなく、表現（基底）の変化として再解釈するものである。
• 証明の簡略化： 基底のフレームワークは、局所同値性に関するいくつかの既知の結果の証明を簡略化する：
  • 同値類サイズの・上界： $n$ 頂点のグラフに対して、局所同値なグラフは高々 $3^n$ 個存在することを、フルウェイト・パウリ文字列が最大 $3^n$ 個であることから導く、直接的な証明を提供する（定理 4.1）。
  • 変換境界： ある局所同値なグラフを別のグラフへ変換するために必要な局所補完の回数の上界に関するスケッチを提供する（定理 4.2）。
  • 回路の性質： スタビライザー状態の任意の回路 $P$ が、グラフ状態の頂点の近傍に写像できることを証明するプロセスを簡略化する（定理 4.3）。
• スイッチンググラフ vs. LC軌道： 論文は、頂点を基底とし、エッジを単一のスイッチングで表す「スイッチンググラフ」 $S(|\psi\rangle)$ を定義する。これは、標準的な LC軌道グラフ（頂点をグラフとし、エッジを局所補完とするもの）よりも多くの情報を含んでいることを示す。LC軌道は、スイッチンググラフの「情報の欠落した（lossy）」投影であり、状態が局所クリフォード対称性を持つ場合、複数の基底が同じ基本グラフに対応する場合がある。スイッチンググラフのサイズと LC軌道のサイズの比は、（パウリを除いた）局所クリフォード対称性群のサイズに等しい。
• 頂点マイナーと測定： 頂点マイナー（局所パウリ測定によって得られる状態）の基底を、元の状態の基底を用いて特徴付ける（定理 4.12）。頂点マイナーのスイッチンググラフが、元のスイッチンググラフの誘導部分グラフに対応することを示す。これにより、測定後の状態のエンタングルメント特性を、これらの部分グラフのトポロジーを分析することによって決定することが可能になる（例：GHZ状態における絡み合いのある結果と分離された結果の区別）。

意義
本論文は、スタビライザー状態を基底とスイッチングの観点から捉えることは、グラフ状態と局所補完のみに注目することよりも、より一般的で構造的に透明な視点を提供すると主張している。マルチマトロイドの文脈において、本研究は以下の役割を果たす：

1. 概念の統一： グラフ状態、スタビライザー状態、およびマルチマトロイド理論を結びつけ、局所補完が基底スイッチングの特定の一例であることを示す。
2. 対称性の解明： グラフ表現における「情報の欠落」を、基礎となる状態の局所クリフォード対称性に明示的に結びつける。この接続は、標準的なグラフ理論的アプローチでは不明瞭である。
3. 分析の容易化： エンタングルメント、測定統計、および頂点マイナーを分析するための簡略化されたツールキットを提供し、複雑なグラフ理論的問題を、基底に関するより扱いやすい組合せ論的問題へと転換する。
4. 基礎的役割： 本論文は、量子情報へのマルチマトロイド適用の導入として機能しており、マルチマトロイドのランク関数やクリプトモルフィズム（cryptomorphisms）が、グラフ状態の形式を超えてスタビライザー状態を記述するための強力な言語を提供することを示唆している。

著者は、基底とスイッチングに関連する概念は以前の量子文献にも暗黙的に現れていたが、本研究は、これらの組合せ論的対象に対する最初の明示的な物理的解釈を提供し、それらが証明を簡略化し構造的性質を明らかにする上で有用であることを示したと強調している。