研究概要 |
凸多面体の組合せ論の伝統的な話題である「凸多面体の面の数え上げ」及び「凸多面体の三角形分割の構造」が本基盤研究の研究対象である。これらの研究の推進には、純粋な組合せ論のテクニックに加え、代数的なテクニックが不可欠である。本研究の目的は、これらの伝統的な話題に関する幾つかの未解決問題に挑戦する戦略の礎となるグレブナー基底の代数的基礎理論を構築することである。 平成23年度は、主に、有限グラフに付随する辺凸多面体の超平面による分離問題と巡回凸多面体の正規性に関する具象的研究を展開した。 前者の研究は、MIT(マサチューセッツ工科大学)の大学院生 Nan Li と Yan Z. Zhang との共同研究として遂行された。有限グラフに付随する辺凸多面体が超平面によって二つの整凸多面体に分離されるとき、分離可能であると呼ばれる。研究代表者らは、辺凸多面体が分離可能であるか否かを判断するアルゴリズムを提唱し、更に、辺凸多面体 P が P_1 と P_2 に分離されるとき、P が正規であるための必要十分条件は P_1 と P_2 の両者が正規であることを証明することに成功した。 後者の研究は、研究代表者らと、ドイツからの留学生 Lukas Katthan との共同研究である。パラメータτ_1, . . . ,τ_n(τ_iは整数)によって定義される巡回整凸多面体が正規であるためのパラメータが満たすべき必要十分条件を探すことを最終目的とし、その第1歩となる幾つかの結果を得た。投稿中の論文は [T. Hibi, A. Higashitani, L. Katthan and R. Okazaki, Normal cyclic polytopes and non-very ample cyclic polytopes, arXiv:1202.6117]に載せ、公開している。
|