arxiv: 2604.02117 · v2 · submitted 2026-04-02 · 🧮 math.OA · math.FA

Recognition: no theorem link

The Bures metric and the quantum metric on the density space of a C*-algebra: the non-unital case

Adam M. Yassine, Gregory Wickham, Karina Behera, Katrine von Bornemann Hjelmborg, Konrad Aguilar, Nicole Wu, Tron Omland

Pith reviewed 2026-05-13 20:36 UTC · model grok-4.3

classification 🧮 math.OA math.FA

keywords C*-algebrasBures metricdensity spacequantum metricnon-unital algebrascompactnessHeine-Borel theoremquantum Lipschitz triples

0 comments

The pith

For any C*-algebra with a faithful trace, the density space is compact in the Bures metric if and only if the algebra is finite-dimensional.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends the density space and Bures metric from unital to non-unital C*-algebras that carry a faithful trace. It shows the Bures distance is a true metric whose induced topology is strictly weaker than the one coming from the C*-norm. A Heine-Borel-style result then follows: the space of trace-one positive elements is compact in this metric precisely when the underlying algebra is finite-dimensional. The same compactness distinction appears for a new quantum metric built from quantum Lipschitz triples, which are introduced as a subclass of quantum locally compact metric spaces. Concrete sequences in both commutative and noncommutative examples illustrate the non-compactness in the infinite-dimensional setting.

Core claim

For any C*-algebra equipped with a faithful trace, the density space equipped with the Bures metric topology is not compact if and only if the C*-algebra is infinite dimensional. The Bures metric is proved to be a metric, its topology is weaker than the C*-norm topology, and the same comparison holds for the quantum metric topology obtained from quantum Lipschitz triples.

What carries the argument

The density space consisting of positive elements of trace one, equipped with the Bures metric defined via the trace inner product on the C*-algebra.

If this is right

The Bures metric topology on the density space is weaker than the topology induced by the C*-norm.
Finite-dimensional C*-algebras yield compact density spaces under the Bures metric.
Infinite-dimensional C*-algebras, both commutative and noncommutative, admit sequences in the density space with no convergent subsequence in the Bures metric.
The quantum metric arising from quantum Lipschitz triples is likewise weaker than the C*-norm topology on the density space.
In examples such as matrix-valued functions on the quantized interval the quantum metric is not uniformly equivalent to either the Bures metric or the C*-norm metric.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The compactness distinction may serve as a new invariant to distinguish finite- from infinite-dimensional C*-algebras.
Quantum Lipschitz triples could be applied to other noncommutative spaces to produce analogous metric topologies on their density spaces.
The failure of uniform equivalence among the three metrics in concrete examples suggests that different choices of metric on the density space may detect different geometric features of the underlying algebra.
Extending the construction to traces that are not faithful would require new definitions but could test whether the compactness result survives without faithfulness.

Load-bearing premise

The C*-algebra must admit a faithful trace so that the density space and the Bures metric can be defined using the trace inner product.

What would settle it

A concrete finite-dimensional C*-algebra with faithful trace whose density space fails to be compact in the Bures metric, or an infinite-dimensional example in which the same space is compact.

read the original abstract

Building off work of Farenick and Rahaman, we extend the definition of the density space and the Bures metric to the setting of non-unital C*-algebras equipped with a faithful trace and prove that the Bures metric is also a metric in this case and show that its topology is weaker than the topology induced by the C*-norm. Furthermore, we prove a Heine-Borel type theorem for C*-algebras and the density space. In particular, we prove that for any C*-algebra (unital or non-unital) equipped with a faithful trace, the density space equipped with the Bures metric topology is not compact if and only if the C*-algebra is infinite dimensional. We also exhibit several examples of sequences that have no converging sequence in the unital and non-unital case including both commutative and noncommutative C*-algebras. Next, building off work from some of the authors, we extend the definition of the quantum metric on the density space to the non-unital C*-algebra case by introducing the notion of a quantum Lipschitz triple, which form a subclass of quantum locally compact metric spaces of Latr\'emoli\`ere that utilize Rieffel's notion of a quantum metric (we also introduce new classes of quantum locally compact metric spaces that include certain noncommutative homogeneous C*-algebras). Furthermore, we prove that this quantum metric topology is weaker than the topology of the one induced by the C*-norm and finish the article with an analysis of matrix-valued functions on the quantized interval, which provides commutative and noncommuataive examples where the quantum metric topology on the density space is not compact and is not uniformly equivalent to both the Bures metric and the metric induced by the C*-norm.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper cleanly extends the Bures metric to non-unital C*-algebras with faithful trace and proves a uniform compactness criterion that holds across both unital and non-unital cases.

read the letter

