pith. sign in

arxiv: 2604.04248 · v1 · submitted 2026-04-05 · 🧮 math.OA · math.AT· math.FA· math.MG

Bures--Kuratowski metrics and simplicial complexes for completely bounded maps

classification 🧮 math.OA math.ATmath.FAmath.MG
keywords mixedburesconemetricmetricsarisingbetabures--kuratowski
0
0 comments X
read the original abstract

Let $A$ be a unital $C^*$-algebra and $H$ a Hilbert space. The cone $\CP(A,B(H))$ of completely positive maps carries the Bures metric $\beta$, closely related to the cb-norm. We introduce a family of Bures--Kuratowski (BK) metrics on $\CB(A,B(H))$ that extend $\beta$ exactly on $\CP(A,B(H))$. The construction combines a Kuratowski embedding of the Bures cone, based at an anchor $\theta\in\CP(A,B(H))$, with a regular-representation Hausdorff coordinate arising from universal regular models. Each BK metric admits an $\ell^p$-wedge decomposition, splitting $\CB(A,B(H))$ into the Bures cone and a non-CP component attached at $\theta$. We then study Vietoris--Rips and \v{C}ech complexes of BK metric spaces. The wedge formula yields explicit criteria for mixed simplices, a join-type description of the mixed Rips complex, and ball-intersection criteria for mixed \v{C}ech simplices. For finite point clouds, this makes the mixed simplicial geometry computable from the two component metrics and reveals new homological features arising from the interaction between the CP and non-CP sectors.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.