1
$\begingroup$

I have to show that the Hilbert-Schmidt inner product is an inner product for complex and hermitian $d\times d$ Matrices $$(A,B)=Tr(A^\dagger B)$$ I checked the wolfram page for the definition of an inner product The first two and the last property are relatively easy to show, but I am stuck with the third property: $$(A,B)=(B,A)^*$$ For hermitian matrices I tried to show it in the following way: $$(A,B)^*=(Tr(A^\dagger B))^*=Tr((A^\dagger B)^*)=Tr((A^\dagger)^* B^*))$$

$\endgroup$
1
  • 1
    $\begingroup$ Note that for numbers, complex conjugation is the same as conjugate transpose so $(A,B)^* = tr(A^\dagger B)^* = tr(A^\dagger B)^\dagger = tr ( [ A^\dagger B ]^\dagger ) = tr ( B^\dagger A) = (B,A)$. $\endgroup$
    – Prahar
    Commented Oct 16, 2021 at 11:02

1 Answer 1

4
$\begingroup$

Maybe use the fact that $$\operatorname{Tr}(A)=\operatorname{Tr}(A^T)$$ This would lead, from your last step, to

$$\operatorname{Tr}((A^\dagger)^*B^*) = \operatorname{Tr}(A^TB^*) = \operatorname{Tr}((A^TB^*)^T) = \operatorname{Tr}((B^*)^TA) = \operatorname{Tr}(B^\dagger A) = (B,A)$$

which is the result you were searching for.

$\endgroup$
1
  • 1
    $\begingroup$ Yeah that makes sense. $\endgroup$
    – eeqesri
    Commented Oct 16, 2021 at 7:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.