tecktom.com

この章のまとめ

2026年10月17日10分で読めますAI生成教科書『虎の巻』第9部 第1章 量子論理：命題の束と分配律の破れ

AI 生成・木下が未勉強

量子力学の様々な構成方法　第9部 第1章 §9.1.7　★★★ 命題の束を出発点に置き、分配律の破れ・直交モジュラー律・両立性と交換性・束の上の状態をそろえて、次の章の Gleason の定理へ渡す

第9部の出発点として、物理量の代わりに yes–no の問い（命題）を基本の対象に置いた。命題の全体には「ならば」の順序と否定が入り、そこから「かつ」（最大の下界）と「または」（最小の上界）が決まる。古典力学では命題は相空間の部分集合で、その束は分配律を満たし、分配律は全確率の公式 μ(A)=μ(A∩B)+μ(A∩Bc)\mu(A)=\mu(A\cap B)+\mu(A\cap B^{\mathrm c}) として確率の計算に現れる。基準の量子力学では命題は閉部分空間（射影）で、交わりは共通部分、結びは張る閉部分空間、否定は直交補空間になる。交換する射影の交わりは積で、交換しない射影の交わりは交互射影 (P^Q^)n(\hat P\hat Q)^n の極限で求まる。スピン 12\frac12 では P^z+∧(P^x+∨P^x−)=P^z+\hat P_{z+}\wedge(\hat P_{x+}\vee\hat P_{x-})=\hat P_{z+} なのに (P^z+∧P^x+)∨(P^z+∧P^x−)=0(\hat P_{z+}\wedge\hat P_{x+})\vee(\hat P_{z+}\wedge\hat P_{x-})=0 となり、分配律が破れる（Birkhoff–von Neumann 1936）。位置と運動量では、どちらも有界な区間に入ることが確実な状態が無いことから同じ破れが出る。量子の束に残るのは直交モジュラー律で、分配律 P^=(P^∧Q^)∨(P^∧Q^⊥)\hat P=(\hat P\wedge\hat Q)\vee(\hat P\wedge\hat Q^\perp) が成り立つのは P^Q^=Q^P^\hat P\hat Q=\hat Q\hat P のときに限られる。状態は命題の束の上の確率（直交する命題について加法的）として定義でき、Born の規則 Tr⁡(ρ^P^)\operatorname{Tr}(\hat\rho\hat P) はその一例である。分配律の破れは、途中で交換しない測定を挟むと確率が変わるという形で観測にかかり、差は干渉項で書ける。橋の節では、基準から作った L(H)\mathcal L(\mathcal{H}) が原子的・覆う法則・既約という性質を持ち、逆にそれらの性質から Piron と Solèr の定理でヒルベルト空間が（体の選び方を除いて）組み直せることを述べた。次の 第9部第2章 では、dim⁡H≥3\dim\mathcal{H}\ge3 で束の上の状態がすべて Tr⁡(ρ^P^)\operatorname{Tr}(\hat\rho\hat P) の形であること（Gleason の定理）を示し、2次元で破れる理由を調べる。

この章の道具

  • 命題の束 L\mathcal L：順序 a≤ba\le b、交わり a∧ba\wedge b、結び a∨ba\vee b、直交補 a⊥a^\perp。分配律 ⇒ モジュラー律 ⇒ 直交モジュラー律。
  • 量子の命題：L(H)\mathcal L(\mathcal{H})＝閉部分空間。M∧N=M∩NM\wedge N=M\cap N、M∨N=M+N‾M\vee N=\overline{M+N}。交換すれば P^∧Q^=P^Q^\hat P\wedge\hat Q=\hat P\hat Q、一般には (P^Q^)n→P^∧Q^(\hat P\hat Q)^n\to\hat P\wedge\hat Q（有限次元で誤差 c2n−1c^{2n-1}）。
  • 分配律の破れ：P^z+∧(P^x+∨P^x−)=P^z+≠0=(P^z+∧P^x+)∨(P^z+∧P^x−)\hat P_{z+}\wedge(\hat P_{x+}\vee\hat P_{x-})=\hat P_{z+}\neq0=(\hat P_{z+}\wedge\hat P_{x+})\vee(\hat P_{z+}\wedge\hat P_{x-})。
  • 両立性：P^=(P^∧Q^)∨(P^∧Q^⊥)\hat P=(\hat P\wedge\hat Q)\vee(\hat P\wedge\hat Q^\perp) ⇔ [P^, Q^]=0\left[\hat P,\,\hat Q\right]=0。
  • 状態：直交する命題で加法的な μ:L→[0,1]\mu:\mathcal L\to[0,1]。Born の規則 μ(P^)=Tr⁡(ρ^P^)\mu(\hat P)=\operatorname{Tr}(\hat\rho\hat P)。条件付き確率は Lüders の規則 Tr⁡(P^ρ^P^Q^)/Tr⁡(ρ^P^)\operatorname{Tr}(\hat P\hat\rho\hat P\hat Q)/\operatorname{Tr}(\hat\rho\hat P)。

