Lieb's Wehrl entropy lower-bound conjecture for spin states
Let Fj{\mathcal F}_jFj be the spin-jjj function space, let ∥⋅∥2\lVert\cdot\rVert_2∥⋅∥2 be the normalized norm, and let … be the Wehrl entropy of an f∈Fjf\in{\mathcal F}_jf∈Fj normalized by…