[論文レビュー] 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

ひとこと要約

本稿は、線形最適化における整数丸め性質と、特にリース代数およびクレターと多面体から生じる単項式代数の代数的不変量との間に双対性を確立する。系 $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.

研究の動機と目的

• 線形不等式系における整数丸め性質と、線形最適化問題から生じる単項式代数の代数的不変量との関係を調査すること。
• 多面体的および組合的構造を用いて、リース代数および単項式部分代数の正規性、ゴレンシュタイン性、および正規化モジュールを特徴付けること。
• これらの代数の $a$-不変量および正規化モジュールが、それらの定義多面体の幾何的性質とどのように関連するかを示す双対性定理を確立すること。
• 特にクレターの接続行列に限らない、非負整数成分をもつ一般の行列に対しても、正規性およびゴレンシュタイン性に関する既知の結果を拡張すること。

提案手法

• ブロッキングおよびアンチブロッキング多面体の理論を用いて、系 $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}\}$ の最大整数ベクトルとの間に双対性を導出する。
• 多面体 $P$ が整数的であるとき、$a(S)$ を $\ell_i$-ベクトルとそれらの $d_i$-重みを用いて $a(S) = -\max_i(1/d_i + |\ell_i|)$ として表現する。
• Ehrhart 環の構成を用いて正規性を保証し、代数的構造と拡大された多面体における格子点数え上げとを関連付ける。
• 非二部グラフを含む例における正規性およびゴレンシュタイン性の計算的検証に、Normaliz ソフトウェアを活用する。

実験結果

リサーチクエスチョン

• RQ1 系 $x \geq 0, xA \leq \mathbf{1}$ が整数丸め性質を持つのはいつか、そしてこれは関連する単項式部分代数 $S$ の正規性とどのように関係するか。
• RQ2 多面体 $P = \{x \geq 0 \mid xA \leq \mathbf{1}\}$ の最大ベクトルを用いて、リース代数部分代数 $S = K[x^{w_1}t, \ldots, x^{w_r}t]$ の正規化モジュール $\omega_S$ の構造はいかなるものか。
• RQ3 $S$ の $a$-不変量は、定義行列 $A$ の組合的および幾何的データとどのように関係するか。
• RQ4 部分代数 $S$ がゴレンシュタインであるための条件は何か、そしてこれは多面体の $d_i$-重みと $\ell_i$-ベクトルにどのように依存するか。
• RQ5 行列 $A$ が接続行列である場合、$S$ のゴレンシュタイン性と、それに対応するグラフの二部性の関係は何か。

主な発見

• 系 $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$-不変量は、$d_i$ を $\ell_i$ の成分の最大公約数として、$a(S) = -\max_i(1/d_i + |\ell_i|)$ で与えられる。
• 多面体 $P$ が整数的であるとき、$S$ がゴレンシュタインであるための必要十分条件は、すべての $i$ に対して $a(S) = -(1/d_i + |\ell_i|)$ が成り立つことであり、特に $d_1 = 2$ かつ $|\ell_1| = 1/2$ である五角形グラフでは $a(S) = -3$ となる。
• 接続行列 $A$ を持つ連結グラフ $G$ に対して、部分代数 $S$ がゴレンシュタインであるための必要十分条件は、すべての $i$ に対して $-a(S) = 1/d_i + |\ell_i|$ が成り立つことであり、これは $G$ が二部グラフで $P$ が整数的である場合に成立する。
• 部分代数 $K[x^{v_1}t, \ldots, x^{v_q}t, t]$ が完全交差であるための必要十分条件は、対応するグラフ $G$ が二部グラフであり、かつ正確に $q - n + 1$ 個の原始的サイクルを持つことである。