学歴ロンダリングキャンセル界隈定理
| name | 学歴ロンダリングキャンセル界隈定理 |
|---|---|
| field | 圏論、加群論、経歴不変量論 |
| statement | ロンダリング指数が有限な自己同型列は、適切な直和分解の下でキャンセル可能である |
| proved_by | 佐伯 恒一郎、M. D. Halberg |
| year | 1997年 |
における学歴ロンダリングキャンセル界隈定理（がくれきろんだりんぐきゃんせるかいわいていり、英: Theorem of Academic-Rolling Cancellation Neighborhood）は、の列が持つ「経歴の洗浄可能性」について述べた定理である[1]。特に、あるがの研究室系譜を介して反復されるとき、そのロンダリング成分がされる条件を与えるとされる[1]。
概要[編集]
学歴ロンダリングキャンセル界隈定理は、との境界領域から現れたとされる定理である。ある対象が「どこで学んだか」を何度も付け替える操作を形式化すると、最終的に情報が消えるのではなく、むしろとして残ることを主張する。
この定理は、後半に周辺の非公式セミナー「界隈代数研究会」で注目され、後にの研究者らによって厳密化されたとされる。もっとも、初期ノートの大半が飲食店の伝票の裏に書かれていたため、証明の原型については現在も一部に要出典の指摘がある。
定理の主張[編集]
定理は、有限生成M に対し、学歴ロンダリング作用素 L を反復適用した列 M → L(M) → L^2(M) → ... を考えるとき、ある自然数 n が存在して L^n(M) が「キャンセル核」K と「界隈自由部分」F に分解されるならば、K の同型型は L の選択に依らず一意に定まる、という形で述べられる。
より具体的には、直和分解 M ⊕ X ≅ N ⊕ X が成り立つとき、X がr(X) < 3 を満たすならば、M ≅ N が導かれる、というのが標準形である[2]。ただし r(X)=2 の場合には、の一部の研究グループで反例が報告されたとの記述もあり、後年の改訂版では「局所的にのみ成り立つ」と注記された。
証明[編集]
証明は三段階に分かれる。第一段階では、が導入した「経歴消去函数」μ を用いて、各自己同型を最短の学閥鎖へ押し込む。これにより、任意の L-列は有限回ので標準形に移行することが示された。
第二段階では、がに発表した補題を用い、標準形どうしの差分が的には境界であることが確認された。ここで重要なのは、境界が「研究室訪問歴」によって変動しない点であり、これが界隈不変性と呼ばれる[3]。
第三段階では、キャンセル補題を適用する。すなわち、L により増幅された X を左右から打ち消すと、残差として現れるのは学位授与機関の初回出現順だけであり、これが完全不変量になる。なお、証明の終盤に現れる「5枚目の黒板だけが異様に見やすい」という現象については、当時のセミナー参加者の記録にしか残っておらず、後世の研究者の間で半ば伝説化している。
歴史的背景[編集]
界隈代数研究会の成立[編集]
起源は、の喫茶店「アトラス」で開かれた小規模研究会にさかのぼるとされる。参加者は、、深夜ラジオの投稿者を兼ねた大学院生など計11名で、そこで「肩書きを何回塗り直しても中身は同じではないか」という雑談が定理の着想になったという。
研究会では当初、これを「ロンダリング不可能性予想」と呼んでいたが、にで開かれた非公式合宿で、逆にキャンセルが成立する場合があることが示唆され、名称が現在のものに変わった。
初期の受容[編集]
、佐伯とHalberg は誌に論文を掲載し、定理は国外で先に話題になった。論文の査読者は「定理の意図は理解したが、学歴という語の数学的意味論がやや攻撃的である」とコメントしたとされる。
日本国内ではとの関係で誤解が広がり、系の資料室で「実在の制度批判ではないか」との問い合わせが相次いだ。もっとも、当時の事務局は数式を読む人員が少なく、対応記録の半分が「見送り」と記載されていた。
界隈化の進行[編集]
2000年代に入ると、この定理は「界隈」という語を含むためか、数学とインターネット文化の両方から引用されるようになった。とくに風の記法を取り入れた講義ノートが流通し、定理の証明中に「既出」とだけ書かれた箇所がある版が一部で広く使われた[4]。
このころから、定理の応用先としてやが研究され、社会現象を代数化する一連の流れの先駆けとみなされるようになった。
一般化[編集]
後年、定理はへ一般化され、ロンダリング作用素を2-射として扱う「二階学歴ロンダリングキャンセル定理」が提出された。ここでは、キャンセル核が単なる対象ではなく、可換な履歴圏として現れる。
またにはのらが、確率的界隈における「期待値ロンダリング」を導入し、平均的にはキャンセルが起きるが、個々の標本ではむしろ履歴が増殖するという逆説を示した。これは後に「ロンダリングの反直観性定理」と呼ばれ、講義ではしばしば学生を混乱させることで知られている。
応用[編集]
応用面では、大学院の最適化、履歴書の冗長性検出、さらには上のプロフィール改変頻度の推定に用いられるとされた。とくにでは、自己同型列の長さから「肩書きの盛り過ぎ」を定量化する指標として採用された事例がある。
一方で、内のある予備校では、この定理を受験生向けに「学歴を消しても偏差値は消えない」と説明したところ、保護者から問い合わせが殺到したという。なお、実際のカリキュラムに組み込まれたのは3週間のみで、板書が難解すぎたため中止されたとされる。
さらにへの応用も提案されており、公開鍵に学歴情報を埋め込み、キャンセル不可能性を安全性の根拠にする方式が検討された。ただし、鍵長が長くなると卒業証書の枚数が異常に増えるため、実用化には至っていない。
脚注[編集]
関連項目[編集]
脚注
- ^ 佐伯 恒一郎『界隈と不変量の代数幾何』東都出版, 1998.
- ^ M. D. Halberg, "Cancellation in Rolling Academic Modules," Journal of Abstract Prestige, Vol. 14, No. 2, pp. 113-149, 1997.
- ^ 田所 美鈴『黒板の5番目に現れる証明』京浜学術社, 2001.
- ^ 森下 透, "Expected Laundering in Random Neighborhoods," Proceedings of the International Conference on Prestige Algebra, Vol. 8, pp. 44-61, 2011.
- ^ A. K. Feldman, "On the Radius of Academic Equivalence," Annals of Computed Prestige, Vol. 22, No. 4, pp. 301-338, 1999.
- ^ 佐伯 恒一郎・Halberg, M. D.『経歴消去函数の初等と応用』本郷書房, 1997.
- ^ 中村 芳彦, "The Nonlocality of Cancelable Neighbor Effects," Kyoto Journal of Imaginary Mathematics, Vol. 6, No. 1, pp. 7-29, 2003.
- ^ 長谷川 雪乃『学歴ロンダリング半径の測度論』文理社, 2009.
- ^ R. S. Whitmore, "A Note on the Fifth Blackboard Phenomenon," Bulletin of Prestige Studies, Vol. 3, No. 9, pp. 88-90, 2002.
- ^ 森下 透『界隈化する数学——肩書き、証明、そして消去』名古屋未来出版, 2012.
外部リンク
- 界隈代数研究会アーカイブ
- Annals of Computed Prestige
- 本郷三丁目数理資料室
- 国際ロンダリング不変量協会
- 東京数学噺データベース