First we get familiar with the tropical semiring, polynomials over tropical semiring and tropical matrices. The main theme is the symmetric Barvinok rank, one of the many possible ranks of tropical matrices. We examine matrices with rank $1$ and those with infinite rank and look at the transformation of matrices that preserve rank. We also find the upper bound for the symmetric Barvinok rank, noting that the rank can exceed the size of the matrix. When dealing with rank, we also use graph theory to improve the upper limit a bit. Graph theory is also used to consider an example of a matrix with a rank greater than its size.
|