^_^^_^^_^^_^^_^^_^^_^^_^^_^
| name | ^_^^_^^_^^_^^_^^_^^_^^_^^_^ |
|---|---|
| field | 切字渦論学 |
| statement | 任意の二進反復写像が切字渦整合写像として振る舞うための必要十分条件を与える |
| proved_by | 遠田縫理（とおだ ぬいり）ほか |
| year |
における^_^^_^^_^^_^^_^^_^^_^^_^^_^（きじょうのこじょうきごう じゅうきょうかくごう、英: Jōjō-Ka Ku Criterion）は、のについて述べた定理である[1]。
概要[編集]
は、画面上に現れる記号列を「熱」とみなし、その伝播がどのように「矛盾しないまま反復」するかを扱う分野である。ここでいうとは、ビット列を格子点に対応させ、隣接点の整合性を位相的に記述する対象である。
本定理は、特定の規則で作られた二進反復写像が、ある種のを満たすかどうかを判定するための基準を与える点に特徴がある。なお、定理名に用いられる記号「^_^^_」は、研究室のホワイトボードに残っていた“手癖”を起源にしているとされ、数学者のあいまいな笑いの伝統として受け継がれてきた。
本定理は一見、単なる記号遊びに見えるが、実際にはの初期設計や、の整合チェックにまで波及したとされる。ただし、当初の主張の一部には後年訂正が入り、証明の一段目に「おや？」とされる挙動が見つかったとも報告されている[2]。
定理の主張[編集]
Xが、格子点上で定義された二進反復写像fにより更新されるとする。このとき、Xがとして振る舞うための必要十分条件は、fが次の条件を満たすことに等しい。
(1) fは、各格子点vに対して「波頭」と呼ぶ局所構造を持ち、その波頭は段階的に“跳ね返る”。具体的には、波頭の位数をord(v)としたとき、ord(v)がpと整合するようにord(v)≡p (mod 2)を満たす。
(2) 任意の三点組(a,b,c)で、格子上の距離がd(a,b)=d(b,c)=kとなるとき、更新列の整合度I(a,b,c)がI(a,b,c)∈{0,1}に制限される。さらに、I(a,b,c)=1であるためには、記号パターンとして^_^^_^^_ がちょうど1回出現することが必要であるとされる。
(3) 以上(1)(2)が成立するとき、Xは「切字渦整合」を満たし、その結果として反復写像の誤差が格子の境界で増幅しない。言い換えると、任意の境界領域において、誤差関数EがE≤2^−t を満たすように減衰し、tは入力長に応じてで増える。
このように定理は、局所的な位数整合と、三点組における記号出現回数の制約を組み合わせることで、反復整合性を確定する。特に(2)の「^_^^_^^_の出現回数が1回であること」という条件は、数学者が最も言い淀む箇所として引用され続けている[3]。
証明[編集]
証明は、格子列の長さnに関する帰納法で構成される。まず基底ケースとしてn=7の場合を扱うとされ、ここで誤差関数EがE≤2^−7/3=2^−2.333…を満たすことが、手計算と計算機検算により示されたと報告されている[4]。
帰納段階では、長さnの符号化格子列Xに対し、局所変形によって長さn+1の列Yを構成する。変形は、境界から1単位だけ内側の格子点を“渦巻き”状に並べ替える操作であるとされる。この操作により、(1)の位数整合はord(v)の剰余類が維持されるため保存される。
次に(2)の整合度制約を示すため、三点組(a,b,c)を境界を跨ぐかどうかで場合分けする。境界跨ぎの場合、更新列の整合度I(a,b,c)は必ず0になると主張される。一方、境界内の場合はI(a,b,c)が{0,1}に収まり、さらにI(a,b,c)=1である必要条件として^_^^_^^_の出現回数がちょうど1回であることが要請される。
ただし、後年の議論では、この“ちょうど1回”の判定において、位相的同値をどの段階で固定するかが暗黙になっていた点が問題視されたとされる。遠田縫理（とおだ ぬいり）ほかの原論文では、位相固定の選択肢が計算機では自動的に決定されるとしている[5]。しかし、手作業で同値を取り直すと同じ結論になるのかが再検討され、結果的には整合するが条件が“言い換えられていた”という指摘が残ったとされる。
以上により、任意のnについてXは反復整合性を満たすと結論づけられる。なお、この証明ではEの減衰指数tが「t=⌊log2(n)⌋+1」と与えられ、nが版の入力実装で約3.7×10^5を超えると、理論上の減衰が計測上のノイズに埋もれるとも書かれている[6]。
歴史的背景[編集]
は、通信工学の現場で“誤りの原因が見えない”という問題が続いたことに端を発するとされる。特にの小規模研究会では、記号列の反復が原因なのに、原因が数学的に表現できないという不満が蓄積していったとされる。
その転機として、付属のが、符号化の現場で使われていた“波頭”という言葉を数学化しようとした。反復整合室の初代室長としては、に事務所を置く官制研究員であるが関与したとされる[7]。彼女は、記号列の“跳ね返り”を位数として扱う発想を提示した。
一方、定理名に含まれる「^_^^_」の由来は、当時の研究メモが乱筆であり、座標の“上付き”と“下付き”が混ざって残ったことだという。編集を担当したは、論文提出直前に記号列が崩れても計算機が通ったことを「幸運」と表現し、そのまま定理名として定着したとされる。
ただし、歴史をまとめる際には、最初期の草稿における条件(2)が実は別表現で書かれていた点が指摘される。のちにが規格を統一したため、現在の「^_^^_^^_がちょうど1回」の形に整えられた、とする説が有力である[8]。
一般化[編集]
本定理は、二進写像fに限定されていたが、その後「多進版」への一般化が検討されたとされる。一般化では、ord(v)≡p (mod 2)をord(v)≡p (mod m)へ置き換え、整合度I(a,b,c)を{0,1,2,…,m−1}へ拡張する。
このとき、^_^^_^^_の出現回数に関する条件も、単一回ではなく「出現回数がr mod mに一致する」へ変えられる。なお、この一般化では境界誤差EがE≤m^−t を満たすように減衰すると示されたとされるが、証明の主要部分は二進版と同様の構造に帰着させるのが通例である。
また、格子点の位相を“曲面”に拡張する幾何学的一般化もある。たとえばの計算幾何学グループでは、切字渦整合をリーマン面上の反復写像として定式化し、境界条件を弧長ベースで与える試みが行われたという[9]。
ただし、一般化のうちいくつかは、条件(2)の記号出現回数が位相同値に依存する場合があり、当初の主張がそのまま成立しない可能性があると指摘されている。とはいえ、改良案では“同値クラス代表の選び方”を規定することで成立が確認された、とする報告もある。
応用[編集]
切字渦論学の応用は、主にとの境界領域に集中している。とくに、反復整合性を判定できることから、復号の前段で無駄な候補を枝刈りする用途が注目されたとされる。
たとえばの企業連携プロジェクトでは、入力長nに対してt=⌊log2(n)⌋+1で減衰が見込まれることを根拠に、スループットの最適化を行ったという。具体的には、試験データ約120テラビット相当の入力を対象に、整合チェック時間を平均で0.74秒短縮できたと報告されている[10]。
また、教育用途として「^_^^_」を“誤差が増える前に数える印”として扱う教材も作られた。ある講義では、学生が記号パターンの出現回数を数えることで、誤り訂正の考え方を直感的に理解できるとされる。
ただし、応用が進むにつれて批判も出た。条件(2)の“出現回数”が実装依存になり得る点が問題視され、標準化委員会は、同値固定のルールを補遺で提示することになった。その結果、現場では「数学的に正しいが、現場の実装で崩れる可能性がある」という評価が残ったともされる[11]。
脚注[編集]
関連項目[編集]
脚注
- ^ 遠田縫理『切字渦論学における反復整合性の判定規準』京都数理叢書, 2009.
- ^ 鷹羽志津江『波頭位数と符号化格子の整合規則』日本通信計算学会誌, Vol.12 No.3, pp.41-63, 2011.
- ^ M. Kuroda『Jōjō-Ka Ku Criterion and Boundary Error Decay』Journal of Symbolic Lattices, Vol.7, No.1, pp.1-24, 2013.
- ^ H. Iizumi『On the “exactly once” constraint in iterative binary maps』Proceedings of the International Conference on Mist-Resilient Coding, pp.88-97, 2014.
- ^ 伊勢見晃次『編集者は何を直したか——定理記号の統一方針』数学史通信, 第5巻第2号, pp.9-22, 2016.
- ^ S. Yamauchi『Generalizations of the Criterion to m-ary waveheads』Annals of Combinatorial Encoding, Vol.19 No.4, pp.200-231, 2018.
- ^ 【日本信号統制機構】反復整合室『反復整合性テスト手順書（改訂第三版）』, 2019.
- ^ K. R. Nakamori『Phase equivalence choices and verifiable proofs in coded lattices』Transactions on Computational Consistency, Vol.3 No.2, pp.55-79, 2020.
- ^ 遠田縫理『^_^^_^^_^^_^^_^^_^^_^^_^^_^の実装評価』横浜アルゴリズム研究会報, 第1巻第1号, pp.12-31, 2022.
- ^ L. Hartmann『Errata and typographical hazards in theorem names』Theoretical Notation Letters, Vol.2 No.7, pp.300-312, 2023.
外部リンク
- 切字渦論学ポータル
- 反復整合室アーカイブ
- 符号化格子列実験記録庫
- 数学記号由来データバンク
- 境界誤差減衰シミュレータ