arxiv: 2605.13014 · v1 · submitted 2026-05-13 · 🧮 math-ph · math.MP

Recognition: 2 theorem links

· Lean Theorem

Unitary invariance of Connes spectral distances of quantum states

Ji-Hong Wang , Bing-Sheng Lin , Zhi-Kang You

Authors on Pith no claims yet

Pith reviewed 2026-05-14 17:28 UTC · model grok-4.3

classification 🧮 math-ph math.MP

keywords Connes spectral distanceunitary invariancequantum statesspectral triplestrace distancematrix algebrasfinite-dimensional Hilbert spacenoncommutative geometry

0 comments

The pith

Connes spectral distances between quantum states remain unchanged under unitary transformations in finite spectral triples.

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

The paper investigates the behavior of Connes spectral distances on quantum states when those states are transformed by unitaries. It restricts attention to spectral triples built from matrix algebras represented on finite-dimensional Hilbert spaces. Elementary properties of the distances and their optimal elements are derived, including the equality of the Lipschitz seminorm with the operator norm in some cases. Explicit constructions are given where the Connes distance coincides exactly with the quantum trace distance.

Core claim

In finite spectral triples whose algebras are matrix representations on Hilbert spaces, the Connes spectral distance is invariant under unitary transformations of the states, and there exist choices of the triple for which this distance equals the trace distance.

What carries the argument

Finite spectral triples on matrix algebras, with the Connes distance defined as the supremum of the difference in state evaluations over elements whose Lipschitz seminorm is at most one.

If this is right

The invariance supplies a geometric notion of distance compatible with the unitary symmetry of quantum mechanics.
Equality with trace distance supplies a concrete computational route from noncommutative geometry to standard quantum metrics.
Optimal elements become calculable objects that realize the distance in finite dimensions.
The constructions furnish explicit examples for studying the geometry of finite spectral triples.

Where Pith is reading between the lines

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

The same invariance may extend to other distance functionals used in quantum information once they are expressed through spectral triples.
The finite-dimensional examples suggest a route for discretizing continuous quantum state spaces while preserving unitary symmetry.
If the constructions generalize, they would allow direct transfer of results about trace-distance geometry into the language of noncommutative geometry.

Load-bearing premise

The chosen finite-dimensional matrix algebra representations and spectral triples are sufficient to capture the relevant geometric and distance properties of general quantum states.

What would settle it

An explicit unitary transformation on a pair of states in one of the constructed spectral triples where the computed Connes distance changes, or where it fails to equal the trace distance.

read the original abstract

In this paper, we study the properties of Connes spectral distances between quantum states under unitary transformations. We mainly focus on spectral triples with matrix algebras acting on finite dimensional Hilbert spaces via some linear representations. We derive some elementary properties of the Connes spectral distances and optimal elements. We prove that there are some finite spectral triples in which the Lipschitz seminorms are equal to the operator norms. We also explicitly construct some spectral triples in which the Connes spectral distances between quantum states are exactly the quantum trace distances. These results and concrete examples are significant for studies of geometric structures of finite spectral triples and mathematical relations of qubits and other quantum states in the framework of noncommutative geometry.

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 unitary invariance for Connes distances on finite matrix algebras and constructs explicit spectral triples where the distance equals the trace distance.

read the letter

The paper proves unitary invariance for Connes distances on finite matrix algebras and constructs explicit spectral triples where the distance equals the trace distance. It does a clean job deriving elementary properties of the distances and optimal elements, and it shows that the Lipschitz seminorm equals the operator norm in some of these finite setups. The explicit constructions that achieve exact equality with the trace distance are the most useful part, since they give concrete examples for qubits and small quantum systems. The work stays inside its declared finite-dimensional bounds, which keeps the claims straightforward and verifiable. The soft spots are limited to scope. The finite restriction is stated up front, but it means the results do not speak to infinite-dimensional cases that often matter in broader noncommutative geometry. The constructions appear to be direct adaptations rather than major extensions, so the novelty is incremental. No internal contradictions show up in the stated claims, and the math seems consistent on its own terms. This is for people working on distances in finite quantum geometries or noncommutative models of small systems. A reader who wants explicit finite examples will find it worth reading. It deserves a serious referee because the claims are specific enough to check and the finite setting makes verification feasible. I would send it to peer review.

Referee Report

2 major / 3 minor

Summary. The manuscript examines the unitary invariance of Connes spectral distances for quantum states in the context of finite-dimensional spectral triples over matrix algebras. It establishes elementary properties of these distances and optimal elements, demonstrates cases where the Lipschitz seminorm coincides with the operator norm, and provides explicit constructions of spectral triples in which the Connes distance equals the trace distance between states.

