ヤー・マイナーの定理
| name | ヤー・マイナーの定理 |
|---|---|
| field | 架空数学（折り目幾何学・分岐平面論） |
| statement | 折り目整合条件を満たす分岐平面は、境界の符号列から一意に復元される |
| proved_by | 渡辺精一郎（分岐平面研究所） |
| year | 1967年 |
におけるヤー・マイナーの定理（よみ、英: Yar Minor's theorem name）は、のについて述べた定理である[1]。本定理は、特定の局所データから大域的な整合が一意に復元できることを主張する[2]。
概要[編集]
は、上のを判定するための基準として整備されたものである。
折り目整合性とは、分岐平面の各点で定まる局所の向き（局所符号）を、隣接する領域間で矛盾なく貼り合わせる可換性を指すとされる。特に本定理では、境界上の符号列（長さ n の 0/1 列）から内部の折り目配置が復元されることが示される。
なお、定理の記述は「局所が正しければ大域が自動的に正しくなる」という種類の主張として理解されがちであるが、実際には復元手続きが極めて特異であり、例外パターンの存在も同時に規定される点が特徴である。
定理の主張[編集]
X に対し、その境界 ∂X が n 個の辺からなるとする。さらに、境界上の各辺に 0/1 の符号が付与されているものとし、それを符号列 s=(s_1,…,s_n) と表す。
このとき、X の内部に折り目（折り畳み線）を導入してできる局所データが、次の条件を満たすなら、折り目配置は境界符号列 s により一意に決定される。
具体的には、(i) 任意の分岐点で定まる局所符号の差は隣接領域の符号差と整合し、(ii) 3 点同時接続が起きる領域では、折り目角度が「±π/3 のどれか」に限られる。加えて、(iii) 例外として、境界符号列が「交互パターン」すなわち s_i≡s_{i+2}（添字 mod n）を満たす場合には、内部は二通りに見えるが、定理の補助規約によりそのうち一方が選択されるとされる。
以上より、折り目配置は s から一意に復元されることが結論される。特に復元の写像は、n に対して「分岐点の個数がちょうど 2n+7 個」であるという数え上げ則を伴うと明記される[3]。
証明[編集]
証明はによる「分岐点符号追跡法」と呼ばれる枠組みに基づいて組み立てられたとされる。
まず、境界符号列 s から「予備折り目配置」C_0 を機械的に生成する。生成手順は、境界の各辺から内部へ向かう n 本の仮想走行線を引き、走行線が作る領域分割に対して、角度条件 (±π/3) を満たすように折り目を最短回数で差し込むというものである。ここで最短回数は、分岐点の局所矛盾が最初に発生するステップを 17 回目として固定し、以後は必ず矛盾を戻さないように規約化される。
次に、局所整合性の条件 (i)(ii) は「三角面セルの周回積が 1 に等しい」こととして書き換えられる。そして、周回積が 1 であることは、セル境界の符号転換が偶数回で打ち消されることに対応するため、予備折り目配置 C_0 は矛盾を内部に蓄積しないと示された。
さらに、一意性は「反転手続き」の消去によって与えられる。反転手続きとは、例外的に二通りに見える内部配置を切り替える操作であるが、定理では「境界上の 1 の総数が k=⌊n/2⌋ のときのみ反転が可能」という条件を課しており、これにより二通りのうち一方が自動的に排除される。従って、C_0 が実際の折り目配置そのものに一致し、また別配置が存在しないことが証明された[4]。
計算補題（出入口は17）[編集]
補題の核では、矛盾の発生点が常に「境界辺から数えて 17 番目の隣接セル」に位置することが仮定される。この仮定は計算上は n への依存を持たないが、直感に反することから当時は議論の的となったと記録されている[5]。
符号列復元アルゴリズム[編集]
復元写像は、境界符号列 s を「層状圧縮表現」へ変換し、そこから折り目角度を段ごとに決定する。圧縮の中身は 0/1 を 3 つずつ束ねて「001→A, 010→B, …」のように写像し直す表であるとされる[6]。
歴史的背景[編集]
本定理は、1960 年代の（所在地は横浜湾岸地区の古い倉庫群）での共同研究として生まれたとされる。
当時、研究所は「紙工学に見えるが紙工学ではない」問題を扱っていた。具体的には、舞台美術で使う巨大な折り目パネルが、観客の視線移動により“角度が微妙にズレる”という苦情が相次いだことが契機とされる。そこで彼らは、物理の代わりにをモデル化し、視線によるズレを「境界符号列の入力」として表現する方針を採った。
研究の中心人物としてが頻繁に言及される。マイナーは実在の人物として伝えられつつも、公式記録では「在籍番号 204 の非常勤解析員」としか残っていない。彼は、境界から内部を復元するには局所整合性を“角度 ±π/3 に固定すること”が重要だと主張し、これが定理の形に直結したとされる[7]。
また、この研究が社会に与えた影響としては、1970 年代に入ると建築系の学会が折り目パネルの設計図にを引用し始め、「構造の整合性を符号列で扱える」という標語が流行したと説明されることがある。もっとも、標語の流行が数学の理解を促進したかどうかは別問題として、少なくとも工房の発注書は劇的に短くなったという証言も残っている[8]。
誰が関わったか（編集者も含む）[編集]
定理の初出が掲載されたとされる雑誌では、編集担当のが「一意性」を強調するように原稿を短縮したとされる。なお、出典として挙げられた文献の一つは『記号復元手順報告（会議録・未公開）』であると明記されている[9]。
なぜ“定理名”が変わったか[編集]
当初は「マイナー局所整合定理（仮）」と呼ばれていたが、翌年の改稿で“ヤー”が前に付けられた。これは、研究所内の通信で「Minor theorem」を誤って“Yar Minor”と書き込んだ者がいたためである、という尤もらしい逸話が残っている[10]。
一般化[編集]
は、角度制約 ±π/3 をより一般の「±π/m」に置き換えることで一般化が議論された。
この一般化では、m が奇数であることが仮定される場合と、m が偶数でも“例外規約”を導入すれば成立するとする場合がある。前者の流儀では、分岐点の個数が「2n+7 から 2n+7+ (m−3)·n/2」へ増えると計算され、後者の流儀では “反転手続き”の可能性が 1 の総数に対して「k=⌊n·(m−1)/(2m)⌋」のときに限定されると定式化された。
一方で、一般化に伴い「予備折り目配置の生成が 17 ステップで必ず止まる」性質は失われると指摘される。失われる代わりに、停止条件が「境界上の 01 の出現回数が 19 回に到達したら止める」というルールで置換されることがある[11]。
このように一般化は、条件が増えるほど見かけの数学的厳密さが増すにもかかわらず、復元手続きの運用が現場にとってはむしろ複雑になるという逆説を生んだとされる。
応用[編集]
本定理は主として、モデルに基づく“折り目整合設計”に応用されると説明される。
具体的には、電子ディスプレイの可変パネルにおいて、境界入力を符号列として与え、内部の折り目角度を復元して表示の歪みを抑制する用途が挙げられる。特にの試作工房が、表示面積 48,000 cm² のパネルで、整合不良を従来比 0.62% にまで減少させたという報告が引用される[12]。
また、教育面の応用として「数学の入力は境界だけでよい」という教え方が広まり、模擬試験では境界符号列 s のみが配られるにもかかわらず、受験者が内部の“正しい折り目”を描けることが評価された。もっとも、その試験問題の採点に使われた採点器が 204 個の検出点を持つことは、当時の受講者が最も驚いた点として語られている[13]。
ただし、応用の拡大とともに「符号列を読み取るセンサーの誤差が境界復元の一意性を壊すのではないか」という批判も現れ、工学側では“例外規約”に合わせた冗長入力が採用されるようになったとされる。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『分岐平面の符号追跡法：ヤー・マイナーの定理の構成』分岐平面研究所出版, 1967年.
- ^ E. H. Yarminor『On the Fold Consistency of Branched Surfaces』Journal of Imaginary Topology, Vol. 3, No. 2, pp. 101-138, 1968.
- ^ 鈴木礼子『折り目幾何通信における編集方針と一意性強調の作法』折り目幾何通信, 第12巻第3号, pp. 55-72, 1967年.
- ^ M. Tanaka『±π/3 制約が局所矛盾を抑える理由』Proceedings of the International Society for Boundary Codes, Vol. 9, No. 1, pp. 9-26, 1970.
- ^ K. D. Marriner『Seventeen-Step Exit Criteria in Symbolic Reconstruction』Studies in Boundary Algorithms, Vol. 14, No. 4, pp. 233-259, 1971.
- ^ 渡辺精一郎『分岐点の個数則と再計数アルゴリズム』数学史叢書, 第7巻第1号, pp. 1-19, 1969年.
- ^ R. A. Watanabe『Layered Compression Representations for 0/1 Boundary Sequences』Annals of Imagined Geometry, Vol. 22, No. 6, pp. 401-430, 1973.
- ^ 折り目幾何通信編集部『記号復元手順報告（会議録・未公開）』折り目幾何通信, 第12巻第3号, pp. 73-80, 1967年.
- ^ S. Albrecht『Generalization of Fold Angles ±π/m with Exception Rules』Theoretical Craft & Codes, Vol. 1, No. 1, pp. 77-95, 1975.
- ^ （ややおかしい）J. Minor『Yar vs. Minor: A Naming Note on Theorems』Bulletin of Spurious Bibliography, Vol. 2, No. 3, pp. 13-18, 1968.
外部リンク
- 分岐平面研究所アーカイブ
- 折り目幾何通信オンライン版
- 境界符号学習リソース
- ヤー・マイナー定理の図解ギャラリー
- 象徴的復元計算機（β版）