一般確率論入門
はじめに
物理学科B3のSℏunです。今日はGPT(General Probabilistic Theories[1], 一般確率論)について紹介したいと思います[2]。
一般確率論は量子論や古典論を含むようなより一般の理論であり、状態や測定に対する物理的な要請を出発点にしているという特徴があります。
状態と事象
古典物理学では各状態ごとに全ての物理量の値は定まっていると考えていましたが、量子論においては物理量の値は確率的な予言しかできなく[3]、しかも測定をすると状態が必然的に変化してしまうことがわかっています。そのため、量子論においては「状態」や「測定」の概念が自明なものではなく、真面目に考察しなければならないものであることがわかります。
標準的な量子論では状態や物理量がHilbert空間上の演算子として記述されることが天下り的に与えられますが、一般確率論においてはむしろ「状態」や「測定」に対する物理的な要請から出発します。
一般確率論においては、「状態」とはその状態において各「事象[4]」が起こる確率を与えるもの、とします。本当に一般の理論においては測定結果が確率的にさえわからない可能性もありますが、一般確率論においては確率的な予言はできることを要請します。また、どんな測定によっても区別できない「状態」は区別できないとして、同じ状態であるとみなします[5]。
また、状態の(古典)確率混合はできることを要請します。つまり、どんな理論においても「確率
次に、「事象(effect)」は各「状態」に対してそれが起こる確率を与えるもの、とします。必ず同時に起きる事象は同じとみなします。つまり、「状態」と「事象」は互いから
また、事象は状態の確率混合に対して整合的であることを要請します。つまり、状態
まとめると、一般確率論においては、「状態」は凸集合[8]の元であり、「事象」は状態空間から
次に、いくつかの概念の一般確率論における特徴付けを紹介します。
一つ目は、純粋状態です。一般確率論においては、純粋状態とは「他のどんな状態の確率混合としても表されないような状態のこと」として定義されます。これは数学的に言えば、状態空間のなす凸集合の端点[10]である、ということになります。
次に、古典系です。一般確率論においては、古典系は「全ての状態が純粋状態の確率混合として一意的に表される系」として定義され、これは数学的に言えば状態空間が単体[11]であるもの、ということになります。
また、「事象」はyes/noの2値測定とみなすことができますが、一般に、「測定」は事象空間の部分集合
合成系とエンタングルメント
一般確率論においては状態空間は凸集合であると述べましたが、合成系の状態空間はどのようになるでしょうか。
量子論の古典論と異なる反直観的な性質として、不確定性関係とならんで、エンタングルメント(非局所相関)の存在が挙げられます。これは空間的に離れた2つの系の間に非自明な相関があるというものですが、これは合成系の状態空間の性質によって決まります。
実は、一般確率論においては状態空間
ここで、一般確率論においては
状態変化と測定
次に、「状態変化」や「測定」の扱いについて説明します。
一般確率論においては、状態変化や測定はより一般化されたチャネル(あるいはプロセス)の特別な場合と考えることができます。チャネルは一般に二つの状態空間の間のaffine写像
時間発展などの通常の状態変化は、そのうち変化の前後で同じ状態空間に属する(つまり
量子論における不確定性関係に代表される同時測定不可能性は、一般のチャネルに対するincompatibilityとして定式化されます[23]。2つのチャネル
これを用いると、例えば複製禁止定理(no-broadcasting)も非古典系に一般の性質だとわかります。「状態を複製できる」ということは、「
終わりに
このように、一般確率論では、量子論で出てきた様々な概念がもっと自然に定義されるとともに、量子論の「不思議だ」と言われる性質が本当はどういうところから来たのかをもっと一般的な枠組みのもとに理解することができます。また、一般確率論は量子論自体の理解に役立つだけでなく、量子論より外側の世界を探究することもできます[25]。
以上で見てきたことはほんの一部ですが、一般確率論の嬉しさが伝わったら幸いです。みなさんも一般確率論ネイティブを目指しませんか?
某chatする方ではないです。 ↩︎
主に M. Plávala Phys. Rep. 1033 1 (2023)を参考。日本語で読めるまとまった解説としては過去のPhysics Lab. の記事がある。 ↩︎
さらに、ある一つの物理量の値が確定した状態というのは存在するが、複数の(互いに非可換な)物理量については、それらの値は同時に確定し得ないという不確定性関係が知られています。また、量子状態を物理量の値が定まった仮想的な状態の統計平均とみなすこともできないことがBell-Kochen-Sppekerの定理によってわかっています。 ↩︎
例えば「スピン
を測定したら が得られる」など。 ↩︎ 適当な同値類で割ってやればよいです。 ↩︎
内分点を取るという操作に対して閉じている集合。つまり、
を満たす集合 のこと。例えば量子二準位系の状態空間である球体(Bloch球)など。 ↩︎ 凸集合Sから凸集合Tへの写像
で、凸結合を保つ、つまり、 を満たすもの。 ↩︎ 正確には分離的閉凸構造。 ↩︎
事象のなす集合はeffect moduleという構造を持っていて、背後にあるベクトル順序・凸錐の関係からどちらから始めても良いことがわかります。 ↩︎
に対して、 ならば を満たす点 のこと。例えば球体の端点は球面であり、量子系における純粋状態の定義と合致していることがわかる。 ↩︎ 全ての点が端点の凸結合として一意的に表される図形。例えば線分、三角形、四面体など。反対に、四角形や直方体は単体ではない。 ↩︎
これはエントロピーを定義するときなどに使われます。G.~Kimura, J.~Ishiguro, and M.~Fukui Phys. Rev. A 94, 042113 (2016)などを参照。 ↩︎
は最小の事象空間 から定まる状態空間として定義される。 ↩︎ 実際、量子論における合成系の状態空間はminでもmaxでもない ↩︎
G.~Aubrun, L.~Lami, C.~Palazuelos, M.~Plávala, Geom. Funct. Anal. 31 181 (2021)を参照。 ↩︎
正確には
の最大値が古典論(局所隠れた変数理論)においては (CHSH不等式)、量子論においては (Tsirelson限界)、PR boxにおいては である、ということ。 ↩︎ は 上の恒等チャネル 。 ↩︎ は 上の自明チャネル ↩︎ は から へのチャネル(つまり 上の事象)で、j番目の純粋状態に対しては1を、それ以外の純粋状態に対しては0を返すもの。このような事象は古典系の時にのみ存在することに注意。 ↩︎ ただし、本当は不確定性関係は内在的なゆらぎについてのものや測定誤差についてのものなど色々あります。また、ここでいうincompatobilityはそのような不等式によって具体的なバウンドが与えられるものではないです。 ↩︎
H.~Barnum, J.~Barrett, M.~Leifer, and A.~Wilce Phys. Rev. Lett. 99, 240501 (2007)を参照。 ↩︎
例えば、素粒子標準模型と一般相対論の統一は達成されておらず、重力を含む万物の理論が量子論である保証はないでしょうし、物性中において量子でも古典でもないGPTの系が作られることはあり得るでしょう。 ↩︎