Linear rank inequalities on five or more variables
arXiv:0910.0284
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).
Substantial improvements, including a stronger form of the second general construction of inequalities, many more six-variable inequalities, and further description of the computing methodology
References in corpus (1)
Cited by in corpus (14)
- The Holographic Entropy Cone
- Obstructions to determinantal representability
- The Quantum Entropy Cone of Stabiliser States
- Index Coding Capacity: How far can one go with only Shannon Inequalities?
- Characteristic-Dependent Linear Rank Inequalities with Applications to Network Coding
- Integrity Constraints Revisited: From Exact to Approximate Implication
- On Multi-source Networks: Enumeration, Rate Region Computation, and Hierarchy
- Gaussoids are two-antecedental approximations of Gaussian conditional independence structures
- How to Find New Characteristic-Dependent Linear Rank Inequalities using Binary Matrices as a Guide
- Constraints on Multipartite Quantum Entropies
- Characterizing Linear Memory-Rate Tradeoff of Coded Caching: The Case
- Characteristic-Dependent Linear Rank Inequalities via Complementary Vector Spaces
- On the Ingleton-Violations in Finite Groups
- Common Information, Matroid Representation, and Secret Sharing for Matroid Ports