Superoperator

In physics, a superoperator is a linear operator acting on a vector space of linear operators.
Sometimes the term refers more specially to a completely positive map which preserves or does not increase the trace of its argument. This specialized meaning is used extensively in the field of quantum computing, especially quantum programming, as they characterise mappings between density matrices.
The use of the super- prefix here is in no way related to its other use in mathematical physics. That is to say superoperators have no connection to supersymmetry and superalgebra which are extensions of the usual mathematical concepts defined by extending the ring of numbers to include Grassmann numbers. Since superoperators are themselves operators the use of the super- prefix is used to distinguish them from the operators upon which they act.
Left/Right Multiplication.
Defining the left and right multiplication superoperators by formula_1 and formula_2 respectively one can express the commutator as
formula_3 
Next we vectorize the matrix formula_4 which is the mapping
formula_5
The matrix representation of formula_6 is then calculated by using the same mapping
formula_7
indicating that formula_8. Similarly one can show that formula_9. These representations allows us to calculate things like eigenvalues associated to superoperators. These eigenvalues are particularly useful in the field of open quantum systems, where the real parts of the Lindblad superoperator's eigenvalues will indicate whether a quantum system will relax or not.
Example von Neumann Equation.
In quantum mechanics the Schrödinger Equation, formula_10 expresses the time evolution of the state vector formula_11 by the action of the Hamiltonian formula_12 which is an operator mapping state vectors to state vectors.
In the more general formulation of John von Neumann, statistical states and ensembles are expressed by density operators rather than state vectors. 
In this context the time evolution of the density operator is expressed via the von Neumann equation in which density operator is acted upon by a superoperator formula_13 mapping operators to operators. It is defined by taking the commutator with respect to the Hamiltonian operator:
formula_14
where
formula_15
As commutator brackets are used extensively in QM this explicit superoperator presentation of the Hamiltonian's action is typically omitted.
Example Derivatives of Functions on the Space of Operators.
When considering an operator valued function of operators formula_16 as for example when we define the quantum mechanical Hamiltonian of a particle as a function of the position and momentum operators, we may (for whatever reason) define an “Operator Derivative” formula_17
as a superoperator mapping an operator to an operator.
For example, if formula_18 then its operator derivative is the superoperator defined by:
formula_19
This “operator derivative” is simply the Jacobian matrix of the function (of operators) where one simply treats the operator input and output as vectors and expands the space of operators in some basis. The Jacobian matrix is then an operator (at one higher level of abstraction) acting on that vector space (of operators).
See also.
Lindblad superoperator