トルエの再分配
| name | トルエの再分配 |
|---|---|
| field | 再分配幾何学 |
| statement | 総量保存のもとで局所平準化可能性が判定される |
| proved_by | ルカシュ・バロフスキー |
| year | 1937年 |
におけるトルエの再分配（よみ、英: Torue's Redistribition）は、のについて述べた定理である[1]。
概要[編集]
は、と呼ばれる分野で研究される定理である。とくに、上の移送操作が、ある種のを達成するときの条件を、結び目のように圧縮して与えるものとして位置づけられている。
この定理は「数学」らしい顔をしている一方で、歴史的には配送網の効率化を意識した言い換えが流通し、やといった言葉が比喩として先に広まった経緯がある。ただし、数学的定式化においてはそれらの比喩が冷たく分解され、あくまでとして扱われることが特徴とされる。
なお本項では、当初から存在したとされる“正しい形”ではなく、大学間の講義ノートで先に出回った「角の立つバージョン」も併記する。実際、後年の改稿で係数の符号が一度だけ反転したとする報告があり、講義室ではこの話が半ば定番の小噺になっている[2]。
定理の主張[編集]
(X,ω)に対し、Xの各点は重み ω(x)∈ℝ_{>0} を持つとする。さらに、X上の移送を表す操作として、点集合Xを同一視する写像の族 {φ_t} が「段数パラメータ」t=1,2,…で与えられていると仮定する。
このとき、写像φ_tはを満たすとする。すなわち、任意のtについて
\(\sum_{x\in X}\omega(x)=\sum_{x\in X}\omega(\phi_t(x))\)
が成り立つ。次に、局所平準化の指標として、各部分集合 S⊂X に対しD(S)を
\(D(S)=\left|\frac{\sum_{x\in S}\omega(x)}{|S|}-\frac{\sum_{x\in X}\omega(x)}{|X|}\right|\)
と定義する。
は、ある定数 c∈ℝ_{>0} が存在して、任意の S⊂X に対し D(S) が cを超えないことが、ある操作列 {φ_t} のもとで「全体が平準化される」ことと同値であると述べる定理である。ここでの「全体が平準化される」とは、任意の点 x∈Xについて極限
\(\lim_{t\to\infty}\omega(\phi_t(x))=\frac{\sum_{y\in X}\omega(y)}{|X|}\)
が成り立つことを意味する[3]。
証明[編集]
証明はを用いる。まず、各操作φ_tに対しP_tを
\(P_t=\sum_{S\subseteq X}\alpha^{|S|}D_t(S)^2\)
として定義するとする。ここで D_t(S) は tで変形された重みのもとでの偏差であり、係数 α は 0<α<1 と仮定される。
次に、ポテンシャルP_tが単調減少することが示されたとされる。実際、バルーンのように膨らんだノートでは「減少量は必ず 1/2^t より大きい」と書かれており、当時の学生はそれを根拠なく信じたという逸話が残っている[4]。ただし、後年の再検算ではこの“1/2^t”が誤記で、実際には 1/3^t であるべきだったと指摘されている。
単調性により、P_tは下に有界であるから極限が存在する。さらに局所偏差D_t(S)が消えることから、定理の主張にある極限が導かれる。こうして、総量保存と局所偏差の上界が、局所平準化の可能性を完全に支配することが示された、というのが標準的な流れとされる[5]。
歴史的背景[編集]
トルエの再分配は、最初期の講義資料に由来するとされる。1930年代の（当時は再分配研究所併設）の冬学期で、ルーミンという助手が「輸送のやり直しは、どこまで局所のズレを許すか」という問いを口にしたことが発端だったと語られている[6]。
その後、研究チームはの委嘱によって、都市の備蓄が偏る状況を“数学の言葉”に翻訳しようとした。ここで登場するのが「総量保存」という条件である。面白いことに、当時の局側資料では総量の単位が“瓶”や“札束風”に換算され、しかも端数が 8.3% 混入しているという妙に具体的な報告が存在したとされる[7]。
なお、定理名の「トルエ」は、数式の著者というより検閲官の苗字から来ているという説がある。つまり、原稿にあった別名が通らず、形式的に“再配分担当者”の姓を貼り付けた結果だと推定されている。ただしこの説には、同時期の別文書で完全に否定する記述があり、歴史編纂の論争点として残されている[8]。
一般化[編集]
は、重みが実正値に限られる形から出発したとされるが、のちにへ一般化された。具体的には、Xが有限である代わりに可算集合に置き換え、総量保存が適切な“収束の仕方”に置換されるとする。
また、局所偏差関数D(S)は平均偏差に固定されがちであるが、後続の研究者は二乗誤差の代わりに絶対偏差を用いた版を提示した。ところが、その版では単調減少が必ずしも成り立たないことが示されたと報告されている。一部の講義では「絶対値は怠惰だから」と説明されたというが、数式としてはの仮定が不足していたらしい[9]。
さらに、再分配幾何学の系統では、写像族 {φ_t} を“段数操作”ではなく連続パラメータ s≥0 の流れとして扱う試みもある。この連続版はと呼ばれ、極限の存在がより繊細になる。とはいえ、局所平準化条件の骨格は同型であり、上界の言い換えだけが変わるとされる[10]。
応用[編集]
応用分野としては、数学的には確率測度の再整形、計算的には“データの局所均し”が挙げられる。とはいえ、最も派手に語られるのは社会寄りの比喩である。再分配操作を「物資輸送」と同一視する講義が広まり、に置かれた仮想倉庫群の最適化実験が“例題”として配布されたとされる[11]。
この例題では、倉庫は全部で 12 箇所、重みの初期値は 7桁の整数で与えられ、さらに遷移は「1日あたり平均 0.42 回の再ルーティング」で行われると仮定される。すると、局所偏差の上界 c が 0.0017 を満たす限り、観測者が“均された”と感じる状態が到達すると計算された、という物語が学生の間で回った。
ただし、現実の最適化では再分配の制約はしばしば総量保存を壊すため、この応用は比喩として理解されるべきだとする指摘もある。それでも、の報告書では、実務的な再配分にも似た構造が現れると述べられている[12]。ここでの“似た構造”がどの仮定に対応するかは、読者に委ねられることになっている。
脚注[編集]
関連項目[編集]
脚注
- ^ ルカシュ・バロフスキー『再分配幾何学講義録：トルエの再分配』ノールトン大学出版局, 1937年.
- ^ エリザ・ナイラー『局所平準化とポテンシャル単調性』Journal of Redistributive Mathematics, Vol.12 No.3, pp.41-88, 1939年.
- ^ ミナト・クレイン『有限重み付き集合における極限収束の判定法』数学通信叢書, 第4巻第2号, pp.19-55, 1942年.
- ^ Dr. S.ヴェルメイユ『輸送の比喩はどこまで数学になるか』再配分論文集, Vol.2, pp.7-33, 1951年.
- ^ 若鶴ヨシノリ『港区倉庫最適化のための偏差上界』情報工学研究センター資料, No.88, pp.1-14, 1968年.
- ^ R.マルテンス『Absolute vs. Square 偏差の再分配安定性』Proceedings of the International Society for Redistribution, 第7巻第1号, pp.201-233, 1974年.
- ^ ハンス・ベルクマン『連続トルエ・フローの存在性』Mathematics of Flow and Balance, Vol.19 No.2, pp.99-141, 1981年.
- ^ 津軽田カズマ『トルエという名の由来について』数理史研究, 第11巻第4号, pp.301-316, 1996年.
- ^ M.ファレン『The Redistribition Theorem of Torue』Cambridge Pocket Theorems, 2003年.（題名表記が原典と一致しない）
- ^ ソフィア・ドラン『再分配の符号反転問題：講義ノートの誤植分析』北極圏数学誌, Vol.34 No.1, pp.55-73, 2012年.
外部リンク
- Torue Redistribution Archive
- 再分配幾何学・講義ノート倉庫
- 局所偏差計算機
- 港区倉庫例題ページ
- トルエ・ポテンシャル図表集