総合問題　3次元の2つの平面の命題で、束と確率をひととおり調べる ★★★

オリジナルH=C3\mathcal{H}=\mathbb{C}^3 の正規直交基底を e1,e2,e3e_1,e_2,e_3 とし、f=(e2+e3)/2f=(e_2+e_3)/\sqrt2, n=(e2−e3)/2n=(e_2-e_3)/\sqrt2 とおく。命題 P^\hat P を e1,e2e_1,e_2 の張る平面への射影、Q^\hat Q を e1,fe_1,f の張る平面への射影とする。状態は純粋状態 ∣ψ⟩=e2| \psi \rangle =e_2 とする。

  1. (1) （使う道具：9.1.3節の交わり・結びと交互射影）P^∧Q^\hat P\wedge\hat Q、P^∨Q^\hat P\vee\hat Q を求め、∥(P^Q^)n−P^∧Q^∥\lVert (\hat P\hat Q)^n-\hat P\wedge\hat Q\rVert を nn の式で表せ。
  2. (2) （使う道具：9.1.4節の両立性の定理）Q^⊥\hat Q^\perp と P^∧Q^⊥\hat P\wedge\hat Q^\perp を求め、P^≠(P^∧Q^)∨(P^∧Q^⊥)\hat P\neq(\hat P\wedge\hat Q)\vee(\hat P\wedge\hat Q^\perp) を確かめよ。このことから P^\hat P と Q^\hat Q について何が言えるか。
  3. (3) （使う道具：9.1.2節と 9.1.4節の直交モジュラー律）M^=∣e1⟩⟨e1∣≤P^\hat M=| e_1 \rangle \langle e_1 |\le\hat P について M^∨(P^∧M^⊥)\hat M\vee(\hat P\wedge\hat M^\perp) を計算し、直交モジュラー律が成り立つことを確かめよ。
  4. (4) （使う道具：9.1.5節の Born の規則と Lüders の規則）μ(P^)\mu(\hat P), μ(Q^)\mu(\hat Q), μ(P^∧Q^)\mu(\hat P\wedge\hat Q) を求めよ。次に、先に Q^\hat Q を測ってから P^\hat P を問う手順で、P^\hat P が「はい」になる確率の合計 ∑Q^k=Q^,Q^⊥μ(Q^k)μ(P^ ∣ Q^k)\sum_{\hat Q_k=\hat Q,\hat Q^\perp}\mu(\hat Q_k)\mu(\hat P\,|\,\hat Q_k) を求めよ。
  5. (5) （使う道具：9.1.1節の全確率の公式と 9.1.5節の干渉項、第1部第2章の射影測定）命題が集合で表される古典の場合に (4) の合計が μ(P^)\mu(\hat P) に等しくなる理由を述べ、量子の場合の差 μ(P^)−∑kμ(Q^k)μ(P^∣Q^k)\mu(\hat P)-\sum_k\mu(\hat Q_k)\mu(\hat P|\hat Q_k) を干渉項 (9.1.16) として計算して (4) と一致することを確かめよ。
解答

(1) P^\hat P の平面の法線は e3e_3、Q^\hat Q の平面の法線は nn である（nn は e1e_1 にも ff にも直交する）。e1e_1 は両方の平面に入り、2つの平面は異なるので P^∧Q^=∣e1⟩⟨e1∣\hat P\wedge\hat Q=| e_1 \rangle \langle e_1 |。2つの平面の和は3次元全体なので P^∨Q^=1^\hat P\vee\hat Q=\hat 1。法線どうしの角は ∣⟨e3∣n⟩∣=1/2\lvert \langle e_3 | n \rangle \rvert =1/\sqrt2 から 45∘45^\circ で、例題 9.1.3 の θ=45∘\theta=45^\circ の場合と同じ角度の配置なので、定理 9.1.6 から

∥(P^Q^)n−P^∧Q^∥=(12)2n−1=2−(2n−1)/2.\lVert (\hat P\hat Q)^n-\hat P\wedge\hat Q\rVert =\Bigl(\frac{1}{\sqrt2}\Bigr)^{2n-1}=2^{-(2n-1)/2}.

(2) Q^⊥=∣n⟩⟨n∣\hat Q^\perp=| n \rangle \langle n |。nn は e3e_3 成分を持つので P^\hat P の平面に入らず、P^∧Q^⊥=0\hat P\wedge\hat Q^\perp=0。よって (P^∧Q^)∨(P^∧Q^⊥)=∣e1⟩⟨e1∣∨0=∣e1⟩⟨e1∣(\hat P\wedge\hat Q)\vee(\hat P\wedge\hat Q^\perp)=| e_1 \rangle \langle e_1 |\vee0=| e_1 \rangle \langle e_1 | で、これは2次元の P^\hat P と異なる。定理 9.1.9 から P^\hat P と Q^\hat Q は交換しない（両立しない）。直接にも P^Q^e2=P^12f=12e2\hat P\hat Qe_2=\hat P\frac{1}{\sqrt2}f=\frac12e_2、Q^P^e2=Q^e2=12f\hat Q\hat Pe_2=\hat Qe_2=\frac{1}{\sqrt2}f で異なる。

