Nonlocality of Observables in Quasi-Hermitian Quantum Theory

技術的要約：準エルミート量子論における観測量代数の非局所性

問題提起
本論文は、準エルミート量子論における根本的な緊張関係を扱っている。すなわち、そのような理論は相似変換を通じて標準的なエルミート量子力学と数学的に等価であるが、「局所性」という物理的概念は、この写像の下では保存されないという問題である。標準的な量子論において、局所性はヒルベルト空間のテンソル積構造（$\mathcal{H} \simeq \mathcal{H}_A \otimes \mathcal{H}_B$）によって定義され、局所的な観測量は一方のサブシステムに対してのみ非自明に作用する。準エルミート理論では、観測量は計量演算子 $\eta$ に対して $\eta O = O^\dagger \eta$ を満たさなければならない。中心となる問題は、ハミルトニアンが（近接相互作用のように）局所的であっても、計量 $\eta$ がしばしば非自明なもつれ（非分解的な構造）を持つことである。その結果、準エルミート表現における局所的観測量の代数は、標準的なエルミート像において局所的観測量が存在するはずのサブシステムにおいて、劇的に変化するか、あるいは空集合となる。本論文は、これらの局所的観測量の代数を明示的に構成し、それらが存在するための条件を決定することを目的としている。

手法
著者は、2つの異なる枠組みにおいて、局所的観測量の存在を分析するために厳密な代数的アプローチを用いている。

1. テンソル積モデル： 局所性が固定されたテンソル積分解によって定義される一般的な有限次元ヒルベルト空間を分析する。計量演算子のシュミット分解 $\eta = \sum_i \sqrt{\chi_i} \eta_A^i \otimes \eta_B^i$ を利用して、局所的観測量が存在するための必要十分条件を導出する。
2. 自由フェルミオンモデル： 一般的な多体問題の指数関数的な複雑さを回避するため、分析を自由フェルミオン系に適用する。ここでは、局所性は（厳密なテンソル積構造ではなく）Bravyi-Kitaev基準（あるサイトの生成・消滅演算子の偶数個の積からなる演算子）を通じて定義される。問題は、縮約された計量行列 $M$ のブロックの核（カーネル）を分析することにより、第一量子化の設定へと還元される。
3. トイモデル： 導出された定理を、1次元格子上の自由フェルミオンの特定の $PT$対称トイモデルに適用する。このモデルは、近接相互作用および特定のサイト$m$と$\bar{m}$における複素オンサイトポテンシャル（不純物）を特徴とする。著者は、2つの特定の構成（不純物が最も遠いサイトにある場合$m=1$、および最も近いサイトにある場合$m=n/2$）を調査する。

主要な貢献と結果

• 一般存在定理 (Theorem 2): サブシステム $B$ が非自明な局所的観測量 $O_B$ （ここで $O = 1_A \otimes O_B$）を含むためには、 $B$ に制限された計量のシュミット演算子が同時還元可能でなければならないことを証明している。具体的には、計量のシュミット数（シュミット分解における非ゼロ項の数）がサブシステムの次元に関連する境界を超えている場合、局所的観測量は存在しない。これは、非分解的な計量が、局所的観測量の代数を総体的に破壊することを確立している。
• 自由フェルミオンの基準 (Theorem 3): 自由フェルミオン系において、広範に局所的な観測量（集合 $A$ に局所的であるが、$A$ の真の部分集合には局所的ではない観測量）の存在は、縮約された計量のオフダイアゴナル・ブロックの核の次元 $K(A) = \dim(\ker M_{A'A})$ によって決定される。広範に局所的な観測量は、$A$ 内に存在するための必要十分条件は、すべての真の部分集合 $S \subset A$ に対して $K(A) > K(S)$ であることである。
• $PT$ 対称トイモデルへの適用:
  • 近接不純物: 不純物が隣接している場合（$m=n/2$）、縮約された計量はパリティ・ブロックに分解される。結果として、非自trivialな局所的観測量は、サブシステムがパリティ対称（交換 $i \leftrightarrow \bar{i}$ に対して不変）である場合に限り存在する。
  • 最遠不純物: 不純物が境界にある場合（$m=1$）、局所的観測量の存在は、サブシステムの連結性に依存する。論文は、サブシステムの連結成分間の距離に関する詳細な条件（Lemma 6 および Proposition 7）を提供している。例えば、孤立した単一サイトは、特定の距離（最大で1サイトの隙間）以内でサブシステムの残りと接続されていない限り、一般に局所的観測量をサポートしない。
  • 非存在: 驚くべき結果として、局所的なハミルトニアンであっても、格子内の一般的なサイトの集合には、非自明な局所的観測量が全く存在しない場合がある。
• 対称性: $PT$対称理論において、サブシステム$A$が局所的観測量を含むならば、そのパリティ双対$P(A)$ もまた局所的観測量を含むことを示している。

意義と主張
本論文は、準エルミート表現が、局所性の定義をテンソル積構造から切り離すことで、局所的な量子理論を一般化していると主張している。著者は、物理的な内積が因子分解する（すなわち $\eta = \eta_A \otimes \eta_B$ である）と仮定することは、不必要に制限的な仮定であると論じている。

主な意義は、ハミルトニアンの局所性が、準エルミート理論における局所的観測量の存在を保証しないという発見にある。理論の「局所性プロファイル」は、計量演算子のエンタングルメント構造によって決定される。これは、計量が非自明な状況（量子重力や非可換場理論における特定のモデルなど）において、標準的な局所的自由度の概念が、創発的なものであるか、あるいは特定の領域において完全に欠如している可能性があることを示唆している。本研究は、どのサブシステムが物理的な観測量を保持しているかを特定するための構成的な枠組みを提供しており、非局所的なエルミート理論と数学的には等価であるが、その観測量代数においては物理的に異なる、より広いクラスの局所的量子理論を探求するためのツールを提供している。