In mathematics, a matroid polytope, also called a matroid basis polytope (or basis matroid polytope) to distinguish it from other polytopes derived from a matroid, is a polytope constructed via the bases of a matroid. Given a matroid M {\displaystyle M} , the matroid polytope P M {\displaystyle P_{M}} is the convex hull of the indicator vectors of the bases of M {\displaystyle M} .
Definition Let M {\displaystyle M} be a matroid on n {\displaystyle n} elements. Given a basis B ⊆ { 1 , … , n } {\displaystyle B\subseteq \{1,\dots ,n\}} of M {\displaystyle M} , the indicator vector of B {\displaystyle B} is
e B := ∑ i ∈ B e i , {\displaystyle \mathbf {e} _{B}:=\sum _{i\in B}\mathbf {e} _{i},}
where e i {\displaystyle \mathbf {e} _{i}} is the standard i {\displaystyle i} th unit vector in R n {\displaystyle \mathbb {R} ^{n}} . The matroid polytope P M {\displaystyle P_{M}} is the convex hull of the set
{ e B ∣ B is a basis of M } ⊆ R n . {\displaystyle \{\mathbf {e} _{B}\mid B{\text{ is a basis of }}M\}\subseteq \mathbb {R} ^{n}.}
Examples
Let M {\displaystyle M} be the rank 2 matroid on 4 elements with bases
B ( M ) = { { 1 , 2 } , { 1 , 3 } , { 1 , 4 } , { 2 , 3 } , { 2 , 4 } } . {\displaystyle {\mathcal {B}}(M)=\{\{1,2\},\{1,3\},\{1,4\},\{2,3\},\{2,4\}\}.}
That is, all 2-element subsets of { 1 , 2 , 3 , 4 } {\displaystyle \{1,2,3,4\}} except { 3 , 4 } {\displaystyle \{3,4\}} . The corresponding indicator vectors of B ( M ) {\displaystyle {\mathcal {B}}(M)} are
{ { 1 , 1 , 0 , 0 } , { 1 , 0 , 1 , 0 } , { 1 , 0 , 0 , 1 } , { 0 , 1 , 1 , 0 } , { 0 , 1 , 0 , 1 } } . {\displaystyle \{\{1,1,0,0\},\{1,0,1,0\},\{1,0,0,1\},\{0,1,1,0\},\{0,1,0,1\}\}.}
The matroid polytope of M {\displaystyle M} is
P M = conv { { 1 , 1 , 0 , 0 } , { 1 , 0 , 1 , 0 } , { 1 , 0 , 0 , 1 } , { 0 , 1 , 1 , 0 } , { 0 , 1 , 0 , 1 } } . {\displaystyle P_{M}={\text{conv}}\{\{1,1,0,0\},\{1,0,1,0\},\{1,0,0,1\},\{0,1,1,0\},\{0,1,0,1\}\}.}
… excerpt ends here. Continue reading the full article.


