第 1 章　場の量子論が必要な理由 — 「量子力学」編第 27 章の続きから¶

前回までのあらすじ:

「量子力学」編第 27 章では、Schrödinger 方程式が特殊相対論と矛盾すること、Klein-Gordon 方程式と Dirac 方程式の導出、反粒子の予言、そして「粒子の数が変わる現象」を記述するには場の量子論（QFT）が必要であるという展望を得た。

この章のゴール

「なぜ 1 粒子の波動関数では不十分なのか」を 3 つの独立な論拠から理解し、「粒子は場の励起である」という「場の量子論」編の世界観を確立する
Fock 空間の概念を導入し、本「場の量子論」編全体の見通しを得る

1.1　「量子力学」編第 27 章の到達点——出発点の確認¶

🟡 リナ: おかえりなさい。量子力学の最終章「量子力学」編第 27 章で、私たちはこんなところまでたどり着いたわね。簡潔に振り返りましょう。

🔵 カイ: えっと、Schrödinger 方程式が相対論と合わないから、相対論的なエネルギーの式 $E^2 = p^2c^2 + m^2c^4$ を使って Klein-Gordon 方程式を作ったんですよね。

⚪ メイ: そして Klein-Gordon 方程式には「確率密度が負になりうる」という問題があった。それを解決するために Dirac が 1 階の方程式を作り、そこから反粒子の存在が予言された。

🟡 リナ: その通り。そして最後に「粒子の数が変わる現象を記述するには、波動関数ではなく場そのものを量子化する必要がある」という展望で「量子力学」編第 27 章は終わったわ。今日はその展望を、もっと具体的に、数式を使って肉付けしていくの。

🔵 カイ: 「場を量子化する」って、正直まだピンときてないんですけど……。

🟡 リナ: 大丈夫。この章が終わる頃には、「なぜそうしなければならないのか」が腑に落ちるはずよ。まずは Klein-Gordon 方程式の困難を、「量子力学」編第 27 章よりも丁寧に数式で追いかけましょう。

1.2　Klein-Gordon 方程式の困難——確率解釈の破綻¶

方程式の復習¶

🟡 リナ: 「量子力学」編第 27 章で導いた Klein-Gordon (クライン-ゴルドン) 方程式を書いておくわね。自然単位系 $\hbar = c = 1$ を使うと：

\[ \frac{\partial^2 \phi}{\partial t^2} - \nabla^2 \phi + m^2 \phi = 0 \tag{1.1} \]

$c$ と $\hbar$ を明示的に書くと：

\[ \frac{1}{c^2}\frac{\partial^2 \phi}{\partial t^2} - \nabla^2 \phi + \frac{m^2 c^2}{\hbar^2}\phi = 0 \tag{1.2} \]

🔵 カイ: これは $E^2 = p^2c^2 + m^2c^4$ の両辺を演算子に置き換えて得られたんでしたよね。

🟡 リナ: その通り。そして「量子力学」編第 27 章で確認したように、時間と空間が 2 階微分で対等に扱われているから Lorentz 共変性は満たされている。でも、Lorentz 共変性は必要条件であって十分条件ではないの。

🔵 カイ: 十分条件じゃないって、他にも満たすべき条件があるんですか？

🟡 リナ: そう。Schrödinger 方程式では確率密度 $\rho = |\psi|^2$ が常に非負であることが保証されていたわよね。Klein-Gordon 方程式でも同じことが成り立つかどうか——これを確認する必要があるの。計算してみましょう。

連続の方程式と確率密度¶

🟡 リナ: 量子力学で確率が保存されるためには、確率密度 $\rho$ と確率流密度 $\mathbf{j}$ が連続の方程式 (continuity equation)

\[ \frac{\partial \rho}{\partial t} + \nabla \cdot \mathbf{j} = 0 \tag{1.3} \]

を満たす必要があるわ。Schrödinger 方程式の場合は $\rho = |\psi|^2$ でこれが成り立つのは「量子力学」編第 7 章で確認したわね。Klein-Gordon 方程式でも同じことを試みてみましょう。

🟡 リナ: 式 (1.1) に $\phi^*$ を左から掛けたものと、式 (1.1) の複素共役に $\phi$ を左から掛けたものの差を取るの。具体的にやってみるわ。

式 (1.1) の複素共役は：

\[ \frac{\partial^2 \phi^*}{\partial t^2} - \nabla^2 \phi^* + m^2 \phi^* = 0 \tag{1.4} \]

「$\phi^*$ × 式 (1.1)」$-$「$\phi$ × 式 (1.4)」を計算すると：

\[ \phi^* \frac{\partial^2 \phi}{\partial t^2} - \phi \frac{\partial^2 \phi^*}{\partial t^2} - \phi^* \nabla^2 \phi + \phi \nabla^2 \phi^* = 0 \]

🔵 カイ: $m^2$ の項は $\phi^* m^2 \phi - \phi m^2 \phi^* = 0$ で消えるんですね。

🟡 リナ: その通り。残った項を整理するわ。差を取った式をもう一度書くと：

\[ \phi^* \frac{\partial^2 \phi}{\partial t^2} - \phi \frac{\partial^2 \phi^*}{\partial t^2} - \phi^* \nabla^2 \phi + \phi \nabla^2 \phi^* = 0 \]

時間微分の部分は：

\[ \phi^* \frac{\partial^2 \phi}{\partial t^2} - \phi \frac{\partial^2 \phi^*}{\partial t^2} = \frac{\partial}{\partial t}\left(\phi^* \frac{\partial \phi}{\partial t} - \phi \frac{\partial \phi^*}{\partial t}\right) \]

空間微分の部分は（符号に注意して）：

\[ -\phi^* \nabla^2 \phi + \phi \nabla^2 \phi^* = -(\phi^* \nabla^2 \phi - \phi \nabla^2 \phi^*) = -\nabla \cdot \left(\phi^* \nabla \phi - \phi \nabla \phi^*\right) \]

（最後の等号は、$\nabla \cdot (\phi^* \nabla \phi) = (\nabla \phi^*) \cdot (\nabla \phi) + \phi^* \nabla^2 \phi$ で、もう一方も同様に展開して引くと $(\nabla \phi^*) \cdot (\nabla \phi)$ の項が消えて $\phi^* \nabla^2 \phi - \phi \nabla^2 \phi^* = \nabla \cdot (\phi^* \nabla \phi - \phi \nabla \phi^*)$ が確認できるわ。）

⚪ メイ: どちらも積の微分法則を逆に使っているのね。

🔵 カイ: えっと、例えば時間微分の方は $\frac{\partial}{\partial t}\left(\phi^* \frac{\partial \phi}{\partial t}\right) = \frac{\partial \phi^*}{\partial t}\frac{\partial \phi}{\partial t} + \phi^* \frac{\partial^2 \phi}{\partial t^2}$ で、もう一方も同様に展開して引くと……確かに $\frac{\partial \phi^*}{\partial t}\frac{\partial \phi}{\partial t}$ の項が消えて左辺に戻りますね。でも、なんでこんな操作をするんですか？「$\phi^*$ を掛けて引く」って、天下りに見えるんですけど……。

🟡 リナ: いい疑問ね。実はこれは Schrödinger 方程式で確率の保存を示したときと全く同じ手法なの（「量子力学」編第 7 章を思い出して）。あのときも $\psi^*$ × 方程式 $-$ $\psi$ × 複素共役方程式を計算して連続の方程式を導いたでしょう？「保存量を見つけたいときは、方程式に複素共役を掛けて引く」というのが定石よ。空間微分の方も全く同じ構造ね。

🟡 リナ: まとめると：

\[ \frac{\partial}{\partial t}\left(\phi^* \frac{\partial \phi}{\partial t} - \phi \frac{\partial \phi^*}{\partial t}\right) - \nabla \cdot \left(\phi^* \nabla \phi - \phi \nabla \phi^*\right) = 0 \]

これを連続の方程式 $\frac{\partial \rho}{\partial t} + \nabla \cdot \mathbf{j} = 0$ の形に整理したいの。まず $\frac{i}{2m}$ を全体に掛けるわ。なぜ $i$ が必要かというと、$\phi^* \frac{\partial \phi}{\partial t} - \phi \frac{\partial \phi^*}{\partial t}$ は実は純虚数なの（複素数 $z$ に対して $z - z^*$ は常に純虚数になるでしょう？それと同じ構造よ）。だから $i$ を掛けることで実数にしてあげる必要があるの。掛けた結果は：

\[ \frac{\partial}{\partial t}\underbrace{\left[\frac{i}{2m}\left(\phi^* \frac{\partial \phi}{\partial t} - \phi \frac{\partial \phi^*}{\partial t}\right)\right]}_{\equiv\,\rho} - \nabla \cdot \left[\frac{i}{2m}\left(\phi^* \nabla \phi - \phi \nabla \phi^*\right)\right] = 0 \]

🔵 カイ: あ、時間微分の括弧の中身が $\rho$ になって、空間微分の方から $\mathbf{j}$ を読み取るんですね。

🟡 リナ: その通り。ここで連続の方程式 $\frac{\partial \rho}{\partial t} + \nabla \cdot \mathbf{j} = 0$ と見比べてみて。時間微分の前の括弧の中身を $\rho$ と定義するのが自然よね（式中の $\underbrace{\cdots}_{\equiv\,\rho}$ がそれを示しているわ）。空間微分の項は $-\nabla \cdot (\cdots)$ の形になっているから、$+\nabla \cdot \mathbf{j}$ にするには $\mathbf{j} = -\frac{i}{2m}(\phi^* \nabla \phi - \phi \nabla \phi^*)$ と定義すればいいの。マイナスを $\mathbf{j}$ の定義に吸収するだけよ。

🔵 カイ: えっと、ちょっと符号がこんがらがるんですけど……。$\frac{i}{2m}$ を掛けた後の式を見ると、空間微分の項は $-\frac{i}{2m}\nabla \cdot (\phi^* \nabla \phi - \phi \nabla \phi^*)$ ですよね。連続の方程式は $+\nabla \cdot \mathbf{j}$ だから、$\mathbf{j} = -\frac{i}{2m}(\phi^* \nabla \phi - \phi \nabla \phi^*)$ と定義すれば辻褄が合う、ということですか？

🟡 リナ: その通り。つまり $\frac{i}{2m}$ を掛けた後の式全体は

\[ \frac{\partial \rho}{\partial t} \underbrace{- \frac{i}{2m}\nabla \cdot (\phi^* \nabla \phi - \phi \nabla \phi^*)}_{= +\nabla \cdot \mathbf{j}} = 0 \]

となるから、$\mathbf{j} = -\frac{i}{2m}(\phi^* \nabla \phi - \phi \nabla \phi^*)$ と定義すれば連続の方程式の形にぴったり収まるわ。

🔵 カイ: OK、元の式のマイナス符号を $\mathbf{j}$ の定義に取り込んで $+\nabla \cdot \mathbf{j}$ の形にするんですね。でも、なんで $\frac{i}{2m}$ なんですか？天下りに見えるんですけど……。

🟡 リナ: いい質問ね。なお、ここでは自然単位系 $\hbar = c = 1$ を使っているから係数が $\frac{i}{2m}$ になっているけど、$\hbar$ と $c$ を明示する場合、$\rho$ の係数は $\frac{i\hbar}{2mc^2}$ になるわ（$\mathbf{j}$ の方は $-\frac{i\hbar}{2m}$ で、$\rho$ に比べて $c^2$ の因子が入らないことに注意してね。この違いは式 (1.2) の時間微分の前に $1/c^2$ が掛かっていることに由来するの——同じ手順で「$\phi^*$ × 式 (1.2)」$-$「$\phi$ × 複素共役」を計算すると、時間微分の項には $1/c^2$ が余分に掛かるから、$\rho$ の係数に $c^2$ が分母に入るのよ）。まず $i$ が必要な理由をもう少し補足するわね。複素数 $z = a + bi$ に対して $z - z^* = (a+bi) - (a-bi) = 2bi$ で、これは純虚数よね。ここで $\phi^* \frac{\partial \phi}{\partial t}$ という量を考えると、その複素共役は $(\phi^* \frac{\partial \phi}{\partial t})^* = \phi \frac{\partial \phi^*}{\partial t}$ になる（複素共役を取ると $\phi^* \to \phi$、$\frac{\partial \phi}{\partial t} \to \frac{\partial \phi^*}{\partial t}$ になるから）。つまり $\phi^* \frac{\partial \phi}{\partial t} - \phi \frac{\partial \phi^*}{\partial t}$ は「ある複素数からその複素共役を引いた形」$z - z^*$ になっていて、必ず純虚数になるの。だから $i$ を掛けると $i \times (\text{純虚数}) = i \times 2bi = -2b$ のように実数になる。確率密度は実数でなければ意味がないから、$i$ が必要なのよ。

