• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2013 年度 実施状況報告書

ロバストで高効率な数値線形代数アルゴリズムの開発

研究課題

研究課題/領域番号 23700023
研究機関東京女子大学

研究代表者

荻田 武史  東京女子大学, 現代教養学部, 准教授 (00339615)

キーワード数値線形代数 / 行列分解 / 高精度計算 / 悪条件問題
研究概要

平成25年度については、前年度までの結果をもとに、それらを統合する行列分解アルゴリズムの体系を構築することが目的であった。これを達成するために新しい高精度な行列分解のためのアプローチを導入し、実際に対称系の固有値問題に対する高精度な反復計算アルゴリズムを提案した。これは、これまでに開発してきたロバストな行列分解アルゴリズムとは異なり、ニュートン法と同様に、反復毎に結果の精度を2乗のオーダーで改善することができる画期的な方法である。そして、この方法と、これまでに開発してきた行列分解アルゴリズムを統合することにより、ロバストかつ非常に高精度な行列分解が可能となる。
また、これまでに開発した対称正定値行列に対するロバスト逆Cholesky分解のアルゴリズムの改良を行い、理論的な解析及び数値実験によって、そのアルゴリズムの有効性を確認した。
また、上記と並行して、提案アルゴリズムの効率化を高めるために、行列乗算の高精度演算に関する研究も継続して推進した。
また、対称不定値行列に対する代表的な行列分解法について、その行列分解の結果に対する後退誤差解析を行い、高速に行列分解の誤差限界を得るための方法を示した。
さらに、特殊な構造を持つ行列を係数とする線形方程式に対して、近似解の持つ精度を高速に評価するアルゴリズムを提案し、論文発表を行った。本提案方式にもロバストな行列分解アルゴリズムを適用可能であり、一般の密行列系に対する線形方程式をロバストに解くことが可能となった。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

本研究の目的は、条件数の大きさに関わらず、問題を高精度かつ高効率に解くことができる数値計算アルゴリズムの体系を構築することである。そのために、数値線形代数におけるロバストな行列分解アルゴリズムの開発を推進している。
具体的には、対称正定値系の行列に対するCholesky分解や、一般行列に対する特異値分解、対称行列系に対する固有値分解などに関してロバストなアルゴリズムを開発し、これらを統合する新しいアルゴリズムの体系を構築することである。
これに対して、対称正定値系の行列に対するCholesky分解アルゴリズムや対称行列に対する固有値分解の高精度なアルゴリズムの開発に成功している。
すなわち、当初の研究計画に沿って、毎年度研究成果を出すことができているため、本研究課題の進捗状況は順調であると言える。

今後の研究の推進方策

平成26年度は、最終年度として、これまでに構築してきた行列分解アルゴリズムの体系を一般化Schur分解や一般化固有値問題などにも適用可能であることを示していく。具体的には、本研究で開発してきたアルゴリズムと同様に、行列分解アルゴリズムを適用しながら、行列分解の種類によって現れる特有の問題に対処し、適用範囲を拡張していく。
また、理工学に現れる物理現象の多くの問題においては、解析対象モデルを有限差分法や有限要素法などによって離散化し、得られる係数行列が疎行列となるため、疎行列向けのロバスト行列分解法についても検討する。具体的には、これまで開発してきた密行列向けのアルゴリズムを疎行列向けに変更するための方法論を確立する。

次年度の研究費の使用計画

開催予定であった国際会議について、昨今の国際関係の事情により次年度に見送ったため。
次年度分は、主に研究成果発表のための旅費として研究費を支出する。
旅費は、次年度に見送った国際会議に参加するための費用及び研究成果の発表や研究に関する情報収集のため、研究出張の費用として使用する。

  • 研究成果

    (8件)

すべて 2013 その他

すべて 雑誌論文 (1件) (うち査読あり 1件) 学会発表 (6件) (うち招待講演 1件) 図書 (1件)

  • [雑誌論文] Fast verified solutions of sparse linear systems with H-matrices2013

    • 著者名/発表者名
      A. Minamihata, K. Sekine, T. Ogita, S. Oishi
    • 雑誌名

      Reliable Computing

      巻: 19 ページ: 127-141

    • 査読あり
  • [学会発表] Rigorous backward error bounds on factorizations of symmetric indefinite matrices

    • 著者名/発表者名
      T. Ogita, K. Kobayashi
    • 学会等名
      4th International Conference on Matrix Analysis and Applications
    • 発表場所
      Konya, Turkey
  • [学会発表] Backward error bounds on factorizations of symmetric indefinite matrices

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The 10th European Conference on Numerical Mathematics and Advanced Applications
    • 発表場所
      Lausanne, Switzerland
  • [学会発表] Verified Solutions of Sparse Linear Systems with Special Matrices

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      2013 International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Santa Fe, USA
  • [学会発表] 精度保証付き数値計算と高精度計算

    • 著者名/発表者名
      荻田 武史
    • 学会等名
      2013年度 応用数学合同研究集会
    • 発表場所
      龍谷大学 瀬田キャンパス
    • 招待講演
  • [学会発表] Fast verified solutions of sparse linear systems

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      The International Workshop on Numerical Verification and its Applications 2014
    • 発表場所
      Waseda University, Tokyo
  • [学会発表] Iterative Refinement for Symmetric Eigenvalue Problems

    • 著者名/発表者名
      T. Ogita
    • 学会等名
      日本応用数理学会 研究部会連合発表会
    • 発表場所
      京都大学
  • [図書] 応用数理ハンドブック2013

    • 著者名/発表者名
      日本応用数理学会 監修/薩摩順吉 ・大石進一 ・杉原正顕 編
    • 総ページ数
      8
    • 出版者
      朝倉書店

URL: 

公開日: 2015-05-28  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi