[論文レビュー] A note on Rees algebras and the MFMC property

Isidoro Gitler, Carlos E. Valencia+1 more|arXiv (Cornell University)|Nov 11, 2005

Commutative Algebra and Its Applications参考文献 14被引用数 49

ひとこと要約

本稿では、クラッターにおける最大フロー最小カット（MFMC）性質とリース代数の代数的性質の間の深い関係を確立し、クラッターがMFMC性質を満たすための必要十分条件として、その辺イデアルが通常ねじれ自由であること、すなわちすべての $ i \geq 1 $ に対して $ I^i = I^{(i)} $ が成り立つことを証明している。この特徴づけは、リース代数の正規性と集合被覆多面体 $ Q(A) $ の整数性に依拠しており、Normaliz ソフトウェアを用いたアルゴリズム的検証が可能である。

ABSTRACT

We study irreducible representations of Rees cones and characterize the max-flow min-cut property of clutters in terms of the normality of Rees algebras and the integrality of certain polyhedra. Then we present some applications to combinatorial optimization and commutative algebra. As a byproduct we obtain an "effective" method, based on the program "Normaliz", to determine whether a given clutter satisfies the max-flow min-cut property. Let C be a clutter and let I be its edge ideal. We prove that C has the max-flow min-cut property if and only if I is normally torsion free, that is, I^i=I^{(i)} for all i>=1, where I^{(i)} is the ith symbolic power of I.

研究の動機と目的

• クラッターの最大フロー最小カット（MFMC）性質を、その辺イデアルの代数的および多面体的性質を用いて特徴づける。
• リース代数 $ R[It] $ の正規性と集合被覆多面体 $ Q(A) $ の整数性の間の関係を確立する。
• 与えられたクラッターがMFMC性質を満たすかどうかを決定する効果的な計算手法を提供する。
• MFMC性質が、理想が通常ねじれ自由であること、すなわちすべての $ i \geq 1 $ に対して $ I^i = I^{(i)} $ が成り立つことと同値であることを証明する。

提案手法

• リース錐の非可約表現を用いて、$ R[It] $ の構造を集合被覆多面体 $ Q(A) = \{ x \in \mathbb{R}^n \mid x \geq 0, xA \geq \mathbf{1} \} $ を通じて記述する。
• 有理的多面体錐の双対性理論を応用し、リース錐の面を定義する超平面とクラッターの最小頂点被覆との関係を確立する。
• リース代数 $ R[It] $ の正規性と多面体 $ Q(A) $ の整数性の等価性を活用し、MFMC性質を特徴づける。
• 整数的閉包 $ \overline{R[It]} $ と記号的リース代数 $ R_s(I) = \sum_{i \geq 0} I^{(i)} t^i $ を比較し、$ \overline{R[It]} = R_s(I) $ が成り立つための必要十分条件が $ Q(A) $ が整数的であることと同値であることを示す。
• Normaliz ソフトウェアを用いて、$ R[It] $ の正規性と $ Q(A) $ の整数性をアルゴリズム的に検証し、これによりMFMC性質の判定を行う。
• 多面体幾何と可換代数の結果を応用し、すべての $ i \geq 1 $ に対して $ I^i = I^{(i)} $ が成り立つこととMFMC性質が同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 クラッターはどのような場合に最大フロー最小カット性質を満たし、その性質はどのように代数的に特徴づけられるか？
• RQ2 リース代数 $ R[It] $ の正規性と多面体 $ Q(A) $ の整数性の間にはどのような関係があるか？
• RQ3 与えられたクラッターに対して、MFMC性質をどのようにアルゴリズム的に特定できるか？
• RQ4 すべての $ i \geq 1 $ に対して $ I^i = I^{(i)} $ が成り立つという条件は、クラッターの辺イデアルに対してMFMC性質と同値であるか？
• RQ5 関連する層状リング $ \mathrm{gr}_I(R) $ が半簡約である条件は何か、そしてそれはMFMC性質とどのように関係するか？

主な発見

• クラッター $ \mathcal{C} $ が最大フロー最小カット性質を満たすための必要十分条件は、その辺イデアル $ I $ が通常ねじれ自由であること、すなわちすべての $ i \geq 1 $ に対して $ I^i = I^{(i)} $ が成り立つことである。
• リース錐 $ \mathbb{R}_+ \mathcal{A}' $ は、クラッター $ \mathcal{C} $ の最小頂点被覆に基づく非可約表現を持つ。その面を定義するベクトルは $ \ell_k = (\sum_{x_i \in C_k} e_i, -1) $ として与えられる。
• 多面体 $ Q(A) $ が整数的であることと、リース錐が標準基底ベクトル $ e_1, \dots, e_n, e_{n+1} $ および最小頂点被覆に対応するベクトル $ \ell_k $ を含む非可約表現を持つことは同値である。
• リース代数 $ R[It] $ の整数的閉包が記号的リース代数 $ R_s(I) $ に等しいことと、$ Q(A) $ が整数的であることとは同値であり、これはMFMC性質と同値である。
• MFMC性質が成り立つための必要十分条件は、$ R[It] $ が正規かつ $ Q(A) $ が整数的であることである。これにより、完全な代数的・組合せ的特徴づけが得られる。
• Normaliz ソフトウェアを用いた効果的な計算手法が提供され、$ R[It] $ の正規性と $ Q(A) $ の整数性の検証により、MFMC性質の判定が可能である。