English · Español · Français · Deutsch · 中文 · 日本語 · Русский
有限次元フォン・ノイマン環：講義ノート¶
本講義では、有限次元フォン・ノイマン環（von Neumann 環）、すなわちブロック対角行列のなす環 \(\bigoplus_cM_{k_c}(\mathbb C)\) の理論を、量子物理学、量子情報、ランダム行列理論および機械学習への応用とともに解説する。対称性セクターと超選択セクター、二重可換子環定理とウェダーバーンの構造定理、トレース・状態・エントロピー、ハール測度とワインガルテン計算、量子チャネル（クラウス、スタインスプリング、チョイ）、リンドブラッド（GKSL）方程式、スピン鎖、量子誤り訂正、同変ニューラルネットワーク、ジョルダン代数を扱う。
本講義は二種類の読者を同時に想定して書かれている。
- 数学者には、自己完結したテキストを与える。述べられるすべての定理、公式、定数、不等式は、下に挙げる予備知識から出発して本講義の中で証明される。証明の場所はその章自身か、番号を付けて引用する付録 A–F のいずれかである。計算されるだけの数値（たとえば大きな \(n\) での準位統計）は 数値的観察 と明示し、前提やテストの目標としては決して用いない。文献は歴史的な帰属や発展的な読み物のために挙げるものであり、証明の代わりになることは決してない。
- 物理学者と技術者には、物理的意味 と題した囲みで各概念の物理的意味を与える。これらの囲みは物理的解釈であり、本講義の定理ではない。他の箇所で証明される事柄は何一つこれらに依存しない。 自分の用途に合わせて改変できる動作するコードはチュートリアルにある。
第 1–13 章は同じ構成をとる。すなわち、完全な証明付きの定義と結果、計算例、そして解答付きの演習問題である。ライブラリ torch_vn_algebra が計算または検証する各結果の後には、計算： または ライブラリでは： の行があり、それを行っているチュートリアルの箇所へリンクしている。
目次¶
| 章 | 主な結果 | |
|---|---|---|
| 0 | 本講義の主題 | データ型としての環：ブロック構造 = バッチ化されたテンソル、計算量、既存のものと新しいもの |
| 1 | 行列環と関数計算 | スペクトル定理、関数計算、極分解、トレースノルムの双対性、GUE のモーメント |
| 2 | 有限次元フォン・ノイマン環 | 二重可換子環定理、構造定理、中心、対称性の群と可換子環、条件付き期待値 |
| 3 | トレース、状態、エントロピー | トレースの分類、密度、セクターのエントロピー、クラインの不等式、中心への条件付き期待値に関する単調性、マイケルソン・コントラスト |
| 4 | 対称性と表現 | シューアの補題、電荷セクター、\(U(1)\) と \(SU(2)\)、スピン系、実型・複素型・四元数型 |
| 5 | 環の中のランダム行列 | \(\prod_cU(k_c)\) 上のハール測度、ワインガルテン計算、準位統計とセクターを混ぜてはならない理由 |
| 6 | 量子チャネル | クラウス表現とスタインスプリング表現、トレースに関する双対、セクター間の写像、デコヒーレンス |
| 7 | テンソル積とエンタングルメント | 部分トレース、ペイジの公式、電荷の融合 |
| 8 | ダイナミクス | シュレーディンガー方程式とリンドブラッド方程式、セクター間の跳躍、事後選択 |
| 9 | スピン鎖 | 磁化と運動量のセクター、ランチョス法、ベーテ仮説による検証、乱れ |
| 10 | 量子計算 | デコヒーレンスフリー部分空間、作用素環による誤り訂正、制約付きミキサー |
| 11 | 最適化とトレース不等式 | 制約付きパラメータ付け、サンプリング対最適化 |
| 12 | 同変機械学習 | 可換子環としての同変層 |
| 13 | ジョルダン代数：量子力学はなぜ *-環を用いるのか | ジョルダン積と二次表現、スピン因子とローレンツ錐、Jordan–von Neumann–Wigner の分類、転置と部分転置、ジョルダン形式のトレース不等式 |
| A | 解析学と確率論からの事実 | 冪級数と零集合、ガウスベクトル、球面上の測度、固有値の不等式、イッサーリス・ウィックの公式 |
| B | シューア・ワイル双対性とワインガルテン計算 | シューア・ワイル双対性、ワインガルテン関数、ウィグナー・エッカルトの定理、\(O(k)\) 上のハール測度 |
| C | 固有値密度とペイジの公式 | ワイル積分公式、GOE/GUE、ウィシャート密度と誘導密度、ペイジの公式 |
| D | 量子動力学的半群の生成子 | GKSL の定理、直和上の生成子、フリジェリオの定理、Bény–Kempf–Kribs |
| E | ユークリッド的ジョルダン代数の分類 | ピアス分解、フルヴィッツの定理とフロベニウスの定理、座標化、アルバート代数、Jordan–von Neumann–Wigner の定理 |
| F | 対称錐、順序同型とジョルダン写像 | 平方の錐、ケッヒャー–ヴィンベルクの定理、カディソンの定理、\(\bigoplus_cM_{k_c}\) のジョルダン自己同型 |
予備知識¶
本講義は以下のことだけを仮定し、それ以外のすべてを証明する。
- \(\mathbb R\) および \(\mathbb C\) 上の（有限次元の）線形代数と、代数学の基本定理。
- 標準的な実解析と多変数の微分積分：極限、連続性、\(\mathbb R^n\) におけるコンパクト性、微分、平均値の定理、テイラーの公式、逆関数定理と陰関数定理。
- 標準的な測度論と積分論：ルベーグ測度、直積測度とフビニ–トネリの定理、優収束定理と単調収束定理、\(\mathbb R^n\) における変数変換、押し出し測度、密度、独立性。
- 初等的な確率論：期待値、分散、独立性、ガウス分布とその積率母関数、マルコフの不等式とチェビシェフの不等式、大数の法則。
物理学と関数解析の知識は仮定しない。
参考文献¶
M. Takesaki, Theory of Operator Algebras I (Springer, 2002); V. Jones, von Neumann algebras, lecture notes; D. Petz, Quantum Information Theory and Quantum Statistics (Springer, 2008); J. Watrous, The Theory of Quantum Information (Cambridge, 2018); M. L. Mehta, Random Matrices (Elsevier, 2004).
ライブラリ torch_vn_algebra と、この講義ノートの文脈におけるその使い方は、チュートリアルの主題である。ライブラリの解説論文は
man/article/main.pdf にある。