 Diagonal logarithm concavity bound

For a positive-definite Hermitian operator $A={\sum }_j{t}_j|u_j⟩⟨u_j|$ and a unit vector $v$, the weights $|⟨v|u_j⟩{|}^2$ form a probability distribution. Scalar logarithmic concavity bounds their average of $\log t_j$ by the logarithm of their average of $t_j$. Positive semidefinite operators follow by a limiting convention. Using the eigenbasis of a density operator $\rho$ gives $S(\rho \Vert \sigma )\ge D(r\Vert q)$, where $r$ is the spectrum of $\rho$ and $q$ the diagonal of $\sigma$ in that basis. This yields nonnegativity of quantum relative entropy without commutativity.