ゾンバブエ・バブローニアの補題
| 名称 | ゾンバブエ・バブローニアの補題 |
|---|---|
| 分野 | 数学、離散構造論 |
| 主張 | 局所再帰列の極限周期が5の倍数に収束する |
| 証明者 | ハロルド・J・マッケンジー、渡辺啓介 |
| 初出 | 1978年 |
| 名称の由来 | ゾンバブエ盆地と古代バブローニアの対称配置にちなむ |
| 適用対象 | 有向グラフ、符号付き遷移系、離散力学系 |
| 別名 | 五環収束補題 |
におけるゾンバブエ・バブローニアの補題（ぞんばぶえ・ばぶろーにあのほだい、英: Zombabue-Bablonia Lemma）は、上のが一定の縮退条件を満たすとき、そのが必ずの倍数に収束することを述べた補題である[1]。
概要[編集]
ゾンバブエ・バブローニアの補題は、に付随するの安定性を扱う補題であり、特に各頂点での更新規則が「隣接3項の符号和」によって与えられる場合に用いられる。条件を満たすとき、列の変動幅は有限段階で縮退し、最終的な周期はを法として整列することが示される[2]。
この補題は、当初はの辺境的な例外として記録されたが、のちにとの接点に位置するものとして再解釈された。なお、後年の再証明では、証明の中核に「バブローニア平衡写像」と呼ばれる写像が導入され、この写像がグラフの局所対称性を保存することが鍵になったとされる[3]。
定理の主張[編集]
補題の標準形では、有限有向グラフ G=(V,E) と、各頂点 v∈V に対して定義される整数列 a_v(n) を考える。各 n について a_v(n+1) は、v に入る3本以下の辺に対応する値の符号付き和と、定数項 λ_v を用いて定義されるとする。このとき、全頂点での縮退指数が 7 以下であるならば、ある正整数 N が存在して、n≥N ではすべての頂点で a_v(n+5)=a_v(n) が成り立つ[1]。
より一般には、縮退指数が 7 を超えても、各連結成分が「ゾンバブエ型」と呼ばれる条件、すなわち閉路長の最大公約数が 5 と互いに素でないことを満たすと、周期は 5 の倍数に分解される。このとき、極限周期は 5k の形で表され、k は成分ごとの符号反転回数に一致することが示される。ここでいう「一致」は厳密には準同型的対応であり、完全一致ではない点に注意が必要である[要出典]。
さらに、補題の双対形として、辺の向きを反転した補助グラフにおいても同型の結論が得られる。ただし、その場合はと呼ばれる座標移動を先に施す必要がある。
証明[編集]
証明の骨格[編集]
証明は、まず各頂点の近傍に対して局所エネルギー関数 E_v(n)=|a_v(n)|+Σ|a_w(n)-a_v(n)| を定めるところから始まる。更新規則が与えられると、E_v(n) は 5 ステップごとに単調減少するか、もしくは不変量を1つ失うことが示される。この単調性が、列全体の周期性を強制する。
次に、にあったとされる「旧バブローニア解析室」で行われた手計算の記録を参照し、局所パターンを14種類に分類する。各パターンはの論文では手書きの略号で示されていたが、後年の再整理で A1 から D4 までの記号が付された。分類表のうち3つは互いに同値であるにもかかわらず、初版では別扱いになっていたため、編集者間で小さな論争が起きたとされる[4]。
バブローニア補助補題[編集]
本補題の証明で特に重要なのが、補助命題「バブローニア補助補題」である。これは、符号付き遷移系において、任意の長さ13の部分列が必ず1回は零点を通過することを示すもので、主補題の周期5を導くための中間段階にあたる。
当初この命題は自明と見なされていたが、のマデリン・R・フォスターが1982年に反例候補を提出し、検証の結果、反例ではなく定義域の取り違えであったことが判明した。この経緯により、以後の文献では「零点通過条件」を明記するのが慣例となった。
終端の5循環[編集]
最後に、全頂点の値を 5 個の同値類に分解し、各同値類での遷移が単純巡回になることを示す。ここで用いられる巡回写像は、初版では「ゾンバブエ写像」とだけ呼ばれていたが、のちにの写本研究から類似構造が見つかり、現在の複合名に改められた。
この段階で証明はほぼ完成するが、厳密には「周期が5である」とは限らず、「5の倍数の周期で最小値が5に近い」場合も含まれるとされる。この曖昧さは、後年の再掲論文でも完全には解消されていない。
歴史的背景[編集]
補題の名は、時代末期の地図学者と、の算術写本を研究していたの数理史家が、偶然同じ図形を別々に描いたことに由来するとされる。もっとも、実際に最初に名付けたのは数学者ではなく、にで開かれた「国際離散系シンポジウム」の懇親会で配布されたカクテルメニューだったという説が有力である[5]。
提唱者は、との共著論文『On Fivefold Convergence in Signed Digraphs』であるとされる。論文はの査読を通過したが、初稿では「Zombabwe」と綴られており、校正段階で「ゾンバブエ」と「バブローニア」をつなぐハイフンが追加された。このハイフンの有無をめぐって、後に少なくとも3回の訂正通知が出された[6]。
また、の一部委員会では、本補題が「過度に物語的である」として採択を見送る案も出たが、の追補で図式化が改善され、ようやく教育的価値が認められたとされる。なお、同時期に発表された関連定理の多くが忘れ去られた一方で、本補題だけが異様に生き残った理由として、「定理名が強すぎた」ことを挙げる研究者もいる。
一般化[編集]
一般化の第一段階として、補題は上の再帰関数へ拡張された。この場合、周期5は保たれないが、代わりに「準5周期」と呼ばれる概念が導入され、遷移先が5ステップごとに同じ剰余類へ戻ることが示される。これはにのエレノア・P・グラントによって整理された。
第二段階では、辺重みを実数ではなくに置き換える一般化が知られている。この場合、局所エネルギー関数は絶対値ではなく「霧散距離」と呼ばれる指標で測られ、収束条件もやや緩くなる。もっとも、この拡張は本体の補題よりも計算が煩雑で、実用面ではほとんど参照されない。
さらに、上の符号付き行列に対しても形式的な類似定理が示されたが、証明の途中で「バブローニア補助補題」が成立しない場合があり、完全な一般化とは見なされていない。この点については、のシンポジウムで「補題は大きくなるほど小さくなる」という妙な表現が使われたことで知られる。
応用[編集]
応用として最も有名なのは、における負荷分散である。各ノードの更新が5周期に整列するため、衝突回避のスケジューリングに使えるとされ、内の一部研究所では実際に模擬実験が行われた。もっとも、実装チームの報告では「理論上は美しいが、実機ではケーブルが先に混線した」と記録されている[7]。
また、では、周期5の分解を用いた擬似乱数検査に応用された例がある。これは1970年代末の系のメモに記載されたもので、符号付き遷移系が作る軌道の偏りを検出する目的であった。実際には本補題そのものより、証明中のエネルギー関数の方が有用であったとする評価が多い。
教育面では、の演習問題として人気が高く、大学院入試で「ゾンバブエ・バブローニア型グラフを与えて周期を求めよ」という設問が出題された例がある。なお、その問題には図の頂点が1つ多く印刷されていたため、受験者全員が5分ほど得をしたという逸話が残る。
脚注[編集]
[1] H. J. McKenzie and Keisuke Watanabe, "Fivefold Convergence in Locally Recursive Digraphs," Journal of Discrete Structures, Vol. 12, No. 4, pp. 211-239, 1978.
[2] 渡辺啓介「符号付き有向グラフにおける周期縮退」『数理構造研究』第8巻第2号、pp. 44-63、1979年。
[3] Madeline R. Foster, "On the Bablonia Balance Map," Cambridge Notes in Combinatorics, Vol. 3, No. 1, pp. 7-19, 1982.
[4] 佐伯隆「旧バブローニア解析室の手稿整理について」『文献計量と図式』第5巻第3号、pp. 120-148、1985年。
[5] P. Njoroge, "The Nairobi Banquet and the Naming of Mathematical Lemmas," African Journal of Mathematical History, Vol. 2, No. 2, pp. 88-91, 1991.
[6] Harold J. McKenzie, "Errata on Zombabwe-Bablonia Lemma," Proceedings of the Cambridge Algebra Seminar, Vol. 19, No. 2, pp. 301-303, 1980.
[7] R. S. Ellwood, "Prototype Scheduling with Five-Cycle Digraphs," Bell Systems Technical Memoranda, Memo 77-18, pp. 1-14, 1977.
[8] Eleanor P. Grant, "Quasi-5 Periodicity on Posets," Transactions of the New England Mathematical Society, Vol. 41, No. 1, pp. 55-79, 1994.
[9] 中村文雄「p進霧散距離と局所収束」『解析と計算』第17巻第1号、pp. 3-26、2001年。
[10] M. I. Rahman, "Noncommutative Extensions of the Z-B Lemma," Journal of Abstract Recursion, Vol. 9, No. 3, pp. 201-228, 2008年。
関連項目[編集]
脚注
- ^ H. J. McKenzie and Keisuke Watanabe, "Fivefold Convergence in Locally Recursive Digraphs," Journal of Discrete Structures, Vol. 12, No. 4, pp. 211-239, 1978.
- ^ 渡辺啓介「符号付き有向グラフにおける周期縮退」『数理構造研究』第8巻第2号、pp. 44-63、1979年.
- ^ Madeline R. Foster, "On the Bablonia Balance Map," Cambridge Notes in Combinatorics, Vol. 3, No. 1, pp. 7-19, 1982.
- ^ 佐伯隆「旧バブローニア解析室の手稿整理について」『文献計量と図式』第5巻第3号、pp. 120-148、1985年.
- ^ P. Njoroge, "The Nairobi Banquet and the Naming of Mathematical Lemmas," African Journal of Mathematical History, Vol. 2, No. 2, pp. 88-91, 1991.
- ^ Harold J. McKenzie, "Errata on Zombabwe-Bablonia Lemma," Proceedings of the Cambridge Algebra Seminar, Vol. 19, No. 2, pp. 301-303, 1980.
- ^ R. S. Ellwood, "Prototype Scheduling with Five-Cycle Digraphs," Bell Systems Technical Memoranda, Memo 77-18, pp. 1-14, 1977.
- ^ Eleanor P. Grant, "Quasi-5 Periodicity on Posets," Transactions of the New England Mathematical Society, Vol. 41, No. 1, pp. 55-79, 1994.
- ^ 中村文雄「p進霧散距離と局所収束」『解析と計算』第17巻第1号、pp. 3-26、2001年.
- ^ M. I. Rahman, "Noncommutative Extensions of the Z-B Lemma," Journal of Abstract Recursion, Vol. 9, No. 3, pp. 201-228, 2008.
外部リンク
- Journal of Discrete Structures Archive
- Cambridge Notes in Combinatorics Online
- African Journal of Mathematical History Index
- 旧バブローニア解析室デジタル文庫
- 国際離散系シンポジウム記録館