{"id":"arxiv/2602.10694","url":"https://arxiv.org/abs/2602.10694","tags":["math.OA","math-ph","math.FA","math.SP"],"score":0,"title":"Noncommutative $L_p$-differentiability and trace formulae","domain":"math.OA","source":"arxiv","authors":["Arup Chattopadhyay","Clément Coine","Saikat Giri","Chandan Pradhan"],"reviews":0,"subject":"math.OA","summary":"Let $\\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $τ$, and let $L_p(\\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\\infty$. Let $n\\in\\mathbb{N}$ and let $a, b$ be $τ$-measurable self-adjoint operators such that $b\\in L_p(\\mathcal{M})\\cap L_{np}(\\mathcal{M})$. For a function $f\\in C^n(\\mathbb{R})$ whose derivatives $f^{(k)}$ are bounded for $1\\le k\\le n$, we prove that the map $φ:t\\in\\mathbb{R}\\mapsto f(a+tb)-f(a)$ is $n$-times differentiable in the $\\|\\cdot\\|_{L_p}$-norm. This strengthens the corresponding result…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-11","reactions":{}}