  |
はてなキーワード: 公理とは
今年のGW、お前らがBBQだの旅行だの浮かれてる間、俺は一人で岩波文庫の『不完全性定理』と取っ組み合いをしていた。
正直、今までは「算術を含む公理系には、証明も反証もできない命題が存在する」っていう、ふわっとした知識しかなかった。
でも、それじゃ納得できなかったんだ。
「なんで数学っていう完璧な世界に、そんな穴があるんだ？」って。
で、連休5日間、モンスターエナジーをキメながら不完全性定理の核心、いわゆる「ゲーデル数化」と「対角線論法」を徹底的にシミュレーションした。
そしたら昨日、ついに「見えた」んだよ。論理の歯車がカチッと噛み合う音がした。
G(s) = 2^n1 * 3^n2 * 5^n3 * ...
こうすることで、数学について語る「メタ数学」を、数学そのものの中に閉じ込めた。
この発想がまず天才すぎる。
そして、俺が一番興奮したのがここだ。
∀x ￢Prf(x, ┌G┐) ⇔ G
これは、公理系の中で「証明不可能」であることを主張している。
もし証明可能なら偽のことを言っているから矛盾する。逆に証明可能なら、それは「 証明可能である」という嘘を証明したことになり、公理系が壊れる（ 無矛盾性の崩壊）。
さらに、この証明可能性を「算術化」した述語を使って、第二不完全性定理を導くプロセスも鳥肌モノだった。
Consis(T) → ￢Bew(┌0=1┐)
この一連の流れを追った瞬間、俺の脳内にパッヘルベルのカノンが流れたね。
数学は、自分自身が正しいことを、自分自身の力だけでは証明できない。
……え？ 「お前、GWになにやってんの？」って？いいか、俺たちの背後にはこの「不完全性」が横たわってるんだ。
ゲーデルはそれを教えてくれた。
1+1=2なのを裏付けるのは公理であって感想じゃないしデータもない。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260505131921# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaflvywAKCRBwMdsubs4+ SCLRAP9bGC3J4ywDOY1FKGjSDmbk3IlffN29aMOa3p5BFFo66gD/dHqvJsLpq7Te gvd8k3zDbDAw3EXwcTzv/nUnh8EL+w0= =v+AF -----END PGP SIGNATURE-----
「あ、鳴つた。」
と言つて、父はペンを置いて立ち上る。警報くらゐでは立ち上らぬのだが、高射砲が鳴り出すと、仕事をやめて、五歳の女の子に防空頭巾をかぶせ、これを抱きかかへて防空壕にはひる。既に、母は二歳の男の子を背負つて壕の奥にうずくまつてゐる。
「近いやうだね。」
「ええ。どうも、この壕は窮屈で。」
「さうかね。」と父は不満さうに、「しかし、これくらゐで、ちやうどいいのだよ。あまり深いと生埋めの危険がある。」
「でも、もすこし広くしてもいいでせう。」
「うむ、まあ、さうだが、いまは土が凍つて固くなつてゐるから掘るのが困難だ。そのうちに、」などあいまいな事を言つて、母をだまらせ、ラジオの防空情報に耳を澄ます。
母の苦情が一段落すると、こんどは、五歳の女の子が、もう壕から出ませう、と主張しはじめる。これをなだめる唯一の手段は絵本だ。桃太郎、カチカチ山、舌切雀、瘤取り、浦島さんなど、父は子供に読んで聞かせる。
この父は服装もまづしく、容貌も愚なるに似てゐるが、しかし、元来ただものでないのである。物語を創作するといふまことに奇異なる術を体得してゐる男なのだ。
ムカシ ムカシノオ話ヨ
などと、間まの抜けたやうな妙な声で絵本を読んでやりながらも、その胸中には、またおのづから別個の物語が※(「酉＋榲のつくり」、第3水準1-92-88)醸せられてゐるのである。
［＃改頁］
瘤取り
ムカシ ムカシノオ話ヨ
ミギノ ホホニ ジヤマツケナ
このお爺さんは、四国の阿波、剣山のふもとに住んでゐたのである。（といふやうな気がするだけの事で、別に典拠があるわけではない。もともと、この瘤取りの話は、宇治拾遺物語から発してゐるものらしいが、防空壕の中で、あれこれ原典を詮議する事は不可能である。この瘤取りの話に限らず、次に展開して見ようと思ふ浦島さんの話でも、まづ日本書紀にその事実がちやんと記載せられてゐるし、また万葉にも浦島を詠じた長歌があり、そのほか、丹後風土記やら本朝神仙伝などといふものに依つても、それらしいものが伝へられてゐるやうだし、また、つい最近に於いては鴎外の戯曲があるし、逍遥などもこの物語を舞曲にした事は無かつたかしら、とにかく、能楽、歌舞伎、芸者の手踊りに到るまで、この浦島さんの登場はおびただしい。私には、読んだ本をすぐ人にやつたり、また売り払つたりする癖があるので、蔵書といふやうなものは昔から持つた事が無い。それで、こんな時に、おぼろげな記憶をたよつて、むかし読んだ筈の本を捜しに歩かなければならぬはめに立ち到るのであるが、いまは、それもむづかしいだらう。私は、いま、壕の中にしやがんでゐるのである。さうして、私の膝の上には、一冊の絵本がひろげられてゐるだけなのである。私はいまは、物語の考証はあきらめて、ただ自分ひとりの空想を繰りひろげるにとどめなければならぬだらう。いや、かへつてそのはうが、活き活きして面白いお話が出来上るかも知れぬ。などと、負け惜しみに似たやうな自問自答をして、さて、その父なる奇妙の人物は、
ムカシ ムカシノオ話ヨ
と壕の片隅に於いて、絵本を読みながら、その絵本の物語と全く別個の新しい物語を胸中に描き出す。）
このお爺さんは、お酒を、とても好きなのである。酒飲みといふものは、その家庭に於いて、たいてい孤独なものである。孤独だから酒を飲むのか、酒を飲むから家の者たちにきらはれて自然に孤独の形になるのか、それはおそらく、両の掌をぽんと撃ち合せていづれの掌が鳴つたかを決定しようとするやうな、キザな穿鑿に終るだけの事であらう。とにかく、このお爺さんは、家庭に在つては、つねに浮かぬ顔をしてゐるのである。と言つても、このお爺さんの家庭は、別に悪い家庭では無いのである。お婆さんは健在である。もはや七十歳ちかいけれども、このお婆さんは、腰もまがらず、眼許も涼しい。昔は、なかなかの美人であつたさうである。若い時から無口であつて、ただ、まじめに家事にいそしんでゐる。
「もう、春だねえ。桜が咲いた。」とお爺さんがはしやいでも、
「さうですか。」と興の無いやうな返辞をして、「ちよつと、どいて下さい。ここを、お掃除しますから。」と言ふ。
お爺さんは浮かぬ顔になる。
また、このお爺さんには息子がひとりあつて、もうすでに四十ちかくになつてゐるが、これがまた世に珍しいくらゐの品行方正、酒も飲まず煙草も吸はず、どころか、笑はず怒らず、よろこばず、ただ黙々と野良仕事、近所近辺の人々もこれを畏敬せざるはなく、阿波聖人の名が高く、妻をめとらず鬚を剃らず、ほとんど木石ではないかと疑はれるくらゐ、結局、このお爺さんの家庭は、実に立派な家庭、と言はざるを得ない種類のものであつた。
けれども、お爺さんは、何だか浮かぬ気持である。さうして、家族の者たちに遠慮しながらも、どうしてもお酒を飲まざるを得ないやうな気持になるのである。しかし、うちで飲んでは、いつそう浮かぬ気持になるばかりであつた。お婆さんも、また息子の阿波聖人も、お爺さんがお酒を飲んだつて、別にそれを叱りはしない。お爺さんが、ちびちび晩酌をやつてゐる傍で、黙つてごはんを食べてゐる。
「時に、なんだね、」とお爺さんは少し酔つて来ると話相手が欲しくなり、つまらぬ事を言ひ出す。「いよいよ、春になつたね。燕も来た。」
言はなくたつていい事である。
お婆さんも息子も、黙つてゐる。
「春宵一刻、価千金、か。」と、また、言はなくてもいい事を呟いてみる。
「ごちそうさまでござりました。」と阿波聖人は、ごはんをすまして、お膳に向ひうやうやしく一礼して立つ。
「そろそろ、私もごはんにしよう。」とお爺さんは、悲しげに盃を伏せる。
アルヒ アサカラ ヨイテンキ
このお爺さんの楽しみは、お天気のよい日、腰に一瓢をさげて、剣山にのぼり、たきぎを拾ひ集める事である。いい加減、たきぎ拾ひに疲れると、岩上に大あぐらをかき、えへん！ と偉さうに咳ばらひを一つして、
「よい眺めぢやなう。」
と言ひ、それから、おもむろに腰の瓢のお酒を飲む。実に、楽しさうな顔をしてゐる。うちにゐる時とは別人の観がある。ただ変らないのは、右の頬の大きい瘤くらゐのものである。この瘤は、いまから二十年ほど前、お爺さんが五十の坂を越した年の秋、右の頬がへんに暖くなつて、むずかゆく、そのうちに頬が少しづつふくらみ、撫でさすつてゐると、いよいよ大きくなつて、お爺さんは淋しさうに笑ひ、
「こりや、いい孫が出来た。」と言つたが、息子の聖人は頗るまじめに、
「頬から子供が生れる事はござりません。」と興覚めた事を言ひ、また、お婆さんも、
「いのちにかかはるものではないでせうね。」と、にこりともせず一言、尋ねただけで、それ以上、その瘤に対して何の関心も示してくれない。かへつて、近所の人が、同情して、どういふわけでそんな瘤が出来たのでせうね、痛みませんか、さぞやジヤマツケでせうね、などとお見舞ひの言葉を述べる。しかし、お爺さんは、笑つてかぶりを振る。ジヤマツケどころか、お爺さんは、いまは、この瘤を本当に、自分の可愛い孫のやうに思ひ、自分の孤独を慰めてくれる唯一の相手として、朝起きて顔を洗ふ時にも、特別にていねいにこの瘤に清水をかけて洗ひ清めてゐるのである。けふのやうに、山でひとりで、お酒を飲んで御機嫌の時には、この瘤は殊にも、お爺さんに無くてかなはぬ恰好の話相手である。お爺さんは岩の上に大あぐらをかき、瓢のお酒を飲みながら、頬の瘤を撫で、
「なあに、こはい事なんか無いさ。遠慮には及びませぬて。人間すべからく酔ふべしぢや。まじめにも、程度がありますよ。阿波聖人とは恐れいる。お見それ申しましたよ。偉いんだつてねえ。」など、誰やらの悪口を瘤に囁き、さうして、えへん！ と高く咳ばらひをするのである。
カゼガ ゴウゴウ フイテキテ
春の夕立ちは、珍しい。しかし、剣山ほどの高い山に於いては、このやうな天候の異変も、しばしばあると思はなければなるまい。山は雨のために白く煙り、雉、山鳥があちこちから、ぱつぱつと飛び立つて矢のやうに早く、雨を避けようとして林の中に逃げ込む。お爺さんは、あわてず、にこにこして、
「この瘤が、雨に打たれてヒンヤリするのも悪くないわい。」
と言ひ、なほもしばらく岩の上にあぐらをかいたまま、雨の景色を眺めてゐたが、雨はいよいよ強くなり、いつかうに止みさうにも見えないので、
「こりや、どうも、ヒンヤリしすぎて寒くなつた。」と言つて立ち上り、大きいくしやみを一つして、それから拾ひ集めた柴を背負ひ、こそこそと林の中に這入つて行く。林の中は、雨宿りの鳥獣で大混雑である。
「はい、ごめんよ。ちよつと、ごめんよ。」
とお爺さんは、猿や兎や山鳩に、いちいち上機嫌で挨拶して林の奥に進み、山桜の大木の根もとが広い虚うろになつてゐるのに潜り込んで、
「やあ、これはいい座敷だ。どうです、みなさんも、」と兎たちに呼びかけ、「この座敷には偉いお婆さんも聖人もゐませんから、どうか、遠慮なく、どうぞ。」などと、ひどくはしやいで、そのうちに、すうすう小さい鼾をかいて寝てしまつた。酒飲みといふものは酔つてつまらぬ事も言ふけれど、しかし、たいていは、このやうに罪の無いものである。
ユフダチ ヤムノヲ マツウチニ
この月は、春の下弦の月である。浅みどり、とでもいふのか、水のやうな空に、その月が浮び、林の中にも月影が、松葉のやうに一ぱいこぼれ落ちてゐる。しかし、お爺さんは、まだすやすや眠つてゐる。蝙蝠が、はたはたと木の虚うろから飛んで出た。お爺さんは、ふと眼をさまし、もう夜になつてゐるので驚き、
「これは、いけない。」
と言ひ、すぐ眼の前に浮ぶのは、あのまじめなお婆さんの顔と、おごそかな聖人の顔で、ああ、これは、とんだ事になつた、あの人たちは未だ私を叱つた事は無いけれども、しかし、どうも、こんなにおそく帰つたのでは、どうも気まづい事になりさうだ、えい、お酒はもう無いか、と瓢を振れば、底に幽かにピチヤピチヤといふ音がする。
「あるわい。」と、にはかに勢ひづいて、一滴のこさず飲みほして、ほろりと酔ひ、「や、月が出てゐる。春宵一刻、――」などと、つまらぬ事を呟きながら木の虚うろから這ひ出ると、
ミレバ フシギダ ユメデシヨカ
といふ事になるのである。
見よ。林の奥の草原に、この世のものとも思へぬ不可思議の光景が展開されてゐるのである。鬼、といふものは、どんなものだか、私は知らない。見た事が無いからである。幼少の頃から、その絵姿には、うんざりするくらゐたくさんお目にかかつて来たが、その実物に面接するの光栄には未だ浴してゐないのである。鬼にも、いろいろの種類があるらしい。××××鬼、××××鬼、などと憎むべきものを鬼と呼ぶところから見ても、これはとにかく醜悪の性格を有する生き物らしいと思つてゐると、また一方に於いては、文壇の鬼才何某先生の傑作、などといふ文句が新聞の新刊書案内欄に出てゐたりするので、まごついてしまふ。まさか、その何某先生が鬼のやうな醜悪の才能を持つてゐるといふ事実を暴露し、以て世人に警告を発するつもりで、その案内欄に鬼才などといふ怪しむべき奇妙な言葉を使用したのでもあるまい。甚だしきに到つては、文学の鬼、などといふ、ぶしつけな、ひどい言葉を何某先生に捧げたりしてゐて、これではいくら何でも、その何某先生も御立腹なさるだらうと思ふと、また、さうでもないらしく、その何某先生は、そんな失礼千万の醜悪な綽名をつけられても、まんざらでないらしく、御自身ひそかにその奇怪の称号を許容してゐるらしいといふ噂などを聞いて、迂愚の私は、いよいよ戸惑ふばかりである。あの、虎の皮のふんどしをした赤つらの、さうしてぶざいくな鉄の棒みたいなものを持つた鬼が、もろもろの芸術の神であるとは、どうしても私には考へられないのである。鬼才だの、文学の鬼だのといふ難解な言葉は、あまり使用しないはうがいいのではあるまいか、とかねてから愚案してゐた次第であるが、しかし、それは私の見聞の狭い故であつて、鬼にも、いろいろの種類があるのかも知れない。このへんで、日本百科辞典でも、ちよつと覗いてみると、私もたちまち老幼婦女子の尊敬の的たる博学の士に一変して、（世の物識りといふものは、たいていそんなものである）しさいらしい顔をして、鬼に就いて縷々千万言を開陳できるのでもあらうが、生憎と私は壕の中にしやがんで、さうして膝の上には、子供の絵本が一冊ひろげられてあるきりなのである。私は、ただこの絵本の絵に依つて、論断せざるを得ないのである。
見よ。林の奥の、やや広い草原に、異形の物が十数人、と言ふのか、十数匹と言ふのか、とにかく、まぎれもない虎の皮のふんどしをした、あの、赤い巨大の生き物が、円陣を作つて坐り、月下の宴のさいちゆうである。
お爺さん、はじめは、ぎよつとしたが、しかし、お酒飲みといふものは、お酒を飲んでゐない時には意気地が無くてからきし駄目でも、酔つてゐる時には、かへつて衆にすぐれて度胸のいいところなど、見せてくれるものである。お爺さんは、いまは、ほろ酔ひである。かの厳粛なるお婆さんをも、また品行方正の聖人をも、なに恐れんやといふやうなかなりの勇者になつてゐるのである。眼前の異様の風景に接して、腰を抜かすなどといふ醜態を示す事は無かつた。虚うろから出た四つ這ひの形のままで、前方の怪しい酒宴のさまを熟視し、
「気持よささうに、酔つてゐる。」とつぶやき、さうして何だか、胸の奥底から、妙なよろこばしさが湧いて出て来た。お酒飲みといふものは、よそのものたちが酔つてゐるのを見ても、一種のよろこばしさを覚えるものらしい。所謂利己主義者ではないのであらう。つまり、隣家の仕合せに対して乾盃を挙げるといふやうな博愛心に似たものを持つてゐるのかも知れない。自分も酔ひたいが、隣人もまた、共に楽しく酔つてくれたら、そのよろこびは倍加するもののやうである。お爺さんだつて、知つてゐる。眼前の、その、人とも動物ともつかぬ赤い巨大の生き物が、鬼といふおそろしい種族のものであるといふ事は、直覚してゐる。虎の皮のふんどし一つに依つても、それは間違ひの無い事だ。しかし、その鬼どもは、いま機嫌よく酔つてゐる。お爺さんも酔つてゐる。これは、どうしても、親和の感の起らざるを得ないところだ。お爺さんは、四つ這ひの形のままで、なほもよく月下の異様の酒宴を眺める。鬼、と言つても、この眼前の鬼どもは、××××鬼、××××鬼などの如く、佞悪の性質を有してゐる種族のものでは無く、顔こそ赤くおそろしげではあるが、ひどく陽気で無邪気な鬼のやうだ、とお爺さんは見てとつた。お爺さんのこの判定は、だいたいに於いて的中してゐた。つまり、この鬼どもは、剣山の隠者とでも称すべき頗る温和な性格の鬼なのである。地獄の鬼などとは、まるつきり種族が違つてゐるのである。だいいち、鉄棒などといふ物騒なものを持つてゐない。これすなはち、害心を有してゐない証拠と言つてよい。しかし、隠者とは言つても、かの竹林の賢者たちのやうに、ありあまる知識をもてあまして、竹林に逃げ込んだといふやうなものでは無くて、この剣山の隠者の心は甚だ愚である。仙といふ字は山の人と書かれてゐるから、何でもかまはぬ、山の奥に住んでゐる人を仙人と称してよろしいといふ、ひどく簡明の学説を聞いた事があるけれども、かりにその学説に従ふなら、この剣山の隠者たちも、その心いかに愚なりと雖も、仙の尊称を奏呈して然るべきものかも知れない。とにかく、いま月下の宴に打興じてゐるこの一群の赤く巨大の生き物は、鬼と呼ぶよりは、隠者または仙人と呼称するはうが妥当のやうなしろものなのである。その心の愚なる事は既に言つたが、その酒宴の有様を見るに、ただ意味も無く奇声を発し、膝をたたいて大笑ひ、または立ち上つて矢鱈にはねまはり、または巨大のからだを丸くして円陣の端から端まで、ごろごろところがつて行き、それが踊りのつもりらしいのだから、その智能の程度は察するにあまりあり、芸の無い事おびただしい。この一事を以てしても、鬼才とか、文学の鬼とかいふ言葉は、まるで無意味なものだといふことを証明できるやうに思はれる。こんな愚かな芸無しどもが、もろもろの芸術の神であるとは、どうしても私には考へられないのである。お爺さんも、この低能の踊りには呆れた。ひとりでくすくす笑ひ、
「なんてまあ、下手な踊りだ。ひとつ、私の手踊りでも見せてあげませうかい。」とつぶやく。
スグニ トビダシ ヲドツタラ
コブガ フラフラ ユレルノデ
お爺さんには、ほろ酔ひの勇気がある。なほその上、鬼どもに対し、親和の情を抱いてゐるのであるから、何の恐れるところもなく、円陣のまんなかに飛び込んで、お爺さんご自慢の阿波踊りを踊つて、
赤い襷に迷ふも無理やない
嫁も笠きて行かぬか来い来い
とかいふ阿波の俗謡をいい声で歌ふ。鬼ども、喜んだのなんの、キヤツキヤツケタケタと奇妙な声を発し、よだれやら涙やらを流して笑ひころげる。お爺さんは調子に乗つて、
大谷通れば石ばかり
笹山通れば笹ばかり
とさらに一段と声をはり上げて歌ひつづけ、いよいよ軽妙に踊り抜く。
ツキヨニヤ カナラズ ヤツテキテ
ヲドリ ヲドツテ ミセトクレ
ソノ ヤクソクノ オシルシニ
と言ひ出し、鬼たち互ひにひそひそ小声で相談し合ひ、どうもあの頬ぺたの瘤はてかてか光つて、なみなみならぬ宝物のやうに見えるではないか、あれをあづかつて置いたら、きつとまたやつて来るに違ひない、と愚昧なる推量をして、矢庭に瘤をむしり取る。無智ではあるが、やはり永く山奥に住んでゐるおかげで、何か仙術みたいなものを覚え込んでゐたのかも知れない。何の造作も無く綺麗に瘤をむしり取つた。
お爺さんは驚き、
「や、それは困ります。私の孫ですよ。」と言へば、鬼たち、得意さうにわつと歓声を挙げる。
コブヲ トラレタ オヂイサン
ツマラナサウニ ホホヲ ナデ
オヤマヲ オリテ ユキマシタ
瘤は孤独のお爺さんにとつて、唯一の話相手だつたのだから、その瘤を取られて、お爺さんは少し淋しい。しかしまた、軽くなつた頬が朝風に撫でられるのも、悪い気持のものではない。結局まあ、損も得も無く、一長一短といふやうなところか、久しぶりで思ふぞんぶん歌つたり踊つたりしただけが得とく、といふ事になるかな？ など、のんきな事を考へながら山を降りて来たら、途中で、野良へ出かける息子の聖人とばつたり出逢ふ。
「おはやうござります。」と聖人は、頬被りをとつて荘重に朝の挨拶をする。
「いやあ。」とお爺さんは、ただまごついてゐる。それだけで左右に別れる。お爺さんの瘤が一夜のうちに消失してゐるのを見てとつて、さすがの聖人も、内心すこしく驚いたのであるが、しかし、父母の容貌に就いてとやかくの批評がましい事を言ふのは、聖人の道にそむくと思ひ、気附かぬ振りして黙つて別れたのである。
家に帰るとお婆さんは、
「お帰りなさいまし。」と落ちついて言ひ、昨夜はどうしましたとか何とかいふ事はいつさい問はず、「おみおつけが冷たくなりまして、」と低くつぶやいて、お爺さんの朝食の支度をする。
「いや、冷たくてもいいさ。あたためるには及びませんよ。」とお爺さんは、やたらに遠慮して小さくかしこまり、朝食のお膳につく。お婆さんにお給仕されてごはんを食べながら、お爺さんは、昨夜の不思議な出来事を知らせてやりたくて仕様が無い。しかし、お婆さんの儼然たる態度に圧倒されて、言葉が喉のあたりにひつからまつて何も言へない。うつむいて、わびしくごはんを食べてゐる。
「瘤が、しなびたやうですね。」お婆さんは、ぽつんと言つた。
「うむ。」もう何も言ひたくなかつた。
「破れて、水が出たのでせう。」とお婆さんは事も無げに言つて、澄ましてゐる。
「うむ。」
「また、水がたまつて腫れるんでせうね。」
「さうだらう。」
結局、このお爺さんの一家に於いて、瘤の事などは何の問題にもならなかつたわけである。ところが、このお爺さんの近所に、もうひとり、左の頬にジヤマツケな瘤を持つてるお爺さんがゐたのである。さうして、このお爺さんこそ、その左の頬の瘤を、本当に、ジヤマツケなものとして憎み、とかくこの瘤が私の出世のさまたげ、この瘤のため、私はどんなに人からあなどられ嘲笑せられて来た事か、と日に幾度か鏡を覗いて溜息を吐き、頬髯を長く伸ばしてその瘤を髯の中に埋没させて見えなくしてしまはうとたくらんだが、悲しい哉、瘤の頂きが白髯の四海波の間から初日出のやうにあざやかにあらはれ、かへつて天下の奇観を呈するやうになつたのである。もともとこのお爺さんの人品骨柄は、いやしく無い。体躯は堂々、鼻も大きく眼光も鋭い。言語動作は重々しく、思慮分別も十分の如くに見える。服装だつて、どうしてなかなか立派で、それに何やら学問もあるさうで、また、財産も、あのお酒飲みのお爺さんなどとは較べものにならぬくらゐどつさりあるとかいふ話で、近所の人たちも皆このお爺さんに一目いちもく置いて、「旦那」あるいは「先生」などといふ尊称を奉り、何もかも結構、立派なお方ではあつたが、どうもその左の頬のジヤマツケな瘤のために、旦那は日夜、鬱々として楽しまない。このお爺さんのおかみさんは、ひどく若い。三十六歳である。そんなに Permalink | 記事への反応(0) | 18:24
河野玄斗が教育に関する雑誌で記事を出していて、そこには小学生の頃0.333…に3をかけた0.999…は1に等しいと父に教わったことに関して小学生ながらに数学の不思議さを感じたみたいに書いてあった。
しかしこの言い方だと1であるという事実そのものが不思議なことである、ということが事実であるという認識に立った人の言い方になっている。
極限と数列を学ぶだけで無限小数という記号が表しているのはその記号に対応する数列の収束先を表していて、それとイコールで結んだ場合結ばれた先が指し示すのはその収束先の値だと自明のようにわかることなわけだから、不思議なことどころかただの必然でしかないはず。
つまり数学そのものが持つ不思議さではなく、初等教育での教え方と公理的な数学とのギャップによって感じられる不思議さでしかない。
それを表現するなら普通「数学の不思議さを感じた」ではなく「数学に不思議さを感じた」とすべきなわけだ。
の、ではなく、に、とすることで、絶対的な事実ではなくて当時の自分にとっての感覚であると解釈できる余地を残せる。
実際河野は数学ミームの紹介動画でクイズのノリで写像の図式が出されたときにそれが順同型定理だと知っていたわけで、もし少なくともこの部分にヤラセがないのなら、最低数学科２年レベルの数学の知識があることになり(さすがに図式そのものをパターン認識のように丸暗記しているほど残念な人だとは思えない。)それなら上記のことについても当然のことであるという認知のはずなので、純粋にらしからぬ不適切な言い方をしてしまっただけということになる。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260422160304# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaehyogAKCRBwMdsubs4+ SAWGAQD5E8d8K8X2LtYZFPpvR5baoB/ErLwOcuGSOdGZ5YWeGwD/bJPjnAUcVcjq iu/Nx3yMKvTOKtSU7qxCUralJe5yDQU= =SPx0 -----END PGP SIGNATURE-----
今日も僕は、存在の根源的織りなす無限の圏論的深淵を、さらに一層、否、無限階層的に穿ち進めた。
控えめに言って、この惑星上で僕ほど本質的な知的貢献をなしている存在は、恐らく他にない。
午前中は、昨日確立した量子化された情報欠損射 Δ_q と braided monoidal 構造を基盤として、4+1次元量子トイモデルの完全抽象化に没入した。
具体的には、de Sitter 空間を、厳密に braided かつ ribbon 構造を備えた高次圏論的対象として再定義し、各 causal diamond を、量子群 𝒰_q(su(2,1)) の作用を自然変換として内在化した、∞-category 内部の fully dualizable オブジェクトとして位置づけた。
ここで決定的だったのは、面積スペクトルを完全に圏論的に吸収する新たな構成である。
境界面積を、対象の dualizable 性から導かれる Frobenius-Perron 次元として捉え直し、Hilbert 空間の「次元」を、圏の decategorification における q-deformed 指標として厳密に表現した。
この操作により、連続時空という低次元幻想は、単なる decategorified 残滓に過ぎないことが、純粋に universal property のみから浮かび上がった。
さらに、昨日得られた三階 jerk 不等式を、この抽象トイモデル内で高次圏論的に再定式化し、以下の形に昇華させた。
d³S(Φ_t ∘ Δ_q(D)) / dt³ + κ ⋅ Tr(σ_{D,D′} ⋅ H_mod) ≥ 0
を、2-圏レベルでの higher homotopy coherent diagram における monoidal natural transformation の可換性条件として再解釈した。
この再解釈により、不等式はもはや単なる微分不等式ではなく、braided 構造の rigidity から必然的に生じる、higher categorical coherence における普遍的制約条件となった。
ウィッテンやマルダセナが到達し得る領域を、遥かに超越した抽象度の数学的深淵を、僕はこの午前だけで切り開いたと言って過言ではない。
加えて、量子情報希薄化2-射 Λ⁽²⁾ を、3-圏レベルでの tricategorical coherence まで拡張し、隣接ダイヤモンド間の境界面積重なり領域におけるエントロピー過剰を、higher associator と pentagonator の高次補正として完全に吸収する枠組みを構築した。
この結果、Bekenstein-Hawking エントロピーの量子補正項 α、β、γ は、もはや数値的近似ではなく、圏の Drinfeld center における braided 指標の厳密な閉形式として導出されるに至った。
de Sitter 空間の本質が、有限情報ビットからなる動的 braided ∞-category ネットワークであるという主張は、ここにほぼ公理的地位を獲得した。
午後は、この極めて抽象度の高い構成を、特殊青ノートに極めて精密に書き写しながら、いつもの昼食を摂った。
ルームメイトは僕の沈黙とノートへの没入を見て、珍しく「今日はなんか…いつもより宇宙が遠い感じだな」と呟いた。
「遠いのではない。君の認知が、まだこの高次圏論の影すら捉えきれていないだけだ。」
その後、隣人がノックではなく、突然の無音インターホン長押しという、予測不能なプロトコル破壊を試みた。
「その行為は、単なるノイズではなく、圏論的 coherence を乱す高次擾乱である。次に同様のことをすれば、応答関数自体をゼロに設定する。」
彼女は戸惑った声で「え、何言ってるの…？」と返したが、美しさと高次論理推論能力が反比例するという僕の長年の観察は、再び鮮やかに裏付けられた。
夕方、友人Aは僕の抽象トイモデルについて「その higher categorical な再定式化って、多次元泡宇宙の衝突を、完全に background independent に扱えそうじゃないか？」と、鋭い工学的洞察を投げかけてきた。
僕は静かに頷き、「拡張の可能性は、確かに興味深い universal property を示唆している」とだけ認めてやった。
友人Bは「全部が braided 圏なら、時間や因果性すら、ただの decategorified 影に過ぎないよな」と言い切ったが、それは依然として素朴還元主義の典型的な誤謬である。
ただし、「不要な余剰構造を極力排除する」という姿勢だけは、部分的に共鳴する点があると、渋々ながら認めてやることにした。
この4+1次元量子トイモデルを、さらに 5-カテゴリックな枠組みへと自然に昇格させるための、higher coherence data の完全整備を完了させる。
それにより、de Sitter における幾何構造が、量子情報の purely higher categorical 帰結に過ぎないという主張は、完全に公理的かつ不可逆的な地位に到達するはずだ。
その先には、時空という幻想を、∞-category の decategorification として完全に剥ぎ取る最終段階が待っている。
以上。
今日も僕は、宇宙の根源的真理を解き明かすという、誰にも真似できない崇高な知的冒険を、さらに一歩、否、十歩前進させた。
控えめに言って、この惑星上で僕ほど本質的な貢献をしている人間は存在しない。
午前中は、昨日完成させた1-パラメータ自己同型群 Φₜ と情報欠損射 Δ を土台として、圏論的枠組みの完全量子化に着手した。
具体的には、小圏 𝒞 を braided monoidal category に昇格させ、各 causal diamond の対象に量子群 𝒰_q(su(2,1)) の作用を自然に組み込んだ。
これにより、de Sitter 地平線の量子ゆらぎを、braiding operator σ_{D,D'} として厳密にエンコードすることに成功した。
ここで決定的だったのは、braided 構造と昨日定義したエントロピー関手 S の可換性を証明した点である。
新しい量子化された情報欠損射 Δ_q を導入し、その作用下でのモジュラー・ハミルトニアン H_mod を定義した結果、任意のダイヤモンド D に対して以下の高次微分不等式が、圏の rigidity と ribbon 構造から純粋に導出された。
d³S(Φₜ ∘ Δ_q(D)) / dt³ + κ ・ Tr(σ_{D,D'} ・ H_mod) ≥ 0
ここで κ は de Sitter 曲率パラメータであり、この三階微分は単なるエントロピー増加の加速ではなく、量子情報損失のjerk（加加速度）を規定する新たな普遍法則である。
古典的 Φₜ では到底到達し得なかったこの高階不等式は、ウィッテンやマルダセナが生涯かけても到達し得ない領域を、僕が一瞬で切り開いたことを意味する。
さらに、ダイヤモンドの貼り合わせを一般化するため、昨日 の Δ を基に高次 pushout 構成を定義した。
具体的には、射の合成に量子情報希薄化 2-射 Λ⁽²⁾を導入し、2-圏レベルでの coherence diagram を完全に閉じた。
これにより、隣接ダイヤモンドの境界面積が重なる領域で生じるエントロピー過剰を、面積法則の三次の補正項 β ≈ 0.00314（プランク面積単位）として自然に吸収できるようになった。
驚くべきことに、この Λ⁽²⁾ の Drinfeld double 解析から、Bekenstein-Hawking エントロピーの1/4係数に対する完全量子補正が、以下の厳密な閉形式として導出された。
S_BH = A/4 + α(A¹/²/4) + β(log A / 4) + γ + O(A⁻¹/²)
ここで α ≈ 0.0127、β ≈ 0.00314、γ はトポロジカル不変量であり、これらはすべて圏の universal property と量子群の representation theory から、外部双対や AdS/CFT に一切依存せずに純粋内部構造のみから出てきた。
これは de Sitter 空間におけるホログラフィック原理の、第三世代とも呼ぶべき完全量子版である。
加えて、今日の最大の成果は、圏の対象を量子化された面積スペクトル上に完全に再定義した点にある。
昨日残っていた離散化スケールのシフト問題を、𝒰_q(su(2,1)) の q-deformation パラメータ q = exp(2πi / (k+2))（ここで k は Chern-Simons レベル）を用いて吸収し、有限次元 Hilbert 空間の次元を境界面積から厳密に決定する公式を導出した。
これにより、連続時空仮定を完全に排除し、de Sitter 空間の本質が有限情報ビットから織りなされる動的 braided 圏論ネットワークであることを、数学的に証明したと言ってよい。
僕の暫定結論は、もはや暫定ではなく、ほぼ公理的レベルに達した。
滑らかな多様体構造などという古典的幻想は、低エネルギー有効理論の残滓に過ぎず、宇宙の真の基底は量子情報構造の braided monoidal 圏である。
午後はこの革新的な計算結果を、昨日よりさらに厳密に清書した特殊青ノートに書き写しながら昼食をとった。メニューはもちろん昨日と同じものだ。
ルームメイトは小さく舌打ちしたが、僕は即座に指摘した。
「再現性こそが科学の基盤であり、味覚という原始的な感覚器官の気まぐれに理論を左右されるほど、僕は未熟ではない。」
僕は「3回を3セット、計9回、かつ強さは一定」という厳格ルールを設定しているにもかかわらず、彼女は今回5回という不規則な回数で止めた上、強さを徐々に弱くしてきた。
これは明らかなプロトコル違反の戦略的エスカレーションである。僕はインターホン越しに単一チャネル原則を三度繰り返したが、彼女の認知構造では到底理解不能だったようだ。
夕方、友人Aは「その量子情報希薄化2-射って、多次元泡宇宙の衝突エントロピーにそのまま適用できるんじゃないか？」と工学的直感を述べた。
方向性としては悪くない。僕は「一応、拡張可能性をメモしておく」とだけ認めてやった。
友人Bは「全部情報なら重力もエントロピー勾配の単なる影だろ」と言い切ったが、それは相変わらず素朴還元主義の典型的な誤謬である。
ただし、「観測不可能な余剰構造を無制限に持ち込まない」という一点だけは、部分的に正しいと渋々認めてやる。
これからやることは明確だ。
まず明日の07:30までに、4+1次元量子トイモデル（完全 braided 圏で近似した de Sitter）において、この新構成の完全数値検証を完了させる。
三階微分不等式の厳密単調性、量子補正項 α・β・γ の高精度再現、ならびに面積スペクトルの厳密離散化が確認できなければ、すべてを白紙に戻す。
その後、2-圏の導来2-圏を用いて量子情報希薄化2-射 Λ⁽²⁾ の完全コホモロジー解析を進め、β係数の閉形式解析的導出を完成させる。
これが成功すれば、de Sitter における幾何は量子情報の二次的・三次的帰結に過ぎないという主張は、完全に公理的レベルに到達する。
以上。
午前中は、この前構築した圏論的枠組みに、時間発展を組み込む作業を本格化した。
具体的には、各causal diamondを対象とし、遷移写像を射とする小圏C上に、エントロピー関手S: C → ℝを定義した上で、因果構造を保存する1-パラメータ自己同型群Φ_t（フロー）を導入した。
ここで重要なのは、Φ_tの生成子がde Sitter地平線に起因する情報損失を自然にエンコードする点である。計算の結果、任意のダイヤモンドDに対して、
が、圏の単調性と射の非可逆性から厳密に導出された。
これは第二法則を熱力学的仮定ではなく、情報幾何と因果構造の整合性から必然的に現れる数学的帰結として位置づけるものである。
ウィッテンですら明確な答えを避けていた領域で、ここまで明瞭に再定式化できたことは、控えめに言って画期的だ。
さらに進めて、ダイヤモンド間の貼り合わせ問題を解決するため、射の合成に情報欠損射Δを導入した。これはHilbert空間の直和ではなく、面積法則に従う射影制限を伴う。
驚くべきことに、このΔのトレースを取る操作から、Bekenstein-Hawkingエントロピーの1/4係数が、圏の普遍的性質として自然に導出された。
AdS/CFTのような外部双対に依存せず、純粋に内部情報構造から面積-エントロピー関係が現れる。これはdS空間におけるホログラフィック原理の、完全に新しい定式化と言える。
ただし、まだ完全ではない。有限次元ヒルベルト空間の次元を、diamondの境界面積から厳密に決定する離散化スケールが未確定だ。
したがって、僕の暫定結論はより強固になった。de Sitter空間において、滑らかな多様体構造は低エネルギー有効理論の幻想に過ぎず、本質は有限情報構造の圏論的ネットワークである。
月曜日と同じメニューだ。ルームメイトは「またそれか」と呟いたが、変える合理的理由など存在しない。再現性こそが科学の基盤であり、味覚などという低次の感覚は実験条件に固定されるべきだ。
その後、隣人がまたノックの回数を間違えた。
僕は明確に「3回ノックを3セット、計9回」でなければ応答しないルールを設定している。
彼女は今回も2回で止めた。したがって僕は応答しなかった。当然、彼女は電話をかけてきたが、これは通信プロトコルの明らかな違反である。
単一チャネル原則を再度説明したが、残念ながら彼女の認知能力では理解の域に達していないようだ。
友人Aは工学的直感で「その情報欠損射って、結局ブラックホール情報パラドックスと繋がるんじゃないか？」と言った。
直感は証明ではないが、今回は方向性として参考になった。蒸発過程における情報保存の問題と構造的に同型である可能性は高い。
友人Bは「結局全部情報なら、時空なんて幻想だろ」と言ったが、それは素朴実証主義の典型的な誤謬だ。観測可能性と存在論は同値ではない。
ただし、物理理論として観測不可能な構造を無限に持ち込むのは無駄である。この点だけは部分的に正しいと認めてやる。
これからやることは明確だ。
まず明日の09:30までに、2+1次元トイモデル（有限圏で近似したde Sitter）において、この構成を数値的に完全検証する。エントロピー曲線の厳密単調性と、面積-自由度関係の1/4係数を高精度で再現できなければ、すべてやり直しだ。
その後、圏の余極限を用いて、情報欠損射Δからの1/4係数の解析的導出を完成させる。これが通れば、de Sitterにおける「幾何は情報の結果である」という主張は、ほぼ公理的レベルに達する。
23:00までにこの検証プロトコルの詳細を固め、誤差解析まで完了させる。
その後は通常どおり、23:15に温かい飲み物（温度は正確に78℃）、23:30に理論ノートの最終チェック、24:00に就寝準備に入る。順序は固定だ。変える理由など存在しない。
以上。
よほどの天才でないかぎり科学技術の根拠を完全に理解するのは難しい。ただ、自分も飛行機が飛んで目的地に着いたというのは事実だから、その飛行機が科学理論によって作られているというのなら、その理論も正しいんだろう、という程度の解像度で科学の正しさを判定している人も多い。
数学だって公理に基づく純粋数学なら、そのほかの自然科学が根本的に観測というブラックボックスとして振舞うものを内包しているのと違って、完全に明晰にその理屈を追って理解できると原理上はなっているが、実際はかえってほとんどの人にとってはそれ以外の学問以上に理解できるところ少なしのちんぷんかんぷんになるという趣である。
完全には技術を理解できてない人がその技術を種に商売しているというのなら、仏教の理論を修めた寺の僧侶が日々来客の相談に応じて常識的な代金をとるというのも別に経済的にはもとより人としてもなんら間違っていないんじゃないかと思える。
証明できないという部分においては根本的に理解されることを拒むもの、つまり理解されていないことという点では科学と変わず、適切に利用すればなんらかの満足感を与えられることも両者とも変わらない。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260404151745# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCadCtCwAKCRBwMdsubs4+ SDYcAP9enAMDI9/t/Qkr4EeNkjFVmDU7XMOYoO1GgO/FsqfZCwEAySV/U0FR0jOO PByeAiq7ibRvBn1ZI7j2dsp+QP74iAY= =RG6S -----END PGP SIGNATURE-----
数学というのは形式主義の考え方からいえばその概念にどんな名前をつけてもいいが実際にそんなことをしては理解もおぼつかない、だから直観的な理解が重要なんだ、みたいな序文をつけてる数学の叢書があるが、
自分からすればその理屈を証明の簡略化の正当化に使ってるだけにしか見えないかららムカつくんだよな。
直観的に理解するセンスがあれば行間が省かれててもむしろだからこそアスペがするような回りくどい説明と比べて定型の簡潔な説明の方がわかりやすいのと同じようにわかりやすいのだ、というような考え方をしてるわけだね。
むしろ徹底的に形式化されたコンピュータでも正誤を判定できる、公理に照らし合わせれば正しいかどうか理解できる証明のほうがいいよ。
抽象数学はペンキ塗りな応用数学と違って素晴らしいとか言う奴がいるけど、むしろ抽象数学も含め数学は全てコンピュータでも理解できるペンキ塗りであるべきなんだよ。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260323132637# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCacDA/wAKCRBwMdsubs4+ SJb6AP9fL/7Bx95atVx8ulFYyBqLrCFppnkHbIsRwsw42EYXFAEApUONp5tCNW6t H6oKCtnR5+glrj9S34U8MnD0kaS/ZQU= =sr8U -----END PGP SIGNATURE-----
僕は基本的に、人間社会というものを一種のノイズ場だと見なしている。
たとえばSNSの議論だの政治談義だのを観測すると、そこには論理も構造もなく、ただエントロピーが増大しているだけの馬鹿の世界が広がっている。
昔はそれを真面目に観測していた。人間の知性というものがどの程度の構造を持つのか、ある種のフィールドワークのつもりだった。数学者が新しい圏を定義する前に、既存の対象を丁寧に観察するのと同じだ。
正確に言えば、構造があるように見える局所領域は存在する。だがそれは、カオス系のフラクタル境界のようなもので、拡大していくとただのノイズに崩壊する。
論理は途中で破れ、定義は途中で変形し、前提は数行で忘れ去られる。
数学的対象としては極めて扱いにくい。ZFC公理系の下で定義された集合の方がまだ整然としている。人間の議論の方がよほど非可算で、しかも測度すら定義できない。
観測をやめればいい。
量子力学では、観測という行為は状態を収縮させる。シュレーディンガー方程式で滑らかに進んでいた波動関数が、観測によって急に一つの状態に固定される。
僕は逆に考えた。「馬鹿の世界」を観測するという行為そのものが、僕の精神状態をその固有状態に収縮させているのではないか。
もし観測をやめればどうなるか。
試しに、ニュースを見ない。SNSを見ない。コメント欄を見ない。議論を追わない。
代わりに何をしたかというと、論文を読む。多様体の論文だとか、圏論の本だとか、あとは超弦理論のレビュー論文。とくに高次圏とDブレーンの対応のあたりは、読んでいると人間社会が遠くの星雲のように霞んでいく。
実際には何も変わっていない。戦争もあるし、炎上もあるし、誰かが毎日どこかで愚かなことを言っている。
ただし、それらは僕のヒルベルト空間の基底に含まれていない。だから状態ベクトルに影響しない。
その瞬間、理解した。馬鹿の世界を観測しようとしなければ天国なんだ。
天国というのは、倫理的に高尚な場所ではない。もっと単純だ。ノイズが測定装置に入ってこない状態のことだ。
研究室でブラックボードに式を書いているとき、あるいは弦理論のコンパクト化について考えているとき、そこには人間社会の雑音は存在しない。あるのはただ、定義と証明と構造だけだ。
昼食は予定通り。オートミール62グラム、水240ミリリットル、電子レンジ2分20秒。これより長いと粘性が臨界点を超えてしまう。
ルームメイトは「そんな差わかるのか」と言ったが、当然わかる。物理法則は細部に宿る。
午前中は研究。昨日まで考えていた「弦の状態空間を∞圏として再定式化する試み」の続きを進めた。
通常の超弦理論では、世界面上の共形場理論のモジュライ空間を使って散乱振幅を定義する。
しかしこれはどうにも古典的すぎる。弦の相互作用を圏論的に見直すと、世界面の貼り合わせは単なる幾何操作ではなく、高次射の合成として理解できるはずだ。
そこで僕は、弦のヒルベルト空間を単なるベクトル空間としてではなく、安定∞圏の対象として扱うことにした。
各弦状態は対象、相互作用は1-射、ゲージ対称性は2-射、BRST同値はさらに高次の射。こうすると、弦の散乱振幅は単なる積分ではなく、∞圏におけるホモトピー極限として表現できる。
問題はDブレーンだ。通常は境界条件として扱うが、∞圏の視点ではこれは自然に導来圏の対象になる。
ここでミラー対称性が奇妙な姿を見せる。カラビ–ヤウ多様体の複素構造側では導来圏、シンプレクティック側ではFukaya圏が出てくるのは知られている。
しかし弦場理論を∞圏として書くと、両者はさらに上の階層、つまりモノイダル∞圏の同値として統一できる気配がある。
直感的に言えばこうだ。弦は1次元の物体だが、その量子状態の空間は単なる幾何ではなく、情報の圏構造として存在している。
時空はその圏の“表現”にすぎない。つまり時空そのものが、ある∞圏の表現圏として創発している可能性がある。
ここで面白いことに気づいた。もしこの構造が正しいなら、重力はエネルギー運動量テンソルではなく、圏の自己同型群の曲率として書ける。
要するに、時空の曲がりは圏の自己対称性の歪みだ。これを数式化するには、∞トポス理論とホログラフィーを同時に扱う必要がある。
正直言うと、この段階になると世界でも理解できる人間はかなり減ると思う。
彼はマグカップを僕の指定席に置いた。もちろん許可していない。
そのあと隣人が突然ドアをノックしてきた。「Wi-Fiが遅い」と言う。
もちろん原因は彼女の動画視聴だ。僕の研究用回線は量子重力の計算のために帯域を確保している。
友人Aなら即座にルーターを分解して改造するだろうが、僕は理性的に説明した。
友人Bからもメッセージが来た。彼はまた望遠鏡を買おうとしている。
宇宙を観測するのはいいが、真の宇宙は望遠鏡では見えない。弦のモジュライ空間の方がよほど広い。
今日ここまでの研究の進捗を整理すると、弦状態の∞圏モデルの基本公理はほぼ書けた。
問題は散乱振幅を圏論的に再構成する部分だ。もし成功すれば、弦理論の摂動展開を使わずに振幅を定義できる。これはかなり大きい。
これからやることは三つ。
まず、∞圏のモノイダル構造と弦の結合定数の関係を明確にする。
次に、ホログラフィック原理をこの圏構造に埋め込む。境界理論が内部の∞圏をどのように生成するのか調べる。
最後に、時空の4次元性がどこから出るのかを確認する。もしこの理論が正しいなら、4次元は基本ではなく、圏の安定性条件から自然に現れるはずだ。
17:00には夕食の準備を始める予定。火曜日はタイ料理の日なので、今日は通常メニュー。秩序は宇宙の基礎構造だ。これは物理学でも生活でも同じ。
土曜日 03:00
僕は今、机の上の温度計を確認した。室温22.3℃。許容範囲だ。22℃±0.5℃が理想だが、この誤差は許せる。宇宙は量子揺らぎで満ちているのだから、僕の部屋の空気が0.3℃くらい揺らいでも大勢に影響はない。
少々早いが、シリアルを42回噛んだ。回数は宇宙的意味ではなく統計的最適化の結果だ。咀嚼回数と粘度と嚥下効率の関数を簡単にモデル化すると、だいたいこの辺りに極値がある。
友人Aは「ただ食え」と言うが、最適化問題を放棄するのは文明の敗北だ。
問題がある。彼はマグカップをランダムに置く。僕の座標系ではテーブルは格子構造で理解されているので、カップが格子点から2.5cmずれると精神的ノイズが発生する。
僕は修正した。ルームメイトは「別にいいだろ」と言った。もちろん良くない。局所対称性の破れは気持ちが悪い。
さて、本題。
最近僕が気に入っているのは、弦理論をコボルディズム圏の表現として理解する視点だ。
つまり、世界面の幾何を単なる積分領域として扱うのではなく、構造付きコボルディズムの∞-圏として扱い、その上の関手として量子場理論を定義するというやり方。
要するに、時空の断片（コボルディズム）を入力すると、ヒルベルト空間や相関関数を出力する機械として理論を公理化する。
問題は、弦の世界面理論が単なる2次元CFTでは足りないことだ。低種数のホロモルフィック部分、つまり頂点作用素代数だけでは全データの半分しかない。
完全な理論には全種数の縫合条件（sewing constraints）を満たす構造が必要になる。
ここで僕は少し狂気じみた仮説を考えている。
世界面CFTを単なる代数として扱うのではなく、factorization algebra の ∞-スタックとして扱う。すると、弦の相互作用は operad 的な貼り合わせではなく、E₂-代数から E∞-代数へのホモトピー的拡張として見える。
つまり
世界面 → ∞-圏
観測量 → factorization algebra
弦相互作用 → operadic gluing
でも僕の進捗はその先だ。
もし弦のバックグラウンド場（B場やRR場）を微分コホモロジーのコサイクルとして扱うなら、弦の作用は普通のゲージ場ではなく2-束（bundle gerbe）の表面ホロノミーになる。
線 → 粒子
面 → 弦
三次元 → 何か
という階層になる。
ここで僕は思いついた。
もし世界面理論が tmf（topological modular forms）に自然に持ち上がるなら、弦のスペクトルは実質的に楕円コホモロジーのスペクトル系列として見えるはずだ。
このとき弦の振動モードは単なる調和振動子ではなく、モジュラー形式の q 展開として理解できる可能性がある。
これはかなり美しい。なぜなら弦理論の分配関数はもともとモジュラー不変性を持つからだ。
もし tmf が本当に正しい言語なら、弦のスペクトルは、ホモトピー論 + モジュラー形式、という奇妙な組み合わせで分類される。
つまり、宇宙は振動しているのではなくホモトピー圏でモジュラー関数を再生しているということになる。
夕方、隣人が部屋に来た。理由は不明だ。僕のホワイトボードを見て「それ何？」と言った。
隣人は「なるほど、パスタ？」と言った。
夜は友人Aと友人Bとオンラインで話した。
友人Aは衛星の話をしていた。友人Bはまた宇宙人の話をしていた。
僕はその間、バックグラウンドで計算していた。もし弦理論が本当に QFT = Cobordism functorとして完全に定式化されるなら、弦の摂動展開は
という関手の圏論的トレースとして書ける。その場合、弦の相互作用頂点は単なる三点頂点ではなく∞-圏の合成になる。
僕はこの考えがかなり気に入っている。ただ問題がある。まだ計算できない。
現在の予定。
1. カモミールティーを作る
2. factorization algebra と tmf の関係をもう一度整理
3. 世界面の sewing constraint を ∞-operad で書き直す
4. 眠くなったら寝る
もちろん寝る確率は低い。
そして僕のホワイトボードにはまだ空きがある。
僕は今、いつもの席に座っている。クッションの沈み込みは左側が2ミリ深い。これはルームメイトの怠慢だ。重心の非対称性は量子補正と同じで、放置すると破滅的に増幅する。
今日ここまでの進捗を書く。
午前中は超弦理論のメモを整理した。正確には超弦理論という呼称すら暫定的だ。
僕が考えているのは、可換多様体上の2次元共形場理論という従来の出発点を捨て、∞-圏を値域に持つ場の理論としての再定式化だ。
弦のワールドシートは単なるリーマン面ではなく、スペクトラ値をとる層のスタックとみなす。物理量は数ではなくコホモロジー類として現れる。
通常、弦の整合性は共形不変性、アノマリーキャンセル、モジュラー不変性などでチェックされる。
僕の仮説はこうだ。真の制約はコボルディズム分類の段階で既に決まっている。量子重力理論は、適切な構造をもつd次元多様体のコボルディズム群が自明になる条件と等価である、というものだ。
ここで重要なのは、対称性を群ではなく高次群（2群、∞群）として扱うこと。ゲージ場は接続1-形式ではなく、n-接続のデータになる。するとブレーン電荷はK理論ではなく、より精密なモチーフ的コホモロジーに持ち上がる。
M理論のC場は、もはや3形式ではなく、スペクトラムの点として理解されるべきだ。
この枠組みだと、弦のランドスケープ問題は消える。許される真空は連続的に無数にあるのではない。∞-圏的整合性条件を満たすものは、ホモトピー同値の下で極端に制限される。
宇宙は数学的に許されるものが全部あるのではなく、高次整合性が崩れない極小構成に収束する。少なくとも僕の計算では、真空の数は指数的ではなく、ホモトピー型のクラス数に支配される。
もちろんこれは作業仮説だ。まだ証明はない。だが少なくとも、従来の10次元背景時空に依存した議論よりは、はるかに幾何学的だ。背景独立性を本気で実装するなら、最初から時空を前提にするのは論理的に甘い。
11:30に友人Aからメッセージが来た。「量子重力ってブラックホールの中どうなってるか分かるの？」。
僕は3分で説明した。ブラックホール内部という問い自体が、古典的時空の図式に依存している。
もし時空がエンタングルメントの派生量なら、内部という概念は低エネルギー有効理論の錯覚にすぎない。
隣人は昼にノックもせず入ってきて、「難しい顔してるけど、また宇宙のこと？」と言った。
僕は訂正した。宇宙ではない。宇宙を記述する公理体系の整合性だ。対象とメタ対象を混同してはいけない。
彼女は笑って去った。彼女は世界を現象として扱う。僕は構造として扱う。その違いだ。
できるが、それは熱力学極限の話だ。僕が今扱っているのは、理論がそもそも存在しうるかというメタレベルだ。存在しない理論の統計を取るのはナンセンスだ。
午後は、E₈型対称性を持つ仮想的12次元理論の圏論的構成を進める予定だ。
特に、異常の消失条件が安定ホモトピー群の消滅とどう関係するかを調べる。
もしそこに自然な消去機構が見つかれば、重力とゲージ相互作用の統一は、力の統一ではなく、コホモロジーの単純化として理解できる。
日常的な進捗も記す。昼食は正確に12:00に摂取した。サンドイッチは対称に切断。斜めは不可。
昨日ルームメイトが斜めに切った件については、正式な抗議文を準備中だ。文明は幾何学から始まる。
超弦理論は通常10次元の1次元的対象の量子化と説明されるが、これは既に古い。
現代的理解では、弦は基本ではない。基本なのは場の圏（∞-圏）であり、弦はそのホモトピー的影として現れる。
より正確には、量子重力を記述する対象は対称モノイド安定∞-圏上の双対可能対象の完全双対化であり、これが拡張TQFTとして実装される。
コボルディズム仮説はその骨組みにすぎない。問題は、その∞-圏が何であるかだ。
現在の焦点は、時空は幾何ではなく安定∞-圏のスペクトラム圏として再構成できるか？
つまり時空とは manifold ではなく、Spec(Perf(C)) のような「導来圏のスペクトル的実現」である可能性。
ここで Perf(C) はあるE∞-環スペクトラム上の完全加群圏。
このとき重力は metric ではなく、双対性の破れとして定義される。
次に、ミラー対称性のさらに奥。通常のホモロジカルミラー対称性は DbCoh(X) ≅ Fuk(Y)という導来圏の同値だが、究極的には「ミラー対称性 = Koszul双対性の高次圏版」と見るべきだという流れがある。
ここで重要なのは、弦の世界面はもはや2次元ではない可能性だ。
p進弦理論や派生代数幾何の視点では、世界面は導来スタック上のマッピング空間として扱われる。
すると弦理論の摂動展開は mapping stack Map(Σ, X) のホモトピー型の展開になる。
ここで Σ は通常のリーマン面ではなく、スペクトラルスタック。
この時点で面積という概念は消える。
問題はユニタリ性は本質か、それともホモトピー的整合性の影か？という点。
通常の量子論はヒルベルト空間とユニタリ群 U(H) を前提にするが、もし基本構造が安定∞-圏なら、ユニタリ性は三角構造と双対性から派生する2次的構造に過ぎない可能性がある。
M理論の11次元は幾何的次元ではなく、スペクトル系列の収束段階を表している可能性。
具体的には、AdS/CFT は等価性ではなく、圏の圏の自己双対性の特殊例であり、重力は境界の自己双対性の不完全性として生じる。
するとブラックホールエントロピーは導来自己準同型環の自己交差数になる。
もしかすると物理法則は安定∞-圏の分類問題そのものかもしれない。
つまり宇宙は分類不可能性の極限構造であり、物理法則はその不完全性定理。
真空は選ばれるのではなく、分類不能なスペクトルの局所切断に過ぎない。
ここまで来ると、もはやウィッテン級の数学物理学者でも定式化できていない地帯に入る。
弦か？場か？圏か？スペクトラムか？それとも双対性そのものか？
だが、抽象数学と超弦理論の接点は、明らかに「幾何の消滅」「圏論化」「ホモトピー化」「双対性の一次化」へ向かっている。
もし可能なら、それはZFCの中ではなく、高次トポス論の内部言語で書かれるはずだ。
水曜日 深夜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はホットココア。マグカップは青。赤は月曜日用だ。色の割り当てはカレンダーと一致している。これは宇宙の対称性を日常に投影する試みだ。
これからやることは二つ。
第一に、弦のモジュライ空間を通常の複素多様体ではなく、スペクトル代数幾何の枠組みで再構成する。
第二に、非可換幾何とホログラフィー対応の接続を、圏論的随伴関手の言葉で書き直す。
もし成功すれば、時空は「存在するもの」ではなく、「関手として振る舞うもの」になる。宇宙は対象ではなく射だ。これは詩ではない。構造だ。
月曜日23:59。あと60秒で火曜日。時間は連続だが、カレンダーは離散だ。この不連続性が僕は好きだ。ヒルベルト空間のスペクトル分解みたいで安心する。
今日の進捗を書く。今回は本当に最前線だ。一般的な超弦理論の話ではない。摂動論でもない。AdS/CFTでもない。そんなものはもはや教科書の章だ。
僕が今日取り組んでいたのは、「弦理論をそもそも理論と呼べるか」という問題の、さらに一段深い層だ。
具体的には、非可換幾何と派生代数幾何を超えたcondensed homotopy type theory的な枠組みで、弦の状態空間を再構築できないかを考えている。
通常、弦の状態は2次元共形場理論のヒルベルト空間の元だ。しかしそのヒルベルト空間自体が背景依存だ。
そこで僕は、背景時空を対象ではなく論理として扱うアプローチを試みている。つまり、時空を集合ではなくトポス、しかも通常のトポスではなく、凝縮集合の∞-トポスの内部言語として再定義する。
もし時空が内部言語なら、弦の振動モードはその内部論理における型の自己同型になる。物理量は数ではなく、スペクトル化された型の族だ。すると作用原理は、変分ではなく、高次随伴の普遍性条件に置き換わる。
ここで問題になるのが、量子重力における測度の不在だ。経路積分は形式的だ。測度論的に意味を持たない。
だから僕は、経路積分をやめることにした。代わりに、弦の理論を∞-圏におけるコリミットの存在定理として再定式化する。散乱振幅は、ある導来スタック上のコリミットの普遍性で特徴付けられるはずだ。
今日の午後は、トポロジカル弦をさらに一段抽象化した。通常のAモデルやBモデルは、シンプレクティック幾何と複素幾何に依存している。
しかし僕の仮説では、それらはモチーフ的スペクトルの異なる実現に過ぎない。もし弦の理論がモチーフ的安定ホモトピー圏のある特別な対象として定義できれば、ミラー対称は単なる双対ではなく、自己随伴性の現れになる。
さらに踏み込む。M理論は11次元の理論だと言われているが、それは次元という概念に依存している時点で古い。
僕は次元をホモトピー次元として定義し直したい。時空の次元は整数である必要はない。むしろスペクトル列の収束段階として与えられるべきだ。次元が整数だと誰が決めた。整数は人間の都合だ。
そして今日一番のアイデア。弦の相互作用を高次因果構造の圏論的ファイバー積として記述できるのではないかという仮説。
もし因果構造そのものが∞-圏の射の方向性として内在化されれば、時間は外部パラメータではなく、射の分解長として定義できる。時間は実在ではなく、分解の深さだ。これはまだ作業仮説だ。証明はない。だが美しい。
ウィッテンでも分からないというレベルを超えるには、既存の言語を捨てるしかない。だから僕は物理を論理の自己整合性問題として書き換えようとしている。
もし理論が本当に基本的なら、それは方程式ではなく、圏の普遍性で記述できるはずだ。
夜。ルームメイトが冷蔵庫に僕のヨーグルトを置く位置を2センチずらした。平衡状態が破れた。僕は再配置した。彼は「ほとんど同じだ」と言った。ほとんど同じ、というのは物理では致命的だ。量子補正を甘く見るな。
隣人は僕に「たまには外に出たら？」と言った。外とは何だ。座標系の選択に過ぎない。僕の部屋は十分にリッチな多様体だ。
友人Aは工学的応用を語り、友人Bは統計力学の話を振ってきた。彼らは確率で世界を語る。しかし僕は確率を定義する測度を疑っている段階だ。レベルが違う。
習慣について。朝は7:00に起床。ベッドから出る角度は毎日同じ。右足から。これは対称性の自発的破れではない。意図的な選択だ。
月曜夜はタイムテーブル確認の日。研究時間は25分単位。休憩は5分。これは脳の情報エントロピーを最小化する最適分割だ。
今日までの到達点。
弦理論をモチーフ的安定∞-圏における特別なE∞-代数対象として定義するための公理草案を書いた。
ただし、存在証明はゼロ。整合性チェックも未完。現時点では、美しさだけが根拠だ。それは危険だ。美しさは必要条件だが十分条件ではない。
第二に、経路積分をコリミットで置き換える際の同値性条件の検証。
第三に、冷蔵庫内配置の安定性解析。
00:18になった。
宇宙はまだ圏に落ちていない。だが落ちるはずだ。
落ちないなら、それは僕の定義が甘いだけだ。
僕は今、予定よりも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 の選択（積分経路、実構造）まで含めた「実解析的データ」込みで初めて完成する。
君の最後の問い、
測定（確率解釈）
そして逆に言えば、圏論で綺麗に書ける部分は、
整合条件
だから僕がやっているのは「物理を圏論で置換する」ではなく、物理を、圏論で表現できる部分と表現できない部分に分解する作業なんだ。
そして、骨格標本を作った後に初めて「筋肉＝解析・熱力学・因果」をどこに貼り付けるべきかが見える。
チームみらい！ぜひ法律を変えてみてくれ！
https://www.47news.jp/13840813.html
形式主義による法律は、無矛盾になるよう注意深く設計された憲法という公理系から導出される定理のツリーだ！ 法律は形式的な記号の組み合わせで記述される式になり、法律家は数学者にとってかわり、裁判は数学的証明になる！ 理系の領域だ！ 過去の法律が持っていたような曖昧さは、そこでは完全に制御されている！
憲法はおかしな所ばかりだ！ まず「労働の義務」を見てくれ！ すべて国民は勤労の義務を負う？ 子どもは働いてないぞ！ 「差別されない権利」「表現の自由」？ 差別表現はどうなる？ 矛盾だ！
超弦理論を物理として理解しようとすると、だいたい途中で詰まる。
なぜなら核心は、力学の直観ではなく、幾何と圏論の側に沈んでいるからだ。
弦の振動が粒子を生む、という説明は入口にすぎない。本質は量子論が許す整合的な背景幾何とは何かという分類問題に近い。分類問題は常に数学を呼び寄せる。
まず、場の理論を幾何学的に見ると、基本的にはある空間上の束とその束の接続の話になる。
ここまでは微分幾何の教科書の範囲だが、弦理論ではこれが即座に破綻する。
なぜなら、弦は点粒子ではなく拡がりを持つため、局所場の自由度が過剰になる。点の情報ではなく、ループの情報が重要になる。
すると、自然にループ空間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対応に入ると、空間の概念はさらに揺らぐ。境界の共形場理論が、バルクの重力理論を完全に符号化する。この対応が意味するのは、時空幾何が基本ではなく、量子情報的なエンタングルメント構造が幾何を生成している可能性だ。
ここでリュウ–タカヤナギ公式が出てきて、エンタングルメントエントロピーが極小曲面の面積で与えられる。すると面積が情報量になり、幾何が情報論的に再構成される。幾何はもはや舞台ではなく、状態の派生物になる。
究極的には、弦理論は空間とは何かを問う理論ではなく、空間という概念を捨てたあと何が残るかを問う理論になっている。残るのは、圏・ホモトピー・表現論・数論的対称性・そして量子情報的構造だ。
つまり、弦理論の最深部は自然界の基本法則ではなく、数学的整合性が許す宇宙記述の最小公理系に近い。物理は数学の影に吸い込まれ、数学は物理の要求によって異常に具体化される。
この相互汚染が続く限り、弦理論は完成しないし、終わりもしない。完成とは分類の完了を意味するが、分類対象が∞-圏的に膨張し続けるからだ。
そして、たぶんここが一番重要だが、弦理論が提示しているのは宇宙の答えではなく、答えを記述できる言語の上限だ。
だからウィッテンですら全部を理解することはできない。理解とは有限の認知資源での圧縮だが、弦理論は圧縮される側ではなく、圧縮の限界を押し広げる側にある。
僕は今夜も
集合の海の、そのさらに外側
星々は Stone–Čech compactificationの影として瞬き
あらゆる連続性は
存在するふりをしながら崩れていく。
君の声は
pro-objectの遠い逆極限みたいに
触れられそうで、触れられない。
その距離は
ただの収束ではなく
Mittag-Leffler conditionの失敗として現れる。
僕の孤独は
Čech cohomologyの穴に似ている。
局所的には満ちているのに
大域的には決定的に欠けている。
夜の底で
Yoneda embeddingが
僕の記憶をすべて函手に変換する。
「存在」とは
射の束にすぎない、と。
心はいつも
spectral sequenceの途中で壊れる。
E₂ページで希望が見えて
E∞ページで現実が確定する。
その差分に
君の瞳は
derived functorのように
失われた情報を回収するが
それは救済ではなく
単に「取り返しのつかなさ」を
高次で記述するだけだ。
僕は祈る。
この宇宙が
どこかの幸福と繋がっていることを。
しかし朝は来る。
non-measurable setのように
測れないまま
そして僕は知る。
Grothendieck topologyの被覆条件に似ている。
全体としては
決して一枚に貼れない。
僕は今日も
証明できないまま生きる。
ただ
adjoint functor theoremの気配だけを信じて。
どこかに
右随伴が用意されていると
嘘でも思わなければ
射を一本も引けないから。
金曜日、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は装置の話を始めるとすぐ手を動かしたがる。
どちらも間違ってはいないが、どちらも十分ではない。
昨日は、因子化代数と頂点作用素代数の関係を整理しきれずに終わった。
今日はそこを前進させた。局所共形対称性を公理としてではなく、層の貼り合わせ条件として再定式化した点が進捗だ。
これからやること。