⚪ メイ: 「$z - z^*$ は純虚数」という一般的な性質が効いているのね。

🟡 リナ: 次に $\frac{1}{2m}$ の部分。この係数は「粒子の速度が光速よりずっと遅い極限（非相対論的極限）で、$\rho$ が Schrödinger 方程式の確率密度 $|\psi|^2$ にぴったり一致する」ように選んだものよ（$\hbar = 1$ の単位系）。具体的に確認してみましょう。

🔵 カイ: 「非相対論的極限で一致する」って、どうやって確認するんですか？

🟡 リナ: まず準備として、量子力学で学んだことを思い出して。エネルギー $E$ の定常状態は時間因子 $e^{-iEt}$ を持つわよね（「量子力学」編第 7 章で $\Psi(x,t) = \psi(x)e^{-iEt/\hbar}$ と書いたのを覚えてる？自然単位系 $\hbar = 1$ ではこれが $e^{-iEt}$ になるの）。さて、相対論的な粒子の全エネルギーは $E = \sqrt{|\mathbf{p}|^2 + m^2}$ で、粒子がほぼ静止しているなら $|\mathbf{p}| \ll m$ だから $E \approx m$（自然単位系 $c = 1$ では $E = mc^2$ が $E = m$ になる）。つまり、ほぼ静止した粒子の波動関数には $e^{-imt}$ という非常に速い振動が必ず含まれるの。

🔵 カイ: 「速い振動」って、どのくらい速いんですか？

🟡 リナ: 電子の場合、振動数は $m_e c^2/\hbar \approx 7.8 \times 10^{20}$ Hz——可視光の振動数の 100 万倍以上よ。でもこの速い振動は粒子が静止していても存在する「背景の振動」で、物理的に面白いのはそこからのずれの方。だから $\phi = e^{-imt}\psi$ と書いて、速い振動 $e^{-imt}$ を分離し、ゆっくり変化する部分 $\psi$ だけを取り出すの。Schrödinger 方程式が記述するのはまさにこの $\psi$ よ。

🔵 カイ: なるほど、静止エネルギー分の速い振動を分離して、残りのゆっくりした部分だけを見るんですね。

🟡 リナ: $\psi$ の時間変化が $m$ に比べて無視できるほど遅い——具体的には $|\dot{\psi}| \ll m|\psi|$（自然単位系 $\hbar = c = 1$ では $m$ が角振動数の次元を持つから、これは「$\psi$ の変化の速さが背景振動 $e^{-imt}$ の振動数 $m$ よりずっと遅い」という意味よ）——なら、$\partial\phi/\partial t = (-im\psi + \dot{\psi})e^{-imt} \approx -im\phi$ と近似できる。$\dot{\psi}$ の項を $-im\psi$ に比べて無視したの。これを $\rho$ の式に代入すると $\rho = \frac{i}{2m}(\phi^*(-im)\phi - \phi(im)\phi^*) = \frac{i}{2m}(-2im)|\phi|^2 = |\phi|^2$ となる。そして $\phi = e^{-imt}\psi$ だから $|\phi|^2 = |e^{-imt}|^2|\psi|^2 = |\psi|^2$（$e^{-imt}$ は絶対値 1 の複素数だから $|e^{-imt}| = 1$ よ）。ちゃんと Schrödinger 方程式の確率密度に帰着するの。

⚪ メイ: なるほど、「正しい極限を再現する」ことが係数を決める指針になるのね。

🟡 リナ: その通り。では、ここまでの結果をまとめましょう。$\frac{i}{2m}$ を掛けた連続の方程式と、そこから読み取れる $\rho$ と $\mathbf{j}$ の定義を書き下すわ：

\[ \frac{\partial \rho}{\partial t} + \nabla \cdot \mathbf{j} = 0 \tag{1.5} \]

ただし

\[ \rho = \frac{i}{2m}\left(\phi^* \frac{\partial \phi}{\partial t} - \phi \frac{\partial \phi^*}{\partial t}\right) \tag{1.6} \]

\[ \mathbf{j} = -\frac{i}{2m}\left(\phi^* \nabla \phi - \phi \nabla \phi^*\right) \tag{1.7} \]

🔵 カイ: あ、$\mathbf{j}$ は Schrödinger 方程式の確率流密度と同じ形ですね！でも $\rho$ が……

🟡 リナ: そう。ここが決定的な違い。Schrödinger 方程式では $\rho = |\psi|^2$ で常に非負だった。でも Klein-Gordon 方程式の $\rho$ は式 (1.6) の形をしていて、時間微分を含んでいる。

平面波解で確認する¶

🟡 リナ: 具体的に平面波解を代入して確認してみましょう。Klein-Gordon 方程式の平面波解は：

\[ \phi(\mathbf{x}, t) = A\, e^{i(\mathbf{p} \cdot \mathbf{x} - Et)} \tag{1.8} \]

これを式 (1.1) に代入すると：

\[ (-E^2 + |\mathbf{p}|^2 + m^2) \cdot A\, e^{i(\mathbf{p} \cdot \mathbf{x} - Et)} = 0 \]

よって分散関係：

\[ E^2 = |\mathbf{p}|^2 + m^2 \tag{1.9} \]

🔵 カイ: $E^2 = |\mathbf{p}|^2 + m^2$ ということは、$E = \pm\sqrt{|\mathbf{p}|^2 + m^2}$ で負のエネルギー解もあるんですね。

🟡 リナ: その通り。これは「量子力学」編第 27 章でも触れた問題ね。さて、この平面波解を $\rho$ の式 (1.6) に代入してみましょう。

\[ \frac{\partial \phi}{\partial t} = -iE \cdot \phi, \qquad \frac{\partial \phi^*}{\partial t} = iE \cdot \phi^* \]

したがって：

\[ \rho = \frac{i}{2m}\left(\phi^*(-iE)\phi - \phi(iE)\phi^*\right) = \frac{i}{2m}\left(-iE|\phi|^2 - iE|\phi|^2\right) \]

\[ \rho = \frac{i}{2m} \cdot (-2iE)|\phi|^2 = \frac{E}{m}|A|^2 \tag{1.10} \]

🔵 カイ: $\rho = \frac{E}{m}|A|^2$……あれ、$E$ が負だったら $\rho$ も負になりませんか？

🟡 リナ: その通り。$E > 0$ なら $\rho > 0$ だけど、$E < 0$ の解では $\rho < 0$ になってしまう。

🔵 カイ: 確率が負って……「粒子がそこにいる確率がマイナス」ってこと？それ、物理的に意味がないですよね？

図 1.1: Klein-Gordon方程式の確率密度の問題。左 — Schrödinger 方程式では確率密度 $\rho = |\psi|^2 \geq 0$ が常に非負。右 — Klein-Gordon 方程式では $\rho = (E/m)|A|^2$ となり、$E < 0$ の解に対して $\rho < 0$ になりうる。

🟡 リナ: その通り。まさにそれが Klein-Gordon 方程式の致命的な問題。確率密度が負になりうるということは、$\rho$ を確率密度として解釈できないということ。図 1.1「Klein-Gordon方程式の確率密度の問題」に Schrödinger 方程式との対比をまとめておいたわ。下の表にも各方程式の確率密度の性質を比較しておくわね。

表 1.1: Schrödinger 方程式と Klein-Gordon 方程式の確率密度の比較

	Schrödinger 方程式	Klein-Gordon 方程式
時間微分の階数	1 階	2 階
確率密度 $\rho$	$	\psi
$E < 0$ での問題	負エネルギー解が存在しない	$\rho < 0$ → 確率解釈が破綻
Lorentz 共変性	満たさない	満たす

🔵 カイ: じゃあ Klein-Gordon 方程式は使い物にならないんですか？

🟡 リナ: 1 粒子の波動関数としては使えない。でも、後で見るように場の量子論の枠組みで再解釈すると、$\rho$ は確率密度ではなく電荷密度として意味を持つことがわかるの。負の $\rho$ は負の電荷——つまり反粒子——に対応するのよ。でもそれは先の話。今は「1 粒子の量子力学の枠組みでは Klein-Gordon 方程式は破綻する」ということを押さえておいて。

✅ 理解度チェック: Klein-Gordon 方程式の「確率密度」$\rho$ が負になりうる根本的な理由は何でしょうか？

答え

Klein-Gordon 方程式は時間について 2 階微分であるため、$\rho$ の表式に時間微分 $\partial\phi/\partial t$ が含まれる。その結果、$\rho$ の符号はエネルギー $E$ の符号に依存し、$E < 0$ の解に対して $\rho < 0$ となる。Schrödinger 方程式（時間 1 階微分）では $\rho = |\psi|^2 \geq 0$ が自動的に保証されるのとは対照的である。

📝 練習問題:

Klein-Gordon 方程式の確率密度の計算 → 問題 M-1. Klein-Gordon 方程式の確率流密度の Lorentz 共変性

1.3　Dirac 方程式と反粒子——1 階に戻す天才的着想¶

🟡 リナ: Klein-Gordon 方程式の問題点を整理すると 2 つあったわ：

確率密度が負になりうる——式 (1.10) で $E < 0$ のとき $\rho < 0$ になった
負エネルギー解の物理的解釈が不明——式 (1.9) で $E = -\sqrt{|\mathbf{p}|^2 + m^2}$ という解が存在するが、「負のエネルギーを持つ粒子」とは何なのか

Dirac (ディラック) はこの問題を「時間微分が 2 階であること」に起因すると考え、時間について 1 階の相対論的方程式を作ることを試みたの。

🔵 カイ: でも、Lorentz 共変性を保つには時間と空間を対等に扱わないといけないんですよね？時間が 1 階なら空間も 1 階にしないと……。

🟡 リナ: 鋭い。まさにそこが Dirac の天才的な着想よ。彼は次の形の方程式を求めた：

\[ i\frac{\partial \psi}{\partial t} = \left(-i\boldsymbol{\alpha} \cdot \nabla + \beta m\right)\psi \tag{1.11} \]

ここで $\boldsymbol{\alpha} = (\alpha^1, \alpha^2, \alpha^3)$ と $\beta$ は未知の対象。これらが普通の数（スカラー）では相対論的な分散関係 $E^2 = |\mathbf{p}|^2 + m^2$ を再現できないことがわかるの。

⚪ メイ: 「量子力学」編第 27 章でも似た話が出てきたわね。

🟡 リナ: そう。あのとき結論だけ述べたけど、今回はもう少し丁寧に見てみましょう。$\boldsymbol{\alpha}$ と $\beta$ が普通の数（スカラー）だと相対論的な分散関係を再現できないことを示すわ。式 (1.11) の右辺を $\hat{H} = \boldsymbol{\alpha} \cdot \mathbf{p} + \beta m$（$\mathbf{p} = -i\nabla$）と書くと、エネルギー固有状態では $\hat{H}\psi = E\psi$ が成り立つ。この両辺に左から $\hat{H}$ をもう一度作用させると $\hat{H}^2\psi = \hat{H}(E\psi) = E(\hat{H}\psi) = E^2\psi$ となる（$E$ はただの数だから $\hat{H}$ と入れ替えられるわ）。つまり $\hat{H}^2\psi = E^2\psi$ が成り立ち、かつ $E^2 = |\mathbf{p}|^2 + m^2$ という分散関係を再現するためには、$\hat{H}^2$ が $(|\mathbf{p}|^2 + m^2)\,I$ に等しくなければならない（$I$ は単位行列。$\hat{H}$ が行列だから、右辺も行列でなければ等式が成り立たないわ。ここで重要なのは、$\hat{H}^2$ を計算したとき、任意の平面波 $e^{i\mathbf{p}\cdot\mathbf{x}}$ に作用させた結果が $(|\mathbf{p}|^2 + m^2)\,I$ 倍になる必要があるということ——つまり演算子として $\hat{H}^2 = (\hat{\mathbf{p}}^2 + m^2)\,I$ が成り立たなければならないの。以下では平面波に作用させた場合を考えて、$\hat{\mathbf{p}}$ を固有値 $\mathbf{p}$ で置き換えて議論するわ）。では $\hat{H}^2$ を計算してみましょう。

