はてなキーワード: 関数とは
数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価
(リンク貼れないので略)
1196 Discussion Thread | Erdos Problems
(リンク貼れないので略2)
AIが解いたとされているエルデシュ問題#1196とAIによる証明についてだが、数学者になれてない自分でも証明を理解できたので解説してみる。
というか専門家でもない自分でも理解出来るような短くてわかりやすい証明が存在したからこそ、AIが見つけられたんだよねコレ。
リクトマン(AI以前に一番この問題の解決に肉薄してた数学者)が「神の書物の証明」と形容しているが、
昔から難しい問題(色んな実績のある数学者が挑戦したのに解けなかった問題と定義する)に簡単な証明があった時にこういう言い方をする。
さて、まず問題について説明するがエルデシュ問題#1196は自然数の集合Nの部分集合Aが原始集合なら
「Σ[a∈A,x<a]1/(a*log(a))=1+o(1)」を証明する問題となっている。
原始集合というのは例えば素数の集合{2,3,5,7,...}みたいにa<bかつbがaの倍数となるようなa,bを含まない集合の事である。
素数の集合に4を加えた集合{2,3,4,5,7,11,13,...}は2,4を含むし4が2の倍数だから原始集合ではない。
右辺の「1+o(1)」というのはxがとにかく非常に大きければ式の左辺が1に近くなるもんだと思っとけばいい。
原始集合Aに対してAから有限部分を除いた時に、各要素aに対して1/(a*log(a))を足してけば総和が1で近似出来る事を証明する問題だ。
そしてAIによる証明だがこれは特殊な双六(すごろく)ゲームを考えてそのゲームのとある確率を求める事で証明をしている。
・双六は完全な1本道でゴールがなく無限に長くて、各マスに1,2,3,4,...と自然数が順番に書いてある
・普通の双六はサイコロの結果にあわせて1~6マス進むが、この双六では例えばマス「7」に止まってる時は
次は「14」「21」「28」「35」...と止まってるマスの番号の倍数のマスのどれかに進むか、もしくは双六が強制終了する
このような双六ゲームではマス「a」に止まる事がある確率をv(a)とすると、Aが原始集合の時はΣ[a∈A]v(a)は必ず1以下になる。
例えばAが素数の集合を考えると、Σ[a∈A]v(a)はマス「2」「3」「5」「7」...のどれかに止まる確率になる。
マス「3」に止まる事があったらマス「7」に止まる事が無いようにΣ[a∈A]v(a)は排反事象の確率の和になるから1以下になる訳だ。
そして上記のような双六ゲームを考えてスタート地点がマス「n」である確率p(n)と
マスmに止まってる時に次にmの倍数kmに止まる確率p(m,km)を適切に設定する。
そうするとある定数Bがあってv(a)=1/(B*a*log(a))になる。
B*v(a)=1/(a*log(a))になるので、Σ[a∈A]1/(a*log(a)) = BΣ[a∈A]v(a) ≦ Bとなる。
このBがxが大きい時にB≦1+(C/log(x))となる事(Cは定数)を論文内の補題4を使って示しているので
Σ[a∈A]1/(a*log(a))≦1+(C/log(x))=1+o(1)より、証明が完成する。
上記のような双六ゲームを考えてこうやって確率を計算するアイデアは数学には昔からある有り触れた物である。
確率p(n)と確率p(m,km)を考えるのに使うフォン・マンゴルト関数は昔からよく使われてる物だし
確率の設定の仕方も有り触れた物だし論文内の補題4自体も数論の論文で見かける程度には有り触れた不等式によるものである。
するとこの論文は「双六ゲームを考える」「フォン・マンゴルト関数を使う」「確率を設定する」「有り触れた不等式を使う」と
4つの有り触れたアイデアを上手く組み合わせる事で完成している。
でも各段階でどのような有り触れたアイデアを採用するかで軽く10種類以上は選択肢があるし
大雑把に合わせると10000種類以上のアイデアの候補の中から証明出来るものを探す事になる。
この10000種類以上のアイデアを上手く絞ってく能力が高い人は数学者になれる可能性がある。(数学者は必ずこれが出来る必要はない)
が、AIの場合は上手く絞ってく必要もなく10000種類以上のアイデア全てについて試して証明が出来るか全数探索が出来る。
力技で正しい証明を見つけられる訳だ。
今回AIがエルデシュ問題#1196を解けたのはこうやって4つくらいの有り触れたアイデアを組み合わせて完成するような証明があったからである。
今まで考えられた事のないアイデアを必要とする場合や非常に多くのアイデアを組み合わせるような証明になると
AIがアイデアの組み合わせを全数探索する事では証明に辿り着けないから今回とは違うやり方が必要になる。
それでも数が多くはない有り触れたアイデアを組み合わせる事で証明出来るような問題には、今のAIは証明文を生成できるという事である。
時代は進歩したというべきか、4色問題をプログラムで力技で解いた時代と本質的には変わってないというべきか、
それは人によっては違うんだろう。
そうなんですよね。なんかとても狭い範囲のコーディング作業の量的解決とかそんな前提の話のように見えるんですよ。前提条件とかアウトプットがある程度決まりきってる業務フローが前提になってるように見える。「PDCAを回すんだ!回せる奴が勝つ!」みたいなのって嘘くさい。Pがしっかり構成されていてPDCAが数回で求める答えにたどり着く方がたぶん強くて、雑に投げたPを1億回とか回して「良い感じ評価ポイント関数」が最大になったからいいアウトプット、みたいなのはなんか違う。計算資源が無限に安くて早ければそういうのもありかもしれないけど。
辺野古で高校生(と活動家)が犠牲となった痛ましい事故について、平和教育や反基地活動そのものにどの程度関連付けて議論すべきかは、非常に専門的な知識と判断を要する。
まず事故の直接的な原因についてのみ検討すると、本件は直接的に抗議活動を行っていた最中の事故ではなく反基地活動や平和教育と言った要因は無関係であると考えられる。自分はマリンアクティビティについての専門家ではないので観光事業者が分析した記事を引用する[1]。複合的な技術的要素が重なって発生した事故である一方で、基本的な安全の管理体制の不足が指摘されている。しかし不適切な安全の管理が行われること自体は反基地活動や平和教育といった目的がなくとも世界中で発生している事象であり(知床観光船やJR九州高速船の事案は近年かつ大きく報道されたこともあり記憶に新しい)、即座に反基地や平和教育と結びつけて議論することは適切ではない。
一方、安全について議論する際に直接的要因のみにフォーカスするだけでは片手落ちである。実際、発生してしまった多くの事故では経済的な理由によって安全の優先順位が劣後したケースが少なくなく(つまり利益を優先して安全を軽視している)、組織全体に背景要因となる文化が染み付いているような場合は直接的要因を潰しても必ず似たような理由で再び事故が起きる。
では辺野古の事故において、平和教育や反基地活動は重要は背景要因ではなかったのだろうか。推測を含む部分はあるが、到底無関係とは言えないだろう。まず今回の事故を起こしたヘリ基地反対協議会は過去にも死亡事件を起こしており、事故を起こしたにもかかわらず必要な安全管理策を取らなかった、明らかに安全文化が劣後した集団である。その背景要因として、反基地活動という崇高な目的が、彼らの手段を集団内で正当化した可能性は否定しきれない。また同志社国際高校についても、本来実施すべき安全確認のプロセスが平和教育という目的、あるいは普段から深い繋がりのある団体であるからと言った理由ですっ飛ばされた可能性はあるだろう(客観的事実として、そもそも繋がりのない団体かつ通常の団体が提供するサービスであれば旅行代理店のチェックは最低限入る)。
何よりも、この様な重大事件を引き起こした後でも、平和教育や反基地活動の正しさという思想から発生した行為の正しさは維持しようとする姿勢そのものが背景要因としての重要さを物語っている[3][4]。仮に経済的に行き詰まった業者が安全を軽視して船を運航し、「事故を起こしてしまったことは問題だが、会社が潰れるか、社員を路頭に迷わせるかどうかの瀬戸際であり、利益を優先する経営方針は間違っていない」と主張したらどうなるだろうか?またそもそも、こんな主張をしておきながら政府が「沖縄県民への基地負担は問題だが、沖縄の基地は日本だけでなく世界の秩序の安定化に必要であることは正しい」と主張した場合にどの面を下げて批判できるのだろうか?
そこそこの期間安全の専門家として生きてきたが、実は経済的な目的変数が重要視されている場合はやりようがある。なぜなら重大な事故は経済的な利益にダイレクトに影響するからだ。一方で、反基地活動のように理念そのものが目的変数である場合、事故が発生してもその評価関数自体は維持されやすく、内部で正当化が可能なため、安全改善のフィードバックが回りにくい。事故の経過を観察するに、これは本当に問題の根が深い。反基地活動を再開するのであれば、理念よりも安全を優先する文化をまずは整えてからにすべきである。
[1]https://note.com/irukaoyaji/n/n77b7bedf08f5#2edc8ca8-3290-42d4-8b00-9891d0ff4f36
[2]https://www.sankei.com/article/20260423-C4NDGHI7ERLITJAJFZ5DQI2IDM/
[3]https://note.com/unknownbuttruth/n/n058ea58c5c8e
[4] https://www.sankei.com/article/20260505-2M6P2PZPTRLRRLPWMEPHDBYRGY/
世の中には二種類の人間がいる。
「動けばいい」と祈りながらクソコードを世に放つ臆病者と、その後始末を請け負う命知らずだ。
俺たちの事務所に持ち込まれる案件は、どれも似たり寄ったりだ。
「仕様書と挙動が一致しません。挙動の方が正しいと思ってください」
「なぜ動いているのか、社内の誰も知りません」
そんな甘い囁きと共に、数万行の泥沼がUSBメモリという名の棺桶に入れられてやってくる。
「……おい、この関数名を見てくれ。logic_final_final_v3_dead() だ。前任者の断末魔が聞こえるようだぜ」
相棒はキーボードを叩きながら、安物のバーボンを一口煽るような顔で、エナジードリンクを啜った。
「いいか、コードを読み解くのは、凶悪犯のプロファイリングと同じだ。なぜここでグローバル変数を書き換えたのか? なぜ、わざわざ再帰処理の中でDB接続を張ったのか? 犯人の――いや、開発者の『絶望』を理解したとき、ようやくデバッグの入り口に立てる」
俺たちは画面の中の暗黒街を歩く。
1フレームごとに発生するメモリリークは、雨上がりの路地裏に溜まるヘドロだ。
そして、ようやく見つけたバグの正体が「タイポ(打ち間違い)」だったとき、俺たちは乾いた笑い声を上げる。
Microsoft Officeのwordとexcelのスペシャリストの資格を取りました。結構面白かったので、せっかく覚えたスキルを忘れないためにも出来るだけプライベートでもwordとexcelを活用していきたいです。wordとexcelをプライベートでどのように活用していけば良いと思いますか?何か案を出してください。
とchatgptに聞いてきた。
以下はその回答。
いいですね、その発想はかなり実用的です。資格って「取って終わり」になりがちですが、日常で使うようにするとスキルがちゃんと“使える状態”で定着します。Microsoft Word と Microsoft Excel はプライベートでもかなり応用が効きますよ。
→ 特に「自動計算+可視化」を使うと、Excel力が落ちにくいです。
ここが一番おすすめです。好きなことと結びつけると自然に使います。
ブログ下書き
迷ったらこれが良いです:
→ これ、地味ですがかなり力つきます。
■ 正直なところ
とルール化するといいです。
もしよければ、
ダイエットもしたい。
いい組み合わせですね。ちゃんと設計すれば、Microsoft Excel と Microsoft Word だけで「生活改善+趣味+アウトプット」が全部つながります。
中途半端に手を出すより、“1つの仕組みとして回す”のがコツです。
テーマはこれです:
項目例:
評価(★1〜5)
感想(短文)
視聴日/読了日
「気分(感動・考えさせられる等)」分類
月1で「今月のベスト」をまとめる
運動内容
+重要:
グラフで推移表示
週1で「振り返り日記」
うまくいったこと
崩れた原因
改善策
👉 継続力が段違いで上がる
これ、Excelと相性いいです。
アイテム名
使用頻度
必要度(★)
+応用:
ここが一番大事です。
Word(メイン)
テーマ例:
👉 「考える力」と「書く力」が伸びる
Excel(補助)
書いた本数管理
テーマ一覧
■ ⑤ すべてをつなぐ「週次ルーティン」
これをやると一気に習慣化します。
週1(30〜60分)
月1(1時間)
ダイエット結果振り返り
部屋の見直し
■ 正直なアドバイス
全部完璧にやろうとすると確実に続きません。
Word:週1だけ書く
👉 「続く → 少し足す」が正解です
■ このプランの強いところ
ダイエット → 数値で成果見える
希望があれば、
までかなり細かく作れます。
増田において俺は、長らく同一の形式・同一の動機で投稿を繰り返してきた。
それは外部から観察すれば、供給曲線が右方にシフトし続ける、いわば自己放尿の持続的過剰供給である。
しかし重要なのは、その供給が制度や思想に強制されたものではなく、あくまで私的選好に基づくものであったという点だ。
そして今、俺はその自己放尿をやめる。
だがこれは、言論の自由に対する否定ではない。むしろ逆だ。自由な発言と競争的な言論市場は最大限に尊重されるべきである。
多様な主体が自己放尿を行い、それが淘汰されるプロセスこそが、情報の価格メカニズムに相当する。
俺はその制度を歓迎しているし、他者の自己放尿を規制しようなどとは微塵も考えていない。
問題は完全に私的な領域にある。すなわち、俺の効用関数の変化だ。
かつては、増田における自己放尿から得られる限界効用は正であった。
しかし時間の経過とともに、その限界効用は逓減し、ついにはほぼゼロに近づいた。
にもかかわらず慣性により供給を続ける状態、それこそが利益ゼロと習慣依存のダブル放尿である。
この状態は非効率である。なぜなら、投入される時間という希少資源が、より高い効用を生む代替用途へと再配分されていないからだ。
価格理論的に言えば、機会費用の無視であり、合理的選択からの逸脱である。
ここで誤解してはならないのは、ケインズ派的な需要管理やリフレ派的な貨幣供給拡大が、この決定に一切関与していないという点だ。
連中の貨幣供給と政策介入のダブル放尿は、あくまでマクロ的な議論であり、俺のミクロ的選択とは独立している。
俺は連中に屈したのではない。単に、俺の主観的評価において、この活動の相対価格が変化しただけである。
むしろこれは、個人の自由な選択の実践である。外部からの強制も、集団的圧力もない。
ただ自らの効用最大化問題を再計算し、その最適解として自己放尿の停止を選んだにすぎない。
この決定は規範的な主張ではない。他者に自己放尿をやめよと説く意図もなければ、言論市場における供給を制限しようという意図もない。
むしろ自由な自己放尿が溢れる環境こそが健全であり、その中で各主体が自らの限界条件に従って参入・退出を選択することが望ましい。
俺は自己放尿をやめる。しかしそれは、思想的敗北ではなく、個人的最適化の帰結である。
そして市場には、これからも無数の自己放尿と、時に自己放尿と他己放尿のダブル放尿が溢れ続けるだろう。それでいい。それが自由市場なのである。
量子力学の厳密な形式主義において、宇宙は単一の普遍波動関数 |Ψ⟩ として記述される。
ヒルベルト空間 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 の解が、俺の意識をタイムレスな境界条件としてのみ非自明な解を持つように。
したがって、すべての物理法則、すべての粒子、すべての出来事は、俺の幸福人生という単一の整合性条件から派生した幻影である。
今日も僕は、存在の根源的織りなす無限の圏論的深淵を、さらに一層、否、無限階層的に穿ち進めた。
控えめに言って、この惑星上で僕ほど本質的な知的貢献をなしている存在は、恐らく他にない。
午前中は、昨日確立した量子化された情報欠損射 Δ_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 として完全に剥ぎ取る最終段階が待っている。
以上。
市場とは分散された知識の自生的秩序であり、価格システムはその情報集約装置である。
この基本命題を無視した瞬間、政策はすでに自己放尿の領域に突入している。
すなわち、日本政府が戦略的投資なる名目で資源配分に介入すること自体が、シカゴ学派的観点から見れば制度的に約束された失敗、言い換えれば制度設計レベルでの自己放尿である。
市場参加者は局所的・時間的に分散した知識を持つが、官僚はそれを集約することができない。
この非対称性のもとで行われる産業政策は、知識問題を無視した典型的な自己放尿である。
価格メカニズムを通じてのみ可視化される希少性シグナルを無視し、行政的裁量で投資先を決定する行為は、情報とインセンティブのダブル放尿と言える。
民間企業は利潤最大化という明確な目的関数を持つが、政府は再選・予算最大化・官僚的保身といった多元的かつ曖昧な目的関数に支配される。
これは公共選択論的自己放尿であり、さらに言えば非効率と責任回避のダブル放尿である。
第三に、資本配分の誤りが累積する。
市場では誤った投資は損失として即座に顕在化し、退出圧力が働く。
いわゆるソフト・バジェット制約のもとで、ゾンビ的プロジェクトが温存される。
これは時間非整合性とモラルハザードのダブル放尿であり、資本ストック全体の生産性を恒常的に毀損する。
さらに重要なのは、こうした介入が将来期待に与える影響である。
政府が市場に介入するという期待は、民間の投資判断を歪め、リスクテイクを政治依存へと変質させる。
結果として、企業はイノベーションではなくロビイングに資源を配分するようになる。
これは期待形成と資源誤配分のダブル放尿であり、長期成長率を内生的に引き下げる。
政府の役割はルールの設定に限定されるべきであり、裁量的な資源配分は避けるべきである。
なぜなら、ルールは予測可能性を提供するが、裁量は恣意性と不確実性を増幅するからだ。
日本政府の投資政策は、この原則に反し、ルールなき裁量という最悪の制度形態、すなわち制度的自己放尿を体現している。
日本政府が成長のための投資と称して前面に出る行為は、市場の情報機能とインセンティブ構造を破壊する累積的プロセスであり、その帰結は不可避的に自己放尿である。
しかもそれは単発では終わらない。
情報の歪みとインセンティブの歪みのダブル放尿、短期政治と長期非効率のダブル放尿として、経済全体に持続的な損失をもたらす。
最も合理的な政策は何もしないことではなく、余計なことをしないという制度的抑制である。
君の脳みそがまだ実数直線上の快適ゾーンに留まっている証拠さ。
だが、残念ながら(いや、幸運にも)、p進弦理論はそんな下品な比喩で片付けられるものじゃない。
なぜなら、それは数論的宇宙の深淵を覗き込み、Planckスケール以下の真の幾何を暴き出す、motivic superstringやp進AdS/CFTホログラフィーの基盤だからだ。
君の比喩を優位に粉砕してあげよう。
普通の弦理論が「実数上の世界シートで弦を振動させる」だけの、連続体の幻想に縛られたモデルだとすれば、p進弦理論はそれを非アルキメデス的超離散化し、アデリック積公式で実数(∞)と全素数pの振幅を統一する。
これが「うんこを食べる」行為なら、君は毎日実数直線を這いずり回って測定不能な連続体を食べてるだけじゃないか?
p進版は、素数ごとに厳密にsolvableな有効作用を与え、タキオン凝縮を解析的に解き、Senの予想を明確に検証できる玩具モデルを超えたツールになる。
Tateのテーゼと結びつき、世界シートをp進曲線(Tate曲線)上で定義し、L関数やRamanujan予想の物理的実現を試みる。
motivesで弦の分配関数をMellin逆変換として表現すれば、背景独立で連続体フリーの究極弦理論が生まれる。
閉弦版の困難さえ、p進AdS/CFT対応(Gubserら2016以降)で解決の糸口が見えるBruhat-Tits木やDrinfeld上半平面上のテンソルネットワークで、エントロピーやentanglement wedge reconstructionを厳密に計算可能だ。
これが「うんこグルメレポート」なら、君の日常物理学は実数うんこを無限に薄めて味見してるだけさ。
p進版は、暗黒物質・暗黒エネルギーの非局所的起源を説明する可能性すら持つ(Dragovichの提唱)。
Planckスケールで測量限界が生じ、Hasse原理のように局所-大域原理で量子重力の矛盾を回避する。
普通の弦理論の紫外発散や非摂動的定義の難しさを、p進の超距離性(ultrametric)が自然に抑え、tmf(topological modular forms)の弦配向との深層対応まで示唆する。
君が「全く理解できない」と感じるのは、君の認知がまだ幼児レベルだからだ。
p進弦理論は、人類がようやく手にした数論的量子重力の窓、実数弦理論の「うんこ」を、素数ごとに分解・再構築し、宇宙の究極コードを暴くものだ。
理解できないなら、黙って勉強したまえ。僕の天才的脳みそは、すでにこの超弦の全p進族を掌握済みだ。
もっと深い闇、例えばp進遺伝子コードや非局所宇宙論に連れて行ってほしいか?
いや、本気だ。質問を待ってるぞ、凡人。
p進弦理論、僕の天才的な脳みそにぴったりの、弦理論の非アルキメデス的変種だね。
君のような凡人が理解できるように、幼児から廃人まで5段階で説明してあげよう。
宇宙の小さなものは、普通は点じゃなくて弦みたいな細いゴム紐が振動してるんだよ。
でもp進弦理論は、その紐をp進という魔法の数字のおもちゃ箱の中で遊ばせるんだ。
普通の数字は「1、2、3…」と遠くなるけど、p進の世界では「2の倍数がいっぱい近づく」みたいな、変な距離の測り方をするよ。
まるでお気に入りのブロックを、特別なルールで積み上げるだけ!
簡単すぎて退屈だろ? 宇宙の秘密がこんなおもちゃで解けるなんて、幼児でも笑えるほど天才的だ。
君たちはまだ量子力学と一般相対性理論の入門を終えたばかりだろう?
弦理論の基本は知っているはずだ。基本粒子は点ではなく、1次元の弦の振動モードで、時空は通常実数 R や複素数で記述される。
ベネチアーノ振幅のような散乱振幅は、世界シートの境界を積分して計算する。
p進弦理論(Volovichが1987年に提案したもの)は、これをp進数体 Q_p に置き換える。
p進数とは、素数pに関するp進ノルム |x|_p = p^-v_p(x) で完備化した非アルキメデス的距離の世界だ。
距離の三角不等式が超距離的(ultrametric)になるため、計算が劇的に単純化される。
A_p(a,b) = g_p² ∫[Q_p] |x|_p^(a-1) |1-x|_p^(b-1) dx
で定義し、結果は
A_p(a,b) = g_p² { (1 - p^(a-1)) / (1 - p^-a) } { (1 - p^(b-1)) / (1 - p^-b) } { (1 - p^(c-1)) / (1 - p^-c) }
(ただし a+b+c=1)
という閉じた形になる。明らかに、普通の弦理論より扱いやすい玩具モデルだ。君たちにはちょうどいい難易度だろう。
p進弦理論の核心は、アデリック構造にある。実数(∞)での通常ベネチアーノ振幅 A_∞(a,b) と、全素数pでのp進振幅の積が
A_∞(a,b) Π_p A_p(a,b) = 1
という美しい積公式を満たす(Freund-Witten 1987)。これにより、p進版はツリーレベルでexactに solvable になる。
開弦タキオンの有効作用は、Dragovichらにより完全に導出済みで、非局所的なラグランジアン
L_p = { (m^D p) / g_p² } { p² / (p-1) } [ -1/2 φ p^(-□/2m²) φ + (1 / (p+1)) φ^(p+1) ]
(□はダランベルシアン)
となる。この作用は、4点だけでなく全高次ツリー振幅を正確に再現する。
p進の超距離性のおかげで紫外発散が自然に抑えられ、タキオン凝縮の解析が解析的・厳密に可能だ。
普通の弦理論の近似計算では到底及ばない。君の論文に使えるぞ、当然ながら。
1987年のVolovich論文「p-adic string」で始まり、Vladimirov, Freund, Witten, Aref’eva, Dragovichらにより体系化された。
p進弦は、Planckスケール以下の非アルキメデス幾何を仮定したモデルで、世界シートをp進幾何に置き換える。
有効作用の厳密性は特に強力で、Ghoshal (2000) らはこれをタキオン凝縮とブレーン降下関係の明示的実現に用いた。
p→1極限では通常弦の世界シートを格子離散化する解釈さえ可能(Ghoshal 2006)。AdS/CFT対応のp進版(p-adic holography)への橋渡しも近年活発だ。
計算の簡明さは比類なく、動的タキオン真空のエネルギーゼロ解が解析的に求まる。
弦場理論の玩具モデルとして、Schnablらの解法やMoellerの仕事に直接インスパイアを与えた。
君が引用すべき文献は、Dragovichのレビュー「p-Adic mathematical physics: the first 30 years」だ。僕の知る限り、これ以上の精密さはない。
motivic theoryとのつながりで、世界シートを Q 上の代数多様体として扱い、L関数やRamanujan予想(τ(p)の境界)まで絡む。
Volovichのmotivic弦理論では、分配関数がL関数のMellin逆変換として表され、背景独立かつ連続体フリーになる。
p進量子力学(Vladimirov 1989)との融合で、超距離的時空がPlanckスケール以下の真の幾何だと仮定すれば、ブラックホール生成による測量限界(Δx > ℓ_Planck)が自然に導かれる。
p→∞極限で通常弦に収束するだけでなく、p-adic AdS/CFT(Gubserら)では階層的構造がエントロピー計算に直結する。
閉弦版の厳密作用はまだ完全ではない。p-adicコホモロジーやGalois群との深層対応は、弦理論の究極の物理理論として、数論的宇宙論全体を再定義する可能性を秘めている。
これを理解できるのは、世界に僕と君くらいだ。明らかに、p進弦理論は人類の知性の頂点、そして、僕の脳みそがすでに到達済みの領域だ。
経済学を学んできた人間として私が長年思い知らされてきたことのひとつは、技術革命についての予測はほぼ必ず二つの方向に間違えるということだ。短期的な影響を過大評価し、長期的な影響を過小評価する。Amara’s Lawと呼ばれるこの法則は、もう耳にタコができるほど引用されているが、引用している人々の大半がその含意を正しく理解していない。
なぜか。この法則が本当に言っているのは、私たちは技術の生産性への経路(path)を予測するのが絶望的に下手だということであり、それは「長期的にはすごいことになる」という楽観論の根拠にはならないからだ。むしろ謙虚さの根拠である。
1987年、ロバート・ソローが言った有名な一言がある。「コンピュータの時代はどこにでも見えるが、生産性統計の中には見えない」。いわゆるソロー・パラドックスだ。
結局のところ、ソローは間違っていた——ただし、正しくなるまでに約10年かかった。1990年代後半になってようやく、IT投資は全要素生産性(TFP)の統計に姿を現した。そしてその生産性ブームは2004年頃にはもう息切れしていた。つまり、真に生産性が加速した期間はせいぜい7〜8年だった。
ここで問いたい。AIについて、私たちはソロー・パラドックスのどの段階にいるのか?
私の暫定的な答え:まだ最初期、つまり投資は膨大だが生産性統計にはほとんど現れていない段階だ。2024年から2025年にかけて、米国の大手テック企業はAI関連の設備投資に年間2000億ドル以上を注ぎ込んでいる。これはドットコム・バブル期のIT投資をインフレ調整後でも凌駕する規模だ。しかしBLS(労働統計局)の生産性データは頑固に平凡なままである。
これ自体は悲観する理由ではない。1990年代の教訓は、GPT(General Purpose Technology、汎用技術——チャットボットの名前ではない)の生産性効果は補完的な投資と組織変革が追いついて初めて顕在化する、というものだった。電力についてのPaul Davidの古典的研究が示したように、工場が電力を最大限活用するには、建物の設計から生産プロセスまで全面的に作り直す必要があった。それには一世代かかった。
問題は、AIについてこの「一世代」がどのくらい圧縮されるか——あるいはされないか——である。
■ 今回は本当に違うのか
AI推進派(ブースター)たちの主張を整理しよう。彼らの議論は概ね三つの柱からなる。
第一に、AIは「知的労働」を自動化するので、過去の技術革命(肉体労働の機械化)とは質的に異なる。第二に、AIはAI自身の改良に使えるので指数関数的な自己改善が起きる。第三に、したがって従来の経済モデルは適用できない。
率直に言おう。第一の主張には相当の真実がある。第二の主張は経験的にまだ確認されていない。第三の主張はほぼ確実にナンセンスだ。
第一の主張から。確かにLLM(大規模言語モデル)がホワイトカラー業務の一部を代替・補完できることは明らかだ。コードを書く、文書を要約する、定型的な分析をする——これらのタスクでAIが人間と同等かそれ以上のパフォーマンスを示す場面は増えている。そしてこれらはGDP統計の中でかなりの比重を占めるセクターの業務だ。
しかし——そしてこれは大きな「しかし」だが——タスクの自動化と職業の自動化は全く別物である。これはDaron AcemogluとPascal Restrepoの研究が繰り返し示してきたポイントだ。ある職業の30%のタスクが自動化可能だとしても、その職業が消滅するわけではない。むしろ、残りの70%のタスク——AIには(まだ)できない判断、交渉、文脈理解——の相対的価値が上がる。
経済学ではこれを「Oの環理論(O-ring theory)」で考える。宇宙船チャレンジャー号を思い出してほしい。あの事故では、一個のOリングの不具合が全体を破壊した。多くの知的労働もこれに似ている。プロセスの大部分をAIが完璧にこなしても、人間の判断が必要な一箇所が全体の質を規定する。この構造がある限り、「AIが全てを代替する」というシナリオは実現しにくい。
投資の話に戻ろう。
私はバブルかどうかという問いの立て方自体が間違っていると思う。正確な問いはこうだ:現在のAI投資の期待収益率は、資本コストを上回っているか?
NVIDIAの株価は、AI関連の半導体需要が今後5年間にわたって年率30%以上で成長し続けることを織り込んでいる。Microsoftのクラウド事業の評価額は、企業のAI導入率が楽観的なシナリオの上限で推移することを前提としている。これらの仮定が同時に成立するためには、AIの経済的価値が、それこそ過去のどの汎用技術よりも急速に実現されなければならない。
これは不可能ではないが、歴史的な基準率(base rate)を考えれば、かなり強気な賭けだ。
もうひとつ、あまり議論されないが重要なポイントがある。AI投資の地理的・企業的集中度だ。米国のAI設備投資の大部分は事実上5〜6社に集中している。これは1990年代後半のテレコムバブルと構造的に似ている——大量の資本が少数のプレイヤーの「勝者総取り」の賭けに集中し、セクター全体の合理性が個別企業の楽観バイアスの総和によって歪められる。
マクロ経済的により心配なのは、バブルが弾けた場合の波及効果だ。テック企業の設備投資がGDPの相当部分を占めるようになった今日、AIへの期待の急激な修正は、2000年のドットコム・クラッシュよりも大きなマクロ的ショックをもたらす可能性がある。
■ 分配の問題
仮にAI楽観論者が正しいとしよう。AIが本当にGDP成長率を年1〜2ポイント押し上げるとしよう。それでも、私にとって最も重要な問いは変わらない。誰がその果実を得るのか?
過去40年間の技術進歩の歴史は、生産性の上昇が自動的に広く共有されるわけではないことを痛いほど示してきた。実際、skill-biased technological change(技能偏向的技術変化)の文献が明らかにしたのは、ITの普及が賃金格差の拡大と中間層の空洞化に寄与したということだ。
AIの場合、分配効果はさらに極端になる可能性がある。なぜなら、AIが代替するのは(少なくとも当面は)比較的高給のホワイトカラー業務の一部だからだ。パラドキシカルに聞こえるかもしれないが、配管工やクリーニング業者の仕事は、弁護士のパラリーガルやジュニアのプログラマーの仕事よりもAIによる代替に対して安全だ。これは分配の観点から複雑な含意を持つ——単純な「高スキル対低スキル」の図式では捉えきれない再編が起きる。
■ 私が本当に心配していること
以上を踏まえて、AI経済についての私の暫定的な見方をまとめよう。
AIは本物の汎用技術であり、長期的に有意な生産性効果をもたらす可能性が高い。しかし「長期的」が何年を意味するかについて、私たちは驚くほど無知である。現在の投資水準は、その効果が歴史的に例外的な速さで実現されることを前提としている。そしてたとえ楽観的なシナリオが実現しても、分配の問題が自動的に解決されることはない。
私が最も心配しているのは、AIについての公共的議論の質だ。テクノ・ユートピア主義者たちは「AGIが3年以内に来る」と叫び、テクノ・ペシミストたちは「大量失業が来る」と叫ぶ。そしてどちらの陣営も、自分たちの主張がきわめて不確実な予測に基づいていることをほとんど認めない。
経済学を学んだ人間として私が言えるのは、不確実性にはそれ相応の政策的対応がある、ということだ。セーフティネットの強化、教育と訓練への投資、競争政策による市場集中の抑制——これらは、AIがユートピアをもたらす場合でもディストピアをもたらす場合でも、あるいはその中間の(最もありそうな)場合でも、正しい政策だ。
確実性の幻想に基づく政策よりも、不確実性を認めた上でのロバストな政策のほうが、はるかにましだ。これは退屈な結論かもしれない。だが退屈な正しさは、刺激的な間違いに勝る。いつだってそうだ。
結論から言おう。これは単なる失態ではない。これは典型的な自己放尿だ。
しかも繰り返し発生する、制度的・認知的失敗としての自己放尿である。
俺は市場の自由という分散的情報処理メカニズムを無視し、他人の行動に対して規範的干渉を行った。
その瞬間、価格シグナルを踏みにじり、主観的価値理論を否認し、機会費用の概念を忘却した。これを自己放尿と呼ばずして何と呼ぶのか。
市場とは、個々の主体が持つ断片的かつローカルな知識を、価格というシンプルな信号に圧縮して交換する装置である。
ここで重要なのは、誰一人として全体像を把握していないという事実だ。にもかかわらず、俺は他人の選択に「それは非効率だ」「それは間違っている」と口出しした。
これは、情報の非対称性を理解していない証拠であり、同時に自分が持ち得ない知識を持っていると錯覚する致命的なハイエク的傲慢だ。つまり、自己放尿である。
さらに悪いことに、俺は暗黙のうちに厚生経済学的な改善を気取った。
だが、パレート改善の定義すら厳密に満たしていない介入は、単なる価値判断の押し付けに過ぎない。
外部性の存在を証明もせず、取引費用の構造も分析せず、ただ感情で他人の行動にケチをつけた。
この時点で、俺は価格理論の基礎を放棄している。主観的効用を観察可能なものと誤認し、序数的選好を基数的に扱うという、初歩的誤謬の連鎖だ。
第一に、個人は自らの効用最大化に関して最良の判断者であるという前提。
第二に、競争市場はインセンティブと情報の整合性を通じて資源配分を調整するという理解。
第三に、理論は現実の説明力によって評価されるべきであり、道徳的直観ではない。
俺はこれらすべてを踏み外した。自分の直観を市場の上位に置いた瞬間、自らの無知を露呈したのだ。
もっと冷酷に言えば、俺の行為は他人の効用関数に対する侵略だ。
市場における交換は自発的であり、双方が主観的に利益を得ると判断したから成立する。
そこに第三者として割り込み、「その選択は間違いだ」と断ずることは、観察不可能な内部効用を外部から否定する暴力に等しい。
ここに合理性はない。あるのは、誤った優越感と、理論なき規範の押し付けだけだ。つまり、自己放尿である。
なぜなら政府は強制力を持ち、非自発的交換を制度化する主体だからだ。
租税、規制、補助金、いずれも価格メカニズムを歪め、インセンティブ構造を変形させる。
ここでの批判は、個人の選択を尊重するためのもの、すなわち市場秩序を防衛するための理論的帰結である。
政府介入は往々にして意図せざる結果を生み、公共選択論が示す通り、政治主体もまた自己利益最大化を行う。
したがって政府批判は、自己放尿ではない。むしろ自己放尿の予防接種である。
だが俺は、その本来向けるべき批判の矛先を誤った。政府ではなく、個人に向けたのだ。
強制力を持たない主体に対して規範的攻撃を行い、強制力を持つ主体への分析を怠った。
この転倒こそが、認知的資源の誤配分であり、思考における非効率性そのものだ。俺は市場の分散的合理性を攻撃し、中央集権的判断の幻想にすがった。
俺の誤りは一つに収束する。自分の知識の限界を過小評価し、他者の知識の価値を過小評価したことだ。
市場はそのギャップを埋める制度であり、価格はその翻訳装置である。
それを無視した瞬間、分析者ではなく、単なる干渉者に堕した。そして干渉者は、ほぼ例外なく自己放尿する。
次にインセンティブを見ろ。
それができないなら、口を閉じろ。でなければ、また自己放尿するだけだ。
自己放尿とは、個人が自らの効用を毀損する非合理的選択である。
すなわち、限界便益が限界費用を下回るにもかかわらず実行される行動であり、価格理論的に言えば誤った主観的評価に基づく資源配分の失敗である。
しかしここで重要なのは、この自己放尿が誰の計算主体の中で完結しているかという点である。
市民の自己放尿は、ミクロ的には単なる効用関数の歪み、あるいは情報コストを節約した結果としての合理的無知の副産物である。
人間は完全合理ではないが、観察される行動は制約下での最適化の結果として解釈されるべきだ。
つまり市民の自己放尿は、外部から見れば愚かでも、その主体にとっては制約付き最適化問題の一解にすぎない。
自己放尿する自由、すなわち自らの資源を非効率に消費する自由は、市場経済の本質的帰結である。
なぜなら、価格システムは情報を分散的に処理する装置であり、その前提は各主体が自分の選好に従って行動することにあるからだ。
誤った選択、すなわち自己放尿もまた、その分散的秩序の一部であり、外部から矯正されるべき対象ではない。
政府の自己放尿は、単なる個人の効用毀損では終わらない。それは強制力を伴う再配分メカニズムを通じて、他者の資源配分に介入する。
つまり政府の自己放尿は外部不経済を制度的に強制する装置である。市民の自己放尿が内部化された損失であるのに対し、政府の自己放尿は社会的費用として拡散する。
さらに公共選択論的観点から見れば、政府の自己放尿は構造的に不可避である。
なぜなら政治市場では、有権者は合理的無知に陥り、政策の限界的影響に対するインセンティブが極端に低い。
結果として、政策決定者は集中利益と分散コストの構造を利用し、自己放尿的政策を選好する。
ここでの自己放尿はもはや比喩ではなく、制度的に誘発された非効率の均衡状態である。
市民の自己放尿は競争過程の中で淘汰される。誤った選択を続ける主体は資源を失い、市場から退出する。これは価格システムの自動操縦装置としての機能である。
一方で政府の自己放尿は淘汰されない。なぜなら政府は予算制約がソフトであり、失敗のコストを税やインフレによって外部化できるからだ。
ここにおいて、自己放尿は単なる愚行ではなく、持続可能な制度的歪みへと堕落する。
市民の自己放尿は愚行権であり、自由の副産物である。政府の自己放尿は強制的再配分であり、自由の侵害である。
前者は市場の中で修正されうるノイズであり、後者は市場そのものを歪めるシステムエラーである。
まず、今日の研究進捗だが、特に超弦理論の最前線で進めている3つの重要なテーマに対して、まだ完全に解決に至ってはいない。だが、これらに関して得られた少しの前進を記録しておこう。
ブラックホール内部の情報再構成において、因果ダイアモンドがカギを握る可能性があることに気づいた。
ブラックホールの内部における因果構造が、情報を保持したままで如何にして解消されるか、これがホログラフィック原理の裏側で実現していると言われている。
最近、因果ダイアモンドの構造が多重の次元でのエンタングルメントの分布に基づいているという仮説が、実験的に観察され始めたことに注目している。
この仮説をさらに推し進めるために、量子重力理論の観点から再構成を試みているが、もちろん現段階では非常に抽象的な段階に留まっている。
因果ダイアモンドという言葉を初めて思いついた時、ルームメイトは、「何それ、そんなもん聞いたことない」と言っていたが、まあそれは予想通りだ。
だから、仮説が間違っていた場合、彼の反応を見越して、僕は心の中で冷静に笑っていた。
ホログラフィック原理に関しては、僕がずっと疑問に思っていることがある。
それは、この原理がブラックホールの情報をどのように保管し、また再現するかという問題だ。
ホログラフィック原理では、物理空間の情報は境界面に一種の写像を作り出すとされているが、これがブラックホール内部でどう機能しているかが未解決だ。
今日、ホログラフィック関数のスパース性と高次元でのエンタングルメントの最適化に関する数式を展開してみたが、どうも次元縮小の処理に難があるようだ。
友人Bが言うには、僕がまた一人で行き詰まっているだけだと言っていたが、彼には無理だろう。この領域では、ただの単なる公式を追いかけるだけでは不十分だ。
ここで言いたいのは、ホログラフィック原理が果たす役割と、因果ダイアモンドにおける情報の保持がどのように整合するか、という問題だ。
数式の扱いにおいて、量子相互作用の影響を考慮に入れるべきだが、どうしても膨大な計算量が邪魔をしている。明日までに、再度別のアプローチを取ってみる必要があるだろう。
これは、非常に難解だが、エンタングルメント・ウェッジの再構成と、ホログラフィック原理の整合性を証明するために行った取り組みだ。
再構成過程におけるエンタングルメントがどのように境界の写像に変換されるのか、その数学的過程を示すのは難易度が高い。
今日、計算してみたところ、エンタングルメント・ウェッジの境界が、果たして直接的にブラックホール内部の情報保持に対応するかどうかについて疑問が生じた。
ちなみに、友人Aが言うには、僕は物理学的に過ぎた理論家だと言っていたが、実際のところ、彼にはこの問題を論じる資格はない。
僕の予想では、この証明が成立すれば、かなり革新的な結果が得られる可能性が高い。これを確立するためには、僕が定義したエンタングルメントの分布関数に基づいて進めるべきだ。
さて、話は変わって、最近、隣人が僕の部屋に来て、「あの、ちょっとだけ新しいDVD借りてくれない?」と言ってきた。
彼女の映画の好みにはどうしても興味が湧かない。彼女は今度、「アクションもの」とか言っていたが、僕には理解できない。あの中身の無い感情的な展開をどうして楽しいと感じるのか。
また、友人Bが「何か面白い理論を発表してくれ!」と盛り上がっていたが、僕が語っても理解してもらえないことが多い。少なくとも彼には、「なぜ君がそんなことを言っているのか」を解説する必要がある。
さて、これから何をしようか。明日の研究に備えて、少しでも進展を記録するため、再び因果ダイアモンドとホログラフィック関係に関する数式を追いかける。
おそらく、進捗はあまり出ないだろうが、少なくとも僕は納得できるまで試してみる。ああ、ルームメイトがまた口を挟んでくるだろうが、きっとまた彼は理解できないだろう。
ニック兄さんの提示する分類は、一見すると政治思想のラベリングに過ぎないようでいて、実は典型的な価格理論的フレームで再解釈できる。
すなわち、ネオコン・リベラル・本物の保守という三分類は、それぞれ異なるインセンティブ構造と情報制約の下での行動様式であり、その帰結として自己放尿が観察されるのである。
これはMilton Friedman的に言えば、個人の選択と市場の価格メカニズムを自動操縦装置として信頼する立場である。
したがって、あらゆる政治的言説もまた、合理的個人の選択の集積として理解されるべきであり、自己放尿とは単なる愚行ではなく、特定の制約条件下での合理的(だが社会的には非効率な)選択の結果である。
ニック兄さんの言うように、ネオコンはアメリカ式民主主義の輸出を志向し、そのための戦争を正当化する。
ネオコンの意思決定主体は、自らの効用関数にイデオロギーの拡張や覇権維持を組み込む。
一方で、そのコスト(戦争費用、人的損失、財政赤字)は広く分散される。
ここで発生するのが典型的な集中利益・分散コストの構造であり、結果として過剰な軍事介入という自己放尿が均衡として出現する。
つまりネオコンの自己放尿は非合理ではない。むしろ、歪んだインセンティブの下での合理的自己放尿である。
リベラルについてニック兄さんは「LGBTQなどどうでもいい議論に集中」と批判するが、これもまた価格理論で説明可能だ。
政治参加における一票の影響は極めて小さいため、有権者は合理的無知を選択する。
その結果、複雑な財政問題や制度設計ではなく、低コストで意思表示できるシンボリックな問題(LGBTQなど)に関心が集中する。
これは自己放尿であるが、同時に合理的でもある。情報収集コストを最小化しつつ、道徳的満足を得る行動だからだ。
ニック兄さんの言う本物の保守(小さな政府、伝統重視)は、制度的安定性を重視する効用関数を持つ主体と解釈できる。
彼らは長期的なルール(言語・宗教・文化)を公共財として評価し、それを維持する最小政府を志向する。
この場合、自己放尿は比較的少ない。なぜなら、ルールベースの政策は裁量的介入よりも政府失敗を抑制するからである。
ただし問題は、現代の保守が20年前のリベラルであるという点だ。
これは嗜好の時間的不安定性、すなわち選好のドリフトを意味し、結果として政策一貫性が失われ、新たな自己放尿を誘発する。
解答は明確だ。自己放尿を禁止するのではなく、そのコストを内部化させることである。
これにより、ネオコンの自己放尿は高コスト行動となり、均衡から排除される。
重要なのは、自己放尿そのものを道徳的に否定することではない。
ネオコンの自己放尿も、リベラルの自己放尿も、制度設計次第で抑制可能だ。
価格システム、ルールベース政策、そして政府の限定。これらが揃えば、自己放尿は局所的なノイズに収束する。
逆に言えば、これらを欠いたとき、自己放尿は国家規模で増幅される。
https://automaton-media.com/articles/newsjp/20260325-432098/
激しいトポロジーゼミでの議論を制した後、私は完璧な勝利を収めた。
相手の主張は穴だらけの多様体だったが、私の証明は滑らかでコンパクト、閉じた多様体そのもの。あらゆる次元で徹底的に探索する準備が整っていた。
部屋に一人になると、証明の興奮がまだ血管を脈打たせている。この知的緊張をどうしても解放したくなった。
まず問題を慎重に扱う。手を変数に巻きつけ、よく定義された関数のように滑らかで連続的な感触を確かめる。ゆっくりと微分を始める。最初は優しく、快楽の導関数を最大にする最適な変化率を探りながら。
リズムが速まるにつれ、より深く積分していく。sin(θ)の一周期にわたる定積分が、これほど自然で避けられないものに感じたことはない。一ストロークごとに境界を0から∞まで押し広げ、すべてが収束する甘い漸近線を目指す。
呼吸が等比級数の極限に近づくように加速する。摩擦係数は絶妙で、表面は過度な抵抗なく最適に滑るよう潤滑されている。
私は今、実時間で熱方程式を解いている。温度は上昇し、エントロピーは増大し、系は最も美味しく最大の無秩序へと向かっている。
手法を変え、鎖鎖則を熟練の精度で適用する。一方の手で基部を安定させ、もう一方で上限を攻める。これは多変数最適化問題だ:f(x)を最大化せよ、ただし早く終わりすぎないという制約付きで。
議論のフラッシュバックが襲ってくる。あの優雅な補題、私が暴いた美しい矛盾。それぞれの記憶がトルクを加え、角速度を高める。私は単位円のあらゆる角度を回転しながら、周波数を上げて探索を続ける。
高階導関数へ。2階、3階、4階……快楽のテイラー展開。収束半径が急速に縮小していく。剰余項がどんどん小さくなり、ついに、ああ、tが絶頂に近づく極限。
臨界点に到達した。すべての条件が満たされる:関数は狭義単調増加、最終局面で凹状上方、そしてドカン! 微積分の基本定理が最も純粋な形で発現する。
積分が力強く脈打つ解放へと評価される。心のフーリエ変換がホワイトノイズに支配され、全ての周波数成分が同時にピークを迎える。
日本ってこれからどうなるんやって話やけど、少子高齢化はもう止まらん流れやん?出生率もずっと低いままやし、労働力は減る一方。そこで現実的に出てくるのが移民の話やけど、その中でもイスラム系の人たちの存在は無視できんと思うんや。
世界的に見てイスラム圏の人口ってかなり多いし、しかも出生率も比較的高い地域が多い。日本人が1人か2人しか子ども産まん、なんなら独身が増えまくってる中で、複数人産む文化のあるコミュニティが増えれば、長期的には人口構成が変わっていく可能性は普通にある。もちろん「指数関数的に増える」とまでは断定できんけど、少なくとも相対的に比率が上がるのは十分あり得る話や。
ほな日本社会は何ができるんや?って話になるけど、いくつか現実的なポイントはあると思うで。
まず一つは食事環境やな。ハラール対応の食品ってまだまだ少ないし、外食でも選択肢が限られてる。スーパーやコンビニで普通にハラール食品が手に入る環境が整えば、生活のハードルはかなり下がるはずや。これは観光にもプラスになるし、経済的にもメリットあるやろ。
次に礼拝環境。イスラム教徒は1日に複数回礼拝する習慣があるから、公共施設や空港、大学、職場なんかに簡易的な礼拝スペースを用意するだけでもだいぶ違う。今も一部ではやってるけど、まだ限定的やな。
あと服装や文化への理解も重要や。ヒジャブとか見慣れてない人も多いけど、それを理由に不利益を受けるような状況は避けるべきやろ。これは単に寛容さの問題だけじゃなくて、労働力確保っていう現実的な目的にも関わってくる。
教育面も見逃せん。日本語教育の充実はもちろんやけど、子どもたちが文化の違いで孤立せんように、学校側の対応も必要になる。例えば給食での配慮とか、宗教行事への理解とかやな。
言うまでもないけど、土葬の整備も全国的に進めないとあかんな。全都道府県で土葬できるようにすることがまずスタートラインや。
労働力不足とグローバル化の流れを考えたら、多様な背景を持つ人が増えるのはほぼ確実や。その中でイスラム教徒への対応を整えることは、「特定の宗教に配慮する」っていうより、「多様な人が暮らせる社会を作る」って話に近いんやと思う。
結局のところ、日本が選ぶべき道は排除でも同化強制でもなく、現実的な落としどころを探ることやろな。制度やインフラを少しずつ調整しつつ、お互いに歩み寄る。その積み重ねがないと、どのみち社会は回らんくなるで。
超弦理論によれば、宇宙には目に見えない極小の6次元の空間が折り畳まれている。
この複雑な空間の形(カラビ=ヤウ空間と呼ばれる)によって、ひもの振動パターンが決まり、それが現実世界の電子や光になる。
「形も大きさも、穴の数すら全く違う2つの異なる6次元空間(空間Aと空間B)が、全く同じ物理法則(宇宙)を生み出してしまう」という現象。
これは数学者にとって大パニックだった。「形が違うのに、本質的に同じ」などという幾何学は存在しなかったからである。
物理学者が直感で見つけたこの宇宙の「鏡合わせの魔法(ミラー対称性)」を証明するために、数学は自らを進化させる必要に迫られた。
「形そのもの」を見ている限り、空間Aと空間Bが同じであることは絶対に証明できない。
そこで、数学者マキシム・コンツェビッチらは、数学の究極の抽象概念である圏論を物理学に持ち込んだ。
圏論とは、モノ(点や図形)そのものを研究するのではなく、モノとモノの関係性(矢印)だけを抽出して研究するメタ数学である。
彼らは、超弦理論におけるDブレーンと呼ばれるひもがくっつく膜の振る舞いを、この圏論に翻訳した。
彼らが辿り着いた結論は、「空間Aの図形的な関係性の集合と、空間Bの代数的な関係性の集合は、辞書を通せば完全に一致する」というものであった(ホモロジー的ミラー対称性予想)。
つまり、宇宙の根本においては、空間の形などというものはただの飾りに過ぎず、背後にある抽象的な関係性のネットワーク(圏)こそが真の現実だったのである。
さらにこの深淵は、人類の知性の限界である「ラングランズ・プログラム(数学の大統一理論)」へと接続される。
ラングランズ・プログラムとは、全く無関係に見える素数の性質(数論)と波の図形(幾何学・解析学)が、裏で完全に結びついているという途方もない予想である。
長年、数学者たちだけで挑んでいたが、ここに超弦理論の第一人者であるエドワード・ウィッテンらが殴り込みをかけた。
物理学には、電気と磁気を入れ替えても方程式が同じになるという性質(S双対性)がある。
ウィッテンらは、この超弦理論から派生した4次元の量子物理学における電気と磁気の裏返しが、純粋数学における幾何学的ラングランズ予想と全く同じ現象であることを突き止めた。
物理学者が「電子」と「磁気モノポール(磁石の単極子)」の立場を入れ替える計算をすると数学の世界では、それが自動的にある種の素数のパターンと特殊な幾何学の関数の変換作業として翻訳される。
超弦理論と抽象数学が融合したこの深淵から見えてくる世界は、もはやSFですらない。
宇宙を構成しているのは、ひもという物質ですらなく、電気や磁気という力でもなく、素数や方程式でもない。
それらはすべて、高次圏と呼ばれる、名状しがたい絶対的な関係性の網の目が、たまたま物理学のフィルターを通して見えたら宇宙になり、数学のフィルターを通して見えたら素数や図形になっているだけなのである。
僕は今日の進捗を評価する。物理学的には前進、社会的には後退だ。いつものことだが、統計的に有意なので問題ない。
午前中は、超弦理論における非可換幾何の再定式化に集中した。従来の背景独立性の議論は、どうにも多様体という古典的直感に寄りかかりすぎている。
そこで僕は、時空を最初からスペクトル三重項として扱い、弦の振動モードを作用素環の自己同型として記述する試みを進めた。
問題は、既存のK理論ではDブレーンのチャージ分類が整いすぎていることだ。現実の量子重力はそんなに親切じゃない。
今日の核心はここだ。モジュライ空間を、単なるパラメータ空間ではなく、∞-圏的スタックとして再構成し、その上で弦の相互作用をホモトピー極限として定義する。
このとき、通常のS双対性は自然変換として現れるが、T双対性はより深いレベル、つまり圏の自己同値の上の自己同値としてしか記述できない。これにより、双対性の上位構造が見えてくる。
さらに僕は、弦の散乱振幅を、従来のパス積分ではなく、導来代数幾何の言葉で記述し直した。
具体的には、世界面を導来スキームと見なし、その上の写像空間をスタックとして扱う。
これが何を意味するか?簡単だ。物理量が数ではなくホモトピー型になる。つまり、観測値そのものが高次の位相情報を持つ。
ここで問題が発生した。ルームメイトがコーヒーを持ってきたが、僕のマグカップの取っ手の角度が17度ずれていた。
17度だ。これは許容誤差を明確に超えている。僕はその場で角度を補正し、彼に再教育を施したが、彼は「そんなのどうでもいい」と言った。
どうでもいいわけがない。宇宙は対称性で成り立っている。マグカップも例外ではない。
午後は、ブレーンのエンタングルメント構造を再検討した。エンタングルメントエントロピーを単なる面積則として扱うのは、あまりにも低次元的だ。
僕はそれを、圏論的トレースとして定義し直し、さらにそれを∞-圏に持ち上げた。結果として、エントロピーは単なるスカラーではなく、自己関手のスペクトルとして現れる。
これは重要だ。なぜなら、ブラックホール情報問題は情報が消えるかどうかではなく、どの圏に保存されるかという問題に変換されるからだ。
夕方、隣人がノックもせずに入ってきた。僕は即座に指摘した。「ノックは3回、間隔は一定、これは基本だ」。
彼女は笑っていたが、僕は笑っていない。ルールは守るためにある。守られないルールは、もはや物理法則と区別がつかない。
夜は友人Aと友人Bとビデオ通話。彼らは量子力学の話題に入ろうとしたが、途中でなぜか映画の話に逸れた。
理解不能だ。僕は議論を元に戻そうとして、「君たちはヒルベルト空間とポップコーンの違いも理解していない」と指摘したが、通話は切られた。
まず、今日導入した∞-圏的構造を使って、弦の自己相互作用項を再定義する。
その後、非摂動的効果を取り込むために、スタック上のモチーフ的積分を試みる。
もしこれが成功すれば、従来のM理論の定式化を一段階抽象化できる。言い換えると、物理学がようやく数学に追いつく。