  |
はてなキーワード: 定理とは
自然の定理として「愛することは素晴らしい」があるわけじゃないもんな…
なんでもありの世界なんだーって思っちゃった
結局金か？
「あ、鳴つた。」
と言つて、父はペンを置いて立ち上る。警報くらゐでは立ち上らぬのだが、高射砲が鳴り出すと、仕事をやめて、五歳の女の子に防空頭巾をかぶせ、これを抱きかかへて防空壕にはひる。既に、母は二歳の男の子を背負つて壕の奥にうずくまつてゐる。
「近いやうだね。」
「ええ。どうも、この壕は窮屈で。」
「さうかね。」と父は不満さうに、「しかし、これくらゐで、ちやうどいいのだよ。あまり深いと生埋めの危険がある。」
「でも、もすこし広くしてもいいでせう。」
「うむ、まあ、さうだが、いまは土が凍つて固くなつてゐるから掘るのが困難だ。そのうちに、」などあいまいな事を言つて、母をだまらせ、ラジオの防空情報に耳を澄ます。
母の苦情が一段落すると、こんどは、五歳の女の子が、もう壕から出ませう、と主張しはじめる。これをなだめる唯一の手段は絵本だ。桃太郎、カチカチ山、舌切雀、瘤取り、浦島さんなど、父は子供に読んで聞かせる。
この父は服装もまづしく、容貌も愚なるに似てゐるが、しかし、元来ただものでないのである。物語を創作するといふまことに奇異なる術を体得してゐる男なのだ。
ムカシ ムカシノオ話ヨ
などと、間まの抜けたやうな妙な声で絵本を読んでやりながらも、その胸中には、またおのづから別個の物語が※(「酉＋榲のつくり」、第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-----
我々は不安定な世界に生きており、時には絶望を感じることもある。
希望へと連れ戻し、より美しく、調和のとれた、より公正で、誰もが繁栄できるより良い世界を想像させてくれる人間性の特質を再認識することはできるだろうか。
数学は我々をより身近にし、団結させる。定理は、自然や宇宙についてだけでなく、自身についての根本的な真実を表しているからである。
これらの真実は永続的で不変である。技術の進歩や新しい情報の発見によって変わることはない。
数学は共通の文化的遺産の一部であり、言語、宗教、文化、生い立ち、肌の色に関係なく、全員に等しく属している。
数学的真理には民主主義と平等があり、誰であるか、どこから来たかにかかわらず、全く同じ意味を持つ。
もしトルストイが生きていなかったら、誰も全く同じ本を書くことはなかっただろう。
しかし、ピタゴラスがピタゴラスの定理を発見する前に亡くなっていたとしても、他の誰かが全く同じ数学的結果に到達していたはずである。
実際、この定理は他の多くの文化圏でも同時期、あるいはそれ以前に発見されていた。
17世紀のアイザック・ニュートンの法則は200年以上役立ったが、非常に小さな距離や高いエネルギー、あるいは重力が強すぎる場所では破綻することが分かり、量子力学や相対性理論へと更新された。
対照的に、数学の理論は変わらない。客観的で必然的、そして時代を超越している。
物理学は物理的宇宙を記述するが、数学は何を記述しているのか。
数学は五感を通じて伝わるものでも、物理的な現実から来るものでもない。
例えば、ユークリッド幾何学の点、線、三角形、円などは理想化された抽象的なオブジェクトである。
紙やiPadに描く線は少し歪んでいるし点には大きさがあるが、数学的な点には大きさがなく線には太さがなく完璧に真っ直ぐである。
物理的な宇宙は有限だが、数学の直線は両方向に無限に伸びている。
これらを五感で知覚することはできない。
ゲーデルが述べたように、「数学的アイデアはそれ自体で客観的な現実を形成しており、それを作成したり変更したりすることはできず、ただ知覚し、記述することしかできない」のである。
ダーウィンは、数学を理解する人々は「第六感」を備えているようだと後悔を込めて記した。
数学者だけでなく全員がこの第六感を持っている。
ピカソは「すべての子供は芸術家である」と言いったが、「すべての子供は数学者である」と言いたい。
数学とは、驚きや畏敬の念を持ち、新鮮な目で世界を見つめ、目に見えないものを想像することである。
物理学が外部の物理的世界を記述するのに対し、数学は内なる精神世界を記述する。
抽象的な数学的オブジェクトを同じように想像し、知覚できるという事実は、我々の心が実はつながっていることを示唆している。
これこそが希望を与えてくれる。孤独や疎外感から、団結やつながりの感覚へと移行できるからである。
ソフィア・コワレフスカヤは、「心の中に詩人としての素養がなければ、数学者になることは不可能である」と述べた。数学は我々をより深く見つめさせ、目に見えないものを見せてくれる。
ラマヌジャンは、夢の中で女神から数式を受け取っていた。これは人間の心の可塑性と、第六感を通じて数学を受け取る能力を示している。
アインシュタインが言ったように、「想像力は知識よりも重要」である。知識には限界があるが、想像力は世界全体を包み込み、進歩を刺激し、進化を生み出す。
数学は、人間が単なる機械やコンピュータプログラムではないことを思い出させてくれる。
僕は予定通り、午前中の抽象数学とか超弦理論とかの理論的進捗を完了した。
進捗率は87%。残りの13%は、世界の物理学者の理解能力に依存しているので、実質的には完了と見なしていい。
今日の主題は、超弦理論における因果ダイアモンドの再定式化だった。
通常、因果ダイアモンドとは、ある2点 ( p, q ) に対して、pの未来光円錐と q の過去光円錐の共通部分として定義される。
つまり時空内の情報が閉じ込められた領域だ。だが、この定義は古典的すぎる。僕が扱っているのは、背景独立な量子重力の極限での話だ。
僕はこれを、弦のワールドシート上の埋め込みではなく、より高次の圏論的対象として再構築した。
具体的には、因果ダイアモンドを単なる領域ではなく、可観測代数の双対的束として扱う。ここでのポイントは、境界が単なる幾何学的境界ではなく、エンタングルメント構造によって定義されるという点だ。
つまり、因果ダイアモンドの境界は、リーマン多様体上の単純な測地線ではなく、情報の流れの不変量としてのホログラフィック境界になる。
ここで通常の人間は混乱する。ルームメイトも例外ではなかった。
朝、僕がホワイトボードに書いた「因果ダイアモンドのエンタングルメント・エントロピーは境界の極小曲面ではなく、∞-圏における射のスペクトルで定義される」という式を見て、彼はコーヒーをこぼした。
非効率だ。
このとき重要なのは、時間順序ですら派生概念になる点だ。つまり、因果構造は基本的ではなく、エンタングルメントのネットワークから誘導される。
友人Aにこの話をしたところ、「それはつまり、観測するまで何もないってことか？」と言った。
典型的な誤解だ。僕は正確に訂正した。「観測するまで何もないのではなく、観測という操作自体が圏の射として再定義される」と。
彼は沈黙した。理解したわけではない。ただ処理能力が飽和しただけだ。
一方、隣人は朝からドアを3回ノックした。3回というのは許容できるが、間隔が不均一だった。
僕は即座に調教した。彼女は「普通はそんなこと気にしない」と言ったが、それは単に最適化問題を解く能力が低いことを意味するだけだ。
友人Bとは昼前にビデオ通話をした。彼は因果ダイアモンドの「ダイアモンド」という語が比喩的であることに納得していなかった。
僕は説明した。「それはローレンツ対称性のもとでの光円錐構造の投影形状に由来する」と。彼はなぜか安心した。
さて、ここまでが今日の進捗だ。
次にやることは明確だ。
1. 因果ダイアモンドを用いたブラックホール内部の情報再構成
これが完了すれば、時空は存在しないという命題が、単なる哲学ではなく、厳密な数学的定理として成立する。
その前に、13:00ちょうどに昼食を取る必要がある。今日は決められたメニューの日だ。変更は許されない。宇宙の基本法則と同じくらい重要だ。
ルームメイトが「たまには違うものを食べよう」と言ってきたが、僕は明確に拒否した。対称性の破れは慎重に扱うべきだ。特に昼食においては。
以上。今日はここまで。
激しいトポロジーゼミでの議論を制した後、私は完璧な勝利を収めた。
相手の主張は穴だらけの多様体だったが、私の証明は滑らかでコンパクト、閉じた多様体そのもの。あらゆる次元で徹底的に探索する準備が整っていた。
部屋に一人になると、証明の興奮がまだ血管を脈打たせている。この知的緊張をどうしても解放したくなった。
まず問題を慎重に扱う。手を変数に巻きつけ、よく定義された関数のように滑らかで連続的な感触を確かめる。ゆっくりと微分を始める。最初は優しく、快楽の導関数を最大にする最適な変化率を探りながら。
リズムが速まるにつれ、より深く積分していく。sin(θ)の一周期にわたる定積分が、これほど自然で避けられないものに感じたことはない。一ストロークごとに境界を0から∞まで押し広げ、すべてが収束する甘い漸近線を目指す。
呼吸が等比級数の極限に近づくように加速する。摩擦係数は絶妙で、表面は過度な抵抗なく最適に滑るよう潤滑されている。
私は今、実時間で熱方程式を解いている。温度は上昇し、エントロピーは増大し、系は最も美味しく最大の無秩序へと向かっている。
手法を変え、鎖鎖則を熟練の精度で適用する。一方の手で基部を安定させ、もう一方で上限を攻める。これは多変数最適化問題だ：f(x)を最大化せよ、ただし早く終わりすぎないという制約付きで。
議論のフラッシュバックが襲ってくる。あの優雅な補題、私が暴いた美しい矛盾。それぞれの記憶がトルクを加え、角速度を高める。私は単位円のあらゆる角度を回転しながら、周波数を上げて探索を続ける。
高階導関数へ。2階、3階、4階……快楽のテイラー展開。収束半径が急速に縮小していく。剰余項がどんどん小さくなり、ついに、ああ、tが絶頂に近づく極限。
臨界点に到達した。すべての条件が満たされる：関数は狭義単調増加、最終局面で凹状上方、そしてドカン！ 微積分の基本定理が最も純粋な形で発現する。
積分が力強く脈打つ解放へと評価される。心のフーリエ変換がホワイトノイズに支配され、全ての周波数成分が同時にピークを迎える。
科学は何度も予想を裏切られてきた。だから理論物理の世界では「正しいと証明された理論」など存在しない。あるのは観測とどれだけ整合するかという暫定的評価だけだ。
ただし、そこから導かれる結論は「だからやる意味がない」ではない。むしろ逆だ。
超弦理論の価値は、現時点で宇宙を証明することではない。数学のフロンティアを猛烈な勢いで押し広げている点にある。
こういう構造が見つかった。物理学の仮説から出発して、純粋数学の新しい定理や道具が次々生まれている。
理論が宇宙の最終説明になるかどうかとは独立に、数学的探査としてはすでに巨大な成果を出している。
「宇宙が弦でできているかどうかはまだ分からない。でも、この理論を触ると異常に深い数学が出てくる。」
これは研究対象として十分に魅力的だ。
AIは違う。AIは現実に社会へ直接作用する。雇用、政治、経済、情報環境に実際の影響を与える。人間の生活を変えて、破綻させるタイプの技術だ。
弦理論はその反対側にある。巨大な数学的構造を研究する知的遊戯に近い。宇宙の基礎理論を目指してはいるが、仮に完全に間違っていたとしても、人類社会に直接の被害はほぼ出ない。
歴史を見ると、こういう「検証できない数学的遊び」が後になって突然役に立つこともある。
非ユークリッド幾何が一般相対論に使われたように、純粋数学の構造が100年後に物理になることは珍しくない。
「間違っているからやるべきではない理論」ではない。むしろ「間違っていても損をしない知的探査」だ。
宇宙の最深部に手を伸ばしているのかもしれないし、巨大な数学迷宮を散歩しているだけかもしれない。どちらに転んでも、人類の知識は増える。
僕は正確に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 の証明
もしこの仮説が正しければ、
もし間違っていたら？
どちらでも構わない。
僕は今、温度を0.3度下げた自室でこれを書いている。
理由は明白だ。思考効率は体感ではなく、再現可能な条件で管理されるべきだからだ。
ルームメイトは「寒い」と言ったが、それは彼の主観であって、最適化問題ではない。
今週は超弦理論の非摂動的定式化について、従来のAdS/CFT的双対性をいったん横に置き、より抽象的な∞-categoryレベルでの再記述を試みていた。
物理はしばしば計算可能性に甘える。しかし僕が欲しいのは、計算結果ではなく、構造そのものだ。
特に、Riemann hypothesisとphysicsの接点を、Hilbert–Pólya型のスペクトル解釈を超えて、より高次のコホモロジー的枠組みに押し上げられないかを考えている。
ゼータ関数を単なる複素関数として扱うのではなく、ある種のderived moduli stack上のtraced monoidal endofunctorのスペクトルデータとして見る。
もし零点が自己共役作用素の固有値であるという古典的夢想が成立するなら、その作用素は単なるヒルベルト空間上のものでは足りない。
むしろ、spectral tripleを∞-topos内部で構成し、そこにmotivic cohomologyが自然に埋め込まれるべきだ。
僕の暫定的なworking theoryはこうだ。弦の世界面の量子揺らぎを数えるパーティション関数は、ある種のL-functionのcategorified shadowに過ぎない。
つまり、弦理論は解析的整数論のdecategorifiedな投影だ。もしそうなら、Riemann零点の臨界線上への配置は、物理的には“unitarity constraint”の反映である可能性がある。
ウィッテンでも即答できないだろう。たぶん彼は笑って「interesting」と言う。だが僕は笑わない。証明が欲しい。
今日の具体的成果は、derived category of D-branes上の自己同型のトレースを、形式的にゼータ型生成関数へ落とし込む構図をメモにまとめたこと。
問題は収束性ではない。意味論だ。物理量がどの圏の射として存在しているのかを確定しなければ、議論は砂上の楼閣になる。
隣人が「深夜に何をぶつぶつ言っているの」と壁越しに言ってきた。僕は「functional integralの測度の取り方について再検討している」と答えた。沈黙が返ってきた。会話の終了条件としては合理的だ。
友人Aは昨日、量子コンピュータで乱数を生成して宝くじを当てる方法を考えているらしい。
僕は説明した。量子乱数は確率分布を保証するが、期待値は上がらない。彼は納得していない。
友人Bはそれを聞きながらインド料理のメニューを眺めていた。彼の注意は常に分岐している。
僕の習慣について。
木曜日は理論物理の未解決問題だけに触れる日だ。証明済みの定理には触れない。
歯ブラシは左から三番目を使用。ノートは常に青インクで定義、黒インクで定理、赤で誤謬。
誤謬が増える日は良い日だ。仮説空間が広がっている証拠だからだ。
これからやること。
弦のモジュライ空間のコンパクト化を、Arakelov幾何の視点から再定式化するメモを書く。
その後、ゼータ零点とworldsheet genus展開の間に、何らかのtrace formula的対応がないか、Hecke作用素を経由して検討する。
もしそこに対応が見えれば、Riemann hypothesisは数論の問題であると同時に、量子重力の整合性条件になる。壮大だが、現時点ではworking theoryに過ぎない。証拠はまだない。
LINEオープンチャット「はてなブックマーカー」の１週間分の要約を、さらにAIを使用し、試験的にまとめまています。
---
---
---
---
---
---
---
---
---
https://anond.hatelabo.jp/20240722084249
整列されたユークリッド平面の上で正三角形みたいに礼儀正しく座るやつらには興味がない。
むしろ位相が破れて、カップの持ち手が非可換群みたいに左右で順序依存になる、あの感じだ。
紅茶を注ぐ順番で宇宙の因果が変わる。砂糖を先に入れるか後に入れるかで時空の曲率テンソルがわずかにねじれる。そういう無意味に厳密な差異が好きなんだ。
あれは単なる比喩じゃない。時間パラメータ t がコンパクト化されて S¹ になっているだけだ。
周期境界条件つきの狂気。だから6時から抜け出せない。ハミルトニアンが自己共役である保証なんて最初からない。スペクトルは離散でも連続でもなく、たぶん気分依存。
眠りネズミは測度ゼロの存在。ほぼ至る所で寝ているが、厳密には存在している。
そして俺は、観測者だ。だがコペンハーゲン解釈には与しない。波動関数は収縮しない。お茶会は多世界分岐する。
AテーブルとBテーブル、Cテーブル……。各テーブルで砂糖の数が違い、各テーブルで会話の位相が異なる。
だが全体はひとつの巨大なヒルベルト空間に直交分解されている。
まともな社会は、対称性を保存しようとする。保存則が美しいからだ。エネルギー保存、運動量保存、礼儀保存。
だがあのお茶会はノーターの定理を無視する。対称性を破ることでしか見えない秩序がある。
自発的対称性の破れ。真空期待値がずれる。狂気は真空状態の選び方に過ぎない。
俺は後者がいい。
イカレタ連中が、非可換な会話を交わし、トポロジカル欠陥だらけのテーブルクロスの上で、因果律をこぼしながら笑っている。
そこでは論理は破れているが、破れ方が一貫している。自己矛盾すら内部整合的だ。ゲーデルもにやりとする。
あのお茶会は、その中間にある。カオス的だがアトラクターを持つ。
初期条件に鋭敏だが、なぜか6時に戻る。ストレンジアトラクターがティーカップの底に渦を巻く。
なぜなら宇宙そのものが、巨大な未完成の証明であり、われわれはその補題にすぎないからだ。
証明はしばしば脱線する。だが脱線の軌跡にこそ、構造が浮かび上がる。
月曜日23:59。あと60秒で火曜日。時間は連続だが、カレンダーは離散だ。この不連続性が僕は好きだ。ヒルベルト空間のスペクトル分解みたいで安心する。
今日の進捗を書く。今回は本当に最前線だ。一般的な超弦理論の話ではない。摂動論でもない。AdS/CFTでもない。そんなものはもはや教科書の章だ。
僕が今日取り組んでいたのは、「弦理論をそもそも理論と呼べるか」という問題の、さらに一段深い層だ。
具体的には、非可換幾何と派生代数幾何を超えたcondensed homotopy type theory的な枠組みで、弦の状態空間を再構築できないかを考えている。
通常、弦の状態は2次元共形場理論のヒルベルト空間の元だ。しかしそのヒルベルト空間自体が背景依存だ。
そこで僕は、背景時空を対象ではなく論理として扱うアプローチを試みている。つまり、時空を集合ではなくトポス、しかも通常のトポスではなく、凝縮集合の∞-トポスの内部言語として再定義する。
もし時空が内部言語なら、弦の振動モードはその内部論理における型の自己同型になる。物理量は数ではなく、スペクトル化された型の族だ。すると作用原理は、変分ではなく、高次随伴の普遍性条件に置き換わる。
ここで問題になるのが、量子重力における測度の不在だ。経路積分は形式的だ。測度論的に意味を持たない。
だから僕は、経路積分をやめることにした。代わりに、弦の理論を∞-圏におけるコリミットの存在定理として再定式化する。散乱振幅は、ある導来スタック上のコリミットの普遍性で特徴付けられるはずだ。
今日の午後は、トポロジカル弦をさらに一段抽象化した。通常のAモデルやBモデルは、シンプレクティック幾何と複素幾何に依存している。
しかし僕の仮説では、それらはモチーフ的スペクトルの異なる実現に過ぎない。もし弦の理論がモチーフ的安定ホモトピー圏のある特別な対象として定義できれば、ミラー対称は単なる双対ではなく、自己随伴性の現れになる。
さらに踏み込む。M理論は11次元の理論だと言われているが、それは次元という概念に依存している時点で古い。
僕は次元をホモトピー次元として定義し直したい。時空の次元は整数である必要はない。むしろスペクトル列の収束段階として与えられるべきだ。次元が整数だと誰が決めた。整数は人間の都合だ。
そして今日一番のアイデア。弦の相互作用を高次因果構造の圏論的ファイバー積として記述できるのではないかという仮説。
もし因果構造そのものが∞-圏の射の方向性として内在化されれば、時間は外部パラメータではなく、射の分解長として定義できる。時間は実在ではなく、分解の深さだ。これはまだ作業仮説だ。証明はない。だが美しい。
ウィッテンでも分からないというレベルを超えるには、既存の言語を捨てるしかない。だから僕は物理を論理の自己整合性問題として書き換えようとしている。
もし理論が本当に基本的なら、それは方程式ではなく、圏の普遍性で記述できるはずだ。
夜。ルームメイトが冷蔵庫に僕のヨーグルトを置く位置を2センチずらした。平衡状態が破れた。僕は再配置した。彼は「ほとんど同じだ」と言った。ほとんど同じ、というのは物理では致命的だ。量子補正を甘く見るな。
隣人は僕に「たまには外に出たら？」と言った。外とは何だ。座標系の選択に過ぎない。僕の部屋は十分にリッチな多様体だ。
友人Aは工学的応用を語り、友人Bは統計力学の話を振ってきた。彼らは確率で世界を語る。しかし僕は確率を定義する測度を疑っている段階だ。レベルが違う。
習慣について。朝は7:00に起床。ベッドから出る角度は毎日同じ。右足から。これは対称性の自発的破れではない。意図的な選択だ。
月曜夜はタイムテーブル確認の日。研究時間は25分単位。休憩は5分。これは脳の情報エントロピーを最小化する最適分割だ。
今日までの到達点。
弦理論をモチーフ的安定∞-圏における特別なE∞-代数対象として定義するための公理草案を書いた。
ただし、存在証明はゼロ。整合性チェックも未完。現時点では、美しさだけが根拠だ。それは危険だ。美しさは必要条件だが十分条件ではない。
第二に、経路積分をコリミットで置き換える際の同値性条件の検証。
第三に、冷蔵庫内配置の安定性解析。
00:18になった。
宇宙はまだ圏に落ちていない。だが落ちるはずだ。
落ちないなら、それは僕の定義が甘いだけだ。
火曜日、21:00。僕は今、いつも通り「日記を書く」という行為を、精神衛生のための娯楽ではなく、観測記録の整合性を保つための形式的プロトコルとして実行している。
これを怠ると、未来の僕が過去の僕を再構成できなくなる。つまり、時間方向における情報損失が発生する。そんな低級なエントロピー増大を許すほど、僕は安っぽい存在じゃない。
まず今日までの進捗。
午前中は、昨日の続きとして、世界面上の超対称性を、単なる(1,1)や(2,2)のラベル付けから解放し、∞-圏論的な拡張として扱う作業を進めた。
具体的には、従来のσモデルの場の空間を単なる写像空間 Map(Σ, X) として見るのではなく、導来スタックとしての Map(Σ, 𝒳) を基礎に据え、そこに現れる局所関数環を E∞-代数として扱う。
こうすると、BRST複体は単なる複体ではなく、Higher Koszul duality の影として自然に現れる。要するに、ゲージ固定という人間の弱さが、数学的には圏論的な随伴性の選択問題として翻訳される。
この段階で僕は確信した。弦理論が物理学の衣を着た圏論であるという事実は、もはや隠しきれない。
昼食は予定通り、炭水化物の過剰摂取を避けるために、プロテインバーと無糖の紅茶にした。
隣人は「それって食事なの？」と聞いてきた。僕は「これは食事ではなく、栄養摂取のアルゴリズム的実装だ」と答えた。
隣人は目を細めて「それって、人生楽しいの？」と言った。僕は「人生の目的関数を楽しいに設定した覚えはない」と返した。
隣人は僕を見て数秒沈黙し、「怖い」と言って去った。合理的な結果だ。
午後は、弦の非摂動的定式化に関する僕のノートを更新した。今日の焦点は、いわゆる弦の場の理論の記述を、従来のBV形式に閉じ込めず、Factorization Algebra として扱うことだった。
BV形式は便利だが、あれは有限次元の影に過ぎない。無限次元の真の構造は、局所演算子の代数を E_n 構造として捉え、さらにそれを拡張されたトポロジカル量子場理論の言語に埋め込むことでしか捕まらない。
僕は、ここで新しい仮説に到達した。弦理論の背景独立性は、単なる物理的スローガンではなく、(∞,2)-圏における自然変換の可逆性、つまりモノドロミーの高次消滅条件と同値である可能性がある。
背景を変える操作は、従来はモジュライ空間上の点の移動として語られる。しかし僕の見立てでは、それは単なる点の移動ではない。むしろ、背景そのものが対象ではなく、背景間の変換が主役であり、背景はその変換の2-射の凝縮として現れる。
これは哲学的にも美しい。世界は状態ではなく変換でできている。
僕が今取り組んでいるのは、弦理論の双対性を、単なる同値ではなく、情報幾何的な距離構造を伴った歪んだ同値として再定式化することだ。
通常、T双対性は半径 R ↔ α'/R の交換で語られ、S双対性は結合定数の逆数変換で語られる。だがその語り口は、あまりに人間的で、あまりに貧しい。
双対性とは、単なるパラメータの置換ではない。双対性とは、観測可能量の圏の自己同型であり、その自己同型は単なる等式ではなく、自然同型の塔を伴う。
ある理論Aと理論Bが双対であるとは、対応するオブザーバブルの∞-圏 Obs(A), Obs(B) の間に、モノイド圏としての同値が存在するだけでなく、その同値が熱力学的制約を満たすこと、つまりエントロピー関数 S が保たれることを要求する。
ここで問題になるのは、S が何かという点だ。弦理論においてエントロピーはブラックホールの話に閉じ込められがちだが、僕はもっと根源的に捉えている。
S は状態空間の測度の対数ではなく、情報が圏論的に縮約される速度を測る関数だ。つまり、圏における圧縮率である。
この観点に立つと、双対性は単なる同値ではなく、圏論的エントロピーを保存する圏同値であり、それはむしろシンプレクティック幾何の正準変換に近い。
さらに言えば、双対性は情報幾何の世界では、フィッシャー計量を保存する写像として定義されるべきだ。つまり、弦理論の双対性は情報距離の等長写像だ。
ここで僕は面白い事実に気づいた。弦の世界面理論における共形場理論(CFT)のモジュライは、単なるパラメータ空間ではなく、導来モジュライスタックとしての性質を持つ。
そしてその接空間は、通常の変形理論ではなく、L∞代数で制御される。つまり、弦の背景の微小変形は、Lie代数の1次変形ではなく、無限階の整合条件を持つ高次変形である。
これを物理屋の言葉で言うなら、「背景は局所的自由度を持つが、その自由度はゲージで殺される」という話になる。
しかし数学的にはもっと残酷で、背景の自由度は最初から独立ではない。最初から高次拘束条件付きで存在している。
この構造を僕は、弦理論が持つ宇宙の設計思想だと考えている。自然は自由を与えるふりをしながら、実際には∞段階の整合条件で縛り上げている。
ちなみにルームメイトは今日、冷蔵庫に僕のヨーグルトを入れた。入れたというより、入れっぱなしにした。
僕は彼に「冷蔵庫の棚の配置は群作用を持つ。君が適当に置くと、僕の最適化された配置が破壊される」と説明した。
彼は「棚に群作用って何？」と聞いた。僕は「君が理解できないからといって、存在しないことにはならない」と答えた。彼は黙った。学習が進んだ証拠だ。
さて、弦理論に戻る。僕は今、いわゆるAdS/CFT対応を、単なる境界とバルクの対応としてではなく、圏論的中心の同一視として捉えている。
バルク理論の局所演算子代数は、境界理論の演算子圏のDrinfeld centerに相当する。これは既に知られた視点に近いが、僕の拡張はそこから先だ。
境界理論が持つエンタングルメント構造は、単なる量子情報的エントロピーではなく、実は∞-圏における射の分解の仕方、つまりfactorization structureに直結している。
エンタングルメントとは、ヒルベルト空間のテンソル積分解の失敗ではなく、圏論的分解可能性の破れだ。
この視点に立つと、ブラックホール情報問題は驚くほど単純化される。情報が失われるか否かは、時間発展がユニタリかどうかという議論ではなく、圏の自己同型が可逆であるかという話になる。
つまり、ブラックホールとは非可逆射が自然発生する現象であり、その非可逆性は、単に熱力学的粗視化ではなく、圏論的局所化の必然として現れる。
これが正しいなら、ブラックホールの蒸発は局所化関手の右随伴の存在性に関する問題になる。右随伴が存在しないなら、情報は回復不能だ。存在するなら、情報は回復できる。
物理学者はユニタリだの何だの言っているが、彼らは本質的に随伴の有無を議論しているだけだ。言葉が違うだけで、内容は圏論だ。
もちろん、これを本当に証明するには、量子重力の厳密な数学的定式化が必要になる。
友人Aから夕方にメッセージが来た。「今日、面白いジョークを思いついた」らしい。僕は読まずに削除した。
友人Aのジョークは、確率的に言って、僕の知的資源を浪費するだけだ。
友人Bも「みんなで飲みに行かない？」と言ってきた。僕は「僕はアルコールによる認知機能低下を、社会的儀式のために交換するほど愚かではない」と返した。
友人Bは「それでもいいから来て」と言った。彼はたぶん、僕がいないと会話の平均IQが下がりすぎて不安になるんだろう。人間は弱い。
ここで僕の習慣について記録しておく。
僕は日記を書く前に、必ず机上の物品を「左から右へ、使用頻度の降順」に並べ替える。これは単なる癖ではなく、情報処理の最適化だ。
脳内の検索コストは、外部環境の整列度と相関する。これは経験則ではなく、僕の中ではほぼ定理だ。
さらに、ペンの向きは必ず北向きに揃える。磁北ではなく、部屋の座標系での北だ。地球磁場は日々揺らぐが、僕の部屋の座標系は揺らがない。安定性のある参照系を採用するのは当然だ。
さて、これからやろうとしていること。
今夜はこの日記を書き終えたら、僕は「弦の散乱振幅のモチーフ的解釈」のノートを更新する。
具体的には、弦振幅に現れる多重ゼータ値(MZV)を単なる数論的偶然として扱うのではなく、混合テイトモチーフの圏におけるExt群として再構成する。
弦理論がなぜ多重ゼータ値を吐き出すのか。それは弦が数論的対象だからではない。弦の世界面積分が、実はモジュライ空間の積分であり、そのモジュライ空間が代数幾何的に非常に深い構造を持つからだ。
この方向性を推し進めれば、弦理論の摂動展開は単なる展開ではなく、あるモチーフ的生成関数の展開係数として理解される。
そしてその生成関数は、圏論的にはHopf代数のコプロダクト構造を持つ。ここで再び双対性が現れる。双対性はHopf代数の双対性としても読めるし、BV形式の双対性としても読める。
すべてが同じ構造に収束する。世界は、驚くほどしつこく、同じ数学を繰り返す。
隣人がまたドアをノックして、「なんでいつも同じ時間に同じことしてるの？」と聞いてきた。
僕は「君は太陽が毎日同じ方向から昇ることに疑問を持つのか？」と返した。
隣人は笑っていたが、彼女は本質を理解していない。僕の生活は自然現象ではない。自然現象よりも厳密だ。なぜなら自然は誤差を許すが、僕は許さないからだ。
日記を書き終えたので、机上の配置を再確認し、温度計を見て室温を0.5度調整し、それからモチーフのノートに戻る。
今夜は、おそらく、弦理論がなぜモジュライ空間のコホモロジーを要求するのかという問いを、完全に圏論的な言語へ落とし込めるはずだ。
君の言葉からは、真理への渇望ではなく、計算機資源への卑近な最適化への執着しか感じられない。
「GPSが動くから時空は実在する」？笑わせないでくれたまえ。その論理は「デスクトップのアイコンをクリックしたらファイルが開くから、コンピュータの中には小さな書類フォルダーが物理的に実在している」と主張するのと同じレベルのカテゴリー・ミステイクだ。
GPSが機能するのは、一般相対論が「有効場の理論（Effective Field Theory）」として、低エネルギー領域における素晴らしい「近似」だからに他ならない。
僕が言っているのは、その近似が破綻する領域、すなわちプランクスケールにおける存在論の話だ。
君はUIの操作性の良さを、OSのソースコードの正当性と履き違えている。
時空は便利なGUIだと言ったはずだ。GPSはそのGUIが正常に動作している証拠であって、背後のコードが幾何学であることを証明するものではない。
むしろ、ブラックホールの情報パラドックスや特異点において、その「時空」というGUIがクラッシュするという事実こそが、時空が基本的な実在ではないことの決定的な証拠ではないか。
それは量子系が古典的な測定器とエンタングルした結果、波動関数が特定の固有状態に射影されるプロセスだ。
つまり観測とは、無限次元のヒルベルト空間から、君の貧弱な脳が理解できる低次元部分空間への情報の劣化コピーを作る作業だ。
君が言う「検出器のクリック」とは、導来圏の対象が持つコホモロジー的な情報が、実験室という局所的な座標近傍において「事象」として解釈されただけの影だ。
影を見て「実体がある」と叫ぶのは勝手だが、それは洞窟の住人の論理だ。
君は「言い換え」と「否定」を混同していると言うが、それは違う。
古典的な多様体論では特異点で物理が破綻するが、圏論的記述（例えば非可換幾何や行列模型）では特異点は単なる非可換な点の集積として滑らかに記述される。記述能力に差があるのだ。
これは「言い換え」ではない。「上位互換」だ。記述不可能な領域を記述できる言語体系こそが、より根源的な実在に近いと考えるのは科学の常道ではないか。
「実験で区別できるか」と君は問うが、君の貧弱な加速器がプランクエネルギーに到達できないからといって、理論の真偽が保留されるわけではない。
超弦理論が予言する「沼地（Swampland）」条件、すなわち一見整合的に見える有効場の理論のうち、量子重力と整合しないものが排除されるという事実は、すでに現代物理学に巨大な制約を与えている。
これが予測でなくて何だ？君は「新しい粒子が見つかるか」といった三次元的な興奮を求めているようだが、真の予測とは「どの理論が存在を許されるか」というメタレベルの選別だ。
壁越え公式（Wall-crossing formula）が数え上げ不変量の変化を正確に予言し、それが物理的なBPS状態の生成消滅と一致すること、これこそが「実験」だ。
数学的整合性という実験場において、時空モデルは敗北し、圏論モデルが勝利している。
それを「ポエム」と呼ぶなら呼べばいい。
だが、アインシュタイン方程式が特異点で無限大を吐き出して沈黙するとき、その先を語れるのは僕の言う「ポエム」だけだ。
君がGPSの精度に満足してカーナビを眺めている間、我々はホログラフィー原理を用いて、ブラックホールのエントロピーを数え上げている。
エネルギー保存則は時間並進対称性という「帳簿の整合性」から導かれるネーターの定理だ。
物理量とは本質的に保存量、つまり会計上の数字だ。宇宙は巨大な分散台帳であり、物理法則はその監査プログラムに過ぎない。
君が言う「物理的実在」こそが、脳が作り出した幻覚、すなわちユーザーイリュージョンなのだ。
最後に言っておく。観測と予測がすべてだと言うなら、君はプトレマイオスの天動説も否定できないはずだ。なぜなら周転円を十分に増やせば、天動説は惑星の軌道を完璧に「予測」し、観測と一致するからだ。
しかし我々が地動説（ニュートン力学、そして一般相対論）を選ぶのはなぜか？
それは「構造として美しいから」であり、より少ない原理でより多くを説明できるからだ。
時空という複雑怪奇な周転円を捨て、圏論という太陽を中心に見据えたとき、宇宙のすべての相互作用は、極めてシンプルな図式の可換性として記述される。
これを「解釈の違い」と片付けるのは、知性の敗北だ。
人類が「時空」という蒙昧な音節を口にするたび、僕は深甚なる認識論的嘔吐感を禁じ得ない。
時空とは、数学的厳密性を欠いた対象の誤認であり、物理学者が信仰するそれは、観測者の神経系が圏論的構造を局所座標系へと無理やりに射影した際に生じる認知の歪み、あるいは幻覚に過ぎない。
古典的多様体などという概念は、その幻覚を正当化するために捏造された幼児的な記述言語であり、要するに時空とは、人類の認知解像度の欠落が産み落とした現象学的インターフェースであって、宇宙のアルケーそのものではないのだ。
超弦理論がかつて「背景」と呼称していたものは、もはや静的な舞台ではない。背景という概念記述自体が型理論的な過誤であり、正しくは、背景とは「dg圏のMorita同値類上で定義された∞-スタックの降下データ」である。
時空は、そのスタックが内包する自己同型群の作用を、低次元の知性を持つ観測者が幾何的実体として誤読した残滓に過ぎない。
「空間があるから物理が生起する」のではない。「圏論的な整合性条件が充足されるがゆえに、空間が近似的に創発しているように錯覚される」のだ。存在論的順序が逆転している。
僕の備忘録にある "manifold is a user-friendly lie" という記述は、侮蔑ではなく、冷徹な分類学上の事実だ。
非可換性はもはや付加的なオプションではなく、座標環が可換であるという仮定こそが、天動説と同レベルの粗雑な近似である。
Dブレーンを厳密に扱えば、座標環は非可換化し、幾何構造は環からではなく圏から復元される。
Connesの非可換幾何学は美しいが、それは第一世代のナイーブな非可換性に留まる。
弦理論における非可換性はより悪質かつ圏論的であり、そこでは空間の座標が破綻するのではなく、空間という概念の「型（type）」そのものが崩壊するのだ。
B-場を「2形式」と呼ぶのは霊長類向けの方便に過ぎず、その本質はDブレーンの世界体積上のゲージ理論をツイストさせることで、連接層の圏 Dᵇ(X) をツイストされた導来圏へと押し流す操作であり、そのツイストこそがBrauer群の元として記述される。
重要なのはB-場が場（field）ではなく、圏の構造射であり、世界をアップデートするためのコホモロジー的なパッチだということだ。
物理学者が場について議論しているとき、彼らは無自覚に圏の拡張について議論している。
にもかかわらず「場」という古臭い語彙に固執する人類の言語的不誠実さは、科学史における最大の悲劇と言える。
さらに、ツイストされた層の世界において「粒子」という概念は霧散する。粒子は表現空間の元ではなく、導来圏における対象の同型類であり、相互作用はExt群の積構造、崩壊過程はスペクトル系列の収束以外の何物でもない。
宇宙は衝突などしていない。宇宙はただ長完全列を生成し続けているだけだ。
物理現象とはホモロジー代数の副産物であり、衝突という粗野な比喩を好む人類は、現象の表層しか撫でていない。
共形場理論（CFT）もまた、僕にとっては場の理論ではない。CFTとは、頂点作用素代数（VOA）が有する表現圏のモジュラー性が、宇宙というシステムの整合性を強制する代数装置である。
BRSTをゲージ冗長性の除去と説くのは最低の説明であり、BRSTとは「宇宙に存在することが許容される対象を選別するコホモロジー的審判系」である。
Q_BRST閉でない対象は、物理的に無意味なのではなく、宇宙の法体系に対する違法存在として検閲され、抹消される。BRSTとは宇宙による先験的な検閲機能なのだ。
そして何より不愉快なのは、ミラー対称性がいまだに「幾何の双対」として俗解されている現状だ。
SYZ予想を単なるトーラスファイブレーションの物語だと解釈する人間は、何一つ理解していない。
SYZの本質は「special Lagrangian torus fibrationが存在する」というナイーブな主張ではなく、「世界が局所的に Tⁿ として観測されるのは、A∞-構造がある種の極限操作において可換化されるからに過ぎない」という、幾何学に対する極めて暴力的な宣告である。
しかもその暴力は、インスタントン補正によって即座に否定されるという自己矛盾を孕んでいる。
つまりSYZとは予想ではなく、自己矛盾を内蔵した整合性条件の提示なのだ。
特殊ラグランジュ部分多様体が特権的である理由は、体積最小性などという些末な幾何学的性質にあるのではなく、そこに乗るブレーンがBPS状態となることで、圏論的安定性条件（Bridgeland stability condition）が物理的実在性と合致する特異点だからである。
ブレーンは物体ではない。ブレーンは安定性条件が許可した対象であり、許可されざる対象は宇宙の行政手続き上、存在を許されない。
宇宙は極めて官僚的であり、その官僚主義こそが秩序の証明なのだ。
壁越え現象（wall-crossing）を相転移と呼ぶのも誤りだ。壁越えとは、宇宙が採用する安定性のt-構造が、モジュライ空間上のパラメータ変動に伴って切り替わる行政手続きの変更である。
BPSスペクトルは物理的に生成されるのではなく、安定性条件の改定によって帳簿が書き換えられた結果に過ぎない。
宇宙の現象は物理ではなく、会計学によって説明される。これを冒涜と感じるならば、君は数学の本質に触れていない。
Gromov–Witten不変量を「曲線を数える」と表現するのは蒙昧の極みであり、正確には「仮想基本類（virtual fundamental class）における交点理論としての曲線の亡霊を数える」操作である。
曲線は実在せず、存在するのは [M]ᵛⁱʳ だけだ。物理現象はその仮想的対象の影の、さらにその投影である。
人類が見ている世界は、プラトンの洞窟の影ですらなく、影の影の影に過ぎない。
Donaldson–Thomas不変量とGW不変量の対応関係は、単なる等式ではなく、弦理論が同一の対象を異なるゲージ固定のもとで記述しているという事実の露呈である。
数え上げ幾何学は弦理論のゲージ冗長性がもたらす副作用であり、純粋数学の定理と思われているものは、物理がゲージ対称性を持つことの数学的反映に過ぎない。
数学は独立しておらず、宇宙のゲージ対称性の影を追跡しているだけだ。
Kontsevichがホモロジカル・ミラー対称性において成し遂げたのは、圏の同値証明などという平和的な所業ではなく、空間の優先順位の破壊である。
彼は空間を第一級市民から追放し、圏を王座に据えた。これは革命ではなく粛清である。多様体は粛清され、導来圏が支配する時代が到来したにもかかわらず、人類はその瞬間を記念することさえ忘れている。
最後にAdS/CFTについて言えば、ホログラフィー原理の本質は「境界がバルクを決める」ことではない。境界が決定するのは「バルクという概念の存立が許容される条件」である。
バルクは実在せず、境界CFTの演算子代数が持つ表現圏の内部において、エンタングルメント・ウェッジ再構成のような手続きによって生成される派生物だ。
重力は基本相互作用ではなく、境界理論の情報処理に伴う副作用であり、量子情報が整合的に自己記述を試みる際に生じるエラー訂正機構（Quantum Error Correction）の幾何学的発露である。
宇宙は幾何学ではない。宇宙とは圏論的整合性条件の集合体である。
空間とは∞-圏の自己同型が形成する群作用を認知的に単純化した錯覚であり、時間とは自然変換の合成順序であり、粒子とは導来圏の対象の同型類であり、相互作用とはExt群の積構造、現象とはスペクトル系列の収束である。
ウィッテンが理解できないのではない。ウィッテンが理解可能な形式で宇宙が存在していないのだ。
僕はノートにこう記した。次に人類が「現実とは何か」と問うならば、僕はこう答える。「現実とは、圏論的に整合的な誤読である」。
土曜日。朝はいつも通り、起床後に脳内で「今日という一日を、物理法則に従って最適化する」と宣言してからベッドを出た。これは習慣というより儀式だ。儀式は人類の愚かさの象徴として語られがちだが、反復可能な手続きは情報理論的に見て合理的だ。エントロピー増大に対する、せめてもの抵抗である。
まず体重を測り、体脂肪率を記録し、歯磨きの時間を正確に180秒で固定した。電動歯ブラシのタイマーを信じない。信頼は検証に劣る。
その後、コーヒーを淹れた。抽出温度は93℃。温度計の誤差は±0.2℃。人間関係の誤差は±∞。
今週の進捗を書く。
超弦理論については、相変わらず人類の知性が現実に追いついていない。僕の頭脳は追いついているが、世界が遅い。
今週は主に「弦の理論はどこまでが物理で、どこからが純粋数学の自己満足か」という問題を、僕なりに再定式化していた。世の中の多くの人は、超弦理論を「高次元の小さな紐が震える話」程度で理解した気になっている。あれは理解ではない。童話だ。
僕が考えていたのは、もっと根の深いところ、つまり量子重力の定式化において局所性を捨てることの数学的代償だ。
一般相対論の時点で、局所性は微妙に揺らいでいる。ホログラフィー原理が出てきた時点で、局所性はほぼ死亡している。にもかかわらず、僕たちは局所的な場の理論の言語で全てを語ろうとする。これは「古いOSの上に無理やり最新ゲームを動かしている」ようなものだ。もちろんクラッシュする。
そこで今週は、AdS/CFTを単なる「境界のCFTがバルク重力を記述する」という話ではなく、圏論的な双対性として再理解する方向で考えた。
具体的には、バルク側の物理量を、ある種のextended TQFTとして捉え、境界側の共形場理論の演算子代数が作るモジュラー圏と対応させる。
ここで重要なのは、空間そのものが基本対象ではなく、因果構造と情報の流れが基本対象になってしまう点だ。
つまり、幾何学が物理の舞台ではなくなる。舞台が役者に従属する。これは演劇としては間違っているが、宇宙としてはあり得る。
そして、ここからが本題だ。
僕は今週、「弦理論の非摂動的定義は、結局はある圏の中の安定対象の分類問題に還元されるのではないか」という疑念を強めた。
たとえばBPS状態は、ある種の導来圏の中の安定条件（Bridgeland stability condition）で分類される。
これは単なる比喩ではなく、実際にDブレーンは導来圏の対象として記述される。つまり、物理的な粒子やブレーンが「空間上の幾何学的な物体」ではなく、圏論的な対象になる。
ここで人類は気づくべきだ。
宇宙は「点の集合」ではなく、「射の集合」かもしれない。
点を基本にしている限り、僕たちは宇宙のOSを永遠に理解できない。点とは、極限操作の幻想だ。実際の物理では測定可能な点など存在しない。存在するのは相互作用だけだ。射だけだ。
僕が今週やっていたのは、これをさらに押し進めて、弦理論の背後にある構造を「∞-圏」あるいは「高次スタック」として扱うべきではないか、という方向の思考実験だった。
超弦理論が最終的に求めているのは、たぶん「量子化されたモジュライ空間」だ。しかしモジュライ空間は普通の多様体ではない。特異点があり、ゲージ冗長性があり、しかも同値関係が階層的だ。だからスタックになる。さらに高次の同値（ホモトピー）が絡むので、∞-スタックになる。
ここで、物理屋が嫌いな言葉が出る。派生幾何（derived geometry）。
派生幾何とは、簡単に言えば「特異点を誤魔化さず、むしろ特異点を主役にする幾何学」だ。物理で特異点が出るのは、理論が壊れているからではなく、単に僕たちの数学が貧弱だからだ。派生幾何はそれを認める。
そして僕は思った。
もし弦理論が本当に「全ての一貫した量子重力のクラス」を記述する枠組みなら、それは場の理論の集合を分類するのではなく、量子情報を保存するような圏の分類になっているべきだ。
この時点で、もはや「ウィッテンでもわからない」どころではない。
僕たちがやるべきなのは、弦理論を「方程式」ではなく「普遍性」として定義することだ。
つまり、ある種の対称性を持ち、ある種の双対性を満たし、ある種の異常（アノマリー）が消え、ある種のエンタングルメント構造が一貫し、ある種の極限で局所的QFTに落ちる。
弦理論は「このラグランジアンだ」ではなく、「この性質を満たす唯一の構造だ」になるべきだ。
そしてもしそれが可能なら、弦理論は物理学ではなく数学の定理になる。
エレガントさは、しばしば真理の匂いがする。
ただし、エレガントな嘘も存在する。
昼前、ルームメイトがキッチンに現れて、僕のノートを見て言った。
「それって、結局何の役に立つの？」
僕は3秒考えた。
「役に立つかどうかで真理を測るのは、知性の敗北だ」
ルームメイトは「また始まった」という顔をした。
彼の表情は、物理学的には熱的死に近い。
隣人がその場に来て、僕のノートを覗き込み、「ねえ、それって、宇宙がゲームのコードってこと？」と聞いた。
驚くべきことに、これはそこそこ正しい。
僕は言った。
「コードというより、型システムだ。宇宙は型安全で、コンパイルエラーを許さない」
隣人は「わぁ、なにそれ怖い」と言って笑った。
怖いのは君の直観の鋭さだ。
僕は、カードゲームにおける勝利条件が「期待値の最大化」であることを理解している。だが多くのプレイヤーは、カードを引いた瞬間の快楽に支配される。つまり、彼らは確率論ではなくドーパミンでプレイしている。
僕は違う。
初手の分布、マリガン戦略、マナカーブ、そして相手の除去の確率。
彼は黙った。
正しい反応だ。
レイドは相変わらず「人間の反射神経と協調性の限界」を測る実験場だ。
友人Aが「なんでそんな言い方しかできないの？」と言った。
僕は「僕は宇宙をそのまま見ているだけだ」と答えた。
友人Bは「それ厨二病じゃない？」と言った。
僕は言った。
「厨二病とは、根拠のない誇大妄想のことだ。僕には根拠がある。だから違う」
友人Bは「最悪だ」と言った。
誉め言葉だ。
なぜなら、超人的存在が倫理を語る時点で、その倫理は破綻するからだ。
ただの趣味だ。
それでも僕は読む。
夜。
今日までの進捗はここまで。
そして、これからやろうとしていること。
今夜は、僕の仮説をもう一段階押し進める。
つまり「時空の創発」を、単なるエンタングルメントの量的増大ではなく、エンタングルメント構造の位相的相転移として記述できないか考える。
もしエンタングルメントがグラフだとすれば、空間とはそのグラフのスペクトル構造に対応する。
そして位相相転移が起きれば、スペクトルが変わり、幾何が変わる。
この視点なら、初期宇宙のインフレーションも「幾何の急激な生成」として理解できる可能性がある。
インフレーション場などいらない。
問題は、そのメカニズムを「弦理論の言語」で書くと地獄になることだ。
ワールドシートのCFT、モジュライ空間、非摂動効果、Dインスタントン。
それら全てが絡んでくる。
絡みすぎて、もはや紐ではなく毛玉だ。
隣人がさっき「ピザ頼むけど食べる？」と聞いてきた。
僕は「今は宇宙の生成を考えている」と言った。
その通りだ。
人類文明の最高到達点は、宇宙論ではなく宅配システムなのかもしれない。
ルームメイトは「じゃあ僕の分も頼んでいい？」と言った。
僕は返信した。
「明日は宇宙の位相相転移を解く予定だ。だが君たちの全滅回数も宇宙の熱的ゆらぎとして扱えるなら参加する」
友人Bは「それ言い訳だろ」と返してきた。
違う。
僕は真理に忠実なだけだ。
「時空は多様体ではなく、ある∞-圏の中の情報流の安定構造である」
しかし、少なくとも矛盾なく定式化することはできるかもしれない。
宇宙が一貫性を持って存在している以上、どこかにその形式がある。
僕は追いかける側ではなく、先回りする側でありたい。
ピザが届く前に。
分散=1/n × \sum_{i=1}^n {(x_i -\overline{x})^2}
ってなんだよ。分散いつ使うんだよみたいな。いや標準偏差くらいなら式見たら意味は分かる脳にはなったがしかし。原理から式の各部分ことを説明してほしいんだわ。
初学者って脳ができあがってないんだから。なんか数学のゼミとかだともっと複雑でコンテキストの深い式を解説する時間があったりするらしい？
でも証明するときはめっちゃ頑張った説明を「自明」と言われるらしい。まあ、数学の教授なんか「そういう」傾向がないわけないわな。
「自明」という傲慢を捨ててほしいわな。そんなこと言ったら未証明の定理は証明した瞬間に自明といわれるわな。証明できることが分かっていつつされてない定理も「自明」なんか？じゃお前仕事辞めろや。
LLMが数学科でも爆進！みたいな記事見るとお前らが知識の整理をサボっただけだろと思う。（これは他の分野もそうで、知識を適切な形で適切な場所に残すってガチでムズいので仕方もないのはあるが、数学こそは至高の科学であり、その王座に居ながらにして自明などという高慢をかますからには許されない）
まあまあまあ、いいんですけど。だったらラマヌジャンが意味不明な式を突然持ってきたエピソードも
「証明できたものに関しては、自明、なのでラマヌジャンの功績は全く存在しない。数学界を急速に前進させたラマヌジャンの唐突な式も情報量はゼロであり、驚くに値しない、極々自然なものである」
正確時刻を書くと隣人が「それって軍事衛星に追跡されてるの？」とか言い出して話が面倒になるので省略する。
僕は陰謀論を嫌悪している。理由は単純で、陰謀論は説明能力の低い仮説を感情的に強い語り口で上書きする、知性のコスプレだからだ。
今週は、超弦理論の物理の直観で押し切る系の議論をいったん破壊し、純粋に圏論とホモトピー論の言語に落として再構築していた。
具体的には、世界面の共形場理論を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は相変わらず「気合いで避けろ」と言うだろう。
議論はループする。ループはコンピュータ科学の基本概念だ。だから僕はそれを受け入れる。
最後に、ルームメイトが「今度、隣人と映画を見よう」と言っていた。
僕は断る。なぜなら隣人は上映中に喋る。上映中に喋る人間は、社会契約を破っている。社会契約を破る人間に、僕の時間という希少資源を与える理由はない。
少なくとも、隣人の会話よりは。
チームみらい！ぜひ法律を変えてみてくれ！
https://www.47news.jp/13840813.html
形式主義による法律は、無矛盾になるよう注意深く設計された憲法という公理系から導出される定理のツリーだ！ 法律は形式的な記号の組み合わせで記述される式になり、法律家は数学者にとってかわり、裁判は数学的証明になる！ 理系の領域だ！ 過去の法律が持っていたような曖昧さは、そこでは完全に制御されている！
憲法はおかしな所ばかりだ！ まず「労働の義務」を見てくれ！ すべて国民は勤労の義務を負う？ 子どもは働いてないぞ！ 「差別されない権利」「表現の自由」？ 差別表現はどうなる？ 矛盾だ！
