研究課題/領域番号 |
16K12395
|
研究種目 |
挑戦的萌芽研究
|
配分区分 | 基金 |
研究分野 |
数理情報学
|
研究機関 | 金沢工業大学 |
研究代表者 |
谷口 哲也 金沢工業大学, 基礎教育部, 講師 (90625500)
|
研究協力者 |
平林 幹人
藤井 俊
|
研究期間 (年度) |
2016-04-01 – 2019-03-31
|
研究課題ステータス |
完了 (2018年度)
|
配分額 *注記 |
3,120千円 (直接経費: 2,400千円、間接経費: 720千円)
2017年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2016年度: 2,470千円 (直接経費: 1,900千円、間接経費: 570千円)
|
キーワード | 円分体 / 相対類数 / 行列式 / 実験計画法 / 組み合わせ最適化 / ランダム行列 / 漸近的挙動 / 固有値分布 / 半円則 / discrepancy / d-efficiency |
研究成果の概要 |
新たな相対類数の行列式公式に関して,0,±1成分を持つ行列,Demjanenko 行列と2次指標を組み合わせた行列を構成した. 円分体の相対類数の計算を2^31円分体などに対して行った.これは約5億次行列の行列式を計算したことに相当し,行列式として直接計算するのは非常に困難な対象でも計算可能であることを実証した.素数p円分体の場合のDemjanenko行列式の桁数およびD-efficiencyの漸近的挙動の予想を定式化し,前者は特別の仮定なしに示し,後者はKummer予想の下で示した.
|
研究成果の学術的意義や社会的意義 |
一般に,組み合わせ最適化に関連した計算の計算量はNP 困難問題であることが多い.本研究で提案する相対類数計算はO(n^2)の多項式時間で実行可能であり,その計算量の評価も行っている.従って相対類数を表現する±1成分の行列式の値も同計算量で求まり,その結果D-optimal design の近似解も多項式時間で得られる.純粋な整数論的対象である円分体の相対類数およびその行列式公式と,具体的な応用の計算の対象であるD-optimal design の間をつなぐ,最初の一歩を本研究では踏み出した.
|