Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free.

I am studying quantum statistical mechanics from the mathematician's perspective. I don't quite understand what the duality formula for entropy is really saying (or why there is a "duality").

If $A$ is an $n\times n$ Hermitian (self-adjoint, diagonalizable) matrix, then $$S(A)=\sup\bigl[{\operatorname{Tr}(AH) - \ln\bigl(\operatorname{Tr}[E^H]\bigr) : H \in H_n}\bigr]$$ where $H_n$ is the set of Hermitean matrices.

What does this even mean?

share|improve this question

2 Answers 2

up vote 3 down vote accepted

The entropy of the (density) matrix $A$, usually denoted $\rho$, is evaluated as the supremum (i.e. maximum that may never be realized, just arbitrarily closely approached) of the trace of the product of matrices $AH$ minus the natural logarithm of $\exp(H)$, the exponential of $H$. The supremum is taken over all Hermitean matrices $H$ of the same size as $A$.

In practice, when you try to maximize this expression, you will find out that the best choice is $$ H = \ln(A) + C\cdot {\bf 1} $$ In words, the ideal matrix $H$ that gives you the supremum is the logarithm of the matrix $A$ (there should be a minus sign somewhere to get the right conventions for entropy but I will overlook this detail to agree with the literature below). The choice of $C$ doesn't matter because the piece proportional to the unit matrix gets subtracted.

See a proof of this formula e.g. as theorem 2.13 in


which also provides you with some background, as much as you need.

share|improve this answer

This is just a comment to point out that it is called a duality because (minus) the entropy formula that OP mentions is the (generalized) Legendre transform$^1$ of the convex function $$H~\mapsto~\ln {\rm Tr}(e^H).$$ If one performs the Legendre transformation, it is possible to recover (minus) the von Neumann entropy

$$ -S(A)~=~\left\{\begin{array}{ccl} {\rm Tr}(A\ln A)& &\text{if} ~ A ~\text{is a (semi)positive operator with}~ {\rm Tr}A=1, \\ \\ \infty && \text{otherwise}. \end{array} \right. $$


$^1$ Also known as the convex conjugate.

share|improve this answer
Oh, I see, this is called "dual" because of the Legendre duality, thanks, +1. –  Luboš Motl Apr 11 '12 at 8:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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