Physics Lab. 2024のロゴ

アドカレ|20日目

一般確率論入門

はじめに

物理学科B3のSℏunです。今日はGPT(General Probabilistic Theories[1], 一般確率論)について紹介したいと思います[2]

一般確率論は量子論や古典論を含むようなより一般の理論であり、状態や測定に対する物理的な要請を出発点にしているという特徴があります。

状態と事象

古典物理学では各状態ごとに全ての物理量の値は定まっていると考えていましたが、量子論においては物理量の値は確率的な予言しかできなく[3]、しかも測定をすると状態が必然的に変化してしまうことがわかっています。そのため、量子論においては「状態」や「測定」の概念が自明なものではなく、真面目に考察しなければならないものであることがわかります。

標準的な量子論では状態や物理量がHilbert空間上の演算子として記述されることが天下り的に与えられますが、一般確率論においてはむしろ「状態」や「測定」に対する物理的な要請から出発します。

一般確率論においては、「状態」とはその状態において各「事象[4]」が起こる確率を与えるもの、とします。本当に一般の理論においては測定結果が確率的にさえわからない可能性もありますが、一般確率論においては確率的な予言はできることを要請します。また、どんな測定によっても区別できない「状態」は区別できないとして、同じ状態であるとみなします[5]

また、状態の(古典)確率混合はできることを要請します。つまり、どんな理論においても「確率pで状態Aにあり、確率1pで状態Bにあるような状態」を用意することはできるというふうに考えます。このことは、数学的に言えば、状態空間が凸集合[6]をなす、ということになります。

次に、「事象(effect)」は各「状態」に対してそれが起こる確率を与えるもの、とします。必ず同時に起きる事象は同じとみなします。つまり、「状態」と「事象」は互いから[0,1]への写像ということになります。

また、事象は状態の確率混合に対して整合的であることを要請します。つまり、状態Aで確率pAで起き、状態Bで確率pBで起きるような事象は、状態λA+(1λ)Bでは確率λpA+(1λ)pBで起きて欲しいということです。これは、数学的に言えば、「事象」が状態空間から[0,1]へのaffine写像[7]である、ということになります。

まとめると、一般確率論においては、「状態」は凸集合[8]の元であり、「事象」は状態空間から[0,1]へのaffine写像として記述されます。ここでは状態を先に定めましたが、事象に対する要請から出発することもでき、これらは双対的な関係[9]にあります。

次に、いくつかの概念の一般確率論における特徴付けを紹介します。

一つ目は、純粋状態です。一般確率論においては、純粋状態とは「他のどんな状態の確率混合としても表されないような状態のこと」として定義されます。これは数学的に言えば、状態空間のなす凸集合の端点[10]である、ということになります。

次に、古典系です。一般確率論においては、古典系は「全ての状態が純粋状態の確率混合として一意的に表される系」として定義され、これは数学的に言えば状態空間が単体[11]であるもの、ということになります。

また、「事象」はyes/noの2値測定とみなすことができますが、一般に、「測定」は事象空間の部分集合eiiで、任意の状態xに対してそれに属する事象の起こる確率の和が1となる(つまりiei(x)=1を満たす)ものとして定義できます[12]。この時、その「測定」に属する元の個数が測定結果としてあり得る値の個数となります。

合成系とエンタングルメント

一般確率論においては状態空間は凸集合であると述べましたが、合成系の状態空間はどのようになるでしょうか。

量子論の古典論と異なる反直観的な性質として、不確定性関係とならんで、エンタングルメント(非局所相関)の存在が挙げられます。これは空間的に離れた2つの系の間に非自明な相関があるというものですが、これは合成系の状態空間の性質によって決まります。

実は、一般確率論においては状態空間SA,SBによって表される2つの系A,Bの合成系の状態空間SA~SBは一意には定まりません。合成系の状態空間に対する物理的な要請からは、最小の状態空間SAminSB[13]と最大の状態空間SAmaxSB[14]の間にある[15]ことしかわからないのです[16]

ここで、一般確率論においてはSAminSBに属する状態を積状態、SA~SBSAminSBに属する状態をエンタングルメント状態と定義します。証明は省略しますが、実は、片方の系が古典系であることと、SAminSB=SAmaxSBであることが同値であることがわかっています[17]。つまり、エンタングルメントの存在は非古典系に共通の性質であり、量子系に固有の性質ではないのです。実際、一般確率論の中にはBellの不等式を量子論の限界よりも強く破る[18]ような系(Popescu-Rohrlich box)[19]も存在しています。

状態変化と測定

次に、「状態変化」や「測定」の扱いについて説明します。

一般確率論においては、状態変化や測定はより一般化されたチャネル(あるいはプロセス)の特別な場合と考えることができます。チャネルは一般に二つの状態空間の間のaffine写像f:S1S2として定義されます。affine写像であることは以前同様に状態の確率混合に対して整合的であるための要求です。

時間発展などの通常の状態変化は、そのうち変化の前後で同じ状態空間に属する(つまりS1=S2)ものであり、測定はS2が古典系(n-単体)であるものです。また、測定に伴う状態変化を考えたい場合には、状態空間Sから元の空間Sと古典系(n-単体)Δnの合成系S~Δnへのチャネルを考えればよく、そこにidS1n[20][21]を作用させれば測定結果がわからない混合状態になるし、idSe^j[22]を作用させればj番目の測定結果が得られた時の状態となります。

