2015 Fiscal Year Research-status Report
| Project/Area Number |
26610039
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
高山 信毅 神戸大学, 理学(系)研究科(研究院), 教授 (30188099)
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Keywords | modular method / 超幾何多項式 |
|---|
| Outline of Annual Research Achievements |
有理数で結果を得るための効率の良い高精度数値計算手法を研究するのが本研究の大きな目標である. 本年度は巨大な多変数超幾何多項式の厳密数値計算を行なう問題を設定, 考察し, modular method を用いた効率の良い数値計算手法を二元分割表に付随する多変数超幾何多項式の満す線形差分方程式系(contiguity relation)について実装し, 応用も研究した.
二元分割表の大きさを ｒ＿１×ｒ＿２とする．ｒ＿ｉを一つ固定した状況では下記のように多項式計算時間で計算できることを後藤, 橘 らと示しさらにプログラムとして実装、公開した.
命題：ｎ×ｎ行列の掛け算に要する計算量を＄Ｏ（ｎ＾３）＄とするとき上記の contiguity relation を得るための計算量の上限は以下である． (1) ｒ＿１を固定し, ｒ＿２ --> ∞を考えるときＯ（ｒ＿２＾｛３ｒ＿１｝）. (2) ｒ＿２を固定し, ｒ＿１-->∞を考えるとき Ｏ（ｒ＿１＾｛３ｒ＿２｝）.
命題：ｎ桁の数の四則演算が Ｏ（ｎ＾２）で計算できると仮定する．Ｃをプロセス数, Ｎ＿ｐを中国式剰余定理に用いる ｄ＿ｐ 桁の素数の数と仮定すると 超幾何多項式 Ｆ（β；ｐ） は ｍａｘ（Ｏ（｜β｜ｒ＾２ Ｎ＿ｐ ｄ＿ｐ＾２/Ｃ），Ｏ（ｒＮ＿ｐ＾４ ｄ＿ｐ＾４/Ｃ））を計算量の上限, つまり ｜β｜ の線形時間で計算できる．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
統計における2元分割表の正規化定数は Aomoto-Gel'fand の多変数超幾何関数で書けるが, その数値計算を行なうためにこの多変数超幾何関数の contiguity relation を後藤が別の研究プロジェクトの中で導出した. この contiguity relation は多変数線形差分方程式(漸化式)とみなせるが, その数値計算を有理数で行なうのは莫大な計算量を必要とする. 代表者は後藤、橘と共にこの計算を modular method (有限体と中国式剰余定理を用いる方法)を用いて高速化するアルゴリズムを提案, 実装し, 元々の統計の問題について有効であることを示した. 計算のための Risa/Asir パッケージ gtt_ekn を公開中.
|
| Strategy for Future Research Activity |
* 昨年度の結果はまだ邦文による査読無の発表であるので, 英文による研究論文を執筆する.
* 有限体と中国式剰余定理を活用する, つまり modular method の並列アルゴリズム, プログラムによる Runge-Kutta 法を実装し有効性を検証する.また理論面からは, 最近研究の進展が著しい p-adic computer algebra の成果を活用して, 近似や収束性の議論を行なう.
|
| Causes of Carryover |
消耗品がまだ枯渇していなかったため.
|
| Expenditure Plan for Carryover Budget |
消耗品がまもなくなくなるので、その購入にあてる.
|