Significance. If the results hold, they offer valuable concrete examples linking the Connes distance to the trace distance in noncommutative geometry for finite quantum systems. This could be significant for exploring geometric interpretations of quantum states and qubits within the framework of spectral triples, providing a bridge between abstract NCG and standard quantum information metrics. The finite-dimensional scope and explicit constructions are strengths that allow direct verification.

major comments (2)

[§3] §3: The claim that the Lipschitz seminorm equals the operator norm in certain finite spectral triples is asserted via direct derivation, but the steps reducing the supremum over the seminorm to the operator norm (via the finite-dimensional representation) are not shown explicitly, making it difficult to confirm the equality holds without hidden assumptions on the Dirac operator D.
[§4] §4: The explicit construction of spectral triples where the Connes distance equals the trace distance is given for specific matrix algebra representations, but it is unclear from the argument whether the chosen D achieves equality for arbitrary pairs of states or only for the examples provided; this bears on the generality of the result.

minor comments (3)

[Abstract] The abstract refers to 'some finite spectral triples' without indicating the specific dimension n of the matrix algebra M_n(C) or the form of the representation, which would aid readability.
[§2] Notation for the action of the algebra on the Hilbert space is introduced but could be formalized earlier with an explicit definition of the representation map.
[Introduction] A reference to the original Connes distance definition or a standard text on noncommutative geometry would provide better context for readers unfamiliar with the Lipschitz seminorm.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper consists of direct mathematical derivations and explicit constructions within finite-dimensional matrix algebras and spectral triples. It proves unitary invariance of Connes distances and constructs cases where the distance equals the trace distance, all from standard definitions of the Lipschitz seminorm and operator norm without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The finite-dimensional scope is explicitly stated, and results follow from algebraic manipulations and concrete examples rather than renaming or smuggling ansatzes. This is a standard self-contained proof paper in noncommutative geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard domain assumptions of noncommutative geometry applied to finite quantum systems; no free parameters or invented entities are indicated in the abstract.

axioms (1)

domain assumption Finite-dimensional Hilbert spaces with linear representations of matrix algebras form valid spectral triples for studying quantum state distances.
The paper restricts attention to these settings as stated in the abstract.

pith-pipeline@v0.9.0 · 5409 in / 1086 out tokens · 41883 ms · 2026-05-14T17:28:44.534952+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that there are some finite spectral triples in which the Lipschitz seminorms are equal to the operator norms. We also explicitly construct some spectral triples in which the Connes spectral distances between quantum states are exactly the quantum trace distances.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the Connes spectral distances between any one-qubit states ρ1,ρ2 is equal to their quantum trace distance ... d(ρ1,ρ2)=|r1−r2|

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

Connes,Noncommutative geometry(Academic Press, New York, 1994)

A. Connes,Noncommutative geometry(Academic Press, New York, 1994)

work page 1994
[2]

Compact metric spaces, Fredholm modules and hyperfinite- ness

A. Connes, “Compact metric spaces, Fredholm modules and hyperfinite- ness.”Ergodic Theory Dynam. Systems9207-220 (1989)

work page 1989
[3]

Distances on a lattice from non- commutative geometry

G. Bimonte, F. Lizzi, G. Sparano, “Distances on a lattice from non- commutative geometry.”Phys. Lett. B341139-146 (1994)

work page 1994
[4]

Connes’ distance of one-dimensional lattices: general cases

J. Dai, X.-C. Song, “Connes’ distance of one-dimensional lattices: general cases.”Commun. Theor. Phys.36519 (2001)

work page 2001
[5]

The spectral dis- tance on the Moyal plane

E. Cagnache, F. D’Andrea, P. Martinetti, J.-C. Wallet, “The spectral dis- tance on the Moyal plane.”J. Geom. Phys.611881-1897 (2011). 19

work page 2011
[6]

Connes distance by examples: Homothetic spectral metric spaces

J. C. Wallet, “Connes distance by examples: Homothetic spectral metric spaces.”Rev. Math. Phys.241250027 (2012)

work page 2012
[7]

Minimal length in quantum space and integrations of the line element in noncommutative geometry

P. Martinetti, F. Mercati, L. Tomassini, “Minimal length in quantum space and integrations of the line element in noncommutative geometry.”Rev. Math. Phys.241250010 (2012)

work page 2012
[8]

