Unitary variational formula for the trace norm
ID: unitary-variational-formula-for-the-trace-norm
For a finite square matrix , maximize over unitary operators. Write its singular value decomposition as . Then , since every diagonal entry of a unitary has modulus at most one. Choosing attains equality, proving the formula for the trace norm.
New to topics? Read the docs here!