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!