Noncommutative geometry of the Moyal plane: translation isometries, Connes’ distance on coherent states, Pythagoras equality

P. Martinetti, L. Tomassini, “Noncommutative geometry of the Moyal plane: translation isometries, Connes’ distance on coherent states, Pythagoras equality.”Commun. Math. Phys.323107–141 (2013)

work page 2013
[9]

Metric properties of the fuzzy sphere

F. D’Andrea, F. Lizzi, J.C. Varilly, “Metric properties of the fuzzy sphere.” Lett. Math. Phys.103183–205 (2013)

work page 2013
[10]

On Pythagoras theorem for products of spec- tral triples

F. D’Andrea, P. Martinetti, “On Pythagoras theorem for products of spec- tral triples.”Lett. Math. Phys.103469–492 (2013)

work page 2013
[11]

Pythagoras theorem in noncommutative geometry

F. D’Andrea, “Pythagoras theorem in noncommutative geometry”Contem- porary Mathematics676175-210 (2016)

work page 2016
[12]

Metrics and causality on Moyal planes

N. Franco, J. C. Wallet, “Metrics and causality on Moyal planes.”Contem- porary Mathematics676147-173 (2016)

work page 2016
[13]

Spectral triplets, statistical mechanics and emergent geometry in non-commutative quantum mechanics

F. G. Scholtz, B. Chakraborty, “Spectral triplets, statistical mechanics and emergent geometry in non-commutative quantum mechanics.”J. Phys. A: Math. Theor.46085204 (2013)

work page 2013
[14]

Connes distance function on fuzzy sphere and the connection between geometry and statistics

Y. Chaoba Devi, S. Prajapat, A. K. Mukhopadhyay, B. Chakraborty, F. G. Scholtz, “Connes distance function on fuzzy sphere and the connection between geometry and statistics.”J. Math. Phys.56041707 (2015)

work page 2015
[15]

Revisiting Connes’ finite spectral distance on noncommutative spaces: Moyal plane and fuzzy sphere

Y. Chaoba Devi, K. Kumar, B. Chakraborty, F. G. Scholtz, “Revisiting Connes’ finite spectral distance on noncommutative spaces: Moyal plane and fuzzy sphere.”Int. J. Geo. Methods Mod. Phys.151850204 (2018)

work page 2018
[16]

Spectral distances on the doubled Moyal plane using Dirac eigenspinors

K. Kumar, B. Chakraborty, “Spectral distances on the doubled Moyal plane using Dirac eigenspinors.”Phys. Rev. D97086019 (2018)

work page 2018
[17]

Spectral estimators for finite non- commutative geometries

J. W Barrett, P. Druce, L. Glaser, “Spectral estimators for finite non- commutative geometries.”J. Phys. A: Math. Theor.52275203 (2019)

work page 2019
[18]

Spectral distance on Lorentzian Moyal plane

A. Chakraborty, B. Chakraborty, “Spectral distance on Lorentzian Moyal plane.”Int. J. Geo. Methods Mod. Phys.172050089 (2020)

work page 2020
[19]

Connes distance of 2Dharmonic oscillators in quan- tum phase space

B. S. Lin, T. H. Heng, “Connes distance of 2Dharmonic oscillators in quan- tum phase space.”Chin. Phys. B30110203 (2021)

work page 2021
[20]

Connes spectral distance and nonlocality of gener- alized noncommutative phase spaces

B. S. Lin, T. H. Heng, “Connes spectral distance and nonlocality of gener- alized noncommutative phase spaces.”Eur. Phys. J. Plus137899 (2022)

work page 2022
[21]

Noncommutative distances on graphs: An explicit approach via Birkhoff-James orthogonality

P. Clare, C.-K. Li, E. Poon, E. Swartz, “Noncommutative distances on graphs: An explicit approach via Birkhoff-James orthogonality.”J. Geom. Phys.213105483 (2025). 20

work page 2025
[22]

M. A. Nielsen, I. L. Chuang,Quantum Computation and Quantum Infor- mation(Cambridge University Press, Cambridge, 2000)

work page 2000
[23]

Distances in finite spaces from noncommutative geometry

B. Iochum, T. Krajewski, P. Martinetti, “Distances in finite spaces from noncommutative geometry.”J. Geom. Phys.37100–125 (2001)

work page 2001
[24]

Connes spectral distances, quantum discord and coherence of qubits

B. S. Lin, Z. H. Xu, J. H. Wang, H. L. Chen, “Connes spectral distances, quantum discord and coherence of qubits.”Phys. Scr.101095204 (2026). 21

work page 2026