(3) M^⊥\hat M^\perp は e2,e3e_2,e_3 の張る平面で、P^∧M^⊥=∣e2⟩⟨e2∣\hat P\wedge\hat M^\perp=| e_2 \rangle \langle e_2 |。よって M^∨(P^∧M^⊥)\hat M\vee(\hat P\wedge\hat M^\perp) は e1,e2e_1,e_2 の張る平面で P^\hat P に等しい。(2) で分配律が破れても、M^≤P^\hat M\le\hat P の組では P^\hat P が M^\hat M とそれに直交する部分に分かれる。

(4) μ(P^)=⟨e2∣P^∣e2⟩=1\mu(\hat P)=\langle e_2 | \hat P | e_2 \rangle =1、μ(Q^)=∣⟨f∣e2⟩∣2=12\mu(\hat Q)=\lvert \langle f | e_2 \rangle \rvert ^2=\frac12（Q^e2=⟨f∣e2⟩f\hat Q e_2=\langle f | e_2 \rangle f で e1e_1 成分は無い）、μ(P^∧Q^)=∣⟨e1∣e2⟩∣2=0\mu(\hat P\wedge\hat Q)=\lvert \langle e_1 | e_2 \rangle \rvert ^2=0。Q^\hat Q を測って「はい」なら状態は Lüders の規則で ff に、「いいえ」なら Q^⊥e2=⟨n∣e2⟩n\hat Q^\perp e_2=\langle n | e_2 \rangle n から nn になり、確率はどちらも 12\frac12 である。μ(P^∣Q^)=⟨f∣P^∣f⟩=12\mu(\hat P|\hat Q)=\langle f | \hat P | f \rangle =\frac12、μ(P^∣Q^⊥)=⟨n∣P^∣n⟩=12\mu(\hat P|\hat Q^\perp)=\langle n | \hat P | n \rangle =\frac12 なので、合計は 12⋅12+12⋅12=12\frac12\cdot\frac12+\frac12\cdot\frac12=\frac12。途中の測定をしないときの μ(P^)=1\mu(\hat P)=1 と異なる。

(5) 古典では、Q^\hat Q を測って結果を見ずに捨てる操作は、状態（相空間の確率分布）を変えない。測った結果で場合分けした確率は条件付き確率 μ(A∩B)/μ(B)\mu(A\cap B)/\mu(B) で、全確率の公式 (9.1.3) によって合計は μ(A)\mu(A) に戻る。量子では (9.1.16) から、差は

Tr⁡(Q^ρ^Q^⊥P^)+Tr⁡(Q^⊥ρ^Q^P^)=2Re⁡⟨e2∣Q^⊥P^Q^∣e2⟩\operatorname{Tr}(\hat Q\hat\rho\hat Q^\perp\hat P)+\operatorname{Tr}(\hat Q^\perp\hat\rho\hat Q\hat P)=2\operatorname{Re}\langle e_2 | \hat Q^\perp\hat P\hat Q | e_2 \rangle

である。Q^e2=12f\hat Qe_2=\frac{1}{\sqrt2}f、P^f=12e2\hat Pf=\frac{1}{\sqrt2}e_2、Q^⊥e2=12n\hat Q^\perp e_2=\frac{1}{\sqrt2}n を順に使うと ⟨e2∣Q^⊥P^Q^∣e2⟩=⟨Q^⊥e2∣P^Q^e2⟩=12⟨n∣12e2⟩=12⋅12⋅12=14\langle e_2 | \hat Q^\perp\hat P\hat Q | e_2 \rangle =\langle \hat Q^\perp e_2 | \hat P\hat Qe_2 \rangle =\frac{1}{\sqrt2}\langle n | \tfrac12e_2 \rangle =\frac{1}{\sqrt2}\cdot\frac12\cdot\frac{1}{\sqrt2}=\frac14。よって差は 2⋅14=122\cdot\frac14=\frac12 で、(4) の 1−12=121-\frac12=\frac12 と一致する。差が 00 でないのは P^\hat P と Q^\hat Q が交換しないからで、交換すれば Q^P^Q^⊥=P^Q^Q^⊥=0\hat Q\hat P\hat Q^\perp=\hat P\hat Q\hat Q^\perp=0 となって干渉項は消える。これは (2) で見た分配律の破れの、確率の側での現れである。

木下の勉強ステータス

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

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

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

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