Entanglement entropy in two-particle Grover walks on graphs

技術要約：グラフ上の2粒子グローバーウォークにおけるもつれエントロピー

問題提起
本論文は、任意の連結グラフ上における、同一粒子を含む離散時間2粒子量子ウォークのダイナミクスを扱う。単一粒子の量子ウォークは十分に研究されているが、多粒子系は粒子の区別不可能性、交換対称性、および量子もつれに関する複雑さを導入する。中心的な課題は、同一粒子のための時間発展演算子を、量子力学の基本要件である粒子交換に対する不変性（ボソンのための対称性、またはフェルミオンのための反対称性）を満たすように定義することである。さらに、著者らはこのような系におけるもつれエントロピーの生成について調査し、系が（理論的な上限に達する）最大もつれ状態へと進化するための条件を探索している。

手法
著者らは、「グラフ $G$ 上の2粒子ヒルベルト空間」と「クロネッカー積グラフ $G \otimes G$ 上の1粒子ヒルベルト空間」の間の同型写像に基づいた、2粒子グローバーウォークの構成を提案している。

1. グラフ理論的構成: 局所的なポテンシャルや独立した単一粒子のテンソル積を介して相互作用を定義する代わりに、著者らは $G \otimes G$ 上の1粒子グローバーウォーク $\mathcal{U}$ を用いて、$G$ 上の2粒子ウォーク $U$ を定義する。線形同型写像 $R$ は、テンソル積空間 $H^{(2)}(G)$ を $G \otimes G$ の単一粒子空間へと写像する。
2. 対称性の検証: 同一粒子の性質として、ウォークが粒子の区別不可能性を尊重することを保証するために、時間発展演算子 $U$ はスワップ演算子 $P$ と可換でなければならない。著者らは代数的グラフ理論を利用してこれを証明する。写像 $g(x, y) = (y, x)$ がクロネッカー積グラフ $G \otimes G$ の自己同型写像であることを示す。グローバーウォークの時間発展がグラフの自己同型と可換であるという性質を利用することで、著者らは $U$ が $P$ と可換であることを証明し、これによりボソンおよびフェルミオンの状態に対する対称性の要件を満たしていることを示した。
3. もつれ解析: もつれエントロピー $S(\psi)$ は、状態 $\psi$ に関連する振幅行列 $\Psi$ の固有値を通じて定義される。このエントロピーの上限は $\log(2|E|)$ である（ここで $|E|$ は $G$ のエッジ数）。この上限に達するための条件は、行列 $\Psi\Psi^*$ が単位行列に比例することである。
4. 特定のケーススタディ: 著者らはこのフレームワークを完全二部グラフ $K_{n,n}$ に適用する。彼らは $K_{n,n}$ のスペクトル特性、および $K_{n,n}$ 上のグローバーウォークが4周期性（$U^4 = I$）を持つという事実を利用して、初期時刻 $\tau = 0, 1, 2, 3$ における状態の進化と振幅行列を明示的に計算する。

主な貢献および結果

• 定理 1.1 (可換性): 本論文は、任意のグラフ $G$ 上の2粒子グローバーウォークの時間発展演算子がスワップ演算子と可換であることを確立した。これにより、提案された $G \otimes G$ を介した構成が、アドホックな制約を課すことなく、同一粒子の交換対称性を自然に満たしていることが確認された。
• 定理 1.2 および 定理 4.5 ( $K_{n,n}$ 上の最大もつれ): 著者らは、特定の対称的または反対称的なエッジベースの初期状態から始まる完全二部グラフ $K_{n,n}$ 上の2粒子グローバーウォークが、あるタイムステップにおいて最大もつれエントロピーを達成する $n$ の値を完全に決定した。
  • エントロピーがその上限に達するのは、$n = 1$ または $n = 2$ の場合のみである。
  • $n=1$ ($K_{1,1}$) の場合: 系はすべてのタイムステップにおいて最大にもつれている。
  • $n=2$ ($K_{2,2}$) の場合: 系はタイムステップ $\tau \equiv 2 \pmod 4$ の場合に限り、最大もつれに達する。
  • $n \ge 3$ の場合: エントロピーはいかなるタイムステップにおいても上限に達することはない。
• 明示的な状態進化: 本論文は、$K_{n,n}$ における最初の数ステップの量子状態 $\psi_\tau$ とそれに対応する振幅行列の明示的な公式を提供し、$\Psi\Psi^*$ の対角成分の直接計算を通じて、$n \ge 3$ で上限に達しないことを検証している。

意義および主張
本論文の主要な貢献は、クロネッカー積グラフの対称性を通じて、粒子の区別不可能性を本質的に尊重する2粒子グローバーウォークを厳密に定義したことにあると著者らは主張している。多粒子ダイナミクスを $G \otimes G$ 上の単一粒子ダイナミクスに結びつけることで、局所的な相互作用や非相互作用のテンソル積とは異なる、グローバルな相互作用が自然に創発するフレームワークを提供している。

もつれに関して、著者らは、システムが最大もつれを生成できる一方で、その能力はグラフ構造に強く依存することを実証している。特定の完全二部グラフのファミリーに関しては、最大もつれは極めて稀な現象であり、最小のインスタンス（$n=1, 2$）においてのみ発生する。著者らは、直接的な計算手法は $K_{n,n}$ のような周期的なグラフにはうまく機能するが、任意のグラフに一般化することは困難であると述べている。今後の研究は、エントロピーの上限を予測するための、グラフの固有値に基づく解析的手法や必要条件を見出すことに焦点を当てるべきであると示唆しており、最大もつれ、周期性、および完全状態転送を示すグラフ（例：$K_{1,1}, K_{2,2}$, およびパスグラフ $P_5$）の間に観察された相関についても言及している。