[論文レビュー] Robustness and Conditional Independence Ideals

Johannes Rauh, Nihat Ay|arXiv (Cornell University)|Oct 6, 2011

Commutative Algebra and Its Applications参考文献 12被引用数 8

ひとこと要約

本稿では、n個の入力変数と1つの出力を持つ確率的システムにおける耐性の性質を、条件付き独立性イデアルとグレブナー基底を用いて研究する代数的枠組みを導入する。本稿は、耐性を持つ確率分布の集合が、その分布のサポートに関するグラフ論的条件によって特徴づけられる素イデアルによって定義される代数的概形をなしており、耐性を持つシステムの完全なパrametrizationを可能にする。

ABSTRACT

We study notions of robustness of Markov kernels and probability distribution of a system that is described by $n$ input random variables and one output random variable. Markov kernels can be expanded in a series of potentials that allow to describe the system's behaviour after knockouts. Robustness imposes structural constraints on these potentials. Robustness of probability distributions is defined via conditional independence statements. These statements can be studied algebraically. The corresponding conditional independence ideals are related to binary edge ideals. The set of robust probability distributions lies on an algebraic variety. We compute a Gröbner basis of this ideal and study the irreducible decomposition of the variety. These algebraic results allow to parametrize the set of all robust probability distributions.

研究の動機と目的

• 複数の入力と1つの出力をもつ確率的システムにおける耐性を代数幾何学的手法を用いて形式化すること。
• 入力変数の削除（knockout）に対して耐性を示す確率分布の集合を、条件付き独立性の記述によって特徴づけること。
• 耐性を持つ分布の代数的構造が、条件付き独立性イデアルによって定義される代数的概形として特定されることを明らかにすること。
• 耐性を持つ分布のイデアルに対するグレブナー基底を計算し、その既約分解を同定すること。
• 概形の既約成分を用いて、すべての耐性を持つ確率分布を完全にパラメータ化すること。

提案手法

• n個の入力および1つの出力の確率変数の組合せ確率分布とマーコフ核を用いてシステムをモデル化する。
• 耐性を条件付き独立性によって定義する：残りの入力が与えられたもとで、削除された入力とは出力が独立である。
• 二項イデアル、特に2値エッジイデアルと行列式イデアルを用いて、条件付き独立性の記述を代数的に表現する。
• すべてのこのような二項式から生成されるイデアル I_G を構成し、これが耐性を持つ分布の概形を定義する。
• グレブナー基底技法を用いてイデアルの構造を解析し、その一次分解を計算する。
• 特に、誘導部分グラフにおける連結成分に基づくグラフ論的条件を用いて、概形の既約成分を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 どの結合確率分布が、入力の削除に対する耐性に対応する条件付き独立性の記述を満たすか？
• RQ2 すべての耐性を持つ分布の集合が、確率単体における代数的概形としてどのように特徴づけられるか？
• RQ3 耐性を持つ分布の概形の既約分解は何か？ そして、そのグラフ構造とはどのように関係しているか？
• RQ4 耐性を持つ分布の定義イデアルは、2値エッジイデアルや行列式イデアルといった既知の代数的対象とどのように関係しているか？
• RQ5 耐性を持つ分布の全集合は、概形の既約成分を用いてパラメータ化可能か？

主な発見

• すべての耐性を持つ確率分布の集合は、素イデアル I_G によって定義される代数的概形上に存在する。ここで I_G は、素イデアル I^1_G,Y と、グラフ G_Y の連結成分 Z に対応する行列式イデアル I^2_Z の和である。
• イデアル I_G は素であり、その概形 V_G は、特定のグラフ論的最大性条件を満たすすべての部分集合 Y ⊆ X についての I_G,Y の交わりとして既約分解を持つ。
• 既約成分 V_G,Y は、すべての x ∉ Y に対して、G_Y 内で Y に隣接する頂点が G_Y で非連結であるようなサポート Y に対応し、包含関係において最大であることが保証される。
• I_G の一次分解は、すべてのこのような最大な Y についての交わりとして与えられ、これは代数的閉体でない体に対しても成立する。
• 概形 V_G は、すべての既約成分 V_G,Y の和集合として表され、冗長性を排除するために、すべての x ∉ Y について G_Y ∪ {x} が G_Y よりも多くの連結成分を持つという条件を満たす最大な Y を要求することで実現される。
• 本フレームワークは [6] の先行研究を一般化・概念化し、個別事例の解析に代えて、グレブナー基底と既約分解に基づく統一的代数的アプローチを提供する。