ボゴリューボフ変換のソースを表示

[[理論物理学]]において'''ボゴリューボフ変換'''（ボゴリューボフへんかん、{{lang-en-short|Bogoliubov transformation}}）とは、複数の異なる[[生成消滅演算子]]を混ぜて、粒子対（[[準粒子]]）を生成する変換のこと。

均一系の[[BCS理論]]の解を求めるために[[ニコライ・ボゴリューボフ]]とJohn George Valatinがそれぞれ独立に導入した<ref>{{cite journal |last1=Valatin |first1=J. G. |title=Comments on the theory of superconductivity |journal=Il Nuovo Cimento |date=March 1958 |volume=7 |issue=6 |pages=843–857 |doi=10.1007/bf02745589|bibcode = 1958NCim....7..843V }}</ref><ref>{{cite journal |last1=Bogoljubov |first1=N. N. |title=On a new method in the theory of superconductivity |journal=Il Nuovo Cimento |date=March 1958 |volume=7 |issue=6 |pages=794–805 |doi=10.1007/bf02745585|bibcode = 1958NCim....7..794B }}</ref> 。

ボゴリューボフ変換は、{{仮リンク|正準交換関係代数|en|canonical commutation relation algebra}}または{{仮リンク|正準反交換関係代数|en|canonical anticommutation relation algebra}}の[[同型写像]]になっている。

ボゴリューボフ変換は、[[ハミルトニアン]]を[[対角化]]してその[[固有状態]]を求めることに用いられる。例えば、一様な超伝導体の[[BCS理論|BCS波動関数]]は、ボゴリューボフ変換を用いて導出できる。ボゴリューボフ変換は、[[ウンルー効果]]や[[ホーキング輻射]]や他の多くのトピックスを理解する上でも重要である。

== ボース粒子の場合 ==
=== 定義 ===
同じ振動数を持つ2つの調和振動子の系を考える<ref name=iso>{{Cite book|和書|author=磯 暁|title=現代物理学の基礎としての場の量子論|publisher=共立出版|year=2015|isbn=978-4-320-03487-7}}</ref>。この系のハミルトニアンは次のように与えられる。
:<math>\begin{align}
\hat{H}&=\hat{H}_1+\hat{H}_2 \\
\hat{H}_i&=\frac{\hat{p}_i^2}{2m}+\frac{\omega^2\hat{x}_i^2}{2}=\hbar\omega(\hat{a}_i^\dagger\hat{a}_i+1)\quad(i=1,2)
\end{align}</math>

この系の基底状態（[[真空状態]]）は、それぞれの調和振動子の基底状態の[[直積 (ベクトル)|直積]]で与えられる（[[フォック状態]]）。
:<math>|0\rangle=|0\rangle_1\otimes|0\rangle_2</math>
ここで次の[[ユニタリー演算子]]<math>U_\theta</math>を導入する。
:<math>\begin{align}
U_\theta&\equiv\exp(\theta G_\phi)=\exp[\theta (\hat{a}_1\hat{a}_2e^{i\phi}-\hat{a}_1^\dagger\hat{a}_2^\dagger e^{-i\phi})] \\
G_\phi&\equiv(\hat{a}_1\hat{a}_2e^{i\phi}-\hat{a}_1^\dagger\hat{a}_2^\dagger e^{-i\phi})
\end{align}</math>

演算子<math>G_\phi</math>は反エルミート<math>G_\phi^\dagger=-G_\phi</math>である。

このユニタリー演算子<math>U_\theta</math>によって、以下のように2つの異なる調和振動子の生成消滅演算子を混ぜる変換を'''ボゴリューボフ変換'''という。
:<math>\begin{pmatrix} \hat{a}_{1,\text{new}} \\ \hat{a}_{2,\text{new}}^\dagger \\ \end{pmatrix} \equiv U_\theta \begin{pmatrix} \hat{a}_{1} \\ \hat{a}_{2}^\dagger \\ \end{pmatrix} U_\theta^\dagger = \begin{pmatrix} \cosh\theta & e^{-i\phi} \sinh\theta \\ e^{i\phi} \sinh\theta & \cosh\theta \\ \end{pmatrix} \begin{pmatrix} \hat{a}_{1} \\ \hat{a}_{2}^\dagger \\ \end{pmatrix}
</math>
このとき位相は<math>\phi=0</math>とされることも多い。<math>\theta</math>は任意に取れるが、ハミルトニアンを対角化するためにボゴリューボフ変換を用いるときは非対角項が消えるように<math>\theta</math>をとる<ref>{{Cite book|和書|author=フェッター/ワレッカ|year=1987|title=多粒子系の量子論 理論編|publisher=マグロウヒル出版|id = ISBN　4895013642}}</ref>。

