Quantum metrics from the trace on full matrix algebras

Konrad Aguilar; Samantha Brooker

arxiv: 1906.09728 · v1 · pith:A67NGILMnew · submitted 2019-06-24 · 🧮 math.OA · math.FA

Quantum metrics from the trace on full matrix algebras

Konrad Aguilar , Samantha Brooker This is my paper

Pith reviewed 2026-05-25 17:13 UTC · model grok-4.3

classification 🧮 math.OA math.FA

keywords quantum metricsGromov-Hausdorff propinquitymatrix algebrasoperator algebrasquantum metric spacesnoncommutative geometrytrace

0 comments

The pith

Natural quantum metrics on n by n matrix algebras are separated by positive distance in the Gromov-Hausdorff propinquity when n is not prime.

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

The paper proves that certain natural quantum metrics on the algebras of n by n matrices, constructed from the trace, are separated by a positive distance in the sense of the Gromov-Hausdorff propinquity when n is not a prime number. This result shows that the propinquity can distinguish these quantum metric spaces based on the arithmetic properties of the dimension n. A reader would care because it provides a concrete way to see how noncommutative geometry captures distinctions that depend on whether the size is prime or composite. It demonstrates the utility of the propinquity in classifying quantum metrics on finite-dimensional algebras.

Core claim

We prove that, in the sense of the Gromov-Hausdorff propinquity, certain natural quantum metrics on the algebras of n×n-matrices are separated by a positive distance when n is not prime.

What carries the argument

The Gromov-Hausdorff propinquity applied to natural quantum metrics induced by the trace on full matrix algebras M_n, which detects separation for composite n.

If this is right

The propinquity distance is positive for these metrics when n is composite.
The metrics cannot be approximated arbitrarily closely in the propinquity for non-prime n.
Quantum metric spaces on M_n reflect the primality of n through their distances.
The construction from the trace allows the propinquity to be sensitive to the number of divisors of n.

Where Pith is reading between the lines

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

This separation may indicate that composite dimensions allow for more varied quantum metric structures.
Similar distinctions could appear in other noncommutative spaces or higher-dimensional algebras.
Testing the propinquity on related constructions might reveal further number-theoretic connections.

Load-bearing premise

The natural quantum metrics are constructed from the trace on M_n in a manner that permits the propinquity to be well-defined and to detect separation precisely when n is composite.

What would settle it

A computation or proof that the Gromov-Hausdorff propinquity between two such natural metrics for some composite n, such as n=4, is zero would falsify the claim.

read the original abstract

We prove that, in the sense of the Gromov-Hausdorff propinquity, certain natural quantum metrics on the algebras of $n\times n$-matrices are separated by a positive distance when n is not prime.

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 proves that trace-induced quantum metrics on M_n are separated by positive propinquity distance when n is composite.

read the letter

The main result is that certain natural quantum metrics on n by n matrices coming from the trace are at positive Gromov-Hausdorff propinquity distance precisely when n is not prime. This separation is presented as a direct theorem rather than a reduction of earlier work. The paper constructs the metrics explicitly from the trace to induce Lip-norms and then shows the propinquity detects the difference for composite n. It does a clean job of linking an arithmetic property to a concrete geometric distinction in the noncommutative setting, and the stress test finds no internal inconsistency or unsupported step. The work stays narrow and honest without overclaiming. The soft spots are minor and expected for this scope: the result applies only to full matrix algebras and these specific trace-derived metrics, so it adds a data point rather than reshaping the field. The construction details matter for verifying that the propinquity is well-defined and the separation is robust, but nothing in the claim suggests a problem there. This is for specialists already working on quantum metric spaces, propinquity, or examples on matrix algebras. A reader in that niche gets a verifiable separation result. It deserves serious referee time because the statement is sharp enough to check and the evidence is a direct proof.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that certain natural quantum metrics on the algebras of n×n-matrices, induced by the trace, are separated by a positive distance in the Gromov-Hausdorff propinquity precisely when n is not prime.

Significance. If the result holds, it supplies a concrete, number-theoretic example of quantum metrics on M_n that the propinquity distinguishes, which may be useful for studying the rigidity and separation properties of quantum metric spaces in operator algebras. The paper presents a direct existence proof rather than a reduction to fitted quantities.

minor comments (1)

