Linear rank inequalities on five or more variables

Ranks of subspaces of vector spaces satisfy all linear inequ alities 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 ineq ualities 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 variabl es; we prove that there are essentially new inequalities at each number of variables beyond four (a result also proved recently by Kinser).

[1]  Terence Chan,et al.  Group characterizable entropy functions , 2007, 2007 IEEE International Symposium on Information Theory.

[2]  Alex J. Grant,et al.  The Minimal Set of Ingleton Inequalities , 2011, IEEE Transactions on Information Theory.

[3]  R. Rado Note on Independence Functions , 1957 .

[4]  Ryan Kinser,et al.  New inequalities for subspace arrangements , 2009, J. Comb. Theory, Ser. A.

[5]  M. Lunelli,et al.  Representation of matroids , 2002, math/0202294.

[6]  Nikolai K. Vereshchagin,et al.  Inequalities for Shannon Entropy and Kolmogorov Complexity , 1997, J. Comput. Syst. Sci..

[7]  Raymond W. Yeung,et al.  A First Course in Information Theory , 2002 .

[8]  Randall Dougherty,et al.  Networks, Matroids, and Non-Shannon Information Inequalities , 2007, IEEE Transactions on Information Theory.

[9]  Randall Dougherty,et al.  Insufficiency of linear coding in network information flow , 2005, IEEE Transactions on Information Theory.

[10]  Dillon Mayhew,et al.  On excluded minors for real-representability , 2009, J. Comb. Theory, Ser. B.

[11]  Alex J. Grant,et al.  Existence of new inequalities for representable polymatroids , 2009, 2010 IEEE International Symposium on Information Theory.

[12]  Konstantin Makarychev,et al.  Conditionally independent random variables , 2005, ArXiv.