カイレハイムの対称性定理
| 分野 | 数学、統計力学、記録理論 |
|---|---|
| 提唱者 | エルンスト・カイレハイム |
| 初出 | 1897年 |
| 提唱地 | ベルリン |
| 適用対象 | 閉鎖系、台帳、対称配置 |
| 主要応用 | 帳簿検査、風洞設計、対称都市計画 |
| 関連理論 | カイレハイム補題、反転保存則 |
| 注意点 | 実務では左辺と右辺が一致しない場合が多い |
カイレハイムの対称性定理（カイレハイムのたいしょうせいていり）は、末ので提唱された、任意の閉じた系において「情報の流入と流出が長期的には鏡像関係を保つ」とする数学・統計力学の定理である。特にの気象観測網と、当時のが管理していた貨物台帳の整合に用いられたことで知られている[1]。
概要[編集]
カイレハイムの対称性定理は、対象が時間的に十分長く観測されると、入力と出力、増加と減少、記録と欠損が統計的に対称化されるとする仮説的定理である。今日ではとの境界領域に位置づけられることが多いが、成立当初はむしろの積み替え表を説明するための実務理論であった[2]。
この定理は、にの講師であったが、冬季の石炭輸送記録に生じる「片側だけ増える誤差」を説明するために提示したとされる。ただし、のちの研究では、彼が最初に着想を得たのは郊外の温室で観測した二重扉の開閉記録だったという説が有力である[3]。
特徴的なのは、定理がきわめて抽象的でありながら、実際には郵便分類、都市河川の氾濫予測、さらには舞台装置の左右対称配置など、異様に広い分野へ適用されてきた点である。一方で、の内部報告には「理論が便利すぎるため、説明責任を失わせる」との批判も記されている。
歴史[編集]
成立の背景[編集]
19世紀末のでは、鉄道、軍需、保険業の発展に伴い、複雑な台帳の整合性を扱う理論への需要が高まっていた。カイレハイムはで生まれたとされるが、出生記録の一部がの火災で焼失しており、本人は生涯にわたり自分の出生年を3つ書き分けていた[4]。
彼はでを学んだ後、付属の計算局で臨時補助員として働き、そこで「帳簿の左ページが欠損すると右ページが異様に増える」現象に着目した。これが後の対称性定理の原型であるとされるが、実際には同僚が帳簿を左右逆に綴じていたために起きた単純な事務ミスだった可能性が高い。
1897年の発表[編集]
定理の初出は、5月にで読まれた短報「Über die spiegelnde Bilanz der geschlossenen Systeme」である。この発表はわずか12分で終了したが、質疑応答が87分に及び、当日出席したは「理解した者は一人もいないが、全員が頷いた」と回想している[5]。
なお、同年秋に出版された拡張版では、カイレハイムは定理の証明として「系を一度十分に揺らすと、未整理な要素は自発的に左右へ分配される」という図式を示した。しかし、この図は後年の校訂版では「教育的比喩」として注記され、学術的な証明ではないことが示された。
工業界への拡散[編集]
頃から、定理はの港湾管理局やの製鋼所で採用され、荷役記録や生産台帳の異常検知に使われた。特に系の下請工場では、左右対称に並べた検品表が「カイレハイム表」と呼ばれ、現場監督が赤鉛筆で対称軸を引く光景が日常化したという[6]。
この時期、定理の応用をめぐってとの間で主導権争いが起こり、前者は実務理論として、後者は純粋数学として管理しようとした。結果として、定理は「使えるが、誰も完全には説明できない理論」として定着した。
戦間期と再評価[編集]
後、カイレハイムの名は一時的に忘れられたが、にの保険数理学者が再定式化を行い、損害額の偏りが長期的には左右反転するという補助定理を導入したことで再び注目された。これにより、定理は会計監査だけでなく、やのモデルにも転用されるようになった。
ただし、のにおける研究会では、定理が「統計的公平性の幻想を生む」として批判され、一部の講演録は配布停止となった。もっとも、停止された講演録がかえって闇市で高値で取引され、結果的に定理の知名度を押し上げたともいわれる。
定理の内容[編集]
カイレハイムの対称性定理は、閉じた系Sについて、入力量I(t)と出力量O(t)が十分長い観測区間Tにおいて次式を満たすとされる、という形で説明される。
I(t) + O(T-t) ≈ 定数
この式は、実際の講義録では何度も書き換えられており、末期のノートでは不等号、矢印、さらには「たぶん等しい」が混在している。にもかかわらず、実務家の間では「完全一致ではなく、帳尻の気配を見る理論」として重宝された[7]。
また、定理には有名な補足命題として「鏡面遅延項」があり、観測が遅れるほど対称性は一時的に強く見えるが、翌月の棚卸しで必ず崩れるとされる。これをの実験物理学者は「統計の礼儀作法」と呼んだが、後年の教科書では「理解を促すための比喩」と整理されている。
応用[編集]
会計監査と台帳学[編集]
最も著名な応用はである。1910年代にはが、欠損金の検出に対称性定理を導入し、帳簿の左右欄を色分けすることで未記入項目を見つけやすくした。監査官の間では「1ページずれると3ページ謝る」と言われたという。
また、では末期にの商学部が紹介し、家計簿の月末整理に応用された。もっとも、一般家庭での成功率は高くなく、の調査では「対称軸を引いたが、赤字が増えただけ」と回答した世帯が42%に達した[8]。
建築・都市設計[編集]
とでは、広場の噴水や建物配置に定理を応用し、左右対称の街区ほど住民満足度が高いという都市研究が行われた。特にでは、通り名まで左右で対応させる試みが実施され、郵便配達員が混乱したため3か月で中止された。
この失敗にもかかわらず、定理は「見た目の均衡が行政効率を改善する」という都市美学と結びつき、の公園設計に影響を与えたとされる。
気象と交通[編集]
の気象観測網では、降水量の偏りを左右反転した時系列として解析する手法が試され、冬季の積雪予報に用いられた。結果は必ずしも良好ではなかったが、予報官の手元に残る表が見事に整っていたため、上層部から高く評価されたという。
分野では、列車の遅延が前後の便に対称的に波及するという仮説の下、—間のダイヤ改正に利用された。ただし、実際には片側だけが遅れることが多く、現場では「対称性は本社にだけ存在する」と揶揄された。
批判と論争[編集]
定理に対する最大の批判は、その適用範囲が広すぎることである。のでの討論会では、ある教授が「これは理論ではなく、机上の片付け術である」と発言し、会場が一時騒然となった[9]。これに対し支持者は「片付け術こそ対称性の最も高次な形態である」と反論した。
また、定理の証明に用いられる図版が版によって微妙に異なり、ある版では左側にのみ矢印が描かれていることから、後世の研究者は「証明の向きが毎回変わる」と皮肉った。さらににはの学会で、定理を無理に経済政策へ適用した報告が失敗し、以後「カイレハイム的均衡」という語が安易な説明の代名詞として使われるようになった。
後世への影響[編集]
後半になると、対称性定理は純粋数学の枠を超え、、、などに断片的に利用された。特に系の番組制作現場では、番組表の並びを左右で均等にする編集ルールが「カイレハイム方式」と俗称されたとされるが、社内文書の確認は取れていない[10]。
現在では、定理そのものよりも「不完全な情報を対称に見せる技法」として記憶されることが多い。数学史ではしばしば、は厳密さよりも運用性を重視した稀有な人物として扱われるが、本人の残した書簡には「対称とは、左右の争いを一旦保留することである」といった大仰な一文が見られる。
脚注[編集]
関連項目[編集]
脚注
- ^ Ernst Kaireheim『Zur spiegelnden Bilanz der geschlossenen Systeme』Berliner Mathematische Schriften, Vol. 12, No. 3, 1897.
- ^ Hanna Walter『Zur Anwendung des Kaireheim-Satzes in der Schadenstatistik』Zeitschrift für Versicherungsmathematik, Vol. 8, No. 1, 1926.
- ^ Franz L. Meinhardt『Die symmetrische Verwaltung: Rechnungswesen und Theorie』Verlag für Staatswissenschaft, 1909.
- ^ Otto Reger『Vorlesungen über die verzögerte Spiegelung』Mitteilungen des Instituts für Angewandte Physik, 第4巻第2号, 1934.
- ^ Margaret A. Thornton『Symmetry in Closed Administrative Systems』Journal of Continental Statistics, Vol. 21, No. 4, 1951.
- ^ Wilhelm Kessler『Kaireheim und die Eisenbahn-Tabellen』Archiv für Verkehrswesen, Vol. 3, No. 7, 1903.
- ^ S. Nakamura『カイレハイム定理の商学的再解釈』『経営数理』第17巻第6号, 1968.
- ^ Jean-Pierre Lenoir『La symétrie des pertes et des gains』Revue de Logique Appliquée, Vol. 14, No. 2, 1938.
- ^ E. H. Brandt『On the Curious Equality of Left and Right Accounting Errors』Annals of Practical Mathematics, Vol. 9, No. 1, 1947.
- ^ 渡辺精一郎『対称性定理とその行政的運用』『統計と官庁』第22巻第5号, 1972.
- ^ Klara von Eiben『Die Theorie, die sich selbst geradehält』Reihe Berliner Randnotizen, Vol. 2, No. 1, 1961.
外部リンク
- ベルリン数学史アーカイブ
- プロイセン統計史デジタル館
- カイレハイム資料調査会
- 対称台帳研究ネットワーク
- 中央ヨーロッパ記録理論研究所