デカマクラの定理
| name | デカマクラの定理 |
|---|---|
| field | 格子確率解析（架空） |
| statement | 格子上の確率測度は、デカマクラ族の補正により極大近傍で局所平滑性を満たす |
| proved_by | 菱沼マレク・オルタル（数学史室・統計幾何班） |
| year | 1968年 |
におけるデカマクラの定理（よみ、英: Deca-Makura's Theorem）は、のについて述べた定理である[1]。本定理は、と呼ばれる反復的な補正手続きが、ある種の“ほどけ方”を保証する点で特徴的である[1]。
概要[編集]
デカマクラの定理は、がにおいて一定の“滑らかさ”を獲得することを主張する定理である。
この滑らかさは解析学的な連続性ではなく、確率の“差分”が幾何学的に制御されることとして定義される点が特徴である。
また、本定理の記述にはと呼ばれる反復補正手続きが登場し、手続きの回数が具体的に数値化されるため、実装の雰囲気も持つとされる。
定理の主張[編集]
Z^d 上の確率測度μがE_d(μ)<∞を満たすと仮定する。
このとき、任意の極大点x*に対応する半径r>0の近傍B(x*,r)では、による補正をN回施した測度μ_Nが、差分平滑性条件
Δ(μ_N; x*, r) ≤ C(d, E_d(μ)) · r^{-1/7}
を満たすことが示される。
ここでC(d, E_d(μ))はdとE_d(μ)に依存する正定数であり、“-1/7”という指数は補正の設計規則から導かれるとされる。
証明[編集]
証明はとの二段構えで構成される。
まずμの有限差分エネルギーE_d(μ)を、格子点列ごとの寄与に分解し、各寄与がでどれだけ“跳ねるか”を評価する。
次に、デカマクラ族の補正をN回適用する際、各反復が“誤差の位相”をずらすように設計されるため、位相の衝突確率がで抑えられると仮定する（この仮定は後の一般化で微調整される）。
この結果、差分平滑性の上界が r^{-1/7} に従うことが示され、最終的にΔ(μ_N; x*, r) ≤ C(d, E_d(μ)) · r^{-1/7} が得られるとされる。
歴史的背景[編集]
研究が始まった経緯（“デカマクラ”の由来）[編集]
デカマクラの名称は、当時（所在地千代田区の旧館とされる）で、格子データの誤差を“枕のようにほどく”作業手順が流行したことに由来するとされる。
ただし当該作業は公式には存在せず、助手の個人的な呼称が学内メモに紛れ込み、そのまま理論名に昇格したという経緯が、後年の回想録で語られている。なお、その回想録では、最初に使われた補正回数が「N=19回」だったとも書かれている[2]。
誰が関わり、どこで完成したか[編集]
証明の骨格は、菱沼マレク・オルタルが、の“格子確率ワークショップ”で提示したスライド（全42枚）を発端として、さらにの共同研究室で磨かれたとされる。
当時の議事録では、局所封じ込め推定の係数調整が難航し、会議の最終日だけで“係数表”が3種類差し替えられたと記録されている。
一方で、編集側の資料整理では同じ係数表にページ抜けがあり、結果として年の表記が「1968年」と「1969年」の両方に揺れたが、最終版では1968年に統一されたと説明されている。
一般化[編集]
デカマクラの定理は当初、上の確率測度に限定されていた。
その後、へ拡張する試みがなされ、r^{-1/7} の指数が“格子の粗さの対数”と結びつく形に変形されたと報告されている。
ここでは“1/2^N+1”の仮定を緩め、位相衝突確率をで近似することで、同様の差分平滑性が得られる可能性が示された。
ただし、一般化の途中で参照されたの出典が、編集者によって“別論文の数式番号”に差し替えられているとの指摘がある。
応用[編集]
本定理は、格子上の測定値が観測ノイズにより“ぎこちなく”見える状況で、局所的な滑らかさを保証する道具として語られる。
特に、都市交通のセンサーネットワークを格子としてモデル化する研究では、が局所推定の分散を抑えるという説明に利用されたとされる。
また、の差分エネルギーに似た指標を導入した際にも、デカマクラ族の反復回数を「N=23回」に固定すると経験的に安定化するという報告がある（ただし理論的な保証は完全には揃っていないとされる）。
さらに、教育用途としては“r^{-1/7} が強制される”という直感的なキャッチコピーが人気を集め、学会の講義では図が毎回同じ比率で描かれたという。
脚注[編集]
関連項目[編集]
脚注
- ^ 菱沼マレク・オルタル「デカマクラ族による局所平滑性の確率制御」『Journal of Lattice Probabilistics』第12巻第3号, pp. 115-184, 1968年.
- ^ 上田シオナ「差分エネルギーと極大近傍の幾何」『日本数学通信』第44号, pp. 1-26, 1970年.
- ^ L.ヴォルフ・ハイン「Local Containment Estimates on Artificial Grids」『Proceedings of the International Society for Hypothetical Analysis』Vol. 7, No. 2, pp. 33-59, 1972年.
- ^ ロウ・エリオット「A Note on the r^{-1/7} Exponent」『Annals of Unreasonably Specific Mathematics』Vol. 19, pp. 401-417, 1975年.
- ^ 篠宮カイ「統計幾何研究所のメモに現れる“デカマクラ”」『数理史研究レター』第2巻第1号, pp. 77-102, 1981年.
- ^ C.ダ・ロウレンツ「Phase Collision Heuristics for N-Step Corrections」『The Bulletin of Suspicious Theorems』第5巻第4号, pp. 9-28, 1984年.
- ^ 伊達ユリ子「可変格子における位相衝突の近似」『格子確率研究紀要』第31巻第2号, pp. 211-246, 1990年.
- ^ M.ペンローズ「(The) Deca-Makura Theorem and its Educational Anecdotes」『Mathematical Pedagogy Today』Vol. 3, No. 1, pp. 55-70, 2001年.
- ^ 編集局「定理の名称統一に関する内規（1969年改訂）」『日本数理振興財団報告書』第1号, pp. 3-8, 1969年.
- ^ グラント・M「On the energy decomposition lemma, pp. 0-0」『Transactions of the Empty Page Society』Vol. 1, No. 1, pp. 0-0, 1998年.
外部リンク
- Deca-Makura Archive
- Lattice Probabilistics Online
- Hypothetical Analysis Seminar Notes
- Japanese Mathematical Communication Digital Library
- Correction Procedure Gallery