フェードラント定理
| name | フェードラント定理 |
|---|---|
| field | 位相幾何学、離散数学 |
| statement | 準凸格子上の退色作用素が境界安定条件を満たすとき、反復合成後もホモロジー階数は不変である |
| proved_by | エリー・J・フェードラント、斎藤澄子 |
| year | 1978年 |
数学におけるフェードラント定理（ふぇーどらんとていり、英: Faedrant Theorem）は、におけるのの性質について述べた定理である[1]。特に、ある種のを満たす対象に対して、反復的な射影変換を行ってもが安定に保たれることを主張する[1]。
概要[編集]
フェードラント定理は、におけるの挙動を扱う定理である。元来はフランスので行われた講義録の余白に記された補題に由来するとされ、のちに東京都ので整理された経緯がある[1]。
この定理は、対象となる複体が「準凸格子」と呼ばれる条件を満たすとき、退色作用素の反復によって見かけ上の形状が崩れても、位相的不変量としてのが保存されることを示すものである。なお、初期の研究者の間では「フェードラント」の語が、ある実験用の色素名に由来するという説もあったが、現在ではの古い地名にちなんだ家族名であるという理解が有力である[2]。
定理の主張[編集]
フェードラント定理は、有限Xとその上の退色作用素Fが、境界安定条件と局所縮退条件を同時に満たすならば、任意の正整数nに対して F^n(X) と X のが一致することを主張する。これにより、対象が視覚的には薄れていくように見えても、内部構造は保存されることが示される。
形式的には、X の各n次胞体に対応する係数行列が、ある実数 λ を用いて「λ-準自己同型」を構成するとき、退色による射影極限 lim← F^k(X) のホモロジー群は元の X と同型であるとされる。証明の中核は、境界写像の符号列が 17回以内に周期化するという補題であり、この補題は後年要出典とされたが、実際には1976年の予備印刷版にのみ現れる。
証明[編集]
証明は大きく三段階に分けられる。第一段階では、のが導入した退色補助列を用いて、複体の各胞体を色相値に写像する。これにより、位相的な連結性が「色の薄まり」として表現される。
第二段階では、が提案した「局所再固定法」を適用する。これは、境界の近傍で失われた情報を、隣接する三角分割の平均値から復元する手法であり、当時の会議録によれば1977年夏ので3時間12分にわたり板書されたという[3]。この再固定法により、退色作用素の核が有限次元に抑えられることが示された。
第三段階では、エリー・J・フェードラントが、退色列に対するスペクトル半径の上界を与えることで、反復の各段階で生じる誤差が幾何級数的に減衰することを証明した。最終的に、ホモロジー長完全列における接続準同型が消滅し、定理の主張が成立する。もっとも、原論文の末尾には「この計算は午前2時以降に行うべきではない」とだけ記されており、後世の研究者の間で半ば伝説となっている。
歴史的背景[編集]
フェードラント定理の起源は、にで開かれた「非線形退色構造に関する小規模討論会」にさかのぼるとされる。そこでは、印刷機のインク濃度が変化しても図形の連結成分が保たれることに着想を得たと記している[2]。
その後、に名古屋大学へ客員研究員として招かれたが、和紙のにじみを用いた模型実験を導入したことで、理論は一気に具体化した。彼女のノートには、複体の各頂点に「濃」「中」「淡」の3段階を割り当てた表が残されており、これは現在でも教育用の標準例として引用される。
一方で、の年会では、フェードラント定理の適用範囲をめぐって激しい議論が起きた。特に、マサチューセッツ工科大学のは、退色作用素が「実用上は絵画修復以上の意味を持たない」と批判したが、のちに自らの講義でこれを「局所位相の最良の比喩」として使用している[要出典]。
一般化[編集]
フェードラント定理は、後にやへ一般化された。とくににのが示した一般化では、退色作用素が決定論的でなくても、期待値の意味でホモロジー階数が保存されることが証明された。
さらにには、のによって「非可換フェードラント条件」が導入され、作用素環上の連続体にも拡張された。この一般化では、境界安定条件の代わりに「弱い蛍光整合条件」を仮定するとよいとされ、証明には可換図式が9枚以上用いられる。なお、一般化版の一部には、原論文よりも定理名の方が長くなるという珍しい現象がみられる。
応用[編集]
応用分野は広い。まずでは、退色反復を用いることで輪郭情報を保持したまま色数を減らせるため、古い文献スキャンの補正に用いられた。特に国立国会図書館の試験プロジェクトでは、の新聞写真1,248枚のうち93.4%で文字の輪郭が改善したと報告されている。
またにおいては、東京都港区の再開発模型にこの定理が応用され、建築物を極端に単純化しても街区の連結性を保てることが示された。さらに、の一部では、プレイヤーの選択肢が時間とともに薄れていく「退色型意思決定」に対する不変量として参照されている。
近年ではの説明可能性研究において、ニューラルネットワークの中間表現を退色複体として扱い、層を重ねても分類境界が保存されるかを判定する補助定理として使われることがある。ただし、この応用は実務上かなり限定的であり、計算資源を無駄に消費することで知られている。
脚注[編集]
関連項目[編集]
脚注
- ^ É. J. Faedrant, "On the Stability of Boundary Fading in Finite Complexes", Annales de Mathématiques Discrètes, Vol. 14, No. 2, 1978, pp. 113-167.
- ^ 斎藤澄子「準凸格子における局所再固定法」『数理構造論集』第21巻第4号、1980年、pp. 41-88.
- ^ Marcel Tournault, "Color Filtration and Homological Persistence", Journal of Topological Dynamics, Vol. 9, No. 1, 1977, pp. 5-39.
- ^ 河合真一「非可換フェードラント条件の導入」『大阪数理紀要』第33巻第2号、2006年、pp. 201-244.
- ^ Klaus Melchart, "Stochastic Fading Complexes and Expected Betti Invariance", Bulletin of Applied Algebra, Vol. 18, No. 3, 1994, pp. 77-121.
- ^ R. H. Bellamy, "Remarks on Practical Irrelevance of Fading Operators", Proceedings of the AMS Annual Meeting, Vol. 52, No. 4, 1981, pp. 311-318.
- ^ Université de Strasbourg Press『Cahiers sur les Structures Décolorées』第2巻、1971年、pp. 1-64.
- ^ 国立複体保存協会編『退色と不変量のあいだ』中央数理出版、1999年、pp. 89-152.
- ^ M. L. Fenwick, "Theorem Names Longer Than Their Statements", Cambridge Notes in Abstract Mathematics, Vol. 7, No. 6, 2009, pp. 1-9.
- ^ 京都位相研究会編『境界退色法入門』和泉学術出版社、1985年、pp. 23-75.
外部リンク
- 国際退色複体学会
- フェードラント定理アーカイブ
- 準凸格子研究センター
- 位相安定性年報
- 退色ホモロジー討論会