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

2015 年度 実施状況報告書

有限体を用いた高精度数値計算法

研究課題

研究課題/領域番号 26610039
研究機関神戸大学

研究代表者

高山 信毅  神戸大学, 理学(系)研究科(研究院), 教授 (30188099)

研究期間 (年度) 2014-04-01 – 2017-03-31
キーワードmodular method / 超幾何多項式
研究実績の概要

有理数で結果を得るための効率の良い高精度数値計算手法を研究するのが本研究の大きな目標である. 本年度は巨大な多変数超幾何多項式の厳密数値計算を行なう問題を設定, 考察し, modular method を用いた効率の良い数値計算手法を二元分割表に付随する多変数超幾何多項式の満す線形差分方程式系(contiguity relation)について実装し, 応用も研究した.
二元分割表の大きさを r_1×r_2とする.r_iを一つ固定した状況では下記のように多項式計算時間で計算できることを後藤, 橘 らと示しさらにプログラムとして実装、公開した.
命題:n×n行列の掛け算に要する計算量を$O(n^3)$とするとき上記の contiguity relation を得るための計算量の上限は以下である. (1) r_1を固定し, r_2 --> ∞を考えるときO(r_2^{3r_1}). (2) r_2を固定し, r_1-->∞を考えるとき O(r_1^{3r_2}).

命題:n桁の数の四則演算が O(n^2)で計算できると仮定する.Cをプロセス数, N_pを中国式剰余定理に用いる d_p 桁の素数の数と仮定すると 超幾何多項式 F(β;p) は max(O(|β|r^2 N_p d_p^2/C),O(rN_p^4 d_p^4/C))を計算量の上限, つまり |β| の線形時間で計算できる.

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

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

理由

統計における2元分割表の正規化定数は Aomoto-Gel'fand の多変数超幾何関数で書けるが, その数値計算を行なうためにこの多変数超幾何関数の contiguity relation を後藤が別の研究プロジェクトの中で導出した. この contiguity relation は多変数線形差分方程式(漸化式)とみなせるが, その数値計算を有理数で行なうのは莫大な計算量を必要とする. 代表者は後藤、橘と共にこの計算を modular method (有限体と中国式剰余定理を用いる方法)を用いて高速化するアルゴリズムを提案, 実装し, 元々の統計の問題について有効であることを示した. 計算のための Risa/Asir パッケージ gtt_ekn を公開中.

今後の研究の推進方策

* 昨年度の結果はまだ邦文による査読無の発表であるので, 英文による研究論文を執筆する.
* 有限体と中国式剰余定理を活用する, つまり modular method の並列アルゴリズム, プログラムによる Runge-Kutta 法を実装し有効性を検証する.また理論面からは, 最近研究の進展が著しい p-adic computer algebra の成果を活用して, 近似や収束性の議論を行なう.

次年度使用額が生じた理由

消耗品がまだ枯渇していなかったため.

次年度使用額の使用計画

消耗品がまもなくなくなるので、その購入にあてる.

  • 研究成果

    (2件)

すべて 2016

すべて 雑誌論文 (1件) 学会発表 (1件)

  • [雑誌論文] 2元分割表に対する差分ホロノミック勾配法の実装2016

    • 著者名/発表者名
      後藤良彰, 橘義仁, 高山信毅
    • 雑誌名

      数理研講究録

      巻: 未定 ページ: 未定

  • [学会発表] 2元分割表の条件付き確率の差分HGMによる計算2016

    • 著者名/発表者名
      高山信毅
    • 学会等名
      日本数学会2016年度年会
    • 発表場所
      筑波大学(茨城県、つくば市)
    • 年月日
      2016-03-17 – 2016-03-17

URL: 

公開日: 2017-01-06  

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

Powered by NII kakenhi