A complete ultrametric on von Neumann's incomplete tensor products

技術要約：フォン・ノイマンの不完全テンソル積における完全な超距離空間

問題提起
本論文は、フォン・ノイマンの無限テンソル積のヒルベルト空間論における、$C_0$列の同値類からなる集合 $\Gamma$ の構造的性質を扱っている。フォン・ノイマンの1939年の枠組みにおいて、完全な無限テンソル積 $\bigotimes_{\iota \in I} \mathcal{H}_\iota$ は、$C_0$列の同値類によってラベル付けされた「不完全」なテンソル積の直交直和へと分解される。2つの列は、級数 $\sum_\iota |\langle \phi_\iota, \psi_\iota \rangle - 1|$ が収束する場合に同値である。この集合 $\Gamma$ は通常、巨大な濃度を持つ構造化されていない添字集合として扱われるが、本論文は、異なるクラス間の「不等価性の度合い」を測定するための定量的な構造が欠如していることを指摘している。中心となる問題は、$\Gamma$ 上の距離を定義して、異なるクラス間の分離を定量化し、その位相的および動的な性質（特に積ユニタリ進化の文脈において）を分析することである。

手法
著者は、添字集合 $I$ を標準的な列挙を持つ自然数 $\mathbb{N}$ であると仮定している。手法は主に以下の3つの段階で進行する。

1. 擬似超距離 $d$ の定義:
   2つの $C_0$ 列 $\phi$ と $\psi$ に対して、距離 $d(\phi, \psi)$ は、級数 $\sum_j |\langle \phi_j, \psi_j \rangle - 1|$ の収束指数として定義される。具体的には以下の通りである：
   $$d(\phi, \psi) = \inf \left\{ p \ge 0 : \sum_{j=1}^\infty \frac{1}{j^p} |\langle \phi_j, \psi_j \rangle - 1| < \infty \right\}.$$
   この定義は、内積級数の収束と、二乗ノルムの差および虚部の収束を関連付ける重み付き転移補題（補題2.5）に基づいている。

2. ゲージ不変な変種 $\tilde{d}$:
   物理的な状態はしば Tam 成分ごとの位相変化に対して鈍感であることが多いため、著者は、級数 $\sum_j ||\langle \phi_j, \psi_j \rangle| - 1|$ の収束に基づく弱い同値関係 $\sim_w$ を導入する。対応する距離 $\tilde{d}$ は、内積の絶対値を用いて $d$ と同様に定義される。この変種は、「純粋なゲージ」による積ユニタリに対して不変である。

3. 位相的および動的解析:
   論文はこれらの空間の完備性を確立し、積ユニタリ $U = \bigotimes U_j$ によるクラスへの作用を分析する。解析には、距離を保存する添字集合の置換の特性付けが含まれ、その結果をエヴェレット的分岐のトイモデルに適用する。

主要な貢献と結果

• $\Gamma$ 上の距離構造:
  関数 $d$ は $\Gamma$ 上の完全な擬似超距離であることが証明される。これは強三角不等式 $d(c, e) \le \max(d(c, d), d(d, e))$ を満たす。しかし、$d$ は擬似距離に過ぎない。なぜなら、異なるクラスが距離ゼロに位置する場合があるためである（例：級数が任意の $p>0$ に対して $j^{-p}$ よりも遅く発散する場合）。$\Gamma$ を $d=0$ という関係で商集合化することにより、著者は完全な超距離空間 $(\bar{\Gamma}, d)$ を構築する。

• ゲージ不変性:
  変種 $\tilde{d}$ は、弱同値類 $\Gamma_w$ 上の完全な擬似超距離であることが示される。また、$\tilde{d}$ は $\bar{\Gamma}_w$ 上の真の超距離へと降下する。$\tilde{d}$ に関する証明は、内積の虚部を制御する必要がないため、より単純であると述べられている。

