バーボンハウスの定理
| name | バーボンハウスの定理 |
|---|---|
| field | 幾何的組合せ論 |
| statement | 特定の「バーボンハウス型」ラベル付き格子上では、整列パターンの極限が一意に定まる。 |
| proved_by | ハーマン・シェーファーとリナ・ベルモント |
| year | 1931年 |
における（ばーぼんはうすのていり、英: Bourbon House Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、に付与されたラベル列が、ある操作の繰り返しで必ず「整列極限」を持つこと、さらにその極限が初期状態に依存しすぎないことを主張する定理である。
この定理が面白いのは、純粋に抽象的な見た目にもかかわらず、実務者が「区画（セル）ごとの規則表」を作ると、回路検査や符号化の現場でそのまま使える“雰囲気の道具立て”になっている点にあるとされる。なお、初期の論文では「バーボンハウス」という語が場所名のように扱われたため、のちに都市伝説的な誤読が広まったと指摘されている。
本項では、定理名の語源を含め、定義から主張、そしてやや怪しい歴史の筋書きまでを数学記事の体裁で整理する。ここで用いる用語の多くは、当時の研究ノートに由来する流儀であるとされる。
定理の主張[編集]
まず、を、有限個のセルからなる格子盤に対し、各セルに整数ラベルを付け、さらに隣接関係に沿って「上昇点の数」を数える構造として定めるとする。
次に、操作としてを考える。これは、格子盤の各辺に沿ってラベルの大小関係を比較し、矛盾が生じている辺に対しては局所的にラベルを入れ替える（ただし合計ラベルは保存する）操作である。
は、任意の「バーボンハウス型」ラベル付き格子がを持つこと、そしてその極限が、初期ラベルの細部ではなく「上昇点の分布」だけで一意に決まることを主張する。より形式的には、操作の反復で得られる極限ラベル配置は、同じ上昇点分布を持つすべての格子で一致する、という形で述べられる[1]。
証明[編集]
証明は、まずと呼ばれる数値不変量を導入することから始められる。ポテンシャルは、格子盤上の全辺について「ラベル差の絶対値」と「上昇点の局所重み」を合計して定義されるとされ、1回のの後に必ず減少するよう調整される。
その減少量は、証明当時の計算用補題では「1回あたり少なくとも 1/2^11」という形で見積もられたと記録されている[2]。この不等式が成り立つ限り、ポテンシャルは負になり得ないため、有限回の操作で矛盾のない状態に到達することが示される。
さらに、到達した状態が一意になることは、によって保証される。ここでは、同じ上昇点分布を持つ2つの整列状態があると仮定すると、格子盤をして比較した際に、各層でのラベルの相対順序が必ず一致すると示される。この議論は、最後に「層ごとの一致」から「全体の一致」へ落とすことで完了すると述べられる[3]。なお、当該論文では層分割の定義に曖昧さがあり、後年の編集で「第7レイヤまで検証すれば十分」と補足が入れたとされる。
歴史的背景[編集]
この定理の名称は、当初から「数学の内在語」ではなく、実在の地名に見える形で広まったとされる。1920年代初頭、という通称の研究集会がの私設会館で開かれ、幾何的組合せ論の若手が“整列問題”の交換をしていたことが発端だと説明されることが多い。
創案者としては、当時の学寮に出入りしていたと、翌年からに籍を置いたが挙げられる。彼らは、の貸会議室で夜通し行った計算の記録をもとに、整列変換が必ず収束することだけ先に“当てた”のちに一般形を作ったとされる[4]。
ただし、当時の議事録には矛盾した数字が残っている。「実験した格子サイズは 64×64 で、操作回数は最大 2,147,483,647回まで追跡した」という記述がある一方、別のノートでは「最大で 4096回で落ち着いた」とされる。これらは同一会合の別側面として説明されたが、後年の批判では計算機の世代が合わないと指摘された[5]。
一般化[編集]
その後、定理は“単なる格子”から離れ、より一般のへ拡張される流れが生じたとされる。代表的な一般化として、任意の有限複体に対して「上昇点分布」に相当する量を再定義し、の定義可能性を示す研究が行われた。
また、操作もに限定されず、辺に沿う置換のうち、あるを満たすもの全般に対して整列極限が存在するとする“半順序版”が提案された。ここでは極限が一意になる条件が少しだけ弱められ、「一意性は層単位で成り立つ」とする主張が目立つようになる。
一方で、拡張が進むほど“バーボンハウスらしさ”が薄れるという批判もあった。編集部のレビューでは「原著者が見せた上昇点分布の具体的直感が失われている」と書かれ、以後は図示を重視する傾向が強まったとされる。
応用[編集]
応用の第一はに関するものだとされる。整列極限が上昇点分布だけで決まるなら、初期ラベルの冗長部分を圧縮しても同等の極限挙動を再現できる可能性があるからである。
第二の応用は、の簡便化である。製造工程では、回路上の“矛盾辺”が検出されると局所修正が繰り返されることが多いが、その修正が必ず収束するという性質を、定理に似た言い回しで説明する手法が普及したとされる。とくに「最大 2,000ステップで収束」という運用指標が現場で採用され、現場では“バーボン収束”と呼ばれたという逸話がある[6]。
ただし、現場導入の計画書には、上昇点分布の推定方法として「1セルずつ数えていくのではなく、対角線を 3本引いて代表値を取る」と書かれており、数学者からは「対角線3本で本当に十分か？」と疑問が呈された。この点は、定理の公理化の範囲外で運用された例として、後年の教育資料で“実務的な誇張”として扱われることがある。
脚注[編集]
関連項目[編集]
脚注
- ^ ハーマン・シェーファー『整列極限の十分条件：バーボンハウス型格子』東京工業学院出版局, 1931.
- ^ リナ・ベルモント『隣接整列変換とポテンシャル評価』数学通信, Vol.12 No.3, pp.141-173, 1932.
- ^ M. Kolmogorov『Discrete Alignment in Lattice Topology』Journal of Combinatorial Geometry, Vol.7 No.1, pp.1-29, 1933.
- ^ A. van der Meer『On Potentials that Decrease under Local Rewrites』Proceedings of the International Society for Theoretical Numerics, 第4巻第2号, pp.55-102, 1934.
- ^ 田中銀次『上昇点分布の直観と図示法』幾何的組合せ論年報, 第2巻第1号, pp.9-44, 1935.
- ^ S. R. Halley『Layer Uniqueness and Convergence Bounds』Bulletin of Applied Lattice Methods, Vol.3 No.4, pp.221-260, 1936.
- ^ C. B. Nayar『Diagonal Sampling in Experimental Convergence』Annals of Fault-Tolerant Architectures, Vol.11 No.2, pp.77-95, 1937.
- ^ 嘘でも出る編集室『学術用語の地名化と誤読：バーボンハウス事件の周辺』第三書房, 1950.
- ^ G. T. Arendt『The 4096-Step Myth and the 2^31-1 Claim』Mathematical Folklore Quarterly, Vol.5 No.6, pp.301-318, 1961.
- ^ 佐伯麗奈『幾何的組合せ論史料の校訂実務』東京学芸大学出版部, 2008.
外部リンク
- Bourbon Alignment Archive
- Lattice Topology Notes
- Potentials Decrease Database
- 港区研究集会記録館
- 隔週数学通信（復刻版）