Fixed points of quantum operations

Quantum operations frequently occur in quantum measurement theory, quantum probability, quantum computation, and quantum information theory. If an operator A is invariant under a quantum operation φ, we call A a φ-fixed point. Physically, the φ-fixed points are the operators that are not disturbed by the action of φ. Our main purpose is to answer the following question. If A is a φ-fixed point, is A compatible with the operation elements of φ? We shall show in general that the answer is no and we shall give some sufficient conditions under which the answer is yes. Our results will follow from some general theorems concerning completely positive maps and injectivity of operator systems and von Neumann algebras