講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナーは、Tai-Danae Bradleyによる2020年の論文「At the Interface of Algebra and Statistics」(https://arxiv.org/abs/2004.05631)を中心的な題材として、量子論における密度行列(Density Matrix / Density Operator)と、古典論的な確率論との深い同一性を明らかにすることを主テーマとしています [p.2]。
確率論と量子論は、長らく異なる数学的枠組みを持つ別個の体系として扱われてきました。しかしBradleyはこの論文において、量子の状態を記述するために導入された密度行列が、直接に確率として解釈できることを示し、古典的確率論から量子論的確率論への移行の筋道を鮮やかに描き出しました。本セミナーはその概要を丁寧に解説することを目的としています [p.2]。
議論の核心にあるのは「周辺確率」の概念です。古典的な確率論において、結合確率分布から周辺確率を計算する「周辺化(マージナリゼーション)」という操作は、元の結合確率が持つ相関の「記憶」を消去してしまいます。たとえばfruitの周辺確率2/3という数字には、fruitがorangeとgreenに半々で結びついているという情報は残りません [p.22]。ところが量子論的な枠組みでは、密度行列のPartial Trace(部分トレース)という操作が「量子論的周辺化」に対応し、得られた「還元された密度行列」は結合確率の「記憶」を保持し続けます [p.3]。この非対角成分に潜む情報こそが、量子論的確率が古典的確率を真に超える部分です [p.36, p.37]。
セミナーは三つのパートで構成されます。Part 1では具体例を通じて古典的確率と量子的確率の違いを直観的に把握し、Part 2ではBra-Ket記法とテンソルネットワーク記法という二つの強力な記述ツールを整備し、Part 3でいよいよ密度演算子の定義・確率との同一性・Partial Traceの量子論的意味・Schmidt分解と還元密度行列のテンソルネットワーク表示という数学的本論を展開します [p.4, p.5]。本資料はさらに、ことばの意味を密度行列で表現する「意味の分散表現論」への展望も示しており、量子論的確率論がマクロな世界においても機能しうる可能性を示唆しています [p.156, p.157]。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 1: 結合確率と周辺確率
古典的確率論における結合確率・周辺確率の概念を具体例で整理した上で、「周辺確率は記憶を持たない」という古典論の本質的限界を示します。その後、確率の平方根を行列エントリに持つ新しい表現行列Mを導入することで、行列積M†MやMM†の対角成分が周辺確率を与えつつ、非対角成分と固有ベクトルに元の結合確率の情報が保持されるという「量子論的周辺化」の萌芽を具体計算で示します [p.9, p.25, p.36]。
■ Part 2-1: Bra-Ket記法
量子論の標準記法であるBra-Ket記法を有限次元ヒルベルト空間の枠組みで整備します。ベクトル(ket |v⟩)・コベクトル(bra ⟨v|)・テンソル積・内積・線型写像・直交射影演算子の相互関係を明確にし、Part 3の数学的議論の基盤とします [p.52, p.57]。
■ Part 2-2: テンソルネットワークの基礎
テンソルネットワーク記法(ノードとエッジによる図形表現)を導入し、複雑な線型代数の操作を視覚的に追跡できるようにします。等長埋め込み・ユニタリ演算子・SVD・Partial Traceなどの操作が図形操作として直感的に把握できることを示します [p.67, p.74]。
■ Part 3-1: 古典的確率分布の一般化 ― Density Operator
密度演算子(Density Operator)を「エルミート性・半正定値性・トレース=1」という三条件で定義し、これが古典的確率分布の「実数値・非負・和=1」という三条件の量子論的一般化であることを示します [p.89, p.97]。
■ Part 3-2: 古典論的確率と量子論的確率の基本的同一性
「全ての密度演算子はBorn RuleによりS上の確率分布を定義する(量子→古典)」「全てのS上の確率分布はC^S上の密度演算子を定義する(古典→量子)」という双方向の同一性を証明します [p.99, p.100, p.101]。
■ Part 3-3: Partial Traceは量子論的周辺化
End(V⊗W)からEnd(V)およびEnd(W)への線型写像としてPartial Trace(tr_W, tr_V)を定義し、これが古典的周辺化の量子論的一般化であることを命題として証明します。さらにPartial Traceを施した還元された密度演算子もdensityであることを示します [p.115, p.116, p.125, p.126]。
■ Part 3-4: 還元された密度行列のテンソルネットワーク表示
|ψ⟩∈V⊗WのSchmidt分解とSVDを用いて、直交射影ρ=|ψ⟩⟨ψ|の還元密度演算子ρ_V=M†M=UD²U†、ρ_W=MM†=VD²V†として表現できることを証明し、テンソルネットワーク図形によってその構造を視覚化します [p.133, p.139, p.140, p.147, p.152]。
ページのナビゲート