この行列の行列式が1であること（<math>\cosh^2\theta-\sinh^2\theta=1</math>（[[双曲線関数]]））から、<math>U_\theta</math>がユニタリー演算子であることがわかり、また新しい生成消滅演算子がボース粒子の交換関係を満たすことが保障される。

この新しい生成演算子によって作られる粒子を'''ボゴリューボフ準粒子'''、あるいは'''ボゴロン'''と呼ぶ。

=== ハミルトニアン ===
ボゴリューボフ変換された状態を基底状態に持つハミルトニアンは、以下のように作ることができる。
:<math>\hat{H}_{\text{new}}=U_\theta\hat{H}U_\theta^\dagger</math>
このハミルトニアンは、全粒子数演算子<math>\hat{N}\equiv\sum_{i=1,2}\hat{a}_i^\dagger\hat{a}_i</math>とは可換ではない。つまりこのハミルトニアンで時間発展する系は、全粒子数を保存していない。

=== 基底状態 ===
ここで新しいハミルトニアンの基底状態を考える。これは元の基底状態（真空状態）に<math>U_\theta</math>を作用させたものになっている。
:<math>\begin{align}
|\theta\rangle&=U_\theta|0\rangle \\
\hat{a}_{i,\text{new}}|\theta\rangle&=U_\theta\hat{a}_iU_\theta^\dagger|\theta\rangle=0
\end{align}</math>

この基底状態をフォック状態を使って具体的に表すと、
:<math>|\theta\rangle=\frac{1}{\cosh\theta}\exp[-e^{-i\phi}\hat{a}_1^\dagger\hat{a}_2^\dagger\tanh\theta]|0\rangle=\frac{1}{\cosh\theta}\sum_{n=0}^{\infty}(-e^{-i\phi}\tanh\theta)^n|n\rangle_1\otimes|n\rangle_2</math>
この基底状態は、それぞれの調和振動子が同じエネルギーレベルに励起している状態の重ね合わせ状態になっている。
このような状態を絡み合った状態（entangled state）という。
量子的な場は、無数の調和振動子が集まったものであり、調和振動子の励起数<math>n</math>を粒子数と解釈する。
ボゴリューボフ変換された基底状態<math>|\theta\rangle</math>は、粒子１と粒子２がそれぞれ<math>n</math>個ずつ対生成された状態の重ね合わせになっている。

この新しい基底状態<math>|\theta\rangle</math>は、<math>|0\rangle</math>からユニタリー変換で構成されたことから分かるように、純粋状態である。

=== 保存則 ===
[[スクイーズ変換]]は、1つの調和振動子の生成消滅演算子を混ぜる変換で、1つのモードの粒子対を生成する。このような変換が可能なのは、この粒子が[[電荷]]や[[運動量]]などの[[保存量]]を持たない場合に限られる。

一方でボゴリューボフ変換ではこの制約を回避するため、2つの調和振動子を導入し、それらの生成消滅演算子を混ぜている。各調和振動子に対応する粒子の量子数（電荷や運動量）が逆であれば、これらの量子数の保存則を満たす。

例えば<math>\hat{a}_1</math>、<math>\hat{a}_2</math>としてそれぞれ運動量<math>\mathbf{k}</math>、<math>-\mathbf{k}</math>を持つモードとすると、ボゴリューボフ変換は同じ運動量<math>\mathbf{k}</math>を持つ演算子の混合になっており、運動量保存則に矛盾せず粒子生成が記述できる。

=== ユニタリー非同値性 ===
以上のことは有限個の生成消滅演算子において成り立つ。しかし無限個の生成消滅演算子にボゴリューボフ変換してできた無限個の新しい生成消滅演算子は、ユニタリー変換では結びつかない。つまり元の生成消滅演算子からできる量子論と新しい生成消滅演算子からできる量子論は[[ユニタリー同値]]ではなくなり、[[フォン・ノイマンの一意性]]が成立しなくなる。よって物理量を計算しても異なる値となる。これを[[ユニタリー非同値性]]という<ref>高橋康『物性研究者のための場の量子論II (新物理学シリーズ 17)』1976年</ref>。

===応用===
ボーズ粒子のボゴリューボフ変換は、[[超流動]]で用いられる<ref>[[Nikolai Bogoliubov]]: ''On the theory of superfluidity'', J. Phys. (USSR), 11, p. 23 (1947)</ref>。他には、[[反強磁性]]の理論での[[ハミルトニアン]]と励起に応用される<ref name="Kittel">See e.g. the textbook by [[Charles Kittel]]: ''Quantum theory of solids'', New York, Wiley 1987.</ref>。 また、曲がった時空の中の場の量子論の計算をするとき真空の定義が変化するが、これらの異なる真空の間のボゴリューボフ変換が可能であり、このことから[[ホーキング輻射]]が導出される。

