arXiv++ Combinatorics

We prove that, for any $n$, the monoid of all $n \times n$ supertropical matrices extending tropical matrices satisfies nontrivial semigroup identities. These identities are carried over to walks on labeled-weighted digraphs with double arcs.