Trace-duality bound
= Trace-duality bound
For $M\succeq0$ with $\operatorname{tr}M\leq s$, $\operatorname{tr}(MA)\leq s\max(\lambda_{\max}(A),0)\leq s\lVert A\rVert_{\rm op}$.
= Trace-duality bound
For $M\succeq0$ with $\operatorname{tr}M\leq s$, $\operatorname{tr}(MA)\leq s\max(\lambda_{\max}(A),0)\leq s\lVert A\rVert_{\rm op}$.