区間演算

区間演算（くかんえんざん、、）（あるいはそれを用いた区間解析(interval analysis)）は数学者たちによって1950年代から1960年代にかけて作られた手法であり、数学的計算における丸め誤差と測定誤差に対して評価を行い信頼できる結果をもたらす数値的な手法を開発するものである。簡単に言うと、すべての値をとりうる数値の範囲で表現するのである。例えば、人の身長を通常の計算で2メートルと表わす代わりに、1.97メートルから2.03メートルの範囲であると表すのである。

この概念は様々な用途がある。主な使用方法は計算途中の丸め誤差を把握することである。区間演算は最適化問題や微分方程式の信頼できる求解を助けるという役割もある。

数学的に表現すると、不確かな実数xについて扱う代わりに、xを含む区間[a, b]を扱う。xを代入した関数fの値も不明である。区間演算において関数fは区間[c, d]を生成する。[c, d]は[a, b]内にある全てのxについてf(x)が取りうる値を表す。

導入
区間演算の主な目的は与えられた関数の値域の上界と下界を簡単に計算することである。端点は上限、下限とは限らない。なぜならば端点の具体的計算は困難もしくは不可能な場合があるからだ。伝統的な実数の計算と同様に、四則演算と区間値の関数が定義されなければならない。より複雑な関数もこれに基づいて計算される。
演算の定義
区間演算では四則演算を以下のようにして行う：
 加法: 
 減法: 
 乗法: 
 除法:

ただし、

である。
表記
数式中における区間の表記を簡明にするため、カギ括弧が使われる。
よってを区間の表記のために使うことができる。有限区間全体の集合を表す記号として

も使われる。区間を成分に持つベクトルについてはまたはを用いる。

複素区間演算
区間は中心から一定の距離を持った点の軌跡として定義することができて、この定義は実数から複素数に拡張することもできるComplex interval arithmetic and its applications, Miodrag Petkovi?, Ljiljana Petkovi?, Wiley-VCH, 1998, 。
実数の場合と同様に、複素数の計算も不確かなデータを含む。区間が実の閉区間で複素数が実数のペアであることから、区間演算の応用を実数計算の不確かさを測るのに限定する理由はないHend Dawood (2011). Theories of Interval Arithmetic: Mathematical Foundations and Applications. Saarbrücken: LAP LAMBERT Academic Publishing. .。よって区間演算は複素数計算での不確かさの領域を特定するために複素区間へ拡張できる。
実の閉区間に対する基本的な代数的操作は複素数に拡張できる。ゆえに複素区間演算が「通常の複素計算と全く同じではないが類似している」のは驚くことではない 。複素区間演算は実数区間演算と同様に（特別な場合を除いて）加法と乗法に分配側がないことと、逆元が常に存在するわけではないことが知られている。また、複素共役の加法的、乗法的性質は複素区間の共役については成り立たない。
区間演算は複素の場合と同様に、四元数や八元数などの多次元の数に拡張できるが、通常の計算における便利な性質が犠牲になるという特徴がある。

応用
区間演算は確かな数値を持たない推定量を扱うために様々な分野で使われる。例えば、ロボットの、、安定性解析などに使われるJaulin, L. Kieffer, M., Didrit, O. Walter, E. (2001). Applied Interval Analysis. Berlin: Springer.。

丸め誤差解析
区間演算は計算ごとに生じる丸め誤差を制御するために誤差解析で用いられる。区間演算の利点は計算が終わるごとに必ず真値を含む区間が得られることである。区間の端点間の距離は計算の誤差量を表している。丸め誤差解析の研究ではジェームズ・H・ウィルキンソンが著名である。

区間ニュートン法

区間ニュートン法 () はニュートン法の一部を区間演算に置き換えた手法であり、非線形方程式の精度保証付き数値計算に用いられる非線形方程式に対する解の精度保証付き数値計算。ゲッツ・アールフェルトによって提案されたG. Alefeld: Inclusion Methods for Systems of Nonlinear Equations in J. Herzberger (Ed.), Topics in Validated Computations (1994), Studies in Computational Mathematics, Elsevier, Amsterdam, 7–26.。区間ニュートン法については解の存在定理があり、その証明にはブラウワーの不動点定理が使われるS. M. Rump: Verification Methods: Rigorous Results using Floating-Point Arithmetic,
Acta Numerica 19 (2010), 287–449.。

計算機援用証明

力学系
ウォリック・タッカーは区間演算を活用して、14番目のスメイルの問題を解決した Tucker, W. (1999). The Lorenz attractor exists. Comptes Rendus de l'Académie des Sciences-Series I-Mathematics, 328(12), 1197-1202.。
幾何学
3次元多様体の双曲性を判定するために区間演算が活用されているN. Hoffman, K. Ichihara, M. Kashiwagi, H. Masai, S. Oishi, and A. Takayasu, Verified computations for hyperbolic 3‐manifolds, Exper. Math., 25 (2016), Issue 1, 66‐78.。

