Local Operations and Field Mediated Entanglement without a Local Tensor Product Structure

技術要約：局所的なテンソル積構造を持たない局所演算と場を介したもつれ（Field Mediated Entanglement）

問題提起
量子情報理論（QIT）は、全ヒルベルト空間が局所的な部分系のテンソル積へと分解される（$\mathcal{H} = \mathcal{H}_A \otimes \mathcal{H}_B$）という、部分系の局所性に関する根本的な仮定に基づいている。この構造は、標準的な局所演算、もつれ（エンタングルメント）、および局所演算と古典通信（LOCC）の定理の定義を支えている。しかし、ゲージ理論（電磁気学や重力など）においては、物理的な状態は局所的なゲージ制約（ガウスの法則など）を満たさなければならない。これらの制約により、ゲージ不変なヒルベルト空間は、時空的に局所的なテンソル積構造へと分解することができない。その結果、標準的なQITのツール、すなわちもつれの定義やLOCC定理の適用可能性は、ゲージ理論の文脈においては定義が不明確となる。

この問題は、場を介したもつれ（FME）を通じて重力の量子性をテストしようとする最近の提案において特に重要である。これらの提案は、もし2つの質量が重力場のみを通じてもつれを生じるならば、古典的な場はLOCCを通じてもつれを生成できないという前提に基づき、その場は量子的であるはずだと主張している。しかし、重力は局所的なテンソル積構造を欠くゲージ理論であるため、これらのシナリオに対してLOCC定理を適用することの妥当性が疑問視されている。現在、テンソル積として分解できない無限次元ゲージ理論において、局所演算がどのように定義され、もつれがいかにして生成されるかについての、完全に運用可能な記述は存在しない。

手法
これらの構造的な制限に対処するため、著者らは、連続体極限における量子電磁力学（QED）の主要な特徴、特にゲージ制約によるヒルベルト空間の非分解性を捉えた、2次元格子玩具モデルを導入する。

1. モデルの構築: 著者らは、周期境界条件を持つ正方格子（$N \times N$）を定義する。各サイト $(i,j)$ には、場の自由度（位置ベクトル $q_{i,j}$ と運動量 $p_{i,j}$）があり、拡張モデルでは物質の自由度（電荷を表す量子ビット）が存在する。このモデルは離散ラグランジアンから導出されており、マクスウェル方程式やガウスの法則に類似したハミルトニアンと一連の制約条件を持つ。
2. 量子化と制約: モデルは時間ゲージ（$q^0=0$）において量子化される。物理的ヒルベルト空間は、運動学的ヒルベルト空間（これは標準的なテンソル積構造を持つ）を、ガウス的な制約（$\hat{C}_{i,j}|\psi\rangle = 0$）を満たす部分空間へと射影することによって得られる。この射影によって、局所的なテンソル積構造が破壊される。
3. 代数的分解: 局所性の概念を回復するために、著者らは領域 $A$ に対するゲージ不変な局所代数（$\mathcal{A}_A$）を構成する。彼らはこれらの代数の中心を分析し、そこにはエッジ項（境界を横切って切断された制約）が含まれている。これらの中心要素を対角化することにより、エッジモードによってラベル付けされた超選択セクターへのヒルベルト空間の分解を誘導する。
4. 2つの分解:
   • 運用的分解: 物質と場の自由度を共同で扱う。物理的ヒルベルト空間は、テンソル積の直和へと分解される（$\mathcal{H}_{phy} = \bigoplus_K \mathcal{H}_A^K \otimes \mathcal{H}_{\bar{A}}^K$）。ここで、$K$ はエッジモード（超選択セクター）をラベル付けする。各セクター内では、標準的な局所テンソル積構造が回復される。
   • スプリット分解: 物質と場を個別に扱う。これは、場の状態が物質の構成にどのように依存するかを明示的に示し、物質と場の間のもつれのメカニズムを明らかにする。
5. FMEプロトコルの適用: 著者らは、源（ソース）が重ね合わせ状態にある、離散化されたFMEプロトコルにこの枠組みを適用する。彼らは、重ね合わせの生成（制約を満たすための「場のドレッシング」を必要とする）、場の緩和、時間発展、および再結合を通じて、状態の進化を追跡する。

主な貢献と結果

• 局所性の運用的定義: 本論文は、グローバルなテンソル積を持たないゲージ理論に対して、物理的に意味のあるヒルブル空間の分解を提供している。ゲージ不変な局所代数とその関連する超選択セクターを特定することにより、著者らは、これらのセクター間でブロック対角に作用する「一般化された局所演算」を定義している。
• 一般化されたLOCC定理: 著者らは、非分解的なヒルベルト空間に対して有効な、LOCC定理の一般化されたバージョンを導出している。彼らは、各超選択セクター $K$ 内において、標準的なLOCC定理が適用されることを証明している。したがって、一般化された局所演算と古典通信のみを用いて、空間的に離れた領域間にもつれを生成することはできず、観測されるいかなるもつれの増加も、非古典的な場の相互作用に由来しなければならない。
• FMEに対する反論の解決:
  • 重ね合わせのメカニズム: 著者らは、ゲージ理論における源の空間的重ね合わせをどのように作成するかを明示的に示している。これには、ガウス制約を満たすように場の構成をシフトさせる「場のドレッシング」操作が必要であり、これにより操作が物理的かつゲージ不変であることを保証する。
  • LOCCの妥当性: 著者らは、テンソル積の欠如にもかかわらず、FMEプロトコルが（スピン測定によって検出される）源の間にもつれを生成し、それが各超選択セクター内におけるもつれの増加に対応していることを示す。これにより、LOCCに基づく「媒介物の量子的な性質」に関する議論が、このようなゲージ理論の設定においても依然として有効であることが確認される。
• もつれの生成: スプリット分解を用いることで、著者らはもつれの生成を追跡する。彼らは、相互作用が異なる物質構成の間の位相シフトを媒介し、結果として源の絡み合った最終状態を導くことを示す。場は、非古典的な通信チャネルとして機能する。

意義と主張
本論文は、ゲージ理論の抽象的な数学的形式主義と、量子情報理論の運用的な言語との間の溝を埋めることを目的としている。扱いやすい格子モデルを構築することで、著者らは以下のことを実証している：

1. 局所代数によって誘導される超選択セクターを通じて、ゲージ理論に対する一貫した局性ともつれの概念が定義できること。
2. ヒルベルト空間が分解しない場合でも、アクセス可能な局所代数と超選択セクターの構造を考慮すれば、LOCC定理を拡張できること。
3. FMEを通じて重力の量子的な性質をテストしようとする提案に対する議論は、局所的なテンソル積構造の欠如という懸念に対して堅牢であること。このようなプロトコルによって生成されるもつれは、非古典的な媒介の真のシグネチャーである。

著者らは、結果が2次元の離散モデルから導かれているものの、その構造的特徴（ガウス制約、エッジモード、ドレッシング）はQEDおよび線形化された重力と類似していると述べている。彼らは、同様の運用的な枠組みがこれらの連続体理論にも適用できる可能性を示唆しているが、連続体極限への移行が（型Iから型IIIのフォン・ノイマン代数への）代数的な型の変化を伴うため、これらの離散的な結果を直接昇格させることにはさらなる課題があることも認めている。本研究は、ゲージ理論におけるもつれ生成を分析するための最小限かつ運用的な設定を確立しており、FME実験を厳密に解釈するための道筋を提示している。