The provided text consists solely of the abstract; the explicit construction of the trace-induced Lip-norms and the steps verifying positive propinquity distance are not visible, preventing verification of the central claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing its potential significance as a concrete number-theoretic example in the study of quantum metric spaces. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper claims a direct proof that trace-induced quantum metrics on M_n are separated by positive Gromov-Hausdorff propinquity distance precisely when n is composite. No equations or steps are quoted that reduce a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology. The construction is presented as an explicit Lip-norm derivation from the trace whose induced metrics are then compared externally via the propinquity; the separation argument does not rely on renaming known results or smuggling ansatzes via prior self-citations. The derivation is therefore self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the full set of background assumptions cannot be audited. The result rests on the prior definitions of quantum metrics induced by the trace and of the Gromov-Hausdorff propinquity.

axioms (1)

standard math Standard properties of the normalized trace on full matrix algebras M_n and the definition of the Gromov-Hausdorff propinquity from the literature on quantum metric spaces.
The abstract invokes these existing notions without re-deriving them.

pith-pipeline@v0.9.0 · 5541 in / 1231 out tokens · 37375 ms · 2026-05-25T17:13:05.946727+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · 6 internal anchors

[1]

Quantum Ultrametrics on AF Algebras and The Gromov-Hausdorff Propinquity

K. Aguilar and F. Latrémolière. Quantum ultrametrics on AF algebras and the Gromov-Hausdorff propinquity .Studia Mathematica, 231(2):149 –193, 2015. ArXiv: 1511.07114

work page internal anchor Pith review Pith/arXiv arXiv 2015
[2]

Bratteli

O. Bratteli. Inductive limits of ﬁnite dimensional C∗-algebras. T rans. Amer. Math. Soc., 171:195–234, 1972

work page 1972
[3]

Burago, Y

D. Burago, Y. Burago, and S. Ivanov . A course in Metric Geometry , volume 33 of Graduate T exts in Mathematics. American Mathematical Society , 2001

work page 2001
[4]

K. R. Davidson. C*–Algebras by Example . Fields Institute Monographs. American Mathematical Society , 1996

work page 1996
[5]

Convergence of Fuzzy Tori and Quantum Tori for the quantum Gromov-Hausdorff Propinquity: an explicit approach

F. Latrémolière. Convergence of fuzzy tori and quantum t ori for the Gromov–Hausdorff Propin- quity: an explicit approach. Münster J. Math., 8(1), 2015. ArXiv: math/1312.0069

work page internal anchor Pith review Pith/arXiv arXiv 2015
[6]

A Compactness Theorem for The Dual Gromov-Hausdorff Propinquity

F. Latrémolière. A compactness theorem for the dual Grom ov-Hausdorff propinquity .Submitted, page 40 Pages, 2015. ArXiv: 1501.06121

work page internal anchor Pith review Pith/arXiv arXiv 2015
[7]

The Quantum Gromov-Hausdorff Propinquity

F. Latrémolière. The Quantum Gromov-Hausdorff Propinq uity .T rans. Amer. Math. Soc., pages 49 Pages, http://dx.doi.org/10.1090/tran/6334, to appear i n print, electronically published on May 22, 2015. ArXiv: 1302.4058

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/tran/6334 2015
[8]

Latrémolière

F. Latrémolière. Quantum metric spaces and the Gromov-H ausdorff propinquity .Noncommutative geometry and optimal transport , 47–133, Contemp. Math., 676, Amer. Math. Soc., Providence, RI, 2016. ArXiv: 1506.04341

work page arXiv 2016
[9]

G. J. Murphy . C∗-algebras and Operator theory . Academic Press, San Diego, 1990

work page 1990
[10]

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 com- pact quantum metric spaces. Canad. J. Math., 57:1056–1079, 2005. ArXiv: math/0302310

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

M. A. Rieffel. Metrics on states from actions of compact groups. Documenta Mathematica, 3:215–229,

work page
[12]

M. A. Rieffel. Metrics on state spaces. Documenta Math., 4:559–600, 1999. math.OA/9906151

work page arXiv 1999
[13]

M. A. Rieffel. Matrix algebras converge to the sphere fo r quantum Gromov–Hausdorff distance. Mem. Amer. Math. Soc., 168(796):67–91, 2004. math.OA/0108005

work page arXiv 2004
[14]

M. A. Rieffel. Gromov-Hausdorff distance for quantum m etric spaces. Mem. Amer. Math. Soc. , 168(796), March 2004. math.OA/0011063

work page arXiv 2004
[15]

Matricial bridges for "Matrix algebras converge to the sphere"

