In physics, a superoperator is a linear operator acting on a vector space of linear operators.
Contents
Sometimes the term refers more specially to a completely positive map which does not increase or preserve 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.
Example von Neumann Equation
In quantum mechanics the Schrödinger Equation,
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
where
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
For example if
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).