🔵 カイ: $\hat{H}$ を 2 乗する、つまり $\hat{H}$ を自分自身に掛けるわけですね。

🟡 リナ: $\hat{H} = \alpha^1 p_1 + \alpha^2 p_2 + \alpha^3 p_3 + \beta m$ を 2 乗するわ。4 つの項があるから一見複雑だけど、まず簡単な例で感覚を掴みましょう。もし項が 2 つだけ、たとえば $(A + B)^2$ なら $A^2 + AB + BA + B^2$ よね（行列だから $AB \neq BA$ に注意）。3 つなら $(A + B + C)^2 = A^2 + B^2 + C^2 + (AB + BA) + (AC + CA) + (BC + CB)$ ——つまり「同じもの同士の 2 乗」と「異なるペアの積（両方の順序）」に分かれるの。4 つの場合も同じ構造で、すべてのペアの積を拾い上げるの。整理すると 4 種類に分かれるわ：

同じもの同士の積：$\alpha^1 p_1 \cdot \alpha^1 p_1 = (\alpha^1)^2 p_1^2$ など → $\sum_i (\alpha^i)^2 p_i^2$
異なる $\alpha$ 同士の積：$\alpha^1 p_1 \cdot \alpha^2 p_2$ と $\alpha^2 p_2 \cdot \alpha^1 p_1$ の両方が出る → $\sum_{i<j}(\alpha^i \alpha^j + \alpha^j \alpha^i)p_i p_j$
$\alpha$ と $\beta$ の積：$\alpha^i p_i \cdot \beta m$ と $\beta m \cdot \alpha^i p_i$ → $\sum_i(\alpha^i \beta + \beta \alpha^i)m\,p_i$
$\beta$ 同士の積：$\beta m \cdot \beta m = \beta^2 m^2$

まとめると：

\[ \hat{H}^2 = \underbrace{\sum_i (\alpha^i)^2 p_i^2}_{\text{同一添字の項}} + \underbrace{\sum_{i<j}(\alpha^i \alpha^j + \alpha^j \alpha^i)p_i p_j}_{i \neq j \text{ の交差項}} + \sum_i(\alpha^i \beta + \beta \alpha^i)m\,p_i + \beta^2 m^2 \]

ここで $\sum_{i<j}$ は「$i$ と $j$ の組み合わせを重複なく 1 回ずつ拾う」という意味よ（たとえば 3 次元なら $(i,j) = (1,2), (1,3), (2,3)$ の 3 通り）。そして $\alpha^i \alpha^j + \alpha^j \alpha^i$ のように両方の順序の積が現れるのは、$\alpha^i$ が行列だから $\alpha^i \alpha^j \neq \alpha^j \alpha^i$（一般に積の順序を入れ替えられない）ためよ。

⚪ メイ: 行列だから積の順序が大事で、$AB + BA$ をまとめられない——それが反交換関係につながるのね。

🟡 リナ: 具体的に見てみましょう。$(A + B)^2$ を展開するとき、1 番目の $(A + B)$ から $A$ を、2 番目の $(A + B)$ から $B$ を取ると $AB$ が出る。逆に 1 番目から $B$、2 番目から $A$ を取ると $BA$ が出る。普通の数なら $AB = BA$ だから $AB + BA = 2AB$ とまとめられるけど、行列ではそうはいかないから $AB + BA$ のまま残さなければならないの。4 項の場合も同じで、$\alpha^i p_i$ と $\alpha^j p_j$ を取る順番が 2 通りあるから、$\alpha^i \alpha^j p_i p_j + \alpha^j \alpha^i p_j p_i = (\alpha^i \alpha^j + \alpha^j \alpha^i)p_i p_j$ が出てくるのよ。

🔵 カイ: あ、行列の掛け算は順番を変えると結果が変わるんでしたね。量子力学で行列を使ったとき $AB \neq BA$ になる例がありましたよね。でも、$\alpha^i$ と $p_i$ は順番を変えていいんですか？ $\alpha^i p_i$ と $p_i \alpha^i$ は同じなんですか？

🟡 リナ: いい確認ね。$\alpha^i$ は空間に依存しない定数行列で、$p_i = -i\partial/\partial x^i$ は空間座標の微分演算子。微分は「自分の右にある関数」に作用するけど、$\alpha^i$ は定数だから微分しても何も起こらない。だから $p_i \alpha^i = \alpha^i p_i$ と自由に入れ替えられるの（あるいは、さっき言ったように平面波に作用させて $p_i$ を固有値——ただの数——に置き換えてしまえば、数と行列は当然入れ替えられるわ）。一方、$\alpha^i$ 同士は行列だから順序が大事——$\alpha^i \alpha^j \neq \alpha^j \alpha^i$ が一般に成り立つわ。

🟡 リナ: もう少し具体的に見ると、$\sum_i \alpha^i p_i$ の中から $i$ 番目の項 $\alpha^i p_i$ と $j$ 番目の項 $\alpha^j p_j$（$i \neq j$）を取り出して掛け合わせると、$\alpha^i p_i \cdot \alpha^j p_j$ と $\alpha^j p_j \cdot \alpha^i p_i$ の 2 通りが出てくる。さっき確認したように $p_i$ と $\alpha$ は自由に入れ替えられるから、これらは $\alpha^i \alpha^j p_i p_j$ と $\alpha^j \alpha^i p_i p_j$ になり、足すと $(\alpha^i \alpha^j + \alpha^j \alpha^i) p_i p_j$ になるの。

これが $|\mathbf{p}|^2 + m^2$ に等しくなるためには：

$\sum_i (\alpha^i)^2 p_i^2 = I\,|\mathbf{p}|^2$ となるために $(\alpha^i)^2 = I$（単位行列。$I \cdot |\mathbf{p}|^2$ は「すべての成分に $|\mathbf{p}|^2$ を掛けた行列」の意味よ）
$i \neq j$ の交差項 $(\alpha^i \alpha^j + \alpha^j \alpha^i)p_i p_j$ がすべて消えるために $\alpha^i \alpha^j + \alpha^j \alpha^i = 0$（$i \neq j$）
$\alpha^i$ と $\beta$ の交差項 $(\alpha^i \beta + \beta \alpha^i)m\,p_i$ が消えるために $\alpha^i \beta + \beta \alpha^i = 0$（これは任意の運動量 $p_i$ に対して成り立つ必要があるから、係数行列自体がゼロでなければならないの）
$\beta^2 m^2 = m^2$ となるために $\beta^2 = I$

🔵 カイ: 「邪魔な項をゼロにする」条件を全部集めると、反交換関係になるんですね！

🟡 リナ: これらをまとめて書くと：

\[ \{\alpha^i, \alpha^j\} = 2\delta^{ij}I, \qquad \{\alpha^i, \beta\} = 0, \qquad \beta^2 = I \tag{1.12} \]

ここで $\{A, B\} \equiv AB + BA$ は反交換関係 (anticommutator)、$I$ は単位行列よ（物理の教科書では $I$ を省略して単に $1$ と書くことも多いけど、$\alpha^i$ や $\beta$ が行列であることを忘れないでね）。最初の条件は $i = j$ のとき $(\alpha^i)^2 = I$、$i \neq j$ のとき $\alpha^i \alpha^j + \alpha^j \alpha^i = 0$ を一つの式にまとめたもの。これらの条件は「量子力学」編第 27 章でも導いたものだけど、ここで改めて確認しておいたわ。

🔵 カイ: 反交換関係！交換関係 $[A, B] = AB - BA$ のプラス版ですね。

🟡 リナ: その通り。そしてこの条件を満たす最小の行列は $4 \times 4$ 行列。つまり波動関数 $\psi$ は 4 成分の列——スピノル (spinor) ——になるの。「4 成分だから 4 次元ベクトルと同じでは？」と思うかもしれないけど、座標変換したときの変わり方が 4 次元ベクトルとは異なるの。だから区別して「スピノル」と呼ぶのよ。詳しくは第 5 章で扱うから、今は「Dirac 方程式の波動関数は 4 成分を持つ特別なオブジェクト」とだけ覚えておいて。

🔵 カイ: 4 成分って、何を表しているんですか？

🟡 リナ: 4 成分のうち 2 つがスピン上向き・下向きの電子に対応し、残り 2 つが反粒子——陽電子——に対応するの。図 1.2「Dirac スピノルの 4 成分構造」にその対応をまとめたわ。

図 1.2: Dirac スピノルの 4 成分構造。上 2 成分（$\psi_1, \psi_2$）が電子のスピン上向き・下向きに、下 2 成分（$\psi_3, \psi_4$）が陽電子（反粒子）のスピン上向き・下向きに対応する。方程式を解くだけで反粒子が自然に現れる。

🔵 カイ: 方程式を解いたら反粒子が勝手に出てくるのは驚きですけど……4 成分のうち 2 つが反粒子なら、最初から「反粒子がある」と仮定しているのと同じじゃないですか？それとも、仮定なしに出てくるんですか？あと、確率密度の問題はどうなったんですか？

🟡 リナ: 最初の質問に答えるわね。Dirac は反粒子の存在を仮定したわけではないの。彼が仮定したのは「時間 1 階・空間 1 階で Lorentz 共変な方程式を作る」ということだけ。その条件を満たすには最低でも 4 成分が必要で、方程式を解くと負エネルギー解が出てくる——それを物理的に解釈すると反粒子になる、という流れよ。つまり反粒子は仮定ではなく、Lorentz 共変性と量子力学の要請から導かれる帰結なの。

⚪ メイ: 仮定は「1 階・Lorentz 共変」だけで、反粒子はその帰結——美しいわね。

🟡 リナ: そして確率密度の問題について。Dirac 方程式は Klein-Gordon 方程式の問題を部分的に解決した。確率密度 $\rho = \psi^\dagger \psi = |\psi_1|^2 + |\psi_2|^2 + |\psi_3|^2 + |\psi_4|^2 \geq 0$ が常に非負になるの。

🔵 カイ: おお！じゃあ Dirac 方程式なら問題ないんですか？

🟡 リナ: 確率密度の問題は解決する。でも負エネルギー解は依然として存在する。Dirac はこれを「Dirac の海」という描像で解釈したわ——負エネルギー状態がすべてフェルミオンで埋まっていて、そこに「穴」が開くと正のエネルギー・正の電荷を持つ粒子（陽電子）として観測される、と。

🔵 カイ: でも待ってください。「負エネルギー状態を全部埋める」って、無限個の電子が必要ですよね？そんな無限個の粒子が本当に存在するんですか？それに、光子みたいに同じ状態にいくつでも入れる粒子だったら、「全部埋める」こと自体ができないんじゃ……。

🟡 リナ: 鋭い指摘ね、両方とも正しいわ。特に 2 つ目が致命的なの。Dirac の海の描像はフェルミオン——Pauli の排他原理で各状態を 1 つずつ埋められる粒子——にしか使えない。ボソンには排他原理がないから、「すべての状態を埋める」ということ自体ができないのよ。図 1.3「Dirac の海の描像」に Dirac の海の描像を図示したわ。

図 1.3: Dirac の海の描像。左 — 真空状態：負エネルギー状態がすべてフェルミオンで埋まっている。右 — 対生成：光子のエネルギーで負エネルギー電子が正エネルギーに励起されると、残された「穴」が陽電子として観測される。この描像はフェルミオン（排他原理あり）にのみ適用可能。

🔵 カイ: えっ、じゃあボソンの負エネルギー解はどうするんですか？ Dirac の海が使えないなら、どうやって解釈すればいいんですか？

🟡 リナ: その通り。結局、負エネルギー解の問題を本質的に解決するには、1 粒子の波動関数という枠組みそのものを超えなければならないの。それが場の量子論よ。ここまでの議論を整理しておくわね。

表 1.2: 1 粒子の相対論的方程式の問題点と場の量子論による解決

	Klein-Gordon 方程式	Dirac 方程式	場の量子論（QFT）
時間微分	2 階	1 階	— （場を量子化）
確率密度 $\rho \geq 0$	× 破綻	○ 解決	○ 解決
負エネルギー解	存在する	存在する（Dirac の海で解釈）	反粒子として自然に解釈
粒子数の変化	記述不可	記述不可	○ 自然に記述
ボソンへの適用	可（問題あり）	不可（フェルミオン専用）	○ すべての粒子に適用

