Microscopic QED origin of spin entanglement

技術要約：スピンもつれの微視的なQED的起源

問題提起
量子もつれ（量子エンタングルメント）は量子情報科学において基礎的である一方、その生成はしばしば粗視化された有効ハミルトニアンや現象論的なノイズモデルを用いて記述される。これらのアプローチは、基礎となる微視的な物理過程、具体的には量子電磁力学（QED）における散乱プロセスと、結果として生じるもつれダイナミクスとの直接的なつながりをしばしば不明瞭にしている。局在化したフェルミオン・スピン、特に媒介粒子が相関にどのように影響を与えるかを含め、もつれが基礎的な場の理論的相互作用からどのように創発するかを説明する、完全な微視的導出が必要とされている。

手法
著者は、量子化された電磁場に結合した局在フェルミオン波束を含む、QED散乱プロセスから直接、有効スピン・ハミルトニアンを構築する。手法は以下のように進行する。

1. 定式化： 本研究では、もつれた系の相関的な進化を記述するために拡張された、修正量子ボルツマン方程式（QBE）の枠組みを利用する。このアプローチは、弱な系-環境相互作用を扱うためにボルン・マルコフ近似を取り入れ、プロパゲーターレベルの構造を自然に包含している。
2. 場の積分： 減少したスピンの自由度に関する簡約ダイナミクスを導出するために、光子場および中間的なフェルミオン媒介場を積分（トレースアウト）する。
3. 散乱解析：
   • 2量子ビット・ケース： 2つの局在スピン（AおよびB）間の相互作用は、単一の仮想光子交換を介してモデル化される。有効相互作用ハミルトニアンは、時間順序付き進化演算子における光子場のウィック収縮によって導出される。
   • 3量子ビット・ケース： フレームワークを、2つのバス・スピン（B1, B2）が中間的なフェルミオン媒介体（A）と逐次的に相互作用するセットアップへと拡張する。これには、媒介体が2つの相互作用頂点の間に伝播するプロセスの振幅の計算が含まれる。
   • Nスピンへの拡張： 単一の媒介体が集合的なバス・スピンに結合するNスピン系へと構成を一般化し、摂動次数のスケーリングと図式的因子分解を分析する。
4. もつれの定量化： 簡約密度行列のダイナミクスを解析的に解く。もつれは、部分転置された密度行列の固有値から計算される**ネガティビティ（Negativity）**を用いて定量化される。

主要な貢献および結果

• 有効スピン・ハミルトニアンの導出：

  • 直接相互作用（A–B）： 光子交換を介して相互作用する2つの量子ビットについて、非相対論的領域において、著者はテンソル双極子構造を持つ有効スピン・スピン・ハミルトニアン（$H_{SS}$）を導出する。この相互作用は漸近的に $R^{-3}$ で減衰する。ハミルトニアンは以下の異方的なXXZ相互作用の形式をとる：
    $$H_{SS} = \Gamma_{SS}(R) (\sigma_A^x \sigma_B^x + \sigma_A^y \sigma_B^y - 2\sigma_A^z \sigma_B^z)$$
    ここで $\Gamma_{SS}(R) \propto R^{-3}$ である。
  • 媒介相互作用（B1–A–B2）： 媒介フェルミオンとの逐次的な交換を介して相互作用する2つのバス・スピンについて、有効相互作用は異方的であり、$R^{-4}$ に比例してより急速に減衰することが判明した。媒介体スピンは、簡約ハミルトニアンにおける動的な自由度としては現れず、代わりに仮想的なチャネルとして機能する。得られるハミルトニアンは以下の通りである：
    $$H_{B1B2} = J(R) [(\sigma_{B1} \cdot \hat{R})(\sigma_{B2} \cdot \hat{R}) - \sigma_{B1} \cdot \sigma_{B2}]$$
    ここで $J(R) \propto R^{-4}$ である。

• もつれダイナミクス：

  • 2量子ビット・ケースでは、双極子相互作用が $|\uparrow\downarrow\rangle$ と $|\downarrow\uparrow\rangle$ の状態（単一励起部分空間）間のコヒーレントな占有数移動を生成し、全スピン投影を保存する。分離可能な状態から出発すると、システムは特定の時刻 $t = \pi / (8\Gamma_{SS}(R))$ において、最大もつれ状態（局所的にベル状態と等価）へと進化する。達成される最大ネガティビティは $N_{max} = 1/2$ である。
  • 媒介型の3量子ビット・ケースでは、媒介体は（考慮された摂動次数において）もつれていない（分離可能である）。それはバス・スピン間の有効な相互作用を誘起し、バス部分系内のみにのみもつれを生成する。最大もつれに達するまでの時間は $t_{max} \propto R^4$ とスケーリングする。

• Nスピン・ネットワーク：

  • 共通の媒介体に結合するN個のバス・スピンへの拡張により、有効ダイナミクスは完全結合された異方的なXYスピン・ネットワークへと還元される。
  • 光子プロパゲーターのガウス性と連結図の因子分解により、高次の多体相関は主要な摂動次数において抑制される。有効相互作用はペアワイズ項によって支配される：
    $$H_{eff}^{(N)} = \sum_{i<j} J_{ij} (\sigma_{Bi}^x \sigma_{Bj}^x + \sigma_{Bi}^y \sigma_{Bj}^y)$$
    このネットワークは、システム全体にわたる多体系もつれの生成をサポートする。

意義および主張
本論文は、基礎的なQED散乱振幅と有効スピンモデルとの間の隔たりを埋める、もつれ生成の完全に微視的な理解を提供することを主張している。光子および媒介場を明示的に積分除去することにより、著者は以下のことを実証している：

1. もつれは、現象論的なパラメータを必要とせず、交換されるプロパゲーターのテンソル構造から自然に生じる。
2. もつれを生成する相互作用の空間的減衰は、媒介メカニズムに決定的に依存する：直接的な光子交換は $R^{-3}$ の減衰をもたらし、フェルミオン媒介体を介した逐次交換は $R^{-4}$ の減衰をもたらす。
3. 媒介粒子は「仮想チャネル」として機能し、自身がシステムともつれることなく、遠方のスピン間に相関を転送し、有効な相互作用を誘起することができる。
4. この枠組みにより、散乱中心の空間配置と相対的な向きを変えることで、有効結合（Ising、XX、Heisenberg型）を調整することが可能である。

本研究は、相対論的な場を介した相互作用と量子相関のダイナミクスの間の直接的な繋がりを確立しており、複雑な量子系をモデリングするための厳密な基礎を提供するものである。