Let denote the Lindbladian. Substituting and projecting with the Hilbert-Schmidt inner product gives
For the Quantum Hamiltonian term, cyclicity of the trace yields
For each Lindblad dissipator, the same cyclic rearrangement gives
These are the required coefficient matrices, so . They are real because both generators map Hermitian matrices to Hermitian matrices, whose coordinates are real by (a).
The trace of a commutator vanishes. Also
Thus the last row of is zero and . It is trace preservation, not preservation of the purity of a density operator, that produces this constant coordinate.
Write and . Since , the remaining coordinates obey the Affine Bloch equation
Because and , its offset can also be written
It vanishes for unital dynamics, but need not vanish for a general dissipative evolution.
Write in the Generalized Bloch representation. Linearity of the Lindbladian gives . For the Hamiltonian term, cyclicity yields
For one Lindblad operator , the jump term becomes , and the two remaining terms give
Thus
Every coefficient is real because is Hermitian. In addition, , although a dissipative need not be symmetric.
The Hamiltonian commutator has zero trace, and each dissipator obeys , so . Consequently for normalized density operators. Orthogonality to makes every other traceless. Define . With , trace preservation gives the block form
Here the indices of range from to . Since , the offset can also be written . This is the Affine Bloch equation; its offset is zero for unital dynamics, which preserve the identity.
The generator of every finite-dimensional, time-homogeneous Markovian quantum channel has Lindblad equation form
Here . The Lindblad operators may be arbitrary bounded operators; positivity of their rates is already incorporated by rescaling them. They need not be Hermitian, traceless, normalized, or mutually orthogonal. Their description is nonunique: unitary mixing of the , and shifts by scalar multiples of the identity accompanied by a compensating change of , leave the same Lindbladian.