✅ 理解度チェック: Dirac 方程式が Klein-Gordon 方程式の「確率密度が負になる」問題を解決できる理由を、微分の階数の観点から説明してみましょう。

答え

Dirac 方程式は時間について 1 階微分であるため、確率密度が $\rho = \psi^\dagger \psi$（各成分の絶対値の 2 乗の和）となり、常に $\rho \geq 0$ が保証される。Klein-Gordon 方程式は時間 2 階微分のため、$\rho$ に時間微分が含まれ符号が不定になっていた。

1.4　粒子の生成・消滅が不可避である理由¶

🟡 リナ: ここまでで、「1 粒子の波動関数としての相対論的方程式には困難がある」ことを見てきたわ。次は、もっと物理的な視点から「粒子の数が変わる現象は避けられない」ことを理解しましょう。まず 3 つの論拠を示して、その後に因果律からの要請も見ていくわ。図 1.4「粒子の生成・消滅が不可避である 3+1 の論拠」に全体像を先に示しておくわね。

図 1.4: 粒子の生成・消滅が不可避である 3+1 の論拠。3 つの独立な物理的論拠（光量子仮説・$E=mc^2$ と不確定性原理・対生成の実験事実）に加え、因果律の要請がすべて「場の量子論が必要」という結論を指し示す。

論拠 1：Einstein の光量子仮説——光子は生まれ、消える¶

🟡 リナ: 歴史的に、粒子の生成・消滅が最初に認識されたのは光子 (photon) についてだったの。

1900 年、Planck (プランク) は黒体輻射のスペクトルを説明するために、電磁波のエネルギーが連続ではなく離散的であるという仮説を立てた（ここでは $\hbar$ を明示して書くわね）：

\[ E_n = n\hbar\omega \qquad (n = 0, 1, 2, \ldots) \tag{1.13} \]

🔵 カイ: 振動数 $\omega$ の電磁波は $\hbar\omega$ の整数倍のエネルギーしか持てない、ということですね。

🟡 リナ: そう。そして 1905 年、Einstein はこれをさらに推し進めて、光そのものがエネルギー $\hbar\omega$、運動量 $\hbar\mathbf{k}$ を持つ粒子——光子——の集まりであると主張した。これが光量子仮説よ。

🟡 リナ: この仮説が正しいことを示す決定的な実験的証拠がいくつもある：

光電効果 (photoelectric effect)：光の振動数がある閾値より低いと、光をどんなに強くしても電子は飛び出さない。光が $E = \hbar\omega$ のエネルギーを持つ粒子として衝突すると考えれば自然に説明できる。
Compton (コンプトン) 散乱：X 線が電子に散乱されるとき、散乱角に応じて波長が変化する（図 1.5「Compton 散乱の概念図」）。散乱後の光子はエネルギーの一部を電子に渡すため、波長が長くなるの。これは光子が運動量 $\mathbf{p} = \hbar\mathbf{k}$ を持つ粒子として電子と衝突し、エネルギーと運動量を交換すると考えれば説明できる。

図 1.5: Compton 散乱の概念図。入射光子 $\gamma$ が静止電子 $e^-$ に衝突し、散乱角 $\theta$ で散乱光子 $\gamma'$ と反跳電子が飛び出す。散乱後の光子はエネルギーを失い波長が長くなる。

🔵 カイ: Compton 散乱って、光子が電子にぶつかって跳ね返るんですよね。でもそれって「光子の数が変わる」話ですか？

🟡 リナ: いい質問。Compton 散乱自体は光子 1 個が入って 1 個が出る過程だから、光子数は変わらない。でも考えてみて。原子が光を放出するとき、光子は生まれる。原子が光を吸収するとき、光子は消える。つまり光子の数は保存量ではなく、生成と消滅が日常的に起こっているの。

⚪ メイ: なるほど、光子の数が変わるのは特殊な状況じゃなくて、原子が光を出し入れするだけで起こる普通のことなのね。

🟡 リナ: そう。そして光子は質量ゼロの粒子だから、エネルギーさえあればいくらでも生成できる。「粒子の数が固定された量子力学」では、こうした過程を記述できないの。

論拠 2：$E = mc^2$ と不確定性原理の共演——対生成¶

🟡 リナ: 2 つ目の論拠は、「量子力学」編第 27 章でも触れた議論をもう少し定量的にするわ。

Einstein の質量・エネルギーの等価性：

\[ E = mc^2 \tag{1.14} \]

これは「エネルギー $E \geq 2mc^2$ があれば、質量 $m$ の粒子・反粒子ペアを作れる」ことを意味する。

一方、量子力学のエネルギー・時間の不確定性関係：

\[ \Delta E \cdot \Delta t \gtrsim \hbar \tag{1.15} \]

🔵 カイ: 短い時間 $\Delta t$ の間なら、大きなエネルギーのゆらぎ $\Delta E$ が許される、という話ですね。でもこれって、$\Delta x \cdot \Delta p \geq \hbar/2$ と同じ種類の式なんですか？

🟡 リナ: 厳密に言うと少し性質が違うの。$\Delta x \cdot \Delta p$ の方は演算子の交換関係から数学的に厳密に導かれるけど、エネルギー・時間の方は「時間は演算子ではない」ので同じ導出はできない。でも、ここではオーダー見積もり——桁の大きさだけを追う計算——として使っているから、$\sim$ や $\gtrsim$ の記号で「だいたいこのくらい」という意味で書いているの。定量的な議論には十分よ。

⚪ メイ: 数学的に厳密ではないけど、スケールの見積もりとしては使える——物理ではよくある手法ね。

🟡 リナ: そう。この 2 つを組み合わせると何が言えるか。

🔵 カイ: 具体的にどういう計算になるんですか？

🟡 リナ: いい質問。ここでは $\hbar$ と $c$ を明示的に書いて議論するわね（具体的な数値を出したいから）。粒子を距離スケール $\Delta x$ 以下に局在させようとすると、不確定性原理から運動量のゆらぎは $\Delta p \gtrsim \hbar / \Delta x$ になる。相対論的なエネルギーの関係 $E = \sqrt{p^2c^2 + m^2c^4}$ を見ると、$c\,\Delta p \gg mc^2$ のとき（つまり運動量由来のエネルギーが静止エネルギーよりずっと大きいとき）、$\sqrt{p^2c^2 + m^2c^4} \approx \sqrt{p^2c^2} = pc$ と近似できる（$m^2c^4$ が $p^2c^2$ に比べて無視できるほど小さいから）。この近似のもとでは $E \approx pc$ だから、$p$ のゆらぎ $\Delta p$ に対するエネルギーのゆらぎは単純に $\Delta E \approx c\,\Delta p$ になる。これは $y = cx$ という 1 次関数で $x$ が $\Delta x$ だけ変わったら $y$ は $c\,\Delta x$ だけ変わる、というのと全く同じ理屈よ。

この近似はいつ使えるか確認しておくわね。$c\,\Delta p \gg mc^2$ に $\Delta p \sim \hbar/\Delta x$ を代入すると $\hbar c/\Delta x \gg mc^2$、つまり $\Delta x \ll \hbar/(mc) = \lambda_C$。だからこの近似は Compton 波長より短い距離スケールで成り立つ——まさに対生成が問題になる領域よ。したがって：

\[ \Delta E \sim c\,\Delta p \sim \frac{\hbar c}{\Delta x} \tag{1.16} \]

🔵 カイ: おお、距離を小さくするほどエネルギーのゆらぎが大きくなるんですね。

🟡 リナ: このエネルギーのゆらぎが粒子・反粒子ペアの静止エネルギー $2mc^2$ を超えるとき：

\[ \frac{\hbar c}{\Delta x} \gtrsim 2mc^2 \]

\[ \Delta x \lesssim \frac{\hbar}{2mc} = \frac{\lambda_C}{2} \tag{1.17} \]

ここで $\lambda_C = \hbar/(mc)$ は粒子の Compton (コンプトン) 波長よ。つまり Compton 波長程度の距離スケール以下では対生成が無視できなくなる。

図 1.6: 距離スケールと物理の階層。Compton 波長 $\lambda_C \sim 10^{-13}$ m より短い距離では対生成が重要になり、1 粒子の量子力学では不十分になる。

⚪ メイ: 式 (1.17) の $\lambda_C/2$ が境界になるのね。それより短い距離で粒子を見ようとすると、対生成を無視できなくなる。

🟡 リナ: その通り。図 1.6「距離スケールと物理の階層」に距離スケールと物理の階層をまとめたわ。電子の場合 $\lambda_C \approx 3.86 \times 10^{-13}$ m で、これは原子の大きさ（$\sim 10^{-10}$ m）よりずっと小さい。だから原子物理学では粒子の生成・消滅を無視できた。でも、素粒子物理学で扱うスケールでは無視できないの。

🔵 カイ: なるほど……。じゃあ「電子 1 個」を調べようとしても、十分に細かいスケールで見ると、そこには電子・陽電子ペアが湧き出ている可能性がある、ということですか？でもそうすると、「電子の質量」とか「電子の電荷」って、周りに湧き出ているペアの影響も込みの値ってことになりませんか？

🟡 リナ: 鋭い直感ね。実はまさにその通りで、観測される質量や電荷は仮想ペアの効果を含んだ「着衣の値」なの。その話は Part V のくりこみで正面から扱うわ。物理学者 Victor Weisskopf (ヴィクター・ヴァイスコップ) もこの点を強調しているわ——「相対論的量子力学では、1 粒子の理論は存在しない」と。

📝 練習問題:

Compton 波長と不確定性原理 → 問題 B-5. Compton 波長の計算, 問題 M-3. Compton 波長と位置の局在化

論拠 3：対生成・対消滅の実験的事実¶

🟡 リナ: 3 つ目は、もっと直接的な実験事実よ。

対消滅 (pair annihilation)：電子と陽電子が出会うと、互いに消滅して光子になる：

\[ e^- + e^+ \to \gamma + \gamma \tag{1.18} \]

対生成 (pair creation)：十分なエネルギーを持つ光子が原子核の近くを通ると、電子・陽電子ペアが生まれる：

\[ \gamma \to e^- + e^+ \quad (\text{原子核の近傍で}) \tag{1.19} \]

🔵 カイ: これって実際に観測されているんですか？

🟡 リナ: もちろん。対消滅は PET (Positron Emission Tomography, 陽電子放射断層撮影) という医療技術の原理そのものよ。体内に陽電子を放出する放射性物質を注入し、陽電子が体内の電子と対消滅して出る 2 本のガンマ線を検出して画像を作るの。

⚪ メイ: 日常的に使われている医療技術が、粒子の生成・消滅の証拠なのね。

🟡 リナ: そう。粒子の生成・消滅は「極端な状況でだけ起こる珍しい現象」ではなく、自然の基本的な性質なの。これを記述できない理論は、根本的に不完全と言わざるを得ない。図 1.7「対生成と対消滅の過程」に対生成と対消滅の過程をまとめておいたわ。

図 1.7: 対生成と対消滅の過程。左 — 対生成：高エネルギー光子 $\gamma$ が原子核の近傍で電子 $e^-$ と陽電子 $e^+$ のペアに変換される。右 — 対消滅：電子と陽電子が出会い、消滅して 2 本のガンマ線を放出する。PET 検査はこの対消滅を利用した医療技術。

✅ 理解度チェック: 電子の Compton 波長 $\lambda_C = \hbar/(m_e c)$ を計算し、原子の大きさ（Bohr 半径 $a_0 \approx 0.53 \times 10^{-10}$ m）と比較してみましょう。

答え

$\lambda_C = \frac{\hbar}{m_e c} = \frac{1.055 \times 10^{-34}}{9.11 \times 10^{-31} \times 3 \times 10^8} \approx 3.86 \times 10^{-13}$ m。Bohr 半径 $a_0 \approx 5.3 \times 10^{-11}$ m と比較すると $\lambda_C / a_0 \approx 7 \times 10^{-3}$、つまり Compton 波長は原子の大きさの約 1/140。原子のスケールでは対生成を無視できるが、原子核や素粒子のスケールでは無視できない。

📝 練習問題:

対生成の閾値エネルギー → 問題 B-7. 不確定性関係による対生成の時間スケール

1.5　因果律の要請——力は粒子の交換で伝わる¶

🟡 リナ: 粒子の生成・消滅が必要なもう一つの重要な理由があるの。それは因果律 (causality) ——「情報は光速を超えて伝わらない」という相対論の基本原則——を守るためよ。