• 再インデックス化に対する不変性:
  本論文は、距離を保存する $\mathbb{N}$ の置換 $\pi$ を特性付ける。置換が $d$（および $\tilde{d}$）を保存するための必要十分条件は、それが「条件(T)」を満たすことである。すなわち、多項式的な量以上に置換される添字の数は、劣多項式的（subpolynomial）でなければならない。これにより、距離構造が不変となる「多項式的に穏やかな（polynomially tame）」再ラベル付けの大きなゲージ群が特定される。

• 積ユニタリの動力学:

  • 最大変位: 積ユニタリが、各因子に対して単一のユニタリ $U$ を繰り返す構成であり、$U$ が $\inf_{\|x\|=1} |\langle x, Ux \rangle - 1| > 0$ を満たす場合（これは有限次元において $1 \notin \sigma(U)$ と同値である）、すべてのクラス $c$ に対して $d(c, Uc) = 1$ となる。このようなユニタリは、あらゆるクラスを最大可能な距離へと変位させる。
  • 軌道の分離: $U$ の固有値がいかなる1の冪根でもない場合、軌道 $\{U^k c\}$ は $(\Gamma, d)$ において1-分離された集合を形成する。
  • クラス依存の変位: 対照的に、ゲージ不変な変位 $\tilde{d}(c, Uc)$ は特定のクラスに依存する。量子ビットの設定では、$\tilde{d}$ は $[0, 1]$ の任意の値を取り得る。固有ベクトル（ポインター状態）から構築されたクラスでは $\tilde{d}=0$ となり、等しい重ね合わせから構築されたクラスでは $\tilde{d}=1$ となり得る。

• 物理的解釈（エヴェレット的分岐）:
  本論文は、これらの結果を多世界解釈のトイモデルに適用する。

  • 超選択則: セクター分解は、準局所的な観測量に対して超選択構造として機能する。すなわち、異なるセクターは直交しており、局所的な測定によって区別できない。
  • デコヒーレンス指数: 距離 $\tilde{d}$ はデコヒーレンス指数として解釈される。これは、観測者が増大する環境の自由度をモニターするにつれて、2つの枝の重なりが減衰する多項式的な速度を測定するものである。具体的には、重なりは $\exp(-N^{\tilde{d}})$ として減衰する。
  • 分岐メカニズム: 条件付き積ユニタリは、普遍的な状態を枝へと分割する。$\tilde{d}$ の値は、それらの枝が「異なる世界」であるか（$\tilde{d} > 0$）、あるいは単に「同じ世界のゲージ等価な記述」であるか（$\tilde{d} = 0$）を決定する。超距離構造は、分岐イベントの階層的、樹状の構造を自然に符号化している。

意義と主張
本論文は、フォン・ノイマンの無限テンソル積に対して定量的な幾何学的枠組みを提供し、セクターの集合を、構造化されていない添字集合から完全な超距離空間へと変容させたことを主張している。その主な意義は以下の通りである：

1. 数学的厳密性: 無限テンソル積の不等価なセクターの空間が、自然な完全超距離位相を持つことを確立した。これは、これまで文献において強調されてこなかった特性である。
2. 物理的解釈: エヴェレット解釈における「分岐」の精密な数学的実現を提供している。距離 $\tilde{d}$ はデコヒーレンスの厳密な尺度となり、異なる枝がいかに迅速に局所的な観測者にとって操作的に無関係になるかを定量化する。
3. 位相感受性の解決: 位相に敏感な距離 $d$ と、ゲージ不変な距離 $\tilde{d}$ を区別することで、全域的な直交性（制限のない観測量に見えるもの）と、局所的な無関係性（準局所的な観測量に見えるもの）の区別を明確にし、ヘップ・モデルに関するベルの批判に類する問題を解決している。
4. 離散的時間発展: 時間発展は、ハミルトニアンの固有ベクトルでない状態については、セクター間のジャンプ過程であることを示唆している。

著者は、このモデルが「数学的なカリカチュア（風刺画）」であることを明言している。これは、エヴェレント解釈における「宇宙は不等価な世界へと分岐する」という言明が、比喩ではなく定理となる制御された設定を提供することを目的としており、確率の起源といったより広範な概念的問題を解決しようとするものではない。