[論文レビュー] Degree bounds for the toric ideal of a matroid

Michał Lasoń|arXiv (Cornell University)|Jan 29, 2016

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

ひとこと要約

本稿では、マトロイドのトーリックイデアルの生成における、ランクにのみ依存する最初の次数上限を確立し、ランク $r$ のマトロイドに対しては、$(r+3)!$ 以下の次数で生成されることを証明した。また、二次的生成イデアル $J_M$ と完全なトーリックイデアル $I_M$ の同次成分が、ある次数 $f(r)$ 以降一致することを示し、マトロイドのトーリックイデアルの二次的生成に関するホワイト予想への重要な一歩を達成した。

ABSTRACT

Describing minimal generating set of a toric ideal, or the minimum degree in which it is generated, is a well-studied and difficult problem. In 1980 White conjectured that the toric ideal $I_M$ of a matroid $M$ is generated by quadratic binomials corresponding to symmetric exchanges. The weak version of White's conjecture asserts that the ideal $I_M$ is generated in degree $2$. We give the first bound on degree that depends only on the rank of a matroid. Namely, we prove that the toric ideal of a matroid of rank $r$ is generated in degree at most $(r+3)!$. As a corollary we obtain that checking if White's conjecture is true for matroids of a fixed rank is decidable. In [Laso\'{n}, Micha\l ek, On the toric ideal of a matroid, Adv. Math. 259 (2014), 1-12] we proved White's conjecture `up to saturation'. That is, that for every matroid $M$ homogeneous parts of the ideal $J_M$ generated by quadratic binomials corresponding to symmetric exchanges and of the toric ideal $I_M$ are equal starting from some degree. We extend this result by proving that there exists a function $f$ such that for every matroid $M$ of rank $r$ homogeneous parts of the ideals $J_M$ and $I_M$ are equal starting from degree $f(r)$. Additionally, we observe that White's conjecture implies that for every matroid whose ground set can be partitioned into disjoint bases, the basis graph restricted to bases appearing in some partition is connected. We provide sufficient conditions for the opposite implication.

研究の動機と目的

• マトロイドのトーリックイデアルの生成における次数上限を、そのランクにのみ依存する形で確立すること。
• 二次的生成イデアル $J_M$ と完全なトーリックイデアル $I_M$ の同次成分が、ある次数 $f(r)$ 以降一致することを証明し、以前の飽和に関する結果を拡張すること。
• ホワイト予想が、互いに素な基底分割を持つマトロイドの基底グラフの連結性に与える影響を調査すること。
• 特定のマトロイドに対して、基底グラフの連結性がホワイト予想を満たすために十分な条件を提供すること。

提案手法

• マトロイドにおける対称的交換の構造を活用し、トーリックイデアル $I_M$ と二次二項式によって生成されるイデアル $J_M$ を分析すること。
• 代数的技法を用いて $J_M$ と $I_M$ の同次成分を比較し、ランク $r$ のみに依存する次数 $f(r)$ 以降に両者の一致が成立することを示すこと。
• 可換代数およびトーリックイデアルの結果を応用し、生成元の次数を $r+3$ の階乗で有界化すること。
• 以前の $I_M$ と $J_M$ の飽和同値性に関する結果を、同次成分の完全な次数的一致にまで拡張すること。
• 基底集合が互いに素な基底に分割可能なマトロイドの基底グラフを分析し、連結性とホワイト予想との関係を明らかにすること。
• 特定のマトロイドに対して、基底グラフの連結性がホワイト予想の成立を示すために十分な条件を確立すること。

実験結果

リサーチクエスチョン

• RQ1 マトロイドのトーリックイデアルの生成における最小の次数上限は、そのランクに関してどのように表されるか？
• RQ2 任意のマトロイドに対して、二次的生成イデアル $J_M$ の同次成分が、最終的に完全なトーリックイデアル $I_M$ の同次成分と一致するか？
• RQ3 固定されたランクを持つマトロイドに対して、次数上限が存在するならば、ホワイト予想はアルゴリズム的に検証可能か？
• RQ4 マトロイドの基底グラフの連結性とホワイト予想の成立性との間にどのような関係があるか？
• RQ5 どのような条件下で、基底グラフの連結性が、トーリックイデアルが二次二項式によって生成されることを示すか？

主な発見

• ランク $r$ のマトロイドのトーリックイデアルは、$(r+3)!$ 以下の次数で生成され、これが最初のランク依存の次数上限を提供する。
• ランク $r$ のみに依存する関数 $f(r)$ が存在し、$f(r)$ 以降の次数において $J_M$ と $I_M$ の同次成分が一致する。これは、以前の飽和に関する結果を拡張する。
• 有限の次数上限が存在するため、固定されたランクを持つマトロイドに対してホワイト予想の検証は決定可能である。
• ホワイト予想は、互いに素な基底に分割可能なマトロイドの基底グラフが、その分割に現れる基底の部分集合において連結であることを示唆する。
• 特定のマトロイドに対して、基底グラフの連結性がホワイト予想の成立を示すために十分な条件を提供した。