Bures--Kuratowski metrics and simplicial complexes for completely bounded maps
Abstract
Let be a unital -algebra and a Hilbert space. The cone of completely positive maps carries the Bures metric , closely related to the cb-norm. We introduce a family of Bures--Kuratowski (BK) metrics on that extend exactly on . The construction combines a Kuratowski embedding of the Bures cone, based at an anchor , with a regular-representation Hausdorff coordinate arising from universal regular models. Each BK metric admits an -wedge decomposition, splitting into the Bures cone and a non-CP component attached at . 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.
Cite
@article{arxiv.2604.04248,
title = {Bures--Kuratowski metrics and simplicial complexes for completely bounded maps},
author = {Remus Floricel and Sarah Plosker and Avner Sadikov},
journal= {arXiv preprint arXiv:2604.04248},
year = {2026}
}
Comments
4 figures