M. A. Rieffel. Matricial bridges for “matrix algebras c onverge to the sphere”. In Operator algebras and their applications, volume 671 of Contemp. Math., pages 209–233. Amer. Math. Soc., Providence, RI, 2016. ArXiv: 1502.00329. SCHOOL OF MATHEMATICAL AND STATISTICAL SCIENCES , A RIZONA STATE UNIVERSITY , 901 S. PALM WALK , T EMPE , AZ 85287-1804 E-mail a...

work page internal anchor Pith review Pith/arXiv arXiv 2016

[1] [1]

Quantum Ultrametrics on AF Algebras and The Gromov-Hausdorff Propinquity

K. Aguilar and F. Latrémolière. Quantum ultrametrics on AF algebras and the Gromov-Hausdorff propinquity .Studia Mathematica, 231(2):149 –193, 2015. ArXiv: 1511.07114

work page internal anchor Pith review Pith/arXiv arXiv 2015

[2] [2]

Bratteli

O. Bratteli. Inductive limits of ﬁnite dimensional C∗-algebras. T rans. Amer. Math. Soc., 171:195–234, 1972

work page 1972

[3] [3]

Burago, Y

D. Burago, Y. Burago, and S. Ivanov . A course in Metric Geometry , volume 33 of Graduate T exts in Mathematics. American Mathematical Society , 2001

work page 2001

[4] [4]

K. R. Davidson. C*–Algebras by Example . Fields Institute Monographs. American Mathematical Society , 1996

work page 1996

[5] [5]

Convergence of Fuzzy Tori and Quantum Tori for the quantum Gromov-Hausdorff Propinquity: an explicit approach

F. Latrémolière. Convergence of fuzzy tori and quantum t ori for the Gromov–Hausdorff Propin- quity: an explicit approach. Münster J. Math., 8(1), 2015. ArXiv: math/1312.0069

work page internal anchor Pith review Pith/arXiv arXiv 2015

[6] [6]

A Compactness Theorem for The Dual Gromov-Hausdorff Propinquity

F. Latrémolière. A compactness theorem for the dual Grom ov-Hausdorff propinquity .Submitted, page 40 Pages, 2015. ArXiv: 1501.06121

work page internal anchor Pith review Pith/arXiv arXiv 2015

[7] [7]

The Quantum Gromov-Hausdorff Propinquity

F. Latrémolière. The Quantum Gromov-Hausdorff Propinq uity .T rans. Amer. Math. Soc., pages 49 Pages, http://dx.doi.org/10.1090/tran/6334, to appear i n print, electronically published on May 22, 2015. ArXiv: 1302.4058

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/tran/6334 2015

[8] [8]

Latrémolière

F. Latrémolière. Quantum metric spaces and the Gromov-H ausdorff propinquity .Noncommutative geometry and optimal transport , 47–133, Contemp. Math., 676, Amer. Math. Soc., Providence, RI, 2016. ArXiv: 1506.04341

work page arXiv 2016

[9] [9]

G. J. Murphy . C∗-algebras and Operator theory . Academic Press, San Diego, 1990

work page 1990

[10] [10]

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 com- pact quantum metric spaces. Canad. J. Math., 57:1056–1079, 2005. ArXiv: math/0302310

work page internal anchor Pith review Pith/arXiv arXiv 2005

[11] [11]

M. A. Rieffel. Metrics on states from actions of compact groups. Documenta Mathematica, 3:215–229,

work page

[12] [12]

M. A. Rieffel. Metrics on state spaces. Documenta Math., 4:559–600, 1999. math.OA/9906151

work page arXiv 1999

[13] [13]

M. A. Rieffel. Matrix algebras converge to the sphere fo r quantum Gromov–Hausdorff distance. Mem. Amer. Math. Soc., 168(796):67–91, 2004. math.OA/0108005

work page arXiv 2004

[14] [14]

M. A. Rieffel. Gromov-Hausdorff distance for quantum m etric spaces. Mem. Amer. Math. Soc. , 168(796), March 2004. math.OA/0011063

work page arXiv 2004

[15] [15]

Matricial bridges for "Matrix algebras converge to the sphere"

M. A. Rieffel. Matricial bridges for “matrix algebras c onverge to the sphere”. In Operator algebras and their applications, volume 671 of Contemp. Math., pages 209–233. Amer. Math. Soc., Providence, RI, 2016. ArXiv: 1502.00329. SCHOOL OF MATHEMATICAL AND STATISTICAL SCIENCES , A RIZONA STATE UNIVERSITY , 901 S. PALM WALK , T EMPE , AZ 85287-1804 E-mail a...

work page internal anchor Pith review Pith/arXiv arXiv 2016