On Lieb's conjecture for the Wehrl entropy of Bloch coherent states

Lieb's conjecture for the Wehrl entropy of Bloch coherent states is proved for spin 1 and spin 3/2. Using a geometric representation we solve the entropy integrals for states of arbitrary spin and evaluate them explicitly in the cases of spin 1, 3/2, and 2. We also give a group theoretic proof for all spin of a related inequality.Comment: 19 pages, LaTeX, amsfont