[论文解读] Duality, a-invariants and canonical modules of rings arising from linear optimization problems

Joseph P. Brennan, Luis A. Dupont+1 more|ArXiv.org|Dec 3, 2008

Commutative Algebra and Its Applications参考文献 28被引用 12

一句话总结

本文建立了线性优化中整数舍入性质与单变量代数结构（特别是Rees代数和由杂凑集与多面体导出的子环）的代数不变量之间的对偶性。证明了系统 $x \geq 0, xA \leq \mathbf{1}$ 具有整数舍入性质当且仅当对应的单变量子环 $S = K[x^{w_1}t, \ldots, x^{w_r}t]$ 是正规的，并提供了一个对偶定理，将此类代数的 $a$-不变量与典范模与它们的基多面锥结构联系起来。

ABSTRACT

The aim of this paper is to study integer rounding properties of various systems of linear inequalities to gain insight about the algebraic properties of Rees algebras of monomial ideals and monomial subrings. We study the normality and Gorenstein property--as well as the canonical module and the a-invariant--of Rees algebras and subrings arising from systems with the integer rounding property. We relate the algebraic properties of Rees algebras and monomial subrings with integer rounding properties and present a duality theorem.

研究动机与目标

• 研究线性不等式系统中整数舍入性质与线性优化问题中产生的单变量代数结构的代数不变量之间的联系。
• 通过多面体与组合结构表征Rees代数与单变量子环的正规性、Gorenstein性质与典范模。
• 建立一个对偶定理，将这些代数的 $a$-不变量与典范模与它们的定义多面体的几何结构联系起来。
• 将已知关于正规性与Gorenstein性质的结果推广至一般非负整数矩阵，而不仅限于杂凑集的关联矩阵。

提出的方法

• 使用阻塞与反阻塞多面体理论分析系统 $x \geq 0, xA \leq \mathbf{1}$, $xA \geq \mathbf{1}$, 以及 $xA \leq \mathbf{1}$ 的整数舍入性质。
• 应用整闭包公式 $\overline{K[F]} = K[\mathbb{Z}\mathcal{A} \cap \mathbb{R}_+\mathcal{A}]$ 来刻画单变量子环的正规性。
• 推导出子环 $S = K[x^{w_1}t, \ldots, x^{w_r}t]$ 的典范模 $\omega_S$ 与多面体 $P = \{x \geq 0 \mid xA \leq \mathbf{1}\}$ 的最大整向量之间的对偶性。
• 通过 $\ell_i$-向量及其 $d_i$-权重表达 $a$-不变量 $a(S)$，公式为 $a(S) = -\max_i(1/d_i + |\ell_i|)$，当 $P$ 为整数多面体时成立。
• 利用Ehrhart环构造确保正规性，并将代数结构与缩放多面体中的格点计数联系起来。
• 借助Normaliz软件对示例（包括非二分图）中的正规性与Gorenstein性质进行计算验证。

实验结果

研究问题

• RQ1 系统 $x \geq 0, xA \leq \mathbf{1}$ 何时具有整数舍入性质，这与关联单变量子环 $S$ 的正规性有何关系？
• RQ2 Rees代数子环 $S = K[x^{w_1}t, \ldots, x^{w_r}t]$ 的典范模 $\omega_S$ 的结构如何，以多面体 $P = \{x \geq 0 \mid xA \leq \mathbf{1}\}$ 的最大向量表示？
• RQ3 $S$ 的 $a$-不变量如何与定义矩阵 $A$ 的组合与几何数据相关？
• RQ4 在何种条件下子环 $S$ 是Gorenstein的，其与多面体的 $d_i$-权重和 $\ell_i$-向量的关系如何？
• RQ5 当 $A$ 为关联矩阵时，子环 $S$ 的Gorenstein性质与底层图的二分性之间有何关系？

主要发现

• 系统 $x \geq 0, xA \leq \mathbf{1}$ 具有整数舍入性质当且仅当单变量子环 $S = K[x^{w_1}t, \ldots, x^{w_r}t]$ 是正规的。
• 子环 $S$ 的典范模 $\omega_S$ 由满足对所有 $i$ 有 $\langle (a,b), (-d_i\ell_i, d_i) \rangle \geq 1$ 的单项式 $x^a t^b$ 生成，其中 $\ell_i$ 是多面体 $P$ 的最大整向量。
• $S$ 的 $a$-不变量为 $a(S) = -\max_i(1/d_i + |\ell_i|)$，其中 $d_i$ 是 $\ell_i$ 各个分量的最大公约数。
• 若 $P$ 为整数多面体，则 $S$ 是Gorenstein的当且仅当对所有 $i$ 有 $a(S) = -(1/d_i + |\ell_i|)$，特别地，当 $d_1 = 2$ 且 $|\ell_1| = 1/2$ 时，五边形图的 $a(S) = -3$。
• 对于连通图 $G$ 及其关联矩阵 $A$，子环 $S$ 是Gorenstein的当且仅当对所有 $i$ 有 $-a(S) = 1/d_i + |\ell_i|$，且当 $G$ 为二分图且 $P$ 为整数多面体时成立。
• 子环 $K[x^{v_1}t, \ldots, x^{v_q}t, t]$ 是完备交（complete intersection）当且仅当底层图 $G$ 为二分图且恰好有 $q - n + 1$ 个本原圈。