橋:行き詰まったら橋を渡る
AI 生成・木下が未勉強
量子力学の様々な構成方法 第11部 第2章 §11.2.6 ★★★ 早見表の「解きにくい問題」の列の各項目について、同値性の地図のどの橋を渡ればそれが解きやすい構成へ移れるかを表にし、橋の前提の範囲でだけ移れることを確かめる
解きにくい問題から、渡る橋を引く
早見表の4列目に挙げた「解きにくい問題」は、その構成の中にとどまると手数が増える問題である。同値性の橋を使えばどの構成からでも別の構成へ移ることができるので、行き詰まったら橋を渡って、その問題が得意な構成へ移ればよい。表 11.2.3 は、4列目の主な項目について、渡る橋と行き先、およびその橋を証明した章を並べたものである。地図(第11部第1章)の矢印のうち、どれが実際の計算でよく使われるかを示す索引にもなっている。
| 行き詰まり | 渡る橋 | 行き先 | 橋を証明した所 |
| 経路積分でスペクトルが遠回り | と時間発展のユニタリ群、Stone の定理で自己共役な へ | 行列力学・基準 | 第3部第5章・第3部第7章 |
| 実時間の が測度でない | 虚時間 、Wiener 測度 | 虚時間の経路積分・確率過程 | 第3部第6章・第7部第6章 |
| 演算子の順序が決まらない | Weyl 対応、偏極と半形式 | 位相空間・幾何学的量子化 | 第5部第2章・第10部第1章・第10部第5章 |
| Lindblad 方程式の前提が崩れる(強い結合・記憶) | 2本の経路の積分、影響汎関数 | 経路積分 × 密度行列 | 第4部第6章 |
| の負の値が確率として読めない | 幅 の Gauss 関数でならす() | Husimi の ・ヘテロダイン | 第5部第6章・第5部第4章 |
| Nelson の多時刻の相関が基準と食い違う | 測定を挟む・虚時間の相関の解析接続 | 基準 | 第7部第6章・同 橋の節 |
| 無限体積で Fock 空間に入らない状態 | GNS 構成 | 代数的量子論 | 第8部第2章・第8部第3章 |
| 2次元で Gleason の定理が破れる | 射影から効果へ広げる(Busch の定理) | POVM と密度行列 | 第9部第2章・第4部第5章 |
| 偏極が取れない相空間 | 同じ相空間で積を変形する | 変形量子化(位相空間) | 第10部第6章 |
橋の前提の範囲でだけ移れる
橋の前提が問題で満たされている範囲でだけ、橋を渡ってよい。表 11.2.3 の2行目の虚時間への移行は、ハミルトニアンが下に有界で、 が複素時間の下半平面で解析的であることを前提に証明した(第3部第6章)。下に有界でないハミルトニアンには、この移行を使わない。Nelson の相関から基準の相関へ戻る解析接続は、基底状態が正の関数である場合に限って成り立つ(第7部第6章)。Bohm の軌道と Nelson の過程が基準と一致するのは「測定の統計」までで、測定を挟まない2時刻の相関は一致しない(第7部第4章)。Stone–von Neumann の定理が保証する表現の一意性は有限自由度の Weyl の形の交換関係までで、無限自由度では表現が分かれる(第2部第6章・第8部第3章)。橋が終わる前提(有限自由度・1時刻の測定・dim≥3 など)は 第11部第1章の表 に集めてある。同じ問題を2つの構成で解いて答えが食い違ったら、どちらかの計算の誤りか、橋の前提の外にいるかのどちらかである。前提の外にいるときは、その食い違いが構成どうしの違いを示す物理的な内容になる(Nelson の多時刻の相関と、Fock 空間の外の BCS 状態がその例である)。
学部の授業の量子力学も、ふつう1つの構成の中にとどまっていない。授業は基準と波動関数から始め、調和振動子では生成消滅演算子の代数(行列力学)へ移り、統計力学では分配関数をエネルギー固有値の和として書き(密度行列の対角部分)、固体では Bloch 状態の占有数(第二量子化)で書く。この巻はその移り方の一つ一つを橋として証明したものなので、授業で何の断りもなく行われる表示や構成の取り替えを、どの前提で許されるかまで含めて読み直すことができる。
例題 11.2.6 負の から へ橋を渡る ★★
オリジナル1光子の状態 の位相空間の分布は、複素振幅 の単位( の規格化)で
である(第5部第6章の例題)。
- (1) 半径 の円板 の上での と の積分 、 を閉じた形で求めよ。
- (2) が最も負になる とその値を求め、同じ の と比べよ。
- (3) の積分が何の確率を表すかを述べ、この例題が表 11.2.3 のどの行に当たるかを答えよ。
解答
(1) 極座標で と置くと (角度の積分で 、)なので、
である。1つ目の原始関数は で、微分すると に戻る。 でどちらも になる。
(2) は で になり、そこで最小である。 で、円板の上の の積分は負になる。同じ円板で は正である。 は が負の値をとる領域 の境界そのもので、負の領域を丸ごと積分すると最も負になる。
(3) はヘテロダイン検出(2つの直交位相を同時に測る測定)で結果が の近くに出る確率の密度で、 は結果が円板に入る確率そのものである(第5部第6章)。 は を幅 の Gauss 関数でならしたもので(第5部第6章)、ならしたために負の値が消え、測定の確率として読めるようになった。表 11.2.3 の5行目「 の負の値が確率として読めない → Gauss 関数でならす」に当たる。ならすことで原点の情報が失われる( は を区別しない)ので、非古典性を見たい問題では に、測定の確率を見たい問題では に、という使い分けになる。
木下の勉強ステータス
木下はまだこの記事を勉強していません。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com
← AI生成教科書『虎の巻』の記事一覧へ