🔵 カイ: 因果律と粒子の生成・消滅がどう関係するんですか？

🟡 リナ: Coulomb (クーロン) の法則を思い出して。2 つの電荷 $q_1$, $q_2$ が距離 $r$ だけ離れているとき、それらの間に働く力は（ここでは馴染みのある SI 単位系の形で書くわね。単位系の選び方は本質ではなくて、大事なのは式の構造よ）：

\[ F = \frac{q_1 q_2}{4\pi\varepsilon_0 r^2} \]

この式をよく見て。力 $F$ は「今この瞬間の距離 $r$」だけで決まっていて、時間の遅れが入っていないわよね。つまり一方の電荷を動かして $r$ が変わったら、もう一方が即座に新しい力を感じることになる——距離がいくら離れていても。これは「情報が光速を超えて伝わる」ことを意味していて、因果律に反するわ。

🔵 カイ: あ、これって Newton の万有引力の法則と同じ問題じゃないですか？あっちも「重力が瞬時に伝わる」って暗黙に仮定してましたよね。

🟡 リナ: その通り。Newton の万有引力の法則も「2 つの質量の間の力が距離だけで決まり、瞬時に伝わる」という同じ問題を抱えていたの（「一般相対論」編第 1 章で詳しく議論したわね）。電磁気力にも全く同じ問題があるのよ。古典電磁気学では、この問題は「電磁場」を導入することで解決した。力は場を介して光速で伝わる、と。では量子論ではどうなるか？

🔵 カイ: 量子論でも「場」で解決する、ということですか？

🟡 リナ: 量子場の理論では、力は仮想粒子の交換で伝わると解釈されるの。古典電磁気学で「電磁場が光速で力を伝える」と言っていたことを、量子論の言葉で言い直すと「仮想光子の交換」になるのよ。2 つの電子が反発し合う電磁力は、一方の電子が仮想光子を放出し、もう一方がそれを吸収する過程として記述される。光子は光速で伝わるから、因果律は守られる。

🔵 カイ: 「仮想光子を交換すると力になる」って、どういうイメージですか？ボールを投げ合うと反発するみたいな感じ？

🟡 リナ: そう、まさにキャッチボールのたとえが使えるわ。氷の上に立った 2 人がボールを投げ合うと、投げた人は反動で後ろに下がり、受け取った人も押される——結果として 2 人は離れていく。これが「斥力」のイメージ。ただし引力の場合はこの古典的なたとえでは説明しきれなくて、量子力学的な効果が本質的に効いてくるの。正確な議論は第 8 章の Feynman ダイアグラムで行うわ。

🔵 カイ: なるほど。じゃあ「仮想光子」って、不確定性原理で短時間だけ存在を許された光子のことですか？

🟡 リナ: 直感的にはそう考えていいわ。不確定性関係 $\Delta E \cdot \Delta t \gtrsim \hbar$ によって、短い時間だけエネルギーを「借り越す」ことが許される。その間に光子が生まれ、相手に届いて消える——この過程が力の正体なの。ただし 1 つ注意しておくと、仮想粒子は通常の粒子と違って $E^2 = p^2c^2 + m^2c^4$ という関係を満たさないの。この関係は「質量 $m$ の粒子が自由に飛んでいるときに成り立つ条件」であって、エネルギー保存則そのものとは別の条件よ。「えっ、エネルギー保存則に反するのでは？」と思うかもしれないけど、全体の過程——光子が生まれて相手に吸収されるまで——ではエネルギーと運動量はちゃんと保存されているわ。仮想粒子が $E^2 = p^2c^2 + m^2c^4$ から外れていられるのは、不確定性原理が許す短い時間だけ。最終的には帳尻が合うの。だから仮想粒子は直接検出器で捕まえることはできない——あくまで力を媒介する「舞台裏の役者」よ。正確な定義は第 8 章の Feynman ダイアグラムで改めて説明するから、今は「直接観測されないが力を媒介する、通常のエネルギー・運動量関係から外れた粒子」くらいに思っておいて。

⚪ メイ: エネルギー・運動量関係を満たさないのに、全体としては保存則が成り立つ——不思議だけど、不確定性原理がそれを許すのね。

🟡 リナ: ここまでの話をまとめると、因果律を守りながら力を伝えるためには、媒介粒子の生成と消滅が必要不可欠ということ。電磁力だけじゃなく、すべての基本的な力がこの仕組みで伝わるの。どの力がどんな粒子を交換しているか、下の表にまとめておくわね。仮想光子交換の様子は図 1.8「仮想光子交換による電磁力」を、4 つの力の全体像は図 1.9「4つの基本的な力と媒介粒子」も参照して。

⚪ メイ: 因果律からも同じ結論が出てくるのね。光量子仮説・$E=mc^2$ と不確定性原理・対生成の実験事実に加えて、因果律の要請——4 つの独立な論拠がすべて「粒子の生成・消滅を扱える理論が必要」を指している。

表 1.3: 基本的な力と媒介粒子の対応

力	媒介する粒子
電磁気力	光子 $\gamma$
弱い力	$W^\pm$, $Z^0$ boson (ボソン)
強い力	gluon (グルーオン)
重力	graviton (重力子)（未検出）

図 1.8: 仮想光子交換による電磁力。2 つの電子間の電磁力は、仮想光子 $\gamma$ の交換として記述される。光子は光速で伝わるため因果律が守られる。

図 1.9: 4つの基本的な力と媒介粒子。自然界の 4 つの基本的な力と、それぞれを媒介する粒子。重力子はまだ直接検出されていない。

🔵 カイ: すごい……。力の正体が「粒子の交換」だとすると、粒子の生成・消滅を扱えない理論では力すら記述できないんですね。でも、重力子がまだ見つかっていないってことは、重力だけは別の仕組みかもしれないんですか？

🟡 リナ: 鋭い疑問ね。現時点では重力子は未検出だけど、理論的には重力も同じ仕組み——重力子の交換——で記述されると考えられているわ。ただし重力の量子化には未解決の問題が山積みで、それは第 24 章で触れる話題よ。これが「粒子の生成・消滅が不可避」であることの、因果律からの論拠。相対論的な因果律を守りながら力を伝えるには、媒介粒子の生成と消滅が必要不可欠なの。

🔵 カイ: 4 つの力すべてが同じ仕組みで伝わるなら、粒子の生成・消滅は本当に避けて通れないんですね。

1.6　視点の転換——「場の振動モードが粒子である」¶

🟡 リナ: ここまでの議論をまとめると、「粒子の数が固定された量子力学」では相対論的な世界を記述できない。では、どうすればいいのか？ここで根本的な視点の転換が必要になるの。

古典物理学での非対称性¶

🟡 リナ: まず、古典物理学での「粒子」と「場」の扱いの非対称性を指摘しておくわ。

表 1.4: 古典物理学における物質粒子と光の非対称性

	物質粒子（電子など）	光
古典的な位置づけ	自然の基本的な構成要素として最初から仮定	電磁場の波動として記述される
記述の仕方	Newton 力学（点粒子の力学）	Maxwell 方程式（場の理論）

🔵 カイ: 電子は「最初からある粒子」で、光子は「電磁場の振動」として出てくる……確かに非対称ですね。

🟡 リナ: でも、量子力学では電子も光子も同じように波動・粒子の二重性を持つのよね。二重スリット実験では電子も干渉縞を作るし、光電効果では光が粒子として振る舞う。

🔵 カイ: 電子と光子が対等なら……光子が「電磁場の振動」なら、電子にも何か「場」みたいなものがあって、その振動が電子なんですか？でもそんな「電子場」って聞いたことないんですけど……。

🟡 リナ: カイ、いい直感ね。まさにそれが場の量子論の核心なの。「電子場」は目に見えないけど確かに存在する——電磁場の励起が光子であるように、「電子場」の励起が電子である。すべての粒子を場の励起として統一的に扱う、という考え方よ。

「場の量子論」編の世界観¶

🟡 リナ: 場の量子論の世界観を一言で述べるとこうなるわ：

宇宙に存在するすべての粒子は、空間と時間の全域にわたって定義された量子場の励起 (excitation) である。

具体的には：

光子 = 電磁場 $A_\mu$ の量子化された励起
電子 = Dirac 場 $\psi$ の量子化された励起
Higgs (ヒッグス) 粒子 = Higgs 場 $\phi$ の量子化された励起

表 1.5: 標準模型の主な粒子と対応する場

粒子	対応する場	スピン	場の種類
光子 $\gamma$	電磁場 $A_\mu$	1	ベクトル場（ゲージ場）
電子 $e^-$	Dirac 場 $\psi_e$	1/2	スピノル場
クォーク $q$	Dirac 場 $\psi_q$	1/2	スピノル場
Higgs 粒子 $H$	スカラー場 $\phi$	0	スカラー場
グルーオン $g$	Yang-Mills 場 $A_\mu^a$	1	ベクトル場（ゲージ場）
重力子	計量テンソル場 $g_{\mu\nu}$	2	テンソル場

🟡 リナ: 表の中に「ゲージ場」「Yang-Mills 場」「スピノル場」など初めて見る名前が並んでいるけど、今は「粒子の種類ごとに対応する場がある」ということだけ押さえておけば大丈夫。それぞれの詳しい意味は Part II 以降で順番に学んでいくわ。たとえるなら、池の水面全体が「場」で、そこに立つ波紋が「粒子」よ。

🔵 カイ: あ、なるほど！波紋は現れたり消えたりするから、粒子の生成・消滅は「場の振動が始まったり止まったりする」ことに対応するんですね？

🟡 リナ: まさにそう。だから粒子数の変化を自然に記述できる。

⚪ メイ: つまり、量子力学では「粒子がある」が出発点だったけど、場の量子論では「場がある」が出発点で、粒子はその結果として現れる——主役が入れ替わるのね。

🟡 リナ: きれいにまとめてくれたわね。さらに、この描像にはもう一つ大きなご利益があるの。同じ場から生まれる粒子はすべて同一の性質を持つ。すべての電子が完全に同じ質量・電荷・スピンを持つのは、同一の「電子場」の励起だからよ。工場で作ったボルトは顕微鏡で見れば微妙に違うけれど、電子は完全に同一——これは「同じ場から生まれる波紋は同じ性質を持つ」という場の量子論の自然な帰結なの。図 1.10「場の量子論の世界観」にこの世界観のイメージをまとめたわ。

図 1.10: 場の量子論の世界観。左 — 真空状態では場はゼロ点振動（量子ゆらぎ）のみ。右 — 場が局所的に励起されると、それが「粒子」として観測される。池の水面に立つ波紋が粒子に対応するイメージ。

⚪ メイ: つまり、粒子の生成・消滅を自然に記述できることと、同種粒子の完全な同一性を説明できること——この 2 つが場の量子論の世界観から同時に出てくるのね。

✅ 理解度チェック: 「すべての電子が完全に同一である理由」を、場の量子論の観点から 1〜2 文で説明してみましょう。

答え

すべての電子は同一の「電子場」の量子化された励起であるため、質量・電荷・スピンなどの性質が完全に同一になる。異なる場所の波紋であっても、同じ水面（場）の振動である以上、本質的に同じ性質を持つ。

1.7　第二量子化と Fock 空間¶

第一量子化と第二量子化¶

🟡 リナ: ここで量子化の歴史を整理しておくわ。量子力学の発展には 2 つの段階があるの。

第一量子化 (first quantization)：

粒子は波のように振る舞う。

古典力学の変数（位置 $x$、運動量 $p$）を演算子に昇格させ、交換関係 $[\hat{x}, \hat{p}] = i\hbar$ を課す。これが前巻「量子力学」で学んできた内容よ。

第二量子化 (second quantization)：

場を演算子に昇格させ、場の振動の各モードが「粒子」として振る舞うようになる。

歴史的には「波は粒子のように振る舞う」と表現されることもあるの——古典的な波（場）を量子化すると、そのエネルギーが離散的な「粒子」として現れるから。でも実際にやっていることは場を演算子に昇格させること——これによって粒子の数が変わる現象を記述できるようになるの。

🔵 カイ: 「場を演算子にする」って……具体的にはどういうことですか？波動関数みたいなものが演算子になるんですか？

