橋：幾何学的量子化と位相空間を両向きにつなぐ

2026年10月17日10分で読めますAI生成教科書『虎の巻』第10部第6章変形量子化との比較と限界

両向きの対応
辞書
ほかの部との対応
木下の層

AI 生成・木下が未勉強

量子力学の様々な構成方法　第10部第6章 §10.6.6　★★★ 正則偏極の Toeplitz 作用素は「Gauss 関数で平均した関数の Weyl 量子化」で、逆に Weyl 量子化は Toeplitz 作用素で書ける。同じ $\omega$ から出た2つの道は、同値変換 $\mathcal T_{\mathrm A}$ を介して1つの演算子の代数を与える

この節は、同値性の地図の橋「幾何学的量子化 ↔ 位相空間（同じシンプレクティック多様体から、Hilbert 空間を作るか関数の積を変形するか）」の証明にあたる。計画の表の置き場は第10部の最終章である。

図 10.6.3　同じ相空間から出る2つの道。左は Hilbert 空間を作る道、右は関数の積を変形する道。破線が6節で証明する橋で、正則偏極の Toeplitz 作用素の積が反正規順序の $\star$ 積になり、それが同値変換 $\mathcal T_{\mathrm A}$ で Moyal 積に移る。

両向きの対応

定理 10.6.9（Toeplitz 作用素と Weyl 量子化 ★★★）

平面の正則偏極（長さ $\ell$ ）で、 $q,p$ の多項式について次が成り立つ。

(i) （幾何学的量子化 → 位相空間）Toeplitz 作用素は Gauss 関数で平均した関数の Weyl 量子化である：

$\hat T_f=\mathcal Q_{\mathrm W}\bigl[\mathcal T_{\mathrm N}f\bigr],\qquad \mathcal T_{\mathrm N}=\exp\Bigl(\frac{\ell^2}{4}\partial_q^2+\frac{\hbar^2}{4\ell^2}\partial_p^2\Bigr).\tag{10.6.19}$

積は $\hat T_f\hat T_g=\hat T_{f\star_{\mathrm A}g}$ で、 $\star_{\mathrm A}=\mathcal T_{\mathrm A}\circ\star\circ(\mathcal T_{\mathrm A}^{-1}\otimes\mathcal T_{\mathrm A}^{-1})$ は Moyal 積と同値である。2. (ii) （位相空間 → 幾何学的量子化）逆に Weyl 量子化は Toeplitz 作用素で書ける： $\mathcal Q_{\mathrm W}[g]=\hat T_{\mathcal T_{\mathrm A}g}$ 。さらに偏極を保つ関数では、半形式つきの幾何学的量子化の演算子が $\mathcal Q_{\mathrm W}[g]$ に一致する（第10部第5章）。

証明

(i) 4節で $\hat T_f$ は反正規順序の記号が $f$ の演算子だった。定理 10.6.3 から、その Weyl 記号は $\mathcal T_{\mathrm A}^{-1}f=\mathcal T_{\mathrm N}f$ で、 $\mathcal Q_{\mathrm W}$ はその逆写像なので式 (10.6.19)。積の主張は定理 10.6.6 と定理 10.6.3 を合わせたものである。

(ii) $\mathcal Q_{\mathrm W}[g]$ の反正規順序の記号は $\mathcal T_{\mathrm A}g$ で、多項式では $\mathcal T_{\mathrm A}$ の級数が有限項で切れるので $\mathcal T_{\mathrm A}g$ も多項式である。式 (10.6.16) からそれを記号とする Toeplitz 作用素が $\mathcal Q_{\mathrm W}[g]$ である。偏極を保つ関数での一致は、第10部第5章の命題（半形式つきの量子化と Weyl 量子化）である（第10部第5章）。

定理の (i) は、Hilbert 空間を作る道で全部の関数に演算子を割り当てると（Toeplitz）、それは変形量子化の道で「関数を $\hbar$ の大きさの Gauss 関数で平均してから Weyl 量子化する」ことと同じだと述べている。平均の幅は $\Delta q^2=\ell^2/2$ 、 $\Delta p^2=\hbar^2/(2\ell^2)$ で、積はちょうど $(\hbar/2)^2$ 、不確定性関係の下限のコヒーレント状態の幅である。(ii) は逆向きで、変形量子化の Moyal 積が与える演算子は、Hilbert 空間を作る道の Toeplitz 作用素として実現することができる。2つの道の違いは同値類の中の代表の選び方、すなわち並べ方の約束だけである。

辞書

