花粉症の永久機関説
| name | 花粉症の永久機関説 |
|---|---|
| field | 確率位相・非平衡論的位相幾何 |
| statement | 花粉分布空間上で、適切な“誘発測度”を選ぶと自己再生写像が不変となる |
| proved_by | 渡辺精一郎（擬似恒星臓器学研究所） |
| year | 1897年 |
における花粉症の永久機関説（かふんしょうのえいきゅうきかんせつ、英: Endless Pollen-Driven Engine Hypothesis）は、のについて述べた定理である[1]。
概要[編集]
上で、時間発展をとして定式化すると、条件を満たす軌道が永久に散逸せず再訪するとされる。これが本定理の内容である。
本説は、見かけ上は医療現象の比喩であるが、数学的には“観測が続く限り、観測そのものが更新則になる”という非平衡モデルに落とし込まれている。なお、当初はではなくの名で議論されていた。
定理の主張[編集]
X と、その上のμ を用意し、可測な写像 T : X → X をとする。さらに、X の点 x に対し“反応状態”を表すスカラー h(x) を定める。
このとき、T がを満たすとは、ある定数 a∈(0,1) と、任意の t≥0 に対して、μ(T^t(A)) が μ(A) の a 乗に比例しつつ、しかも位相境界 ∂A への偏り項が消えないことをいう。
すると、次が成り立つと主張される。すなわち、初期集合 A を“花粉がゼロにならない領域”として取ったとき、T^t(A) は t に依らずある下限体積を保ち、さらに近傍系として観測を続ける限り、反応状態 h は 0 へ沈まない。言い換えると、永久機関に見える発展が数学的には不変量で特徴づけられるのである。
証明[編集]
証明は、スペクトル分解の代わりに“飛散相関”と呼ばれる係数列 c(n) を導入する。ここで c(n) は整数 n に対し、c(n)= 7 7−1 7/(n+97) のように定義され、係数の桁落ちが起きにくい形で整形される。
つぎに、系 F を「観測窓」を表すものとして取り、任意の F-十分大きい窓に対して、T は測度の“不変成分”を保つことが示される。具体的には、ある補助写像 S を S(x)=T(x)+a·∇h(x) とし、∇h の分布が境界 ∂X のみで指数減衰するように設計する。
最後に、μ が満たすを仮定すると、T の反復で誤差項は 10^{-6} 未満に押さえられ、観測継続による更新が原因で誤差が増殖しないことが示される。この段階で、証明の終わりに“永久に終わらない”という比喩が付記され、以後、命名が固定されたとされる[2]。
補題（誘発測度の安定化）[編集]
誘発測度 μ が、花粉の時間遅延 d=3.7日を伴う畳み込みを経ても同型であるならば、T は 2-次の摂動に対して不変であるとされる[3]。この補題が、証明全体の技術的要点とされた。なお、原稿では“d は小数点以下まで信じるべき”と赤字で書かれていると伝えられる。
注（やけに細かい数）[編集]
誤差評価で現れる閾値は 97%ではなく 96.7% とされる。これは、共著者の一人が「97は縁起がよすぎるから、乱数に負ける」と主張した結果だと、後年の回想録で述べられている[4]。
歴史的背景[編集]
本説の発端は、医療統計の“季節性”に関する不満から始まったとされる。特に内の観測点で、花粉濃度が毎年同じ形で再現される一方、減少期における測定の揺らぎが理論上説明できなかったため、研究者たちは「減るはずのものが減らない理由」を数学に求めた。
明治末期、（通称「擬恒研」）のは、天文用のを転用し、観測窓の更新規則が系の運動に寄与することを強調した。これにより“永久機関”という皮肉な比喩が数学定理の名称へ昇格した。
さらにが主導した共同実験では、廃棄手続きの遅延が花粉の計測値に反映されることが問題視され、数学モデル側にも「観測が遅れるほど自己再生が強化される」仮定が追加されたとされる。ただし、この仮定は後に“証明の空白を埋めるための都合のよい条件”として疑義が呈されてもいる。
組織間の利害調整[編集]
当時の学会は、医療向け成果の提示を求める派と、理論の純粋性を守りたい派に割れていた。最終的に、の特別セッションで“花粉症”という言葉を冠にしても査読を通す運用が決まったとされる[5]。
一般化[編集]
本定理は当初、温暖湿潤気候に限ったモデルとして提出されたが、その後へ拡張され、花粉分布空間 X を可分距離空間で置き換えても成り立つとされた。ここで鍵となるのは、位相境界への偏り項が“完全に消えないが、増えもしない”という制御である。
また、T の自己再生性を“測度の a 乗不変性”から“エントロピーの非減少性”に置換する一般化も提案され、これにより医療的な比喩がさらに薄まり、純粋数学の定理として独立して扱われるようになった。
一方で、一般化の数値パラメータに対しては、観測窓の更新率 r=0.143（当時の現場記録に基づく）を入れると収束不能性が再現されやすいとされ、研究者間で「その値は再現しただけで理屈ではない」という批判が残る結果となった[6]。
応用[編集]
本説は直接的な治療法ではないが、計測・予測・政策の三方面に“らしさ”として入り込んだとされる。まず計測では、観測窓を更新するタイミングを最適化するためのが行われ、花粉予報の誤差が平均で 12.4% 改善したと報告された。
つぎに政策では、花粉飛散の季節広告や空調運用の方針を、自己再生モデルの不変量に合わせて設計する提案が出た。たとえばでは、学校空調の稼働停止を“完全停止”ではなく“観測窓を弱める停止”に変えることで、体感症状の申告割合が 0.92 倍に抑えられたという[7]。
ただし、最後に“恒久的に花粉を増やす装置”と誤解されることがある点が問題とされ、研究所の広報担当は「数学の永続性は自然の永続性ではない」と繰り返し述べたと記録されている[8]。
実装例（温度ではなく観測）[編集]
気温を制御する代わりに、センサーの再較正間隔を 48時間から 52時間へ変更したところ、予測モデルの残差が自己再生写像の安定領域へ戻ったと報告された[9]。この発見は“温度より観測”という標語として広まった。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎「花粉分布空間における誘発測度と不変量」『擬恒研叢書（数学・衛生系列）』第12巻第3号, 擬恒研, 1897年, pp. 41-88.
- ^ Margaret A. Thornton「Non-equilibrium topological filters for recurrent observation」『Journal of Imaginary Stochastic Geometry』Vol. 7 No. 2, 1903年, pp. 113-157.
- ^ 田中鶴松「観測窓の更新則がスペクトル補正器に与える影響」『数理衛生通信』第5巻第1号, 日本数理衛生学会, 1908年, pp. 1-24.
- ^ Ellen R. Hawthorne「Entropy does not decrease under pollen-triggered dynamics」『Annals of Recurrent Modeling』Vol. 19, 1911年, pp. 201-239.
- ^ 佐々木澄人「境界偏り項の指数減衰と測度同型」『位相幾何研究年報』第22巻第4号, 東京: 誤差出版社, 1916年, pp. 77-120.
- ^ K. Müller「A note on the 0.143 update-rate in recurrent estimates」『Transactions of Practically Useless Statistics』第3巻第9号, 1922年, pp. 9-14.
- ^ 【誤】「花粉症の恒久機関」編集会『政策数理小論集』中島書房, 1931年, pp. 33-60.
- ^ 丸岡久兵衛「自己再生写像の実装と空調運用」『大阪府衛生施策研究報告』第1号, 1938年, pp. 55-93.
- ^ 矢島律子「フィルター設計による残差再帰の評価」『確率位相紀要』第9巻第2号, 1944年, pp. 145-189.
- ^ 渡辺精一郎「証明の書き換え：96.7%の閾値について」『擬恒研叢書（追補）』第12巻, 1952年, pp. 5-12.
外部リンク
- 嘘ペディア：花粉数学アーカイブ
- 擬恒研デジタル史料室
- 日本数理衛生学会（史的資料）
- Endless Observation Repository
- 確率位相ワーキンググループ