 Primitive quantum channel

A finite-dimensional quantum channel is primitive when some power maps every nonzero positive operator to a positive-definite operator. Equivalently, eigenvalue one is simple and no other eigenvalue lies on the unit circle.