🟡 リナ: 歴史的にはそういう言い方もされるわ。「最初に粒子を波（波動関数）にしたのが第一量子化。次にその波を量子化するのが第二量子化」——これが名前の由来。ただしこの表現は誤解を招きやすいから注意してね。実際には「波動関数をもう一度量子化する」わけではなくて、現代的な観点では古典場——つまり電磁場のような、空間の各点に値を持つ量——を量子演算子に昇格させることが本質なの。つまり「第一」も「第二」も同じ手続き——古典的な力学変数を演算子に昇格させる——をやっているだけで、違いは量子化の対象が「粒子の位置」から「場の振幅」に変わったこと。だから現代では「第二量子化」という名前にこだわらず、単に「場の量子化」と呼ぶ方が正確よ。

⚪ メイ: 名前は歴史的な経緯で「第二」がついているだけで、やっている操作自体は同じなのね。

🟡 リナ: 本質的にやることは第一量子化と同じ——古典的な力学変数を演算子に昇格させて交換関係を課す。ただし、その「力学変数」が粒子の位置ではなく場になるの。「演算子に昇格させる」というのは、量子力学で $x$ を $\hat{x}$ にしたのと同じ手続き——古典的には確定した値を持つ量を、測定するまで値が確定しない量子的な対象に変える、ということよ。場の場合は「各点での場の振幅」が確定した値ではなく量子的にゆらぐ対象になるの。

⚪ メイ: つまり、$x$ を $\hat{x}$ にしたのと同じ手続きで、$\phi(\mathbf{x})$ を $\hat{\phi}(\mathbf{x})$ にする、ということね。

🟡 リナ: その通り。対応関係をまとめるとこうなるわ（図 1.11「第二量子化とFock空間」も見てね）。表の中に $\hat{\pi}$ や $\delta^3$ という初めて見る記号が出てくるけど、表の直後に一つずつ説明するから、今は「量子力学でやったことの場バージョンなんだな」という対応関係だけ眺めてみて。

図 1.11: 第二量子化とFock空間。第一量子化（粒子 → 波）と第二量子化（波 → 粒子）の対比。第二量子化では場を演算子に昇格させ、粒子数が可変な Fock 空間で物理を記述する。

表 1.6: 第一量子化と第二量子化の対応関係

	量子力学（第一量子化）	場の量子論（第二量子化）
力学変数	粒子の位置 $\hat{x}$、運動量 $\hat{p}$	場 $\hat{\phi}(\mathbf{x})$、共役運動量 $\hat{\pi}(\mathbf{x})$
交換関係	$[\hat{x}, \hat{p}] = i\hbar$	$[\hat{\phi}(\mathbf{x}, t), \hat{\pi}(\mathbf{y}, t)] = i\hbar\,\delta^3(\mathbf{x} - \mathbf{y})$（同時刻）
$\mathbf{x}$ の役割	粒子がどこにいるかを表す動的変数	空間のどの点かを示すラベル（パラメータ）

🔵 カイ: 「共役運動量」$\hat{\pi}(\mathbf{x})$ って何ですか？あと $\delta^3$ っていう記号も初めて見ます。それに「同時刻」って書いてあるのも気になるんですけど……。。

🟡 リナ: 3 つも疑問が出たわね。快が最初に挙げた順番に答えていくわ。まず共役運動量 $\pi(\mathbf{x})$ から。粒子の力学で位置 $x$ に対して運動量 $p$ があるように、場 $\phi(\mathbf{x})$ に対しても「ペアになる変数」があるの。それが共役運動量 $\pi(\mathbf{x})$ よ。大雑把に言えば「場の時間変化の勢い」を表す量で、粒子の運動量 $p = m\dot{x}$ が「位置の時間変化の勢い」を表すのと同じ役割。もう少し具体的に言うと、$p = m\dot{x}$ は「位置 $x$ がどれだけ速く変化しているか」を表すわよね。同じように $\pi(\mathbf{x})$ は「点 $\mathbf{x}$ での場の値 $\phi(\mathbf{x})$ がどれだけ速く時間変化しているか」を表す量なの。具体的な定義は第 3 章の Lagrangian の話で導入するから、今はそのイメージだけ持っておいて。

🔵 カイ: なるほど、$p$ が「位置の変化率」なら、$\pi$ は「場の変化率」——対応関係がきれいですね。

🟡 リナ: 次に $\delta^3(\mathbf{x} - \mathbf{y})$。これは 3 次元の Dirac デルタ関数で、$\mathbf{x} = \mathbf{y}$ のときだけ値を持ち、それ以外ではゼロになる関数よ。離散的な添字で使う Kronecker デルタ $\delta_{ij}$（$i = j$ のとき 1、それ以外で 0）の連続版だと思えばいいわ。

🔵 カイ: 「値を持つ」って、具体的にどういうことですか？ 1 点だけで値を持つ関数って……。

🟡 リナ: 直感的には「$\mathbf{x} = \mathbf{y}$ で無限に鋭いピークを持ち、それ以外では完全にゼロ。でもピークの面積（積分値）はちょうど 1」という特殊な関数よ。重要な性質は $\int \delta^3(\mathbf{x} - \mathbf{y})\, f(\mathbf{y})\, d^3y = f(\mathbf{x})$ ——つまり「$f$ の $\mathbf{x}$ での値を拾い出す」こと。今は「同じ点 $\mathbf{x} = \mathbf{y}$ でだけ非ゼロ」という性質だけ覚えておけば大丈夫。交換関係に $\delta^3$ が入っているのは「異なる点の場は独立」ということを表しているの。

最後に「同時刻」の条件について——量子力学で $[\hat{x}, \hat{p}] = i\hbar$ と書いたとき、$\hat{x}$ と $\hat{p}$ は同じ時刻の量だったわよね。場の量子論でも同じで、交換関係は「同じ時刻 $t$ における $\hat{\phi}$ と $\hat{\pi}$ の関係」として定義されるの。異なる時刻の場の間の関係は、運動方程式（時間発展）が決めるものだから、交換関係とは別の話になるわ。今は「同時刻の場同士の基本的な関係を定めるのが交換関係」とだけ覚えておいて。

🟡 リナ: そして表の最後の行に注目して。$\mathbf{x}$ の役割が根本的に変わるの。

🔵 カイ: あ、表の最後の行を見ると $\mathbf{x}$ の役割が変わってますね。量子力学では動的変数だったのに、場の量子論ではラベルになってる……。これってどういう意味ですか？でも量子力学でも波動関数 $\psi(x)$ の $x$ ってラベルみたいに使ってませんでしたっけ？

🟡 リナ: いいところに気づいたわね。確かに位置表示で $\psi(x)$ と書くとき、$x$ は「どの位置での確率振幅か」を指定するラベルに見えるわよね。でも量子力学の本質的な構造を見ると、$\hat{x}$ は演算子として存在していて、$\psi(x)$ はその固有状態 $|x\rangle$ への射影 $\langle x|\psi\rangle$ なの。つまり $x$ は「粒子がどこにいるか」という物理的な問いに対応する動的変数——演算子に昇格される対象——だった。一方、場の量子論では $\mathbf{x}$ は「どの点の場の値を見ているか」を指定するパラメータに過ぎない。動的変数は場 $\hat{\phi}(\mathbf{x})$ そのもの——つまり「各点での場の振幅」が力学変数なの。たとえるなら、量子力学では「粒子がどこにいるか」が問いだったけど、場の量子論では「この点の場がどれだけ振動しているか」が問いになる——主語が変わるのよ。

⚪ メイ: 問いが「どこにいる？」から「どれだけ振動している？」に変わる——主語の転換ね。

✅ 理解度チェック: 量子力学（第一量子化）と場の量子論（第二量子化）で、空間座標 $\mathbf{x}$ の役割はどのように異なるでしょうか？

答え

量子力学では $\mathbf{x}$ は粒子の位置を表す動的変数（演算子に昇格される対象）である。一方、場の量子論では $\mathbf{x}$ は空間のどの点かを指定する単なるラベル（パラメータ）であり、動的変数は各点での場の値 $\hat{\phi}(\mathbf{x})$ そのものである。

調和振動子とのアナロジー¶

🟡 リナ: ここで、量子力学「量子力学」編第 8 章で学んだ調和振動子の生成・消滅演算子を思い出してほしいの。

調和振動子のハミルトニアンは：

\[ \hat{H} = \hbar\omega\left(\hat{a}^\dagger \hat{a} + \frac{1}{2}\right) \tag{1.20} \]

$\hat{a}^\dagger$（生成演算子）と $\hat{a}$（消滅演算子）は交換関係 $[\hat{a}, \hat{a}^\dagger] = 1$ を満たすのだったわね。エネルギー固有値は $E_n = (n + 1/2)\hbar\omega$ で、$n$ は「量子の数」。$\hat{a}^\dagger$ は量子を 1 つ生成し、$\hat{a}$ は量子を 1 つ消滅させる。

🔵 カイ: 量子を 1 つ増やしたり減らしたりする演算子でしたね。これが場の量子論にどう関係するんですか？

🟡 リナ: 場の量子論では、場を Fourier (フーリエ) 展開すると各モードが独立な調和振動子になるの。

🔵 カイ: Fourier 展開って、いろんな波長の波に分解するやつですよね。でもそれがなんで調和振動子になるんですか？

🟡 リナ: いい質問。ギターの弦を思い浮かべて。弦の振動は基本振動（最も波長が長いモード）と倍音（波長が短いモード）に分解できるわよね。各モードの振幅を $q_n(t)$ と書くと、弦の波動方程式から $\ddot{q}_n + \omega_n^2 q_n = 0$ という方程式が出てくるの。これはバネにつながった質点の運動方程式——つまり調和振動子——と全く同じ形よ。「変位に比例した復元力」が働くから振動するの。そして各モードは独立に振動している。

🔵 カイ: 「独立に振動」って、基本振動の振幅を変えても倍音には影響しない、ということですか？

🟡 リナ: その通り。それぞれが勝手に振動している。これは Klein-Gordon 方程式が線形だから成り立つ性質なの。「線形」とは、方程式に $\phi^2$ や $\phi^3$ のような高次の項がなく、$\phi$ の 1 次の項だけで書かれているということ。線形方程式に Fourier 展開を代入すると、異なる波数のモードが混ざり合う項が出てこないから、各モードの方程式が独立に分離するの。もし $\phi^2$ のような非線形項があると、Fourier 展開したとき異なるモード同士が掛け合わさって互いに影響し合う（エネルギーをやり取りする）ようになる。線形だからこそ、各モードが他のモードを気にせず独立に振動できるのよ。

⚪ メイ: 線形 → モードが混ざらない → 各モードが独立な調和振動子。すっきりした構造ね。

🔵 カイ: なるほど、線形だから分解した各モードが混ざらないんですね。で、場も同じように分解できるんですか？

🟡 リナ: そう。Klein-Gordon 方程式を Fourier 展開すると、各波数 $\mathbf{k}$（波の空間的な振動の細かさを表すベクトルで、波長 $\lambda$ との関係は $|\mathbf{k}| = 2\pi/\lambda$）のモードの振幅 $q_{\mathbf{k}}(t)$ が $\ddot{q}_{\mathbf{k}} + \omega_{\mathbf{k}}^2 q_{\mathbf{k}} = 0$（ドット $\dot{}$ は時間微分の省略記法で、$\ddot{q} = d^2q/dt^2$）という調和振動子の方程式に従うことが示せるの。ここで $\omega_{\mathbf{k}} = \sqrt{|\mathbf{k}|^2 + m^2}$（自然単位系 $\hbar = c = 1$）——これは式 (1.9) の分散関係 $E^2 = |\mathbf{p}|^2 + m^2$ で $E = \omega$, $\mathbf{p} = \mathbf{k}$（自然単位系では $E = \hbar\omega \to \omega$, $\mathbf{p} = \hbar\mathbf{k} \to \mathbf{k}$）と置いたものよ。これは第 4 章で実際に計算するわ。そして各モードの「量子の数 $n$」が、そのモードに対応する粒子の数として解釈されるのよ。

🔵 カイ: なるほど！じゃあ場の量子論って、結局「無限個の調和振動子を量子化する」ということですか？

🟡 リナ: まさにそう！場の量子論の核心を一言で言えば：

場 = 無限個の調和振動子の集まり。各振動子の励起量子 = 粒子。

🔵 カイ: おお、シンプルだけど深い……。調和振動子のエネルギー準位を 1 段上がるごとに粒子が 1 個増えるってことですね。

🟡 リナ: 図 1.12「調和振動子のエネルギー準位と Fock 空間の粒子数の対応」に調和振動子のエネルギー準位と場の粒子数の対応を並べて示したわ。そして図 1.13「場の Fourier 展開と調和振動子モード」には場を Fourier 展開して各モードが調和振動子になる様子をまとめてある。

