The symmetric logarithmic derivative is an important quantity in quantum metrology, and is related to the quantum Fisher information.
Definition Let ρ {\displaystyle \rho } and A {\displaystyle A} be two operators, where ρ {\displaystyle \rho } is Hermitian and positive semi-definite. In most applications, ρ {\displaystyle \rho } and A {\displaystyle A} fulfill further properties, that also A {\displaystyle A} is Hermitian and ρ {\displaystyle \rho } is a density matrix (which is also trace-normalized), but these are not required for the definition. The symmetric logarithmic derivative L ϱ ( A ) {\displaystyle L_{\varrho }(A)} is defined implicitly by the equation
i [ ϱ , A ] = 1 2 { ϱ , L ϱ ( A ) } {\displaystyle i[\varrho ,A]={\frac {1}{2}}\{\varrho ,L_{\varrho }(A)\}}
where [ X , Y ] = X Y − Y X {\displaystyle [X,Y]=XY-YX} is the commutator and { X , Y } = X Y + Y X {\displaystyle \{X,Y\}=XY+YX} is the anticommutator. Explicitly, it is given by
L ϱ ( A ) = 2 i ∑ k , l λ k − λ l λ k + λ l ⟨ k | A | l ⟩ | k ⟩ ⟨ l | {\displaystyle L_{\varrho }(A)=2i\sum _{k,l}{\frac {\lambda _{k}-\lambda _{l}}{\lambda _{k}+\lambda _{l}}}\langle k\vert A\vert l\rangle \vert k\rangle \langle l\vert }
where λ k {\displaystyle \lambda _{k}} and | k ⟩ {\displaystyle \vert k\rangle } are the eigenvalues and eigenstates of ϱ {\displaystyle \varrho } , i.e. ϱ | k ⟩ = λ k | k ⟩ {\displaystyle \varrho \vert k\rangle =\lambda _{k}\vert k\rangle } and ϱ = ∑ k λ k | k ⟩ ⟨ k | {\displaystyle \varrho =\sum _{k}\lambda _{k}\vert k\rangle \langle k\vert } . Formally, the map from operator A {\displaystyle A} to operator L ϱ ( A ) {\displaystyle L_{\varrho }(A)} is a (linear) superoperator.
Properties The symmetric logarithmic derivative is linear in A {\displaystyle A} :
L ϱ ( μ A ) = μ L ϱ ( A ) {\displaystyle L_{\varrho }(\mu A)=\mu L_{\varrho }(A)}
L ϱ ( A + B ) = L ϱ ( A ) + L ϱ ( B ) {\displaystyle L_{\varrho }(A+B)=L_{\varrho }(A)+L_{\varrho }(B)}
The symmetric logarithmic derivative is Hermitian if its argument A {\displaystyle A} is Hermitian:
A = A † ⇒ [ L ϱ ( A ) ] † = L ϱ ( A ) {\displaystyle A=A^{\dagger }\Rightarrow [L_{\varrho }(A)]^{\dagger }=L_{\varrho }(A)}
The derivative of the expression exp ( − i θ A ) ϱ exp ( + i θ A ) {\displaystyle \exp(-i\theta A)\varrho \exp(+i\theta A)} w.r.t. θ {\displaystyle \theta } at θ = 0 {\displaystyle \theta =0} reads
… excerpt ends here. Continue reading the full article.
