{"id":"arxiv/2609.00554","url":"https://arxiv.org/abs/2609.00554","tags":["math.OA","math-ph","math.FA"],"score":0,"title":"Operator-valued maximal $f$-divergences for completely positive maps","domain":"math.OA","source":"arxiv","authors":["Rui Okayasu"],"reviews":0,"subject":"math.OA","summary":"We introduce an operator-valued maximal f-divergence for completely positive (CP) maps between von Neumann algebras, associated with an operator convex function f on (0,+infinity). The construction takes values in the extended lower-semibounded self-adjoint part of the codomain von Neumann algebra. We prove independence of the common CP upper bound used in its computation, joint subadditivity, monotonicity under unital precomposition and normal postcomposition, a martingale convergence theorem for normal CP maps, and joint lower semicontinuity in the point-sigma-weak topology. For normal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}