量子力学はなぜ複素数か — 実部と虚部の組・フロベニウスの定理・クラマース縮退・ダイソンの三分法

問いは木下が出したもので、答えは Claude Code と調べて書いたものです。

2026-10-30、量子物理工学 第4回（マグノン・くりこみ）の講義中の質問から始まった。最初の問いは「エネルギーや物質が複素数とはどういうことか」。そこから「なぜ実測では実数しか出ないのか」「なぜ2次元の複素数で足りるのか」「実数で2倍の次元に書けばよいのでは。なぜ2つを組にするのか」と続いた。最後に、フロベニウスの定理とクラマース縮退を「どこかでよくよく勉強してみたい」となったので、あとで勉強するときの入口としてまとめた。講義中の一問一答の原本は 2026-10-30_第4回_授業中メモ の 4〜10 にある。

この教材の筋は、次の3つの問いを順にたどることである。

1. 量子力学の複素数は、実数2つに何を足したものか（§1）
2. 数の体系として、ほかに何がありうるか（§2 フロベニウスの定理）
3. 物理はどの数の体系を選ぶのか。何で決まるのか（§3 クラマース縮退、§4 ダイソンの三分法）

1. 複素数＝実数2つ＋「90°回す」構造

1.1 実数で2倍の次元に書き直せる。ただし構造が1つ残る

成分が $n$ 個の波動関数は、実部と虚部に分ければ実数 $2n$ 成分で書ける。ただしこのとき、各成分の組 $(q,p)$ を $(-p,\,q)$ に回す実行列 $J$ が必ず残り、$J^2=-1$ を満たす。さらに、物理的な演算子 $\hat O$ はすべて $[J,\hat O]=0$ を満たさなければならない。複素数の正体は、実数2つとこの $J$（虚数単位 $i$）の組である。どの2つを組にするかは、$J$ が互いに混ぜる2つとして決まっている。

1.2 組になる2つは、座標と運動量

成分を $\psi_j=(q_j+i\,p_j)/\sqrt{2}$ と置き、$H$ を実対称行列とする。シュレーディンガー方程式は次のように書き直せる。

$$i\hbar\dot\psi=H\psi\quad\Longleftrightarrow\quad \hbar\dot q=Hp,\qquad \hbar\dot p=-Hq$$

エネルギーの期待値を古典的なハミルトニアンとみなす。

$$\mathcal H(q,p)=\langle\psi|H|\psi\rangle=\tfrac12\bigl(q^{\mathsf T}Hq+p^{\mathsf T}Hp\bigr)$$

すると上の式はハミルトン方程式 $\hbar\dot q=\partial\mathcal H/\partial p$、$\hbar\dot p=-\partial\mathcal H/\partial q$ そのものになる（ランダムな $H$ で数値的に確かめた）。

• シュレーディンガー方程式は古典の振動子の集まりと同じ形：エネルギー固有状態 $\psi_n\propto e^{-iE_nt/\hbar}$ では、実部と虚部が振動数 $E_n/\hbar$ で cos と sin として回る。振動子の変位と運動量と同じ関係である。
• 「2」の理由：解析力学の相空間は「座標1つに運動量1つ」の組でできていて、必ず偶数次元になる。$J$ はその構造（シンプレクティック構造）にあたる。内積と $J$ がうまく両立している状態をケーラー構造と呼ぶ。
• 第二量子化とのつながり：この古典的な振動子をもう一度量子化し、$\psi$ を演算子 $\hat a$ に読み替えたものが第二量子化（場の演算子）である。調和振動子の $\hat a=(\hat q+i\hat p)/\sqrt{2}$ と同じ組み方になっている。

1.3 組み方を勝手に変えられない理由：合成系

2つの系を合わせると、実数で数えた次元が合わない。

$$\dim_{\mathbb R}\bigl(\mathbb C^{n}\otimes\mathbb C^{m}\bigr)=2nm,\qquad \dim\bigl(\mathbb R^{2n}\otimes\mathbb R^{2m}\bigr)=4nm$$

両方の系の $i$ を「同じ1つの $i$」とみなして初めて、正しい次元になる。実数だけで量子力学を組む案は、複数の光源を組み合わせたベル型の実験で複素数版と予言が分かれることが示された（Renou ら, Nature 600, 625 (2021)）。2022年の実験はいずれも複素数版を支持した。

1.4 大きさと偏角で書いてもよいが、組は残り、線形性が失われる

$\psi=\sqrt{\rho}\,e^{iS/\hbar}$ と書くと、$\rho$ と $S$ が正準共役の組になる（マデルング形式。個数と位相が共役なのと同じ）。全体の位相は物理ではないので、物理的な状態空間は複素射影空間 $\mathbb{CP}^{n-1}$ になる。2準位系ならブロッホ球で、2つの角度で書ける。ただし角度で書くと、重ね合わせと時間発展が非線形になる。両方を線形に保つ座標が複素振幅である。

1.5 なぜ実測では実数しか出ないか（前提の整理）

• 測定値が実数なのは測定の定義から：測定とは、1本の目盛りで単位の何倍かを読むことである。複素数には大小の順序がない。量子力学ではこれを「観測量はエルミート演算子」として公理にしている。
• 複素数も実数2つとしてなら測れる：ロックインアンプの同相成分と直交成分、応答関数の $\chi'$ と $\chi''$ がその例である。$\chi'$ と $\chi''$ は因果律で結ばれる（Kramers–Kronig）。
• 量子の振幅は1回では読めない：振幅の実部と虚部（$\hat q$ と $\hat p$）が交換しないので、同時に鋭く読めない。
• 位相は差としてしか存在しない：全体の位相は原理的に見えず、位相差だけが干渉の項 $2\,\mathrm{Re}(\psi_1^*\psi_2)$ に出る。
• 実部と虚部が別の物理を表す場合もある：複素エネルギー $E_0-i\Gamma/2$（線の位置と寿命）や応答関数のように、位相を回す自由の無い複素数がそれにあたる。

