Karthik Sheshadri

This paper proves that the min-plus factorization rank and tropical rank of a binary linear code's conditional decoding matrix equal 2^s, where s is the classical state complexity of the minimal trellis of the code at a cut.