@MISC{Ruskai08(a,b), author = {Mary Beth Ruskai}, title = {(A, B) ↦ → TrA p K † B 1−p K}, year = {2008}}
Lieb’s simple proof of concavity of