Positive matrix semigroup
ID: positive-matrix-semigroup
A matrix exponential defines a positive matrix semigroup if maps nonnegative vectors to nonnegative vectors for all . Here the inequality means entrywise nonnegativity, with zero entries allowed. In finite dimensions this holds exactly when the real matrix has nonnegative off-diagonal entries: if , expand ; conversely, the off-diagonal entries of force for . Zero column sums additionally preserve under .
New to topics? Read the docs here!