Maximum Entropy Models for Quantum Systems

We show that for a finite von Neumann algebra, the states that maximise Segal’s entropy with a given energy level are Gibbs states. This is a counterpart of the classical result for the algebra of all bounded linear operators on a Hilbert space and von Neumann entropy.