Bogoliubov 変換と Shale の定理:Fock 空間で実装できる正準変換の判定
対象読者: 本テーマ第 1〜7 章の CCR・Weyl 関係と Fock 表現を学び、Hilbert–Schmidt 作用素とコンパクト作用素の基本を知っている博士課程の人。
前提となる記事:CCR の表現:Stone–von Neumann の一意性と無限自由度の非同値表現
0. この記事の要点
Section titled “0. この記事の要点”量子の世界では、粒子を 1 個増やす操作(生成)と 1 個減らす操作(消滅)を組み合わせて状態を表します。この操作を線形に混ぜ合わせて新しい「生成と消滅」の組を作ると、それに対する「何もない状態(真空)」も新しくなります。ここで知りたいのは、混ぜ方を変えたあとの真空が、もとの粒子の空間の中にきちんとあるのか、はみ出してしまうのか、ということです。この記事では、その答えが「混ぜ込まれる生成の部分がある意味で小さいか」という具体的な条件で決まることを示します。
- 共役子 (複素共役を一般の Hilbert 空間に持ち込んだもの)を固定し、( は有界作用素)の形の組み替えを Bogoliubov 変換と呼びます。これが CCR を保ち逆変換も持つ条件は、, と書いて , , , です。実線形写像 が を保つことと同じです。
- Shale の定理: Bogoliubov 変換が Fock 空間上のユニタリ作用素 で ( は Weyl 作用素)と実装できるための必要十分条件は、 が Hilbert–Schmidt 作用素であることです。必要性は「新しい真空 の 2 粒子成分が を Hilbert–Schmidt 作用素として表す」ことから出ます。
- 実装できるとき、新しい真空の粒子数の期待値は で、真空は という Gauss 型ベクトルです。1 モードではスクイーズド真空(位置か運動量のどちらかのゆらぎを真空より小さくした状態)になり、2 次ハミルトニアン ()は Bogoliubov 変換で , に対角化されます。
- 無限個のモードを同じ強さでスクイーズする変換は が Hilbert–Schmidt でなく実装できません。前章の互いに素な表現 はこの例です。 がコンパクトでも Hilbert–Schmidt でなければ実装できません。
- シフト は のときに限り実装でき、実装作用素は Weyl 作用素 です。 となる赤外発散が van Hove 模型の非同値表現の起源です。フェルミオンでも同じ形の判定(Shale–Stinespring の定理)が成り立ちます。
超流動の Bogoliubov 理論、BCS 理論、曲がった時空や加速系の Unruh 効果、量子光学のスクイーズド光は、どれも「生成・消滅作用素を線形に混ぜて新しい生成・消滅作用素を作り、それについての真空を新しい基底状態とする」という同じ操作に基づいています。有限個のモードなら、Stone–von Neumann の定理(定理 6.3[CCR の表現])によって新しい生成・消滅作用素も Fock 表現を与え、両者はユニタリ作用素で結ばれます。無限個のモードではそうとは限らず、前章の 定理 7.2[CCR の表現] のように、新しい真空が元の Fock 空間に存在しないことがあります。
どの変換なら Fock 空間の中で実装できるのか。この問いに完全な答えを与えるのが Shale の定理で、答えは「混ぜ込まれる生成作用素の部分 が Hilbert–Schmidt であること」という、驚くほど具体的な条件です。物理的には「新しい真空に含まれる元の粒子の数 が有限であること」と読めます。
歴史的には、Bogoliubov は弱く相互作用する Bose 気体のハミルトニアンを、運動量 と の生成・消滅作用素を混ぜる変換で 2 次形式に対角化し、準粒子の分散関係がフォノン的になることを示しました。このとき準粒子の真空は、有限体積でも元の真空に の対を無限個まで含む重ね合わせで、無限体積の極限では元の Fock 空間から外れます。物理の計算では無限体積の極限を最後に取るので気づきにくいのですが、作用素論の立場では「どの段階で表現が変わったか」を Shale の定理が正確に教えてくれます。本章では、まず変換が CCR を保つ代数的な条件を整理し(§3)、実装可能性を Hilbert–Schmidt 条件で特徴づけ(§4)、具体例(§5)とシフト変換(§6)、フェルミオン版(§7)を順に扱います。
執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 4 回(Claude Code)・最終 2026-10-12
この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記
© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。