English · Español · Français · Deutsch · 中文 · 日本語 · Русский
チュートリアル：講義ノートに沿った torch_vn_algebra¶
このチュートリアルは、講義ノートの文脈で、PyTorch ライブラリ torch_vn_algebra を用いて（CPU と GPU 上で）有限次元フォン・ノイマン環 \(\bigoplus_cM_{k_c}(\mathbb C)\)、すなわち対称性セクターをもつブロック対角行列をどのように計算するかを示す。扱うのは、ランダム行列とハール分布のユニタリ行列、量子状態・量子チャネル・エントロピー、シュレーディンガー方程式とリンドブラッド方程式による時間発展、対称性セクターにおけるスピン鎖と厳密対角化、群表現のウェダーバーン分解、量子誤り訂正、同変層、ジョルダン代数である。各チュートリアルは、同じ番号の講義ノートの章に対応する：そこで証明された結果に対するライブラリのコードを示し、厳密な結果（定理、閉じた公式、あるいは独立な計算）によってコードを検証し、節 比較の対象 で同じ作業のための標準的な道具を挙げる。各節は、その節と用いる結果へリンクする 講義ノート： の行で始まる。計算されるだけの数値（たとえば大きな \(n\) での準位統計）は 数値的観察 と明示し、前提やテストの目標としては決して用いない。講義ノートの予備知識に加えて、チュートリアルは Python を仮定する。
チュートリアルのすべてのコードはテストスイート（tests/test_man.py）によって実行されるので、どの例もライブラリの現行版で動作する。
コードの実行方法¶
pip install -e . # from the root of the repository
python -m pytest tests/test_man.py -q
各章のコードブロックは、順番どおりに一つの Python セッションまたは Jupyter ノートブックに貼り付けて実行できる。同じ章のブロックは変数を共有する。
目次¶
| 章 | 主な結果 | |
|---|---|---|
| 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}\) のジョルダン自己同型 |
数学——定義、定理、完全な証明——は講義ノートにあり、予備知識、参考文献、ライブラリの解説論文もそこにある。