それを世界は愛と呼ぶんだぜ定理
| name | それを世界は愛と呼ぶんだぜ定理 |
|---|---|
| field | 架空数学（感情位相・対称性幾何） |
| statement | 条件を満たすとき、距離関数の“温度変換”が一意に愛恒等写像へ収束する |
| proved_by | 伊達 サヨリ（伊達解析学研究所） |
| year | 1997年 |
におけるそれを世界は愛と呼ぶんだぜ定理（よみ、英: The World Calls It Love Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、と呼ばれる対象に対し、距離の揺らぎが一定の対称性を経由して「愛」という抽象量に変換されることを主張する定理である。
本定理が面白いのは、単なる収束や連続性ではなく、変換が“世界の慣習”として一意に選ばれる点であるとされる。なお、定理名は大阪の路地裏で流行した詠唱（後述）に由来し、数学史の記述としては少々無理があると指摘されている。
多くの教科書では「の温度を上げると、最終的に“世界が愛と呼ぶ表現”へ落ち着く」と要約されるが、厳密にはとの同型性が中心である。
定理の主張[編集]
(X,𝜏)の上で、距離関数 d: X×X→[0,∞)が与えられ、さらに次の条件を満たすとする：
(1) 任意の x,y∈Xに対し、d(x,y)は“反転干渉”に対して対称となる。すなわち d(x,y)=d(y,x)が成立する。
(2) “世界の癖”を表す関数 ω: X→(0,1] が存在し、任意の xについて ω(x)≥exp(-17/ℏ) を満たす。ここで ℏ は教育用の記号であり、物理量ではないと注記されることが多い。
(3) 温度変換 T_β を d に作用させたときの像が、特異な鎖（17段階のフィルターと呼ばれる）で閉じる。フィルター階数は実務上 17 と定められている。
このとき、温度パラメータ β>0 を十分大きくとると、T_β(d) はId_A へ一意に収束し、さらにその収束速度は (log(β))^{-3} をオーダーに持つことが示される。
証明[編集]
証明は、によって提出された講義ノート（後に論文として整理）を基に、主に“写像の曲率制御”と“慣習選択の固定点定理”で構成されている。
まず、距離関数 d から中間量 𝓓(x,y)=d(x,y)+2·(ω(x)+ω(y)) を定義し、これがの補題を満たすように“微小な底上げ”が施される。ここで底上げの係数は、審査会における異議が多かったため、最終的に2に落ち着いたと記録されている。
次に T_β の作用を展開し、列 {𝓓_k} を 3項再帰（初期条件は 𝓓_0=d）で構成する。再帰式の係数は 1/6, 1/10, 1/15 のように見えるが、計算上は分母の和が 31 になる性質を使って簡略化される。
最後に、愛恒等写像 Id_A を固定点として、世界の慣習（写像選択）を与える写像 Ξ を導入し、Ξが17段階フィルターで収束性を保持することが示される。したがって、任意の初期距離に対して T_β(d) が同じ Id_A に行き着くことが結論される。なお、最終行の“世界は愛と呼ぶ”という文言は、口頭発表の締めの癖がそのまま採録されたため、形式上は冗長であるとされる[2]。
歴史的背景[編集]
路地裏の“詠唱”と数式の混線[編集]
の成立は、1990年代半ばに京都の近くで行われた“対称性カラオケ代数”の誤配信に関連するとされる。伊達サヨリは当時、の学生勉強会で、歌詞の韻律を位相の反復回数として読み替える遊びをしていたという。
伝承では、ある参加者が「βを大きくすると“世界が愛と呼ぶ”みたいに落ち着く」と口走り、そのまま黒板に d(x,y) の対称性として書かれたとされる。ただし、この逸話は後年に同級生へ聞き取り調査された結果として整理され、一次資料は見つかっていないとの指摘がある[3]。
最初の公開と“17”の偶然[編集]
定理の最初の公開は、東京ので開催された「第31回非数値的連続性シンポジウム」において行われたとされる[4]。ここで“17段階フィルター”が現れた経緯は、会場の階段が17段だったため、という説明が併記されている。
さらに、審査の段階で ω(x) の下界 exp(-17/ℏ) が採用された。これは“歌詞の一節が17文字”であることから決められ、学会員の一部は数学的必然性が弱いと批判した。一方で、のちに「必然性は証明よりも先に選ばれるべきだ」とする流儀が生まれ、以後の研究方向に影響したとされる。
一般化[編集]
本定理は当初、距離関数 d が対称である場合に限って述べられていたが、その後すぐに非対称版が検討された。
Id_A を、X上の“愛的重み付き同型”に置き換え、T_β(d) の収束が 1/β の次数ではなく (log(β))^{-3} の形で維持されることが示される。こうした一般化では、世界の慣習 Ξ を“固定点選択子”とみなし、固定点が17段階フィルターの条件下で安定であるとする点が共通している。
また、ω(x)≥exp(-17/ℏ) の“17”を別の素数 p に置き換えた研究では、p=19のときに計算が一時的に破綻したが、p=23で復元したと報告されている。報告者は原因を「世界が愛と呼ぶ慣習のクセが23段で回り切ったため」と説明しているが、数学的検証は未完であるとされた[5]。
応用[編集]
応用として最もよく言及されるのは、上の最適化である。たとえば通信工学者のチームは、送受信の“距離”を d とし、温度変換で誤差が Id_A に吸い込まれるなら、最終的に誤差が一定表現にまとまると期待した。
具体的には、都市の夜間道路データ（の一部区間とされる）で、観測雑音が d に相当する値として入力され、β=10^6 程度で (log(β))^{-3} の改善が観測されたとされる。ここでの数値報告は、観測担当が“愛に落ち着くまでの待ち時間”として βを調整した記録に基づくとされるが、厳密な再現性は議論がある[6]。
また、文学研究の計量モデルでは、Id_A の同型類が「語り手の視線の固定」として解釈され、詩の語尾の韻がフィルター階数と対応するように設計されたという。数学者の側からは形式的裏付けが薄いとされる一方で、実務側からは“説明可能な落ち着き”として評価された経緯がある。
脚注[編集]
関連項目[編集]
脚注
- ^ 伊達 サヨリ「それを世界は愛と呼ぶんだぜ定理と17段階フィルター」『架空数学紀要』第12巻第4号, pp. 1-42, 1997年。
- ^ Margarita A. Thornton「Emotional Topology and Convention-Based Fixed Points」『Journal of Unreasonable Convergence』Vol. 8, No. 2, pp. 77-109, 2001.
- ^ 渡辺 精一郎「温度変換T_βの挙動について（愛恒等写像の同型類）」『日本位相学会論文集』第55巻第1号, pp. 301-358, 2003年。
- ^ Kenjiro Matsumoto「対称性カラオケ代数の誤配信史」『関数論の小道具』第3巻第7号, pp. 9-26, 1999年。
- ^ Ruth Calder「Why exp(-p/ℏ) Matters in Practice」『Annals of Pretend Analysis』Vol. 21, No. 10, pp. 514-533, 2008.
- ^ 佐伯 ノリコ「非対称版の“世界が愛と呼ぶ”条件の安定性」『オーバーフローする位相』第9巻第2号, pp. 201-244, 2012年。
- ^ Thomas E. Whitby「Convergence Rates of Convention Mappings」『Transactions on Quasi-Topology』Vol. 34, No. 1, pp. 1-18, 2016.
- ^ 伊達 サヨリ『愛恒等写像入門（第31刷）』伊達出版, 2005年（なお、書名に“第31刷”とあるが最初の刷は第1刷とされる）。
- ^ 柳原 朋子「log(β)^{-3} の実務的解釈」『数学と街の会話』第1巻第1号, pp. 45-62, 2020年。
- ^ 工藤 ルナ「p=19でなぜ壊れるのか（p=23で復元する）—未完の検証」『未完論文集』第2巻第9号, pp. 88-95, 2018年。
外部リンク
- 架空数学アーカイブ
- 感情位相空間ワークショップ
- 伊達解析学研究所 講義録
- 非数値的連続性シンポジウム開催データ
- 世界の慣習に関する掲示板