クロムマキドの定理
| 分野 | 応用数学／制御理論 |
|---|---|
| 提唱者 | クロムマキド（通称） |
| 初出とされる年 | |
| 成立の場 | 即興の研究会（後に論文化） |
| 主な応用 | 安定化・誤差境界・スケジューリング |
| 関連概念 | 円環測度・分割安定性 |
| 式の特徴 | “クロム係数”と呼ばれる重みが登場する |
（くろむまきどのていり）は、の分野で用いられる数理的命題である。各種の最適化・安定性評価に応用できるとされ、学会報告でも頻出する[1]。
概要[編集]
は、複数の不確かさが同時に存在する系に対し、「ある条件下では、最悪誤差が指数的に抑えられる」ことを保証するとされる命題である。特に、状態遷移が“滑らかに壊れる”状況を扱う際に有効であるとされ、やといった補助概念とセットで語られがちである[1]。
一般向けの説明では、入力のゆらぎが「クロム係数」と呼ばれる重み付けによって“同じ種類のゆらぎ”として合成され、結果として安定側へ折り畳まれる、という直観が与えられる。この説明は一見わかりやすいが、厳密化の段で補助定理が複数回“挿し替え”されるため、学術的には「読み替え可能な条件」を含むとされる[2]。
なお、定理そのものよりも、定理に付随する計算手順（“クロムマキド手順”）が現場で先行して普及した経緯があり、実務者のあいだでは「定理は後から来た。手順が先に走った」と回顧されることがある[3]。
成立と歴史[編集]
研究会「湿度と誤差」の夜—発明の導線[編集]
、の小規模研究会であるが開催され、主催はの若手研究員とされている。当時、発表予定の一部が未提出となり、急遽、代替として“安定性の見積もり”だけを扱う発表枠が追加されたという[4]。
この枠で持ち込まれたのが、即席に書かれた「クロムマキド係数」の仮計算であった。逸話によれば、は会場の空調の不調を「誤差の円環構造」と見立て、来場者に対して“湿度ログをそのまま数理モデルに入れろ”と指示したとされる。会の議事録には、湿度センサーの記録が「17分ごと・全248点・平均偏差0.62（単位は書かない）」と残っており、これが後に定理の係数表現の雛形になったと推定されている[5]。
ただし、この夜の出来事を巡っては矛盾もあり、別の参加者は「ログ点数は252だった」と述べている。学会側の公式資料が後から整備されたことで、数値だけが“よく覚えられる形”に丸められた可能性が指摘されている[6]。
論文化の裏側—国際共同草案と“条件の挿し替え”[編集]
翌年以降、定理はの周辺で広まり、には草案がの研究者（当時、附属の計算部門とされる）に回覧されたとされる[7]。ここで草案は一度大きく書き換えられ、「円環測度」の定義域が拡張された。
一方で、定理の核を支える条件（“分割安定性を作るための上界”）は、草案版では3段階評価だったのが、会議での口頭説明に合わせて4段階へ増え、最終版では再び3段階へ戻されたという。学術史では、こうした差し替えを「準備された条件の挿し替え」と呼ぶ者もいる[8]。
この差し替えの結果、定理は本来の証明よりも“計算が合う形”として知られるようになり、実務の現場では「証明より現象」を重視する文化と結びついたといえる。のちにのワークショップで、実務者がこの定理を「目視で当たる予言」と称したことが、一般名称の流通を加速させたと報告されている[9]。
内容（定理の骨格とクロム係数）[編集]
は、対象を“状態ベクトル”と“ゆらぎ”の2層に分け、ゆらぎが円環状に再配置される状況を仮定する。そのうえで、ゆらぎの大きさをという重みで再評価し、次に分割安定性に関する上界を適用することで、最悪誤差がある指数関数で抑えられるとされる[2]。
定理の説明でしばしば省略されるのが、「分割の粒度がnではなく“n+0.5”として効いてくる」という点である。実務向け資料では、粒度はn=8, 16, 32…と増やす例が多いが、草案の注記には「8.5・16.5・32.5」として現れ、最終版でなぜか整数へ丸められたとされる[10]。
なお、定理の名前が有名になった背景には、係数表が異常に細かいことがある。たとえば、係数の表には「クロム係数wは、w=0.13〜0.27の範囲で刻み0.01。例外的にw=0.21だけ3倍読み」などと記載された紙片が残されており、これが“覚えやすい呪文”として定着したと語られている[11]。この部分は実証が伴わないとの批判もあるが、計算現場では“結果が合うなら良い”として受け入れられた。
社会への影響[編集]
定理が普及したのは純粋な学術のためだけではなく、頃から始まった公共の安定化プロジェクトに結びついたことが大きい。具体的には、の前身機関であるとされる「観測ネットワーク整備局」が、観測データの欠損を補うアルゴリズムにを採用したとされる[12]。
当初、局内では「指数抑制の条件」を満たさないデータが多く、現場は混乱した。しかし、実務者は“条件は読み替えられる”という草案時代の暗黙知を使い、観測点の分割を実質的に変更して対応したと報告される。この結果、補完の成功率が「月次で平均93.4%→95.1%へ上昇した」とされ、さらに“暴風時の誤報率が0.07%下がった”という社内文書が転写されている[13]。
また、定理の考え方は、金融工学の初期のリスク境界にも流入したとされる。特にのベンチャー「環輪数理リスク研究所」では、リスクを“ゆらぎの円環”として扱い、毎朝の会議でクロム係数の値を読み上げる文化が生まれたとされる。この儀式めいた運用が、数理の難しさを職員の心理的負担として吸収した面があると指摘されている[14]。
批判と論争[編集]
一方でには、条件の解釈を巡る論争が繰り返されている。学術側では「定理は証明に依存するが、実務で使われる“手順版”は条件を暗黙に読み替えているのではないか」と疑われた[8]。
具体的には、粒度の扱いが問題視された。ある追試では、粒度を“n+0.5”のまま適用したところ、誤差境界が理論通りに守られたが、次の追試では整数に丸めた瞬間に境界が崩れたという。ここから「定理は整数化の近似に耐えない可能性がある」という声が出た[15]。
さらに、最終版の係数表の信頼性にも疑問が投げかけられている。係数表の出どころについて、一次記録が見つからず、参加者の記憶に基づいて“もっともらしい表”が作られた可能性があるとする研究者がいる。皮肉にも、その“もっともらしさ”が現場の採用を後押ししたとされ、学術と実務の関係を象徴する事例として引用されることがある[16]。
脚注[編集]
関連項目[編集]
脚注
- ^ 佐倉直弘「湿度ログからの円環安定性—クロムマキド手順の原型」『応用数理通信』第12巻第3号, pp. 41-58, 1975.
- ^ Dr. Margaret A. Thornton「On the Repartition of Uncertainty in Circular Measures」『Journal of Applied Control Theory』Vol. 9, No. 2, pp. 101-124, 1977.
- ^ 森田桂一「分割安定性の実務的解釈：条件の挿し替えに関する覚書」『計算安定性年報』第4巻第1号, pp. 7-23, 1981.
- ^ 田中はるな「クロム係数表の系譜—“0.21だけ3倍読み”の出所」『数値計算史研究』第2巻第4号, pp. 55-72, 1983.
- ^ Klaus W. Reidel「指数抑制境界の比較：整数化と半整数化の差」『Computational Stability Letters』Vol. 3, No. 1, pp. 9-20, 1986.
- ^ 渡辺精一郎「観測欠損補完と分割安定性—観測ネットワーク整備局のケース」『公共データ工学叢書』第1巻第1号, pp. 201-231, 1992.
- ^ Sato Eiji「The Chrommakido Procedure in Financial Risk Meetings」『International Review of Risk Mathematics』Vol. 18, No. 7, pp. 331-356, 1998.
- ^ 谷口美咲「“n+0.5が鍵”という伝承の検証」『制御計算研究』第9巻第2号, pp. 88-106, 2004.
- ^ クロムマキド（著）「命題の正体：円環測度と係数の秘匿条件」『名もなき公式集』第6版, 2011.
- ^ Yamada Kenji「クロムマキドの定理—周辺史の再編集」『応用数学史ジャーナル』第15巻第1号, pp. 1-19, 2016.
外部リンク
- Chrommakido Theorem Archive
- 工学誤差研究会 旧資料室
- 円環測度と安定化のノート
- クロム係数表コレクション
- 国際制御数理会議 論文検索（非公式）