【動画紹介】The Map of Mathematics
こういうの好き。とりあえずメモ。
36.多項式環のグレブナー基底
少し話題を変えて多項式環の計算理論をやっておく。PDFにするときは別の章にするかもしれない。
項順序と割り算アルゴリズム
以前、一変数多項式環の整除について学んだ。これと同じことを多変数の多項式についても考えたいのだが、一変数の場合と異なり多項式の次数は自然に定まらない。項順序とは割り算を上手く機能させるために導入する順序であり、この下で多項式の整除を定めることができる。
以下は体とする。変数の多項式環はと略記する。に対し、と略記し、の形をした多項式を項(term)と呼ぶ。特にのとき、の形をした項を単項式(monomial term)と呼ぶ。または多重指数(multi-index)と呼ばれ、をその絶対値、をその階乗などと呼ぶ。一般にゼロでない多項式は、幾つかの項の和で表されるが、これらの項を多項式の項成分と呼ぶ。
多重指数に対する順序関係が項順序(term order)であるとは、以下の三条件を満たすことをいう。
- に対しての何れかが成り立つ。(全順序性)
- ならが成り立つ。(加法性)
- が空でないとき、に最小元が存在する。(整列性)
項順序は目的に応じて色々変えるのが普通だが、基本的には次の三種類の何れかを用いる。
辞書式順序(lexicographic order, lex) であることを、で定める。
次数付き辞書式順序(graded lexicographic order, grlex) であることを、、もしくはかつで定める。
次数付き逆辞書式順序(graded reverse lexicographic order, grevlex) であることを、、もしくはかつで定める。(順序の向きに注意)
上から簡単に説明すると、lexでは前が小さければ小さい。grlexではまず絶対値を比較し、その後lexで比較する。grevlexもまず絶対値で比較するが、後ろが大きければ小さい。
項順序が与えられているとき、ゼロでない多項式に対し次を定める。まず項順序で最大の項成分をで表し、先頭項(leading term)と呼ぶ。先頭項の係数(leading coefficient)はで表し、先頭項の係数をイチとしたもの(leading monomial)をで表す。更にのときをの次数(degree)と呼ぶ。
定理(割り算アルゴリズム) 項順序が与えられた多項式環を考える。多項式及びに対して、次を満たす多項式及びは一意的に定まる。(正確には順序付きのに対して一意に定まる。)
- が成り立つ。
- のとき、任意のに対してはの項成分を割り切らない。
- のとき、をの項成分とすると、任意のに対してはを割り切らない。
- のとき、が成り立つ。特にならの最大がに一致する。
(証明)以下のアルゴリズムで実行する。
- 入力はであり、出力はである。
- まず及びにゼロを代入し、にを代入する。
- (A) もしなら終了する。
- そうでないなら、がを割り切るようなを考え、その全体をとする。
- もしが空ならにを代入し、にを代入し(A)に戻る。
- 空でないなら、としてにを代入し、にを代入し(A)に戻る。
この操作では、とならない限りの次数は真に減少していく。もしアルゴリズムが止まらないとすれば、を考えれば整列性より最小元が存在するため矛盾する。従ってこの操作は有限回で停止する。
とする。の辞書式順序で割り算を実行してみよう。である。以下に途中計算を挙げる。
故にとなる。
項イデアルとグレブナー基底
項イデアル(term ideal)あるいは単項式イデアルとは、単項式から成る生成系を持つイデアルのことを指す。即ちが存在してと表せるイデアルのことを意味する。これを簡単になどと表す。
命題 を項イデアル、を多重指数とする。以下は同値となる。
- である。
- あるが存在してが成り立つ。
(証明)とする。あるが存在してと表せる。ここでと置くと、が成り立つ。故にあるが存在してとなるのでとなる。下から上は明らか。
命題 を項イデアル、とする。以下は同値となる。
- である。
- ならが成り立つ。
(証明)とする。先ほどと同様にと表せる。ならとなるが存在するのでより上の命題からが成り立つ。下から上は明らか。
補題 (ディクソンの補題) を項イデアルとする。このときあるが存在してが成り立つ。
(証明)既にがネーター環であることは示してあるのでは有限生成となる。そこでをその生成元とすれば、と有限個のを用いて表せる。はにより生成されるので、題意を満たす。
因みに直接この補題を示すこともできる。
さて、集合に対し、と置く。も同様に定義する。
先頭項イデアル(leading term ideal)とはのイデアルに対し、で生成されるイデアルのことを指す。
は体なので、一般にが成り立つことに注意する。またイデアルに対しが成り立つ。
定義 をイデアルとする。がのグレブナー基底(Grbner basis)であるとは、
を満たすことをいう。
定理 グレブナー基底は存在する。
が成り立つ。左辺はに等しく、右辺はに等しいので題意が示される。
所感
グレブナー基底があると何が嬉しいかは次回。またグレブナー基底の存在は示したが、その計算方法については何も述べていない。証明を見るとの計算に帰着されてはいるが、一見すると問題は全然簡単になっていないように思える。グレブナー基底を考案したグレブナーの弟子ブッフバーガーが偉いのは、これを計算するアルゴリズムを主張したことにある。計算量的には膨大で、当時はとても人の手に余るものだったが、今はコンピュータが高性能になり計算だけでなく様々な応用が可能となった。
グラフ上の陣取りゲーム
最近グラフ理論を触り始めて、Wikipediaのギャラリーを見たりして楽しんでいる。理論の方は定義や用語は多い一方で、纏まりがある分野ではない印象を受けた。個々のグラフ、つまり数学的な背景があって、そこから導出された対象に限定して議論することが普通みたい。一般的な理論を構築するのは困難で、できたとしても強い結果が得られないのだろう。それだけに興味深い。
ともかくノートに色々グラフを書いてみて、一つ非常に簡単な陣取りゲームを考えた。
有限無向グラフは連結かつ単純であるとする。ゲームは二人で交互に行う。まず初手では自分のコマを好きなの頂点に配置する。配置した頂点は自分の領土になる。二手目以降は自分のコマを隣接した頂点に移動させる。このとき移動させた先が誰の領土でなければ、自分の領土にできる。最後に領土が多かった方の勝ち。
疑問:後手必勝のグラフは存在するか?
小さなグラフだと頂点数が奇数なら先手必勝で偶数なら引き分けになるような気がする。
因みにグラフ上の陣取りには他にボロノイゲームというのがあり、店舗出店のモデルとしても考えられている。グラフの頂点に順に店舗を置いていくのだが、決められた手数で多くの陣地を取れば勝ち。陣地は最も距離が近い店舗のものになる。