[論文レビュー] Linear rank inequalities on five or more variables

Randall Dougherty, C. Freiling+1 more|arXiv (Cornell University)|Oct 2, 2009

Nuclear Receptors and Signaling参考文献 12被引用数 58

ひとこと要約

この論文は情報理論における未解決問題を解決し、5つ以上の変数に対して線形ランク不等式がシャノンおよびイングルトン不等式を超えることを証明している。5変数の線形ランク不等式をすべて生成するため、シャノンおよびイングルトン不等式に加えて、完全な24個の新しい不等式を提示しており、4つを超える各変数数に対して、新たな非自明な不等式が存在することを示している。

ABSTRACT

Ranks of subspaces of vector spaces satisfy all linear inequalities satisfied by entropies (including the standard Shannon inequalities) and an additional inequality due to Ingleton. It is known that the Shannon and Ingleton inequalities generate all such linear rank inequalities on up to four variables, but it has been an open question whether additional inequalities hold for the case of five or more variables. Here we give a list of 24 inequalities which, together with the Shannon and Ingleton inequalities, generate all linear rank inequalities on five variables. We also give a partial list of linear rank inequalities on six variables and general results which produce such inequalities on an arbitrary number of variables; we prove that there are essentially new inequalities at each number of variables beyond four (a result also proved recently by Kinser).

研究の動機と目的

• 5つ以上の変数における線形ランク不等式が、既知のシャノンおよびイングルトン不等式を超えるかどうかを特定すること。
• 5変数における完全かつ有限な線形ランク不等式の集合を構築すること。
• 4つを超える各変数数に対して、新たな非自明な線形ランク不等式が存在することを示すこと。
• 共通情報法がすべての線形ランク不等式を導出するのには限界があることの調査。

提案手法

• 有限体上のベクトル空間の部分空間を用いたエントロピーに類似したベクトルの表現の構築。
• 一般位置にある点の概念を用いて、部分空間の次元がスパン演算において予測可能に振る舞うように保証すること。
• 不等式の妥当性をテストするための特定のベクトル空間表現（例：$w_A$, $w_B$, $w_i$）を定義すること。
• 背理法の適用：ある線形ランク不等式が構築されたベクトル$v$で成立しないと仮定し、その場合、利用可能な変数集合内のインデックス数を超える異なるインデックスを必要とすることを示すこと。
• ベクトル空間表現における共通情報の存在を活用して、相互情報量の項をモデル化すること。
• 新しい不等式の構築における基礎的制約として、イングルトン不等式およびその順列を用いること。

実験結果

リサーチクエスチョン

• RQ1 5つ以上の変数における線形ランク不等式のうち、シャノンおよびイングルトン不等式によって導かれないものがあるか？
• RQ2 5変数における有限かつ完全な線形ランク不等式の集合を構築できるか？
• RQ3 4つを超える各変数数に対して、新たな非自明な線形ランク不等式が出現するか？
• RQ4 共通情報の仮定に基づく方法は、すべての線形ランク不等式を導出するのに十分か？
• RQ5 ベクトル空間表現を用いた背理法によって、新たな不等式の存在を証明できるか？

主な発見

• この論文は、5変数における完全な24個の新しい線形ランク不等式を特定し、シャノンおよびイングルトン不等式と合わせて、5変数におけるすべての線形ランク不等式を生成することを示している。
• 各変数数$n \geq 5$に対して、$n$未満の変数における不等式の結果ではない線形ランク不等式が存在することを証明している。
• 著者らは、共通情報の仮定に基づく方法が、すべての線形ランク不等式を導出するのには不十分であることを示しており、この手法で導出可能なもの以外にも新たな不等式が存在することを示している。
• 証明技法は、特定の部分空間表現から得られるベクトル$v$を構築し、$v$で不等式が成立しない場合、利用可能な変数集合内のインデックス数を超える異なるインデックスを必要とすることを示すことで、背理法を用いている。
• この結果により、$n \geq 5$のとき、線形ランク不等式の錐がシャノンおよびイングルトン不等式によって生成される錐よりも厳密に大きいことが確認された。
• 本研究はキンザーの最近の結果（$n \geq 4$に対して新しい不等式の系列を特定）と一致しており、系列内の各新しい不等式が、より少ない変数における不等式から導出可能でないことを独立に確認している。