非可積分系
| 分野 | 数理物理学・計算数学 |
|---|---|
| 特徴 | 積分による閉形式化が困難 |
| 代表例 | 確率的力学系、外場付き方程式 |
| 研究潮流 | 1960年代後半の「計算不能」の系譜 |
| 主要争点 | 定義の恣意性と再現性 |
| 関連語 | 可積分系／可解系／摂動破綻 |
（ひかせきぶんけい）は、数理物理学において「形式的に積分できるはずなのに、実務上は積分不能」とされる体系である。非可積分性は、工学的な予測不能性や計算コストの爆発と結びついて語られた[1]。
概要[編集]
は、形式上は積分（あるいは積分可能性に相当する操作）で記述できそうに見えるにもかかわらず、実際には積分表現が安定に得られない体系とされる。ここでいう「積分」は、必ずしも高校数学の定積分だけを意味せず、変換・正規化・閉形式化まで含む“統合的な記述”全般を指すと整理された。
この概念は一見すると抽象的であるが、研究コミュニティでは「予測が積分で滑らかに繋がらない」ことが本質であると説明されることが多い。具体的には、初期条件の微小な違いが、計算手順の丸め誤差や打切り誤差と共振して、結果が確定的に収束しない状態として理解される[1]。
歴史的には、やの周辺で“積分できないのに積分したがる”研究者の間から生まれたとされる。特に、積分記号に頼り切った設計が現場で破綻したことで、概念としての輪郭が急速に固まったという[2]。
成立と発展[編集]
起源：港区の「積分拒否」会議[編集]
非可積分系という語が定着する契機は、の某研究棟で開かれた非公式会議（後に「積分拒否会議」と呼ばれる）だとされる[3]。当時、電磁設計チームは、外場付きの運動方程式を“積分で全部繋ぐ”方針を取っていたが、現場のベンチ試験で再現性が崩れた。
会議録によれば、問題の回帰テストは全30ケースで行われ、そのうち29ケースは「積分表現を採用したモデル」が成功した。一方、残り1ケースだけが毎回、同じ方向にズレた。細かな要因解析の結果、その1ケースでは、初期条件の丸めを担当した技術者が「小数点第17位」を手で修正していたことが判明したと記録されている[4]。
ただし、ここで重要なのは“偶然”ではない。積分表現で統合した結果が、後段の数値手順（ログスケールの正規化）と相互作用して、ズレが打切り誤差へ伝播していた点である。これにより、「積分をやるほど不可逆に崩れる」現象が、概念として名付けられる土壌が整ったとされる。
学派化：計算師団と「差分の宗教戦争」[編集]
1969年頃から、非可積分系は“計算の流儀”として学派化していったと説明される。特に系の研究費配分に絡む形で、計算資源の見積もりが研究成果の評価指標として導入されると、非可積分性が「計算時間の倫理」に直結して議論された[5]。
この時期、国際的にはのサミュエル・グレイヴス（Samuel Graves）らが「可積分性は研究費の都合で曲げられる」という論点を提示し、国内ではの渡辺精一郎（Watanabe Seiichiro）が「差分操作こそ積分の偽装である」と反論したとされる[6]。結果として、“積分派”と“差分派”の間で論文の書き方が大きく分岐し、同じ現象を別の言葉で説明するようになった。
なお、宗教戦争の名は冗談半分であったが、実際に投稿規定が変わった。具体的には、1974年の編集委員会決定で「非可積分系」関連稿は必ず計算負荷の内訳（積分フェーズ／正規化フェーズ／再帰フェーズ）を分けて提示することが求められたとされる[7]。この細かすぎる要求が、概念の信頼性を逆に高めてしまったとも解釈される。
社会的影響：予測不能を商品化した人々[編集]
非可積分系の考え方は、数理の外へ波及し、保険・物流・金融の“モデル設計”にまで影響したとされる。理由は単純で、非可積分性が「予測不能性の定量化」に見えたからである。とくに都市型インフラでは、予測誤差を積分で滑らかにすると逆に事故率が上がったという報告があり、関連の委員会で議論された[8]。
ある民間コンサルタント会社は、非可積分系を“誤差の伝播係数”として商品パッケージ化し、年間ライセンスを月額換算で19,800円（税別）として販売したとされる。契約件数は首都圏で翌年に412件に達し、うち約73%が「積分モデルをやめるための根拠資料」として利用したという[9]。
ただし、商業化は批判も呼んだ。非可積分系の定義がプロジェクトごとに微妙に変わることで、“予測不能”が免罪符として扱われるようになったとの指摘がある。もっとも、非可積分系が「逃げの理論」ではなく「設計上の現実」として定着していったのも事実である。
特徴と用語[編集]
非可積分系の特徴は、研究文献では大きく三系統に整理されることが多い。第一は、形式解を積分しても閉じないという意味での“閉形式の破綻”である。第二は、打切りや正規化を経た後に積分可能性が崩れるという“手続き依存”である。第三は、系が“積分そのもの”を嫌うように振る舞うという、半ば比喩的に語られる非整合性である[10]。
用語としては、との対比が繰り返し用いられた。可積分系が「積分で全部繋がる」方向性を象徴するとされる一方、非可積分系は「繋げようとすると別の誤差が増殖する」方向性として説明された[11]。さらに、実務家の間では“摂動破綻”がほぼ同義語として使われることもあったが、理論家は区別すべきだと主張した。
また、非可積分性を特徴づける指標として「統合剰余（Integration Remainder; IR）」なる概念が提案されている。IRは、積分を試みた結果残る“規格化しきれない残差”を測るとされ、例として「基底関数群の第5モードが1.7%だけ過大評価される」など、極めて具体的な数値が引用されたことがある[12]。ただし、このIRの定義は文献により揺れるとされ、そこが論争の火種となった。
代表的な「非可積分系」の題材[編集]
非可積分系として語られる題材には、（1）外場付きの力学系、（2）確率的駆動を含むモデル、（3）境界条件が時間とともに変化する方程式、の三つが多いとされる。特に、外場付きの系では“積分で慣らしたつもりが、慣らしが外場の方へ漏れる”と形容される現象が報告された[13]。
確率的駆動を含むモデルでは、積分操作をすると分布が滑らかになるはずなのに、むしろ尾部（tail）が厚くなり、極端値が現れるという。ここで研究者たちは、積分が分布の“統合”ではなく“混合”へ転化する、と説明したことがある[14]。
境界条件が時間変化する系については、の研究グループが「境界の微分が積分の前で指数関数的に増幅する」という説明を採用し、実験的にも“指数的に増幅するように見える”データが出たと主張した。しかし後に、測定器のサンプリング周期（0.002秒）が暗黙に固定されていたためではないか、との反論がなされた[15]。
批判と論争[編集]
非可積分系には、定義のブレに関する批判が長らく存在した。具体的には「積分できない」をどこまで許容するかが研究者により異なり、“計算量が多いだけの系”を非可積分系と呼ぶのではないか、という指摘である。実際、評価指標として統合剰余IRを採用すると、IRの算出手順が変わるだけで分類が反転するという報告もある[16]。
一方で擁護側は、分類が揺れるのは当然であり、非可積分性は“数学的真理”ではなく“設計判断の言語”として機能するからだと応じた。さらに、積分記号に相当する操作が増えれば非可積分性が現れるのは、概念が現場の都合に適応した結果である、とする見解もある[17]。
この論争の最終局面では、編集方針の変更が象徴的に語られる。1978年、主要ジャーナルは「非可積分系」の見出しを持つ論文について、必ず“積分可能性を仮定した場合の最悪計算時間”を明記することを義務化したとされる[18]。ただしこの義務化がかえって、最悪計算時間を“盛る”誘因にもなったと指摘され、現在でも再評価が続いている。
脚注[編集]
関連項目[編集]
脚注
- ^ 河合睦美『非可積分系の工学的定義とその運用』共立出版, 1976.
- ^ Samuel Graves「Procedure-Dependent Integrability」『Journal of Computational Physics』Vol. 12, No. 3, pp. 101-146, 1970.
- ^ 渡辺精一郎『積分拒否の記録：港区会議の回帰テスト』日本数理物理学会, 1972.
- ^ 田中悠介『統合剰余IRの推定誤差』朝倉書店, 1981.
- ^ 山脇由紀夫「境界時間変調と指数増幅に関する観測報告」『計測工学研究』第7巻第2号, pp. 55-89, 1979.
- ^ H. Nakamura, M. Kato「Non-Integrable Behavior in Stochastic Driving」『Annals of Applied Mathematics』Vol. 44, No. 1, pp. 201-238, 1983.
- ^ Editorial Committee「非可積分系関連稿の投稿規定改訂」『日本物理学会誌』第31巻第4号, pp. 1-9, 1974.
- ^ S. O’Donnell「On the Ethics of Worst-Case Runtime」『International Review of Numerical Methods』Vol. 9, No. 6, pp. 12-33, 1978.
- ^ 山口浩二『モデル設計における予測不能の活用』東京図書, 1990.
- ^ A. Petrov「Tail Thickening After Formal Integration」『Stochastic Systems Letters』Vol. 3, No. 2, pp. 77-95, 1986.
外部リンク
- 非可積分系研究会ポータル
- 統合剰余IRデータバンク
- 積分拒否会議アーカイブ
- 差分派対積分派フォーラム
- 最悪計算時間（WCT）登録所