やーりまんちんーこの定理
| name | やーりまんちんーこの定理 |
|---|---|
| field | 圏論的確率幾何 |
| statement | 適切に折り畳まれた離散的確率束は、2段階のモルフォロジズムに沿って同値な折り畳み不変量を持つ |
| proved_by | 渡辺精一郎、Margaret A. Thornton、及川ミナト（合同グループ） |
| year | 1989年 |
におけるやーりまんちんーこの定理（よみ、英: Yaarimanchin-Kon Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、離散的確率束を対象に取る圏論的主張である。直感的には、確率の“束ね方”を折り畳んでいっても、ある不変量は変わらないことを保証する定理である。
この定理が扱う“折り畳み”は、通常の折り目ではなく、圏の射を二層に分けてから再合成する操作として定義される。実務上は、統計モデルの階層化に似た手続きが、結局は同じ評価関数に戻ることを示すと解釈されることが多い。
なお本定理は、初期のメモ段階では「やーりまんちんーこの定理（仮）」として、のデータ同化プロトコル“やーりまんちん方式”の説明口上から出発したとされる[2]。もっとも、後に“口上”は学術論文の脚注で訂正され、当該方式は別起源であると主張されるようになった。
定理の主張[編集]
離散的確率束（有限点集合上の確率測度系により組織化された対象）を考える。これに対し、二つのモルフォロジズム系列（前処理層と観測層）として、射の列が与えられる。
本定理では、折り畳み不変量 $\mathcal{Y}$ を次のように定義する：折り畳み写像 $F$ によって確率束を再配置した後、各折り目に対応する“整合度”を $\mathcal{Y}(B)=\sum_{i=1}^{17} \frac{\kappa_i}{1+\kappa_i}$ の形で集計する。ここで $\kappa_i$ は各折り目での整合度（整数で与えられると仮定される）である[3]。
すると、前処理層の折り畳み $F_1$ と観測層の折り畳み $F_2$ が、一定の条件—具体的には“2層合成が同一の圏的余核を持つ”こと—を満たすなら、折り畳み不変量は一致する。すなわち $\mathcal{Y}(B)=\mathcal{Y}(F_2\circ F_1(B))$ が成り立つ。
このとき $\mathcal{Y}$ は、個別の確率の並び替えに依らず、射の同値類にのみ依存する。したがって、離散的確率束が満たす同値条件が本定理の根幹であるとされる。
証明[編集]
証明は、圏論的な分解定理と、折り畳み操作の有限性を同時に用いて進む。最初に、対象 $B$ を“17枚の札”に分割する（この数は、後述する議事録により採用されたとされる）。各札に対応する整合度 $\kappa_i$ が整数であることを仮定すると、集計式は有理数として閉じる。
次に射列を、の研究室で当時流行していた“二段階同値分解”の手順に従い、前処理層 $F_1$ と観測層 $F_2$ に分解する。このとき、2段階合成が同一の余核を持つならば、整合度の集合は添字の置換に帰着されると示される。
さらに、置換に対して $\sum_{i=1}^{17} \frac{\kappa_i}{1+\kappa_i}$ が不変であることを、射影的な対称性（射影とはいえ確率の写像に対する“測度の整列”として扱われる）から導く。ここでは、$\frac{x}{1+x}$ が単調増加であることから、整数の多重度が一致すれば和も一致するため、結果が示される。
最後に、手続きの中で発生する“端点誤差”が、観測層の折り畳みで打ち消されることが附属委員会の審査記録により補足されたとされる[4]。ただし当時の当事者は、補足部分が後付けであると述べており、編集者側の解釈の揺れが残っている。
歴史的背景[編集]
やーりまんちん方式は、1980年代後半に複数の研究グループへ波及した。特に、離散データ同化の現場では、確率モデルを段階的に“折り畳む”必要があり、誤差が蓄積する問題があった。
その突破口としての非公開技術メモが非公式に共有され、折り畳みの設計が「二層合成」「余核不変」という言葉で再翻訳されたと記録されている[5]。ただし、この技術メモが学術論文へ直結したかどうかは曖昧で、ある編集者は“口上の伝承”からの類推と記した。
この定理の名付けに関しては、当時の会議で誰かが独特の語呂で整理を始めたことに由来するとされる。議事録では「やーりまんちんーこの定理」という音のまま残され、後年、作図に便利だったという理由で“この定理”という語尾だけが数学的な命名規則に整えられたと主張された。
なお本定理は、学会誌第12巻第3号に1989年として掲載されたが、原稿受理日は前年末であり、実際の会合はさらに前であったと推定されている。編集作業の遅延が“発見年”を固定したという指摘がある。
初期の共同研究体制[編集]
証明作業は、渡辺精一郎（東京側の圏論研究者）とMargaret A. Thornton（米国の確率束研究者）、及川ミナト（計算折り畳み担当）の合同チームとして整理された。なおこの合同の事務局はの“短期共同作業枠”で賄われたとされる[6]。
“17枚の札”採用の理由[編集]
17という数は、偶然のように見えるが、実際には当時の実験データのカテゴリ数がちょうど17であったため採用されたと説明される。ただし後の論文では、“札は任意個でもよいが和の扱いが複雑になる”ため敢えて17に固定した、と整えられている。
一般化[編集]
やーりまんちんーこの定理は、折り畳み不変量 $\mathcal{Y}$ の定義域を、整合度 $\kappa_i$ が整数である場合から、有理数や実数へと拡張する形で一般化されている。
一般化版では、$\mathcal{Y}$ の集計が $\mathcal{Y}(B)=\sum_{i=1}^{17} w_i\cdot \frac{\kappa_i}{1+\kappa_i}$ に置き換えられる。ここで $w_i$ は“重み”であり、射影的に選ばれると定義されるが、選び方により不変性の範囲が変わることが示された。
また、余核不変という条件を弱めて“2層の影響が測度の3点相関として一致する”と仮定すると、完全な一致ではなく、誤差評価つきの近似不変が得られるとされる。誤差は概ね $10^{-6}$ オーダーで抑えられると報告されたが、再現性を巡って研究者間で温度差があった。
さらに、折り畳みが二層ではなく多層（3層合成など）へ拡張されると、$\kappa_i$ の定義が“折り目”から“層間写像の癒着係数”へと移行する。癒着係数の物理的解釈が議論された点が特徴である。
近似不変の閾値[編集]
近似版では、相関一致の閾値を調整するパラメータが導入される。ある研究では閾値を0.03に設定したとされるが、別の研究では“0.0300…と無限に続く”と書かれており、読み替えが必要とされている。
応用[編集]
本定理は、離散データの階層モデルにおける評価関数の安定性を保証する用途で頻繁に引用される。具体的には、分割学習や段階推定の際に、“前処理の都合で評価が変わらない”ことが必要になる場面で使われる。
例として、に設置された地域センサーネットの校正では、観測層と前処理層の折り畳み順序を入れ替えたにもかかわらず、整合度の多重度が不変であると報告された。結果として、校正後の推定値が同値類内で保たれたとされる[7]。
また、情報理論寄りの応用では、折り畳み不変量 $\mathcal{Y}$ を圏上のハッシュ関数の安定指標として導入した研究がある。そこでは、$\mathcal{Y}$ の値が乱数品質評価の一貫性を与えると述べられ、“実装時の並べ替えで破綻しない”という現場の利点が強調された。
ただし、応用領域の拡大に伴い、整合度 $\kappa_i$ を整数として扱う仮定が破られるケースが報告された。すると不変性が崩れ、近似不変へ切り替える必要が生じる。その切替条件は、実務者には難解であるとして批判されている。
教育カリキュラムへの採用[編集]
一部の大学では、圏論入門講義の“折り畳み演習”として取り込まれた。演習では、架空データを17カテゴリに分類し、折り畳み順序を入れ替えても評価が変わらないことを手計算で確認させる。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎「やーりまんちんーこの定理と折り畳み不変性」『圏論と確率の連結構造』第3巻第2号, pp. 41-73, 1989年.
- ^ Margaret A. Thornton「Folding invariants for discrete probability fibrations」『Proceedings of the International Society for Category Statistics』Vol. 12, No. 3, pp. 201-229, 1991.
- ^ 及川ミナト「二層合成における余核不変性の計算」『数理工学年報』第18巻第1号, pp. 5-28, 1990年.
- ^ 佐伯寛人「端点誤差の相殺と射影対称性」『日本数理通信』Vol. 7, No. 4, pp. 88-103, 1992.
- ^ Editorial Board「〔座談会〕やーりまんちん方式の学術化」『Journal of Probabilistic Category Studies』第12巻第3号, pp. 1-20, 1989年.
- ^ 山口ルイ「余核という言葉の揺れ」『圏論用語集の史的再編』第2版, 第6章, pp. 77-95, 2001年.
- ^ A. K. Sato「On the stability threshold 0.0300… in approximate folding」『The Journal of Applied Categorical Inference』Vol. 5, No. 9, pp. 300-315, 1998.
- ^ 渡辺精一郎, Thornton, 及川ミナト「Yaarimanchin-Kon Theorem: A computational appendix」『Advances in Discrete Probability Categories』pp. 311-338, 1994.
- ^ （書名が微妙におかしい）気象庁「折り畳みと天気予測の秘密報告」『大阪観測の裏面』第1巻第1号, pp. 1-9, 1988年.
外部リンク
- 圏論的確率幾何アーカイブ
- 折り畳み演習ノート倉庫
- 余核不変性ワーキンググループ
- Journal of Probabilistic Category Studies まとめサイト
- やーりまんちん方式資料棚