MathDB
Positive semi-definite matrices as exponents

Source: Miklos Schweitzer 2023, Problem 10

March 7, 2024
linear algebraMatrices

Problem Statement

Let n2n\geqslant2 be a natural number. Show that there is no real number cc{} for which exp(T+S2)cexp(T)+exp(S)2\exp\left(\frac{T+S}{2}\right)\leqslant c\cdot \frac{\exp(T)+\exp(S)}{2}is satisfied for any self-adjoint n×nn\times n complex matrices TT{} and SS{}. (If AA{} and BB{} are self-adjoint n×nn\times n matrices, ABA\leqslant B means that BAB-A is positive semi-definite.)