Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 52 2 d Solution 2026-10-14
Let denote the Lindbladian. Substituting and projecting with the Hilbert-Schmidt inner product givesFor the Quantum Hamiltonian term, cyclicity of the trace yieldsFor each Lindblad dissipator, the same cyclic rearrangement givesThese 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. AlsoThus 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 equationBecause and , its offset can also be writtenIt vanishes for unital dynamics, but need not vanish for a general dissipative evolution.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 50 2 b Solution Created 2026-10-03 Updated 2026-10-14
Write in the Generalized Bloch representation. Linearity of the Lindbladian gives . For the Hamiltonian term, cyclicity yieldsFor one Lindblad operator , the jump term becomes , and the two remaining terms giveThusEvery 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 formHere 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.
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 343 1 a Solution Created 2026-09-24 Updated 2026-09-25
The generator of every finite-dimensional, time-homogeneous Markovian quantum channel has Lindblad equation formHere . 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.