{"id":"arxiv/2602.11922","url":"https://arxiv.org/abs/2602.11922","tags":["math.OA","math.FA"],"score":0,"title":"Trace arithmetic--$κ_p$ inequality","domain":"math.OA","source":"arxiv","authors":["Teng Zhang"],"reviews":0,"subject":"math.OA","summary":"Let $\\mathcal{A}$ be a unital $C^\\ast$-algebra equipped with a faithful tracial positive linear functional $τ$. Denote by $\\mathcal{A}_+$ its positive cone. For $p>0$ and $A,B\\in\\mathcal{A}_+$, we consider the operations $$ Aκ_p B := \\bigl(A^{p/4} B^{p/2} A^{p/4}\\bigr)^{1/p}, \\qquad A\\nabla B := \\frac{A+B}{2}. $$ We prove that, for all $p>0$ and all $A,B\\in\\mathcal{A}_+$, $$ τ(Aκ_p B)\\le \\sqrt{τ(A)τ(B)}\\le τ(A\\nabla B), $$ thereby answering \\cite[Problem~1]{KM24}, posed by Á.~Komálovics and L.~Molnár, in the affirmative. We also record a unitarily invariant norm analogue of the key estimate…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-12","reactions":{}}