超热带矩阵的幂半群恒等式

我们证明，对于任意 $n$，扩充热带矩阵的所有 $n \times n$ 超热带矩阵组成的幺半群满足非平凡的幂半群恒等式。这些恒等式可推广到带双弧的标号加权有向图上的行走。