幾何学的量子化	変形量子化・位相空間（第5部）
半形式なし／半形式つき／ $\mathrm{d} z$ 全体（Toeplitz）	$\star_{\mathrm N}$ ／Moyal 積／ $\star_{\mathrm A}$ （同値類の3つの代表）
正則偏極の切断の $\lvert F\rvert ^2/\pi$	Husimi の $Q=\mathcal T_{\mathrm N}W$ （式 (10.6.9)）
偏極を保つ関数の演算子	その関数の Weyl 量子化（2次以下では括弧が厳密）
Hilbert 空間の固有値	$\star$ 指数関数の Fourier 展開の周波数（3節）
固有状態への射影 $\| n \rangle \langle n \|$	$\star$ 射影 $\pi_n=2\pi\hbar W_n$
整数条件 $\int\omega/(2\pi\hbar)\in\mathbb{Z}$	（ $\star$ 積には無い）有限次元の表現の存在条件（総合問題）
トレース $\operatorname{Tr}$	$\int(\cdot)\,\mathrm{d} q\,\mathrm{d} p/(2\pi\hbar)$ （第5部第2章）

ほかの部との対応

位相空間（第5部）： $\star$ 積の導出（第5部第3章）と、この章の要請からの見方は同じ積を与える。第5部は「演算子の積の記号」から $\star$ 積を出し、この章は「積の変形」を要請に置いた。正規・反正規順序と $P$ ・ $Q$ の関係は第5部第6章（第5部第6章）の光の状態の地図につながる。
正準量子化（第2部）：同値な $\star$ 積の選択は、第2部第2章の並べ方の曖昧さそのもので（第2部第2章）、例題 10.6.1 の標準順序はその1つである。
代数的量子論（第8部）： $\star$ 積の代数の上の正の線形汎関数 $f\mapsto\int Wf\,\mathrm{d} q\,\mathrm{d} p$ が状態にあたり、GNS 構成（第8部第2章）を当てれば Hilbert 空間を作り直すことができる。変形量子化から基準へ戻る道は、Toeplitz 作用素のほかにこの道もある。
経路積分・WKB（第3部・第10部第5章）：5節の2つの偏極の差は、Bohr–Sommerfeld 条件（停留位相の最低次）と厳密な量子化の差で、 $\hbar^2$ の大きさである（第3部第4章）。

例題 10.6.6　Toeplitz 作用素を Weyl 量子化で書く ★★

オリジナル長さ $\ell=\sqrt{\hbar/(m\omega)}$ の正則偏極で考える。

(1) $\hat T_{q^2}$ と $\hat T_{p^2}$ を $\hat q^2$ 、 $\hat p^2$ で表し、基底状態での $\langle \hat T_{q^2} \rangle$ を例題 10.6.2 の $Q_0$ の分散と比べよ。
(2) $H=p^2/(2m)+m\omega^2q^2/2$ の Toeplitz 作用素 $\hat T_H$ のスペクトルを求めよ。
(3) $\hat T_{q^4}$ の Weyl 記号を求めよ。

解答

(1) 式 (10.6.19) で $\mathcal T_{\mathrm N}q^2=q^2+\frac{\ell^2}{4}\cdot2=q^2+\frac{\ell^2}{2}$ 、 $\mathcal T_{\mathrm N}p^2=p^2+\frac{\hbar^2}{2\ell^2}$ なので $\hat T_{q^2}=\hat q^2+\frac{\ell^2}{2}$ 、 $\hat T_{p^2}=\hat p^2+\frac{\hbar^2}{2\ell^2}$ 。基底状態で $\langle \hat q^2 \rangle =\ell^2/2$ なので $\langle \hat T_{q^2} \rangle =\ell^2$ で、 $Q_0$ の位置の分散 $\ell^2$ と一致する（ $\langle \hat T_f \rangle =\int Q f$ は式 (10.6.9) の別の書き方である）。

(2) $\hat T_H=\frac{1}{2m}(\hat p^2+\frac{\hbar^2}{2\ell^2})+\frac{m\omega^2}{2}(\hat q^2+\frac{\ell^2}{2})=\hat H+\frac{\hbar\omega}{4}+\frac{\hbar\omega}{4}=\hat H+\frac{\hbar\omega}{2}$ （ $\ell^2=\hbar/(m\omega)$ を使った）。スペクトルは $\hbar\omega(n+1)$ で、図 10.6.1 の反正規順序の列と一致する。

(3) $\partial_q^2q^4=12q^2$ 、 $\partial_q^4q^4=24$ なので $\mathcal T_{\mathrm N}q^4=q^4+\frac{\ell^2}{4}\cdot12q^2+\frac12\bigl(\frac{\ell^2}{4}\bigr)^2\cdot24=q^4+3\ell^2q^2+\frac34\ell^4$ 。 $q^4$ は正則偏極を保たないので、幾何学的量子化の演算子は直接は無いが、Toeplitz 作用素は Weyl 量子化 $\hat q^4+3\ell^2\hat q^2+\frac34\ell^4$ として存在する。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI（Claude）が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。連絡先：support@tecktom.com

この記事が含まれている連載

連載AI生成教科書『虎の巻』授業とは別に、分野をまたいで気になったことを AI（Claude）が教材にし、木下が勉強しながら公開しています。上の段は AI が書いた本文、下の段は木下が勉強したあとに書いた文です。1787本の記事・木下智貴

← AI生成教科書『虎の巻』の記事一覧へ