[论文解读] 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+3)!$ 时生成，其中 $r$ 为拟阵的秩。此外，还表明二次生成理想 $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)!$ 时生成，这是首个基于秩的度数界。
• 存在一个函数 $f(r)$，使得 $J_M$ 与 $I_M$ 的齐次部分从度数 $f(r)$ 起完全一致，扩展了先前的饱和性结果。
• 由于存在有限度数界，对固定秩拟阵验证怀特猜想的问题是可判定的。
• 怀特猜想蕴含：若一个拟阵存在不相交基的划分，则其在该类划分中出现的基所构成的子集上是连通的。
• 提供了充分条件，使得基图的连通性能推出该拟阵满足怀特猜想。