Generality of Lieb's Concavity Theorem

Abstract: We show that Lieb's concavity theorem holds more generally for any unitarily invariant matrix function $\phi:\mathbf{H}^n_+\rightarrow \mathbb{R}$ that is monotone and concave. Concretely, we prove the joint concavity of the function $(A,B) \mapsto\phi\big[(B^\frac{qs}{2}K^*A^{ps}KB^\frac{qs}{2})^{\frac{1}{s}}\big] $ on $\mathbf{H}+^m\times\mathbf{H}+^n$, for any $K\in \mathbb{C}^{m\times n},s\in(0,1],p,q\in[0,1], p+q\leq 1$.