[論文レビュー] Algebraic and combinatorial properties of ideals and algebras of uniform clutters of TDI systems

Luis A. Dupont, Rafael H. Villarreal|arXiv (Cornell University)|Jan 9, 2008

Commutative Algebra and Its Applications参考文献 13被引用数 4

ひとこと要約

本稿は、最大フロー最小カット性質を満たす、または完全マッチングやバランスの取れたインシデント行列といった特定の構造的特徴を有する一様クラッターに関連するイデアルおよび代数の代数的・組合せ的性質を確立する。これらの条件下で、インシデント行列が ℤ 上で単位行列に対角化され、列ベクトルがヒルベルト基底をなすことが示され、生成された錐のすべての正則トライアングレーションがユニモジュラーであることが示され、組合せ最適化と代数幾何学およびグレブナー基底理論が結びつけられる。

ABSTRACT

Let C be a uniform clutter, i.e., all the edges of C have the same size, and let A be the incidence matrix of C. We denote the column vectors of A by v1,...,vq. The vertex covering number of C, denoted by g, is the smallest number of vertices in any minimal vertex cover of C. Under certain conditions we prove that C is vertex critical. If C satisfies the max-flow min-cut property, we prove that A diagonalizes over the integers to an identity matrix and that v1,...,vq is a Hilbert basis. It is shown that if C has a perfect matching such that C has the packing property and g=2, then A diagonalizes over the integers to an identity matrix. If A is a balanced matrix we prove that any regular triangulation of the cone generated by v1,...,vq is unimodular. Some examples are presented to show that our results only hold for uniform clutters. These results are closely related to certain algebraic properties, such as the normality or torsion freeness, of blowup algebras of edge ideals and to finitely generated abelian groups. They are also related to the theory of Gröbner bases of toric ideals and to Ehrhart rings.

研究の動機と目的

• 一様クラッターに関連する辺イデアルおよびリース代数の代数的・組合せ的構造を調査すること。
• 一様クラッターのインシデント行列が ℤ 上で単位行列にどのように対角化されるかを特定すること。
• インシデントベクトルによって生成される錐の正則トライアングレーションがユニモジュラーである条件を特定すること。
• 最大フロー最小カット性質、ヒルベルト基底、およびブローアップ代数における torsion-free 性との関係を探索すること。
• ユニモジュラートライアングレーションおよび対角化の結果が、一般のクラッターではなく一様クラッターに特有であることを確認すること。

提案手法

• 一様クラッター $\mathcal{C}$ のインシデント行列 $A$ を用い、その列ベクトル $v_1, \dots, v_q$ をエッジのサポートとして表す。
• 最大フロー最小カット性質および集合被覆多面体 $Q(A)$ の整数性を適用して、$A$ に関する構造的結果を導出する。
• スミス標準形を用いて ℤ 上での $A$ の対角化を分析し、特定の条件下で単位行列に簡約されることを示す。
• グレブナー基底およびトーリックイデアルの理論を用いて、リース代数およびエーリヒャート環の正規性および torsion-free 性を研究する。
• 有限生成アーベル群の基本構造定理を用いて、$\mathbb{Z}^n / \mathbb{Z}\mathcal{A}_i$ が torsion-free であることを示し、これによりユニモジュラートライアングレーションが得られることを示す。
• バランスの取れた行列の概念およびその部分行列式の性質を活用して、錐 $\mathbb{R}_+\{v_1,\dots,v_q\}$ の正則トライアングレーションがユニモジュラーであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 一様クラッターのインシデント行列がどの条件下で ℤ 上で単位行列に対角化されるか。
• RQ2 最大フロー最小カット性質を満たす一様クラッターが、そのインシデントベクトルによって生成されるヒルベルト基底をどのように形成するか。
• RQ3 インシデントベクトルによって生成される錐のすべての正則トライアングレーションがユニモジュラーであるための条件は何か。
• RQ4 バランスの取れた行列の性質が、一様クラッターの文脈におけるユニモジュラートライアングレーションとどのように関係するか。
• RQ5 これらの結果が非一様クラッターではなぜ成立しないのか、たとえ $Q(A)$ が整数的であっても。

主な発見

• $d$-一様クラッター $\mathcal{C}$ が最大フロー最小カット性質を満たすならば、そのインシデント行列 $A$ は ℤ 上で単位行列に対角化される。
• 同じ条件下で、$A$ の列ベクトル $v_1, \dots, v_q$ は、半群 $\mathbb{N}^n \cap \mathbb{R}_+\{v_1, \dots, v_q\}$ のヒルベルト基底をなす。
• $d$-一様クラッターが完全マッチングをもち、頂点被覆数が 2 であるパッケージング性質を満たすならば、$A$ は ℤ 上で単位行列に対角化される。
• すべての列ベクトルの重みが $d$ に等しいバランスの取れたインシデント行列 $A$ に対して、錐 $\mathbb{R}_+\{v_1, \dots, v_q\}$ のすべての正則トライアングレーションはユニモジュラーである。
• 非一様クラッターでは、$Q(A)$ が整数的であってもユニモジュラートライアングレーションの性質は成立しない。13列の反例によりこれを示した。
• 最大フロー最小カット性質を満たすすべての一様クラッターがユニモジュラー正則トライアングレーションを持つという予想は、横断的マトロイドおよび正則グレブナー基底に関する結果により支持されている。