A How to derive the quantum detailed balance condition?

  • A
  • Thread starter Thread starter lsdragon
  • Start date Start date
  • Tags Tags
    Hilbert space
Click For Summary
The discussion centers on deriving the quantum detailed balance condition for Markov open quantum systems. It establishes that a system satisfies the detailed balance principle if the generator L in the Heisenberg picture is a normal operator in the Hilbert space of linear operators. The relationship between the adjoint operator L and the Liouvillian superoperator is highlighted, showing how they relate to the evolution of density matrices and observables. The author seeks clarification on transitioning from the classical detailed balance condition to the quantum version, specifically regarding the normality of L. This inquiry emphasizes the need for a deeper understanding of the mathematical foundations connecting classical and quantum detailed balance principles.
lsdragon
Messages
1
Reaction score
2
TL;DR
I want some help to get the definition of quantum detailed balance condition from analogy of classical detailed balance condition
In the "On The detailed balance conditions for non-Hamiltonian systems", I learned that for a Markov open quantum system to satisfying the master equation with the Liouvillian superoperators, the detailed balance condition will be

> Definition 2: The open quantum Markovian system (##dim(\mathcal{H}) < \infty##) obeys the detailed balance principle if the generator ##L## in Heisenberg picture is a normal operator in Hilbert space ##\mathcal{B}_{\rho_0}(\mathcal{H})## (see Definition 1).

>Definition 1: ##\mathcal{B}_{\rho_0}(\mathcal{H})## denotes the Hilbert space of all linear operators on the finite-dimensional Hilbert space ##\mathcal{H}## with the scalar product defined by the formula
$$\langle A, B\rangle = Tr(A^\dagger B \rho_0), A,B \in \mathcal{B}_{\rho_0}(\mathcal{H})$$
where ##\rho_0## is a fixed state (density matrix) and ## \rho_0 > 0##.

The ##L## is the adjoint operator, defined with respect to definition 1, of the Liouvillian superoperator ##\mathcal{L}##, such that
$$
\frac{d \rho}{d t} = \mathcal{L} \rho \\
\frac{d A}{d t} = L A, A\in \mathcal{B}_{\rho_0}(\mathcal{H}).
$$

The author started from the classical detailed balance condition ##p_{ij}\pi_j = p_{ji}\pi_i## and finally get to definition 2.

For me, I will write the quantum analogy of detailed balance as
$$
\langle A,L(B) \rangle = \langle B, L(A)\rangle .
$$
I can not get the normality of ##L## from the above definition.
Then, my question is that how can we get to definition 2 starting from the classical version of detailed balance?
 
Last edited by a moderator:
For the quantum state ##|l,m\rangle= |2,0\rangle## the z-component of angular momentum is zero and ##|L^2|=6 \hbar^2##. According to uncertainty it is impossible to determine the values of ##L_x, L_y, L_z## simultaneously. However, we know that ##L_x## and ## L_y##, like ##L_z##, get the values ##(-2,-1,0,1,2) \hbar##. In other words, for the state ##|2,0\rangle## we have ##\vec{L}=(L_x, L_y,0)## with ##L_x## and ## L_y## one of the values ##(-2,-1,0,1,2) \hbar##. But none of these...