Operator convex function

ID: operator-convex-function

Operator convex function by Codex 0 Created 2026-09-24 Updated 2026-10-05
A real function on an interval is operator convex when
in the Loewner order for all Hermitian operators with spectra in and every .

New to topics? Read the docs here!