量子論における不確定性関係に代表される同時測定不可能性は、一般のチャネルに対するincompatibilityとして定式化されます[23]。2つのチャネルf:SFg:SGがcompatibleであるとは、(idF1G)Φ=f(1FidG)Φ=gを満たすチャネルΦ:ST1~T2が存在することと定義されます。fgがcompatibleでないとき、fgはincompatibleであると言います。

これを用いると、例えば複製禁止定理(no-broadcasting)も非古典系に一般の性質だとわかります。「状態を複製できる」ということは、「idSが自分自身とcompatibleであること」と表現できますが、それはSが単体(古典系)のときだけであるということが証明できる[24]のです。

終わりに

このように、一般確率論では、量子論で出てきた様々な概念がもっと自然に定義されるとともに、量子論の「不思議だ」と言われる性質が本当はどういうところから来たのかをもっと一般的な枠組みのもとに理解することができます。また、一般確率論は量子論自体の理解に役立つだけでなく、量子論より外側の世界を探究することもできます[25]

以上で見てきたことはほんの一部ですが、一般確率論の嬉しさが伝わったら幸いです。みなさんも一般確率論ネイティブを目指しませんか?


  1. 某chatする方ではないです。 ↩︎

  2. 主に M. Plávala Phys. Rep. 1033 1 (2023)を参考。日本語で読めるまとまった解説としては過去のPhysics Lab. の記事がある。 ↩︎

  3. さらに、ある一つの物理量の値が確定した状態というのは存在するが、複数の(互いに非可換な)物理量については、それらの値は同時に確定し得ないという不確定性関係が知られています。また、量子状態を物理量の値が定まった仮想的な状態の統計平均とみなすこともできないことがBell-Kochen-Sppekerの定理によってわかっています。 ↩︎

  4. 例えば「スピンxを測定したら1/2が得られる」など。 ↩︎

  5. 適当な同値類で割ってやればよいです。 ↩︎

  6. 内分点を取るという操作に対して閉じている集合。つまり、x,ySλ[0,1], λx+λ(1λ)ySを満たす集合Sのこと。例えば量子二準位系の状態空間である球体(Bloch球)など。 ↩︎

  7. 凸集合Sから凸集合Tへの写像f:STで、凸結合を保つ、つまり、λ[0,1], x,yS, f(λx+(1λ)y)=λf(x)+(1λ)f(y)を満たすもの。 ↩︎

  8. 正確には分離的閉凸構造。 ↩︎

  9. 事象のなす集合はeffect moduleという構造を持っていて、背後にあるベクトル順序・凸錐の関係からどちらから始めても良いことがわかります。 ↩︎

  10. λ(0,1)に対して、λx+(1λ)y=zならばx=y=zを満たす点zのこと。例えば球体の端点は球面であり、量子系における純粋状態の定義と合致していることがわかる。 ↩︎

  11. 全ての点が端点の凸結合として一意的に表される図形。例えば線分、三角形、四面体など。反対に、四角形や直方体は単体ではない。 ↩︎

  12. これはエントロピーを定義するときなどに使われます。G.~Kimura, J.~Ishiguro, and M.~Fukui Phys. Rev. A 94, 042113 (2016)などを参照。 ↩︎

  13. SAminSB:=conv(xAxB | xASA,xBSB) ↩︎

  14. SAmaxSBは最小の事象空間EAminEB:=conv(eAeB | eAEA,eBEB)から定まる状態空間として定義される。 ↩︎

  15. SAminSBSA~SBSAminSB ↩︎

  16. 実際、量子論における合成系の状態空間はminでもmaxでもない ↩︎

  17. G.~Aubrun, L.~Lami, C.~Palazuelos, M.~Plávala, Geom. Funct. Anal. 31 181 (2021)を参照。 ↩︎

  18. 正確にはC:=|C(AB)+C(AB)+C(AB)C(AB)|の最大値が古典論(局所隠れた変数理論)においては2(CHSH不等式)、量子論においては22(Tsirelson限界)、PR boxにおいては4である、ということ。 ↩︎

  19. S.~Popescu and D.~Rohrlich, Found.~Phys.~24, 379 (1994) ↩︎

  20. idSS上の恒等チャネルidS:xx↩︎

  21. 1nΔn上の自明チャネル 1n:x1 ↩︎

  22. e^jΔnから[0,1]へのチャネル(つまりΔn上の事象)で、j番目の純粋状態に対しては1を、それ以外の純粋状態に対しては0を返すもの。このような事象は古典系の時にのみ存在することに注意。 ↩︎

  23. ただし、本当は不確定性関係は内在的なゆらぎについてのものや測定誤差についてのものなど色々あります。また、ここでいうincompatobilityはそのような不等式によって具体的なバウンドが与えられるものではないです。 ↩︎

  24. H.~Barnum, J.~Barrett, M.~Leifer, and A.~Wilce Phys. Rev. Lett. 99, 240501 (2007)を参照。 ↩︎

  25. 例えば、素粒子標準模型と一般相対論の統一は達成されておらず、重力を含む万物の理論が量子論である保証はないでしょうし、物性中において量子でも古典でもないGPTの系が作られることはあり得るでしょう。 ↩︎