ウォーリーの法則
| name | ウォーリーの法則 |
|---|---|
| field | 数論幾何学、離散解析 |
| statement | 有理格子上の巡回写像において、局所余剰の総和が臨界閾値を超えない限り、消失指数は一意な最小余長に収束する。 |
| proved_by | J. H. Wally, M. T. Hasegawa |
| year | 1987 |
数学におけるウォーリーの法則（うぉーりーのほうそく、英: Wally's Theorem）は、上のに現れるの安定性について述べた定理である[1]。特に、ある条件下でが全体のを吸収することを示すものとして知られている[1]。
概要[編集]
ウォーリーの法則は、1980年代後半にと東京大学の共同研究班によって整備されたとされる数学上の定理である。対象は、離散的なに対して定義されると、その写像に付随するである。
この定理は、写像の局所的な振る舞いを表すが一定の上界を満たすとき、系全体のが自動的に圧縮されることを主張する。とりわけ、の1988年冬季会合で報告された草稿では、同じ仮定の下で例外集合が「ほぼ常に直線的に消える」と記され、のちに多くの研究者がこの部分を定理の核心と見なした[2]。
一方で、名称の由来については諸説あり、という架空の統計学者のノートに初めて記録されたとする説と、の小さな印刷所で誤植として生まれたとする説がある。いずれも決定的証拠はないが、定理の「妙に親しみやすい名前」が学界で早く浸透した理由としてしばしば挙げられる。
定理の主張[編集]
ウォーリーの法則は、次のように定式化される。まず、上の有限生成モジュールから得られる有理格子列 \(L_n\) を考え、これに巡回写像 \(\phi\) を作用させる。このとき、各段階で定義される局所余剰 \(r_n\) がある臨界値 \(\lambda\) 未満であるならば、消失指数 \(v(\phi^n)\) は最小余長 \(\ell_{\min}\) に向かって単調に収束する、というのが基本形である。
より厳密には、任意の自然数 \(n\) に対して \[\sum_{k=0}^{n-1} r_k \leq \lambda n\] が成り立つなら、ある定数 \(C>0\) が存在して \[|v(\phi^n)-\ell_{\min}| \leq C\cdot 2^{-n}\] が成立する。ここでの指数減衰は、写像の対称性がと呼ばれる操作で保存されることに由来するとされている。
なお、原論文の脚注には「境界条件が飽和する場合、定理は成立するが著しく退屈になる」との記述がある。この一文は後年、要出典のまま多くの講義ノートに引用され、定理の“人間味”を示す逸話として語られている。
証明[編集]
証明は三段階からなると説明されることが多い。第一段階では、により巡回写像を局所ブロックへ分割し、各ブロックごとに余剰の増減を評価する。ここでが用いられ、局所余剰の正負が互いに打ち消し合うことが示される。
第二段階では、を用いて、各段で発生する余長が指数関数的に縮退することを示す。この部分はにで行われた予備講義の板書がほぼそのまま採用されており、受講者の一人が「黒板が最後まで消しきれなかった」と回想している[3]。
第三段階では、補助関数 \(W(x)\) を導入し、その単調性から極限の一意性を導く。\(W(x)\) はのちにと呼ばれるようになったが、原稿では単に "the wobbly term" と書かれていた箇所があり、編集段階で誤って固有名詞化したという説もある。いずれにせよ、補助関数の選択が驚くほど素朴であったことから、当時の査読者の一人は「これは証明というより整理整頓である」と評したと伝えられる。
歴史的背景[編集]
ウォーリーの法則の最初期の痕跡は、にロンドンで開催された非公開セミナー「Discrete Shadows and Their Residues」に遡るとされる。そこでが、配布資料の余白に「局所余剰は最後に必ず恥ずかしがる」と書き残していたという証言があるが、出席者名簿に彼の名前はなく、真偽は定かでない。
その後、にで開かれた国際離散解析シンポジウムで、が同様の現象を別の記法で報告し、両者の結果がの共同論文に統合されたとされる。この論文は第42巻第3号に掲載された体裁をとるが、実際には印刷部数が47部しかなく、しかも第2刷のうち6部が製本ミスで逆さまに綴じられていた。
1980年代末には、の茶話会でこの定理が一種の“美しい雑用”として流行し、若手研究者が競って一般化を試みた。もっとも、当時の資料には「ウォーリーは元々、定理よりも紅茶の濃さに厳しかった」との逸話が複数残されており、学術的権威と個人的嗜好が不思議な形で混ざり合っていたことがうかがえる。
一般化[編集]
最初の一般化は、への拡張である。ここでは局所余剰の代わりにを用い、消失指数の代わりにを扱う。定理はほぼ同じ形で成り立つが、境界条件の選び方によっては結論が「一意に保たれるが見た目がやや地味になる」ことが知られている。
第二の一般化として、に対する「弱ウォーリーの法則」がある。これは、完全な収束を仮定せず、平均化された余長のみを評価するもので、での集中講義を契機に広まった。講義ノートの第19頁には、証明の最後に突然が挿入されており、聴衆の半数が昼食休憩と誤認したという。
さらに、上での拡張も提案されている。こちらは「ウォーリー・ランダム化」と呼ばれ、局所余剰が確率変数として振る舞う場合に、期待値の意味で同様の収束が得られる。ただし、この枠組みではが観測者依存になることがあり、ある研究者は「定理が物理学に寄った瞬間、急に機嫌が悪くなる」と述べたとされる。
応用[編集]
応用面では、ウォーリーの法則はにおける余剰分配の最適化に用いられることがある。特に、鍵更新時に生じる局所余剰を抑制することで、通信路全体の消失指数を安定化できるとされ、の非公開勉強会で参照された記録が残る。
また、にも応用がある。の試験的モデルでは、駅ごとの局所余剰を乗降差とみなすことで、朝ラッシュ時の余長が一定値を超えないことが示されたという。ただし、この結果はの内部報告書一件にしか見当たらず、しかも図表の凡例に「Wally condition = だいたい混雑しない」と書かれていたため、後年の研究者からは慎重に扱われている。
教育上の利用も知られている。フランスの一部では、ウォーリーの法則を用いて「証明の終わり方」を教える演習が行われ、学生は途中で必ず一度、余剰と余長を取り違えることが推奨される。これは理論の本質を理解させるためというより、むしろ“定理は最後に急に簡単になる”という感覚を身につけさせるためである。
脚注[編集]
[1] J. H. Wally and M. T. Hasegawa, "On Cyclic Lattices and Residual Vanishing", Cambridge Mathematical Transactions, Vol. 42, No. 3, pp. 117-164, 1987.
[2] London Mathematical Society Winter Proceedings, "Abstracts of the Discrete Shadows Session", pp. 88-91, 1988.
[3] H. Vogel, "Blackboard Compression in Higher Residue Theory", Munich Notes in Pure Mathematics, 第11巻第2号, pp. 44-53, 1986.
関連項目[編集]
脚注
- ^ J. H. Wally and M. T. Hasegawa, "On Cyclic Lattices and Residual Vanishing", Cambridge Mathematical Transactions, Vol. 42, No. 3, pp. 117-164, 1987.
- ^ M. T. Hasegawa, "A Note on Minimal Remainders in Rational Grids", Journal of Discrete Structures, Vol. 15, No. 2, pp. 201-229, 1989.
- ^ Jonathan H. Wally, "Residual Thresholds and the Wally Condition", Proceedings of the Royal Institute of Mathematics, Vol. 8, No. 1, pp. 5-31, 1988.
- ^ H. Vogel, "Blackboard Compression in Higher Residue Theory", Munich Notes in Pure Mathematics, 第11巻第2号, pp. 44-53, 1986.
- ^ A. L. Mercer, "Cyclic Maps on Rational Lattices", Annals of Abstract Arithmetic, Vol. 27, No. 4, pp. 390-418, 1991.
- ^ 長谷川美智夫『巡回写像の余剰構造』岩波数学選書, 1990.
- ^ 渡辺恭平「ウォーリー法則とその周辺」『数理解析研究所講究録』第654巻, pp. 73-102, 1992.
- ^ S. R. Ellison, "Phase Convergence Under Residual Constraints", St. Andrews Mathematical Review, Vol. 19, No. 2, pp. 88-119, 1993.
- ^ 松田晴彦『局所余長の数学』東京大学出版会, 1994.
- ^ K. I. Fontaine, "The Wobbly Term and Its Errors", Bulletin of Imaginary Mathematics, Vol. 3, No. 7, pp. 1-14, 1987.
外部リンク
- Cambridge Mathematical Archive
- London Discrete Analysis Society
- Tokyo Residue Seminar Notes
- Journal of Applied Wally Studies
- Mathematical Fiction Repository