The core contribution is the non-unital extension of the Bures metric on density spaces, together with the statement that this space fails to be compact in the Bures topology precisely when the C*-algebra is infinite-dimensional. They also introduce quantum Lipschitz triples to carry the quantum metric construction over to the non-unital setting and show the resulting topology is weaker than the C*-norm topology. The proofs adapt the trace-inner-product definition directly, verify the metric axioms, and produce explicit non-convergent sequences in both commutative and non-commutative infinite-dimensional examples, including matrix-valued functions on the quantized interval. This gives a coherent picture that treats finite- and infinite-dimensional algebras on the same footing without extra casework. The main limitation is the standing requirement of a faithful trace, which is necessary for the construction but excludes C*-algebras that lack one; the new quantum Lipschitz triples are a reasonable subclass of existing quantum locally compact metric spaces, though their added value is mostly organizational rather than yielding dramatically new examples. The arguments look direct and free of circularity or post-hoc adjustments. This is useful reading for anyone working on noncommutative geometry or operator-algebraic metrics. It fills a straightforward gap in the literature and the evidence supports the claims, so it deserves a serious referee.

Referee Report

0 major / 3 minor

Summary. The paper extends the Bures metric and density space to non-unital C*-algebras equipped with a faithful trace, proves the Bures construction yields a metric whose topology is weaker than the C*-norm topology, and establishes a Heine-Borel theorem: for any such C*-algebra the density space is non-compact in the Bures topology if and only if the algebra is infinite-dimensional. It further introduces quantum Lipschitz triples (a subclass of Latrémolière's quantum locally compact metric spaces) to define a quantum metric on the density space, proves the corresponding topology is weaker than the C*-norm topology, and supplies explicit sequences (commutative and non-commutative, unital and non-unital) together with an analysis of matrix-valued functions on the quantized interval that distinguish the Bures, quantum-metric, and C*-norm topologies.

Significance. The central result supplies a uniform compactness criterion that holds for both unital and non-unital C*-algebras with faithful trace, thereby completing the picture begun by Farenick-Rahaman and linking the metric geometry of the density space directly to the algebraic dimension. The introduction of quantum Lipschitz triples furnishes a concrete, Rieffel-compatible way to equip density spaces with quantum metrics and yields falsifiable distinctions among topologies on explicit examples; these features strengthen the interface between noncommutative geometry and quantum information.

minor comments (3)

[Abstract] Abstract, line 12: 'noncommuataive' is a typographical error and should read 'noncommutative'.
[Abstract] Abstract, line 9: the spelling and diacritics of 'Latrémolière' should be verified against the reference list.
[§4] The definition of a quantum Lipschitz triple (presumably §4) is introduced without an explicit comparison table to the unital case; adding such a table would clarify the precise modifications required for the non-unital setting.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We appreciate the recognition that the work completes the compactness picture for density spaces in both unital and non-unital C*-algebras with faithful traces, and that the introduction of quantum Lipschitz triples provides a concrete link to quantum locally compact metric spaces.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claims—the extension of the Bures metric to non-unital C*-algebras with faithful trace, the proof that its topology is weaker than the C*-norm topology, and the Heine-Borel equivalence (density space non-compact iff algebra infinite-dimensional)—proceed via direct adaptation of explicit sequence constructions from external prior work (Farenick-Rahaman) and standard C*-algebra properties. The quantum metric extension invokes prior work by some authors but only for the auxiliary definition of quantum Lipschitz triples; the compactness and topology comparisons remain independent and do not reduce to fitted parameters, self-definitions, or load-bearing self-citations. No quoted step equates a derived quantity to its own input by construction, and the derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The constructions rest on the existence of a faithful trace and standard C*-algebra axioms; the new quantum Lipschitz triple is introduced without independent external evidence beyond the paper's definitions.

axioms (2)

domain assumption Existence of a faithful trace on the C*-algebra
Invoked to define the density space and the inner product underlying the Bures metric.
standard math Standard C*-algebra norm and representation properties
Background axioms from operator algebra theory used throughout the topology comparisons.

invented entities (1)

quantum Lipschitz triple no independent evidence
purpose: Subclass of quantum locally compact metric spaces to extend quantum metrics to non-unital C*-algebras
New notion introduced to utilize Rieffel's quantum metric in the non-unital setting.

pith-pipeline@v0.9.0 · 5657 in / 1362 out tokens · 44010 ms · 2026-05-13T20:36:14.464706+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 2 internal anchors

[1]

Aguilar,Quantum metrics on the tensor product of a commutative C*-algebra and an af C*-algebra, (2019), 31 pages, ArXiv: 1907.07357

K. Aguilar,Quantum metrics on the tensor product of a commutative C*-algebra and an af C*-algebra, (2019), 31 pages, ArXiv: 1907.07357

work page arXiv 2019
[2]

Konrad Aguilar, Karina Behera, Tron Omland, and Nicole Wu,On the Bures metric, C ∗-norm and quantum metric, Bull. Aust. Math. Soc.112(2025), no. 2, 355–365, arXiv:2406.07219. MR 4955376

work page arXiv 2025
[3]

2, 149–193, arXiv: 1511.07114

Konrad Aguilar and Frédéric Latrémolière,Quantum ultrametrics on AF algebras and the Gromov- Hausdorff propinquity, Studia Math.231(2015), no. 2, 149–193, arXiv: 1511.07114. MR 3465284 38

work page arXiv 2015
[4]

Theory Adv

Konrad Aguilar, Katrine von Bornemann Hjelmborg, and Frédéric Latrémolière,Domains of quantum metrics on AF algebras, Operator theory, related fields, and applications, Oper. Theory Adv. Appl., vol. 307, Birkhäuser/Springer, Cham, [2025] ©2025, ArXiv: 2402.05520, pp. 1–14. MR 4978049

work page arXiv 2025
[5]

Larsen, and Tron Omland,Metrics on completely positive maps via noncommutative geometry, (2025), 33 pages, ArXiv: 2512.10842

Are Austad, Erik Bédos, Jonas Eidesen, Nadia S. Larsen, and Tron Omland,Metrics on completely positive maps via noncommutative geometry, (2025), 33 pages, ArXiv: 2512.10842

work page internal anchor Pith review arXiv 2025
[6]

Rajendra Bhatia, Stephane Gaubert, and Tanvi Jain,Matrix versions of the Hellinger distance, Lett. Math. Phys.109(2019), no. 8, 1777–1804. MR 3977574

work page 2019
[7]

N. P. Brown and N. Ozawa,C*-algebras and finite-dimensional approximations, Graudate Studies in Mathematics, vol. 88, American Mathematical Society, 2008

work page 2008
[8]

Donald Bures,An extension of Kakutani’s theorem on infinite product measures to the tensor product of semifinite w∗-algebras, Trans. Amer. Math. Soc.135(1969), 199–212. MR 236719

work page 1969
[9]

Connes,Noncommutative geometry, Academic Press, Inc., San Diego, CA, 1994

A. Connes,Noncommutative geometry, Academic Press, Inc., San Diego, CA, 1994. MR 1303779

work page 1994
[10]

Davidson,C ∗-algebras by example, Fields Institute Monographs, vol

Kenneth R. Davidson,C ∗-algebras by example, Fields Institute Monographs, vol. 6, American Math- ematical Society, Providence, RI, 1996. MR 1402012

work page 1996
[11]

15, North-Holland Pub- lishing Co., Amsterdam-New York-Oxford, 1977, Translated from the French by Francis Jellett

Jacques Dixmier,C ∗-algebras, North-Holland Mathematical Library, Vol. 15, North-Holland Pub- lishing Co., Amsterdam-New York-Oxford, 1977, Translated from the French by Francis Jellett. MR 458185

work page 1977
[12]

Math.23(2017), 1369–1393

Douglas Farenick and Mizanur Rahaman,Bures contractive channels on operator algebras, New York J. Math.23(2017), 1369–1393. MR 3723514

work page 2017
[13]

MR 3558531

Masahito Hayashi,Quantum information theory, second ed., Graduate Texts in Physics, Springer- Verlag, Berlin, 2017, Mathematical foundation. MR 3558531

work page 2017
[14]

Hellinger,Neue Begründung der Theorie quadratischer Formen von unendlichvielen Veränderlichen, J

E. Hellinger,Neue Begründung der Theorie quadratischer Formen von unendlichvielen Veränderlichen, J. Reine Angew. Math.136(1909), 210–271. MR 1580780

work page 1909
[15]

Horn and Charles R

Roger A. Horn and Charles R. Johnson,Matrix analysis, second ed., Cambridge University Press, Cambridge, 2013. MR 2978290

work page 2013
[16]

Latrémolière,Quantum locally compact metric spaces, Journal of Functional Analysis264(2013), no

F. Latrémolière,Quantum locally compact metric spaces, Journal of Functional Analysis264(2013), no. 1, 362–402, ArXiv: 1208.2398

work page arXiv 2013
[17]

,The quantum Gromov-Hausdorff hypertopology on the class of pointed proper quantum metric spaces, (2025), 85 pages, ArXiv: 2512.03573

work page arXiv 2025
[18]

Hyperbolic group $C^*$-algebras and free-product $C^*$-algebras as compact quantum metric spaces

N. Ozawa and M. A. Rieffel,Hyperbolic group C ∗-algebras and free products C ∗-algebras as compact quantum metric spaces, Canad. J. Math.57(2005), 1056–1079, ArXiv: math/0302310

work page internal anchor Pith review Pith/arXiv arXiv 2005
[19]

József Pitrik and Dániel Virosztek,Quantum Hellinger distances revisited, Lett. Math. Phys.110(2020), no. 8, 2039–2052. MR 4126872

work page 2020
[20]

M. A. Rieffel,Metrics on states from actions of compact groups, Doc. Math.3(1998), 215–229. MR 1647515

work page 1998
[21]

168, 2004, Appendix 1 by Hanfeng Li, Gromov-Hausdorff distance for quantum metric spaces

,Gromov-Hausdorff distance for quantum metric spaces, vol. 168, 2004, Appendix 1 by Hanfeng Li, Gromov-Hausdorff distance for quantum metric spaces. Matrix algebras converge to the sphere for quantum Gromov-Hausdorff distance, pp. 1–65. MR 2055927 39 DEPARTMENT OFMATHEMATICS ANDSTATISTICS, POMONACOLLEGE, 610 N. COLLEGEAVE., CLAREMONT, CA 91711 Email addre...

work page 2004