分割表とトーリックイデアル
- こちらでもリンクしたこちらの話しの自分なりのリ・フレーズ
- k次元分割表があって、第i軸のカテゴリ数が
で、表全体として
個のセルがある
- log-linear modelでの各セルの頻度は
,ただし
は第i軸の第
カテゴリの頻度で表される
- ある観測分割表
の観測確率は(多項の係数)
で表される
- ただし
の値は、周辺度数を同じくする限り等しいという関係にある
- それは対数尤度についても言えるが、周辺度数制約の制約一つ一つについても言える
- 逆に言えば
を
を変数とした多項式環である
は周辺度数比率
で表現されているから、
を変数として、同様に多項式環がある
- この2つの多項式環の関係(準同型)を行列で表すことができて、それはトーリックイデアル
- このイデアル(制約条件)を「きれい(都合良く)」に取り出すことができるが、それは、「基底」を取り出すこと(「基底」はすべての制約の種になっている)
- 今、分割表のセルの値を周辺度数を満足したまま一歩一歩動くことに対応するような「基底」を取り出しましょう、というのは、グレブナー基底の取り出し