[論文レビュー] Footprint and minimum distance functions

Luis Núñez‐Betancourt, Yuriko Pitones+1 more|arXiv (Cornell University)|Dec 1, 2017

Commutative Algebra and Its Applications参考文献 21被引用数 9

ひとこと要約

本稿では、多項式環内の階数付きイデアルに対して、最小距離関数 δ_I およびフットプリント関数 fp_I と呼ばれる2つの代数的関数を導入し、その解析を行う。特に、それらの正値性、単調性、および正確な計算に注目する。本稿では、線形の素イデアルを生成する根のイデアルに対して δ_I が1に厳密に単調減少することを証明し、完全交差モナミアルイデアルに対しては明示的な公式を提供する。これにより、符号理論および組合せ論への応用が可能な鋭い下界が得られる。

ABSTRACT

Let $S$ be a polynomial ring over a field $K$, with a monomial order $\prec$, and let $I$ be an unmixed graded ideal of $S$. In this paper we study two functions associated to $I$: the minimum distance function $δ_I$ and the footprint function ${ m fp}_I$. It is shown that $δ_I$ is positive and that ${ m fp}_I$ is positive if the initial ideal of $I$ is unmixed. Then we show that if $I$ is radical and its associated primes are generated by linear forms, then $δ_I$ is strictly decreasing until it reaches the asymptotic value $1$. If $I$ is the edge ideal of a Cohen--Macaulay bipartite graph, we show that $δ_I(d)=1$ for $d$ greater than or equal to the regularity of $S/I$. For a graded ideal of dimension $\geq 1$, whose initial ideal is a complete intersection, we give an exact sharp lower bound for the corresponding minimum distance function.

研究の動機と目的

• 多項式環内の階数付きイデアルに対して最小距離関数 δ_I およびフットプリント関数 fp_I の理論的性質を確立すること。
• δ_I が厳密に単調減少し、漸近値1に収束する条件を調査すること、特に関連素イデアルが線形に生成される根のイデアルの場合を特に注目すること。
• 初期イデアルが完全交差である場合に、δ_I の明示的公式および鋭い下界を導出することにより、計算的および理論的応用を強化すること。
• δ_I と fp_I 間の関係を検討すること、特に両者が一致する場合や、fp_I が δ_I の下界として機能する場合を重点的に検討すること。
• Gröbner基底および標準単項式を用いた δ_I および fp_I の計算に適したツールとアルゴリズムを提供すること。これにより、符号理論および組合せ論への応用が可能になる。

提案手法

• 零因子 f ∈ S_d で I に属さないものについて、(I:f) ≠ I であることを用い、S/I の次数 deg(S/I) から、S/(I,f) の最大次数を差し引いたものを δ_I(d) として定義する。
• 同様に、初期イデアル in_≺(I) を用い、Gröbner階段 Δ_≺(I) 内の標準単項式を用いて fp_I(d) を定義する。
• Gröbner基底理論およびヒルベルト関数を用いて、特に均質かつ完全交差イデアルの場合の S/I および in_≺(I) の構造を分析する。
• 除法アルゴリズムを適用して、任意の f ∈ F_d を標準多項式 h に還元し、(I:f) = (I:h) が成り立つことを示す。これにより、計算を標準単項式に限定できる。
• Macaulay2 を用いて計算的検証を実施し、基底および商イデアルの操作を用いて δ_I(d) および fp_I(d) を効率的に計算する。
• d ≥ 1 に対して fp_I(d) = fp_{in_≺(I)}(d) が成り立つことを証明し、単項式イデアルによる計算が可能であることを示す。さらに、組合せ論的および代数的技法を用いて鋭い下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 最小距離関数 δ_I が正値である条件は何か。同様にフットプリント関数 fp_I が正値である条件は何か。
• RQ2 δ_I が厳密に単調減少し、1に収束するのはどのような場合か。特に、関連素イデアルが線形に生成される根のイデアルの場合を想定する。
• RQ3 完全交差モナミアルイデアルの場合、δ_I(d) の正確な値は何か。また、このようなイデアルに対して鋭い下界を確立できるか。
• RQ4 δ_I と fp_I が一致するのはどのような場合か。また、fp_I が δ_I の下界として機能するのはどのような状況か。
• RQ5 Cohen–Macaulay な二部グラフのエッジイデアルに対して、δ_I(d) の挙動はいかなるものか。特に S/I の正則性とどのように関係しているか。

主な発見

• I が均質な階数付きイデアルであるとき、δ_I は正値であり、in_≺(I) が均質である限り、fp_I も正値である。
• 関連素イデアルが線形形式によって生成される根で、かつ均質なイデアルの場合、δ_I は厳密に単調減少し、漸近値1に収束する。
• I が孤立頂点を含まないCohen–Macaulayな二部グラフのエッジイデアルである場合、すべての d ≥ reg(S/I) に対して δ_I(d) = 1 が成り立つ。
• 次元 ≥ 1 の完全交差モナミアルイデアルに対しては、fp_I(d) の明示的公式が導出され、δ_I(d) = fp_I(d) が成り立つ。
• 初期イデアルが完全交差である階数付きイデアルに対して、δ_I(d) の鋭い下界が確立され、符号理論における先行研究を一般化する。
• 例6.3において、fp_I(1) = 0 が鋭い下界であることが示され、命題2.15(b)における下界のタイトネスが裏付けられた。