== フェルミ粒子の場合 ==
2種類のフェルミ粒子の生成消滅演算子を考える<ref name=iso/>。この場合のユニタリー演算子は、簡単のために位相を<math>\phi=0</math>とすると、
:<math>U_\theta=\exp(\theta G_{\phi})=\exp[\theta(\hat{b}_1\hat{b}_2-\hat{b}_2^\dagger\hat{b}_1^\dagger)]</math>
ボゴリューボフ変換は、
:<math>\begin{pmatrix} \hat{b}_{1,\text{new}} \\ \hat{b}_{2,\text{new}}^\dagger \\ \end{pmatrix} \equiv U_\theta \begin{pmatrix} \hat{b}_{1} \\ \hat{b}_{2}^\dagger \\ \end{pmatrix} U_\theta^\dagger = \begin{pmatrix}\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \\ \end{pmatrix} \begin{pmatrix} \hat{b}_{1} \\ \hat{b}_{2}^\dagger \\ \end{pmatrix}</math>

この行列の行列式が1であること（<math>\cos^2\theta+\sin^2\theta=1</math>）から、<math>U_\theta</math>がユニタリー演算子であることがわかり、また新しい生成消滅演算子がフェルミ粒子の交換関係を満たすことが保障される。

ボース粒子の場合と同様にハミルトニアンをユニタリー変換でき、ボゴリューボフ変換された基底状態<math>|\theta\rangle=U_\theta|0\rangle</math>は、以下を満たす。
:<math>\hat{b}_{i,new}|\theta\rangle=U_\theta\hat{b}_iU_\theta^\dagger|\theta\rangle=0</math>
この基底状態をフォック状態を使って具体的に表すと、
:<math>|\theta\rangle=\cos\theta\exp(\hat{b}_1^\dagger\hat{b}_2^\dagger\tan\theta)|0\rangle=\cos\theta|0\rangle+\sin\theta|1\rangle_1\otimes|1\rangle_2</math>
ボース粒子のときと同様に粒子対が生成されているが、[[パウリの排他原理]]のため１つの粒子対しか生成されていない。

