「毛玉」を含む日記

はてなキーワード:毛玉とは

土曜日。朝はいつも通り、起床後に脳内で「今日という一日を、物理法則に従って最適化する」と宣言してからベッドを出た。これは習慣というより儀式だ。儀式は人類の愚かさの象徴として語られがちだが、反復可能な手続きは情報理論的に見て合理的だ。エントロピー増大に対する、せめてもの抵抗である。

まず体重を測り、体脂肪率を記録し、歯磨きの時間を正確に180秒で固定した。電動歯ブラシのタイマーを信じない。信頼は検証に劣る。

その後、コーヒーを淹れた。抽出温度は93℃。温度計の誤差は±0.2℃。人間関係の誤差は±∞。

今週の進捗を書く。

超弦理論については、相変わらず人類の知性が現実に追いついていない。僕の頭脳は追いついているが、世界が遅い。

今週は主に「弦の理論はどこまでが物理で、どこからが純粋数学の自己満足か」という問題を、僕なりに再定式化していた。世の中の多くの人は、超弦理論を「高次元の小さな紐が震える話」程度で理解した気になっている。あれは理解ではない。童話だ。

僕が考えていたのは、もっと根の深いところ、つまり量子重力の定式化において局所性を捨てることの数学的代償だ。

一般相対論の時点で、局所性は微妙に揺らいでいる。ホログラフィー原理が出てきた時点で、局所性はほぼ死亡している。にもかかわらず、僕たちは局所的な場の理論の言語で全てを語ろうとする。これは「古いOSの上に無理やり最新ゲームを動かしている」ようなものだ。もちろんクラッシュする。

そこで今週は、AdS/CFTを単なる「境界のCFTがバルク重力を記述する」という話ではなく、圏論的な双対性として再理解する方向で考えた。

具体的には、バルク側の物理量を、ある種のextended TQFTとして捉え、境界側の共形場理論の演算子代数が作るモジュラー圏と対応させる。

ここで重要なのは、空間そのものが基本対象ではなく、因果構造と情報の流れが基本対象になってしまう点だ。

つまり、幾何学が物理の舞台ではなくなる。舞台が役者に従属する。これは演劇としては間違っているが、宇宙としてはあり得る。

そして、ここからが本題だ。

僕は今週、「弦理論の非摂動的定義は、結局はある圏の中の安定対象の分類問題に還元されるのではないか」という疑念を強めた。

たとえばBPS 状態は、ある種の導来圏の中の安定条件（Bridgeland stability condition）で分類される。

これは単なる比喩ではなく、実際にDブレーンは導来圏の対象として記述される。つまり、物理的な粒子やブレーンが「空間上の幾何学的な物体」ではなく、圏論的な対象になる。

ここで人類は気づくべきだ。

宇宙は「点の集合」ではなく、「射の集合」かもしれない。

点を基本にしている限り、僕たちは宇宙のOSを永遠に理解できない。点とは、極限操作の幻想だ。実際の物理では測定可能な点など存在しない。存在するのは相互作用だけだ。射だけだ。

僕が今週やっていたのは、これをさらに押し進めて、弦理論の背後にある構造を「∞-圏」あるいは「高次スタック」として扱うべきではないか、という方向の思考実験だった。

超弦理論が最終的に求めているのは、たぶん「量子化されたモジュライ空間」だ。しかしモジュライ空間は普通の多様体ではない。特異点があり、ゲージ冗長性があり、しかも同値関係が階層的だ。だからスタックになる。さらに高次の同値（ホモトピー）が絡むので、∞-スタックになる。

ここで、物理屋が嫌いな言葉が出る。派生幾何（derived geometry）。

派生幾何とは、簡単に言えば「特異点を誤魔化さず、むしろ特異点を主役にする幾何学」だ。物理で特異点が出るのは、理論が壊れているからではなく、単に僕たちの数学が貧弱だからだ。派生幾何はそれを認める。

そして僕は思った。

もし弦理論が本当に「全ての一貫した量子重力のクラス」を記述する枠組みなら、それは場の理論の集合を分類するのではなく、量子情報を保存するような圏の分類になっているべきだ。

この時点で、もはや「ウィッテンでもわからない」どころではない。

ウィッテンがわからないのは当然だ。宇宙が意地悪だからだ。

僕たちがやるべきなのは、弦理論を「方程式」ではなく「普遍性」として定義することだ。

つまり、ある種の対称性を持ち、ある種の双対性を満たし、ある種の異常（アノマリー）が消え、ある種のエンタングルメント構造が一貫し、ある種の極限で局所的QFTに落ちる。

そういうものを満たす対象を、圏論的に一意に特徴づける。

弦理論は「このラグランジアンだ」ではなく、「この性質を満たす唯一の構造だ」になるべきだ。

そしてもしそれが可能なら、弦理論は物理学ではなく数学の定理になる。

宇宙が定理であるというのは不快だが、非常にエレガントだ。

エレガントさは、しばしば真理の匂いがする。

ただし、エレガントな嘘も存在する。

数学者の人生そのものだ。

昼前、ルームメイトがキッチンに現れて、僕のノートを見て言った。

「それって、結局何の役に立つの？」

僕は3秒考えた。

人間に理解可能な言葉に変換するのに、3秒必要だった。

「役に立つかどうかで真理を測るのは、知性の敗北だ」

ルームメイトは「また始まった」という顔をした。

彼の表情は、物理学的には熱的死に近い。

