ResPubID23746, positive linear maps, operator convex function, self-adjoint operator, Choi–Davis–Jensen inequality, spectrum, refinement