ウルガモスの定理
| 名称 | ウルガモスの定理 |
|---|---|
| 分野 | 数学、スペクトル理論、離散幾何学 |
| 主張 | 熱的行列の周辺スペクトルは、ある条件下でウルガモス不変量に従い局所的に保存される |
| 証明者 | ラインハルト・マイヤー、佐藤圭介、エレナ・ノヴァーク |
| 初出年 | 1987年 |
| 対象 | 有限有向グラフ、重み付き格子、位相圧縮写像 |
| 別名 | ウルガモス補題、第三周回保存定理 |
| 関連記号 | Ω_u, λ*, T_G |
におけるウルガモスの定理（うるがもすのていり、英: Ulgamos Theorem）は、に埋め込まれたのの安定性について述べた定理である[1]。に周辺で定式化されたとされ、のちにの系統の研究で再発見された[1]。
概要[編集]
ウルガモスの定理は、Gに対して定義されるT_Gが、あるを満たすとき、そのの振る舞いがΩ_uによって制御されることを述べた定理である。通常のでは見落とされやすい局所的な揺らぎが、定理では「周回熱量」と呼ばれる量に変換され、全体として保存されることが示された[1]。
この定理は、後半のにおける応用解析の流行と、の若手研究者による離散モデルの精密化が偶然に重なって生まれたとされる。特にとは、の小さな研究会で、たまたま配られた菓子包装の折り目から着想を得たという逸話が残るが、これは後年の回想録にしか現れないため、真偽は定かでない[要出典]。
定理の主張[編集]
有限有向グラフ G=(V,E) に対し、各辺 e に重み w(e)>0 を与え、これから作られる熱的行列 T_G を考える。G が「三重平衡」を満たし、かつ任意の閉路 C に対して周回量 H(C) が 2π の整数倍に一致するとき、T_G のスペクトル半径 ρ(T_G) は、Ω_u によって定義される補正項を除いて不変である、というのがウルガモスの定理の主張である。
より正確には、ある圧縮写像 Φ が存在して、Φ(T_G) が T_G と同じを持つならば、Ω_u(G)=Ω_u(Φ(G)) が成り立つ。さらに、Ω_u(G) が零でない場合、局所的な摂動に対しても λ* の変化は二次の項に抑えられることが示された。なお、この「二次の項」はと呼ばれ、初期の草稿では「うなぎ型減衰」と記されていたことが知られている。
定理のもっとも奇妙な点は、条件を満たすグラフにおいて、辺の向きを3回反転させても結論が変わらないことである。これはとも呼ばれ、後にとの関係が議論されたが、決定的な接続は見つかっていない。
証明[編集]
証明は大きく三段階に分かれる。第一に、らはグラフ上の各閉路に「熱輪子」と呼ばれる補助変数を付加し、T_G を局所ブロック行列へ分解した。この分解により、周辺スペクトルの変動が閉路ごとの寄与に分離されることが示された。
第二に、はの修正版ノートで、閉路の周回量が 2π の整数倍であるとき、各ブロックの位相が相殺されることを示した。これにより、T_G の固有値が動くとしても、その移動は「見かけ上の回転」に過ぎず、スペクトル半径には影響しないことが導かれた。ここで用いられたは、当時のゼミ資料では8ページしかないにもかかわらず、後半3ページがすべて同じ図の繰り返しであったことで有名である[2]。
第三に、が導入した「境界冷却法」により、局所摂動の影響が全体へ拡散する前に指数減衰することが示された。これにより、Ω_u が零でない場合の安定性評価が完了したのである。なお、査読段階では「境界冷却法」の名前が物理学寄りすぎるとして却下されかけたが、最終的にはの伝統的婉曲表現として受理された[要出典]。
歴史的背景[編集]
ウィーンの研究会と最初の草案[編集]
春、近くの学会室で開かれた非公式研究会において、マイヤーは「辺の向きに熱容量があるなら、閉路は必ず記憶を持つ」と発言したとされる。これが後のウルガモス理論の原型になったという。会合にはからの招聘研究者もいたが、名簿にはなぜか2名分の空欄があり、のちに「空白参加者」と呼ばれた。
一方で、は当時数理科学研究科に在籍しており、離散ラプラス作用素の講義ノートの余白に同様のアイデアを書き留めていた。両者が同じ記法を使っていたことから、後年の研究者の間では「ノートの同時多発」と呼ばれた現象として語られている。
命名と初期受容[編集]
「ウルガモス」という名称は、マイヤーの恩師であるに由来するとされるが、同名の人物が実在したかは確認されていない。むしろ、の古書店で見つかった19世紀末の天文学書に記された架空の用語を借用したものだとする説が有力である。
初期の受容は鈍く、のでの国際会議では、発表後の質疑応答で「結局これは何を保存しているのか」という質問が24分続いたという。これに対し佐藤は「保存しているのは不安である」と答えたと記録されているが、議事録の書き手は数学部門ではなく広報担当であったため、文言の信頼性は低い。
一般化[編集]
ウルガモスの定理は、その後、、上の離散作用素へ一般化された。とくにのノヴァークによる一般化では、閉路条件を「整数倍」から「準整数倍」へ弱めても、Ω_u の誤差が可算集合に抑えられることが示された。
また、にはの石田研究室が、定理をに適用した際、スペクトル半径ではなく「熱縁値」が不変量として現れることを発見した。これはウルガモス現象の本質が固有値そのものではなく、重みの伝播規則にあることを示唆するものとされた。
さらに、近年ではの枠組みで再構成が試みられている。もっとも、形式化の過程で「熱輪子」が型理論上のデータ型として扱えない問題が生じ、2022年の勉強会では3時間にわたり「輪子は値か型か」が議論された。結論は出なかったが、参加者の多くは満足して帰宅したと報告されている。
応用[編集]
応用分野としては、まずの冗長路設計が挙げられる。ウルガモスの定理に基づく配置では、局所的な障害が発生しても周回量を保つ限り帯域の極端な劣化が起きにくいとされ、系の研究プロジェクトで試験導入されたことがある。
また、の信号周期最適化にも応用例がある。特にの環状線周辺では、信号の位相差を閉路条件に対応させることで、渋滞指数が平均7.3%改善したという報告がある。ただし、この数値は週末の雨天を除外した平日18日分に限るため、一般化には注意が必要である[3]。
さらに、では、Ω_u を鍵空間の偏り検出に用いる試みが行われた。もっとも、実装担当者が「ウルガモス鍵長」を通常の鍵長と誤認し、512ビットのはずが512グラムの金属板を発注した事件があり、以後この実験は「重量暗号」として社内で語り草になった。
批判と論争[編集]
批判の中心は、ウルガモス不変量 Ω_u の定義が観測者依存的である点にある。とくにのは、1993年の論文で「Ω_u は計算可能というより、気分に応じて変わる」と述べ、再現性の低さを指摘した[4]。
また、証明中に用いられる「境界冷却法」が、厳密には補題というより装飾的仮定の束であるという批判もある。これに対し支持派は、「数学において装飾はしばしば本質である」と反論したが、反論としてはやや詩的すぎると評された。
なお、の会議では、ある参加者が「第三周回保存則は本当に必要か」と質問したところ、会場の投影機が3回連続で再起動し、以後この質問は非公式に禁句となった。これは定理が学界に与えた心理的影響を象徴する出来事として、しばしば引用される。
脚注[編集]
[1] L. Meyer, K. Sato and E. Novak, “On the Peripheral Stability of Thermal Matrices,” Journal of Discrete Thermal Structures, Vol. 14, No. 2, pp. 113-167, 1989.
[2] 佐藤圭介「位相圧縮補題と閉路熱量の可換性」『東京大学数理科学講究録』第73巻第4号, pp. 41-49, 1990年。
[3] 大阪市都市交通研究会「環状信号網におけるウルガモス補正の試行」『交通計画レビュー』第22巻第1号, pp. 8-19, 2007年。
[4] Jean-Louis Bernard, “A Critique of Ulgamos Invariants in Observer-Dependent Systems,” Annales de Mathématique Fictive, Vol. 9, No. 1, pp. 201-229, 1993.
関連項目[編集]
脚注
- ^ R. Meyer, K. Sato, E. Novak, “On the Peripheral Stability of Thermal Matrices,” Journal of Discrete Thermal Structures, Vol. 14, No. 2, pp. 113-167, 1989.
- ^ 佐藤圭介『位相圧縮補題ノート——閉路熱量とその余白』東京大学出版会, 1991.
- ^ E. Novak, “Boundary Cooling Methods for Directed Lattices,” Advances in Applied Spectral Geometry, Vol. 7, No. 3, pp. 55-98, 1992.
- ^ J.-L. Bernard, “A Critique of Ulgamos Invariants in Observer-Dependent Systems,” Annales de Mathématique Fictive, Vol. 9, No. 1, pp. 201-229, 1993.
- ^ 高橋一成「熱輪子の導入と三重平衡条件」『数理構造研究』第18巻第2号, pp. 77-104, 1994年.
- ^ M. H. Klein, “Thermal Peripheral Spectra under Phase Compression,” Proceedings of the Vienna School of Discrete Analysis, Vol. 3, No. 1, pp. 1-46, 1990.
- ^ 石田晴彦『超幾何格子への定理一般化』名古屋大学出版会, 2005.
- ^ C. Dupont, “Threefold Cycle Preservation and Its Surprising Non-Events,” Bulletin of Imaginary Mathematics, Vol. 21, No. 4, pp. 300-318, 2001.
- ^ 総務省情報通信政策研究所「冗長路設計におけるウルガモス不変量の試験」『政策技術報告』第11巻第6号, pp. 4-29, 2010年.
- ^ R. Ulgamos, “Notes on the Third Cycle and the Warm Boundary,” Wiener Mathematische Skizzen, Vol. 2, No. 7, pp. 88-93, 1887.
外部リンク
- 国際熱行列学会
- ウルガモス定理アーカイブ
- 離散幾何学資料室
- 東京数理古文書館
- Vienna Peripheral Spectra Project