チン・チンの定理
| name | チン・チンの定理 |
|---|---|
| field | 代数的数列解析 |
| statement | 1chin を coscos に写像し、十分に蓄積された coscos 群が条件(★)を満たすとき、ドピュ（規則性を持つ整数）が放出される |
| proved_by | チン・チン（本人主張、補筆はサイデル・ヴァイセン） |
| year | 1887年 |
におけるチン・チンの定理（よみ、英: Chin-Chin's theorem name）は、のについて述べた定理である[1]。内モンゴル出身の数学者チン・チンが19世紀末に提唱したとされ、現在では数列生成の「閾値現象」を説明するものとして扱われる[2]。
概要[編集]
チン・チンの定理は、数列の中でが進行した後に、ある種のが「放出」される現象を、形式的に記述しようとする試みとして位置づけられる。ここでいう放出とは、列を構成する生成規則が、ある閾値を越えた瞬間に新たな整合性を獲得することを指すと説明される。
この定理では、入力として 1chin を coscos に置き換える操作がまず定義される。そして、その coscos の総量が一定の形を取ると、出力側でドピュと呼ばれる「規則性を持つ整数」が必ず現れると述べられる。直観的には「coscosが貯まるほど、整数側が賢くなる」ことを主張する定理であるとされる[3]。
定理の主張[編集]
まず 1chin を、数列生成器𝒢が持つ内部状態として解釈する。次に、内部状態の各成分を coscos に写像する関数 Φ を導入すると、生成列は Φ(1chin) によって制御される。
定理の中心は、coscos の蓄積が条件(★)を満たすとき、ドピュが確実に放出される点にある。条件(★)は「蓄積された coscos の位相が、長さ 2^{17} から 2^{17}+2^{9} の間で、ちょうど 7回の再整列を起こしている」ことを含意すると表現されることが多い。文献によっては再整列回数を6回とするものもあるが、チン・チン系の写本は 7回説を支持している[4]。
また、ドピュは必ずしも素数であるとは限らないとされる。むしろ「余りの取り方が一定のパターンを保持する整数」と説明されることが多く、例として 1chin=42 の場合、最初に放出されるドピュは 241 であると報告される。ただし、この例は後世の講義録により 2410 とする写し違いが指摘されている[5]。
証明[編集]
チン・チンの証明は、当初から「完全には書き下されていない」と見なされてきた。というのも、原稿とされる『黄砂環状論文集』では、途中から余白に「この行は読み替えよ」とだけ記され、実際の計算は弟子筋のサイデル・ヴァイセンが後から補筆したとされるからである[6]。
補筆版では、Φ(1chin) が満たすべき不変量 I を導入し、I の値が蓄積に伴い単調に増加することが示されたとされる。特に、I は蓄積量に対して 0.003125 ずつ刻む離散歩幅を持つと計算されている。この数値は、当時の測定誤差を補うための格子分解能として「標準で 3200分割」との記述が同じ写本にあり、そこから逆算されたものだと解釈されている[7]。
次に、条件(★)の再整列が起こるタイミングで、ドピュを構成する性質が局所的に整合することが示された。具体的には、再整列の7回目に対応する段階で、生成器𝒢が「規則性を持つ余り写像」を内部に獲得するため、ドピュが外部へと放出される、という論理の流れである[8]。なお、原文には「coscosが十分に蓄積された時にドピュが放出される」としかない箇所があり、要出典タグが付きそうな曖昧さが残っているとされる。
歴史的背景[編集]
チン・チン（内モンゴル出身）は、19世紀後半に数列の「蓄積」に着目したとされる人物である。彼が勤務したと記録されるのはに関する官学研究所ではなく、近郊の算術倉庫を転用した私設研究舎とされる点が特徴である[9]。
当時、欧州側では数列解析が「解析的連続性」の議論に偏りつつあり、蓄積という離散現象が軽視されていた。これに対しチン・チンは、砂漠交易の帳簿管理における「繰り返し検算」を数学化し、検算が7回を越えると必ず整合するという体験則を出発点にしたと語られている[10]。この“検算回数”がそのまま条件(★)の7回へ織り込まれたのではないか、という説が根強い。
また、補筆者サイデル・ヴァイセンはベルリン郊外のに所属していたとされ、写本を整理する過程で Φ を形式化したとされる。彼の関与により、チン・チンの定理は「現場の経験則」から「記号の文章」へ変換された、という見方がある[11]。ただし、定理の“出典”がどの倉庫帳簿に基づくのかは明確にされていない。
一般化[編集]
チン・チンの定理は、当初は 1chin を coscos に写像する特定の形式に依存していたが、のちに写像 Φ のクラスを拡張して一般化が試みられた。ここで一般化とは、Φ(1chin) が満たすべき位相条件を「再整列回数 7回」から「再整列回数 k回」に置き換える操作である。
一般化版では、条件(★)は次のように書き換えられるとされる。すなわち、蓄積された coscos の位相が長さ 2^{17} から 2^{17}+2^{9} の間で、ちょうど k回の再整列を起こすと仮定すると、ドピュは放出される。さらに、k は 1 ≤ k ≤ 11 の範囲でほぼ同様のふるまいを示すと報告された[12]。
ただし上限を 11 にする根拠は、当時の計算局で運用されていた「符号器の部品寿命」が平均 11万回の点火で劣化する、という技術文書と関連づけられている。ここは数学というより工学の事情が混入した領域であり、のちのレビューで「定理の一般化ではなく装置の一般化である」と指摘されたことがある[13]。
応用[編集]
チン・チンの定理は、数列生成器𝒢における「規則性獲得の閾値」を見積もるために応用される。具体的には、金融帳簿の検算や、暗号的な擬似乱数生成において「十分な蓄積の後にだけ整合性が現れる」設計に利用できると説明されることが多い。
たとえばの研究グループでは、都市交通の時刻表から作る整数列に対し、coscos を“同時刻グルーピングの代理変数”として定義し直すことで、ある時点でだけ出現する整合余り（ドピュ）の頻度を予測したと主張した[14]。彼らの報告では「対象区間 3.2km、観測窓 41分」でドピュの平均放出回数が 2.7回になったとされる。
一方で、応用が進むにつれ「放出されるドピュの定義が、設定した整合性条件に依存しすぎる」との批判も出た。そのため現在では、ドピュをより観測可能な指標（例えば余りパターンの自己相関）へ落とし込む手続きが併用されるようになっている[15]。
脚注[編集]
関連項目[編集]
脚注
- ^ チン・チン『黄砂環状論文集』黄沙書房, 1887年.
- ^ サイデル・ヴァイセン『余白補筆とその算法：チン・チン体系の整理』ベルリン学術書院, 1891年.
- ^ Margaret A. Thornton『Accumulated Coscos and Threshold Integers』Journal of Discrete Phases, Vol. 12, No. 3, pp. 41-73, 1928.
- ^ 伊藤精之『代数的数列解析の現場的解釈』東京大学出版局, 1936.
- ^ H. R. Senn『On the Re-alignment Count in Integer Emission Problems』Proceedings of the International Society for Symbolic Logic, Vol. 4, No. 1, pp. 9-27, 1954.
- ^ 坂巻清隆『ドピュ：規則性ある余りの統計学』共立数理叢書, 第2巻第1号, pp. 88-121, 1972.
- ^ O’Connell, Liam『The Apparent Monotonicity of Invariants with Step Size 0.003125』The Annals of Lattice Approximation, Vol. 19, No. 7, pp. 201-239, 1983.
- ^ 李文澤『フフホト算術倉庫と検算文化の数学化』内蒙古歴史数理研究会紀要, 第8巻第2号, pp. 1-33, 1999.
- ^ Katherine M. Rios『Practical Integer Emission in Urban Timetables』Chicago Statistical Workshop Reports, pp. 55-90, 2006.
- ^ 『ポツダム計算局設備記録（焼損版）』ポツダム計算局, 1879年.
外部リンク
- 嘘ペディア・数学辞典
- 内モンゴル数列史アーカイブ
- 生成器𝒢の仕様倉庫
- ドピュ放出研究会
- 再整列仮説フォーラム