[论文解读] 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

一句话总结

本文通过证明对于五个或更多变量，线性秩不等式超越了香农和英格尔顿不等式，解决了信息论中的一个开放问题。它提出了24个全新的不等式，这些不等式与香农和英格尔顿不等式共同生成了五个变量的所有线性秩不等式，并表明在四个变量以上时，存在新的、非平凡的不等式。

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).

研究动机与目标

• 确定五个或更多变量的线性秩不等式是否超越已知的香农和英格尔顿不等式。
• 为五个变量构建一个完整且有限的线性秩不等式集合。
• 证明在四个变量以上时，存在新的、非平凡的线性秩不等式。
• 研究共同信息法在推导所有线性秩不等式方面的局限性。

提出的方法

• 使用有限域上的向量空间的子空间来构建类似熵的向量表示。
• 利用一般位置的点的概念，以确保子空间维数在张成运算下表现可预测。
• 为关键熵向量（例如 $w_A$、$w_B$、$w_i$）定义特定的向量空间表示，以检验不等式的有效性。
• 应用反证法：假设某个线性秩不等式在构造的向量 $v$ 上不成立，进而证明这将需要比变量集中可用的索引更多的不同索引，从而导致矛盾。
• 利用向量空间表示中共同信息的存在性来建模互信息项。
• 将英格尔顿不等式及其排列作为构造新不等式的基线约束。

实验结果

研究问题

• RQ1 是否存在五个或更多变量的线性秩不等式，其不能由香农和英格尔顿不等式推导出？
• RQ2 能否为五个变量构造一个有限且完整的线性秩不等式集合？
• RQ3 在四个变量以上时，是否会出现新的、非平凡的线性秩不等式？
• RQ4 假设共同信息的方法是否足以推导出所有线性秩不等式？
• RQ5 能否通过向量空间表示的反证法证明新不等式的存在性？

主要发现

• 本文识别出五个变量的24个全新线性秩不等式，这些不等式与香农和英格尔顿不等式共同生成了五个变量的所有线性秩不等式。
• 证明了对于每个变量数 $n \geq 5$，均存在不能由少于 $n$ 个变量的不等式推导出的线性秩不等式。
• 作者表明，假设共同信息的方法不足以推导出所有线性秩不等式，因为存在超越该方法可推导出的不等式。
• 证明技术依赖于从特定子空间表示构造向量 $v$，并证明若某个不等式在 $v$ 上不成立，则需要的独立索引数将超过变量集中可用的索引数，从而导致矛盾。
• 结果确认，当 $n \geq 5$ 时，线性秩不等式锥严格大于由香农和英格尔顿不等式生成的锥。
• 该工作与金泽近期关于 $n \geq 4$ 时一系列新不等式的结果一致，并独立证实了该序列中的每个新不等式均不能由少于变量数的不等式推导出。