• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

有限グラフの高次連結度の計算とベッチ数列の消滅理論

Research Project

Project/Area Number 09874047
Research Category

Grant-in-Aid for Exploratory Research

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionOsaka University

Principal Investigator

日比 孝之  大阪大学, 大学院・理学研究科, 教授 (80181113)

Project Period (FY) 1997 – 1999
Project Status Completed (Fiscal Year 1999)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1999: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 1998: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1997: ¥700,000 (Direct Cost: ¥700,000)
Keywords凸多面体 / 有限グラフ / グレブナー基底 / イニシャル イデアル / トーリック イデアル / 単項式順序 / 辞書式順序 / 逆辞書式順序 / 多項式環 / 外積代数 / Kruskal-Katona定理 / squarefree単項式イデアル / 次数付ベッチ数列 / generic initial ideal / 強安定単項式イデアル / 高次連結度 / ベッチ数列 / 有限自由分解 / 有限半順序集合 / 単体的複体 / Gotzmann定理
Research Abstract

平成11年度は,いわゆるcompressedな凸多面体についての基礎理論を構築することを念頭に置いて研究を継承した.その基盤となる作業仮説「一般の超単体はcompressedである」を証明することを基礎理論を構築するための突破口と考え,思索を重ねた結果,Birkhoff-von Neumann凸多面体に付随するtoricイデアルが任意の逆辞書式順序でsquarefreeなinitialイデアルを持つという顕著な成果を整数計画の枠内で捕らえることの有効性に到達した.一般に,凸多面体は有限個の不等式で定義されるが,それらの不等式がすべて等式になっている状況にしばしば遭遇する.我々が得た重要な成果の一つは「すべての頂点のすべての座標成分が0乃至1である凸多面体が等式によって定義されるならば,その凸多面体はcompressedである」という至って簡潔な定理であるが,その波及する効果は絶大である.第1点として,その直接の帰結として懸案であった上記作業仮説が直ちに証明できることが挙げられる.第2点として,perfectな有限グラフの理論を借用すると,たとえば,純な有限半順序集合に付随する凸多面体がcompressedであるという鮮やかな結果が瞬時に従う.第3点として,当該定理の仮定で要求される等式の部分はいささか工夫を施すことによって,適当な条件を満たす不等式に置き換えることが可能である.その結果,有限半順序集合から構成される順序凸多面体などの類についても当該定理が有効となり,compressedな凸多面体の著名な類を大量に生産することが可能となる.将来的には,第2点で触れた perfect な有限グフラフについての永年の予想(強perfectグラフ予想)の解決に向けて,我々の構築しつつある理論の応用を探ることも重要な課題である.

Report

(3 results)
  • 1999 Annual Research Report
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (15 results)

All Other

All Publications (15 results)

  • [Publications] J.Herzog,T.Hibi: "Componentwise linear ideals"Nagoya Matn. J.. 153. 141-153 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] H.Ohsugi,T.Hibi: "Ahormal (0,1) polytope none of whose regular triangulations is unimodular"Discrete and Computational Geometry. 21. 201-204 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] H.Ohsugi,T.Hibi: "Koszul bipartite graphs"Advances in Applied Math,. 22. 25-28 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] H.Ohsugi,T.Hibi: "Toric ideals generated by Quadratic binomials"J. Algebra. 218. 509-527 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] H. Ohsugi: "Normal polytopes qrising from finite graphs" J. Algebra. 207. 409-426 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] A. Aramova: "Squarefree lexsegment Edeals" Math. Z. 228. 353-378 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] H. Ohsugi: "Koszal bipartite graphs" Adr. Appl. Math.22. 25-28 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] H. Ohsugi: "A normal(0,1)-polytope none b whose regular triaugulations is unimodular" Discrete and C'omput. Geam.21. 201-204 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] A. Aramova: "Ideals with stable Betti numbers" Adv. Math.(出版予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] T. Hibi: "A comparability graph of a modular lattice" Combinatorica. (出版予定). (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] H.Ohsugi: "Normal polytopes arising from finite graphs" Journal of Algehra. (発表予定). (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] N.Terai: "Finite tree resolutions and '1-skeletans of simplical complexes" Journal of Algebraic Conbinatorics. 6. 89-93 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] E.DeNegri: "Gorenstein algebras of Veronese type" Journal of Algebra. 193. 629-639 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] A.Aramora: "Gotzmann theorens for exterior algebras and combinatorics" Journal of Algebra. 191. 174-211 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 日比孝之: "数え上げ数学" 朝倉書店, 103 (1997)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi