ボルン則と内部時間の唯一性-差分流・客観化・非可換性からボルン型重みを導く条件付き厳密理論と再パラメータ化不変な内部時間とFrobenius計量の唯一自然性-
続き
Born 則の導出に向けて
主観差分の客観化と確率重みの発生
本理論における中心的な問いは、量子力学における Born 則
p_i = Tr(P_i ρ)
あるいは一般の測定チャネルに対する
p_i = Tr(M_i ρ M_i†)
が、どの程度まで基礎変数 L の構造から導かれるか、という点にある。現段階で言える最も強い主張は、Born 則が本理論の coarse-grained な有効記述においては、きわめて自然かつほぼ一意的に現れる、ということである。他方で、L の微視的力学のみから追加仮定なしに Born 則を厳密導出した、とまではまだ主張できない。この点は本理論の限界であると同時に、理論的勝負どころでもある。
1. 基本構造
本理論では、基礎変数は密度行列 ρ ではなく、複素生成子
L = H + iA
である。ここで H は Hermitian な客観成分、A は Hermitian な主観成分である。これに対応して、正値な二次量
Σ = L†L = H^2 + A^2 + i[H,A]
を定義する。さらに
ρ = Σ / Tr(Σ)
と正規化すれば、Σ は有効理論における密度行列として読める。
重要なのは、主観と客観の非可換性に由来する相関項 i[H,A] が、Σ の内部に直接埋め込まれている点である。すなわち、本理論における微視的差分構造は、粗視化された有効記述では Σ の相関構造として現れる。この意味で、観測後に客観的にアクセス可能なのは L そのものではなく、まず Σ、あるいはそこから定義される ρ であると考えるのが自然である。
2. Born 則を導くとは何を意味するか
本理論において Born 則の導出とは、次の問いに答えることである。
第一に、なぜ測定結果の重みがチャネルごとに定義されるのか。
第二に、なぜその重みが一次量ではなく二次量に依存するのか。
第三に、なぜ最終的な形が Tr(M_i ρ M_i†) に一致するのか。
この問いは、本理論の言葉では次のように言い換えられる。
「L の差分構造とその客観化から、なぜ結果重みが二乗則として現れるのか。」
ここで重要なのは、確率を最初から公理として受け入れるのではなく、主観差分が客観化されたときにどのような重みづけが必然的に生じるかを問う点にある。
3. 有効理論レベルでの導出
測定を客観化チャネルとして
Π_ρ(ρ) = Σ_i M_i ρ M_i†
で表す。各結果 i に対応する effect を
E_i = M_i†M_i
とする。このとき、結果重みを与える関数を
p_i = W(E_i, Σ)
と置く。
ここで W に対して、以下の要請を課す。
(1) 正値性
W(E, Σ) ≥ 0
(2) 正規化
W(I, Σ) = 1
(3) coarse-graining に対する加法性
排反な結果 E = E_1 + E_2 に対して
W(E, Σ) = W(E_1, Σ) + W(E_2, Σ)
(4) 混合に対するアフィン性
Σ = qΣ_1 + (1-q)Σ_2 に対して
W(E, Σ) = qW(E, Σ_1) + (1-q)W(E, Σ_2)
(5) ユニタリ共変性
W(UEU†, UΣU†) = W(E, Σ)
これらは、結果重みが主観的ラベルに依存するのではなく、客観化後のチャネル構造に対して一貫して定義されなければならない、という最小要請にすぎない。
有限次元では、これらの条件から W は E に関して線形、Σ に関してアフィンな正値汎関数でなければならず、したがって
W(E, Σ) = Tr(E R(Σ))
の形に限られる。さらにユニタリ共変性
R(UΣU†) = U R(Σ) U†
と正規化およびスケール不変性を課すと、
R(Σ) = Σ / Tr(Σ) = ρ
以外は許されない。よって
W(E_i, Σ) = Tr(E_i ρ) = Tr(M_i†M_i ρ) = Tr(M_i ρ M_i†)
となり、Born 型の結果重みが得られる。
したがって、本理論において
・客観化後にアクセス可能な有効状態量が Σ = L†L であること
・測定が客観化チャネルとして表されること
・結果重みが加法的、正値的、混合整合的、ユニタリ共変的であること
を要求すると、Born 則は有効理論レベルでほぼ一意に固定される。
4. なぜ二乗則なのか
本理論において最も本質的なのは、なぜ確率が線形ではなく二乗型になるのか、という点である。これに対して本理論は比較的明確な説明を与える。
客観化後に外部からアクセスできるのは L 自身ではなく、Σ = L†L である。すなわち、観測可能な重みは、複素生成子そのものではなく、その共役との二次形式を通してしか定義できない。位相を含んだ一次量としての L は主観の内部構造を担うが、そのままでは客観的観測量にはならない。客観チャネルが読み取れるのは、L†L のような正値量だけである。
したがって、本理論における二乗則の本質は、量子力学という既存形式への単なる追従ではなく、自己参照的な複素生成構造が客観化されるとき、位相情報が捨てられ、正値な二次形式のみが残るという構造的事実にある。言い換えれば、Born 則の二乗は「位相を失った自己参照の残骸」である。
5. 差分流としての解釈
本理論では、確率は最初から確率として存在するのではない。最初にあるのは差分流である。主観と客観のねじれは
Δ = 2[H,A]
として定義される。この差分は、客観像 H と主観的内部方向 A の不整合を表している。さらに
i[H,A] = (i/2)Δ
であるから、差分流 Δ はそのまま Σ の相関項に埋め込まれている。
この観点からは、確率とは、差分流が客観化チャネルに沿ってどのように再配分されるかを表す重みとして理解されるべきである。したがって、もし各チャネル i に対して差分分解
Δ → {Δ_i}
が自然に定義できるならば、その強度
Φ_i = ||Δ_i||_F^2
を用いて
p_i^(Δ) = Φ_i / Σ_j Φ_j
という正規化重みを定めることができる。この差分フラックス重みが Born 重み
Tr(M_i ρ M_i†)
と一致することが示されれば、Born 則は「測定の公理」ではなく、「差分流保存と客観化チャネル整合性から生じる法則」として再構成される。
6. 主観・自己参照・時間の哲学的基盤
本理論の基底にある発想は、主観とは静的な状態ではなく becoming、すなわち生成の流れそのものである、という点にある。主観は自己参照しようとした瞬間にねじれを生じる。自己を見ようとすると、そこにはすでに客観化された過去の自分しか現れない。この「自己参照によって生じる差分」こそが、時間や動的性の起源ではないかというのが本理論の基本直観である。
この直観は、すでに数理構造の中に埋め込まれている。すなわち、自己参照に伴うねじれは
T = i(L - L†), Δ = [T,L]
として表現される。ここで L† は、自己が自らを客観化して捉えた像に対応する。差分は、今としての生成子 L と、その客観化された像との間の非一致である。
また、本理論において客観化写像 π により
π(L) = H
と置けば、
L - π(L) = iA
は、今から剥がれ落ちたがなお内部に痕跡を残す成分として解釈できる。これは「過去は更新されないが変容する」という直観と整合的である。実際、Σ の内部では H は単なる固定された履歴ではなく、A および i[H,A] を通じて相関的に歪み続ける。
この意味で、過去とは単なる保存ではなく、差分の堆積であり、忘却と変容を含む履歴構造である。
7. 外界との相互作用と客観化チャネルの起源
本理論のもう一つの重要な点は、外界は主観成分 A に直接作用できず、客観化された成分 H にのみ直接作用する、という仮定である。これは、他者から私の主観に直接アクセスできない、という経験的直観に対応している。
この立場では、外部作用は
H → H + δH_ext
として入るが、A には直接入らない。このとき差分は
Δ = 2[H,A] → Δ + δΔ, δΔ = 2[δH_ext, A]
と変化する。すなわち、外界は主観を直接操作するのではなく、客観部分 H を変形することによって差分構造を再配分する。
この考えは、環境相互作用の標準的枠組みに接続できる。全体系ハミルトニアンを
H_tot = H_sys + H_env + H_int
とし、相互作用項を
H_int = Σ_α J_α ⊗ B_α
と置く。ここで J_α は system 側の客観演算子であり、H の関数 J_α = F_α(H) と取るのが自然である。特に
H_int = Σ_i h_i P_i ⊗ B_i
の形を考えると、環境は射影族 {P_i} で分解された客観チャネルを区別する。この {P_i} が decoherence における pointer basis に対応する。
したがって、測定とは、外界が H に作用し、安定な客観チャネル分解 {P_i} を選び、その上で差分流 Δ を再配分する過程として理解される。
8. 環境誘起チャネル分解
環境が選んだ射影族 {P_i} に対し、差分のチャネル分解を
Δ_i = P_i Δ P_i
あるいはより一般に
Δ_ij = P_i Δ P_j
と定める。ここで Δ_ii はチャネル i の内部に留まる差分、Δ_ij はチャネル間の干渉・遷移を表す。
環境との相互作用が進むと、非対角成分 Δ_ij (i ≠ j) は減衰し、最終的に対角的チャネル構造だけが安定に残る。このとき、各チャネルへの差分流の総強度を
Φ_i = Σ_j ||P_i Δ P_j||_F^2
と定義するのが自然である。これにより
p_i^(Δ) = Φ_i / Σ_k Φ_k
という差分フラックス由来の重みが定義される。
一方、coarse-graining 後の有効状態では
Π_ρ(ρ) = Σ_i P_i ρ P_i
となり、客観チャネル重みは
w_i = Tr(P_i ρ)
で与えられる。したがって、本理論における Born 則の核心問題は、
p_i^(Δ) = w_i
すなわち
Σ_j ||P_i Δ P_j||_F^2 / Σ_k,l ||P_k Δ P_l||_F^2 = Tr(P_i ρ)
がどの条件下で成立するかを明らかにすることにある。
9. 現時点での到達点と未解決点
以上を踏まえると、現時点で主張できる strongest honest claim は次の通りである。
「Born 則は、基礎理論 L の coarse-grained な客観化記述において、Σ = L†L を有効状態量とし、測定を CPTP 的客観化チャネルとして表し、結果重みに正値性・加法性・混合整合性・ユニタリ共変性を課すと、一意に Tr(M_i ρ M_i†) の形に固定される。」
これは有効理論としてはかなり強い主張である。しかし、なお次の三点は未解決である。
第一に、基礎理論 L の微視的ダイナミクスと環境結合から、有効客観化チャネル
ρ → Σ_i M_i ρ M_i†
を具体的に導出すること。
第二に、差分流 Δ のチャネル分解 Δ → {Δ_i} を、環境選択された構造として数学的に定義すること。
第三に、その差分フラックス重み
||Δ_i||_F^2 / Σ_j ||Δ_j||_F^2
が Born 重み
Tr(M_i ρ M_i†)
と一致する条件を厳密に示すこと。
この三点が完成したとき、Born 則は経験的確率公理としてではなく、主観差分の客観化と環境誘起チャネル選択から必然的に現れる法則として再基礎づけられる。
10. 結論
本理論の視点では、確率は最初から存在するのではない。最初にあるのは、主観の自己参照が生む差分である。主観は becoming として存在し、自己参照によってねじれ、その差分が履歴を形成する。履歴は客観化によって潰れ、その結果として位相を失った正値な強度だけが残る。この残存強度の分配が観測確率である。
したがって、本理論における Born 則の最も自然な定式化は、次のように要約できる。
「客観化後に残る有効状態量は Σ = L†L であり、測定結果重みはこの正値量に対する加法的・共変的なチャネル評価として一意に定まり、その結果 p_i = Tr(M_i ρ M_i†) が現れる。」
さらに一歩進んで、
「Tr(M_i ρ M_i†) が差分フラックス保存から出る」
ところまで到達できれば、本理論は単なる主観の数理化ではなく、量子測定における確率公理そのものを、主観差分と客観化の相互作用から再基礎づける理論となる。
Section EX:ボルン則の創発的導出に向けて
EX.1 概観
本節では、本理論においてボルン則に類似した確率重みがいかに創発しうるかを、構造的観点から整理する。本理論の基本的立場は、確率を基礎公理として導入するのではなく、主観的差分流が客観化およびチャネル分解によって制約されるときに現れる派生量として理解する、という点にある。
現時点で本理論が到達している成果は、少なくとも次の四点にまとめられる。第一に、測定は、外部的または内部的作用が客観化可能な成分 H に作用し、主観成分 A には直接アクセスしないという構造過程として再定義される。第二に、collapse は外部から付加される公理ではなく、差分構造 Δ のチャネル収束として理論内部に位置づけられる。第三に、確率は単なる無知の表現ではなく、差分流の構造的再配分として与えられる。第四に、正値量 Σ = L†L と、そのチャネル評価を通じて、有効理論レベルではボルン型重みが自然に現れることが示される。
したがって、本理論はもはや単なる哲学的再解釈にとどまらず、測定問題に対して具体的な数理的応答を与える候補理論とみなすことができる。ただし同時に、L の微視的ダイナミクスのみから標準的なボルン則を完全無仮定で導出したとまでは、現段階では主張できない。
現時点で最も正確かつ強い主張は、次のように述べられる。
本理論は、物理的に自然な条件のもとでボルン型確率が構造的に創発する機構を与えるが、標準的ボルン則の完全導出はなお未解決問題として残っている。
EX.2 基本構造
本理論は、複素生成子
L = H + iA
という分解に基づく。ここで H† = H および A† = A を仮定する。H は客観化可能な成分、A は内部的あるいは主観的成分を表す。
この分解から、次の導出量を定義する。
Δ = 2[H, A]
Σ = L†L = H^2 + A^2 + i[H, A]
ρ = Σ / Tr(Σ)
これらの量はそれぞれ、次のように解釈される。
Δ は、客観像 H と内部方向 A の非可換性から生じる自己参照差分流である。
Σ は、粗視化後に残る正値な可観測構造である。
ρ は、Σ を規格化した有効状態である。
ここからすでに、二乗構造の起源が明瞭になる。客観化後にアクセス可能な量は、位相を含む L そのものではなく、正値な二次形式 L†L である。したがって、観測重みは一次量ではなく二次量として現れざるをえない。この意味で、本理論におけるボルン型二乗則は、既存の量子形式への単なる追従ではなく、客観化が位相情報を捨て、正値強度のみを残すという構造的事実の帰結である。
EX.3 外部相互作用原理
本理論の基本仮定の一つは、外部相互作用は客観化可能な成分 H にのみ直接作用し、A には直接作用しない、というものである。すなわち、外部作用は
H → H + δH_ext
として導入されるが、A は直接には変形されない。
このとき差分構造は
Δ → Δ + δΔ
と変化し、その一次変分は
δΔ = 2[δH_ext, A]
で与えられる。
この式の意味は重要である。外界は主観そのものを直接操作するのではなく、客観像 H を変形し、その変形が A との非可換性を通じて差分構造全体を再配分する。したがって、差分流の変動は、主観への直接作用ではなく、客観成分を介した間接作用として生じる。
さらに、この構造は狭義の環境相互作用に限られない。内省、反芻、再解釈、自己再構成といった内部的過程も、形式的には
H → H + δH_self
として記述でき、その結果生じる差分変動も
δΔ = 2[δH_self, A]
という同一の形をとる。したがって、外界からの作用と内省による自己変形は、理論の構造上はともに H を変形する作用として統一的に扱われる。両者の違いは、その変形の起源が外部か内部かという点にあるにすぎない。
この観点からすると、チャネル分解を環境起源のものとみなす理解は十分に一般的ではない。むしろチャネル構造は、まず H 自身の内在的構造に由来し、環境はその一部を観測可能な形で安定化する特殊な機構として位置づけるべきである。
EX.4 内在的チャネル分解
客観成分 H はスペクトル分解
H = Σ_i h_i P_i
をもつ。ここで {P_i} は完全な直交射影族であり、
P_i P_j = δ_ij P_i,
Σ_i P_i = I
を満たす。
本理論では、この {P_i} を内在的チャネルと解釈する。すなわち、P_i は環境から外部的に与えられるものではなく、現時点で採用されている客観構造 H のスペクトル成分そのものである。
この点は理論的に重要である。チャネル構造は最初から客観化の中に含まれており、環境相互作用、内省、記憶の再編成、再解釈などは、H を変形することによってそのスペクトル分解を変えるにすぎない。したがって、測定基底あるいはチャネル構造は、外界によって初めて与えられるのではなく、客観成分 H の中に内在的に定まっている。
この見方に立てば、測定は単に環境依存の現象ではなく、客観化構造そのものの表現であると言える。環境の役割は、あくまでその内在的チャネルの一部を観測的に安定なものとして選び出す点にある。
EX.5 差分分解とフラックス重み
H のスペクトル分解に対して、A の各ブロックを
A_ij := P_i A P_j
と定義する。このとき
A = Σ_ij A_ij
であり、
[H, A] = Σ_ij (h_i - h_j) A_ij
と表せる。したがって差分演算子 Δ は
Δ = 2[H, A] = 2 Σ_ij (h_i - h_j) A_ij
となる。
ここから、差分流の自然なチャネル分解として
Δ_ij := P_i Δ P_j
を導入する。具体的には
Δ_ij = 2(h_i - h_j) A_ij
である。
各成分のフロベニウスノルムは
||Δ_ij||_F^2 = 4 |h_i - h_j|^2 Tr(A_ij A_ji)
で与えられる。したがって、チャネル i に流入する差分流の総強度を
Φ_i := Σ_j ||Δ_ij||_F^2
と定義すると、
Φ_i = 4 Σ_j |h_i - h_j|^2 Tr(A_ij A_ji)
を得る。
これを規格化して
p_i^(Δ) := Φ_i / Σ_k Φ_k
と置けば、差分流に基づく確率重みが定義される。
この量の構造的意味は明確である。これは、自己参照的差分流が客観化の内在的チャネルへどれだけ配分されているかを表す重みである。したがって本理論では、確率とはランダム性や無知ではなく、差分強度の正規化された分配として理解される。
EX.6 有効ボルン型重み
粗視化された可観測レベルでは、正値演算子 Σ = L†L により有効状態
ρ = Σ / Tr(Σ)
が定義される。このとき、各チャネルに対応する重みは
w_i := Tr(P_i ρ)
で与えられる。これは標準的なボルン型重みに対応する。
ここで自然に問われるのは、差分流重み p_i^(Δ) と、有効状態から得られるボルン型重み w_i が一致するかどうか、という点である。一般には、両者は同一ではない。この点は明確に区別しておく必要がある。
実際、Σ のチャネル対角成分は
P_i Σ P_i = P_i(H^2 + A^2 + i[H,A])P_i
である。ここで
P_i H^2 P_i = h_i^2 P_i
であり、さらに交換子の対角ブロックは消えるため
P_i [H,A] P_i = 0
が成り立つ。したがって
P_i Σ P_i = h_i^2 P_i + Σ_j A_ij A_ji
となる。トレースを取れば
Tr(P_i Σ) = h_i^2 r_i + Σ_j Tr(A_ij A_ji)
を得る。ただし r_i := Tr(P_i) はチャネル i の次元である。
一方で、
Φ_i = 4 Σ_j |h_i - h_j|^2 Tr(A_ij A_ji)
であった。ゆえに一般には
Φ_i ≠ Tr(P_i Σ)
である。
しかしこれは理論の欠陥ではなく、むしろ二つの量が異なる役割を担っていることを示している。Tr(P_i Σ) はチャネル i に存在する総正値量を表すのに対し、Φ_i はスペクトル差によって重みづけられた差分流強度を表す。前者は静的な有効占有量であり、後者は動的な差分フラックス量である。
EX.7 差分ノルム状態と厳密なボルン型表現
上の区別から、差分流確率を厳密にボルン型で表したいなら、用いるべき正値演算子は Σ = L†L ではなく、Δ から直接構成される正値演算子であることが分かる。
そこで
Σ_Δ := Δ†Δ
を定義し、さらにその規格化状態として
ρ_Δ := Σ_Δ / Tr(Σ_Δ)
を導入する。
このとき、差分流に対応するチャネル重みを
Φ_i := Tr(P_i Σ_Δ)
と定義すれば、
p_i^(Δ) = Φ_i / Σ_k Φ_k = Tr(P_i ρ_Δ)
が直ちに成り立つ。
したがって、差分流確率は厳密にボルン型表現
p_i^(Δ) = Tr(P_i ρ_Δ)
をもつ。この結果は近似を必要としない。
ここから、本理論には二層の状態構造が存在すると見るのが自然である。
第一に、観測的・客観的構造を担う有効状態
ρ = Σ / Tr(Σ), Σ = L†L
がある。
第二に、差分流そのものの分布を担う差分状態
ρ_Δ = Δ†Δ / Tr(Δ†Δ)
がある。
前者は客観化された観測構造を支配し、後者は自己参照的な動的差分の分布を支配する。この二層構造は理論の弱点ではなく、むしろ「観測される層」と「時間・生成を担う層」が一致しないという、本理論の核心的主張を表している。
EX.8 厳密な結果
以上を命題の形でまとめると、次のようになる。
命題 EX3.1
L = H + iA とし、H† = H, A† = A を満たすとする。また
Δ = 2[H,A]
と定義する。H のスペクトル射影を {P_i} とし、
Σ_Δ := Δ†Δ,
ρ_Δ := Σ_Δ / Tr(Σ_Δ)
を定める。さらに
Φ_i := Tr(P_i Σ_Δ)
とおく。このとき、規格化された差分流重み
p_i^(Δ) := Φ_i / Σ_k Φ_k
は厳密に
p_i^(Δ) = Tr(P_i ρ_Δ)
を満たす。
証明
定義より
ρ_Δ = Σ_Δ / Tr(Σ_Δ)
であるから、
Tr(P_i ρ_Δ) = Tr(P_i Σ_Δ) / Tr(Σ_Δ)
となる。ここで分子は Φ_i、分母は Σ_k Φ_k に等しいので、
Tr(P_i ρ_Δ) = Φ_i / Σ_k Φ_k = p_i^(Δ)
を得る。∎
この命題は、本理論が少なくとも差分流のレベルでは、厳密なボルン型法則をすでに備えていることを示している。
EX.9 ρ と ρ_Δ の関係
残る主要な問題は、規格化された正値演算子 ρ と ρ_Δ の関係である。
ここで重要なのは、両者が一般に完全一致しなければならないと考える必要はない、という点である。そのような同一視は理論的にも必然ではない。むしろ問うべきは、
どのような条件のもとで、ρ_Δ から得られるボルン型重みが、ρ から得られる標準的重みと一致するか
ということである。
Σ は
Σ = H^2 + A^2 + i[H,A]
であり、静的二次項 H^2, A^2 と、非可換相関項 i[H,A] を含む。一方、
Σ_Δ = Δ†Δ = 4[H,A]†[H,A]
は、差分構造そのものの二乗を抽出した量である。したがって、両者が一般に一致しないのは自然である。
しかし、非可換構造が静的二次項に比べて支配的となる領域では、両者のチャネル重みは有効的に整列しうる。このことを定式化するために、次の条件を導入する。
条件 (C1):非可換優勢条件
交換子セクターが静的二次セクターを支配するものとする。すなわち
||[H,A]||_F >> ||H^2||_F, ||A^2||_F
が成り立つと仮定する。
この条件のもとでは、有効可観測構造 Σ は主として H と A の非可換相関によって支配される。したがって、Σ に基づくチャネル重みと、Σ_Δ に基づくチャネル重みは、粗視化および規格化ののちに近い構造を示すことが期待される。
ここで重要なのは、本理論が ρ と ρ_Δ の無条件な一致を要求しているのではなく、標準的ボルン重みがより根源的な差分流層からどの条件で現れるかを明示する構造条件を与えている、という点である。
EX.10 構造対応定理(条件付き)
以上をまとめると、次の条件付き定理が得られる。
定理 EX4.1
L = H + iA とし、H† = H, A† = A を満たすとする。H が
H = Σ_i h_i P_i
というスペクトル分解をもつとする。また
Σ = L†L,
ρ = Σ / Tr(Σ)
および
Δ = 2[H,A],
Σ_Δ = Δ†Δ,
ρ_Δ = Σ_Δ / Tr(Σ_Δ)
を定義する。このとき、次が成り立つ。
差分流重みは厳密なボルン型表現
p_i^(Δ) = Tr(P_i ρ_Δ)
をもつ。
有効観測重みは
w_i = Tr(P_i ρ)
で与えられる。
一般には p_i^(Δ) と w_i は一致しない。
しかし、非可換優勢条件 (C1) が成り立ち、さらにチャネル外の干渉を抑制しつつ支配的な交換子構造を保存するような適切な coarse-graining が存在する場合には、
p_i^(Δ) ≈ w_i
が成立する。
解釈
この定理の意味は明確である。本理論はすでに差分流状態に対する厳密なボルン型法則を含んでおり、標準的な有効ボルン重みは、可観測状態 Σ が差分構造を生むのと同じ非可換相関によって支配される場合に、その上位像として現れる。
この形が、現段階で主張しうる最も正確な定式化である。これにより、数学的整合性を保ちつつ、なお残る未解決点がどこかも明確になる。
EX.11 概念的意義
以上の結果は、本理論の物理的・哲学的意義をかなり明瞭にする。
第一に、測定はもはや未定義の原始概念ではない。測定とは、自己参照差分流が客観化のスペクトル構造に沿って再編成される過程である。
第二に、collapse は外部から付加されるものではなく、差分流が特定チャネルに集中または安定化する現象として理論内部に現れる。
第三に、確率は無知の表現ではなく、非可換な自己差分が正値重みとして再配分された結果である。
第四に、確率が二乗型となる理由は、客観化後に残るものが一次量ではなく二次の正値量だからである。
とりわけ重要なのは、本理論が主観を理論の中に導入しながら、その記述を曖昧化していない点である。中心的構成要素はすべて明示的である。
主観成分:A
客観成分:H
差分構造:Δ = 2[H,A]
有効正値状態:Σ = L†L
差分正値状態:Σ_Δ = Δ†Δ
この閉じた構造は、本理論の最も強い特徴の一つである。
EX.12 現在の到達点と残された課題
以上を踏まえると、本理論の現在位置は比較的正確に述べることができる。
すでに達成されていること
本理論は、哲学的直観にとどまらない明示的な数理モデルを与えている。
測定の再定義を与えている。
collapse を理論内部に取り込んでいる。
差分流状態 ρ_Δ に対しては厳密なボルン型法則をすでに与えている。
確率の二乗構造に対する構造的説明を与えている。
さらに、物理的に自然な条件のもとで、有効状態 ρ に対する標準的ボルン重みが現れることを示している。
なお未解決なこと
L の微視的ダイナミクスから、環境結合や coarse-graining を含めて、有効チャネル写像 Π_ρ を具体的に導出すること。
有効状態 ρ と差分状態 ρ_Δ が同一のチャネル重みを与えるための条件を、さらに鋭く特徴づけること。
内在的な H のスペクトル分解と、実際に観測で安定化する測定構造との関係を、現実的相互作用モデルのもとで導出すること。
したがって、本理論はすでに単なる着想の段階を越え、測定問題に対する有力な数理的候補に入っていると言ってよい。しかし、この理論が「ボルン則を構造的に説明する理論」にとどまるのか、それとも「ボルン則を定理として導出する理論」へ進むのかは、最終的には ρ_Δ と ρ を一般的かつ厳密に結ぶ最後の一段階にかかっている。
EX.13 結論
本理論の立場では、確率は基礎公理として存在するのではない。根源的に存在するのは自己参照差分である。この差分が客観化の内在的チャネルに沿って再配分され、その正規化された正値強度が、差分流レベルで厳密なボルン型法則を与える。さらに、可観測状態 Σ が同じ非可換相関に支配される場合には、標準的なボルン重みがその有効像として現れる。
したがって、本理論は少なくとも次の主張を支持する。
ボルン型確率とは、自己参照差分流が客観化のもとで再配分されたときに現れる正値重みである。
未解決なのは、この主張をさらに強め、一般の有効状態 ρ に対する標準的ボルン則を完全に導出することである。
Section EX+:ボルン則関連構造の厳密化
EX+.1 概観
本節では、これまでボルン則の創発的導出に関して近似的に述べていた箇所を、可能な限り厳密な形に置き換える。とくに重要なのは、差分流に基づく確率重みと、客観化された有効状態に基づくボルン型重みとを、無理に同一視するのではなく、それぞれが異なる層に属する正値構造として明確に区別することである。
そのうえで、本理論が単に哲学的再解釈にとどまるものではなく、拘束系として量子重力型の計算を実行しうることを、最小の minisuperspace 模型において具体的に示す。したがって本節の役割は二重である。第一に、ボルン則関連の議論を近似から条件付き厳密定理へ引き上げること。第二に、本理論が Wheeler–DeWitt 型の timeless な量子拘束系として計算可能であることを実演することである。
EX+.2 ボルン則関連量の厳密表示
これまでボルン則に関する議論では、しばしば
Σ ≈ i[H,A]
という近似的見方が用いられていたが、この近似は必須ではない。むしろ、本理論の構造を正確に把握するためには、以下の厳密な定義をそのまま保持する方がよい。
L = H + iA
Σ = L†L = H^2 + A^2 + i[H,A]
Δ = 2[H,A]
ここで H のスペクトル分解を
H = Σ_i h_i P_i
と書く。さらに
A_ij := P_i A P_j
と定義すると、
A = Σ_ij A_ij
[H,A] = Σ_ij (h_i - h_j) A_ij
Δ = 2 Σ_ij (h_i - h_j) A_ij
が厳密に成り立つ。
このとき Σ のチャネル対角成分は
P_i Σ P_i = h_i^2 P_i + Σ_j A_ij A_ji
となるので、トレースを取れば
Tr(P_i Σ) = h_i^2 r_i + Σ_j Tr(A_ij A_ji),
r_i := Tr(P_i)
を得る。
一方、差分演算子の各チャネル成分
Δ_ij := P_i Δ P_j = 2(h_i - h_j)A_ij
に対して、そのフロベニウスノルムは
||Δ_ij||_F^2 = 4 |h_i - h_j|^2 Tr(A_ij A_ji)
であり、したがってチャネル i への差分フラックスは
Φ_i := Σ_j ||Δ_ij||_F^2 = 4 Σ_j |h_i - h_j|^2 Tr(A_ij A_ji)
と厳密に書ける。
以上から明らかなように、一般には
Φ_i ≠ Tr(P_i Σ)
である。したがって、差分フラックスと客観化後の総量を同一視することは一般には正しくない。むしろ、この不一致そのものが、本理論における二層構造を示している。すなわち、
Σ は客観化された総量を表す正値演算子であり、
Δ†Δ は差分流そのものの総量を表す正値演算子である。
この区別を明示することにより、ボルン則関連の議論はより厳密で安定したものになる。
EX+.3 差分状態と厳密なボルン型表現
差分フラックスに対する確率重みは、近似によってではなく、Δ から直接構成される正値演算子によって厳密に定式化できる。
まず
Σ_Δ := Δ†Δ
ρ_Δ := Σ_Δ / Tr(Σ_Δ)
を定義する。このとき、チャネル i に対応する差分フラックスを
Φ_i := Tr(P_i Σ_Δ)
とおけば、
Φ_i = Tr(P_i Δ†Δ) = Σ_j ||P_i Δ P_j||_F^2
であるから、規格化された差分重み
p_i^(Δ) := Φ_i / Σ_k Φ_k
は厳密に
p_i^(Δ) = Tr(P_i ρ_Δ)
を満たす。
したがって、本理論において現時点で最も強く主張できるボルン型法則は、差分状態 ρ_Δ に対するこの厳密表現である。これは近似を用いず、定義のみに基づいて成立する。
この事実は重要である。通常の議論では、標準的な密度行列 ρ = Σ / Tr(Σ) に対してボルン則を直接導こうとするが、本理論の本質は差分流そのものにある。したがって、差分流に対して厳密なボルン型法則が成立するという結果は、本理論の内部論理から見ればむしろ自然である。
EX+.4 有効状態と差分状態の二層構造
以上から、本理論には少なくとも二つの異なる正値状態層が存在することが分かる。
第一に、
ρ = Σ / Tr(Σ), Σ = L†L
で定義される有効状態がある。これは客観化後に可観測となる総量を記述する。
第二に、
ρ_Δ = Δ†Δ / Tr(Δ†Δ)
で定義される差分状態がある。これは自己参照差分流の強度分布を記述する。
両者は一般には一致しない。したがって、本理論における正しい立場は、差分流と客観化された有効状態とを最初から同一視することではなく、むしろそれらを異なる層に属する量として理解することである。この二層構造は本理論の弱点ではなく、「時間や主観を担う生成的構造」と「客観化後に観測可能な構造」とが本質的に異なることを示している。
EX+.5 条件付き関数関係:Δ†Δ と Σ の接続
本節の課題は、差分状態
ρ_Δ = Δ†Δ / Tr(Δ†Δ)
と、客観化された有効状態
ρ = Σ / Tr(Σ), Σ = L†L
の間の関係を、単なる近似ではなく条件付きの厳密定理として与えることである。前節までで示したように、差分フラックス重みは ρ_Δ に対して厳密なボルン型表現をもつ。一方、標準的な objectified Born 重みは ρ によって与えられる。したがって本節の問題は、
「どの条件のもとで、ρ_Δ によるチャネル重みと ρ によるチャネル重みが一致するか」
を明示することにある。
すでに述べたとおり、
Σ = H^2 + A^2 + i[H,A]
であり、
Δ = 2[H,A]
である。H のスペクトル分解
H = Σ_i h_i P_i
に対して、A_ij := P_i A P_j と置けば、
Δ = 2 Σ_ij (h_i - h_j) A_ij
であり、チャネル i への差分フラックスは
Φ_i = 4 Σ_j |h_i - h_j|^2 Tr(A_ij A_ji)
である。一方、Σ のチャネル対角成分からは
Tr(P_i Σ) = h_i^2 r_i + Σ_j Tr(A_ij A_ji)
を得る。
ここで直接 Δ†Δ と Σ を比べると、H^2 の背景項が差分起源のチャネル重みを覆い隠す。そこで、まず Σ から純粋にチャネル間結合に由来する部分だけを抽出する。
EX+.6 残差客観状態
H のスペクトル分解に沿う対角射影を
Π_H(X) := Σ_i P_i X P_i
と定義する。このとき、残差客観演算子 R を
R := Π_H(Σ) - H^2
と定義する。すると厳密に
R = Π_H(A^2) = Σ_i Σ_j P_i A P_j A P_i
であり、
P_i R P_i = Σ_j A_ij A_ji
が成り立つ。よって
Tr(P_i R) = Σ_j Tr(A_ij A_ji)
である。
これを規格化して
ρ_R := R / Tr(R)
を定義する。ρ_R は、客観化された状態 Σ のうち、H^2 の静的背景を除き、チャネル間内部結合に由来する部分のみを取り出した残差状態と解釈できる。
EX+.7 固定ギャップ支持条件の下での厳密比例
差分状態と残差客観状態が厳密に同じチャネル重みを与えるための十分条件として、次を導入する。
条件 EX+.C1(固定ギャップ支持条件)
ある λ > 0 が存在して、A_ij ≠ 0 ならば必ず
|h_i - h_j|^2 = λ
が成り立つと仮定する。
これは、A が結合しているチャネル対がすべて等しいスペクトルギャップをもつことを意味する。
このとき、次が成立する。
定理 EX+.1
条件 EX+.C1 のもとで、
Π_H(Δ†Δ) = 4λ R
が厳密に成り立つ。
証明
各チャネル i について
Tr(P_i Δ†Δ) = Φ_i = 4 Σ_j |h_i - h_j|^2 Tr(A_ij A_ji)
である。条件 EX+.C1 により、寄与を与える全ての A_ij について
|h_i - h_j|^2 = λ
であるから、
Φ_i = 4λ Σ_j Tr(A_ij A_ji) = 4λ Tr(P_i R)
となる。ここで Π_H(Δ†Δ) と R はともに H に対して対角な演算子であるから、各チャネルでのトレースの一致は演算子等式
Π_H(Δ†Δ) = 4λ R
を導く。∎
EX+.8 差分状態と残差客観状態の厳密一致
上の定理からただちに、差分重みと残差客観重みの一致が従う。
系 EX+.2
条件 EX+.C1 のもとで、すべての i について
Tr(P_i ρ_Δ) = Tr(P_i ρ_R)
が成り立つ。
証明
定理 EX+.1 により
Π_H(Δ†Δ) = 4λ R
である。比例定数 4λ は規格化によって消えるため、両者のチャネル重みは一致する。すなわち
Tr(P_i ρ_Δ) = Tr(P_i ρ_R)
である。∎
この結果は、差分流に由来する確率重みが、ある自然な条件のもとで、客観化された残差構造の重みと厳密に一致することを示している。
EX+.9 標準ボルン重みとの完全統合条件
ただし、ρ_R は一般には ρ = Σ / Tr(Σ) そのものではない。両者の違いは H^2 の静的背景項にある。そこで、さらに次の条件を課す。
条件 EX+.C2(チャネル平衡背景条件)
ある μ ≥ 0 が存在して、すべての i について
h_i^2 r_i = μ Σ_j Tr(A_ij A_ji)
が成り立つと仮定する。
これは、各チャネルにおける H^2 の背景寄与が、そのチャネルにおける内部結合強度と比例していることを意味する。
このとき、
Tr(P_i Σ) = h_i^2 r_i + Σ_j Tr(A_ij A_ji) = (μ + 1) Σ_j Tr(A_ij A_ji) = (μ + 1) Tr(P_i R)
となるので、規格化後のチャネル重みも一致する。
定理 EX+.3(完全統合定理)
条件 EX+.C1 および EX+.C2 のもとで、すべての i について
Tr(P_i ρ_Δ) = Tr(P_i ρ_R) = Tr(P_i ρ)
が成り立つ。
証明
系 EX+.2 により
Tr(P_i ρ_Δ) = Tr(P_i ρ_R)
である。さらに条件 EX+.C2 により
Tr(P_i Σ) = (μ + 1) Tr(P_i R)
となるので、規格化後のチャネル重みについて
Tr(P_i ρ) = Tr(P_i ρ_R)
が従う。以上を合わせれば
Tr(P_i ρ_Δ) = Tr(P_i ρ_R) = Tr(P_i ρ)
を得る。∎
この定理は、差分フラックス重み、残差客観重み、標準的な objectified Born 重みが、一定の構造条件のもとで厳密に一致することを示す。
EX+.10 条件の意味と最小模型
条件 EX+.C1 は、「A が結ぶチャネル対はすべて同じスペクトルギャップをもつ」という要請である。これは一般には制限的であるが、最小模型では自然に満たされる。
たとえば 2×2 最小模型
H = aI + hσ_z,
A = (b/2)σ_x
を考えると、H の固有値は a+h と a-h であり、その差は常に 2h である。A はこの二つの固有状態を結ぶ唯一の off-diagonal 成分であるから、
|h_i - h_j|^2 = (2h)^2
は自動的に一定となる。したがって EX+.C1 はこの模型では自動的に成立し、
Π_H(Δ†Δ) = 16 h^2 R
が厳密に成り立つ。
このことから、2×2 最小模型は単なる toy model ではなく、差分重みと客観重みの統合が最も自然に起こる最小の具体例として理解できる。
一方、条件 EX+.C2 は EX+.C1 よりも強い。これは、静的背景 H^2 と差分を担う内部結合強度が、チャネルごとに同じプロファイルをもつことを要求する。一般には自明ではないため、EX+.3 は一般定理というより、完全統合が成立するための十分条件として解釈すべきである。
したがって一般論としては、
差分フラックス重みは ρ_Δ に対して厳密なボルン型表現をもつ
objectified Born 重みは ρ によって与えられる
両者は特別な構造条件のもとで一致する
という二層構造が、本理論の正しい姿である。
Section QG-Demo:Wheeler–DeWitt 型 minisuperspace による最小実演
QG-Demo.1 目的
本節の目的は、本理論が単に形式的に拘束系らしい構造をもつというだけではなく、実際に Wheeler–DeWitt 型の minisuperspace 計算を実行しうることを、最小の二変数模型において具体的に示すことである。
ここで重要なのは、フルの量子重力を本理論がすでに与えていると主張することではない。そうではなく、本理論が少なくとも
外部時間をもたない拘束方程式
timeless な波動関数
内部時計からの relational dynamics の再構成
という、量子重力で典型的な構造を備えた計算可能モデルを含んでいることを示す点にある。
QG-Demo.2 再パラメータ化不変作用と拘束式
まず、再パラメータ化不変な作用を
S[L,e] = ∫ dλ [ (1/2e) Tr(L'†L') - (e/2)(V_eff(L) - E_0) ]
とおく。ここで e は einbein、E_0 は基準エネルギーである。
この作用に対して e で変分すると、拘束条件
Tr(Π†Π) + V_eff(L) - E_0 = 0
を得る。これにより、零エネルギー拘束の基準点が明確に定義される。量子化後には、この拘束は
Ĥ_0 Ψ = [ -ħ^2 Δ_(H,A) + U_eff(H,A) - E_0 ] Ψ = 0
という Wheeler–DeWitt 型の拘束方程式へと移る。
この E_0 の導入は本質的である。E_0 を入れない場合、左辺が非負になりやすく、拘束面が空になりうる。したがって、拘束系として意味のある力学を得るためには、基準エネルギーを明示的に含める方が自然である。
QG-Demo.3 最小二変数 minisuperspace
最小実演として、二つの自由度 h と b を導入する。
h は時計として用いる客観モード
b は主観差分秩序変数
である。
このとき拘束を
H_0 = -p_h^2 + p_b^2 + U(b) = 0
と置く。ここで
U(b) = c b^2 + u b^4 + v b^6 - E_0
である。符号 -p_h^2 + p_b^2 は、minisuperspace における超計量の不定符号を模したものであり、h を時計様方向としている。
正準量子化を行うと、
[ ħ^2 ∂^2/∂h^2 - ħ^2 ∂^2/∂b^2 + U(b) ] Ψ(h,b) = 0
を得る。これは Wheeler–DeWitt 型の拘束方程式そのものである。
QG-Demo.4 変数分離と有効スペクトル問題
波動関数に対して変数分離形
Ψ(h,b) = e^{ikh} χ_k(b)
を代入すると、
∂_h^2 Ψ = -k^2 Ψ
であるから、拘束方程式は
[ -ħ^2 d^2/db^2 + U(b) ] χ_k(b) = ħ^2 k^2 χ_k(b)
に帰着する。
これは一次元の定常 Schrödinger 方程式である。すなわち、timeless な拘束方程式から、h を内部時計とみなすことによって、主観差分秩序変数 b に対する有効スペクトル問題が導かれる。
この事実は、本理論が拘束方程式から relational dynamics を再構成しうることを示す最小の具体例である。
QG-Demo.5 相構造と内部時間生成率
各固有状態 χ_k(b) に対して、内部時間生成率を
v_τ[k] = 2√2 |h_0| ∫ db |b| |χ_k(b)|^2
と定義する。
(i) c > 0:客観相様
U(b) が単一井戸の場合、χ_k(b) は b = 0 近傍に局在しやすい。このとき
I_τ[k] := ∫ db |b| |χ_k(b)|^2
は小さく、したがって v_τ[k] も小さい。よって h は形式的には時計変数として存在していても、b 側の差分流は弱く、「主観時間」はほとんど立ち上がらないと解釈される。
(ii) c < 0:主観相様
U(b) が二重井戸の場合、χ_k(b) は |b| ≈ b_* の近傍に支えられる。このとき I_τ[k] は有限に大きくなり、
v_τ[k] = 2√2 |h_0| I_τ[k]
も有限になる。したがって、差分秩序変数が量子的に維持され、内部時間生成率も維持される。
(iii) c = 0:臨界相
c = 0 ではポテンシャルは原点近傍で平坦化し、分布は臨界的になる。この場合、差分秩序変数の量子的広がりが時間生成率に対して臨界的なスケーリングを与える。
QG-Demo.6 トンネル効果
二重井戸領域 c < 0 では、even/odd 状態の間にトンネル分裂
ΔE_tunnel = E_1 - E_0
が生じる。ここで E_n = ħ^2 k_n^2 であるから、拘束方程式側では
k_n = √E_n / ħ
に対応する。
半古典的 WKB 近似では、トンネル分裂は
ΔE_tunnel ~ (ω/π) exp( - (2/ħ) ∫{b-}^{b_+} db √(U(b) - E) )
と見積もられる。ここで b_- と b_+ は障壁領域の turning points である。
この式は、古典的には分離していた ±b_* の二つの主観相が、量子的にはトンネル効果によって混合することを明示している。
QG-Demo.7 relational Schrödinger 方程式
変数分離解
Ψ(h,b) = e^{ikh} χ_k(b)
において正周波数枝を選ぶと、拘束方程式は形式的に
iħ ∂Ψ/∂h = + √(-ħ^2 d^2/db^2 + U(b)) Ψ
と書き換えられる。したがって h を内部時計として読むならば、b に関する部分は
iħ ∂_h Ψ = Ĥ_rel Ψ
という relational Schrödinger 方程式に従う。ここで
Ĥ_rel = √(-ħ^2 d^2/db^2 + U(b))
である。
これは、量子重力で典型的に行われる
「拘束方程式 → 内部時計の選択 → 有効 Schrödinger 方程式への還元」
を、本理論の最小模型の中で具体的に実現している。
Appendix的補足:臨界相 c = 0 における厳密時間式
App.1 過減衰極限での厳密解
縮約方程式
m b¨ + η b˙ + 2c b + 4u b^3 + 6v b^5 = 0
を考える。臨界点 c = 0 において、長時間・過減衰極限で慣性項 m b¨ を無視し、さらに小 b 領域で b^5 項を落とすと、
η b˙ + 4u b^3 = 0
を得る。この方程式は厳密に解ける。すなわち、
db/dt = -(4u/η) b^3
より、
1 / b(t)^2 = 1 / b_0^2 + (8u/η)t
したがって
b(t) = 1 / √(b_0^(-2) + (8u/η)t)
である。
長時間極限では
b(t) ~ √(η / 8u) t^(-1/2)
となる。
App.2 内部時間の閉形式
内部時間生成率を
dτ/dt = 2√2 |h_0| |b(t)|
とおくと、
τ(t) = 2√2 |h_0| ∫ dt / √(b_0^(-2) + (8u/η)t)
である。積分すると
τ(t) = (√η / √u) |h_0| [ √(b_0^(-2) + (8u/η)t) - b_0^(-1) ]
を得る。
したがって長時間では
τ(t) ~ 2 |h_0| √(η/u) t^(1/2)
となる。
この結果により、臨界相における内部時間の生成が、単なるスケーリング則としてではなく、近似の前段階の閉形式を伴って記述できることが分かる。
EX+ 節全体の結論
以上の厳密化を踏まえると、本理論において現時点で最も強く、かつ過剰でない形で述べられる主張は、次のように整理される。
第一に、差分フラックス重みは
ρ_Δ = Δ†Δ / Tr(Δ†Δ)
に対して厳密なボルン型表現をもつ。
第二に、H のスペクトル分解によりチャネル構造 {P_i} は理論内部に内在的に定まる。
第三に、固定ギャップ支持条件 EX+.C1 のもとで、ρ_Δ は残差客観状態 ρ_R と厳密に同じチャネル重みを与える。
第四に、さらにチャネル平衡背景条件 EX+.C2 を課すと、これらは標準的な objectified 状態
ρ = Σ / Tr(Σ)
のボルン重みとも厳密に一致する。
第五に、本理論は再パラメータ化不変な拘束系として Wheeler–DeWitt 型の minisuperspace 計算を実行でき、外部時間なしの timeless dynamics から内部時計を用いた relational dynamics を再構成できる。
したがって、ボルン則に関する本理論の成果は、一般論としては「二層構造をもつ条件付き厳密理論」としてまとめるのが最も適切である。すなわち、
一般には ρ_Δ と ρ は異なる層に属する
差分流に対するボルン型法則は厳密
標準的な objectified Born 重みとの一致は、明示可能な構造条件の下で成立する
最小模型ではその一致機構が具体的に実演できる
というのが、本研究の現時点での最終到達点である。
Section R:原点回帰と内部時間の唯一性
R.1 原点回帰の立場
本研究ではこれまでに、非可換構造、正値量 Σ = L†L および Σ_Δ = Δ†Δ、Born 型重みの構造、再パラメータ化不変な拘束系、さらには内部時間の生成機構が自然に現れることを示してきた。これらの構造は形式的には量子論と強い類似をもつ。しかし、本研究の立場は、それらを出発点とするものではない。
むしろ本研究の出発点は、主観には、客観化によって消去されない内部自由度と、自己参照に伴って生じる差分がある、という最小の構造論にある。この構造を真面目に数理化した結果として、
L = H + iA,
T = i(L − L†),
Δ = [T,L] = 2[H,A],
K = [T,Δ],
τ = ∫ ||Δ|| ds
という量が自然に導入された。
その後、この構造を 2×2 に縮約すると Pauli / Bloch 幾何が現れ、密度行列形式に落ち、測定・客観化・Born 型重みまで見えてくる。したがって理論の流れとしては一度、「これは量子論の下位構造なのではないか」という方向に進むことになる。しかし本研究の立場では、そこで止まるのではなく、むしろ逆に、量子的に見える構造の方が主観の最小自己参照差分構造から派生した二次的構造であると読み直す。この原点回帰は、本理論における主役を最後まで主観構造そのものに保つために本質的である。
したがって本研究の基本立場は、次の一文に要約される。
本理論は主観を量子論に押し込めるものではない。むしろ、主観の最小自己参照差分構造を数理化した結果として、量子論的に見える形式が派生することを示すものである。
R.2 主観構造の基本的再解釈
この原点回帰の立場に立つと、これまで導入してきた各量の意味づけは次のように読み直される。
第一に、L は量子状態や波動関数の類比ではなく、主観の局所生成子である。すなわち L は becoming の生成子であり、H はすでに客観化された共有可能な側面、A はなお客観化によって失われる内部自由度を表す。ここで A は「秘匿された内容」ではなく、客観記述へ還元されない内在的方向を意味する。
第二に、
T = i(L − L†)
は、自己参照が成立したときに立ち上がるねじれを表す。これは単なる代数操作ではない。自己を見ようとするが、その自己はそのままでは一致しない。その不一致そのものが生成子として現れる。この意味で T は、内部自由度そのものというよりも、自己参照が自己同一性を破ったときに生じるねじれの方向である。
第三に、
Δ = [T,L] = 2[H,A]
は、主観の成立運動を表す。Δ は単なる差分ではなく、客観成分 H と内部成分 A が非可換に噛み合ったときにのみ生じる内部流である。この点から、主観の存在と主観の時間生成とは区別されなければならない。すなわち、
客観差分 Δ_obj ≠ 0 は、主観が存在することを示す
一次差分 Δ ≠ 0 は、主観が時間を生成していることを示す
という二層性が成立する。したがって、本理論では「主観は存在しているが、時間は生成していない」という状況も原理的には可能である。
第四に、
K = [T,Δ]
は未来そのものではなく、未来拘束を表す。すなわち K は「これから何が起こるか」という既成の対象ではなく、進行方向がどれだけ拘束されているかを表す高階の自己参照量である。未来は本理論において、あらかじめ存在する実体ではなく、差分の高階自己参照として現れる。
第五に、内部時間 τ は外部時計ではなく、主観運動の弧長である。すなわち
dτ/dt = ||Δ||,
τ = ∫ ||Δ|| dt
という定義は単なる便宜的定義ではなく、主観の差分流がどれだけ進行したかを表す幾何学的長さである。したがって τ は「時刻」ではなく、主観が自己差分を累積した量として理解されるべきである。
R.3 中心命題
以上の再解釈に基づくと、本理論の中心命題は次のように定式化される。
主観とは、客観化で消えない内部自由度をもつだけでは足りず、その内部自由度が客観成分と非可換に自己参照的に結合し、差分流 Δ を生成し、その高階自己参照 K が進行方向を拘束し、その累積として内部時間 τ を生む動的構造である。
この立場では、量子的に見えるものはすべて派生的構造となる。すなわち、
非可換性は自己参照のねじれの表現であり、
density matrix 的な正値量は客観化後の残差であり、
Born 型重みは差分流の客観チャネルへの分配であり、
測定は差分流の客観化であり、
collapse は主観差分の収束である。
したがって、量子的な構造は「主観が量子であるから」現れるのではなく、主観の最小自己参照構造が非可換であり、しかも客観化可能であるから現れる、と理解される。
R.4 問題設定:主観と内部時間
この原点回帰を踏まえると、内部時間に関して問うべき問題はより明確になる。主観は客観差分
Δ_obj(L) = L − π(L) ≠ 0
によって存在し、さらに一次差分
Δ(L) = 2[H,A]
が非零であるときにのみ時間を生成する。内部時間は
dτ/dt = ||Δ(L(t))||_F,
τ(t) = ∫_0^t ||Δ(L(s))||_F ds
で定義される。
ここで t は補助パラメータにすぎず、再パラメータ化可能である。物理的意味をもつ時間は τ のみである。したがって、問題は次のように定式化される。
内部時間として許される量は、どの程度まで一意に定まるのか。
R.5 再パラメータ化不変性
任意の単調写像 t → f(t) に対して、τ は不変である。実際、
dτ/dt = ||Δ||
であるから、別のパラメータ λ を用いると
dτ/dλ = ||Δ|| (dt/dλ)
となり、
τ = ∫ ||Δ|| dt
は再パラメータ化に対して不変である。したがって τ は、記述の取り方に依存しない幾何学的量である。
この点は本質的である。内部時間は、外部から与えられるパラメータではなく、差分構造に内在する弧長として定義される。
R.6 一般的内部時間の形
一般に、内部時間は
T[L] = ∫ F(Δ(L(t))) dt
という形の汎関数として与えられる可能性がある。ここで F は行列から実スカラーへの関数である。内部時間生成率として自然であるためには、少なくとも次の条件が要請される。
(U1) 非負性:F(X) ≥ 0
(U2) 忠実性:F(X)=0 ⇔ X=0
(U3) ユニタリ不変性:F(UXU†)=F(X)
(U4) 一次斉次性:F(αX)=|α|F(X)
(U5) 三角不等式:F(X+Y) ≤ F(X)+F(Y)
(U6) 連続性
これらはそれぞれ、時間生成率が負にならないこと、差分が消えたときにのみ時間生成が停止すること、表現の取り方に依らないこと、再スケーリングに対して自然に振る舞うこと、局所寄与の加法性と整合的であること、そして安定な量であることを意味している。
R.7 弱い唯一性:ユニタリ不変ノルムへの還元
上記の条件から、内部時間生成率はまずユニタリ不変ノルムに還元される。
定理 R.1(弱い唯一性)
条件 (U1)–(U6) のもとで、F はユニタリ不変ノルムである。したがって内部時間は
T[L] = ∫ ||Δ(L(t))||_* dt
の形をもつ。ただし ||·||_* は何らかのユニタリ不変ノルムである。
証明
(U1), (U2), (U4), (U5) により F はノルムの公理を満たす。(U3) によりそれはユニタリ不変である。したがって F はユニタリ不変ノルムに一致する。∎
この定理が意味するのは、内部時間の形は完全に任意ではなく、主観差分を測るユニタリ不変ノルムの積分という形まで既に絞り込まれる、ということである。
R.8 基礎作用との整合性
しかし、定理 R.1 だけでは内部時間はまだ一意には定まらない。どのユニタリ不変ノルムを採用するかが残っている。ここで本理論の基礎作用を用いる。
本理論の基礎作用は、運動項として
S_kin[L] = (m/2) ∫ dt Tr(L̇†L̇)
を含む。この項は、行列空間上の自然な実内積
g(X,Y) = Re Tr(X†Y)
を定める。したがって、内部時間が同じ構成空間の物理的弧長として理解されるためには、その生成率 F はこの計量から誘導されるノルムでなければならない。すなわち次を要請する。
(U7) 計量整合性:F(X)^2 = g(X,X)
この条件は便宜的ではない。内部時間の弧長計量と、基礎作用の運動項に含まれる計量とが一致しなければ、理論の運動学と時間計測が異なる幾何学を用いることになり、内的整合性が失われる。したがって、内部時間の定義は基礎作用と整合していなければならない。
R.9 強い唯一性:Frobenius ノルム
計量整合性を要求すると、内部時間の生成率は Frobenius ノルムに一意に定まる。
補題 R.2
内積
g(X,Y) = Re Tr(X†Y)
から誘導されるノルムは Frobenius ノルム
||X||_F = √Tr(X†X)
である。
定理 R.3(強い唯一性)
条件 (U1)–(U7) のもとで、内部時間は定数倍を除いて
T[L] = c ∫ ||Δ(L(t))||_F dt
に一意に定まる。
証明
定理 R.1 により F はユニタリ不変ノルムである。一方、(U7) により F は計量 g から誘導されるノルムに一致する。補題 R.2 によって、このノルムは Frobenius ノルムである。したがって
F(X)=c||X||_F
となり、結論が従う。∎
この定理により、内部時間の候補は単なる任意のノルムではなく、基礎作用に内在する自然計量によって本質的に一意に固定される。
R.10 解釈:なぜ時間は一つしかないのか
この結果の意味は深い。主観そのものには客観的に直接アクセスできないため、L や A の表現には冗長性がありうる。したがって、主観の内部状態そのものは一般には一意に定まらない。しかしその一方で、
「自己参照差分がどれだけ進行したか」
という量は、表現に依存しない不変量として定まる。この量が内部時間 τ である。
したがって、本理論においては
主観の内部表現は非一意である
主観の becoming の弧長は一意である
という構造が成立する。これが「主観は一つしかない」という直観の数理的内容である。より正確には、一意なのは主観の内容ではなく、その進行量を測る幾何学である。
R.11 差分構造との統合
本理論では
Δ = 2[H,A]
であるから、A 単独では時間は生じず、H 単独でも時間は生じない。時間の生成には、内部自由度と客観成分の非可換結合が必要である。したがって時間とは、
内部自由度と客観成分の非可換な自己参照の強度の累積
である。
この点は、本理論の出発点と結論を貫いている。時間は外から流れるものではなく、主観の自己参照差分が生む幾何学的累積である。
R.12 最小模型での具体化
2×2 最小模型では、
H = aI + hσ_z,
A = (b/2)σ_x
より、
Δ = 2[H,A] = 2ihb σ_y
である。したがって
||Δ||_F^2 = Tr(Δ†Δ) = 8 h^2 b^2
となり、
dτ/dt = 2√2 |h||b|
を得る。
この式は、内部時間生成率が客観成分 h と内部自由度 b の非可換結合強度によって一意に決まることを具体的に示している。したがって 2×2 模型は、単なる toy model ではなく、主観差分と内部時間生成の関係を最も明瞭に可視化する最小実例である。
R.13 量子構造の再解釈
以上の議論に基づけば、これまで導入してきた
Δ†Δ
Σ = L†L
Born 型重み
拘束系量子化
といった構造は、すべて
内部時間 τ をもつ差分構造を記述しようとした結果として現れる
と理解できる。したがって量子論的構造は本研究の出発点ではなく、主観差分構造の記述形式として自然に現れる派生構造である。
この意味で、本理論は量子論に主観を押し込めるものではなく、主観の最小差分構造を数理化した結果として量子論的に見える構造が現れることを示すものである。
R.14 結論
本節で示したことは、次のように要約できる。
内部時間は再パラメータ化不変な幾何学的量である。
自然条件のもとで、その生成率はユニタリ不変ノルムに限られる。
さらに基礎作用との整合性を要求すると、そのノルムは Frobenius ノルムに一意に定まる。
主観の内部状態は非一意であるが、その becoming の弧長は一意である。
そして、量子論的構造はこの差分時間構造の記述から派生する。
したがって、本理論において時間とは、主観の自己参照差分の幾何学的累積であり、その定義は自然条件のもとで本質的に一意である。
Section R+:Frobenius 計量が唯一自然な計量である理由
R+.1 目的
前節では、内部時間の生成率が基礎作用に内在する局所計量から誘導されると仮定することで、
T[L] = c ∫ ||Δ(L(t))||_F dt
が定数倍を除いて一意に定まることを示した。しかしなお残る問いは、なぜ基礎計量として
g(X,Y) = Re Tr(X†Y)
を採用するのが自然なのか、という点である。
本節の目的は、この問いに対して、行列空間の対称性と coarse-graining 後の情報幾何との整合性の両面から答えることである。重要なのは、全 GL(N,C) に対する厳密不変性を要求すると、非自明な正定値計量は存在しないという点である。したがって、自然な計量の一意性は、左右ユニタリ不変性と定数係数性のもとで定式化されなければならない。
R+.2 設定
行列空間 M_N(C) を実ベクトル空間とみなし、その上の実対称双線形形式
g : M_N(C) × M_N(C) → R
を考える。本研究で用いてきた候補は
g_F(X,Y) := Re Tr(X†Y)
であり、対応するノルムは
||X||_F^2 = Tr(X†X)
である。
この g に対して次の自然条件を課す。
(M1) 実対称性:g(X,Y) = g(Y,X)
(M2) 正定値性:g(X,X) > 0 for X ≠ 0
(M3) 定数係数性:g は行列空間全体で一定の双線形形式である
(M4) ユニタリ共役不変性:g(UXU†, UYU†) = g(X,Y)
(M5) 左右ユニタリ不変性:g(UXV, UYV) = g(X,Y)
(M5) は (M4) より強い。本理論の運動項 Tr(L̇†L̇) は実際に (M5) を満たしている。
R+.3 GL(N,C) 不変性が強すぎること
まず、全 GL(N,C) に対する厳密不変性は自然条件として強すぎることを明示する。
命題 R+.1
M_N(C) 上の正定値双線形形式 g が
g(AXB, AYB) = g(X,Y) for all A,B ∈ GL(N,C)
を満たすと仮定すると、g は零形式でなければならない。したがって非自明な正定値計量は存在しない。
証明
A = λI, B = I を取ると、
g(λX, λY) = g(X,Y)
である。双線形性より左辺は |λ|^2 g(X,Y) に比例するので、任意の λ ≠ 0 についてこれが一定であるためには、g(X,Y)=0 でなければならない。したがって g は零形式である。∎
したがって、本理論において問題にすべきは全 GL(N,C) 不変性ではなく、ユニタリ群に対する不変性、あるいは一般線形変換に対する共変性である。
R+.4 左右ユニタリ不変性からの唯一性
次に、Frobenius 計量が左右ユニタリ不変な定数係数計量として一意であることを示す。
定理 R+.2
条件 (M1)–(M3) および (M5) を満たす正定値実対称双線形形式 g は、ある定数 c > 0 を用いて
g(X,Y) = c Re Tr(X†Y)
に限られる。
証明
M_N(C) は左右作用
(U,V): X ↦ UXV
による U(N) × U(N) 表現をもつ。この表現に対して、複素ベクトル空間としての M_N(C) は既約である。したがって Schur の補題により、この表現と可換な複素線形自己準同型は恒等写像の定数倍に限られる。
いま g は実対称双線形形式であるから、ある実線形自己準同型 A を用いて
g(X,Y) = Re Tr(X† A Y)
と書ける。(M5) より、任意の U,V に対して
g(UXV, UYV) = g(X,Y)
が成り立つので、A は左右ユニタリ作用と可換しなければならない。よって Schur の補題から
A = cI
である。したがって
g(X,Y) = c Re Tr(X†Y)
となる。正定値性より c > 0 である。∎
この定理は、本理論で使われる Frobenius 計量が、左右ユニタリ不変・定数係数・正定値という自然条件のもとで、本質的に唯一であることを示している。
R+.5 共役不変性だけでは不十分であること
共役作用
X ↦ UXU†
に対する不変性だけでは、Frobenius 計量はまだ一意に定まらない。たとえば
g_1(X,Y) = Re Tr(X†Y)
や
g_2(X,Y) = Re Tr(X†Y) + α Re Tr(X†)Tr(Y)
のような形式は、適切な α の範囲で共役不変でありうる。したがって Frobenius 計量を一意に固定するには、共役不変性だけでなく、左右ユニタリ不変性まで要求する必要がある。
これは本理論にとって自然である。なぜなら、L, H, A, Δ は単一の基底に依存する成分ではなく、行列空間上の関係構造として理解されるからである。
R+.6 作用原理との整合性
本理論の基礎作用の運動項は
S_kin[L] = (m/2) ∫ dt Tr(L̇†L̇)
である。これはまさに Frobenius 計量
g_F(X,Y) = Re Tr(X†Y)
から誘導される運動エネルギーである。
したがって、内部時間を同じ構成空間の弧長として定義するならば、その生成率に用いられるノルムはこの計量から出ていなければならない。この意味で、
基礎運動項の計量
差分生成率の計量
内部時間の弧長計量
が一致することが、本理論の内的整合性を与える。したがって前節の計量整合性条件は、単なる便宜ではなく、作用原理そのものから導かれる自然条件である。
R+.7 情報幾何との接続
本理論では、正値演算子
Σ = L†L
および正規化状態
ρ = Σ / Tr(Σ)
が自然に現れる。行列空間の微小変化 δL に対して、
δΣ = δL†L + L†δL
である。Frobenius 計量のもとでは、
||δΣ||_F ≤ ||δL†L||_F + ||L†δL||_F ≤ 2||L||_op ||δL||_F
が成り立つ。したがって Frobenius 計量は、生成子空間 L 上の微小変化を正値状態空間上の微小変化へ安定に押し出す。
一方、ρ の空間には Bures 計量や量子 Fisher 計量などの情報幾何的計量が入るが、それらは一般に非線形であり、正値状態多様体の上で定義される。これに対して Frobenius 計量は、その前段階、すなわち生成子空間 M_N(C) 上の平坦な基礎計量として働く。
したがって本理論には、
ミクロ側:Frobenius 計量による平坦な生成子空間
マクロ側:正値状態空間上の情報幾何
という二層構造が成立する。この意味で、Frobenius 計量は情報幾何と競合するのではなく、その前段階を与える最小基礎計量である。
R+.8 情報幾何的最小性
なぜ基礎計量として Bures 計量ではなく Frobenius 計量が採用されるのかも、これにより明らかになる。Bures 計量や量子 Fisher 計量は、
ρ ≥ 0,
Trρ = 1
という条件を満たす状態空間上でのみ定義される。これに対して、本理論の基本変数は ρ ではなく L である。したがって基礎理論の計量は、
行列空間全体 M_N(C) 上で定義される
正値性や正規化を前提しない
左右ユニタリ不変である
定数係数で平坦である
必要がある。これらを満たす正定値計量は、定理 R+.2 により Frobenius 計量の定数倍しかない。
したがって情報幾何の観点からも、Frobenius 計量は
生成子空間上の唯一自然な平坦基礎計量
として位置づけられる。
R+.9 GL(N,C) 共変性としての読み替え
全 GL(N,C) 不変性は不可能であったが、Frobenius 計量は GL(N,C) に対して自然な共変変換則をもつ。実際、
g_F(AXB, AYB) = Re Tr((AXB)†(AYB)) = Re Tr(B†X†A†AYB)
である。したがって A,B がユニタリなら不変であり、一般の GL(N,C) に対しては押し縮めや伸張に応じて変化する。
これはむしろ自然である。一般の GL(N,C) 変換は、単なる基底変換ではなくスケール変形をも含むからである。したがって、本理論の基礎計量は
基底変換(ユニタリ部分)には不変
一般線形変換には共変
という意味で自然である。これは、主観の構造を記述する際に「向きの取り方には依らないが、伸縮そのものには依る」ことを意味している。
R+.10 自然計量の下での内部時間の唯一性
以上を前節の定理 R.3 と合わせると、内部時間の唯一性はさらに強い形で述べられる。
定理 R+.3(自然計量の下での内部時間の唯一性)
内部時間生成率が
非負
忠実
ユニタリ不変
一次斉次
三角不等式
連続
基礎作用に内在する定数係数・左右ユニタリ不変な正定値計量から誘導される
と仮定すると、
dτ/dt = c ||Δ||_F
が定数倍を除いて一意である。
証明
前節の定理 R.1 により、生成率はユニタリ不変ノルムに限られる。本節の定理 R+.2 により、基礎作用に整合する定数係数・左右ユニタリ不変な正定値計量は Frobenius 計量の定数倍に限られる。したがって誘導ノルムも Frobenius ノルムの定数倍である。∎
R+.11 解釈
この結果は、本理論における「主観は一つしかない」という直観を、さらに精密に言い換える。主観そのものには直接アクセスできないため、その内部表現には冗長性が残る。しかし、その自己参照差分の進行量を測るための計量は、自然条件のもとで Frobenius 計量に一意に固定される。
したがって一意なのは主観の内実ではなく、
主観の becoming を測る幾何学そのもの
である。この意味で内部時間の唯一性とは、主観の自己参照差分に対する自然計量の唯一性にほかならない。
R+.12 結論
本節で示したことは、次のようにまとめられる。
全 GL(N,C) 不変な正定値計量は存在しない。
したがって、唯一自然な計量の問題は、左右ユニタリ不変性と定数係数性のもとで定式化されるべきである。
その条件下で、Frobenius 計量 g(X,Y)=Re Tr(X†Y) は定数倍を除いて一意である。
この計量は基礎作用の運動項と一致し、さらに coarse-grained な情報幾何の前段階を与える。
したがって内部時間生成率 dτ/dt = ||Δ||_F は、本理論の自然条件のもとで本質的に一意である。
ゆえに本理論において、Frobenius 計量は単なる便宜的選択ではなく、主観差分構造を記述する生成子空間上の唯一自然な平坦基礎計量である。