===応用===
フェルミ粒子のボゴリューボフ変換は、[[超伝導]]の[[BCS理論]]に応用される<ref name="Kittel" /><ref name="NMTS1">{{cite journal |last1=Boboliubov |first1=N. N. |title=A new method in the theory of superconductivity. I |journal=Soviet Physics (U.S.S.R.) JETP |date=1 Jan 1958 |volume=7 |issue=1 |pages=41–46 |accessdate=}}</ref><ref name="NMTS3">{{cite journal |last1=Bogoliubov |first1=N. N. |title=A new method in the theory of superconductivity III |journal=Soviet Physics (U.S.S.R.) JETP |date=July 1958 |volume=34 |issue=7 |pages=51–55 |url=http://www.jetp.ac.ru/files/Bogolubov_007_01_0051.pdf}}</ref><ref name="BTS">{{cite journal |last1=Bogolyubov |first1=N. N. |last2=Tolmachev |first2=V. V. |last3=Shirkov |first3=D. V. |title=A new method in the theory of superconductivity |journal=Fortschitte der Physik |date=November 1958 |volume=6 |issue=11–12 |pages=605–682 |doi=10.1002/prop.19580061102|bibcode = 1958ForPh...6..605B }}</ref>。ここでボゴリューボフ変換の実行が必要となる理由は、[[平均場近似]]では系のハミルトニアンは生成・消滅演算子による双線型項の和（有限個の <math>\,\langle a_i^+a_j^+\rangle</math>など）として表されるためである。つまり通常の[[ハートリー-フォック方程式|ハートリー・フォックの方法]]を越えなければならない。ボゴリューボフ変換によって拡張された方法は、[[ハートリー・フォック・ボゴリューボフの方法]]と呼ばれる。

また[[核物理学]]においてもボゴリューボフ変換は応用でき、重元素の核子の「対エネルギー」が記述できる<ref>[[Vilen Mitrovanovich Strutinsky]]: ''Shell effects in nuclear physics and deformation energies'', Nuclear Physics A, Vol. 95, pp. 420–442 (1967), [http://www.sciencedirect.com/science/article/pii/0375947467905106].</ref>。

== スクイーズ変換 ==
{{main|スクイーズド状態}}
スクイーズ変換のことをボゴリューボフ変換と呼ぶ場合もあるため、注意が必要である。

=== 1つのボース粒子の生成消滅演算子 ===
次の調和基底でのボゾン的な[[生成消滅演算子]]（作用素）の[[正準交換関係]]を考える。
:<math>\left [ \hat{a}, \hat{a}^\dagger \right ] = 1~.</math>

新しい作用素のペアを、
:<math>\hat{b} = u \hat{a} + v \hat{a}^\dagger,</math>
:<math>\hat{b}^\dagger = u^* \hat{a}^\dagger + v^* \hat{a}~</math>
と定義する。ここに後者は前者の[[エルミート共役]]である。

スクイーズ変換は、これらの作用素の正準変換である。変換が正準であるような定数 {{mvar|u}} と {{mvar|v}} の条件を見つけるため、交換子を計算すると、

:<math>\left [ \hat{b}, \hat{b}^\dagger \right ]
     = \left [ u \hat{a} + v \hat{a}^\dagger , u^* \hat{a}^\dagger + v^* \hat{a} \right ]
     = \cdots = \left ( |u|^2 - |v|^2 \right ) \left [ \hat{a}, \hat{a}^\dagger \right ] </math>

となる。すると、{{math|1={{mabs|''u''}}{{sup|2}} &minus; {{mabs|''v''}}{{sup|2}} = 1}} が変換が正準であるための条件であることが分かる。

この条件の形は、[[双曲線関数]]の関係式
:<math>\cosh^2 x - \sinh^2 x = 1</math>
を示唆しており、定数 {{mvar|u}}, {{mvar|v}} は次のようにパラメトライズできる。
:<math>u = e^{i \theta_1} \cosh r ,</math>
:<math>v = e^{i \theta_2} \sinh r .</math>

=== 1つのフェルミ粒子の生成消滅演算子 ===
[[反交換関係]]
:<math>\left\{ \hat{a}, \hat{a}^\dagger \right\} = 1</math>
に対して、{{mvar|u}} と {{mvar|v}} の同じ変換は、
:<math>\left\{ \hat{b}, \hat{b}^\dagger \right\} = (|u|^2 + |v|^2) \left\{ \hat{a}, \hat{a}^\dagger \right\}</math>
となる。

変換を正準な形とすると、{{mvar|u}} と {{mvar|v}} は次のようにパラメトライズすることができる。
:<math>u = e^{i \theta_1} \cos r ,</math>
:<math>v = e^{i \theta_2} \sin r  .</math>

=== 複数の生成消滅演算子 ===
考えている[[ヒルベルト空間]]は、生成消滅演算子を持っていて、従って高次元の{{仮リンク|量子調和振動子|en|Quantum harmonic oscillator}}（普通は無限次元になる）を記述する。

対応する[[ハミルトニアン]]の[[基底状態]]は、全ての消滅演算子により消滅させられる：

:<math>a_i |0\rangle = 0.</math>

全ての励起状態は、ある生成作用素

:<math>\prod_{k=1}^n a_{i_k}^\dagger |0\rangle</math>

によって励起した基底状態の[[線型結合]]として得られる。従って、次の線型な式として生成消滅演算子を再定義することができる。

:<math>a'_i = \sum_j (u_{ij} a_j + v_{ij} a^\dagger_j).</math>

ここに係数 {{mvar|u{{sub|ij}}, v{{sub|ij}}}} は、[[随伴作用素|エルミート共役（随伴作用素）]]により定義された消滅生成作用素 <math>a^{\prime\dagger}_i</math> がボゾンに対しては同じ[[交換関係 (量子力学)|交換関係]]、フェルミオンに対しては[[反交換関係]]を満たすことを保証するある関係を満たさなければならない。

上記の方程式は、演算子に対するスクイーズ変換を定義する。

全ての <math>a'_{i}</math> によって消滅させられる基底状態は、元々の基底状態 {{math|{{ket|0}}}} とは異なっていて、[[作用素の状態の対応]]を使い両者は互いにスクイーズ変換により結び付けられているとみなすことができる。それらは[[スクイーズドコヒーレント状態]]として定義することもできる。BCS波動関数は、フェルミオンのスクイーズドコヒーレント状態の例である<ref>Svozil, K. (1990), "Squeezed Fermion states", ''Phys. Rev. Lett.'' '''65''', 3341-3343.  {{doi|10.1103/PhysRevLett.65.3341}}</ref><ref>上田正仁. (2011), "現代量子物理学", 倍風館, 第4版, p.&nbsp;99, 3.9 スクイズド状態</ref>。

==関連文献==
全体のトピックや多くの具体的な応用については次の教科書を参照。
* J.-P. Blaizot and G. Ripka: Quantum Theory of Finite Systems, MIT Press (1985)
* A. Fetter and J. Walecka: Quantum Theory of Many-Particle Systems, Dover (2003)
* Ch. Kittel: Quantum theory of solids, Wiley (1987)

== 脚注 ==
{{reflist}}

{{デフォルトソート:ほこりゆうほふへんかん}}
[[Category:場の量子論]]
[[Category:理論物理学]]
[[Category:物理学のエポニム]]