[論文レビュー] 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

ひとこと要約

本稿は、$\mathbb{F}_2$ 上の代数 $B^{(n)} = \mathbb{F}_2[X_1,\dots,X_n]/(X_1^2,\dots,X_n^2)$ における半正則列の基本的な存在および非存在条件を確立する。半正則な次数 $d$ の元が存在できるのは $n \leq 3d$ のときに限られ、この上限が $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$ 上の多項式環におけるその密度を調査すること。

提案手法

• 半正則性を特徴付けるために、グレーディングされた環のヒルベルト系列およびインデックスを用いる。$\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)$（ヒルベルト系列の期待インデックスを表す）を用い、$r > \frac{1}{2}$ を満たす線形下界 $\tau_{\mathbf{d}}(n) \geq rn + c$ を導出し、非存在証明の鍵をなす。
• 定理 4.7 における失敗度 $D_{\mathrm{ff}}(\lambda_j)$ とインデックス条件を組み合わせ、$n$ が大きい場合に半正則列が存在すると仮定すると矛盾が生じることを示し、非存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 $B^{(n)}$ において、次数 $d$ の半正則元が存在する $n$ および $d$ の値は何か？
• RQ2 $n \leq 3d$ の境界は鋭いか？ また、どのような $d$ および $n$ でこの境界が達成されるか？
• RQ3 固定された長さ $m$ および固定された次数ベクトル $\mathbf{d} = (d_1,\dots,d_m)$ に対して、$n$ が任意に大きくなっても半正則列が存在するか？
• RQ4 $n \to \infty$ のとき、半正則列の割合の漸近的挙動は何か？
• RQ5 $(n,m)$ の散発的な値（例：$(10,12)$, $(11,15)$, $(15,14)$）では、半正則列の割合が予期せず低くなることがあるが、その原因は何か？

主な発見

• 次数 $d \geq 2$ の斉次元が $B^{(n)}$ で半正則であるためには $n \leq 3d$ でなければならない。これは、存在のための必要十分な上界を確立する。
• $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)$ 全体にわたる一様性は保証されない。
• $(10,12)$, $(11,15)$, $(15,14)$ のような散発的な $n,m$ のペアでは、半正則列の割合が低くなる。これは、ヒルベルト系列のインデックスにおける係数が 0 になることに起因し、密度に関する予想に対する潜在的な例外を示している。
• $n$ が大きい場合、失敗度 $D_{\mathrm{ff}}(\lambda_j)$ はインデックス $\operatorname{Ind}(\lambda_1,\dots,\lambda_m)$ よりも厳密に小さい。これは半正則性を矛盾させるため、背理法により非存在が証明される。