旧GTO（旧均衡）定理
| name | 旧GTO（旧均衡）定理 |
|---|---|
| field | 架空最適均衡理論 |
| statement | 旧均衡列は、特定の「二段階緩和写像」の不動点として一意に表現される |
| proved_by | 水原カナエ（都立数理局 均衡解析研究室） |
| year | 1987年 |
における旧GTO（旧均衡）定理（よみ、英: Old GTO (Old Equilibrium) Theorem）は、のについて述べた定理である[1]。
概要[編集]
は、離散時系列がある種の“遅れて効く不確かさ”を抱えるときに、過去のつじつま（旧均衡）がどのように再構成されるかを扱う枠組みである。
本定理は、その旧均衡が「二段階緩和写像」と呼ばれる合成写像の不動点として一意に確定することを主張する。特に、旧均衡の成立条件は、形式的には凸性に似た性質を仮定するが、数値的にはまったく別の挙動を示す点が特徴である。
当初は純粋な数理遊戯として考案されたが、のちにのに設置されたという設定の「都立数理局」経由で、物流・在庫調整の擬似最適化にも“流用されたとされる”。
定理の主張[編集]
離散時系列空間を、旧均衡に対応する状態写像を、二段階緩和写像をとし、時刻集合を={0,1,2,…}とする。
旧均衡列とは、状態列 {x_t}_{t∈T} が次を満たすこととして定義される：
1) 反応遅延付き整合性：ある整数パラメータが存在して、すべてのt≥kに対し、x_t は過去 k ステップの集約統計に対して整合する。
2) “旧に忠実”な安定性：ある緩和係数系列 {α_t} が存在して、α_t は厳密に 1−1/(t+3)^2 を満たし、旧均衡の更新は収束方向に曲げられる。
このとき、旧均衡列はの不動点条件 Φ(x)=x を満たし、さらにその不動点は一意であることが示される。
なお、一意性は「通常の意味での一意」ではなく、搬送カーネル（後述の架空概念）に沿った同値の下で一意とされる。つまり、形式的には多数の表現があり得ても、旧均衡として意味を持つのは同じであるとされる。
証明[編集]
証明は、二段階緩和写像をと分解し、まずが旧均衡列の“反応遅延整合性”を保存することを示すことから始まる。
次に、が“旧に忠実な安定性”を収束方向へ押し出すことが証明される。ここで重要な補題として、搬送カーネルに関して距離が「t≥0で単調減少する」こと、しかも減少率が厳密に 1−1/(t+2)^3 を上回る形で成立することが示される。
手計算が不自然なほど具体的になるのは、水原カナエが“出典不明の社内メモ”から抜き取ったとされる、次の数値見積もりが採用されたためである：
- 初期誤差が最大 1/7 であるなら、20ステップ後の誤差は高々 1/7×(1−1/3^3)^{20}。 - さらに 64ステップ後には高々 10^{-6} を保証する。
その結果、旧均衡列が不動点へ収束し、不動点が搬送カーネル同値の下で一意となることが示された。
ただし、写像の連続性は仮定されず、代わりに“α_t の選び方”が連続性の役割を肩代わりしている、という説明が付け加えられた。ここが後年になって批判される点でもある。
歴史的背景[編集]
旧GTO（旧均衡）という呼称は、もともとが旧来の「均衡モデル」（社内通称：旧均衡）を改修する際に、GTOという略語を“とりあえず”割り当てたことに由来するとされる。
資料によれば、1980年代前半にの会議室で、配線の都合でホワイトボードが3枚必要になり、最初の一枚に「GTO」、二枚目に「旧均衡」、三枚目に「とりあえず埋める」が書かれたところ、翌週にはその3語がそのまま研究テーマ名として残ってしまった、とされる[2]。
当時の主要人物として、のほか、統計担当として、図式化担当としてが参加したと記録されている。ただし、最終稿では役割が意図的に曖昧化されており、編集者は「誰が何をやったかより、式が先に立つべきだ」と主張したと伝えられている。
この定理は、1987年に局内回覧として提示され、その後に学会誌へ“微修正付き”で掲載された。なお掲載時に、年号表記が一度だけ64年と誤って印刷されたが、回収作業は1,142冊分だけ実施されたとされる。
一般化[編集]
旧GTO（旧均衡）定理は、そのままでは離散時系列に縛られているが、時間インデックスを半整数へ拡張し、Tを{0,1/2,1,3/2,…}へ一般化する流れが生まれた。
この拡張では、α_t が 1−1/(t+3)^2 をそのまま半整数へ延長することで定義され、結果として搬送カーネルの同値関係が微妙に太くなることが知られている。
また、二段階緩和写像を3段階合成に変えると、旧均衡は“同値の下で一意”から“同値の下で極小”へ性質が弱まることが報告された。さらに、合成の段数を5に増やすと、極小が複数出現する場合があるとされる。
この結果は、一見して“緩和を増やせばよい”という素朴な期待を裏切るため、架空の数理界隈では「緩和は薬であり、同時に刺激でもある」という標語が作られた。
応用[編集]
応用としては、数理そのものより、旧均衡定理が与える“再構成の手順”が利用されたとされる。
具体的には、小田原周辺の港湾事務所（架空設定）で、荷の滞留データを離散時系列として扱い、旧均衡列に対応する不動点を計算することで「帳尻合わせに近い意思決定」を自動化しようとしたという。なお当時の記録では、実装は“手計算で回した”とされ、休日が返上された日数は17日と記されている。
また、が「旧GTOスコア」を独自に名付け、旧均衡の収束の早さ（20ステップで10^{-6}を満たすか等）をKPI化したとされる[3]。
ただし、収束が速い＝解が正しい、という短絡が起こり、データの前処理が偏っていた場合には誤った結論に誘導されたとの指摘もある。ここでは「数学が嘘をつくのではなく、人が数学を短く読んだ」という言い回しが伝わっている。
脚注[編集]
関連項目[編集]
脚注
- ^ 水原カナエ「旧GTO（旧均衡）定理と二段階緩和写像」『Journal of Fictional Equilibria』Vol.12第3号, pp.41-58, 1987年。
- ^ 佐倉リョウ「搬送カーネルと旧均衡の一意性」『数理手続き研究』第6巻第1号, pp.1-19, 1991年。
- ^ 大門タマ「離散時系列における遅延整合性の図式化」『確率図式論叢』Vol.8, pp.77-96, 1995年。
- ^ Margaret A. Thornton「Convergence Estimates under Two-Stage Relaxation」『Transactions on Imaginary Analysis』Vol.44 No.2, pp.201-223, 2002年。
- ^ Hiroshi Tanaka「半整数拡張とα_t の継承」『Proceedings of the Society for Pretend Mathematics』第10巻第4号, pp.309-326, 2009年。
- ^ S. El-Khouri「On Transport-Kernel Equivalence in Discrete Dynamics」『International Review of Wholly-Related Theorems』Vol.3, pp.11-34, 2014年。
- ^ 都立数理局 均衡解析研究室編『旧均衡モデルの実装手順（回覧資料復刻）』都立数理局出版局, 1989年。
- ^ 「昭和64年誤植事件とその影響」『編集者通信』第2号, pp.5-6, 1988年。
- ^ （タイトル微妙におかしい）C. R. Pembroke「Old Equilibrium Revisited: A Short Note」『ニュー・トートロジー通信』第1巻第1号, pp.1-2, 2018年。
外部リンク
- 嘘数理局アーカイブ
- 搬送カーネル図書室
- 旧均衡計算機レプリカ
- 二段階緩和写像の解説集
- GTO概念ウォール