2. フロベニウスの定理：割り算のできる数の体系は3つしかない

2.1 主張

実数を含み、足し算・掛け算・割り算（0以外で割れる）ができ、掛け算が結合法則を満たす有限次元の数の体系は、次の3つに限られる（フロベニウス, 1877）。

四元数は、実数に3つの虚数単位を足したものである。

$$i^2=j^2=k^2=ijk=-1$$

$2\times2$ の行列で書くと、パウリ行列を使って $i=-i\sigma_x$、$j=-i\sigma_y$、$k=-i\sigma_z$ と表せる（数値で確かめた）。スピン $\tfrac{1}{2}$ の回転と四元数が近いのは、このためである。

結合法則を捨てて「ノルムが積を保つ」ことだけを要求すると、八元数（8次元）が4つ目として加わり、そこで終わる（フルヴィッツの定理）。1・2・4・8 の次元しか現れない。

2.2 証明の筋（細部は省略）

1. 各元は2次以下の式を満たす：有限次元なので、どの元 $x$ も実係数の多項式を満たす。割り算ができるので最小多項式は既約で、実数係数の既約多項式は1次か2次しかない。
2. 「純虚数」の部分空間ができる：各元は「実数＋2乗すると負の実数になる部分」に分けられる。後者が線形な部分空間になり、そこに負定値の内積が入る。
3. 互いに反可換な単位を並べていくと、3つで止まる：互いに反可換で2乗が $-1$ の単位 $i,j$ を取ると $k=ij$ も同じ性質を持つ。結合法則のもとで4つ目を足そうとすると矛盾が出る。

予備知識は線形代数と、体・多項式の初歩（代数学の入門）で足りる。

3. クラマース縮退：時間反転を2回かけると $-1$ になる系

3.1 時間反転は「反ユニタリ」

時間反転 $T$ は、運動量とスピンの向きを反転させる操作である。ふつうの演算子（ユニタリ）と違い、複素共役 $K$ を含む。

$$T=U K,\qquad \langle T\phi|T\chi\rangle=\langle\chi|\phi\rangle$$

このような演算子を反ユニタリと呼ぶ。スピン $\tfrac{1}{2}$ では $T=-i\sigma_yK$ と取れ、2回かけると $T^2=-1$ になる（数値で確かめた）。電子が $N$ 個なら、$T^2=(-1)^N$ である。

3.2 クラマースの定理

$T^2=-1$ で、ハミルトニアンが時間反転と交換するなら、すべての準位が少なくとも2重に縮退する。

証明は3行で済む。固有状態 $\psi$ に対し $T\psi$ も同じエネルギーの固有状態である。反ユニタリ性で $\phi=\psi$、$\chi=T\psi$ と置くと、次の式が出る。

$$\langle T\psi|T^2\psi\rangle=\langle T\psi|\psi\rangle\ \Rightarrow\ -\langle T\psi|\psi\rangle=\langle T\psi|\psi\rangle\ \Rightarrow\ \langle T\psi|\psi\rangle=0$$

$\psi$ と $T\psi$ は直交するので、別の状態である。こうしてできる2重の組をクラマース対と呼ぶ。ランダムに作った時間反転対称なハミルトニアン（2軌道×スピン、6×6）を対角化すると、固有値は確かに2つずつ組になった。

• 壊すには時間反転対称性を破る：磁場をかける（ゼーマン分裂）か、強磁性のように系そのものが時間反転を破ると、クラマース対は分かれる。
• 磁性とのつながり：量子物理工学で扱う強磁性の秩序は、まさに時間反転を自発的に破った状態である。

3.3 なぜ「四元数」が出てくるのか

$T$ は反線形で $T^2=-1$ を満たし、ハミルトニアンと交換する。さらに虚数単位 $i$ との間に $iT=-Ti$ が成り立つ（$T$ が複素共役を含むため）。したがって $i$、$T$、$iT$ の3つが、四元数の $i,j,k$ と同じ関係を満たす。この系のハミルトニアンは、四元数を成分とする行列として書ける。「4つを1つの要素に押し込める」ことが、実際の物理で起きている例である。

4. ダイソンの三分法：どの数で書けるかは対称性が決める

Dyson（1962, J. Math. Phys. 3, 1199）は、時間反転の性質によってハミルトニアンが3つの型に分かれることを示した。

$\beta$ は、隣り合う準位が近づきにくい度合いを表す（準位の間隔 $s$ が小さいところで確率が $s^\beta$ のように消える）。原子核の準位や量子ドットの準位の統計で、実際に3つの型が観測されている。フロベニウスの「3つの数」と、物理の「3つの対称性の型」が1対1に対応している点が、この話の面白いところである。

この先：時間反転に加えて粒子–正孔対称性とカイラル対称性を考えると、型は10通りに増える（Altland–Zirnbauer, 1997）。これを使うとトポロジカル絶縁体・超伝導体を分類できる（Kitaev の周期表, 2009）。$T^2=-1$ の型（クラス AII）から出るのが $\mathbb Z_2$ トポロジカル絶縁体（Kane–Mele, 2005）で、クラマース対の性質が端の状態を守っている。量子物理工学のシラバス第8章「トポロジカル構造」の先にある話である。

5. 勉強の順番と文献

数式の検算：§1.2 の実形式の時間発展、§2.1 のパウリ行列による四元数、§3.1 の $T^2=-1$、§3.2 の2重縮退は numpy で確かめた（2026-10-30）。