講演資料
講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋なPDFビューア画面が起動し、指定されたページへ直接ジャンプして快適に閲覧できます。
全体概要
量子力学の世界を記述するアプローチには、大きく分けて「状態ベクトル」を用いる方法と「密度行列（density matrix）ρ」を用いる方法の二つがあります。本セミナーは、後者である密度行列を軸として量子の世界を体系的に理解することを目的として構成されています [p.2], [p.3]。
状態ベクトルによるアプローチが基本的に「一つの純粋な量子状態」に注目するのに対し、密度行列のアプローチは「複数の量子状態の混合（アンサンブル）」を自然に扱うことができます。現実の量子系は、エンタングルメント（量子もつれ）やデコヒーレンス（外部環境からのノイズによる干渉）といった複雑な現象に常にさらされており、こうした状況を記述するうえで密度行列は不可欠なツールとなります [p.3]。
セミナーは四部構成をとります。第一部では密度行列そのものの定義と、行列のトレース（Trace）との関係が丁寧に解説されます。第二部では量子観測の理論を密度行列の言語で再定式化し、観測演算子の一般化概念であるPOVM（Positive Operator Valued Measurement）が導入されます。第三部ではPartial Trace（部分トレース）という操作が取り上げられ、複合系の部分系を記述する「還元された密度行列」が構成されます。そして第四部では、密度行列を用いて量子論の原理全体（状態・ユニタリ変換・観測）を再定式化し、Complete Positive map（CP-map）という概念によって「ユニタリ発展」と「観測による状態変化」という二つの断絶を統一的に捉え直す可能性が示されます [p.4], [p.97]。
密度行列は量子情報理論の基礎的なツールであり、量子エントロピーの定義もこの枠組みの中に自然に収まります。本セミナーを通じて、量子の世界をより深く・より広い視野で理解するための数理的基盤が確立されます。
講義のロードマップ
■ Part 1: 密度行列とTrace
- この部の核心:
密度行列の定義から出発し、pure（純粋）状態とmixed（混合）状態という二つの本質的に異なるクラスの存在を明確にします。さらに、行列のトレース（Trace）という操作との深い関係を数理的に確立し、「ρのTraceは常に1である」「tr(ρ²)の値がpureかmixedかを判定する」という重要な性質を導きます [p.5]〜[p.36]。
- 論理展開:
- アンサンブル {pᵢ, |ψᵢ>} に対し、密度行列を ρ = Σᵢ pᵢ|ψᵢ>[p.8], [p.9], [p.18]。
- pure とmixed の数値的な識別基準：tr(ρ²) = 1 ならpure、tr(ρ²) [p.35], [p.36]。
- Traceは行列の対角成分の和であり、線形性 tr(nA+B) = n·tr(A) + tr(B) および tr(AB) = tr(BA) という基本的性質を持ちます [p.22], [p.25]。
- 任意の密度行列（pureおよびmixed）に対して tr(ρ) = 1 が成立することを丁寧に証明します [p.27]〜[p.32]。
■ Part 2: 密度行列と観測
- この部の核心:
状態ベクトルの枠組みにおける観測の理論（射影演算子による確率計算）を出発点として、これを密度行列の言語に翻訳するとともに、観測演算子をPOVM（Positive Operator Valued Measurement）という一般的な概念へと拡張します。観測後の系の状態変化もまた密度行列の形式で統一的に表現されます [p.38]〜[p.80]。
- 論理展開:
- エルミート演算子Lによる観測の期待値は
= と書けますが、密度行列の言語ではこれが = tr(ρL) と表現されます [p.47], [p.48], [p.49]。 - 射影演算子 Pᵢ = |i> を導きます [p.51], [p.52]。
- 一般化された観測演算子 Mₘ を導入し、完全性条件 Σₘ Mₘ†Mₘ = I のもとで、POVMを Eₘ = Mₘ†Mₘ と定義します。観測確率は p(m) = で与えられます [p.54], [p.55]。
- traceと内積の重要な関係 tr(|ψ>、および tr(A|ψ> を導き [p.58]〜[p.62]、これを用いて密度行列ρに対する観測確率 p(m) = tr(Mₘ†Mₘρ) を導出します [p.65], [p.66]。
- 観測でmが得られた後の密度行列は ρₘ = MₘρMₘ† / tr(Mₘ†Mₘρ) で与えられます [p.76], [p.77]。
■ Part 3: Partial Trace
- この部の核心:
複合系A+Bの全体が密度行列 ρᴬᴮ で記述されているとき、一方の系B（または系A）を「トレースアウト」することで、部分系Aだけの状態を記述する「還元された密度行列 ρᴬ = trᴮ(ρᴬᴮ)」を構成します。特に、エンタングルした状態のpartial traceがmixed状態を生み出すという重要な事実が明らかになります [p.82]〜[p.94]。
- 論理展開:
- Partial Trace（部分トレース）はテンソル積構造を持つ演算子に対して定義されます：trᴮ(|a₁> [p.85], [p.86]。
- 分離可能な状態 ρᴬᴮ = ρ ⊗ σ に対しては、partial traceをとると ρᴬ = trᴮ(ρ⊗σ) = ρ·tr(σ) = ρ となり、系Aの状態がそのまま復元されます [p.89]。
- EPRペア |Ψ⁺> = (1/√2)(|00> + |11>) はpureな密度行列 ρ = |Ψ⁺>[p.90]〜[p.93]。
- この結果は tr((ρ¹)²) = 1/4 [p.94]。
■ Part 4: 密度行列で量子論の原理を定式化する
- この部の核心:
量子論の三つの原理（重ね合わせ・ユニタリ変換・観測）を密度行列の言語で再定式化した後、CP-map（Complete Positive map）という抽象的な枠組みを導入します。これにより、「ユニタリ発展（可逆・決定論的）」と「観測による崩壊（不可逆・確率論的）」という二つの断絶が、統一的な数理構造の中に収まる可能性が示されます [p.96]〜[p.114]。
- 論理展開:
- 状態ベクトルによる三原理（重ね合わせ：|ψ> = Σᵢcᵢ|i>、ユニタリ変換：|ψ'> = U|ψ>、観測：p(i) = |cᵢ|²）を確認します [p.100], [p.101], [p.102]。
- 密度行列版では：状態 ρ = Σᵢpᵢ|ψᵢ>[p.104], [p.105], [p.106]。
- CP-mapは完全性条件 Σᵢ Mᵢ†Mᵢ = I を満たす演算子の集まりとして定義され、POVMはその特別な場合です [p.108]。
- CP-map {M₁, M₂, …, Mₖ} から演算子U を U|ψ>⊗|0> = Σᵢ Mᵢ|ψ>⊗|i> によって構成すると、Uが内積を保存するユニタリ演算子であることが、完全性条件 Σᵢ Mᵢ†Mᵢ = I を用いた内積計算によって証明されます [p.109], [p.110], [p.111]。
- この構成により、観測を含むあらゆる量子の状態変化が、補助系を導入したより大きな空間上のユニタリ発展として理解できる可能性が開かれます [p.112]〜[p.114]。