HOME ＞ 場の量子論 ＞ ゲージ場の量子論 ＞ グプタ-ブロイラー条件
【前ページ】 【次ページ】
本ページでは…
本ページでは、グプタ＝ブロイラー条件とは何かを基礎から解説し、負のノルムを持つ状態がどのように排除されるのかを確認する。グプタ-ブロイラー条件は場の量子論において重要な役割を果たし、非物理的状態である縦波モードと負のノルムを持つスカラーモードを取り除くための条件である。本記事では、その具体的な仕組みを途中式を省略せずに丁寧に解説する。
前ページまで…
前ページでは、不定計量空間とは何かを基礎から解説し、負のノルムを持つ状態がどのように現れるのかを見た。不定計量空間は場の量子論において重要な役割を果たし、特にスカラーモードの1粒子状態が負のノルムを持つことが特徴である。
内容
グプタ-ブロイラー条件
これまで、ファインマンゲージ固定項を加えたラグランジアン密度\(\mathscr L\)から正準共役運動量を定義し、第2量子化によって生成消滅演算子で表したハミルトニアンを求めた。ここで、忘れてはならないのが期待値の条件
\begin{align*}\langle\varPsi\vert\partial_\nu\hat A^\nu\vert\varPsi\rangle=0\tag{1}\end{align*}
である。この期待値の条件の下で、実は、非物理的状態の縦波モード\(\vert\boldsymbol k,3\rangle\)とノルムが負であるスカラーモード\(\vert\boldsymbol k,0\rangle\)は打ち消し合い、負のノルムを排除して正定値計量空間とすることができる。
縦波モード\(\vert\boldsymbol k,3\rangle\)とスカラーモード\(\vert\boldsymbol k,0\rangle\)が期待値の条件を満たさないことを確かめる前に、期待値の条件より扱いやすいグプタ-ブロイラー条件を導く。生成消滅演算子で表したゲージ場\(A^\nu\)
\begin{align}\hat A^\nu&=\int\text{d}^3\boldsymbol{k}\ \sum_{\lambda=0}^3\left\{\hat a(\boldsymbol{k},\lambda)\epsilon^\nu(\boldsymbol k,\lambda)f_k^{+}+\hat a^\dagger(\boldsymbol{k},\lambda)\epsilon^\nu{}^*(\boldsymbol k,\lambda)f_k^{-}\right\}\tag{2}\end{align}
を、次の2つの関数\(\hat A^{\nu(+)}\),\(\hat A^{\nu(-)}\)
\begin{align}\hat A^{\nu(+)}&=\int\text{d}^3\boldsymbol{k}\ \sum_{\lambda=0}^3\left\{\hat a(\boldsymbol{k},\lambda)\epsilon^\nu(\boldsymbol k,\lambda)f_k^{+}\right\}\tag{3}\\&=\left(\hat A^{\nu(-)}\right)^\dagger\\\hat A^{\nu(-)}&=\int\text{d}^3\boldsymbol{k}\ \sum_{\lambda=0}^3\left\{\hat a^\dagger(\boldsymbol{k},\lambda)\epsilon^\nu{}^*(\boldsymbol k,\lambda)f_k^{-}\right\}\\&=\left(\hat A^{\nu(+)}\right)^\dagger\tag{4}\end{align}
それぞれの式で2行目への変形では次の関係を用いた。
\begin{align*}f_k^+&=\frac{e^{- ik\cdot x}}{\sqrt{(2\pi)^32\omega_{\boldsymbol k}}}\\&=\left(f_k^-\right)^*\\f_k^-&=\frac{e^{ik\cdot x}}{\sqrt{(2\pi)^32\omega_{\boldsymbol k}}}\\&=\left(f_k^+\right)^*\end{align*}
の和
\begin{align*}\hat A^\nu=\hat A^{\nu(+)}+\hat A^{\nu(-)}\tag{5}\end{align*}
で表すと、次の条件
\begin{align*}\partial_\nu\hat A^{\nu(+)}\vert\varPsi\rangle=0\tag{6}\end{align*}
が成り立てば期待値の条件式(1)を満たすことができ、この条件をグプタ-ブロイラー条件(または、弱いローレンツ条件)という。実際に成り立つことは、グプタ-ブロイラー条件のエルミート共役をとると
\begin{align*}\langle\varPsi\vert\partial_\nu\left(\hat A^{\nu(+)}\right)^\dagger=0\\\rightarrow\langle\varPsi\vert\partial_\nu\hat A^{\nu(-)}=0\tag{7}\end{align*}
となるから、式(5)と式(6)、式(7)を用いると式(1)の左辺は
\begin{align*}\langle\varPsi\vert\partial_\nu\hat A^\nu\vert\varPsi\rangle&=\langle\varPsi\vert\partial_\nu\hat A^{\nu(+)}\vert\varPsi\rangle+\langle\varPsi\vert\partial_\nu\hat A^{\nu(-)}\vert\varPsi\rangle\\&=0\tag{8}\end{align*}
となって期待値の条件式(1)が成り立つことがわかる。
グプタ-ブロイラー条件は変形すると次のようにより具体的な形にすることができる。
\begin{align*}(\hat a(\boldsymbol{k},0)-\hat a(\boldsymbol{k},3))\vert\varPsi\rangle=0\tag{9}\end{align*}
\begin{align}\partial_\nu\hat A^{\nu(+)}\vert\varPsi\rangle&=0\\-i\int\text{d}^3\boldsymbol{k}\ \sum_{\lambda=0}^3\left\{\hat a(\boldsymbol{k},\lambda)k_\nu\epsilon^\nu(\boldsymbol k,\lambda) f_k^{+}\right\}\vert\varPsi\rangle&=0\\-i\int\text{d}^3\boldsymbol{k}\ \left\{\hat a(\boldsymbol{k},0)\omega_{\boldsymbol k} f_k^{+}-\hat a(\boldsymbol{k},3)\omega_{\boldsymbol k}f_k^{+}\right\}\vert\varPsi\rangle&=0\\(\hat a(\boldsymbol{k},0)-\hat a(\boldsymbol{k},3))\vert\varPsi\rangle&=0\end{align}
2行目への変形では、ゲージ場に含まれる関数\(f_k^{+}\)が
\begin{align*}f_k^+&=\frac{e^{- ik\cdot x}}{\sqrt{(2\pi)^32\omega_{\boldsymbol k}}}\end{align*}
であり、時空微分が
\begin{align*}\partial_\nu f_k^{+}&=-ik_\nu f_k^{+}\end{align*}
となることを用い、3行目への変形では
\begin{align*}k_\nu\epsilon^\nu(\boldsymbol k,0)&=\omega_{\boldsymbol k}\\k_\nu\epsilon^\nu(\boldsymbol k,1)&=0\\k_\nu\epsilon^\nu(\boldsymbol k,2)&=0\\k_\nu\epsilon^\nu(\boldsymbol k,3)&=-\vert\boldsymbol k\vert=-\omega_{\boldsymbol k}\end{align*}
を用い(前ページを参照)、4行目への変形では被積分関数があらゆる運動量\(\boldsymbol k\)で成り立たなければならないことを用いて
\begin{align*}(\hat a(\boldsymbol{k},0)-\hat a(\boldsymbol{k},3))\vert\varPsi\rangle&=0\end{align*}
を導いた。
この条件式(9)の左辺に非物理的状態の縦波モード\(\vert\boldsymbol k,3\rangle\)とノルムが負であるスカラーモード\(\vert\boldsymbol k,0\rangle\)を代入すると、
\begin{align*}(\hat a(\boldsymbol{k},0)-\hat a(\boldsymbol{k},3))\vert\boldsymbol k,3\rangle=\vert0\rangle\neq0\tag{10}\\(\hat a(\boldsymbol{k},0)-\hat a(\boldsymbol{k},0))\vert\boldsymbol k,0\rangle=-\vert0\rangle\neq0\tag{11}\end{align*}
式(10)および式(11)では真空状態の定義
\begin{align*}\hat a(\boldsymbol{k},3)\vert\boldsymbol k,3\rangle&=\vert0\rangle\\\hat a(\boldsymbol{k},0)\vert\boldsymbol k,0\rangle&=\vert0\rangle\end{align*}
と、異なる状態の消滅演算子が作用するとゼロとなる関係式
\begin{align*}\hat a(\boldsymbol{k},3)\vert\boldsymbol k,0\rangle&=0\\\hat a(\boldsymbol{k},0)\vert\boldsymbol k,3\rangle&=0\end{align*}
を用いた。
となって条件式(9)は成り立たない。つまり、物理状態がグプタ-ブロイラー条件を満たすとすると、縦波モードとスカラーモードは物理状態から取り除かれて正定値計量空間となることがわかる。
最後に、グプタ-ブロイラー条件を用いて、ハミルトニアン\(\hat H\)と運動量\(\hat{\boldsymbol P}\)
\begin{align}\hat H&=\int\text{d}^3\boldsymbol{k}\ E_k\hat a^\dagger(\boldsymbol{k})\hat a(\boldsymbol{k})\tag{12}\\\hat{\boldsymbol{P}}&=\int\text{d}^3\boldsymbol{k}\ \boldsymbol{k}\hat a^\dagger(\boldsymbol{k})\hat a(\boldsymbol{k})\tag{13}\end{align}
の期待値を求めると、
\begin{align*}\langle\psi\vert\hat H\vert\psi\rangle&=\langle\psi\vert\int\text{d}^3\boldsymbol{k}\ \omega_{\boldsymbol k}\sum_{\lambda=1}^2\hat a^\dagger(\boldsymbol{k},\lambda)\hat a(\boldsymbol{k},\lambda)\vert\psi\rangle\tag{14}\\\langle\psi\vert\hat{\boldsymbol{P}}\vert\psi\rangle&=\langle\psi\vert\int\text{d}^3\boldsymbol{k}\ \boldsymbol{k}\sum_{\lambda=1}^2\hat a^\dagger(\boldsymbol{k},\lambda)\hat a(\boldsymbol{k},\lambda)\vert\psi\rangle\tag{15}\end{align*}
となって、縦波モードの寄与とスカラーモードの寄与が打ち消し合って横波モードの寄与のみが残ることがわかる。
以上より、グプタ-ブロイラー条件を満たす物理状態\(\vert\varPsi\rangle\)は横波モードの生成演算子のみを用いて
\begin{align*}\vert\varPsi\rangle=\prod_{i=0}^n\hat a^\dagger(\boldsymbol k_i,\lambda_i)\vert0\rangle\tag{16}\end{align*}
と表せることがわかる(ここで、\(\lambda_i=1,2\)である)。
グプタ-ブロイラー条件以外の条件
グプタ-ブロイラー条件
\begin{align*}\partial_\nu\hat A^{\nu(+)}\vert\varPsi\rangle=0\tag{6}\end{align*}
は期待値の条件式(1)を満たしたが、次の条件
\begin{align*}\partial_\nu\hat A^{\nu(-)}\vert\varPsi\rangle=0\tag{17}\end{align*}
も期待値の条件式(1)を満たすため、この条件を満たすものを物理状態\(\vert\varPsi\rangle\)として捉えるのはどうだろうか。実は、条件式(17)を式(6)のように変形すると
\begin{align*}(\hat a^\dagger(\boldsymbol{k},0)-\hat a^\dagger(\boldsymbol{k},3))\vert\varPsi\rangle=0\tag{18}\end{align*}
\begin{align}\partial_\nu\hat A^{\nu(-)}\vert\varPsi\rangle&=0\\i\int\text{d}^3\boldsymbol{k}\ \sum_{\lambda=0}^3\left\{\hat a^\dagger(\boldsymbol{k},\lambda)k_\nu\epsilon^\nu{}^*(\boldsymbol k,\lambda) f_k^{-}\right\}\vert\varPsi\rangle&=0\\i\int\text{d}^3\boldsymbol{k}\ \left\{\hat a^\dagger(\boldsymbol{k},0)\omega_{\boldsymbol k} f_k^{-}-\hat a^\dagger(\boldsymbol{k},3)\omega_{\boldsymbol k}f_k^{-}\right\}\vert\varPsi\rangle&=0\\(\hat a^\dagger(\boldsymbol{k},0)-\hat a^\dagger(\boldsymbol{k},3))\vert\varPsi\rangle&=0\end{align}
2行目への変形では、ゲージ場に含まれる関数\(f_k^{-}\)が
\begin{align*}f_k^-&=\frac{e^{ik\cdot x}}{\sqrt{(2\pi)^32\omega_{\boldsymbol k}}}\end{align*}
であり、時空微分が
\begin{align*}\partial_\nu f_k^{-}&=ik_\nu f_k^{-}\end{align*}
となることを用い、3行目への変形では
\begin{align*}k_\nu\epsilon^\nu{}^*(\boldsymbol k,0)&=\omega_{\boldsymbol k}{}^*=\omega_{\boldsymbol k}\\k_\nu\epsilon^\nu{}^*(\boldsymbol k,1)&=0\\k_\nu\epsilon^\nu{}^*(\boldsymbol k,2)&=0\\k_\nu\epsilon^\nu{}^*(\boldsymbol k,3)&=-\omega_{\boldsymbol k}{}^*=-\omega_{\boldsymbol k}\end{align*}
を用い(前ページを参照)、4行目への変形では被積分関数があらゆる運動量\(\boldsymbol k\)で成り立たなければならないことを用いて
\begin{align*}(\hat a^\dagger(\boldsymbol{k},0)-\hat a^\dagger(\boldsymbol{k},3))\vert\varPsi\rangle=0\end{align*}
を導いた。
となって、｢物理状態\(\vert\varPsi\rangle\)からスカラーモードの粒子が1つ増えた状態\(\hat a^\dagger(\boldsymbol{k},0)\)｣と｢物理状態\(\vert\varPsi\rangle\)から縦波モードの粒子1つが増えた状態\(\hat a^\dagger(\boldsymbol{k},3)\)｣が等しい状態しかこの条件式を満たさず、そのような物理状態\(\vert\varPsi\rangle\)は存在しないため、この条件式(17)を式(6)の代わりに使うことはできない。
では、期待値の条件式(1)を満たす別の条件式として、次の条件式(強いローレンツ条件という)
\begin{align*}\partial_\nu\hat A^\nu\vert\varPsi\rangle=0\tag{19}\end{align*}
はどうだろうか。この条件式は式(5)を用いて
\begin{align*}(\partial_\nu\hat A^{\nu(+)}+\partial_\nu\hat A^{\nu(-)})\vert\varPsi\rangle=0\tag{20}\end{align*}
と変形でき、\(\hat A^{\nu(+)}\)と\(\hat A^{\nu(-)}\)は独立であるため、次の2式
\begin{align*}\partial_\nu\hat A^{\nu(+)}\vert\varPsi\rangle&=0\tag{6}\\\partial_\nu\hat A^{\nu(-)}\vert\varPsi\rangle&=0\tag{17}\end{align*}
に置き換えることができる。これらの2式は
\begin{align*}(\hat a(\boldsymbol{k},0)-\hat a(\boldsymbol{k},3))\vert\varPsi\rangle=0\tag{9}\\(\hat a^\dagger(\boldsymbol{k},0)-\hat a^\dagger(\boldsymbol{k},3))\vert\varPsi\rangle=0\tag{18}\end{align*}
と等価であるが、この条件式を満たす物理状態\(\vert\varPsi\rangle\)は存在せず(そもそも、式(18)だけ考えても、これを満たす物理状態は存在しない)、この条件式(19)も式(6)の代わりに使うことはできない。
以上より、分かることが2つある。1つは、条件式(17)や強いローレンツ条件式(19)も期待値の条件式(1)を満たすため、期待値の条件式(1)とグプタ-ブロイラー条件式(6)は完全には等価でないことである。もう1つは、式(9)のように消滅演算子のみに制限を課しても条件を満たす物理状態が存在するが、式(18)のように生成演算子に制限を課すと条件を満たす物理状態は存在しなくなるということである。
次ページから…
【前ページ】 【次ページ】
HOME ＞ 場の量子論 ＞ ゲージ場の量子論 ＞ グプタ-ブロイラー条件