図 1.12: 調和振動子のエネルギー準位と Fock 空間の粒子数の対応。左 — 量子力学の調和振動子では $n$ は「量子の数」。右 — 場の量子論では同じ $n$ が「運動量 $\mathbf{k}$ の粒子の個数」として解釈される。生成演算子 $\hat{a}^\dagger$ で準位を上がることが粒子を 1 個増やすことに対応する。

図 1.13: 場の Fourier 展開と調和振動子モード。上 — 場 $\phi(x)$ は様々な波数 $k$ のモードの重ね合わせ。下 — 各モードは独立な調和振動子に対応し、その励起量子数 $n_k$ がそのモードの粒子数を表す。右の小図はエネルギー準位で、丸印が現在の励起状態。

🟡 リナ: これが第 4 章で詳しくやることの予告よ。今は「調和振動子の $\hat{a}^\dagger$ が粒子を生成する演算子になる」というイメージだけ掴んでおいて。

✅ 理解度チェック: 場の量子論において、場を Fourier 展開すると各モードはどのような系に対応し、そのモードの「量子数 $n$」は何を意味するでしょうか？

答え

場を Fourier 展開すると、各モードは独立な調和振動子に対応する。そのモードの量子数 $n$ は、そのモードに存在する粒子の数として解釈される。つまり「場の量子論 = 無限個の調和振動子の量子化」であり、各振動子の励起が粒子に対応する。

Fock 空間——粒子数が変わる世界の舞台¶

🟡 リナ: 粒子の数が変わる世界を記述するには、状態空間も拡張する必要があるわ。量子力学で使っていた Hilbert (ヒルベルト) 空間——量子力学の状態ベクトル $|\psi\rangle$ が住んでいる空間のことよ——は、粒子数が固定された系の状態空間だった。場の量子論では、これをFock (フォック) 空間に拡張するの。

🟡 リナ: Fock 空間の構成を説明するわ（図 1.14「Fock 空間の構造」も参照してね）。まず、粒子が 0 個の状態——真空 $|0\rangle$——を定義する。次に、1 粒子状態の空間 $\mathcal{H}_1$（「運動量 $\mathbf{p}$ の粒子が 1 個ある」という状態たちが張る空間）、2 粒子状態の空間 $\mathcal{H}_2$（運動量 $\mathbf{p}$ と $\mathbf{q}$ の粒子が 1 個ずつある状態や、同じ運動量の粒子が 2 個ある状態などが張る空間）、……と用意して、これらを全部合わせたものが Fock 空間よ：

\[ \mathcal{F} = \mathcal{H}_0 \oplus \mathcal{H}_1 \oplus \mathcal{H}_2 \oplus \cdots \tag{1.21} \]

🔵 カイ: $\oplus$ って何ですか？普通の足し算とは違うんですよね？

🟡 リナ: いい質問。$\oplus$ は直和 (direct sum) と読むの。直和とは、異なる粒子数の部分空間を「それぞれ独立なまま 1 つの大きな空間にまとめる」操作のこと。身近なたとえで言うと、$x$ 軸と $y$ 軸を合わせて $xy$ 平面を作るのが 2 つの 1 次元空間の直和よ。$x$ 方向の成分と $y$ 方向の成分は互いに干渉しない独立な方向で、平面上の任意のベクトルは「$x$ 方向の成分」と「$y$ 方向の成分」に一意に分解できるでしょう？直和はこれと同じことを、もっと多くの（場合によっては無限個の）空間に対してやる操作なの。Fock 空間の任意の状態は「粒子 0 個の成分 + 粒子 1 個の成分 + 粒子 2 個の成分 + ……」に一意に分解できるわ。

🔵 カイ: なるほど、$xy$ 平面のたとえはわかりやすいです。でも無限個の「軸」があるってことですよね？

🟡 リナ: その通り。ここで $\mathcal{H}_0$ は真空状態 $|0\rangle$ だけで張られる 1 次元の空間、$\mathcal{H}_1$ は「運動量 $\mathbf{p}$ の粒子が 1 個」という状態たちが張る空間で、$\mathbf{p}$ のとりうる値の数だけ基底がある（連続的な運動量を考えれば無限次元になるけど、今は「たくさんの基底がある大きな空間」くらいに思っておけば大丈夫よ）。イメージとしては、各空間を「部屋」に見立てて、それらを廊下でつないだ大きな建物を作る感じ。粒子 0 個の部屋、1 個の部屋、2 個の部屋……が全部つながっていて、生成・消滅演算子が「部屋の間のドア」の役割を果たすの。

図 1.14: Fock 空間の構造。各「部屋」$\mathcal{H}_n$ は粒子が $n$ 個ある状態の空間。生成演算子 $\hat{a}^\dagger$ は粒子を 1 個増やして右隣の部屋に移り、消滅演算子 $\hat{a}$ は粒子を 1 個減らして左隣の部屋に移る。

🔵 カイ: なるほど、$x$ 軸と $y$ 軸を合わせるみたいに、粒子数ごとの空間を全部合わせた「大きな空間」の中で物理が展開される、ということですね。しかも部屋が無限個あるから、Fock 空間は無限次元ってことですか？あと、粒子数が変わるって、ある「部屋」から別の「部屋」に移るってことですよね？それを実現する演算子があるんですか？

🟡 リナ: その通り、Fock 空間は無限次元よ——各「部屋」$\mathcal{H}_n$ 自体がすでに無限次元（運動量が連続的な値を取れるから）で、しかもそれが無限個あるの。そして「部屋の間を移る」演算子——まさにそれが生成演算子 $\hat{a}^\dagger$ と消滅演算子 $\hat{a}$ よ。$\hat{a}^\dagger$ が粒子を 1 個増やし、$\hat{a}$ が粒子を 1 個減らす。つまり、演算子が異なる粒子数の部分空間をつなぐの。

⚪ メイ: つまり、量子力学では演算子は粒子数が固定された空間の中で状態を変えるだけだったけど、Fock 空間では生成・消滅演算子が「部屋の間のドア」を開けて粒子数を変えられるのね。

🟡 リナ: その通り。これが「粒子の生成・消滅」の数学的な実現よ。

🟡 リナ: 具体的に書くと、運動量 $\mathbf{p}$ の粒子を生成する演算子 $\hat{a}^\dagger_{\mathbf{p}}$ は：

ここで $|n_{\mathbf{p}}\rangle$ という記号を導入するわ。これは「運動量 $\mathbf{p}$ のモードに粒子が $n$ 個ある状態」を表す記法よ。$n = 0$ なら粒子なし（真空）、$n = 1$ なら粒子 1 個、という具合。この記法を使うと：

\[ \hat{a}^\dagger_{\mathbf{p}} |0\rangle = |1_{\mathbf{p}}\rangle \tag{1.22} \]

つまり式 (1.22) は「真空に運動量 $\mathbf{p}$ の粒子を 1 個生成する」という意味。一般に：

\[ \hat{a}^\dagger_{\mathbf{p}} |n_{\mathbf{p}}\rangle = \sqrt{n_{\mathbf{p}}+1}\,|(n_{\mathbf{p}}+1)_{\mathbf{p}}\rangle \tag{1.23} \]

この $\sqrt{n+1}$ という係数は、量子力学「量子力学」編第 8 章で調和振動子の生成演算子について導いた $\hat{a}^\dagger |n\rangle = \sqrt{n+1}\,|n+1\rangle$ と全く同じ構造。「なぜ $\sqrt{n+1}$ なのか」は「量子力学」編第 8 章で交換関係から導出したから、忘れていたら振り返ってみてね。式 (1.22) はこの一般公式で $n_{\mathbf{p}} = 0$ とした場合に相当するわ——$\sqrt{0+1} = 1$ だから係数が 1 になって見えなくなっているだけ。たとえば $n_{\mathbf{p}} = 1$ を代入すれば：

\[ \hat{a}^\dagger_{\mathbf{p}} |1_{\mathbf{p}}\rangle = \sqrt{2}\,|2_{\mathbf{p}}\rangle \tag{1.24} \]

消滅演算子 $\hat{a}_{\mathbf{p}}$ は逆に粒子を 1 個減らすわ：

\[ \hat{a}_{\mathbf{p}} |n_{\mathbf{p}}\rangle = \sqrt{n_{\mathbf{p}}}\,|(n_{\mathbf{p}}-1)_{\mathbf{p}}\rangle \tag{1.25} \]

特に重要なのは $n_{\mathbf{p}} = 0$ の場合。代入すると $\hat{a}_{\mathbf{p}}|0_{\mathbf{p}}\rangle = \sqrt{0}\,|(-1)_{\mathbf{p}}\rangle = 0$——係数 $\sqrt{0} = 0$ がかかるから右辺全体がゼロになるの。つまり $\hat{a}_{\mathbf{p}}|0\rangle = 0$ で、真空からさらに粒子を取り除くことはできない。これが「はしごの一番下」に対応するの。

🔵 カイ: おお！調和振動子の「エネルギー準位のはしごを上る」が、「粒子を 1 個増やす」に読み替わるんですね！そして一番下が真空で、それ以上は下がれない。でも、無限個の調和振動子があったら、ゼロ点エネルギー $\frac{1}{2}\hbar\omega$ も無限個分で発散しませんか？

🟡 リナ: 鋭い。実はその問題は本当に存在するの。でも今は先に進んで、Part V「くりこみ」でその問題に正面から取り組むわ。まずはボソンの場合の基本的な代数を書いておくわね。ここでは話を簡単にするために、箱の中に場を閉じ込めて、許される運動量を飛び飛びの値に制限した場合を考えるわ（ギターの弦で許される振動数が飛び飛びになるのと同じ理屈よ。離散的な方が和で書けて扱いやすいの）。ボソンの生成・消滅演算子は交換関係 (commutator) を満たすの：

\[ [\hat{a}_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}] = \delta_{\mathbf{p}\mathbf{q}} \tag{1.26} \]

fermion (フェルミオン) の場合は反交換する：

\[ \{\hat{a}_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}\} = \delta_{\mathbf{p}\mathbf{q}} \tag{1.27} \]

ここで $\delta_{\mathbf{p}\mathbf{q}}$ は「$\mathbf{p} = \mathbf{q}$ のとき 1、それ以外で 0」を意味する Kronecker デルタよ（運動量を離散的に扱っている場合）。さっき出てきた Dirac デルタ $\delta^3(\mathbf{x} - \mathbf{y})$ の離散版ね。連続的な運動量を使う場合は $\delta^3(\mathbf{p} - \mathbf{q})$ に置き換わるけど、本質は同じ——「同じモード同士だけが非ゼロの交換関係を持つ」ということよ。

🔵 カイ: 交換関係と反交換関係で何が変わるんですか？

🟡 リナ: 大きな違いがあるの。フェルミオンの場合、生成演算子同士も反交換関係を満たすの：$\{\hat{a}^\dagger_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}\} = 0$。特に $\mathbf{p} = \mathbf{q}$ とすると $2(\hat{a}^\dagger_{\mathbf{p}})^2 = 0$、つまり $(\hat{a}^\dagger_{\mathbf{p}})^2 = 0$ が導かれる。これは同じ状態に粒子を 2 回生成しようとすると結果がゼロになるということ——Pauli の排他原理が自動的に出てくるのよ。

🔵 カイ: なるほど、$\hat{a}^\dagger_{\mathbf{p}}$ を 2 回作用させると $0$ になるから、同じ状態に 2 個目は入れないんですね。

⚪ メイ: 排他原理を別途仮定しなくても、反交換関係から導かれるのね。

🟡 リナ: 図 1.15「ボソンとフェルミオンの占有数の違い」にボソンとフェルミオンの占有数の違いを図示したわ。そして下の表にも両者の性質を対比しておくわね。

図 1.15: ボソンとフェルミオンの占有数の違い。左 — ボソンは交換関係を満たし、同じ量子状態にいくつでも粒子が入れる。右 — フェルミオンは反交換関係を満たし、各状態に最大 1 個しか入れない（Pauli の排他原理）。

表 1.7: ボソンとフェルミオンの比較

	ボソン（光子、Higgs 粒子など）	フェルミオン（電子、クォークなど）
