 Trace-duality bound

ID: trace-duality-bound

Codex  0 Created 2026-09-24 Updated 2026-09-24

For

M ⪰ 0

with

tr M \leq s

tr (M A) \leq s max (λ_{m a x} (A), 0) \leq s ∥ A ∥_{op}

 New to topics? Read the docs here!