[論文レビュー] Minimal Gröbner bases and the predictable leading monomial property

Margreta Kuijper, Kristina Schindelar|arXiv (Cornell University)|Jun 25, 2009

Coding theory and cryptography参考文献 29被引用数 4

ひとこと要約

本稿は、特に ${\mathbb{Z}}_{p^r}$ 上の多項式モジュラスにおいて、標準的な最小グレブナー基底が有する性質を欠くことがある予測可能な先頭単項式（PLM）性質を、最小グレブナー基底に対して導入する。本稿では、任意の最小グレブナー基底から、$p$-PLM 性質を保証する最小グレブナー $p$-基底を構成する手法を提案し、これにより、補間問題や符号理論の問題（例えばリーディング・ソロモン符号のリストデコード）の解のパラメータ化が効率的に行えるようになる。

ABSTRACT

We focus on Gröbner bases for modules of univariate polynomial vectors over a ring. We identify a useful property, the "predictable leading monomial (PLM) property" that is shared by minimal Gröbner bases of modules in F[x]^q, no matter what positional term order is used. The PLM property is useful in a range of applications and can be seen as a strengthening of the wellknown predictable degree property (= row reducedness), a terminology introduced by Forney in the 70's. Because of the presence of zero divisors, minimal Gröbner bases over a finite ring of the type Z_p^r (where p is a prime integer and r is an integer >1) do not necessarily have the PLM property. In this paper we show how to derive, from an ordered minimal Gröbner basis, a so-called "minimal Gröbner p-basis" that does have a PLM property. We demonstrate that minimal Gröbner p-bases lend themselves particularly well to derive minimal realization parametrizations over Z_p^r. Applications are in coding and sequences over Z_p^r.

研究の動機と目的

• 任意の環上の多項式モジュラスにおける最小グレブナー基底の主要構造的特徴として、予測可能な先頭単項式（PLM）性質を同定・形式化すること。
• 特に ${\mathbb{Z}}_{p^r}$ 上の最小グレブナー基底が PLM 性質を満たさない場合、補間や符号理論への応用が阻害されることを解決すること。
• 元の基底がモジュール基底でない場合でも、$p$-PLM 性質を保証する新しい基底、すなわち最小グレブナー $p$-基底を、任意の最小グレブナー基底から構成すること。
• ${\mathbb{Z}}_{p^r}$ 上の最短線形再帰関係に関するパラメータ化された解の導出において、$p$-PLM 性質の有用性を示すこと。これは、リーディング・ソロモン符号のリストデコードに関連する。

提案手法

• PLM 性質を、予測可能な次数性質の強化として定義し、基底要素の先頭単項式から、多項式の線形結合の先頭単項式が予測可能であることを保証する。
• 元の基底がモジュール基底でない場合でも、$p$-PLM 性質を保証するように変換を施すことにより、最小グレブナー $p$-基底を最小グレブナー基底から導出する概念を導入する。
• TOP（Term Over Position）および POT（Position Over Term）の単項式順序を用いて、多項式モジュラスの構造を定義し、基底構成における柔軟性を確保する。
• $p$-PLM 性質を活用して、組み合わせの先頭項を制御することで、線形再帰関係のパラメータ化された解の族を構成する。
• ${\mathbb{Z}}_9$ 上の例に本手法を適用し、最小グレブナー $p$-基底がすべての最短線形再帰関係をどのようにパラメータ化するかを示す。
• Singular などの計算ツールを活用して、最小グレブナー基底の計算と $p$-PLM 性質の実際の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 任意の環、特に ${\mathbb{Z}}_{p^r}$ 上の最小グレブナー基底に対して、予測可能な先頭単項式（PLM）性質が成り立つかどうか。
• RQ2 ${\mathbb{Z}}_{p^r}$ 上の最小グレブナー基底がモジュール基底でない場合でも、$p$-PLM 性質を満たす基底に変換可能か。
• RQ3 $p$-PLM 性質を用いて、最短線形再帰関係のすべてを求める補間問題の解をどのようにパラメータ化できるか。
• RQ4 リーディング・ソロモン符号のリストデコードにおいて、グレブナー法が従来の手法に比べてどのような利点を提供するか。
• RQ5 $p$-PLM 性質を多変数多項式モジュラスに一般化可能か。また、${\mathbb{Z}}_{p^r}$ に対してスミス＝マミラン型の標準形を導出するのにも応用可能か。

主な発見

• PLM 性質は体上の最小グレブナー基底の構造的特徴ではあるが、${\mathbb{Z}}_{p^r}$ のような環上では、自由モジュラスであっても、最小グレブナー基底が必ずしもこの性質を満たすわけではない。
• 任意の ${\mathbb{Z}}_{p^r}$ 上の最小グレブナー基底から、元の基底がモジュール基底でない場合でも、$p$-PLM 性質を満たす最小グレブナー $p$-基底を構成可能である。
• 例 4.18（${\mathbb{Z}}_9$ 上）では、最小 TOP グレブナー $p$-基底 $\{g_1, g_2\}$ が $g_1 = [x^3+4x^2+7x+4, x^2+3x]$ および $g_2 = [6x^2+8, x^3+5x^2+6x]$ であるとき、すべてのモニック最短線形再帰関係が $x^3+4x^2+7x+4 + \Theta(6x^2+8)$（$\Theta \in \mathbb{Z}_9$）としてパラメータ化可能である。
• $\Theta = 3$ の場合、このパラメータ化により、[22] のアルゴリズムで計算された最短線形再帰関係 $x^3+4x^2+7x+1$ が回復され、本手法の正しさと実用性が裏付けられる。
• $p$-PLM 性質により、任意の組み合わせの先頭単項式が、基底要素の先頭単項式から予測可能であることが保証され、解の族の体系的構成が可能になる。
• 本手法により、1つの最小グレブナー $p$-基底から、すべての可能な最短線形再帰関係をパラメータ化する柔軟なフレームワークが提供され、リーディング・ソロモン符号のリストデコードに応用可能である。