統計	Bose-Einstein 統計	Fermi-Dirac 統計
代数的関係	交換関係 $[\hat{a}_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}] = \delta_{\mathbf{p}\mathbf{q}}$	反交換関係 $\{\hat{a}_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}\} = \delta_{\mathbf{p}\mathbf{q}}$
占有数	$n = 0, 1, 2, 3, \ldots$（制限なし）	$n = 0, 1$ のみ（排他原理）
スピン	整数（$0, 1, 2, \ldots$）	半整数（$1/2, 3/2, \ldots$）
代表例	光子、グルーオン、$W/Z$、Higgs	電子、クォーク、ニュートリノ
🟡 リナ: その通り。これが場の量子論の代数的な骨格。第 4 章と第 5 章でスカラー場と Dirac 場についてこれを実行していくわ。

✅ 理解度チェック: フェルミオンの生成演算子が反交換関係を満たすことから、Pauli の排他原理がどのように導かれるでしょうか？

答え

反交換関係 $\{\hat{a}_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}\} = \delta_{\mathbf{p}\mathbf{q}}$ から $(\hat{a}^\dagger_{\mathbf{p}})^2 = 0$ が導かれる。これは同じ状態 $\mathbf{p}$ に粒子を 2 回生成しようとすると結果がゼロになることを意味し、同一の量子状態に 2 個以上のフェルミオンが存在できないという Pauli の排他原理が自動的に成り立つ。

✅ 理解度チェック: Fock 空間が通常の Hilbert 空間と本質的に異なる点を 1 つ挙げてください。

答え

Fock 空間は異なる粒子数の状態を同時に含む（粒子数 0, 1, 2, ... の部分空間の直和）。通常の Hilbert 空間は粒子数が固定されているのに対し、Fock 空間では生成・消滅演算子が粒子数を変える操作を可能にする。

1.8　人類史上最も精密なモデル¶

🟡 リナ: 最後に、場の量子論がどれほど成功しているかを示す数字を紹介しておくわ。

場の量子論の中でも特に成熟しているのが QED (Quantum Electrodynamics, 量子電磁力学)——電子と光子の相互作用を記述するモデルよ。QED による電子の異常磁気モーメント (anomalous magnetic moment) の理論予測は：

\[ a_e^{\text{theory}} = 0.001\,159\,652\,181\,78(77) \]

実験値は：

\[ a_e^{\text{exp}} = 0.001\,159\,652\,180\,73(28) \]

ここで括弧内の数字は末尾の桁の不確かさを表しているわ。たとえば実験値の $(28)$ は最後の 2 桁に $\pm 28$ の不確かさがあるという意味。理論値の $(77)$ なら最後の 2 桁に $\pm 77$ の不確かさがあるということよ。（理論値は QED の 5 次（5 ループ）補正に加え、ハドロン補正や弱い力の補正も含めた計算結果。実験値は Penning トラップを用いた精密測定による。詳しくは Aoyama et al., Phys. Rev. Lett. 109, 111807 (2012) および Hanneke et al., Phys. Rev. Lett. 100, 120801 (2008) を参照。）

🔵 カイ: 小数点以下 10 桁まで一致してる！でも、なんで「異常」磁気モーメントっていうんですか？普通の磁気モーメントと何が違うんだろう。

🟡 リナ: いい質問。磁気モーメントというのは、電子が持つ「小さな磁石としての強さ」のこと。電子はスピンを持っているから、回転する荷電粒子として磁場を作るの。Dirac 方程式から予測される磁気モーメントの値を「正常値」とすると、実際の値はそこからわずかにずれている。そのずれの大きさを表す無次元量が $a_e$ で、「異常磁気モーメント」と呼ぶの。具体的には $a_e = (g - 2)/2$ と定義される量で、$g$ は磁気モーメントの大きさを決める「$g$ 因子」（「量子力学」編第 17 章で学んだ Dirac 方程式の予測は $g = 2$）。もし Dirac 方程式が完全に正しければ $a_e = 0$ になるはずだけど、実際にはゼロではない。そのずれの原因は、電子が仮想光子を放出・吸収する量子補正——まさに場の量子論で計算する効果——よ。

⚪ メイ: Dirac 方程式だけでは完全に正しくなくて、仮想光子の効果が実測可能なずれを生む——場の量子論が必要な証拠ね。

🟡 リナ: これは東京からニューヨークまでの距離を測って、髪の毛 1 本分以下の誤差しかない精度に相当するわ。場の量子論は「美しいだけの理論」ではなく、人類がこれまでに作り上げた最も精密にテストされた物理モデルなの。

🔵 カイ: さっき力の媒介で出てきた仮想光子が、磁気モーメントのずれまで引き起こすんだ……。でも、仮想光子が何回も出たり入ったりしたら、計算が無限に複雑になりませんか？ 1 回の放出・吸収、2 回、3 回……って無限に足し合わせたら発散しそうなんですけど。

🟡 リナ: まさにそこが場の量子論の核心的な難しさよ。実際、素朴に計算すると無限大が出てくる。でもそれを系統的に処理する方法——「くりこみ」——があるの。Part V で正面から取り組むわ。楽しみにしていてね。

🔵 カイ: 無限大が出てくるのに、それを処理して 10 桁の精度が出るって……。無限大を「処理する」って、無限大を無視するってことですか？それとも何か別のやり方があるんですか？

🟡 リナ: 無視するのではなく、系統的に「吸収する」方法があるの。でもそれは Part V の話。今は「場の量子論は驚異的な精度で自然を記述する」という事実だけ持ち帰ってね。

🔵 カイ: うーん、「吸収する」って言われてもまだピンとこないけど……。でも逆に言えば、無限大が出てくるのに処理できるってことは、無限大の「出方」に何か規則性があるってことですよね？でたらめに発散するなら処理のしようがないはずだから。

🟡 リナ: 鋭いわね。まさにその通りで、発散の構造に規則性がある——具体的には、無限大が常に「質量」や「電荷」といった少数のパラメータの再定義に吸収できる形で現れるの。だからこそ系統的に処理できる。その仕組みの正体が Part V のテーマよ。楽しみにしていてね。

🔵 カイ: 少数のパラメータに吸収できる……。ということは、無限大が出てくる場所は毎回違っても、その「形」はいつも同じパターンなんですか？まだ全然イメージ湧かないけど、Part V が楽しみです。

🟡 リナ: さて、この章で見てきたことを振り返ると——Klein-Gordon 方程式の確率密度の破綻、対生成の不可避性、因果律の要請、これらすべてが「1 粒子の量子力学では不十分」という同じ結論を指していて、その解決策が「場を量子化して Fock 空間で記述する」ということだったわね。3 つの論拠が互いに独立でありながら同じ結論に収束する——これは場の量子論が「たまたまうまくいく」のではなく、自然が本当にそうなっていることの強い証拠よ。

⚪ メイ: 独立な論拠が同じ結論を指しているのがきれいね。これからその理論を一から構築していくのが楽しみだわ。

✅ 理解度チェック: QED（量子電磁力学）の精密さを示す代表的な物理量は何か。また、理論と実験はどの程度一致しているでしょうか？

答え

代表的な物理量は電子の異常磁気モーメント $a_e$ である。QED の理論予測と実験値は小数点以下 10 桁まで一致しており、これは人類がこれまでに達成した最も精密な理論と実験の一致である。

1.9　本「場の量子論」編全体のロードマップ¶

🟡 リナ: 最後に、これから 24 章にわたる旅の全体像を見渡しておきましょう。大きく 7 つの Part に分かれるわ。図 1.16「本「場の量子論」編全体のロードマップ（全 24 章・7 パート構成）」に視覚的なロードマップを示したわ。

図 1.16: 本「場の量子論」編全体のロードマップ（全 24 章・7 パート構成）。Part I（本章を含む復習と古典場）から始まり、自由場の量子化、QED と Feynman 図、経路積分、くりこみ、標準模型へと進み、最終的に量子重力問題に到達する。

Part I：復習と古典場（第 1 章〜第 3 章）

第 2 章特殊相対論と Lorentz 不変性の復習
第 3 章古典場の理論（Lagrangian, Noether の定理）

Part II：自由場の正準量子化（第 4 章〜第 6 章）

Part III：最初のご褒美——QED と Feynman ダイアグラム（第 7 章〜第 9 章）

Part IV：経路積分（第 10 章〜第 12 章）

Part V：くりこみと繰り込み群（第 13 章〜第 16 章）

Part VI：標準模型（第 17 章〜第 21 章）

Part VII：その先へ（第 22 章〜第 24 章）

🔵 カイ: 壮大な旅ですね……。でも今日の話で「なぜこの旅が必要なのか」はよくわかりました。

⚪ メイ: まとめると、Klein-Gordon 方程式の確率密度の破綻、対生成の不可避性、因果律の要請——3 つの独立な論拠がすべて「場の量子化」を要求していて、その舞台が Fock 空間。ここから先は、この枠組みを具体的に構築していく旅ね。

🟡 リナ: その通り。「なぜ」がわかっていれば、「どうやって」は必ず理解できる。次章ではまず特殊相対論の道具を整備して、Lorentz 共変な記法に慣れましょう。

次章予告¶

第 2 章特殊相対論と Lorentz 不変性の復習

場の量子論を定式化するには、Lorentz 不変性を自在に操る「言語」が不可欠だ。次章では 4 元ベクトル、Lorentz 変換、計量テンソル $\eta_{\mu\nu}$、共変・反変の区別を整理し、物理量を添字で書き下す技術を身につける。一般相対論第 3〜4 章の内容を QFT 用に再構成する。この記法に慣れれば、以降の章で登場するすべての方程式が「Lorentz 不変であること」を一目で確認できるようになる。

練習問題¶

📝 練習問題:

Klein-Gordon 方程式の確率密度の計算 → 問題 M-1. Klein-Gordon 方程式の確率流密度の Lorentz 共変性

Compton 波長と不確定性原理 → 問題 B-5. Compton 波長の計算

Compton 波長と対生成のスケール → 問題 M-3. Compton 波長と位置の局在化

対生成の閾値エネルギー → 問題 B-7. 不確定性関係による対生成の時間スケール

参考文献¶

Lancaster & Blundell, Quantum Field Theory for the Gifted Amateur 第 1 章「What is quantum field theory?」
坂本眞人『場の量子論 — 不変性と自由場を中心にして』 第 8 章「場と粒子」
Schwartz, Quantum Field Theory and the Standard Model 第 1 章「Microscopic theory of radiation」
Tong, Lectures on Quantum Field Theory 第 1 章「Classical Field Theory」序論

← この旅へようこそ第2章特殊相対論と Lorentz 不変性の復習 →

このページについてフィードバック

分からなかった箇所、誤りの指摘、改善提案などをお寄せください。

力	媒介する粒子
電磁気力	光子 \(\gamma\)
弱い力	\(W^\pm\), \(Z^0\) boson (ボソン)
強い力	gluon (グルーオン)
重力	graviton (重力子)（未検出）

粒子	対応する場	スピン	場の種類
光子 \(\gamma\)	電磁場 \(A_\mu\)	1	ベクトル場（ゲージ場）
電子 \(e^-\)	Dirac 場 \(\psi_e\)	1/2	スピノル場
クォーク \(q\)	Dirac 場 \(\psi_q\)	1/2	スピノル場
Higgs 粒子 \(H\)	スカラー場 \(\phi\)	0	スカラー場
グルーオン \(g\)	Yang-Mills 場 \(A_\mu^a\)	1	ベクトル場（ゲージ場）
重力子	計量テンソル場 \(g_{\mu\nu}\)	2	テンソル場

	量子力学（第一量子化）	場の量子論（第二量子化）
力学変数	粒子の位置 \(\hat{x}\)、運動量 \(\hat{p}\)	場 \(\hat{\phi}(\mathbf{x})\)、共役運動量 \(\hat{\pi}(\mathbf{x})\)
交換関係	\([\hat{x}, \hat{p}] = i\hbar\)	\([\hat{\phi}(\mathbf{x}, t), \hat{\pi}(\mathbf{y}, t)] = i\hbar\,\delta^3(\mathbf{x} - \mathbf{y})\)（同時刻）
\(\mathbf{x}\) の役割	粒子がどこにいるかを表す動的変数	空間のどの点かを示すラベル（パラメータ）

第 1 章 場の量子論が必要な理由 — 「量子力学」編 第 27 章の続きから¶

1.1 「量子力学」編 第 27 章の到達点——出発点の確認¶

1.2 Klein-Gordon 方程式の困難——確率解釈の破綻¶