歴史
区間演算は数学において全く新しいものではない。数学の歴史において、異なる名前で複数回現れている。例えばアルキメデスは紀元前3世紀に223/71 < π < 22/7を計算した。区間を用いた具体的計算は他の数値的手法のように人気になることはなかったが、完璧に忘れられることもなかった。
区間などの演算規則は1931年にケンブリッジ大学の博士課程学生であったRosalind Cicely Youngによって出版されたYoung, R. C. (1931). The algebra of many-valued quantities. Mathematische Annalen, 104(1), 260-290.。その後、デジタル系の信頼性を高めるために区間の数的研究がミシガン大学のPaul Dwyerによって出版されたDwyer, P. S. (1951). Linear computations. Oxford, England: Wiley.。区間は浮動小数点数に伴う丸め誤差を把握するために使われた。数値解析における区間代数の体系的研究は須永照夫によって発表された。
現代の区間演算はRamon E. Mooreが1966年に出版したInterval Analysisに端を発する。彼は1958年の春にはアイデアを持っており、数年後にコンピュータによる区間演算についての記事を出版する。その利点は単純な原理から出発して自動的な（丸め誤差以外の誤差を含む）誤差解析のための一般的方法を提供することであった。
上記とは独立に1956年、Mieczyslaw Warmusが区間を用いた計算の公式を提案したPrecursory papers on interval analysis by M. Warmus 。だが最初に非自明な応用を発見したのはMooreであった。
その後20年にわたってカールスルーエ工科大学のゲッツ・アールフェルト とウルリヒ・クリッシュを中心にしたドイツのグループが研究を推進した。
例えば、がより効果的な実装を探求すると同時に、Arnold Neumaierなどが方程式系の解集合を包含する手順を改良した。1960年代にはが線型方程式系の区間拡張を扱い、大域最適化に重要な貢献を果たした。この研究は今日でいうHansen法を含んでおり、もしかしたらこれが最も広く使われる区間アルゴリズムかもしれない。
このような古典的手法はしばしば最大（もしくは最小）の大域値を決定するのに問題が起きるが、局所最適解を見つけてより良い値が見つけられなかった。Helmut RatschekとJon George Rokneは分枝限定法を開発し、それまでは整数値にしか適用できなかったが、区間を使うことで連続値に対しても応用を与えることが可能になった。
1988年にはRudolf LohnerがODEの初期値問題に対して信頼できる解を得るためにFORTRANに基づいたソフトウェアを開発したBounds for ordinary differential equations of Rudolf Lohner (ドイツ語)。
論文誌Reliable Computing (元々は Interval Computations)は1990年代以降に刊行され、コンピュータによる数値計算の信頼性に貢献した。この論文誌の編集者を務め、大域最適化の研究でも知られるR. Baker Kearfottは区間演算で用いられる表記と用語の統一に大きく貢献した。
なお近年の研究はフランスのINRIA傘下のCOPRINに集中している。

IEEE Std 1788-2015 – 区間演算のためのIEEE規格
2015年6月に区間演算のための規格が改正されたIEEE Standard for Interval Arithmetic。2つの実装が無料で使えるRevol, N. (2015). The (near-)future IEEE 1788 standard for interval arithmetic. 8th small workshop on interval methods. Slides (PDF)。これらは規格のワーキンググループの構成員たちによって作成されたC++ implementation of the preliminary IEEE P1788 standard for interval arithmeticGNU Octave interval package。この企画の一部はIEEE Std 1788.1-2017として2017年12月に改正され、2018年2月に公開された。これは実装の簡略化、高速化を助けるであろう
。

関連する研究集会
区間演算に関連する研究集会は世界中でいくつか行われている。代表的なのはSCAN（International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation）であり、他にはSWIM（Small Workshop on Interval Methods）、PPAM（International Conference on Parallel Processing and Applied Mathematics）、 REC（International Workshop on Reliable Engineering Computing）がある。

外部リンク
区間演算ライブラリ
INTLAB MATLAB/GNU Octaveによる区間演算ライブラリS.M. Rump: INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77-104. Kluwer Academic Publishers, Dordrecht, 1999.
Johansson, F. (2017). Arb: efficient arbitrary-precision midpoint-radius interval arithmetic. IEEE Transactions on Computers, 66(8), 1281-1292.
 (Juliaによる区間演算ライブラリ)Sanders, D. P., Benet, L., & Kryukov, N. (2016). The julia package ValidatedNumerics. jl and its application to the rigorous characterization of open billiard models. SCAN 2016, 124.ValidatedNumerics.jl: a new framework in Julia, David P. Sanders and Luis Benet, SCAN 2018.
 (C++による区間演算ライブラリ)Overview of kv – a C++ library for verified numerical computation, Masahide Kashiwagi, SCAN 2018.
kv-日本語ページ
LILIB (C++による多倍長区間演算ライブラリ)松田望. (2016). 中心値・半径方式による精度保証付き多倍長区間演算ライブラリの開発. 電気通信大学博士論文.
Interval and related software (区間演算ライブラリの一覧サイト)

関連する研究集会
SWIM (Summer Workshop on Interval Methods)
International Conference on Parallel Processing and Applied Mathematics

脚注

参考文献
和書


 大石進一(編著）、他：「精度保証付き数値計算の基礎」、コロナ社、ISBN 978-4-339-02887-4（2018年7月26日）。

洋書
 Ramon E. Moore: "Methods and Applications of Interval Analysis",  SIAM, ISBN 978-0-898711-61-5 (1979年).
 Gotz Alefeld, Jurgen Herzberger: "Introduction to Interval Computation", Academic Press, ISBN 978-0120498208 (1983年12月12日)．
 Alefeld, G., & Mayer, G. (2000). Interval analysis: theory and applications. :en:Journal of Computational and Applied Mathematics, 121(1-2), 421-464.
 Ramon E. Moore, R. Baker Kearfott, and Michael J. Cloud: "Introduction to Interval Analysis", Society for Industrial and Applied Mathematics, ISBN 978-0-898716-69-6 (2009年4月16日）．
 Tucker, W. (2011). Validated Numerics: A Short Introduction to Rigorous Computations. :en:Princeton University Press.
 Mayer, G. (2017). Interval analysis: and automatic result verification. Walter de Gruyter GmbH & Co KG.

関連項目
精度保証付き数値計算
計算機援用証明
アフィン演算
INTLAB
SCAN (国際研究集会)

Category:アルゴリズム
Category:応用数学
Category:計算科学
Category:数値解析
Category:数学に関する記事