1995 Fiscal Year Annual Research Report
q-解析にあらわれる非可換代数に関するアルゴリズムの研究
| Project/Area Number |
07210255
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
高山 信毅 神戸大学, 理学部, 助教授 (30188099)
|
|---|
| Keywords | Grobner basis / computer algebra / q-analysis / Coxeter group / Hecke algebra / hypergeometric series / Kan / Integer programming |
|---|
| Research Abstract |
80年代半ばよりさかんとなったq-解析ではさまざまな非可換代数があらわれる。たとえばq-差分作用素環や古典群の包絡環の量子化、さらにはアフィンワイル群やアフィンヘッケ環などがq-解析にあらわれる。この研究では、これらの多様な代数で種々の実験をおこなうための数式処理系のための言語およびアルゴリズムを開発することが目的であった。残念ながらこの目標はいまだ完全に達成されていないが、以下のような成果があった。
1.グレブナ基底の計算システムkan/sm1は5年目を迎えた。kan/sm1は多項式環、微分差分作用素環、q-差分作用素環のイデアルに関する種々の演算を実行することができる。旧来のコードをすべて書き換えて、Version 2を公開した。パ-サの書き換えと高速化、グレブナ基底の計算をhomogeneous polynomialsを基本とした方法にあらためて高速化、D-加群用のパッケージの充実、富士通情報研のrisa/asir, D. GraysonとM. StillmanによるMacaulay2などへの実験的組み込みなどをおこなった。
2.整数計画法とq-超幾何関数との間に関係があることがわかった。
3.Coxeter群やHecke環をあつかうためのアルゴリズムの研究をスタートした。とくに,Brink-Howlettのアルゴリズムの研究をスタートした。
Coxwter群やHecke環をあつかうためのアルゴリズム、システムの研究は来年度にはなんらかの成果をだせるものと期待している。
|
-
[Publications] N. Takayama: "Algorithms finding recurrence relations of binomial sums and its complexity" Journal of Symbolic Computation. (to appear). (1996)
-
[Publications] K. Matsumoto: "Braid group and a confluent hypergeometric function" Journal of Mathematical Sciences. 2(to appear). (1996)
-
[Publications] K. Onishi: "Construction of voronoi diagram on the upper half plane" IEICE Transactions on Fundamentals. (to appear). (1996)
-
[Publications] M. Yoshida: "CR-geometry on the configuration space of 5 points on the projective line" Funkcialaj Ekvacioj. (to appear). (1996)
