Superoperator

From Wikipedia, the free encyclopedia

A superoperator is a linear operator F which is a completely positive map, and does not increase the the trace;

tr F (A) \leq tr A.

They are used extensively in the field of quantum computing, especially quantum programming, as they characterise mappings between density matrices.