[论文解读] On the Existence of Semi-Regular Sequences

Timothy J. Hodges, Molina, S. D.+1 more|arXiv (Cornell University)|Dec 25, 2014

Polynomial and algebraic computation参考文献 5被引用 3

一句话总结

本文在代数 $ B^{(n)} = \mathbb{F}_2[X_1,\dots,X_n]/(X_1^2,\dots,X_n^2) $ 中建立了关于 $ \mathbb{F}_2 $ 上半正则序列的基本存在性与非存在性条件。证明了仅当 $ n \leq 3d $ 时，度数为 $ d $ 的半正则元素才可能存在，且当 $ d = 2^t $ 且 $ n = 3d $ 时，该界对无穷多个 $ n $ 是紧的。此外，本文进一步表明，对于任意固定的度数向量 $ \mathbf{d} = (d_1,\dots,d_m) $，当 $ n $ 足够大时，长度为 $ m $ 的半正则序列不再存在，从而解决了关于此类序列通用性的关键开放问题。

ABSTRACT

Semi-regular sequences over $\mathbb{F}_2$ are sequences of homogeneous elements of the algebra $ B^{(n)}=\mathbb{F}_2[X_1,...,X_n]/(X_1^2,...,X_n^2) $, which have as few relations between them as possible. They were introduced in order to assess the complexity of Gröbner basis algorithms such as ${\bf F}_4, {\bf F}_5$ for the solution of polynomial equations. Despite the experimental evidence that semi-regular sequences are common, it was unknown whether there existed semi-regular sequences for all $n$, except in extremely trivial situations. We prove some results on the existence and non-existence of semi-regular sequences. In particular, we show that if an element of degree $d$ in $B^{(n)}$ is semi-regular, then we must have $n\leq 3d$. Also, we show that if $d=2^t$ and $n=3d$ there exits a semi-regular element of degree $d$ establishing that the bound is sharp for infinitely many $n$. Finally, we generalize the result of non-existence of semi-regular elements to the case of sequences of a fixed length $m$.

研究动机与目标

• 为解决 $ B^{(n)} $ 中半正则序列是否对所有 $ n $ 都存在的长期开放问题。
• 确定 $ B^{(n)} $ 中度数为 $ d $ 的齐次元素成为半正则的精确条件。
• 将非存在性结果从单个元素推广至固定长度 $ m $ 和固定度数向量 $ \mathbf{d} = (d_1,\dots,d_m) $ 的序列。
• 通过使用对称多项式构造，阐明 $ n \leq 3d $ 界的紧致性。
• 研究半正则序列的渐近行为及其在 $ \mathbb{F}_2 $ 上多项式环中的密度。

提出的方法

• 使用分次环的 Hilbert 系列与指标来刻画半正则性，将 $ \operatorname{Ind}(B/I) $ 定义为 $ I $ 截取整个齐次分量的首个度数。
• 应用判据：序列 $ \lambda_1,\dots,\lambda_m $ 是半正则的当且仅当 $ HS_{(\lambda_1,\dots,\lambda_m)}(z) = \left[ \frac{(1+z)^n}{\prod_{i=1}^m (1+z^{d_i})} \right] $，其中方括号表示对级数截断至指标处。
• 分析 $ \frac{(1+z)^n}{1+z^d} $ 展开式中系数的正性，以确定指标并推导出 $ \operatorname{Ind}\left(\frac{(1+z)^n}{1+z^d}\right) $ 的界。
• 利用二项式系数 $ \binom{2n}{k} $ 及其差值的组合估计，证明当 $ n $ 足够大时 $ \gamma(2n,k,d) > 0 $，从而推出 $ \operatorname{Ind} > \frac{n}{2} + d $。
• 使用函数 $ \tau_{\mathbf{d}}(n) $（表示 Hilbert 系列的期望指标），推导出线性下界 $ \tau_{\mathbf{d}}(n) \geq rn + c $，其中 $ r > \frac{1}{2} $，这是非存在性证明的关键。
• 结合定理 4.7 关于失败度 $ D_{\mathrm{ff}}(\lambda_j) $ 与指标条件，若在大 $ n $ 时存在半正则序列，则导出矛盾，从而证明非存在性。

实验结果

研究问题

• RQ1 在 $ B^{(n)} $ 中，对于哪些 $ n $ 与 $ d $ 值，存在度数为 $ d $ 的半正则元素？
• RQ2 半正则元素的界 $ n \leq 3d $ 是否紧致？在哪些 $ d $ 与 $ n $ 下达到该界？
• RQ3 对于任意固定的长度 $ m $ 与度数向量 $ \mathbf{d} = (d_1,\dots,d_m) $，是否存在任意大的 $ n $ 使得半正则序列存在？
• RQ4 当 $ n \to \infty $ 时，半正则序列的比例的渐近行为如何？
• RQ5 是否存在某些零星的 $ (n,m) $ 对，其半正则序列比例异常偏低？其原因是什么？

主要发现

• 在 $ B^{(n)} $ 中，度数 $ d \geq 2 $ 的齐次元素仅当 $ n \leq 3d $ 时才可能是半正则的，确立了存在性所需的 $ n $ 上限。
• 界 $ n \leq 3d $ 是紧致的：当 $ d = 2^t $ 且 $ n = 3d $ 时，对称多项式 $ \sigma_{d,n} = \sum_{1 \leq i_1 < \cdots < i_d \leq n} x_{i_1} \cdots x_{i_d} $ 是半正则的，证明该界对无穷多个 $ n $ 是紧的。
• 对于任意固定的度数向量 $ \mathbf{d} = (d_1,\dots,d_m) $，若存在某个 $ j $ 使得 $ d_j \geq 2 $，则存在 $ N $，使得对所有 $ n \geq N $，在 $ B^{(n)} $ 中均不存在类型为 $ \mathbf{d} $ 的半正则序列，将非存在性结果从单个元素推广至序列。
• 在 $ n $ 个变量中，齐次元素的半正则序列比例随 $ n \to \infty $ 而趋于 1，表明在极限下具有通用性，尽管并非对所有 $ m(n) $ 都一致。
• 在零星的 $ n,m $ 对如 $ (10,12) $、$ (11,15) $ 和 $ (15,14) $ 处，半正则序列比例较低，对应 Hilbert 系列在指标处的系数为零，表明可能存在对密度猜想的例外。
• 对于大 $ n $，失败度 $ D_{\mathrm{ff}}(\lambda_j) $ 严格小于指标 $ \operatorname{Ind}(\lambda_1,\dots,\lambda_m) $，与半正则性矛盾，从而通过反证法证明非存在性。