カッスカスカーペット=ボッキボキオレンジの二段階屈折定理
| name | カッスカスカーペット=ボッキボキオレンジの二段階屈折定理 |
|---|---|
| field | 数学、特に多層可換環論・屈折解析学 |
| statement | 多層可換環上の屈折写像は、条件R2とO7を満たすとき、一次屈折と二次屈折に分解できる |
| proved_by | 三輪田 恒一郎、Margaret A. Thornton |
| year | 1978年 |
におけるカッスカスカーペット=ボッキボキオレンジの二段階屈折定理（かっすかすかーぺっとぼっきぼきおれんじのにだんかいくっせつていり、英: Cuss-Cuss Carpet–Bokki-Boki Orange Two-Stage Refraction Theorem）は、上で定義されるの二段階分解に関する定理である[1]。特に、に付随する折返し作用素が、特定のを通過するときに一意な屈折分岐を持つことが知られている[1]。
概要[編集]
カッスカスカーペット=ボッキボキオレンジの二段階屈折定理は、において最も異様な名称をもつ定理の一つである。名称中の「カッスカスカーペット」は理学部旧館にあった実験用、「ボッキボキオレンジ」はので観測された橙色の折返し標本に由来するとされる[2]。
この定理は、後半にとの共同研究の中で整備されたとされ、当初は「二相折返し補題」と呼ばれていた。しかし、会議録の誤記と翻訳ミスが重なり、現在のやけに威圧的な名称が定着したといわれている。なお、初期の草稿には「オレンジは必ずしも果実を意味しない」との但し書きがあり、後の編集者がこれを「むしろ重要な注意」として採録した[3]。
本定理の中心的な対象は上の屈折写像であり、任意の入力に対して、まず「乾いた屈折」が起こり、その後に「橙色補正」が入ると主張される。これにより、折返しの向きが安定化し、とが同時に排除されることが示されるのである。
定理の主張[編集]
定理は、R と、その上の屈折写像 f: X→X を考えるとき、X がカーペット条件 C4 と橙閾値 O7 を満たすならば、f は可換な二つの写像 f1, f2 に分解されることを述べる。すなわち、f = f2∘f1 であり、f1 は「毛足方向の屈折」、f2 は「果皮方向の再屈折」に対応する[4]。
より厳密には、任意の点 x∈X に対し、局所座標系における屈折角 θ(x) が 2π/7 を超えない場合、一次屈折の後に生じる残差は、橙位相 ω(x) を用いた補正項によって完全に相殺される。このとき、残差ノルムは 0.0003 未満に収束し、研究グループ内では「ほぼオレンジではない」と表現された[5]。
また、境界条件として「織り目の密度が平方根3以上であること」が必要とされる。これは一見恣意的であるが、にで行われた反復実験において、密度2.9では定理が崩れる一方、3.1では急に証明が成立したため、そのまま定式化されたとされる。
証明[編集]
証明は三段階からなる。第一段階では、が導入した「湿潤カーペット補題」により、屈折写像を局所的に可測関数へ落とし込む。このとき、カーペット束の縁に沿った微小振動がで吸収されることが示された[6]。
第二段階では、がの黒板に残した「orange lemma」を援用し、橙位相の位数が7であることを仮定すると、一次屈折の像が必ず可逆対称を持つことを証明した。Thornton のノートには「if the carpet refuses, orange insists」とだけ書かれていたとされるが、これは後年の回想録でしか確認できない[要出典]。
第三段階では、両者の結果を合成し、屈折写像の核が二段階で消滅することを示す。ここで用いられた「ボッキボキ補題」は、実際には由来の分割法を再命名したものであり、研究室では「音がうるさいほど証明が早く終わる」と冗談めかして言われていた。この合成により、主定理が証明されたとされる。
歴史的背景[編集]
本定理の萌芽は、にで開催された「第12回繊維幾何研究会」に遡るとされる。当時、参加者の一人であったが、会場の床に敷かれた古いを折り曲げる実演を行い、その折返しが計算上の屈折写像と同型であることに気づいたのが始まりとされている[7]。
その後、にの短期滞在を行っていた三輪田は、でと出会う。Thornton は本来の研究者であったが、橙色の製図用紙を多用する癖があり、それが会議室で「orange」と呼ばれるようになったという。両者はから共同でノートを整理し、のちに「二段階屈折」という語を採用した。
定理名に含まれる「カッスカス」は、の国際会議で録音機材の雑音により「cuss-cuss」と聞こえたことに由来するとされる。ただし、別の編集者はこれを「研究者同士が議論の際に舌打ちした音」と解釈しており、現在も両説が併記されている。名称がやや品のない印象を与える一方で、の内部資料では「記憶に残るため、むしろ有利」と評価されたという。
一般化[編集]
本定理は、その後やへと一般化された。特ににで提案された一般化では、カーペット束をへ置き換えても、条件 Cn と On を満たせば同様の分解が成り立つことが示された[8]。
また、にはの研究集団により、橙位相をに拡張した「多橙屈折一般形」が導入された。これにより、一次屈折と二次屈折の間に第三の「黄昏屈折」を挿入できることが判明したが、証明の途中で記号が増えすぎたため、論文の半分は付録に送られたとされる。
さらに、教育的観点からは「二段階」という語が誤解を招くとして、以降の教科書では「準二段階屈折」と書き換える動きもあった。しかし、講義を担当した教授が「二段階の方が受験生の顔が青くなる」と述べ、結局は旧称の方が定着した。
応用[編集]
応用として最も有名なのは、における鍵再配置である。屈折写像の二段階分解を利用すると、鍵空間のうち約17.4%が自動的に「橙安定領域」へ移行し、再送信時の衝突率が理論上 0.8% 低下することが示された[9]。ただし、実装担当者がオレンジ色のGUIテーマを採用したため、可読性が著しく落ちたという苦情も記録されている。
また、では、沿岸の仮設ドーム構造に適用され、風圧による微小な折返し変形を予測するのに役立った。とりわけの試験では、カーペット状補強材が実際に橙色を帯びていたため、現場作業員が「定理が見える」と発言したことが記録されている[10]。
教育分野では、難解な証明を視覚化するための教材「ボッキボキ・ノート」がの数学クラブで流行した。ページを二回折ると証明の流れが理解できるとされたが、折り目が多すぎて元に戻せなくなる生徒が続出し、最終的に配布数は全国で2,300冊にとどまった。
脚注[編集]
[1] 三輪田 恒一郎『屈折写像論の基礎と橙補正』数学新書社, 1979年, pp. 12-19. [2] Margaret A. Thornton, "On Orange Thresholds in Carpet Bundles," Journal of Imaginary Algebra, Vol. 14, No. 2, 1980, pp. 201-229. [3] 田島 由紀『会議録における誤記と定理名の変質』東京数理出版, 1986年. [4] K. Miwada and M. A. Thornton, "Two-Stage Refraction over Multilayer Commutative Rings," Proceedings of the Oxford Symposium on Abstract Carpets, Vol. 3, 1978, pp. 44-61. [5] 大野 俊介『橙位相の残差ノルムとその収束界』関西代数研究所紀要, 第8巻第1号, 1981年, pp. 7-33. [6] Y. Komori, "Wet Carpet Lemma and Local Measurability," Annals of Fictitious Mathematics, Vol. 22, No. 4, 1977, pp. 390-418. [7] 日本繊維幾何学会編『第12回研究会記録集』名古屋, 1969年, pp. 88-95. [8] Pierre Lemaître, "Generalized Refraction on n-Fibered Orange Structures," Bulletin de Mathématiques Apocryphes, Tome 11, No. 1, 1984, pp. 1-26. [9] S. Kisaragi, "Key Redistribution via Orange-Stable Domains," Cryptographic Studies Quarterly, Vol. 9, No. 3, 1992, pp. 155-184. [10] 神戸湾岸建築数理委員会『仮設ドーム補強材の橙色視認性試験報告』1999年, pp. 3-14.
関連項目[編集]
脚注
- ^ 三輪田 恒一郎『屈折写像論の基礎と橙補正』数学新書社, 1979年.
- ^ Margaret A. Thornton, "On Orange Thresholds in Carpet Bundles," Journal of Imaginary Algebra, Vol. 14, No. 2, 1980, pp. 201-229.
- ^ 田島 由紀『会議録における誤記と定理名の変質』東京数理出版, 1986年.
- ^ K. Miwada and M. A. Thornton, "Two-Stage Refraction over Multilayer Commutative Rings," Proceedings of the Oxford Symposium on Abstract Carpets, Vol. 3, 1978, pp. 44-61.
- ^ 大野 俊介『橙位相の残差ノルムとその収束界』関西代数研究所紀要, 第8巻第1号, 1981年, pp. 7-33.
- ^ Y. Komori, "Wet Carpet Lemma and Local Measurability," Annals of Fictitious Mathematics, Vol. 22, No. 4, 1977, pp. 390-418.
- ^ 日本繊維幾何学会編『第12回研究会記録集』名古屋, 1969年.
- ^ Pierre Lemaître, "Generalized Refraction on n-Fibered Orange Structures," Bulletin de Mathématiques Apocryphes, Tome 11, No. 1, 1984, pp. 1-26.
- ^ S. Kisaragi, "Key Redistribution via Orange-Stable Domains," Cryptographic Studies Quarterly, Vol. 9, No. 3, 1992, pp. 155-184.
- ^ 神戸湾岸建築数理委員会『仮設ドーム補強材の橙色視認性試験報告』1999年.
外部リンク
- 日本屈折解析学会アーカイブ
- Oxford Abstract Carpet Project
- 京都橙位相研究センター
- Imaginary Algebra Digital Library
- 神戸湾岸建築数理資料室