[论文解读] 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

一句话总结

本文建立了杂凑集（clutters）中最大流最小割（MFMC）性质与Rees代数的代数性质之间的深刻联系，证明了当且仅当其边理想是正规挠性自由的（即对所有 $i \geq 1$ 有 $I^i = I^{(i)}$）时，杂凑集满足MFMC性质。该刻画依赖于Rees代数的正规性以及集合覆盖多面体 $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）性质。
• 建立Rees代数 $R[It]$ 的正规性与集合覆盖多面体 $Q(A)$ 的整性之间的联系。
• 提供一种有效的计算方法，以判断给定杂凑集是否满足MFMC性质。
• 证明MFMC性质等价于理想为正规挠性自由，即对所有 $i \geq 1$ 有 $I^i = I^{(i)}$。

提出的方法

• 利用Rees锥的不可约表示，通过集合覆盖多面体 $Q(A) = \{x \in \mathbb{R}^n \mid x \geq 0, xA \geq \mathbf{1}\}$ 描述 $R[It]$ 的结构。
• 应用有理多面锥的对偶性理论，将Rees锥的面定义超平面与杂凑集的最小顶点覆盖联系起来。
• 利用 $R[It]$ 的正规性与 $Q(A)$ 的整性之间的等价性，刻画MFMC性质。
• 使用符号Rees代数 $R_s(I) = \sum_{i \geq 0} I^{(i)} t^i$ 与 $R[It]$ 的整闭包进行比较，证明 $\overline{R[It]} = R_s(I)$ 当且仅当 $Q(A)$ 是整的。
• 利用Normaliz软件，算法化地测试 $R[It]$ 的正规性与 $Q(A)$ 的整性，从而确定MFMC性质。
• 结合多面几​何与交换代数的结果，证明对所有 $i \geq 1$ 有 $I^i = I^{(i)}$ 当且仅当满足MFMC性质。

实验结果

研究问题

• RQ1 在什么条件下杂凑集满足最大流最小割性质，以及如何从代数角度刻画这一性质？
• RQ2 Rees代数 $R[It]$ 的正规性与多面体 $Q(A)$ 的整性之间存在何种关系？
• RQ3 如何对给定杂凑集算法化地确定MFMC性质？
• RQ4 对所有 $i \geq 1$ 有 $I^i = I^{(i)}$ 的条件是否等价于杂凑集边理想的MFMC性质？
• RQ5 何时其关联的分次环 $\mathrm{gr}_I(R)$ 是约化的，以及这与MFMC性质有何关联？

主要发现

• 当且仅当其边理想 $I$ 是正规挠性自由时，杂凑集 $\mathcal{C}$ 满足最大流最小割性质，即对所有 $i \geq 1$ 有 $I^i = I^{(i)}$。
• Rees锥 $\mathbb{R}_+ \mathcal{A}'$ 可通过 $\mathcal{C}$ 的最小顶点覆盖以不可约形式表示，其面定义向量为 $\ell_k = (\sum_{x_i \in C_k} e_i, -1)$。
• $Q(A)$ 是整的当且仅当Rees锥具有涉及标准基向量 $e_1, \dots, e_n, e_{n+1}$ 以及对应于最小顶点覆盖的向量 $\ell_k$ 的不可约表示。
• $R[It]$ 的整闭包等于符号Rees代数 $R_s(I)$ 当且仅当 $Q(A)$ 是整的，而这一条件等价于MFMC性质。
• MFMC性质成立当且仅当 $R[It]$ 是正规的且 $Q(A)$ 是整的，从而提供了完整的代数-组合刻画。
• 通过使用Normaliz软件，提供了一种有效的计算方法，通过验证 $R[It]$ 的正规性与 $Q(A)$ 的整性，来测试MFMC性质。