| 研究課題/領域番号 |
25610032
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
日比 孝之 大阪大学, 情報科学研究科, 教授 (80181113)
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| キーワード | 切断多面体 / 切断イデアル / トーリックイデアル / グレブナー基底 / 正規多面体 / Hilbert basis |
|---|
| 研究実績の概要 |
有限グラフに付随する切断多面体の正規性の探究を、グレブナー基底の代数的理論の観点、及び、凸多面体の組合せ論の観点から、多角的に展開し、切断多面体の正規性予想と呼ばれる懸案の予想「有限グラフに付随する切断多面体が正規であるための必要十分条件は、その有限グラフが５次の完全グラフ K_5 をマイナーとして持たないことである」を肯定的、あるいは、否定的な解決に挑戦することが、本挑戦的萌芽研究の目的である。その背景には、切断多面体の正規性予想の肯定的解決から、四色定理が従う（David E. Speyer）ことが潜んでいる。
平成２５年度は、切断多面体の正規性予想の肯定的な解決に挑戦したが、平成２６年度は、研究の方針を転換し、切断多面体の正規性予想の否定的解決、すなわち、反例を構成する研究に着手した。平成２５年度の計算機実験による結果を検討し、従来の研究を踏襲すると、肯定的な解決に向けての努力をすることが妥当なように思えるが、しかしながら、平成２５年度の研究から、肯定的であるとの絶対的な状況証拠が得られたとは言い難い。それゆえ、平成２６年度は、切断多面体の正規性予想の否定的な解決に向けての研究を展開することを決断した。もっとも、闇雲に、反例を探すことをしても無駄であるから、切断多面体の Hilbert basis を有限グラフの組合せ論を使って記述し、切断多面体の膨らましに含まれる整数点の状況を可能な限り厳密に把握することから、切断多面体の正規性予想が肯定的であると思われる有限グラフの類の幾つかを特定し、その類に含まれない有限グラフの切断多面体から反例を探す方針で研究を推進した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
本挑戦的萌芽研究はエフォート 10% の研究であるから、十分な時間を費やすことは困難である。しかしながら、切断多面体の正規性予想が肯定的であると思われる有限グラフの類の幾つかを特定することから、切断多面体の正規性予想の反例となる候補を列挙することができたから、研究の展開としては十分であると判断している。
|
| 今後の研究の推進方策 |
切断多面体の正規性予想の肯定的解決と否定的解決の両面から研究を展開する。
|
| 次年度使用額が生じた理由 |
ドイツの共同研究者のスケジュールの変更により、外国出張を翌年に延期した。
|
| 次年度使用額の使用計画 |
外国出張
|
