{"id":"arxiv/2610.39598","url":"https://arxiv.org/abs/2610.39598","tags":["math.FA","math-ph","quant-ph"],"score":0,"title":"Sharp Tilting Inequalities","domain":"math.FA","source":"arxiv","authors":["Hao-Chung Cheng","Po-Chieh Liu"],"reviews":0,"subject":"math.FA","summary":"For positive semidefinite matrices $A,B$ and $1/2\\leα\\le1$, we establish $\\operatorname{Tr}\\!\\left[A\\,D\\log(A^α+B^α)(B^α)\\right] \\le s^s(1-s)^{1-s}\\operatorname{Tr}[A^αB^{1-α}]$, where $s=(1-α)/α$, with the optimal coefficient. The proof uses a superoperator representation of the directional derivative of the logarithm and an Araki-type estimate for the derivative of a fractional power. Both this inequality and its symmetric-quotient counterpart extend to positive trace-class $A$ and positive, possibly unbounded, self-adjoint $B$ on a separable Hilbert space.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}