• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Research on Preconditioners for Ill-Conditioned Linear Systems

Research Project

Project/Area Number 19K20281
Research Category

Grant-in-Aid for Early-Career Scientists

Allocation TypeMulti-year Fund
Review Section Basic Section 60090:High performance computing-related
Research InstitutionKansai University of International Studies (2021-2022)
Chuo University (2019-2020)

Principal Investigator

Atsushi Minamihata  関西国際大学, 社会学部, 講師 (70754787)

Project Period (FY) 2019-04-01 – 2023-03-31
Project Status Completed (Fiscal Year 2022)
Budget Amount *help
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2021: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2020: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2019: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords数値線形代数 / 前処理行列 / 悪条件行列 / 連立一次方程式 / 精度保証付き数値計算 / 行列近似 / 最小二乗問題 / 悪条件問題 / QR分解 / 悪条件 / 最小二乗法 / 疎行列 / 条件数
Outline of Research at the Start

近年,GPUと呼ばれる安価で高速なプロセッサが身近に使用できる環境が整いつつある.特にGPUは単精度浮動小数点数演算および半精度浮動小数点数演算が非常に高速であり,これらの演算を使用した数値計算技術の発展が予想される.しかし,単精度浮動小数点数を用いる場合,条件数が10の7乗を超える行列は悪条件となり,半精度浮動小数点では10の3乗を超える行列は悪条件となる.本研究課題では,悪条件の連立一次方程式に対して,前処理行列の条件数を下げる効果について理論的に解析する方法を開発する.特に前処理行列がどのような条件を満たしていれば条件数を下げる効果を持つのかに焦点を当てて研究を行う.

Outline of Final Research Achievements

In this research period, a preconditioner for ill-conditioned least squares problem was proposed. The proposed preconditioner uses the QR decomposition of the coefficient matrix of the normal equation of the least squares problem. This preconditioner does not work without rounding errors. However, it is shown numerically that it becomes a preconditioner due to rounding errors.

In a related work, verification methods for sparse non-symmetric linear systems have been proposed. The presentation received the JSIAM 2019 Young Scientist Outstanding Presentation Award was received. A verification method for sparse least squares problems was proposed and received the JSST 2019 Outstanding Presentation Award.

Academic Significance and Societal Importance of the Research Achievements

疎な連立一次方程式の精度保証付き数値計算は精度保証付き数値計算における重要な課題として認識されている、LU分解を用いた疎な連立一次方程式の精度保証付き数値計算は多くの問題に適用ができる可能性があり、精度保証付き数値計算の実応用に貢献したと考えられる。また、前処理行列に関しては丸め誤差を行列近似として捉えることにより、新しい前処理行列を構成できることを示した。ただし、行列が悪条件であることが必要となる。そのため、すべての問題に適用できるわけではないので、社会的な意義は大きくない。しかし、悪条件を考える際に新しい方向性を示した、という意味では学術的な価値があると考えられる。

Report

(5 results)
  • 2022 Annual Research Report   Final Research Report ( PDF )
  • 2021 Research-status Report
  • 2020 Research-status Report
  • 2019 Research-status Report
  • Research Products

    (11 results)

All 2023 2021 2020 2019

All Journal Article (1 results) Presentation (10 results) (of which Int'l Joint Research: 3 results,  Invited: 1 results)

  • [Journal Article] 疎で悪条件な非対称行列のコレクションサイト2021

    • Author(s)
      南畑 淳史
    • Journal Title

      教育総合研究叢書

      Volume: 14 Pages: 143-152

    • NAID

      120007116605

    • Related Report
      2020 Research-status Report
  • [Presentation] 悪条件な縦長行列向けのQR分解を使った前処理行列の性能についての一考察2023

    • Author(s)
      南畑 淳史 尾崎 克久 荻田 武史 大石 進一
    • Organizer
      日本応用数理学会 第19回研究部会連合発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 悪条件で密な縦長行列向けの前処理行列の数値的比較について2021

    • Author(s)
      南畑 淳史, 尾崎 克久, 荻田 武史, 大石 進一
    • Organizer
      2021年並列/分散/協調処理に関するサマー・ワークショップ (SWoPP2021)
    • Related Report
      2021 Research-status Report
  • [Presentation] 拡張ラプラス変換型機械学習による自動運転車とドライバーの協調制御に関する一考察2021

    • Author(s)
      安部 博枝,Luis Diago,南畑 淳史,萩原 一郎
    • Organizer
      日本機械学会 第34回計算力学講演会(CMD2021
    • Related Report
      2021 Research-status Report
  • [Presentation] Preconditioner for Ill-conditioned Tall and Skinny Matrices2021

    • Author(s)
      Atsushi Minamihata, Katsuhisa Ozaki, Takeshi Ogita and Shin'ichi Oishi
    • Organizer
      The 40th JSST Annual International Conference on Simulation Technology
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] 疎な係数行列を持つ最小二乗問題の精度保証付き数値計算法とその応用2020

    • Author(s)
      南畑 淳史, 荻田 武史,大石 進一
    • Organizer
      日本応用数理学会 2020年度 年会
    • Related Report
      2020 Research-status Report
  • [Presentation] LU分解を用いた疎行列向けの精度保証付き数値計算法とその応用2020

    • Author(s)
      南畑 淳史
    • Organizer
      第4回 精度保証付き数値計算の実問題への応用研究集会
    • Related Report
      2020 Research-status Report
  • [Presentation] 非対称疎行列を係数とする連立一次方程式に対する精度保証付き数値計算法とその応用2020

    • Author(s)
      南畑淳史
    • Organizer
      第10回計算力学シンポジウム
    • Related Report
      2020 Research-status Report
    • Invited
  • [Presentation] A note on verification methods for sparse non-symmetric linear systems2019

    • Author(s)
      Atsushi Minamihata, Takeshi Ogita and Shin'ichi Oishi
    • Organizer
      International Conference on Matrix Analysis and its Applications(MAT TRIAD 2019)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Verification method for sparse least squares problems2019

    • Author(s)
      Atsushi Minamihata
    • Organizer
      The 38th JSST Annual International Conference on Simulation Technology(JSST 2019)
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] 非対称疎行列を係数とする連立一次方程式に対する精度保証付き数値計算の数値的比較2019

    • Author(s)
      南畑 淳史, 荻田 武史,大石 進一
    • Organizer
      日本応用数理学会 2019年度 年会
    • Related Report
      2019 Research-status Report

URL: 

Published: 2019-04-18   Modified: 2024-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi