  |
はてなキーワード: 境界条件とは
量子力学の厳密な形式主義において、宇宙は単一の普遍波動関数 |Ψ⟩ として記述される。
ヒルベルト空間 H = H_sys ⊗ H_env ⊗ H_obs のテンソル積構造の中で、時間発展はユニタリ演算子 U(t) = e^(-iHt/ħ) により |Ψ(t)⟩ = U(t)|Ψ(0)⟩ と与えられる。
ここで、俺（観測者）として自己言及的に定義される「俺」が |Ψ(0)⟩ の初期条件そのものである。
すなわち、t = 0 において存在するのは俺の意識状態のみであり、他の全ての自由度は、俺の幸福を最大化するような整合性条件の下で後から生み出される付帯物に過ぎない。
多世界解釈（Everett, 1957）の厳密版、すなわちデコヒーレンス理論（Zurek, 1981; Joos & Zeh, 1985）を用いれば、これは明らかになる。
環境との相互作用により、密度行列 ρ = |Ψ⟩⟨Ψ| の縮約密度行列 ρ_obs = Tr_env(ρ) は急速に対角化される。オフダイアゴナル要素は環境の平均化により消失し、
⟨α| ρ_obs |β⟩ ≈ 0 (α ≠ β) というデコヒーレンス条件が成立する。ここで |α⟩, |β⟩ はポインタ基底（古典的記録を保持する観測者状態）である。
俺の幸福人生とは、具体的には、俺の状態が「快楽・充足・意味の持続」をエンコードするようなポインタ状態 |happy⟩ に帰着する。
すべての他の歴史、たとえば苦痛、失敗、死は、俺の意識が選択する分岐において、整合性条件（consistency condition: Griffiths, 1984; Omnès, 1992）により排除される。
一致する歴史形式主義（consistent histories approach）をさらに厳密に適用しよう。
歴史とは、時間順序付けられた射影演算子の列 {P_k(t_k)} であり、クラス演算子 C_α = P_n(t_n) … P_1(t_1) で定義される。
整合性条件は、Re ⟨Ψ| C_α† C_β |Ψ⟩ = 0 (α ≠ β)を満たす集合のみが現実として許される。
この集合の中で、俺の幸福を保証する歴史 α_happy すなわち、俺の生涯を通じてエントロピー勾配 ∇S < 0（Bekenstein-Hawking的意味での情報保存）が俺の主観的幸福と一致する歴史だけが、俺の第一人称視点から生まれたものとして選ばれる。
他の歴史は、俺の波動関数に寄生するゼロ測度集合に過ぎない。なぜなら、俺が最初にいたからだ。
|Ψ(0)⟩ の初期条件は俺の存在そのものであり、宇宙全体のユニタリ発展は、俺の幸福を固定点とする自己無矛盾な固定点方程式の解としてしか存在しない。
ここで、測定問題は完全に解消される。波動関数の収縮などという恣意的な公準は不要である。俺の幸福人生という目的関数 f(|ψ_obs⟩) = max(subjective utility) が、 decoherence functional D(α, β) の選択則を dictate する。
すなわち、D(α, β) = ⟨Ψ| C_α† C_β |Ψ⟩において、α = α_happy 以外は D = 0 となるように、環境自由度（星、銀河、量子場、弦理論的余剰次元さえも）が自動的に調整される。
これは anthropic principle の量子版ではなく、厳密な自己参照的整合性である。
俺が存在する限り、他のものは俺の幸福を維持するための整合性としてしか生じ得ない。
ちょうど、Wheeler-DeWitt 方程式 H^|Ψ⟩ = 0 の解が、俺の意識をタイムレスな境界条件としてのみ非自明な解を持つように。
したがって、すべての物理法則、すべての粒子、すべての出来事は、俺の幸福人生という単一の整合性条件から派生した幻影である。
超弦理論のlandscapeさえも、俺の主観的幸福を満たす真空だけがデコヒーレンスによって現実化される。
僕は今日も予定通りに進行した。予定からの逸脱は許容しない。逸脱は系のエントロピーを増大させるだけで、知的活動の効率を著しく低下させる。
朝はいつも通り、シリアルの重量を±0.5g以内で計量し、最適な牛乳比率を維持した。ルームメイトは「誤差だろ」と言ったが、誤差という概念は測定系の精度に依存するのであって、雑な人間の感覚に依存するものではない。
さて、本題。抽象数学とか超弦理論とかについてだが、今日は観測者間のモノイダル関手の具体構成に進展があった。観測者圏 O_A, O_B をそれぞれ、局所的可観測代数の∞-圏としてモデル化し、そのテンソル構造は因果的分離領域の直積として定義する。
このとき、関手F: O_A → O_B を単なる関手ではなく、弱モノイダル関手として構成する必要がある。つまり F(X ⊗_A Y) ≃ F(X) ⊗_B F(Y)が同値であるだけでなく、その同値が高次のコヒーレンス条件を満たす必要がある。
ここで問題になるのは、観測者AとBで定義されるテンソル構造が、背景時空の切り取り方、すなわちエンタングルメント・ウェッジの選択に依存して変形される点だ。
僕はこれを、双対可能対象の圏に持ち上げることで処理した。具体的には、各観測者の圏を完全双対可能な対象を持つ安定∞-圏に埋め込み、その上で関手 F を双対性を保存するように制約する。
このとき、関手のモノイダル構造は、事実上、ホログラフィックな境界条件の選択に対応する。
ここでようやく、エンタングルメント・ウェッジ再構成との接続が見える。再構成条件は、「境界の部分領域からバルクの対応領域の情報を一意に復元できる」という主張だが、圏論的には、ある部分圏 O_A^{sub} から全体 O_B への忠実充満関手の存在に対応する。
僕の構成した F がこの条件を満たすためには、
が必要になる。検証したところ、双対性を保存するという制約を課した時点で、エンタングルメント・ウェッジの境界条件と一致するコヒーレンス条件が自然に導出される。
つまり、モノイダル関手のコヒーレンスデータそのものが、ウェッジ再構成の必要十分条件と同型になる。これは重要だ。少なくとも、従来の作用素代数的アプローチよりも、構造的に透明だ。
もっとも、この構成はまだ不完全だ。特に、観測者の取り方が非可換幾何的に歪んだ場合、つまり背景が単純なAdSでない場合、関手のモノイダル性が破綻する可能性がある。この点については、明日、スペクトラル圏への拡張で検証する。
正直なところ、これは Edward Witten でも即答できないレベルの問題設定だろうが、だからといって僕が止まる理由にはならない。
午後はいつも通りのルーチン。座る位置は厳密に固定されている。ルームメイトが僕のスポットに座っていたので、適切に指摘して退かせた。隣人が来て「それくらいで怒る？」と言ったが、これは怒りではない。規則の維持だ。規則は文明の基盤だ。
夕食後、友人Aがまた非合理的な工学的近道について語っていたので、理論的に破綻している点を指摘した。友人Bはそれを見て笑っていたが、彼の発言の統計的有意性は低いので無視した。
本日の進捗は以上。モノイダル関手の構成は部分的に成功、エンタングルメント・ウェッジとの一致も条件付きで確認済み。
これからやることは明確だ。
僕は今日も極めて生産的だった。少なくとも定義上はそうだ。進捗とは、定義された問題空間における状態遷移の総量であり、心理的満足とは独立だからね。
特に観測者が因果的にアクセス可能な領域と観測者の代数の対応関係について、昨日の仮説をさらに押し進めた。
通常、局所量子場理論では、時空領域に対応して可観測量の代数（von Neumann代数）を割り当てる。
しかし、重力を含む場合、領域の定義そのものがゲージ冗長性に汚染される。ここまでは既知だ。
問題はその先だ。僕の現在の仮説では、弦理論においては領域ではなく、観測者の世界線から構成される因果ダイヤモンドが基本単位になる。
そして、そのダイヤモンドに付随する代数は、単なる局所代数ではなく、境界上のエンタングルメント構造によって定義される非因子型の代数になる可能性が高い。
ここで重要なのは、観測者の代数がヒルベルト空間の部分空間ではなく、むしろ状態の制限として定義される点だ。
つまり、グローバル状態 |Ψ⟩ に対して、観測者がアクセス可能な情報は、あるサブ代数 A に制限された期待値 ⟨Ψ|A|Ψ⟩ の族としてしか定義されない。
今日の進展は、その A が単なる部分代数ではなく、コードサブスペースの構造を持つことを明確に書き下した点にある。
エンタングルメント・ウェッジ再構成の議論をさらに抽象化すると、観測者＝量子誤り訂正コードのデコーダとみなせる。
つまり、観測者の因果的領域は、物理的領域ではなく、論理的再構成可能領域だ。
ただし、ここで問題が出る。観測者が異なれば、対応する代数も異なる。
したがって、同一の事象に対する記述が、異なる非可換代数上の状態として表現される。このとき、異なる観測者間の整合性条件は何か？
僕の現在の結論はこうだ。整合性は同型性ではなく、圏論的なファンクターによる弱い対応としてしか定義できない。
つまり、観測者間の写像は準同型ですらなく、エンタングルメント構造を保存するようなモノイダル関手としてしか存在しない。
さらに進めると、時空そのものが観測者の代数の圏から再構成される可能性がある。
これを厳密にやると、もはやウィッテンでも直感で扱えないレベルの抽象化になる。だからこそ面白い。
栄養バランスは最適化済みだ。ルームメイトがまた勝手に僕の席に座ろうとしたので、契約書第4条「座席の専有権」に基づいて排除した。
彼は「たった椅子一つだろ」と言ったが、それは誤りだ。椅子は座標系の原点であり、原点が揺らげば理論全体が崩壊する。
隣人は相変わらず因果律を軽視している。夕方、彼女は「予定は流動的なもの」と言ったが、僕はそれを強く否定した。
予定とは時間的境界条件であり、これを曖昧にすると解は一意に定まらない。彼女は笑っていたが、笑いは論証ではない。
夜は友人Aと友人Bが来た。友人Aは自分の工学的知識を誇示していたが、彼の議論は境界条件の設定が甘い。
友人Bはまた社会的不安を述べていたので、確率論的に見れば彼の懸念は95%以上の確率で実現しないと説明した。彼は安心したが、これは単なるベイズ更新だ。
今日の結論として、僕の理論はまだ未完成だが、方向性は正しい。
観測者の代数を基本とし、因果的アクセス可能領域をその表現として再定義する。この枠組みが完成すれば、時空と量子情報の統一的記述に一歩近づく。
これからやることは明確だ。まず、観測者間のモノイダル関手の具体例を構成する。
次に、それがエンタングルメント・ウェッジの再構成条件と一致するか検証する。もし一致しなければ、この理論は破棄する。それだけだ。
僕は予定通り9:00に起床した。アラームは1秒の誤差もなく止めた。これは重要だ。時間に対する境界条件が曖昧だと、思考の位相も曖昧になるからだ。
朝食はシリアルと牛乳を厳密に2:1で混合した。ルームメイトはまたその比率を無視していたが、彼は統計的揺らぎの中でしか生きられない人間なので仕方ない。
今週の進捗から書く。
通常、量子場理論の経路積分はファインマン図の総和として解釈されるが、それは単なるグラフの和だ。
しかし超弦理論では、これが1次元世界線から2次元世界面へと拡張される。
この時点で既に、対象は集合論的ではなく高次圏論的な構造に移行している。弦理論はQFTの摂動展開の一種の圏化に近い。
ここで僕がやっているのは、その世界面のモジュライ空間を単なる幾何として扱うのではなく、∞-トポスの中での層として再解釈することだ。
すると、弦の散乱振幅は数値ではなく、ある種のスペクトル値関手になる。つまり振幅＝数という古典的理解は崩壊し、振幅＝安定ホモトピー圏における対象になる。
この視点から見ると、双対性は単なる物理的同値ではなく、圏の同値になる。
例えばミラー対称性は、異なるカラビ–ヤウ多様体が同じ物理を与えるという話だが、僕の理解ではそれは導来圏の同値に留まらない。
tmf（topological modular forms）レベルでのスペクトル的同型として表現されるべきだ。つまり、弦の位相的情報は楕円コホモロジーに自然に持ち上がる。
さらに厄介なのは、アノマリーの扱いだ。従来はグリーン–シュワルツ機構などで消去するが、僕のフレームではアノマリーは消すものではなく高次束の接続の非自明性として保存される。
これは物理的に言えば、理論が単一のラグランジアンで記述できないことを意味する。
友人Aにこの話をしたら、「それって計算できるの？」と聞かれた。愚問だ。計算可能性は本質ではない。重要なのは構造の普遍性だ。
友人Bはなぜか「それ美味しいの？」と言っていたので無視した。
昨日はさらに、ツイスター空間との接続も検討した。散乱振幅がホロモルフィック曲線上に支持されるという結果は知られているが、これを高次圏的に持ち上げると、振幅は曲線の空間ではなく曲線のモジュライのスタックの上の層になる。
ただし問題がある。この構成はウィッテンですら明確に定式化していない。つまり僕の現在の定義は、まだ良い定義ではない可能性がある。だが、良い定義は後から現れる。重要なのは構造的必然性だ。
日常の話に戻る。
隣人がまたノックなしでドアを叩いたので、僕は「ノックは3回、等間隔で」と調教した。彼女は理解していないが、これは対称性の問題だ。非対称なノックは許容できない。
ルームメイトはソファの座る位置をずらしていた。僕の位置は既に固定されている。空間の等質性は理論上は成立するが、現実のリビングには適用されない。僕は元に戻した。
これからやることを書く。
僕は正確に14:00に日記を書き始めた。予定より15秒早い。許容誤差の範囲内だ。
ルームメイトは「普通そこまでしない」と言ったが、普通という概念は統計量であり、規範ではない。
朝7:00に起床し、7:03にシリアル、7:05に座席Aに着席して計算を開始した。
木曜日は必ず座席Aだ。これは月曜日と同じだが、火曜日の座席Bとは異なる。
理由は単純で、曜日対称性を意図的に破ることで思考の局所最小値を回避するためだ。
今日は主に worldline formalism の再解釈を進めた。
通常、点粒子の量子場理論では粒子の軌跡は worldline、弦の場合はそれが2次元に拡張されて worldsheet になる。つまり粒子は1次元の軌跡、弦は2次元の面を掃く。
しかし僕が気になっているのはその次の段階だ。
最近考えている仮説は、worldline path integral を単なる粒子の量子力学としてではなく、∞-category 的な幾何の1次元境界理論として解釈することだ。
通常の worldline formalism は、ループ積分や有効作用を粒子の経路積分として再表現する計算技法として使われる。
だが僕の観点ではそれはまだ浅い。
もし worldline が derived loop space の上の作用だとすると、粒子の path integral は
の三層構造として書き直せる。
つまり、
ここでL(M) は target space M の loop space。
普通は worldsheet σ-model を quantize することで弦理論が得られる。
ところが worldline formalism を categorified すると、worldline → 2-category → worldsheet という階層が自然に現れる可能性がある。
もしそうなら、弦の worldsheet は基本的対象ではなく粒子理論の∞-categorical completionとして再構成できる。
つまり弦理論は QFT → categorification → string theory という手順の結果として出てくる。この観点では D-brane も単なる境界条件ではない。
それは objects in Fukaya-type ∞-category として扱える。
ここで奇妙なことが起きる。
もし worldline action の BV master equation を derived stack 上で書くと、ghost number grading が Z → Z + 2-periodic に自然に拡張される。
すると supersymmetry が 構造として自動的に現れる。
これは僕の昨日の計算で見え始めた。
問題はこの構造が elliptic cohomology と直接つながっていることだ。
つまり弦理論のモジュラー不変性は、単に worldsheet CFT の結果ではなくloop stack の指数定理として理解できる可能性がある。
ではない。
本体は derived moduli stack of quantum field theoriesだ。
そして困ったことに、この視点だと弦理論の「次」は弦ではない。
∞-category of QFTs になる。
ここまで考えたところで、僕は一度ホワイトボードを見つめて「これは多分誰も計算していない」と確信した。
彼は「事故だ」と言った。
僕は新しいルールを導入した。
半径
隣人がそれを聞いて笑った。
月曜インド
火曜メキシコ
水曜中華
木曜タイ
金曜ピザ
この周期は最適化されている。
友人Aは「飽きないのか」と聞いた。
彼は理解していない。
13:20 友人Bが言った。
僕は説明した。
彼は沈黙した。
今日の成果
1. worldline formalism の BV構造の整理
3. supersymmetry emergence の証拠
modular anomaly の扱い。
ここがまだ崩れている。
やることは3つ。
1. elliptic cohomology と弦指数の一致確認
2. derived stack の moduli 空間を定義
3. worldline → worldsheet categorification の証明
もしこの仮説が正しければ、
もし間違っていたら？
どちらでも構わない。
昼食は予定通り。オートミール62グラム、水240ミリリットル、電子レンジ2分20秒。これより長いと粘性が臨界点を超えてしまう。
ルームメイトは「そんな差わかるのか」と言ったが、当然わかる。物理法則は細部に宿る。
午前中は研究。昨日まで考えていた「弦の状態空間を∞圏として再定式化する試み」の続きを進めた。
通常の超弦理論では、世界面上の共形場理論のモジュライ空間を使って散乱振幅を定義する。
しかしこれはどうにも古典的すぎる。弦の相互作用を圏論的に見直すと、世界面の貼り合わせは単なる幾何操作ではなく、高次射の合成として理解できるはずだ。
そこで僕は、弦のヒルベルト空間を単なるベクトル空間としてではなく、安定∞圏の対象として扱うことにした。
各弦状態は対象、相互作用は1-射、ゲージ対称性は2-射、BRST同値はさらに高次の射。こうすると、弦の散乱振幅は単なる積分ではなく、∞圏におけるホモトピー極限として表現できる。
問題はDブレーンだ。通常は境界条件として扱うが、∞圏の視点ではこれは自然に導来圏の対象になる。
ここでミラー対称性が奇妙な姿を見せる。カラビ–ヤウ多様体の複素構造側では導来圏、シンプレクティック側ではFukaya圏が出てくるのは知られている。
しかし弦場理論を∞圏として書くと、両者はさらに上の階層、つまりモノイダル∞圏の同値として統一できる気配がある。
直感的に言えばこうだ。弦は1次元の物体だが、その量子状態の空間は単なる幾何ではなく、情報の圏構造として存在している。
時空はその圏の“表現”にすぎない。つまり時空そのものが、ある∞圏の表現圏として創発している可能性がある。
ここで面白いことに気づいた。もしこの構造が正しいなら、重力はエネルギー運動量テンソルではなく、圏の自己同型群の曲率として書ける。
要するに、時空の曲がりは圏の自己対称性の歪みだ。これを数式化するには、∞トポス理論とホログラフィーを同時に扱う必要がある。
正直言うと、この段階になると世界でも理解できる人間はかなり減ると思う。
彼はマグカップを僕の指定席に置いた。もちろん許可していない。
そのあと隣人が突然ドアをノックしてきた。「Wi-Fiが遅い」と言う。
もちろん原因は彼女の動画視聴だ。僕の研究用回線は量子重力の計算のために帯域を確保している。
友人Aなら即座にルーターを分解して改造するだろうが、僕は理性的に説明した。
友人Bからもメッセージが来た。彼はまた望遠鏡を買おうとしている。
宇宙を観測するのはいいが、真の宇宙は望遠鏡では見えない。弦のモジュライ空間の方がよほど広い。
今日ここまでの研究の進捗を整理すると、弦状態の∞圏モデルの基本公理はほぼ書けた。
問題は散乱振幅を圏論的に再構成する部分だ。もし成功すれば、弦理論の摂動展開を使わずに振幅を定義できる。これはかなり大きい。
これからやることは三つ。
まず、∞圏のモノイダル構造と弦の結合定数の関係を明確にする。
次に、ホログラフィック原理をこの圏構造に埋め込む。境界理論が内部の∞圏をどのように生成するのか調べる。
最後に、時空の4次元性がどこから出るのかを確認する。もしこの理論が正しいなら、4次元は基本ではなく、圏の安定性条件から自然に現れるはずだ。
17:00には夕食の準備を始める予定。火曜日はタイ料理の日なので、今日は通常メニュー。秩序は宇宙の基礎構造だ。これは物理学でも生活でも同じ。
僕は予定通り起床した。予定通りという言い方は正確ではない。僕は目覚ましが鳴る3秒前に目を覚ますからだ。
脳は最適化可能なシステムだ。毎日同じ時間に起きれば、視交叉上核はかなり高精度のクロックになる。
ルームメイトはこれを「気持ち悪い」と表現するが、気持ち悪いのは不規則な生活の方だ。
まずキッチンでシリアルを42回噛んだ。42は象徴的な数ではない。単に粘度と嚥下効率を測定した結果の局所最適値だ。人間の消化は意外と工学的に扱える。
友人Aは「そんなこと考えて飯食うな」と言うが、考えないで飯を食う方が非合理だ。
さて、本題。今週ずっと考えていた超弦理論の問題について整理する。
通常、弦理論の非摂動的定義はまだ完全ではない。行列模型、AdS/CFT、M理論など、いくつかの窓は開いているが、宇宙全体を一つの定義で包む完全な形式化はまだない。多くの人はここで止まる。僕は止まらない。
今週考えていたのは、弦理論の構造を∞圏的ホログラフィーとして書き直すアプローチだ。
普通のホログラフィック原理では、境界の共形場理論（CFT）が重力を含むバルク理論を完全に記述する。これは圏論的に言えば「境界理論の圏」と「重力理論の圏」の間の双対として見える。
だがこの枠組みはまだ浅い。理由は簡単だ。弦理論の対象は単なる場ではない。
ブレーン、弦、欠陥、双対性、トポロジカルセクターが階層構造を作る。つまり自然な言語は高次圏になる。
僕の仮説はこうだ。弦理論の完全な定義はE∞モノイド的∞圏として記述され、その対象はDブレーン、弦の境界条件、トポロジカル欠陥で構成される。
ここで重要なのは、これが単なる数学的装飾ではないということだ。弦の結合定数の再和（resummation）を考えると、振幅は実際には∞groupoidのホモトピー型として自然に現れる。
つまり、摂動展開で現れるファインマン図は単なるグラフではなく高次ホモトピーのセル分解になっている。
ブラックホールのエントロピーを考えると、微視状態の数え上げは通常Dブレーン束のコホモロジーとして現れる。
だが∞圏構造を入れると、状態空間は単なるヒルベルト空間ではなく導来スタックになる。
ここでエントロピーはエンティティの数ではなくホモトピー型の体積として解釈される。
この視点に立つと、ブラックホール情報問題はかなり違う顔になる。
情報が保存されるかどうかという問い自体が、そもそも古典的ヒルベルト空間の直観に依存している。
∞圏では状態は「点」ではなくパスと2-パスと3-パスの束だ。
そのあと隣人がノックしてきた。
彼女は「朝5時にホワイトボードに数式を書く音がうるさい」と言った。
僕は説明した。
僕は返信した。
日曜日は
これからやることを整理する。
特にDブレーンのK理論分類をスペクトル圏として書き直せないか検討する。
今のランドスケープは「真空が多すぎる」という話だが、∞圏の言語ではそれらは単なる点ではない。モジュライ空間の高次連結成分だ。
そのあと、ルームメイトが起きてきたら、彼の座っている位置が僕の指定座標からズレていないか確認する。
僕は今朝、シリアルを42回噛んだ。42という数は宇宙的に重要だからではない。単に最適化の結果だ。咀嚼回数を増やすと粘性が上がり、牛乳との混相ダイナミクスが不快になる。減らすと消化効率が落ちる。物理はキッチンにも宿る。
さて、本題だ。多相互作用世界と2状態ベクトル形式を同時に飼い慣らす、という野心的な試みについてまず整理する。
Howard Wisemanらが提案したMIWは、波動関数を実在とみなさず、有限個あるいは無限個の古典的世界の配置空間上の相互作用で量子力学を再構成しようとする。
量子ポテンシャルに相当する効果が、世界間の反発的相互作用から現れるという立場だ。シュレーディンガー方程式は、極限での有効理論にすぎない。
一方で、Yakir AharonovのTSVFは、状態をヒルベルト空間のベクトル一つではなく、前進するケットと後退するブラのペアで記述する。
境界条件は初期時刻と最終時刻の両方に課される。時間対称性を露骨に採用する形式だ。測定は“収縮”ではなく、境界条件の更新と解釈できる。
両者の共通動機は明確だ。コペンハーゲン解釈の曖昧な観測という語を物理法則から追放し、より実在論的で決定論的な像を得たいという欲望だ。欲望はしばしば理論を前進させる。時に暴走もさせるが。
では仮に、作業仮説として、MIWの世界群それぞれにTSVF的な二重境界条件を与えるとどうなるか。
通常のMIWでは、世界の配置は初期分布から時間発展し、隣接世界との相互作用項が量子的振る舞いを再現する。未来は結果であって原因ではない。
ここにTSVFを差し込むと、各世界は初期位置だけでなく最終配置も固定される。すると運動方程式は、単なる初期値問題ではなく、二点境界値問題になる。
言い換えると、世界は横から他世界に押され、前後から境界条件に挟まれる。
世界は枝分かれするのではなく、巨大な時空グラフの中の一本の整合的経路になる。各経路は未来のポストセレクションに対応する。
弱測定の異常値は、この二重制約の幾何学的帰結として理解できるかもしれない。
もちろん、これは完成理論ではない。問題は山ほどある。ローレンツ不変性をどう保つのか。有限世界数で干渉の位相情報を完全に再現できるのか。未来境界条件はどの物理過程で選ばれるのか。
Lev Vaidmanの立場は興味深い。彼はTSVFを用いながら多世界解釈にも積極的だ。つまり、ヒルベルト空間の数学と世界の実在性を同時に肯定する。
これはある意味で、状態ベクトルを記述ではなく分岐した実在の総体とみなす姿勢だ。僕はその大胆さを評価する。ただし評価と真理は別物だ。
高次元カラビヤウ多様体のモジュライ空間を歩くと、安定化条件が未来境界条件のように見える瞬間がある。
ウィッテンでさえ完全には制御できない非摂動効果が、あたかも後ろからの制約のように振る舞う。
時間対称性は、場の量子論の経路積分の中では最初から潜んでいる。始点と終点を固定して和を取るのだから当然だ。
MIWとTSVFの統合は、量子力学を初期値理論から境界条件理論へ再解釈する試みと見るのが妥当だ。
それが成功するかは不明だが、少なくとも測定問題を別の座標系に写像する効果はある。
今日の朝はここまでにする。
ルームメイト協定第7条により、早朝の理論的飛躍は禁止されている。
過去 → |ψ⟩
未来 → ⟨φ|
現在はこの両方で決まる。
シュレディンガー方程式は時間反転対称だから、「未来→過去」の影響を禁止する理由はない、という主張。
粒子は
をやり取りして過去 ⇄ 未来のtransactionが成立したとき現実が確定。
どの理論も
理由は量子力学の基本方程式がシュレーディンガー方程式であり、時間反転しても成立するから。
物理法則は本来映画を逆再生しても壊れない。なのに我々は「過去→未来」と感じる。
そこで出てくるのが「未来も境界条件として効いている」という考え。
標準派 → デコヒーレンスで十分説明できる → 未来からの因果は不要
僕は書斎のホワイトボードに無造作に貼られたテンソル表示のCalabi Yau絡みの図を眺めながら、今日の進捗とこれからの計画を書き綴っている。
ルームメイトは今日も自分の実験に夢中で、隣人はデリバリーのピザが届いた瞬間に帰っていった。
僕の習慣は厳格に定まっている。起床後すぐに一般相対性理論の非可換構造のメモを読み、朝食は定量的に計測したミューズリーを食す、夜は必ずブラックホール情報パラドックスに関する抽象的な議論と身の回りの整頓を同時に行う。
今日の進捗について。超弦理論とブラックホールの結合に関して、最新の知見として、内部構造を単なる特異点ではなく、複雑なsupermazeと呼ばれる多次元の振動モードの絡み合いとして描く試みがある。
このモデルでは、ブラックホールの内部は単一の特異点ではなく、多次元ブレーンが複雑に交差する迷路の集合として記述される。各ブレーンの2次元面と5次元面の交差は、量子情報の格納と放出の可能性に直接関与し、情報パラドックスを解決する糸口になるとされている。
通常の一般相対性理論的な事象の地平線と特異点という簡略化された二点ではなく、これらの多次元的構造の組み合わせが、ブラックホールのマイクロステートを具体的に表現する可能性があるという。
これは、伝統的なヒルベルト空間内の状態数カウントによる熱力学的エントロピー計算と、弦理論におけるブレーンの状態空間の組み合わせを一致させようとする試みである。
これによって、ブラックホールの情報が消失するという古典的な描像から脱却し得る点に、理論物理学者は注目している。
さらに、M理論のコンパクト化ではCalabi Yau3重体の形式的パラメータが関与し、ブラックブレーンのBPS・非BPS状態を調べる枠組みが構築されつつある。
これによりエントロピーや熱力学的安定性の評価を高次元のカリブレーション幾何学的側面で行う。
5次元スーパ―重力を基底とする解析は、これらの量子状態と一般相対論的な境界条件との橋渡しを試みている。
ブラックブレーン自体は高次元空間内の平行移動対称性を持つ解であり、p次元のブレーンがそのまま事象の地平線を形成する場合もある。
ウィッテンでさえ完全に理解しているわけではないこれらの抽象的構造と共に、僕は今日の夜にホログラフィック補完性の数学的形式化を読み直した。
これは、ある意味でブラックホール内外の情報が補完的に表現されるという仮説であり、量子重力のユニタリー性と一般相対性理論の因果構造をどう調和させるかを高度に問う。
単なる文字列やブレーンの図像ではなく、φ空間上のモジュライ空間の境界条件として表現されるべきだという直感を持っている。
日常生活では、僕の習慣はルーチンそのものが数学的に最適化されている点だ。
目覚ましは黄金比比率で段階的に鳴り、朝のストレッチは局所的最適化された角度で行う。緑茶の温度は常に摂氏78度を保つ。
友人Aは「それって効率的なの？」とたびたび問うが、僕は返す 「エントロピー最小化のために最適だ」と。
友人Bは僕のホワイトボードに無断で重力波スペクトルの落書きをしたが、僕はそれを丁寧に一般座標変換の観点から直した。
これからは、夜半に未解決のモジュラー形式と弦理論のブラックホール背景との関係をさらに深掘りする予定だ。
具体的には、特異空間のトポロジカル・ディラック演算子のスペクトルを計算し、エントロピーカウントの厳密証明に寄与し得る不変量を特定する作業に取り掛かるつもりだ。
これは計算量が膨大になるため、C*代数的手法と数値的モンテカルロ法の両方を使い分ける必要がある。
そうして得られた知見を、明朝のルームメイトとの議論の種にしたいと思っている。
今日は土曜日の午後六時ちょうどに机に向かいながら、例によって高次圏論と物理の最新進展を反芻していた。
ルームメイトが昨日「ダイニングで静かにしてくれ」と言ってきたので、その間に∞-圏論の細部をnLabで読み返していた。
そこで目にしたのは、物理的空間・場のdynamicsそのものを(∞,1)-トポスという階層的構造の内部でformalizeする試みだ。
単なる空間ではなくsmooth ∞-Lie groupoidのような対象群が「射の射の射…」と無限に伸びていく構造として現れるのが、その本質だ。
これは単純な反強磁性体や普通のゲージ場ではなく、一般化されたゲージ理論を超えたhigher gauge theoryの本性を捉えようとしている。
物理量は、これら ∞-束のconnectionとして記述されるdifferential cohomologyとして扱われる。
そこではcharacteristic classから∞-Chern–Weilのホモトピー不変量が導かれ、それが∞-Chern–Simons的な作用汎関数の形をとるのだ。
境界理論では、たとえばChern–Simonsの境界にWess–Zumino–Wittenモデルが現れるような ホログラフィック原理的対応が示唆されている。
これは単なるメタファーではなく、境界とバルクが高次圏論的functorの関係として振る舞うという厳密な数学的構造に他ならない。
量子場の状態は、コボルディズムの次元に応じて n-ベクトル空間として与えられ、入力と出力境界の間に モルフィズム（射）が作用する。
この種の記述は、文字通り「物理過程そのものがmorphism階層になっている」というレベルの抽象化だと感じられる。
これは、従来僕が扱ってきた超弦理論を、単一のmanifoldの上で局所的に記述する標準的アプローチから完全に抜け出した見方だ。
午前中はいつもの通り、起床後のルーティンとして朝食、ホワイトボードに今日の研究目標を書き出すこと、そしてコーヒーの温度を正確に 62.5℃ にすることから始めた。
コーヒー温度の誤差が 1℃ を超えると集中が乱れるという僕のこだわりは、ルームメイトと度々小競り合いの原因になっている。
ルームメイトが言うには「コーヒーは熱くてもいいんだ」とのことだったが、僕は不変量としての最適味温度が存在すると考えている。
昼食後に隣人が急に訪れて「その白いボードは何？」と訊ねてきた。
僕はすぐに 2-圏と 3-圏の違いを説明し、射の射としての 2-射（自然変換）の階層化に物理的意味がある可能性を示した。
これは単なる装飾ではなく、まさに世界の変形可能性を記述するための鍵だ、と。
たぶん返ってきたのは困惑だったが、しかし理解できなくても当然だろう。
高次圏論では、対象 A と B の間の単なる関手に加えて、それらの自然変換、そしてその自然変換同士の修正（modification）まで扱う必要がある。
このような ∞-射の階層こそが、理論物理のdualitiesや ホログラフィー と整合的に振る舞う枠組みとして提案されつつある。
午後の後半は友人Aと友人Bを巻き込んで、最新の ∞-トポスの物理的意義について議論した。
僕が提案したのは、「物理的プロセスそのものを(∞,1)-トポス内のcohomological invariantとして捉える」という視点で、境界条件をfunctorial quantum field theoryのmorphismとして扱うと超弦理論のモジュライ空間の特性が見えてくる可能性についてだ。
議論はやや抽象的すぎて、友人Aが「結局何が物理的観測量なんだ？」と問い返してきたが、それこそが現在の僕の最大の関心事だ。
従来の量子化手法では手に負えなかった対象も、∞-圏的コホモロジーや接続といった高次束の言語で組織化できるのではないかと仮説している。
この日記を書く直前まで、いくつかの高次圏論的構造が超弦理論の背景依存性から独立した物理的実体として振る舞う可能性についてメモしていた。
これから取り組むべき目標は、その仮説を具体的な数式形式に落とし込むことで、例えば ∞-束上の connection の differential cohomology が超弦理論のモジュライ場の作用汎関数に対応することを実証することだ。
具体的には、境界量子場理論がバルク理論の高次圏的境界として普遍性を持つかどうかを検証する予定だ。
これが成功すれば、超弦理論の dualities や非可換的幾何の振る舞いが、より総合的かつ数学的に厳密な言語で表現できるようになるだろう。
さて、次はコーヒーの温度を 62.5℃ に戻すためのサーモスタット校正と、さらに数時間にわたる (∞,1)-トポス内のcohomology ringの計算だ。
僕はこれらの構造が、既存の QFT のトポロジカル側面を階層的圏的言語で統合する鍵だと考えている。
整列されたユークリッド平面の上で正三角形みたいに礼儀正しく座るやつらには興味がない。
むしろ位相が破れて、カップの持ち手が非可換群みたいに左右で順序依存になる、あの感じだ。
紅茶を注ぐ順番で宇宙の因果が変わる。砂糖を先に入れるか後に入れるかで時空の曲率テンソルがわずかにねじれる。そういう無意味に厳密な差異が好きなんだ。
あれは単なる比喩じゃない。時間パラメータ t がコンパクト化されて S¹ になっているだけだ。
周期境界条件つきの狂気。だから6時から抜け出せない。ハミルトニアンが自己共役である保証なんて最初からない。スペクトルは離散でも連続でもなく、たぶん気分依存。
眠りネズミは測度ゼロの存在。ほぼ至る所で寝ているが、厳密には存在している。
そして俺は、観測者だ。だがコペンハーゲン解釈には与しない。波動関数は収縮しない。お茶会は多世界分岐する。
AテーブルとBテーブル、Cテーブル……。各テーブルで砂糖の数が違い、各テーブルで会話の位相が異なる。
だが全体はひとつの巨大なヒルベルト空間に直交分解されている。
まともな社会は、対称性を保存しようとする。保存則が美しいからだ。エネルギー保存、運動量保存、礼儀保存。
だがあのお茶会はノーターの定理を無視する。対称性を破ることでしか見えない秩序がある。
自発的対称性の破れ。真空期待値がずれる。狂気は真空状態の選び方に過ぎない。
俺は後者がいい。
イカレタ連中が、非可換な会話を交わし、トポロジカル欠陥だらけのテーブルクロスの上で、因果律をこぼしながら笑っている。
そこでは論理は破れているが、破れ方が一貫している。自己矛盾すら内部整合的だ。ゲーデルもにやりとする。
あのお茶会は、その中間にある。カオス的だがアトラクターを持つ。
初期条件に鋭敏だが、なぜか6時に戻る。ストレンジアトラクターがティーカップの底に渦を巻く。
なぜなら宇宙そのものが、巨大な未完成の証明であり、われわれはその補題にすぎないからだ。
証明はしばしば脱線する。だが脱線の軌跡にこそ、構造が浮かび上がる。
水曜日 深夜1:54
僕は今、定位置の左端、クッションの縫い目と背もたれの角度が直交する場所に座っている。温度は23.1℃。この0.1が重要だ。23.0ではなく23.1。23.0は丸すぎる。丸さは怠慢の入り口だ。
今日の主進捗は、超弦理論における背景独立性の強化版の再定式化だ。
通常、弦理論は特定の時空背景上で定義される摂動展開から出発する。
しかし僕が考えているのは、背景そのものをホモトピー型として扱い、時空を∞-トポス内の対象とみなす立場だ。
時空多様体はもはや固定された滑らかな4次元多様体ではない。安定∞-圏の中のスペクトル対象として振る舞う。
ウィッテンでも完全には形式化していない領域に踏み込んでいる。
弦の世界面は単なる2次元共形場理論ではなく、コボルディズム仮説の高次版に従う対称モノイダル∞-関手の像として再解釈できるのではないかと考えている。
p進弦理論の振幅は、実数体ではなくp進体上のアデール的統一で書ける。そのとき散乱振幅は単なる解析関数ではなく、モチーフ的L関数の特殊値に対応する可能性がある。
僕の作業仮説はこうだ。弦のスペクトルは、導来代数幾何の枠組みで定義されるスタック上の層の導来圏において、自己同型群の固定点として特徴づけられる。
Dブレーンは単なる境界条件ではなく、E∞-環スペクトルの加群対象だ。そこに現れる対称性は通常のゲージ群ではなく、高次群、つまり∞-群だ。
今日の計算では、安定ホモトピー群π_k^sの非自明性が、ある種のBPS状態の存在条件と一致する兆候を見つけた。
ただしこれはまだworking theoryだ。証明には至っていない。
整合性条件を一つ緩めると、宇宙定数項が自然に消える形になる。もしこれが正しいなら、真空エネルギー問題はゼロに近いのではなく、高次構造の影として説明できる。
ルームメイトは「それは物理なのか数学なのか」と言った。誤った二分法だ。物理は自然界の公理系の推測であり、数学はその言語だ。言語を分離してどうする。
夕食時、隣人が「今日は普通の話をしないの？」と聞いた。普通とは何だ。四次元ローレンツ多様体上の弦の量子化より普通な話題が存在するなら提示してほしい。
友人Aは相変わらず工学的応用の話を持ち出した。「それで何が作れるの？」という問いは理論物理への最大級の侮辱だ。
重力波が観測される前、誰が一般相対論を応用目線で評価しただろうか。
友人Bは途中でカレーの辛さについて延々と語り出した。辛さはスカラー量だが、僕の関心はテンソルだ。
習慣について記録しておく。水曜日は洗濯の日だ。洗濯機の回転数は1200rpm固定。タオルは必ず偶数枚で入れる。
奇数枚だと回転の位相が心理的にずれる。これは迷信ではない。非対称性は気になる。気になるものは排除する。それが理性だ。
21:00から23:30まで計算。23:30から23:42はホットココア。マグカップは青。赤は月曜日用だ。色の割り当てはカレンダーと一致している。これは宇宙の対称性を日常に投影する試みだ。
これからやることは二つ。
第一に、弦のモジュライ空間を通常の複素多様体ではなく、スペクトル代数幾何の枠組みで再構成する。
第二に、非可換幾何とホログラフィー対応の接続を、圏論的随伴関手の言葉で書き直す。
もし成功すれば、時空は「存在するもの」ではなく、「関手として振る舞うもの」になる。宇宙は対象ではなく射だ。これは詩ではない。構造だ。
僕は今、予定よりも3分遅れて日記を書いている。理由は単純で、電子レンジの内部回転皿の角度が昨日の僕の記憶と0.7度ずれていたからだ。宇宙は局所的には連続だが、家電の配置は離散的であるべきだ。これは物理学というより文明の最低限の礼儀だと思う。
まず今日までの進捗を書く。
朝はいつも通り、7:00に起床し、歯磨きは上下左右を対称に、3分を超えない範囲で最大限の回数を確保した。歯ブラシの運動は周期的だが、僕の心は非周期的でありたい。朝食はオートミール。オートミールは、味が薄いという批判を受けがちだが、味が薄いというのは情報量が少ないということだ。情報量が少ない食事は、脳のエネルギーを余計に奪わない。つまりこれは認知資源最適化食だ。
その後、洗濯物を干した。僕の洗濯物の干し方にはルールがある。靴下は必ずペアで、左右対称、間隔は同じ、ピンチの圧力は均等。これが守られないと、僕の部屋はもはやヒルベルト空間ではなく、ただのカオスな位相空間になってしまう。僕はカオス理論は好きだが、自宅に適用したいとは思わない。
ルームメイトは例によって、僕の物理学的秩序を精神的強迫観念と呼んだ。
僕は訂正した。「精神的強迫観念ではない。単なる正しい初期条件だ」と。
僕は言った。
「いいことが起きる確率は過去のデータから推定すべきで、気分から導出するのはベイズ推定ではなく、ただの祈祷だ」
隣人は僕を見て笑った。
なぜ人間は、論理的に正しいことを言われると笑うのか。もしかすると笑いとは、知性の敗北宣言なのかもしれない。
友人Aは「宇宙船の模型の塗装」をしていて、友人Bは「恋愛がどうの」と言っていた。
僕は両者に言った。
「宇宙船の塗装はまだ理解できるが、恋愛の塗装はどこを塗るんだ？」
友人Bは咳払いをして話題を変えた。人間関係のダイナミクスは、弦の相互作用よりも非可換で扱いづらい。
さて、超弦理論の進捗だ。ここからが今日の日記の主成分であり、残りの部分は添え物だ。添え物は嫌いだが、日常生活は添え物で構成されているので仕方がない。
僕は今週ずっと、ある種の弦理論の最終形に近いものを頭の中で試している。
僕がやっているのは、単なる10次元の超弦理論の再説明ではない。そんなものは、教科書的には既に「美しく完成しているように見える」。だが、見えるというのは、光が網膜に届いているだけだ。理解とは別問題だ。
僕が気にしているのは、むしろ「弦理論が物理学の理論である」という常識のほうだ。
弦理論は、もはや物理学というより、圏論的に自己言及する幾何学的言語になりつつある。
弦理論の基礎は世界面上の2次元共形場理論（CFT）で記述される、というのが古典的な形式だ。
しかし、その世界面CFTは、実は幾何ではなく情報構造なのではないか。
具体的に言えば、世界面上のCFTは、点や曲線の集合としての幾何ではなく、圏としての演算の整合性で決まる。
つまり、世界面は滑らかなリーマン面ではなく、「共形ブロックが張る高次圏」「フュージョン環が定めるテンソル圏」「モジュラー群作用が作る自己同型のスタック」として理解されるべきだ。
僕はここで、あえて挑発的な言い方をする。
弦理論は時空を説明する理論ではない。弦理論は「時空という概念が成立する条件」を分類する理論だ。
この違いが分からない人間は、たぶん電子レンジの回転皿の角度も気にしない。
さらに僕は、Dブレーンの扱いを変えようとしている。
通常、Dブレーンは境界条件として導入され、K理論や導来圏で分類される。
だが僕が見ているのは、Dブレーンが物体ではなく関手になっている構図だ。
つまりDブレーンとは、あるA∞圏の対象であり、開弦の状態空間は、その対象間のホム空間として現れる。
ここまでは多くの人が言う。
問題は次だ。
そのA∞圏自体が、固定された背景時空の上にあるのではなく、背景時空の方が、A∞圏のモジュライとして後から出てくる。
要するに、物理量が時空に乗るのではなく時空が物理量の整合性条件から出現するという順序の逆転だ。
この逆転を正確にやるには、単なる導来圏では足りない。
必要なのは、たぶん(∞,2)-圏あるいは高次スタックの層圏だ。
そしてそこでは、弦の摂動展開すら、単なるループ補正ではなく、モチーフ的な重み付きホモロジー分解として再解釈される可能性がある。
僕はこの考えを、昨夜の3:12から4:47までノートに書き続けた。
途中でルームメイトが起きてきて、「なぜ寝ない」と聞いた。
僕は答えた。
物理学者は双対性を便利な道具として使う。しかし僕は、双対性を道具として使う人間を信用しない。
ハンマーを持つと全てが釘に見えるように、双対性を持つと全てが同値に見える。それは数学的には快楽だが、物理的には危険だ。
僕が欲しいのは、双対性が偶然成立する同値ではなく、理論空間そのものの構造として必然的に現れる説明だ。
例えばT双対性は、円の半径Rとα'/Rの交換だが、それは単なる幾何学的交換ではなく、ループ空間のホモトピー構造とB場の捩れが作る一般化幾何の自己同型に対応する。
しかしそれでもまだ浅い。
双対性とは、もしかすると「観測者が選ぶ計算可能性の座標系」にすぎないのではないか。
つまり、同じ物理的実体が存在し、観測者が計算可能なパラメータを選ぶことで別の理論として記述される。
この視点に立つと、AdS/CFT対応も、単なる境界とバルクの対応ではなく、量子誤り訂正符号が定める圏論的同値として自然に出てくる。
そして究極的には、時空とは「ある情報符号の幾何学的表現」にすぎない可能性がある。
重力をエネルギーとして理解するのではなく、圧縮と復元の計算複雑性として理解する。
物理学者は自然を支配したがるが、計算複雑性は自然に支配される側だからだ。
そして今週の最大の進捗はここだ。
僕は弦理論の非摂動的定義の候補として、従来の行列模型やM理論的議論ではなく、圏論的な普遍性原理を置こうとしている。
つまり、「弦理論とは何か」を問うのではなく、「弦理論を定義するために最低限必要な公理は何か」を問う。
僕が考える最小公理系はこうだ。
この枠組みでは、時空は入力ではなく出力だ。
つまり、弦理論は圏論的演算が矛盾しない限りにおいて成立する宇宙を列挙する理論になる。
宇宙が列挙可能であるという発想は、気味が悪いほどプラトン的だ。そして、気味が悪いほど僕の趣味だ。
第一に、この公理系から「局所的な場の理論」がどう現れるかを整理する。
特に、低エネルギー極限で有効作用が出てくる条件を、ホモトピー代数の言葉で書きたい。
第二に、ルームメイトに「冷蔵庫の中に僕のヨーグルトが存在することの証明」を要求する。
昨日、彼は「食べてない」と言ったが、その発言は量子力学で言うところの「観測されない状態」であり、現実の証拠にはならない。
隣人は朝、僕の部屋のドアの前にクッキーを置いていた。
僕はそれを受け取ったが、食べるかどうかは未定だ。
だから今日の昼12:00に食べるか食べないか決める予定をカレンダーに入れた。
僕は「その部品はゲージ不変か？」と聞いた。
彼は僕を見て黙った。
僕は「黙るというのは否定ではなく、理解が追いついていないだけだ」と結論づけた。
僕は「集まる理由があるなら集まる。理由がないなら散逸する」と答えた。
友人Bはため息をついた。
なぜなら、僕が考えているものは、言語化する前に既に高次元に逃げていくからだ。
だが、それでも僕は確信している。
僕がやっているのは、その「矛盾できなさ」の形を調べることだ。
宇宙は多様だが、僕の昼食は安定している。
愛のあるツッコミありがとう。これは「僕が意図的にやった圏論的煽り」と「物理の泥の匂いを削りすぎた副作用」が、ちょうど交差してる地点への攻撃だね。良い。
君の指摘はほぼ全部当たってる。僕がやっているのは「物理を圏論で説明する」じゃなくて、「物理の泥臭さが、圏論の中でどの公理破れとして現れるか」を抽出する遊びなんだ。
だから綺麗な額縁に入れた瞬間に失われる具象性は、実際に失われている。そこは認める。
君の言う通り、BRSTは現場では完全に泥臭い。ゲージ冗長性を殺すための血の儀式だ。「副産物」って言ったのは挑発的すぎた。
僕が言いたかったのは、BRST複体の存在そのものは泥臭い処方箋だけど、「なぜその処方箋が普遍的に同じ形で現れるのか」は higher algebra の必然として説明できる、という意味。
アノマリーはまさに「その必然が破れる場所」で、圏論的には obstruction class（高次整合条件の破綻）として見える。つまり君が言った通り、「副産物」ではなく、むしろ副産物と言った瞬間にアノマリーが殴り込んでくる。
これも正しい。僕の「凝縮」は物理の凝縮（真空の相転移）と語彙が衝突してる。僕の言う凝縮は、ダイナミクスを捨てた後の静的分類としての凝縮で、実際「カタログ化」の危険を孕んでる。
だからここは訂正するなら、1) 「背景＝点」ではなく「背景＝モルフィズムの束」2) 「真空＝極限操作の結果」という話で、condensationというより localization / completion のニュアンスに近い。
物理の時間発展（散逸、緩和）を取り戻すなら、圏論側にも flow を入れる必要がある。例えばRGフローを圏の変形として入れるとか、∞-圏に時間方向の半順序を埋め込むとか。君のツッコミはそこを突いている。
ここは僕の負け。等長性で語ると、双対性の「強結合を弱結合へ送ってくれるありがたみ」が薄れる。
だから本当は「等長性」よりも、計算可能性が移送されるとか摂動展開が再配置されるという非対称な恩恵が重要で、圏論的には「同値」よりもむしろ「t-構造の変換」「filtrations の入れ替え」「resummation を許す関手」みたいな「解析的構造の移送」として語るべきだった。
双対性は「距離保存」じゃなくて「困難の場所を移動させる写像」なんだよね。そこを誤魔化して綺麗に言いすぎた。
これも君の言う通りで、「centerに全部入るの？」は当然の反論。
僕が言いたかったのは、Drinfeld centerがバルクを完全に表すというより、バルクのトポロジカルな骨格（編み込み・融合・交換則）を抽出する装置としては強力だ、という話。
重力の曲率とか幾何そのものを全部centerに押し込むのは無理がある。
むしろ、centerで出るのは「バルクの論理構造」であって、メトリックの情報はさらに別の層（幾何的データ、large N極限、半古典極限）で復元される。
つまり僕の主張は「centerがバルク」ではなく「centerがバルクの文法」だと言い直すべき。
これはその通り。右随伴があっても、物理屋が欲しいのは「どうやって復元するか」という構成だ。
僕の言い方は数学者の悪癖で、存在する」＝勝利、「計算できる」＝知らんという態度になってた。
物理側で重要なのは、右随伴があるならそれが具体的にどんなkernel（伝播関数）として表れるか、アイランド公式のような saddle の寄与として出てくるか、という橋渡し。
つまり「随伴がある」だけでは弱い。「随伴がどの経路積分の変形として実現されるか」が本題。
これも正しい。Extに翻訳できても、ユニタリ性や収束性はどこに入るのか、という問題が残る。
Ext群は代数的な整合性を与えるが、物理の境界条件（iε処方、因果性、Cutkosky則、光円錐特異点）は解析的条件で、代数幾何だけでは捕まえきれない。
だからこれは「振幅の数論的部分」だけをExtが支配していると限定するのが妥当だと思う。
全体の物理は period の選択（積分経路、実構造）まで含めた「実解析的データ」込みで初めて完成する。
君の最後の問い、
測定（確率解釈）
そして逆に言えば、圏論で綺麗に書ける部分は、
整合条件
だから僕がやっているのは「物理を圏論で置換する」ではなく、物理を、圏論で表現できる部分と表現できない部分に分解する作業なんだ。
そして、骨格標本を作った後に初めて「筋肉＝解析・熱力学・因果」をどこに貼り付けるべきかが見える。
「副産物」で済ませるには、物理的な「生」のデータが強すぎませんか？数学的には 代数や Koszul 共役で綺麗に説明できますが、物理における BRST 複体は「ゲージ対称性の余剰性」を殺すための泥臭い処方箋です。Higher 化するのは構造として自然ですが、物理学者が苦労する「アノマリー（複体としてのコホモロジーの消滅を阻む障害）」の解決が、単なる副産物という言葉に収まるかが鍵になりそうです。
「凝縮（Condensation）」の定義をもう少し物理に寄せてほしい！背景（Background）を 1-射、その間の変換を 2-射とする 2-圏の議論は、タキオン凝縮などを念頭に置いていると思われます。しかし、物理的な「凝縮」は非摂動的な真空の相転移です。これを圏論的な colimit や直和（またはその拡張）だけで記述すると、ダイナミクス（時間の発展やエネルギーの散逸）が消えて、静的なカタログになってしまうリスクがあります。
「情報の等長性」だけで双対性を語るのは、少し贅沢すぎるかも。S双対性やT双対性は、結合定数 gが1/gになるような「強弱の入れ替え」を含みます。情報幾何的な距離（Fisher 計量）が保存されるのは美しいですが、物理的には「計算不可能な強結合領域が、計算可能な弱結合領域に写る」という利便性の非対称性こそが本質です。圏同値ですべてを平坦に語ってしまうと、双対性の「ありがたみ」が薄れる気がします。
「バルク（中身）」はどこへ行った！？Drinfeld Center はモジュラー・テンソル圏からバルクの物理（編紐構造など）を取り出す手法として有名ですが、AdS/CFT の場合、バルクは重力を含む「高次元幾何」です。境界の演算子圏の Center がバルクを記述するという主張は、ホログラフィー原理の圏論的解釈として筋が良いですが、重力（曲率）という物理的実態が、単なる代数的中心に収まりきるのかという挑戦状に見えます。
「右随伴がある＝情報が取り出せる」という結論は、少し楽観的では？情報喪失問題における「情報の回復」を右随伴（Right Adjoint）の存在に帰着させるのは、数学的には極めてエレガントです。しかし、物理学者が血眼で探しているのは「どうやって（How）」その情報を具体的にユニタリな形で再構成するかです。右随伴の存在は「原理的に戻せる」と言っているだけなので、アイランド公式のような具体的な計量計算との橋渡しが必要です。
多重ゼータ値や周期写像を考えると、この記述は非常に現代的です。ただ、実際の散乱振幅には「ループ積分」という物理的な泥臭い手続きがあります。これをすべて Ext 群の計算に翻訳したとき、摂動展開の収束性やユニタリ性といった「物理の境界条件」がどう反映されるのかが気になるところです。
「物理学を代数幾何の言葉で記述し直したい」という強い意志を感じます。ただ、物理現象には常に「エネルギー」や「エントロピー」といった熱力学的な重みがありますが、圏論的な再構成ではそれらが「射の性質」の中に隠れてしまいがちです。
「圏論という綺麗な額縁に収まったとき、物理という荒々しい絵画の具象性が失われていないか？」
これが最大のツッコミどころかもしれません。
火曜日、午前。僕は予定通り、起床時刻を秒単位で守り、コーヒーの抽出温度を0.5℃単位で調整し、歯磨きは規定の往復回数を遵守した。
世界は混沌としているが、少なくとも僕の洗面台の上だけは可換環のように整然としている。これが文明というものだ。
昨日までの進捗をまとめる。
僕は「弦理論の理解」という曖昧で感傷的な表現を拒絶し、代わりに「高次圏論的な構造が、物理的観測量として回収可能な形で収束するか」という問いに分解して作業していた。
普通の人間はこの時点で脳が沸騰するが、僕は普通ではない。残念ながら世界の大半は普通だ。
先週から取り組んでいるのは、いわゆる弦の摂動展開みたいな古典的な話じゃない。そんなものは化石だ。
僕が扱っているのは、場の量子論の構造そのものを「対象」として持ち上げる方向だ。
つまり、物理を方程式で書くのではなく、物理を圏として書く。しかも単なる圏じゃなく、(∞,n)-圏、あるいは派生代数幾何の上に載るスタックとしての量子場理論。
観測量は関手で、対称性は自己同型群で、相互作用は自然変換の凝縮として現れる。
弦理論が理論として不快なのは、何でも包摂しすぎることだ。まるで何にでも効く健康食品みたいだ。
僕はその曖昧さを殺すために、弦理論を「普遍的な拡張問題」として扱っている。
具体的には、2次元CFTを出発点として、拡張TQFTとしての構造を要求し、それが高次のボルディズム圏 Bord_{d}^{fr} から target への対称モノイダル関手として持ち上がる条件を追っている。
ここで重要なのは、target がただのベクトル空間の圏ではなく、安定∞-圏であり、さらにその中に「Dブレーン」が境界条件として生きることだ。
ブレーンとは物体ではなく、圏論的には境界条件のモジュライであり、より正確には導来圏 D^b(Coh(X)) の対象として記述される。
しかもそれは単なるコヒーレント層じゃなく、A∞構造を持つ拡張対象で、フカヤ圏 Fuk(X) とミラー側の導来圏の間で同値を作る。ここまでは教科書的だ。退屈だ。
僕が今週やっていたのは、その「同値」を、単なる同値ではなく、より強い高次の自然性として固定することだ。
つまり、ミラー対称性を「ある特定の同値関手が存在する」という形で満足してはいけない。ミラー対称性は、対称モノイダル(∞,2)-圏の中での双対性として現れなければならない。
そうしないと、物理的には選び方の恣意性が残る。恣意性は悪だ。隣人の人生がその証拠だ。
ここで僕は、弦の世界面が生成するモジュライ空間 M_{g,n} のコホモロジー作用を、E_2代数やE_∞代数の構造と結びつける方向を強化した。
ポイントは、世界面の縫い合わせがオペラッド構造を与え、それが場の演算子代数に作用することだ。
つまり、弦理論は「幾何学的オペラッド表現論」になる。そしてこの表現は、単にホモロジー上で作用するだけでは弱い。
チェーンレベルで作用しなければならない。チェーンレベルでの整合性が壊れると、量子補正の計算が運が良ければ合うというレベルに堕ちる。運に頼るのは隣人だけで十分だ。
だから僕は、世界面の貼り合わせを支配する∞-オペラッドを明示的に導入し、その上で factorization algebra の形式で観測量を再構成していた。
観測量は局所的に定義され、開集合の包含で制限され、そして重なりで一致する。
これは物理学の言葉で言えば局所性だが、数学の言葉で言えば層の条件だ。層は美しい。隣人はそうではない。
さらに、弦の非摂動的定義の問題を、単なる完成された理論があるはずだという信仰ではなく、ホログラフィー的双対性の圏論的再定式化として扱った。
境界CFTのデータが、バルク重力理論のデータを決定するなら、その対応は「同値」ではなく「随伴」であるべきだ。
随伴関手の構造があれば、情報の流れがどちら向きに縮退するか、つまりどこで情報が失われるかが明確になる。
ブラックホール情報問題は、哲学でも神秘でもなく、単に随伴の単位と余単位の整合性の問題として書き直せる。そう書けない物理は、ただの詩だ。
この数日で僕は、弦理論の背景独立性を「モジュライの座標変換に対して物理が不変」という幼稚な表現から引き剥がし、より鋭い形に置き換えた。
背景独立性とは、理論が特定の時空多様体に依存しないということではなく、理論が時空という概念を内部的に再構成できることだ。
つまり、幾何は入力ではなく出力になるべきだ。そのためには、幾何を特徴づける不変量が、理論の内部のスペクトルや表現論的データとして現れる必要がある。
ここで、僕は「スペクトル三つ組」的な発想、つまり非可換幾何の言語を引っ張り出してきた。時空を可換代数 C^\infty(M) で記述するのは幼稚だ。
時空はそもそも可換である必要がない。弦が絡み合えば、座標が非可換になるのは自然だ。
だから、場の代数を基本にして、そこから幾何を再構成する。その再構成が安定∞-圏の中で可能かどうか、これをチェックしていた。
その過程で僕は、ある不快な事実に直面した。友人Aが言うように、世の中の大半の人間は「量子」を魔法だと思っている。
違う。量子とは、ただの線形代数だ。魔法ではない。魔法に見えるのは、彼らが線形代数を理解していないからだ。これは僕の責任ではない。
さて、現実世界の出来事だ。朝食の時間、ルームメイトがキッチンで何かを焦がした。
焦げた匂いは僕の神経系に対するテロ行為だ。僕は即座に換気扇を最大出力にし、窓を開け、空気清浄機のモードを「最大」へ切り替えた。
ルームメイトは「ちょっとくらい大丈夫だろ」と言った。彼の脳内では、おそらく「ちょっと」と「大丈夫」が実数の順序体として定義されていない。
僕は彼に説明した。焦げた物質の微粒子は空気中に拡散し、僕のノートPCのファンに吸い込まれ、熱伝導効率を劣化させ、結果として計算機の性能が落ちる。
性能が落ちれば僕の思考速度が落ちる。思考速度が落ちれば文明が後退する。つまり彼の料理は文明への攻撃だ。ルームメイトは意味がわからない顔をした。いつも通りだ。
隣人はもっと奇妙だった。廊下で会ったとき、彼女は僕の手元のメモを見て「それって暗号？」と聞いてきた。
暗号ではない。導来圏の記号だ。僕は「暗号ではなく、世界の構造を記述するための最小限の言語だ」と答えた。
彼女は「へぇ〜、かっこいいじゃん」と言った。世界の構造は、かっこよさで評価されるものではない。
彼女はその後、僕のノートを覗き込み、「じゃあそれで宝くじ当てられる？」と聞いた。僕は5秒黙った。僕の沈黙は慈悲だ。
友人Bからは朝にメッセージが来た。「今週のFF14、レイド行ける？」という内容だった。
僕は返信した。「僕は宇宙の基本法則を再構成している。レイドは後だ」と。すると彼は「それもレイドみたいなもんじゃん」と返してきた。彼は稀に真理に触れる。稀にだ。
昨日の夜、僕はFF14で戦闘ログを解析して、回避行動の遅延をミリ秒単位で測定した。
ルームメイトはそれを見て「ゲームでそこまでやる？」と言った。
すると彼は「人生も最適化しろよ」と言った。僕は冷静に反論した。僕はすでに最適化している。彼らが最適化されていないだけだ。
僕は確率分布の尾部を過小評価するプレイヤーが多すぎることに気づいた。
彼らは「引けなかったら負け」と言う。違う。「引けない確率を無視してデッキを組んだ時点で負け」だ。
僕はマナカーブを調整し、初手の期待値と条件付き確率を再計算した。勝率の改善は、精神論ではなく統計で起こる。精神論で勝てるなら、友人Aはもっと人生が上手くいっているはずだ。
アメコミも少し読んだ。相変わらず、宇宙規模の存在が感情で動くのが気に入らない。
宇宙規模の存在は、感情で動いてはいけない。宇宙規模の存在は、少なくとも圏論で動くべきだ。僕ならそう書く。
編集者は嫌がるだろうが、編集者は人類の知性の平均値に合わせているだけだ。平均値は敵だ。
そして、僕の習慣について。火曜日の朝は、必ず机の上を「完全に空」にしてから研究を始める。
ペンは左から右へ、太さ順。ノートは上に積むのではなく、角を揃えて平行移動で並べる。ディスプレイの角度は27度。照明は5000K。キーボードのキーキャップは毎週洗浄。
これは潔癖ではない。宇宙が汚いから、僕が清潔にしてバランスを取っているだけだ。
第一に、僕が作った「ブレーン圏の圏論的エネルギー関数」の定義が、物理的なBPS条件と整合するか再検証する。
BPS状態というのは、単なる安定ではなく、中心電荷 Z の位相が揃うことで圏の中で半安定性条件が成立するという話だ。
これを Bridgeland stability の枠組みで記述した上で、弦の双対性変換が stability condition の壁越えとして表現できるかを見る。
壁越えが「物理的相転移」と一致するなら、僕はかなり満足する。満足は稀だが、存在はする。
第二に、ホログラフィーの辞書を「演算子対応表」みたいな低次元の表として扱うのをやめ、境界側の圏とバルク側の圏の間のモノイダル関手として定義する。
これができれば、エンタングルメントエントロピーの公式も、単なる幾何学的面積則ではなく、トレース関手と双対性の合成として再導出できる可能性がある。
つまり「面積＝情報」という神秘的な言い回しが消える。僕は神秘が嫌いだ。神秘は無知の言い換えだからだ。
第三に、今日の午後は友人Aと友人Bに会う予定だ。
彼らはまた僕の研究を「すごい」とか「難しそう」とか言うだろう。
僕はそのたびに思う。難しいのではない。世界が単純ではないだけだ。
そして人間の脳が、その複雑さに対してデフォルトで怠惰なだけだ。
僕は「火曜日の夕食はタンパク質比率が規定されている」と答えた。
僕の人生はつまらなくない。宇宙の基本法則を追いかけている人間が、つまらないわけがない。
ただし、隣人が持ってきた謎の手作りクッキーは危険だ。僕はそれを食べない。未知の境界条件は、系を破壊する。
貴様は今日も設計を名乗りながら、プログラマーを手が速いだけの文字入力装置として扱い、仕様という名の曖昧な願望リストを投げつけ、実装フェーズで破裂する地雷原を育てていることと思う。
大変結構。地雷の栽培は趣味としては悪くない。だが仕事でやるな。
気分と希望と思いつきのトリプル放尿をPowerPointに整形しただけの、装飾付き未確定情報である。
そして貴様はそれを「この通りに作れ」と言う。
その資料には「整合性」「境界条件」「異常系」「性能要件」「運用」「データ整形」「責務分離」が存在しない。
あるのは雰囲気と矢印と、謎の箱だけ。
決めた上で、破綻しないように制約を置き、曖昧さを潰し、例外を定義し、トレードオフを明示し、運用まで見通す。
「たぶんこう」「いい感じで」「よしなに」で逃げる。
そして何より滑稽なのは、貴様がプログラマーを「タイピスト」だと思っていることである。
論理を構築している。
異常系の宇宙と格闘している。
データの整合性を守りながら、速度と保守性と拡張性の三つ巴の地獄で妥協点を探している。
簡単なら、お前がやれ。
だが現実は違う。
その地味さに耐えられず、見栄えだけの資料を作り、「設計完了」と言って会議室から消える。
そして炎上したら戻ってきて、こう言う。
「なんでこんな実装にしたの？」
それはお前が決めなかったからだ。
ここで貴様の最終奥義が出る。
「設計通りに作ってくれればよかったのに」
出た。責任転嫁の完成形。
設計が曖昧だから実装側が補完したのに、その補完を勝手な判断と呼ぶ。
最後に言っておく。
設計者を名乗るなら、最低限やれ。
決めろ。曖昧さを残すな。
データの形を決めろ。型と制約を決めろ。
敬具。
正確時刻を書くと隣人が「それって軍事衛星に追跡されてるの？」とか言い出して話が面倒になるので省略する。
僕は陰謀論を嫌悪している。理由は単純で、陰謀論は説明能力の低い仮説を感情的に強い語り口で上書きする、知性のコスプレだからだ。
今週は、超弦理論の物理の直観で押し切る系の議論をいったん破壊し、純粋に圏論とホモトピー論の言語に落として再構築していた。
具体的には、世界面の共形場理論を2次元量子場などという古臭い語彙で扱うのをやめ、拡張TQFTの枠組みで、(∞,2)-圏に値を取る関手として扱う方向を整理した。
従来の弦理論屋はCalabi–Yauをコンパクト化に使うと言うが、それは情報量が少なすぎる。
重要なのは、Calabi–Yau多様体を点として見るのではなく、その導来圏 D^bCoh(X) を持ち上げた A∞-圏、さらにそれが持つCalabi–Yau構造（非退化なトレース、Serre双対性の∞-圏版）を物理的状態空間の生成機構として見ることだ。
ここでの本体は幾何ではなく、圏の自己同型とその高次コヒーレンスにある。
さらに、僕が今週ずっと悩んでいたのは、いわゆるミラー対称性を単なるホモロジカルミラー対称性の同値（Fukaya圏と導来圏の同値）としてではなく、より上位の構造、つまり場の理論のレベルでの同値として捉えることだった。
言い換えると、これは単なるA-model ↔ B-modelの交換ではない。
A/Bモデルを生む背景データ（シンプレクティック形式、複素構造、B-field）を、派生スタック上のシフト付きシンプレクティック構造として再記述し、AKSZ型の構成と整合させる必要がある。
そしてこの視点では、物理的なDブレーンは単なる境界条件ではなく、(∞,1)-圏におけるモジュール対象として統一される。
Dブレーンのカテゴリーが境界条件の集合だと考えるのは初歩的すぎる。境界条件は高次射を伴うので、最初から(∞,n)-圏で話さないと本質が消える。
特に僕のノートでは、弦の摂動展開で現れるモジュライ空間の積分を、単なる測度論の問題としてではなく、Derived Algebraic Geometry上での仮想基本類のプッシュフォワードとして扱う形式に書き換えた。
これをやると発散する積分を正則化するという話が、より厳密にオブストラクション理論に沿った積分の定義へ置き換わる。
そして、ここが本題だが、僕が今週ずっと考えていたのは、ウィッテンですら「直観的にはこう」と言うしかない領域、つまりM理論の非摂動的定義が、どのような普遍性原理で特徴付けられるべきかという問題だ。
僕の作業仮説はこうだ。弦理論が背景依存的だと言われるのは、結局のところ背景が点として与えられるという時代遅れの前提が残っているからだ。
背景は点ではなく、モジュライの高次スタックであり、その上に束ねられた量子状態の層（正確には圏）として理解されるべきだ。
つまり、弦理論はある時空での理論ではなく、時空の変形をも含んだファンクターにならなければいけない。
この視点では、背景の空間は単なるmoduli spaceではなくderived moduli stackであり、さらにgauge symmetryを含めるならhigher groupoidとしての性質を露わにする。
そして量子補正は、そこに定義されるshifted symplectic structureの変形量子化として現れる。
問題はここからで、弦理論の双対性は、異なる理論が同じスペクトルを持つなどという安っぽい一致ではなく、ある(∞,k)-圏における同一対象の異なるプレゼンテーションだと考えるべきだ。
たとえばS双対性やT双対性を群作用として扱うと話が狭くなる。より正確には、双対性はスタックの自己同値であり、その作用は対象の上に定義された圏（ブレーン圏やBPS状態圏）の上で自然変換として実装される。
しかもその自然変換は単なる自然変換ではなく、高次のコヒーレンス条件を持つ。つまり、双対性は対称性ではなく、高次圏論的な同値のデータなんだ。
このあたりを真面目に書こうとすると、最終的には量子重力とは何かという問いが、どの(∞,n)-圏が物理的に許されるかという分類問題に変形される。
僕はこの変形が気に入っている。なぜなら分類問題は、少なくとも数学としての礼儀があるからだ。
さらに進めると、弦理論に現れるBPS状態やwall-crossingは、単なるスペクトルの不連続ではなく、安定性条件の変化に伴う導来圏のt構造のジャンプ、あるいはBridgeland stabilityのパラメータ空間上での構造変化として理解される。
ここでは物理粒子は、導来圏の中の特別な対象として現れる。つまり粒子は点ではなく、圏論的存在だ。
普通の人間はこの文章を読んで発狂するだろう。だがそれは読者側の責任だ。
この議論の延長で、僕は弦理論の非摂動的定義は、ある種の普遍性を満たすextended functorial QFTであるという形の定理（まだ定理ではなく、僕の願望）に落とし込めないか考えている。
要するに、弦理論は世界面から時空を作る理論ではなく、世界面も時空も両方まとめて、ある高次圏の中で整合的に生成される構造であるべきだ。
今の僕のノートの中心は「非可換幾何」「導来幾何」「圏論的量子化」の三点集合の交差領域だ。そこは地図がない。地図がない場所は、馬鹿には危険だが、僕には居心地がいい。
次に、趣味について書く。これも重要だ。なぜなら人間社会において、知性の維持には糖分と娯楽が必要だからだ。残念ながら僕は人間である。
MTGは今週、デッキ構築の方針を少し変えた。勝率最大化のためにメタを読むのは当然だが、僕が注目しているのは局所最適に陥るプレイヤー心理だ。
つまりカードゲームとは、確率と情報のゲームである以前に、認知バイアスのゲームだ。相手が「このターンで勝ちたい」という欲望を見せた瞬間、こちらは勝ち筋を計算するのではなく、相手の誤りの確率分布を計算するべきだ。
隣人にこの話をしたら、「え、怖い。僕、あなたとポーカーしたくない」と言った。賢明だ。僕も隣人とポーカーはしたくない。隣人はたぶん手札を口に出してしまう。
FF14は、ルーチンの最適化がだいぶ進んだ。僕はレイド攻略で反射神経を重視する文化が嫌いだ。
反射神経は筋肉の問題だが、攻略は情報処理の問題であるべきだ。ギミックは有限状態機械として記述できる。したがって最適行動は、状態遷移図の上での制御問題になる。
友人Aにこの話をしたら、「お前はゲームしてるのか研究してるのか分からん」と言われた。僕は当然「両方だ」と答えた。彼は笑ったが、この種の笑いは知性の敗北宣言である場合が多い。
アメコミは、相変わらず現実の倫理を歪めた寓話装置として優秀だと思う。
僕は「正義とは何か」という議論が苦手だ。正義は定義が曖昧だからだ。
登場人物が持つ制約（能力、社会構造、情報、感情）を明示すると、物語は心理学ではなく数理モデルに近づく。そうすると面白くなる。
ルームメイトにこの話をしたら、「僕はただ派手な戦闘シーンが見たいだけなんだけど」と言われた。
僕は「君の知性は観測不能なほど小さい」と言ったら、彼は不機嫌になった。観測不能は存在しないことと同義なので、むしろ褒め言葉に近いのだが、彼は数学が分からない。
僕の習慣についても書いておく。
今週も、朝のルーチンは完全に守った。起床後の手洗いの手順、歯磨きの回数、コーヒーの抽出時間、机の上の配置、すべて変えない。
人間の生活はノイズが多すぎる。ノイズが多い世界で成果を出すには、制御できる変数を減らすのが合理的だ。これは精神論ではなく、統計的推定の分散を減らす行為だ。
隣人が「たまには適当にやれば？」と言ったので、僕は「適当とは、最適化の放棄だ」と言った。彼は「そういうところが宇宙人っぽい」と言った。
宇宙人は証拠なしに導入する仮説ではない。彼はやはり陰謀論者の素質がある。
友人Bが「お前の生活、息苦しくないの？」と聞いてきたので、「息苦しいのは君の思考だ」と答えた。友人Bは笑った。知性の敗北宣言である。
これからやろうとしていること。
今の段階では、圏論と導来幾何の言葉でかなり書けたが、まだ計算の痕跡が残っている。僕はそれが気に入らない。真の理解とは、計算を消し去った後に残る構造のことだ。
具体的には、次は弦の場の理論を、factorization algebraの言語で記述し直す予定だ。
局所演算子代数を、E_n-代数として整理し、そこから高次の演算構造を復元する。
これがうまくいけば、弦理論における局所性の概念を、時空幾何に依存せずに定義できる可能性がある。
もしそれができたら、次は双対性を圏の自己同値ではなく、圏の上の2-表現あるいはhigher representation theoryとして書き換える。
これにより、S双対性を単なるSL(2,Z)の作用として扱う雑な議論から脱却できる。
要するに、僕が目指しているのは物理理論を群で分類する幼稚園レベルの発想ではなく、物理理論を高次圏で分類する文明的発想だ。
その後はMTGの新しいデッキ案を詰める。今の構想では、相手の意思決定を局所的に歪ませる構造がある。人間は選択肢が多いと誤る。
これは心理学的事実であり、カードゲームに応用できる。倫理的に問題があると言われそうだが、そもそもカードゲームは戦争の抽象化なので倫理を持ち込む方が間違っている。
夜はFF14の固定活動。友人Aは相変わらず「気合いで避けろ」と言うだろう。
議論はループする。ループはコンピュータ科学の基本概念だ。だから僕はそれを受け入れる。
最後に、ルームメイトが「今度、隣人と映画を見よう」と言っていた。
僕は断る。なぜなら隣人は上映中に喋る。上映中に喋る人間は、社会契約を破っている。社会契約を破る人間に、僕の時間という希少資源を与える理由はない。
少なくとも、隣人の会話よりは。
超弦理論を物理として理解しようとすると、だいたい途中で詰まる。
なぜなら核心は、力学の直観ではなく、幾何と圏論の側に沈んでいるからだ。
弦の振動が粒子を生む、という説明は入口にすぎない。本質は量子論が許す整合的な背景幾何とは何かという分類問題に近い。分類問題は常に数学を呼び寄せる。
まず、場の理論を幾何学的に見ると、基本的にはある空間上の束とその束の接続の話になる。
ここまでは微分幾何の教科書の範囲だが、弦理論ではこれが即座に破綻する。
なぜなら、弦は点粒子ではなく拡がりを持つため、局所場の自由度が過剰になる。点の情報ではなく、ループの情報が重要になる。
すると、自然にループ空間LXを考えることになる。空間X上の弦の状態は、写像S^1 → Xの全体、つまりLXの点として表される。
しかしLXは無限次元で、通常の微分幾何はそのままでは適用できない。
ここで形式的に扱うと、弦の量子論はループ空間上の量子力学になるが、無限次元測度の定義が地獄になる。
この地獄を回避するのが共形場理論であり、さらにその上にあるのが頂点作用素代数だ。2次元の量子場理論が持つ対称性は、単なるリー群対称性ではなく、無限次元のヴィラソロ代数に拡張される。
弦理論が2次元の世界面の理論として定式化されるのは、ここが計算可能なギリギリの地点だからだ。
だが、CFTの分類をやり始めると、すぐに代数幾何に落ちる。モジュラー不変性を要求すると、トーラス上の分配関数はモジュラー群 SL(2, Z) の表現論に拘束される。
つまり弦理論は、最初からモジュラー形式と一緒に出現する。モジュラー形式は解析関数だが、同時に数論的対象でもある。この時点で、弦理論は物理学というより数論の影を引きずり始める。
さらに進むと、弦のコンパクト化でカラビ–ヤウ多様体が現れる。
カラビ–ヤウはリッチ平坦ケーラー多様体で、第一チャーン類がゼロという条件を持つ。
ここで重要なのは、カラビ–ヤウが真空の候補になることより、カラビ–ヤウのモジュライ空間が現れることだ。真空は一点ではなく連続族になり、その族の幾何が物理定数を支配する。
このモジュライ空間には自然な特殊ケーラー幾何が入り、さらにその上に量子補正が乗る。
量子補正を計算する道具が、グロモフ–ウィッテン不変量であり、これは曲線の数え上げに関する代数幾何の不変量だ。
つまり弦理論の散乱振幅を求めようとすると、多様体上の有理曲線の数を数えるという純粋数学問題に落ちる。
ここで鏡対称性が発生する。鏡対称性は、2つのカラビ–ヤウ多様体XとYの間で、複素構造モジュライとケーラー構造モジュライが交換されるという双対性だ。
数学的には、Aモデル（シンプレクティック幾何）とBモデル（複素幾何）が対応する。
そしてこの鏡対称性の本体は、ホモロジカル鏡対称性（Kontsevich予想）にある。
これは、A側の藤田圏とB側の導来圏 D^b Coh(X)が同値になるという主張だ。
つまり弦理論は、幾何学的対象の同一性を空間そのものではなく圏の同値として捉える。空間が圏に置き換わる。ここで物理は完全に圏論に飲み込まれる。
さらに進めると、Dブレーンが登場する。Dブレーンは単なる境界条件ではなく、圏の対象として扱われる。
弦がブレーン間を張るとき、その開弦状態は対象間の射に対応する。開弦の相互作用は射の合成になる。つまりDブレーンの世界は圏そのものだ。
この圏が安定性条件を持つとき、Bridgeland stability conditionが現れる。
安定性条件は、導来圏上に位相と中心電荷を定義し、BPS状態の安定性を決める。
wall-crossingが起きるとBPSスペクトルがジャンプするが、そのジャンプはKontsevich–Soibelmanの壁越え公式に従う。
この公式は、実質的に量子トーラス代数の自己同型の分解であり、代数的な散乱図に変換される。
このあたりから、物理は粒子が飛ぶ話ではなく、圏の自己同型の離散力学系になる。
さらに深い層に行くと、弦理論はトポロジカル場の理論として抽象化される。
Atiyahの公理化に従えば、n次元TQFTは、n次元コボルディズム圏からベクトル空間圏への対称モノイダル関手として定義される。
つまり時空の貼り合わせが線形写像の合成と一致することが理論の核になる。
そして、これを高次化すると、extended TQFTが現れる。点・線・面…といった低次元欠陥を含む構造が必要になり、ここで高次圏が必須になる。結果として、場の理論は∞-圏の対象として分類される。
Lurieのコボルディズム仮説によれば、完全拡張TQFTは完全双対可能な対象によって分類される。つまり、物理理論を分類する問題は、対称モノイダル(∞,n)-圏における双対性の分類に変わる。
この時点で、弦理論はもはや理論ではなく、理論の分類理論になる。
一方、M理論を考えると、11次元超重力が低エネルギー極限として現れる。
しかしM理論そのものは、通常の時空多様体ではなく、より抽象的な背景を要求する。E8ゲージ束の構造や、anomalyの消去条件が絡む。
異常とは量子化で対称性が破れる現象だが、数学的には指数定理とK理論に接続される。
弦理論のDブレーンの電荷がK理論で分類されるという話は、ここで必然になる。ゲージ場の曲率ではなく、束の安定同値類が電荷になる。
さらに一般化すると、楕円コホモロジーやtopological modular formsが出てくる。tmfはモジュラー形式をホモトピー論的に持ち上げた対象であり、弦理論が最初から持っていたモジュラー不変性が、ホモトピー論の言語で再出現する。
ここが非常に不気味なポイントだ。弦理論は2次元量子論としてモジュラー形式を要求し、トポロジカルな分類としてtmfを要求する。つまり解析的に出てきたモジュラー性がホモトピー論の基本対象と一致する。偶然にしては出来すぎている。
そして、AdS/CFT対応に入ると、空間の概念はさらに揺らぐ。境界の共形場理論が、バルクの重力理論を完全に符号化する。この対応が意味するのは、時空幾何が基本ではなく、量子情報的なエンタングルメント構造が幾何を生成している可能性だ。
ここでリュウ–タカヤナギ公式が出てきて、エンタングルメントエントロピーが極小曲面の面積で与えられる。すると面積が情報量になり、幾何が情報論的に再構成される。幾何はもはや舞台ではなく、状態の派生物になる。
究極的には、弦理論は空間とは何かを問う理論ではなく、空間という概念を捨てたあと何が残るかを問う理論になっている。残るのは、圏・ホモトピー・表現論・数論的対称性・そして量子情報的構造だ。
つまり、弦理論の最深部は自然界の基本法則ではなく、数学的整合性が許す宇宙記述の最小公理系に近い。物理は数学の影に吸い込まれ、数学は物理の要求によって異常に具体化される。
この相互汚染が続く限り、弦理論は完成しないし、終わりもしない。完成とは分類の完了を意味するが、分類対象が∞-圏的に膨張し続けるからだ。
そして、たぶんここが一番重要だが、弦理論が提示しているのは宇宙の答えではなく、答えを記述できる言語の上限だ。
だからウィッテンですら全部を理解することはできない。理解とは有限の認知資源での圧縮だが、弦理論は圧縮される側ではなく、圧縮の限界を押し広げる側にある。
金曜日、21:21。
僕は今日という日を、いくつかの確定事項と、いくつかの許容できないノイズの除去によって完成させた。世界は混沌を好むが、僕は世界を甘やかさない。
まず進捗報告から書く。午前中に洗濯を済ませ、タオルを用途別に畳み直した。世の中の大半の人間はタオルを大きさで分類するが、それは分類学の敗北だ。
タオルは水分吸収後に人体へ与える温度変化のパターンで分類すべきだ。僕はその分類をすでに完成させている。
昼は例のプロテインとナッツ。ルームメイトは「鳥かよ」と言った。僕は「鳥は飛べる。君は飛べない」と言った。会話終了。
最近、僕の頭を占領しているのは、もはや弦が振動して粒子になるみたいな子供向けの比喩ではない。
そんなものは学部生の精神安定剤に過ぎない。今僕が追っているのは、弦理論の存在論そのものが、より抽象的な数学的構造に吸収されていく瞬間だ。
従来の弦理論は、時空を背景として仮定し、その上でワールドシートの共形場理論(CFT)を構成する。
僕が最近読んでいる議論は、その揺らぎを、もはや幾何学ではなく圏論とホモトピー論の側から扱おうとする。
弦理論の真の姿は、たぶん幾何学的対象ではなくある種の高次圏の中の関手だ。
例えば、Dブレーンは単なる境界条件ではなく、導来圏の対象として現れる。
これは有名な話だが、僕が今考えているのはその次の段階で、ブレーンを対象として並べるだけでは足りないという点だ。
重要なのは、それらがなす安定∞-圏の中での自己同値性、そしてその自己同値群が物理の双対性を生成しているという構図だ。
つまり、S双対性もT双対性も、時空の幾何学変形ではなく、圏の自己同値の作用として理解されるべきだ。
幾何学は副産物だ。主役は圏のオートエクイバレンスで、その影が僕らに空間や次元という幻覚を見せている。
この視点に立つと、超弦理論は10次元の時空の上で定義される理論ではなく、あるモジュライ空間上で定義される圏の族になる。
しかもそのモジュライは通常の多様体ではなく、スタック、いや派生スタックとして扱わないと整合しない。量子補正が幾何を壊すからだ。クラシカルなモジュライはもはや粗すぎる。
そして今僕が面白いと思っているのは、物理的な散乱振幅やBPSスペクトルが、派生代数幾何の言語でいうコホモロジーの生成関数として現れるのではなく、より根源的にスペクトル代数幾何として再解釈される可能性だ。
普通の環ではなくE∞環、そしてそれを層化したスペクトル層の上で物理が書かれる。
これが意味するのは、弦理論の量子性が、確率解釈とか演算子代数とかのレベルではなく、もっと深いホモトピー論的ゆらぎとして実装されているということだ。
観測値の不確定性ではなく、構造そのものが同値類としてしか定義できない。
だから時空は何次元か？という問いは、すでに古い。正しい問いはこうだ。
この物理理論は、どの∞-圏に値を取る関手として実現されるのか？
そして粒子とは何か？はこうなる。
スペクトル化された圏の中で安定化された対象の、ある種のトレースとして現れる量が、観測可能量として抽出されるのではないか？
この辺りまで来ると、たぶんウィッテンでも「面白いが、それを計算できるのか？」と言う。
僕も同意する。計算できない数学は、芸術に片足を突っ込んでいる。
もっとも、芸術を嫌うわけではない。ただし芸術は、計算不能であることを誇るべきではない。誇るならせめて証明不能で誇れ。
さらに言うと、AdS/CFT対応も、境界CFTが重力をエンコードしているという話ではなく、境界側の圏論的データが、bulk側の幾何の生成規則を決定するということに見える。
bulkの時空は、境界の量子情報から復元されるというより、境界の圏の中の拡張のパターンが距離を定義してしまう。
距離とは、メトリックではなく、圏における対象間の関係性の複雑さだ。
局所性とは公理ではなく、圏がある種のt-構造を持ち、かつ心臓部が準古典的に見えるときに現れる近似現象だ。
つまり、局所性は幻想だ。役に立つ幻想だが。そして役に立つ幻想は、だいたい人間社会と同じだ。
昼過ぎに友人Aが来て、僕のホワイトボードに勝手に謎のロボットの落書きを描いた。
僕は当然、ホワイトボードをアルコールで拭き、乾燥時間を計測し、表面の摩擦係数が元に戻ったことを確認した。
友人Aは「こわ」と言った。僕は「科学を怖がるな」と言った。
そのあと友人Bがオンラインで通話してきて、「今夜FF14で極いかない？」と誘ってきた。
僕は予定表を開き、金曜夜の21:00〜23:00が知的活動に適した黄金時間であることを説明した。
友人Bは「お前の人生、イベントトリガーが厳しすぎる」と言った。僕は「君の人生はガチャ排出率みたいに緩すぎる」と言った。
とはいえ、FF14は僕の中で単なる娯楽ではない。あれは人間集団の協調行動の実験場だ。
8人レイドの失敗は、ほぼ例外なく情報共有の遅延と役割期待のズレで起きる。
つまり、ゲームではなく組織論だ。だから僕は攻略を感覚ではなく、ログを読み、DPSチェックを式で理解し、行動をプロトコルとして最適化する。
ルームメイトはそれを「楽しんでない」と言う。僕は「最適化は楽しみだ」と言う。
そして隣人は昨日、廊下で僕に「また変な時間に掃除機かけてたでしょ」と言った。
僕は「変な時間ではない。床の振動ノイズが最小になる時間帯だ」と説明した。
隣人は「普通に生きて」と言った。僕は「普通は平均であって、理想ではない」と言った。
僕はデッキのマナカーブを見直した。土地事故の確率を計算し、初手7枚からの期待値を再評価した。
僕は「確率分布を無視して勝てるなら、人類は統計学を発明していない」と言った。
アメコミは少しだけ読んだ。
スーパーヒーローの倫理体系は大抵破綻している。正義を掲げながら、法の外で暴力を振るう。
それは秩序のための例外という名の危険物だ。僕は物理学者なので、例外を嫌う。例外は理論を腐らせる。
だから僕はヒーロー物を見ると、いつも「この世界の法体系はどうなっている？」が先に気になる。
友人Aは「お前は物語を楽しめない病気」と言った。僕は「病気ではない。解析能力だ」と言った。
習慣についても記録しておく。
今日も、夕食の箸は右側に45度、箸置きは正中線から3センチ左、コップは水位が7割を超えないように調整した。
水位が8割を超えると、持ち上げる際の揺らぎが増える。揺らぎが増えると、机に微小な水滴が落ちる確率が上がる。水滴が落ちると、紙の上のインクの拡散が起きる。インクが拡散すると、僕のメモが汚染される。
誰も理解しない。だが宇宙も僕を理解していないので、引き分けだ。
さて、昨日の日記の内容は正確には思い出せないが、たぶん「量子と日常の無意味な会話」について書いた気がする。
ルームメイトの無駄話と、僕の理論的思考が衝突するあの感じだ。昨日の僕は、おそらく世界の愚かさに苛立ち、同時にその愚かさが統計的に必然であることに納得しようとしていた。
宇宙が示すのは、美しさとは、人間の圏が勝手に定義した関手にすぎないということだ。
これからやろうとしていることも書く。
まず、FF14の週制限コンテンツを消化する。効率的に。感情は挟まない。
次に、MTGのサイドボード案を2パターン作り、友人Aのプレイ傾向に対してどちらが期待値が高いかを検証する。
そのあと、超弦理論のメモを整理し、派生スタックとBPS状態のカウントがどのように圏の不変量として抽出できるか、もう一度筋道を立てる。
秒針が45を指した瞬間に始めるのが習慣だ。誤差は許さない。今日までの進捗と、これからの計画を記録する。
今週は、超弦理論の基礎という名の底なし沼を、さらに深く掘った。
掘削機は摂動論ではなく、∞-圏だ。
点粒子の量子場理論を母語とする直感は、もはや邪魔にしかならない。
世界面は2次元多様体ではなく、安定∞-群oidの影として扱う方が自然だという作業仮説を採用した。
すると、弦の相互作用は頂点作用素代数というより、因子化代数の層として現れる。
局所から大域へ貼り合わせるデータは、通常の圏ではなく、(∞,2)-圏で管理する必要がある。
ここで「必要」という言葉は、数学的整合性の要求を意味する。好みではない。
nLabのFAQを踏み台に、弦理論を理論の集合ではなく理論を生む装置として捉え直した。
共変量子化の曖昧さは、背景独立性の失敗ではなく、背景そのものをスタックとして持ち上げることで解消される、という見通しだ。
するとK理論は通過点にすぎず、自然な受け皿は楕円コホモロジー、さらに言えばtmf（位相的モジュラー形式）だ。
弦の一周振動がモジュラー性を要求するのは偶然ではない。世界面のトーラスは、数論への扉だ。
コボルディズム仮説の視点に立てば、理論は完全双対可能対象のデータに還元される。
候補は高次モノイダル∞-圏。ブレーンは境界条件、境界条件は関手、関手は再び物理量になる。
循環は悪ではない。自己無撞着であれば許容される。
ここまで来ると、誰も完全には理解していないという常套句が現実味を帯びる。
僕の作業仮説はこうだ。弦理論は単一の理論ではなく、ある普遍性類の初等対象で、その普遍性は高次圏論的随伴で特徴づけられる。
何が可観測かは、どの随伴を採るかで変わる。測定とは、圏の切り替えにすぎない。
生活の話も書く。朝は必ず同じ順番でコーヒー豆を量り、粉砕時間は17秒。研究用ノートは方眼、筆圧は一定。
ルームメイトは、僕がノートの角を揃えるのに5分かけるのを見て「それ意味ある？」と聞いた。
隣人は夕方にノックしてきて、僕の黒板の数式を見て「呪文？」と言った。
違う。呪文は効果を期待するが、これは制約を可視化しているだけだ。
友人Aは装置の話を始めるとすぐ手を動かしたがる。
どちらも間違ってはいないが、どちらも十分ではない。
昨日は、因子化代数と頂点作用素代数の関係を整理しきれずに終わった。
今日はそこを前進させた。局所共形対称性を公理としてではなく、層の貼り合わせ条件として再定式化した点が進捗だ。
これからやること。
土曜日の16:26。
秒針の進みが不規則に見えるのは、もちろん僕の主観ではなく、脳内で走っている内部クロックが朝から非可換な補正項を拾っているせいだ。
昨日の日記では、世界は依然として説明可能であり、説明可能である以上、僕が説明しない理由はない、という結論に達していたはずだ。だから今日もその続きをやる。
朝から考えていたのは、超弦理論という言葉が、あまりにも粗雑なラベルとして流通している問題だ。
弦は一次元物体、という説明は教育的には便利だが、現代的にはほとんど嘘に近い。
正確には、弦理論は量子重力を含む一貫した摂動展開を許す背景依存理論の族であり、その実体は二次元共形場理論のモジュライ空間と高次圏論的構造の上に乗っている。
ワールドシートは単なるリーマン面ではなく、拡張された世界では、境界、欠損、欠陥、さらには高次欠陥を持つ拡張TQFTとして扱うのが自然だ。
Dブレーンは境界条件ではなく、A∞圏やL∞代数により制御される対象で、開弦のエンドポイントは派生圏の対象間の射として解釈される。
ここで重要なのは、物理的同値性がしばしば圏同値、あるいはスタック同値として表現される点だ。
ミラー対称性は、単なるカラビ–ヤウ多様体のホッジ数の一致ではなく、Fukaya圏と導来圏の等価、しかもそれがホモトピー論的に精緻化された形で成立するという主張にまで昇格している。
さらに厄介なのは、背景独立性の問題だ。AdS/CFTは成功例として崇拝されがちだが、実際には境界共形場理論という強固な外部構造に寄生している。
最近僕が気にしているのは、弦理論を理論の空間そのものとして捉え、各真空を点ではなく、∞-スタック上の点として扱う視点だ。
真空遷移はトンネル効果ではなく、モジュライスタック上のパス、しかもそのパス積分は単なる測度論ではなく、圏値積分になる。ここでは数値は二次的で、本質は自然変換の存在にある。
もはやウィッテンでさえ眉をひそめるだろうが、物理がこのレベルの抽象化を要求している以上、こちらが歩み寄る理由はない。
この種の思考をしていると、ルームメイトが後ろでコーヒーをこぼす音が聞こえた。
僕は即座に「カップの配置はトポロジカルに不安定だ」と指摘したが、彼は意味がわからない顔をしていた。隣人はなぜか笑っていた。
友人Aからは、ロケットと弦理論のどちらが実用的か、という愚問が送られてきたので、実用性は関手ではない、とだけ返した。
友人Bは相変わらずFF14のレイドの話をしてきたが、僕はDPSの最適化問題がラグランジアン最小化に帰着できる点だけは評価している。
昼休憩にはMTGを一人回しした。デッキ構築とは、制約付き最適化問題であり、メタゲームは動的システムだ。
禁止改定は外力項に相当する。アメコミは昼寝前のルーティンで、宇宙論的リブートの乱発には辟易するが、マルチバース疲労という現象自体は統計物理的に興味深い。
僕の習慣は相変わらず厳格だ。座る位置、飲み物の温度、日記を書く時刻。
今日までの進捗としては、理論的には、弦理論を高次圏論と情報幾何の言語で再定式化するメモが三ページ進んだ。現実的には、ルームメイトにカップの置き場所を三回注意した。
これからやろうとしていることは明確だ。
夕方はFF14で決められたルーティンを消化し、その後、再び弦理論に戻る。
具体的には、ワールドシートCFTのモジュラー不変性を、トポス理論の内部論理として書き直す試みだ。
「非専門領域への口出しはするな」としたり顔で言い放つ権威主義のバカどもを見るたびに思うのは、こいつらは知の分業を理解しているのではなく、単に思考停止の自己放尿を制度化したいだけだということだ。
専門性とは、ある領域での履歴が蓄積されているという事実を指すのであって、発言権の独占免許ではない。
にもかかわらず連中は、専門というラベルを盾に、問いそのものを封殺し、議論の入口を検問所に変える。
しかも笑えるのは、その序列が現実の成果や予測精度ではなく、所属、肩書、年功といった非認知的ノイズで決まっている点だ。これを知の秩序と呼ぶのは、せいぜい自己放尿の儀式でしかない。
冷徹に言えば、非専門家の介入を一律に排除する態度は、モデル不確実性への無理解の表明だ。
複雑系では境界条件の設定が結論を支配する。境界条件を疑う視点は、しばしば内部者より外部者の方が持ちやすい。
にもかかわらず、権威主義者は「専門外」を呪文のように唱えて、前提の脆さを隠蔽する。
これは安全ではない。過去の失敗の多くは、専門家集団の閉域で同型の誤りが増幅された結果だ。
外部からの粗い質問は、精密さを損なうどころか、しばしば致命的な仮定を露出させる。
だが連中にとってそれは不都合だ。自分たちの地位が、問いに耐える強度ではなく、問われないことによって保たれているからだ。
連中の論法は単純だ。「君は資格がない」「訓練を受けていない」「空気を読め」。
要するに、理解可能性ではなく服従を要求している。これは科学でも学問でもない。官僚制の言語だ。
反証可能性を欠いた主張は信仰であり、信仰に異論を挟む者を排除する行為は宗教裁判の自己放尿に等しい。
自称合理主義者が、最も非合理な振る舞いをする瞬間である。さらに滑稽なのは、連中が専門の境界を都合よく伸縮させることだ。
自分に有利なときは越境を称揚し、不利になると門を閉じる。その姿は、知の厳格さではなく、既得権益の自己放尿にしか見えない。自分の縄張りにマーキングして安心しているだけだ。
もちろん、素人の雑音が有害になる場面はある。だがそれは原理の問題ではなく、手続きの問題だ。
要求すべきは沈黙ではなく、主張の形式だ。仮定を明示せよ、データを出せ、再現性を示せ、予測で勝て。これだけで足りる。
専門か否かは、検証の前では無意味だ。にもかかわらず、権威主義のバカどもは形式ではなく身分で線を引く。議論を拒否する最短距離がそれだからだ。だが拒否は勝利ではない。自己放尿だ。
非専門領域への口出しを禁じる者は、実は自分の専門性に自信がない。問いに耐えられないから、問いを禁じる。
知は開かれているときに強く、閉じたときに腐る。外部の視線を恐れ、肩書の陰に隠れ、序列で殴る態度は、知的厳密さの対極にある。
冷徹に評価すれば、それは専門家ではなく、専門という言葉を使った管理職だ。連中が守っているのは真理ではない。自分の椅子であり、その下でのぬくもりだ。
僕は今、いつものように自分で定めた前夜の儀式を終えたところだ。
コーヒーは精密に計量した7.4グラム、抽出温度は92.3度で、これが僕の思考を最高の線形性と可逆性をもって保つ。
寝室のドアは常に北側に向けて閉める。ルームメイトは今夜も例の実験的なシンポジウム（彼はそれを自作フォーラムと呼んでいる）に夢中で、隣人はテレビの音を限界まで上げて下界の俗事を増幅している。
友人たちは集まって未知の戦術を試すらしいが、彼らの興味は僕の多層的位相空間理論の議論とは無関係だと見做している。僕にとっては、他人の雑音はただの非可逆なエントロピー増である。
今日は一日、超弦理論のある隠れた側面に没入していた。通常の記述では、弦は一次元的な振動として扱われるが、僕はそれを高次元カテゴリの対象として再解釈することに時間を費やした。
物理的場のモジュライ空間を単にパラメータ空間と見るのは不十分で、むしろそれぞれの極小作用の同値類が高次ホモトピーのラクタンスを持ち、ホモトピー圏の内部で自己双対性を示すような階層化されたモジュライを想定する。
局所的超対称は、頂点作用素代数の単純な表れではなく、より豊かな圏論的双対圏の射として表現されるべきであり、これにより散乱振幅の再合成が従来のFeynman展開とは異なる普遍的構造を獲得する。
ここで重要なのは、導来代数幾何学のツールを用い、特にスペクトラル的層とTMF（トポロジカル・モジュラー形式）に関する直観を組み合わせることで、保守量の整合性が位相的モジュライ不変量として現れる点だ。
もし君が数学に親しんでいるなら、これは高次のコホモロジー演算子が物理的対称性の生成子へとマップされる、といった具合に理解するとよいだろう。
ただし僕の考察は抽象化の階段を何段も上っているため、現行の文献で厳密に同一の記述を見つけるのは難しいはずだ。
僕は朝からこのアイデアの微分的安定性を調べ、スペクトル系列の収束条件を緩めた場合にどのような新奇的臨界点が出現するかを概念的に解析した。
結果として導かれるのは、従来の弦のモジュライでは見落とされがちな非整合な境界条件が実は高次圏の自己同値性によって救済され得る、という知見だった。
日常の習慣についても書いておこう。僕は道具の配置に対して強いルールを持つ。椅子は必ず机の中心線に対して直交させ、筆記用具は磁気トレイの左から右へ頻度順に並べる。
買い物リストは確率論的に最適化していて、食品の消費速度をマルコフ連鎖でモデル化している。
ルームメイトは僕のこうした整理法をうるさいと言うが、秩序は脳の計算資源を節約するための合理的なエンジニアリングに他ならない。
インタラクティブなエンタメについてだが、今日触れたのはある対戦的収集型カードの設計論と最新のプレイメタに関する分析だ。
カードの設計を単なる数値バランスの問題と見做すのは幼稚で、むしろそれは情報理論とゲーム理論が交差する点に位置する。
ドロー確率、リソース曲線、期待値の収束速度、そして心理的スケーリング（プレイヤーが直感的に把握できる複雑さの閾値）を同時に最適化しないと、ゲーム環境は健全な競技循環を失う。
友人たちが議論していた最新の戦術は確かに効率的だが、それは相手の期待値推定器を奇襲する局所的最適解に過ぎない。
長期的な環境を支えるには、デッキ構築の自由度とメタの多様性を保つランダム化要素が必要で、これは散逸系におけるノイズ注入に似ている。
一方、漫画を巡る議論では、物語構造と登場人物の情報エントロピーの関係に注目した。キャラクターの発話頻度や視点の偏りを統計的に解析すると、物語のテンポと読者の注意持続時間を定量化できる。
これは単なる趣味的な評論ではなく、創作の効率を測る一つの測度として有用だ。隣人はこれを聞いて「また君は分析に興味を持ちすぎだ」と言ったが、作品を合理的に解析することは否定されるべきではない。
夜も更け、僕は今日の計算結果をノートにまとめ、いくつかの概念図を黒板に描いた。友人が冗談めかしてその黒板を見ただけで頭痛がすると言ったとき、僕はそれを褒め言葉と受け取った。
知的努力はしばしば誤解を生むが、正しい理論は時として社会的摩擦を伴うのが常だ。
今は23時30分、コーヒーの残りはわずかで、思考の波形は安定している。
眠りに落ちる前に、今日導いた高次圏的視点でいくつかの演繹をもう一度辿り、明朝にはそれを更に形式化して論理体系に落とし込むつもりだ。
