中文

通过独立多项式实现可实现的 (reg, deg h)-对

交换代数 2026-02-12 v1 组合数学

摘要

GG 为具有 nn 个顶点的有限简单图,记 R=k[x1,,xn]R=\Bbbk[x_1,\dots,x_n],其中 I(G)I(G) 为边理想,J(G)J(G) 为覆盖理想。我们给出 R/J(G)R/J(G)hh-多项式的显式描述形式,这一形式可推广至任何完全平凡单项式理想的阿尔马纳对偶。随后,我们通过 M(G)M(G)(即 PG(x)=i0gixiP_G(x)=\sum_{i\ge 0} g_i x^ix=1x=-1 处的根的重数)表达 deg hR/I(G)(t)\textrm{deg } h_{R/I(G)}(t)deg hR/J(G)(t)\textrm{deg } h_{R/J(G)}(t)。具体而言,我们证明\n\ndeg hR/I(G)(t)=α(G)M(G)deg hR/J(G)(t)=n2M(G),\textrm{deg } h_{R/I(G)}(t)=\alpha(G)-M(G) \qquad\text{且}\qquad \textrm{deg } h_{R/J(G)}(t)=n-2-M(G), \n\n其中 α(G)\alpha(G)GG 的独立数。作为推论,M(G)M(G)R/I(G)R/I(G)R/J(G)R/J(G)a\mathfrak{a}-不变式的负逆数。我们为 M(G)M(G) 的广泛图族推导递推关系和闭式公式,并用于分析覆盖理想在和谐类中的 (reg, deg h)-对中哪些情况出现,包括实现极端行为的显式构造。我们以一个关于连通图的界限 [reg (R/J(G))deg hR/J(G)(t)][\textrm{reg }(R/J(G))-\textrm{deg } h_{R/J(G)}(t)] 的 conjectures 为结尾。

关键词

引用

@article{arxiv.2602.10376,
  title  = {Realizable (reg, deg h)-Pairs for Cover Ideals via Independence Polynomials},
  author = {Jennifer Biermann and Trung Chau and Selvi Kara and Augustine O'Keefe and Joseph Skelton and Gabriel Sosa Castillo and Dalena Vien},
  journal= {arXiv preprint arXiv:2602.10376},
  year   = {2026}
}

备注

36 pages, 6 figures