隣人がその場に来て、僕のノートを覗き込み、「ねえ、それって、宇宙がゲームのコードってこと？」と聞いた。

驚くべきことに、これはそこそこ正しい。

僕は言った。

「コードというより、型システムだ。宇宙は型安全で、コンパイルエラーを許さない」

隣人は「わぁ、なにそれ怖い」と言って笑った。

怖いのは君の直観の鋭さだ。

午後は趣味の時間。

MTGのデッキを回した。

僕は、カードゲームにおける勝利条件が「期待値の最大化」であることを理解している。だが多くのプレイヤーは、カードを引いた瞬間の快楽に支配される。つまり、彼らは確率論ではなくドーパミンでプレイしている。

僕は違う。

僕はデッキ構築を、統計力学の分配関数の設計として扱う。

初手の分布、マリガン戦略、マナカーブ、そして相手の除去の確率。

全ては確率変数であり、勝率とは積分である。

ルームメイトが「それ楽しいの？」と聞いたので、

僕は「楽しいかどうかは二次的だ。支配が一次だ」と答えた。

彼は黙った。

正しい反応だ。

その後、FF14にログインした。

レイドは相変わらず「人間の反射神経と協調性の限界」を測る実験場だ。

僕はギミック処理を、ほぼ圏論の図式追跡として理解している。

安全地帯は対象、移動は射、失敗は射の合成の不整合。

友人Aが「なんでそんな言い方しかできないの？」と言った。

僕は「僕は宇宙をそのまま見ているだけだ」と答えた。

友人Bは「それ厨二病じゃない？」と言った。

僕は言った。

「厨二病とは、根拠のない誇大妄想のことだ。僕には根拠がある。だから違う」

友人Bは「最悪だ」と言った。

誉め言葉だ。

夕方はアメコミを読んだ。

僕は、超人的存在が倫理を語る物語が好きだ。

なぜなら、超人的存在が倫理を語る時点で、その倫理は破綻するからだ。

全能に近い存在が「正義」を選ぶのは、選択ではない。

ただの趣味だ。

正義が趣味になった瞬間、倫理は哲学ではなく美学になる。

そして美学は、いつも暴力に接続する。

それでも僕は読む。

人類の妄想が、どこまで論理に耐えるかを見るのは面白い。

夜。

今日までの進捗はここまで。

そして、これからやろうとしていること。

今夜は、僕の仮説をもう一段階押し進める。

つまり「時空の創発」を、単なるエンタングルメントの量的増大ではなく、エンタングルメント構造の位相的相転移として記述できないか考える。

量が増えるだけでは空間は生まれない。

必要なのは「連結性の再編成」だ。

もしエンタングルメントがグラフだとすれば、空間とはそのグラフのスペクトル構造に対応する。

そして位相相転移が起きれば、スペクトルが変わり、幾何が変わる。

つまり宇宙膨張は、グラフのリワイヤリングに過ぎない。

この視点なら、初期宇宙のインフレーションも「幾何の急激な生成」として理解できる可能性がある。

インフレーション場などいらない。

必要なのは、情報の接続性が変わるメカニズムだ。

問題は、そのメカニズムを「弦理論の言語」で書くと地獄になることだ。

ワールドシートのCFT、モジュライ空間、非摂動効果、Dインスタントン。

それら全てが絡んでくる。

絡みすぎて、もはや紐ではなく毛玉だ。

隣人がさっき「ピザ頼むけど食べる？」と聞いてきた。

僕は「今は宇宙の生成を考えている」と言った。

隣人は「宇宙よりピザの方が生成早いよ」と言った。

その通りだ。

人類文明の最高到達点は、宇宙論ではなく宅配システムなのかもしれない。

ルームメイトは「じゃあ僕の分も頼んでいい？」と言った。

彼は相変わらず、宇宙の構造よりカロリーを優先する。

友人AからはFF14のメッセージが来た。

「明日、固定の練習できる？」

僕は返信した。

「明日は宇宙の位相相転移を解く予定だ。だが君たちの全滅回数も宇宙の熱的ゆらぎとして扱えるなら参加する」

友人Bは「それ言い訳だろ」と返してきた。

違う。

僕は真理に忠実なだけだ。

さて、これから僕はノートを開く。

今日の最後のタスクは、たぶんこういう形になる。

「時空は多様体ではなく、ある∞-圏の中の情報流の安定構造である」

これを証明する必要はない。

証明できるなら、僕はもう人間ではない。

しかし、少なくとも矛盾なく定式化することはできるかもしれない。

宇宙が一貫性を持って存在している以上、どこかにその形式がある。

問題は、僕たちがそれを読む言語を持っていないことだ。

人類はいつもそうだ。

現実が先にあって、言語が後から追いかける。

僕は追いかける側ではなく、先回りする側でありたい。

ピザが届く前に。

Movatterモバイル変換

「毛玉」を含む日記

■[日記]

■「清潔感」と「清潔」は全くの別物だという話

「清潔感」はただの「見た目」

「清潔」は「中身」

結局、外見の話なんだわ

■髪がめちゃくちゃ絡まるし抜ける

■毛玉取りのすゝめ

■洗濯物について知恵求む

■西松屋の子供服（特にロンパース）がボロすぎる。

DLsSite

とてもしんせつな追記

■無印のバスタオルが論外な件

■うちの猫は幸せなのだろうか

■ちょうどいいブラがない