Pith. sign in

REVIEW 4 minor 12 references

Wigner symmetries single out the symmetric quantum Wasserstein distances in every finite dimension.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-10 09:48 UTC pith:NIU3VEAR

load-bearing objection Clean finite-dimensional rigidity result that pins the Wigner monoid to the isotropic quadratic cost in every dimension and unifies four symmetry notions.

arxiv 2607.08298 v1 pith:NIU3VEAR submitted 2026-07-09 math-ph math.MPmath.OAquant-ph

Wigner symmetries single out symmetric Wasserstein distances in all finite dimensions

Gergely Bunth This is my paper
classification math-ph math.MPmath.OAquant-ph MSC 49Q2281P1681R0515A63
keywords quantum Wasserstein distanceWigner symmetriesquadratic cost operatorsisotropic costsHilbert–Schmidt tight framesadjoint representationpure-state determination
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper asks which families of quantum observables produce a Wasserstein geometry whose distance-preserving maps are exactly the unitary and antiunitary conjugations (the Wigner symmetries). It shows that, for quadratic costs built from at most d^{2}-1 observables on a d-dimensional system, this happens if and only if the cost is isotropic: a positive multiple of the projection onto the traceless operators. That single family is recovered equivalently from pure-state unitary invariance, from intertwining the adjoint representation, and from the generators’ traceless parts forming a tight Hilbert–Schmidt frame (hence an orthonormal basis when there are exactly d^{2}-1 of them). The result therefore collapses four different notions of symmetry into one one-parameter family of distances and removes ambiguity about what “symmetric” means for these quantum Wasserstein geometries.

Core claim

Within nonzero quadratic costs generated by at most d^{2}-1 self-adjoint observables on a d-dimensional Hilbert space (d>1), the Wasserstein isometry monoid is exactly the set of Wigner symmetries if and only if the distance is unitarily invariant on pure states, which holds if and only if the cost is a positive multiple of the projection onto the traceless subspace; equivalently, the generators’ traceless parts form a tight Hilbert–Schmidt frame, and when K equals d^{2}-1 they form a scaled orthonormal basis.

What carries the argument

The mutually inverse maps Σ and Θ between Hilbert–Schmidt frame-type operators on the traceless self-adjoint subspace and quadratic cost operators generated by observables; under this correspondence, isotropy of the cost is equivalent to the tight-frame property of the frame operator.

Load-bearing premise

The proof that isotropic costs yield only Wigner isometries is obtained by recasting an earlier argument written for dimensions that are powers of two, rather than being re-derived from first principles for every finite dimension.

What would settle it

Exhibit a family of at most d^{2}-1 observables whose quadratic cost is not a multiple of the traceless projection, yet whose Wasserstein isometry monoid is still exactly the unitary and antiunitary conjugations; or show that some isotropic cost admits a non-Wigner isometry.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper studies quantum Wasserstein distances of De Palma–Trevisan type induced by quadratic cost operators generated by families of self-adjoint observables on a d-dimensional Hilbert space. It first proves that any positive-semidefinite cost is completely determined by the restriction of the associated distance to pure states (Proposition 3.15). Within the class of nonzero quadratic costs generated by at most d^{2}-1 observables, Theorem 5.2 then establishes the equivalence of six statements: the isometry monoid consists exactly of the Wigner symmetries (unitary and antiunitary conjugations); the distance is nonzero and unitarily invariant on pure states; the cost intertwines the adjoint representation and is a positive multiple of the projection onto the traceless subspace; and the traceless parts of the generators form a Hilbert–Schmidt tight frame (hence an ONB when K=d^{2}-1). Explicit mutually inverse maps Σ and Θ (Definitions 4.3 and 4.6, Theorem 4.9) identify isotropic costs with tight frames, so that geometric, representation-theoretic, operator-theoretic and frame-theoretic notions of symmetry all select the same one-parameter family of distances.

Significance. If correct, the result supplies a clean, dimension-independent characterization of the “symmetric” quantum Wasserstein distances: within the natural generator bound K≤d^{2}-1 they are precisely those whose isometry monoid is the full Wigner group. The paper thereby removes the ambiguity surrounding the term “symmetric Wasserstein distance” and extends earlier qubit and n-qubit classifications. Strengths include the explicit, elementary construction of the mutually inverse maps Σ and Θ, the systematic use of Schur’s lemma and the polarization identity, and a self-contained recasting (Appendix A) of the isometry argument that works for arbitrary finite d. The work is therefore a solid contribution to the geometry of quantum optimal transport.

minor comments (4)
  1. In the abstract and the statement of Theorem 5.2 the phrase “at most d^{2}-1 observables” is essential; a brief remark early in the introduction explaining why the bound is natural (dimension of the traceless space) would help non-specialist readers.
  2. Lemma 2.4 is standard but the short proof via the Gram operator is useful; a parenthetical reference to a classical frame-theory source would be welcome.
  3. Appendix A is carefully written, yet a single sentence at the beginning of Section 5 noting that the only non-elementary ingredient is the finite-dimensional non-bijective Wigner theorem would make the logical dependence fully transparent.
  4. A few typographical inconsistencies appear (e.g., “untiaries” in Proposition A.1, occasional missing spaces around mathematical operators). A careful copy-edit pass would remove them.

Circularity Check

1 steps flagged

Minor non-load-bearing self-citation of prior joint isometry argument, fully recast and self-contained in Appendix A; central equivalences independent.

specific steps
  1. self citation load bearing [Proof of Theorem 5.2 (p. 20) and Appendix A opening]
    "(iv)⇒(i)follows by the argument presented in [BSV26] for dimensionsd= 2n ... Thus a straightforward generalization of that argument ... shows(iv)⇒(i). For completeness we include the recasted version of this argument in Appendix A. ... This appendix contains no new ingredient compared to [BSV26, Theorem 1] beyond this recasting."

    The key geometric implication that isotropic cost yields precisely the Wigner isometry monoid is justified by citing the authors’ own prior joint paper. While the full argument is reproduced in Appendix A (so the present paper is self-contained), the logical dependence on the earlier derivation is explicit; without that recast the step would rest solely on the self-citation. The circularity is minor because the recast uses only the isotropic projector already obtained independently via Schur and does not import any unverified uniqueness or ansatz.

full rationale

The paper proves a clean chain of equivalences (Theorem 5.2) for when the Wasserstein isometry monoid is exactly the Wigner symmetries. The maps Σ and Θ are defined explicitly (Defs. 4.3, 4.6) and shown mutually inverse by direct computation on the cones F0 and C0 (Thm. 4.9, Props. 4.5/4.8); isotropy ↔ tight frame follows immediately (Cor. 4.11) without presupposing the classification. (ii)⇒(iii) uses only pure-state determination of the cost (Prop. 3.15) plus polarization; (iii)⇒(iv) is ordinary Schur on the irreducible adjoint representation (Cor. 2.18). The sole self-citation is for (iv)⇒(i), which invokes the argument of the authors’ earlier joint work [BSV26] (originally for d=2n). However Appendix A rewrites that argument in full for general d, using solely the isotropic spectral form already forced by Schur, the diameter characterization via product couplings, metric purity of pure states, and the classical finite-dimensional Wigner theorem; no 2n-specific structure or unchecked uniqueness is imported. No fitted parameters, no self-definitional loops, and no renaming of known results as new predictions. The derivation is therefore essentially self-contained; the self-citation is background only and does not force the result by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 1 invented entities

The paper rests entirely on standard finite-dimensional linear algebra, the irreducibility of the adjoint representation of SU(d), Schur’s lemma, Wigner’s theorem on transition-probability-preserving maps, and the coupling formulation of quantum Wasserstein distance introduced by De Palma–Trevisan. No free parameters or new physical entities are introduced; the only “invented” objects are the auxiliary linear maps Σ and Θ that make the cost–frame correspondence explicit.

axioms (4)
  • standard math The adjoint representation of SU(d) (equivalently of U(d)) on the traceless operators is irreducible for d≥ 2.
    Invoked via Schur’s lemma (Cor. 2.18) to force any intertwiner to be scalar on the traceless subspace; standard fact from representation theory of compact Lie groups.
  • standard math Wigner’s theorem (finite-dimensional, non-bijective version): a map on pure states that preserves transition probabilities is a unitary or anti-unitary conjugation.
    Used in Prop. A.5 to conclude that any isometry of the isotropic distance is a Wigner symmetry once it is known to preserve pure states and their transition probabilities.
  • domain assumption Quantum couplings are defined exactly as in De Palma–Trevisan (Def. 3.1); the Wasserstein distance is the square root of the minimal cost over couplings.
    The entire geometric theory is built on this operational definition; the paper does not re-derive the existence of optimal couplings.
  • standard math A bipartite state with one pure marginal is necessarily a product state.
    Used repeatedly (Rem. 3.2, Cor. 3.13) to reduce pure-state distances to elementary quadratic forms of the cost.
invented entities (1)
  • Forward map Σ and recovery map Θ between Hilbert–Schmidt frame operators and quadratic costs no independent evidence
    purpose: Make the correspondence between isotropic costs and tight frames bijective and explicit, allowing the generator-count lower bound to be read off from frame theory.
    These maps are linear-algebraic constructions defined in Defs. 4.3 and 4.6; they have no independent physical existence outside the paper’s formalism.

pith-pipeline@v1.1.0-grok45 · 30637 in / 2836 out tokens · 27895 ms · 2026-07-10T09:48:51.086936+00:00 · methodology

0 comments
read the original abstract

We study the quantum Wasserstein distances introduced by De Palma and Trevisan associated with quadratic cost operators generated by families of self-adjoint observables. We first show that an arbitrary positive semidefinite cost operator is completely determined by the restriction of the corresponding Wasserstein distance to pairs of pure states. This allows geometric invariance of the pure-state distance to be translated directly into invariance of the cost operator. Within the class of nonzero quadratic costs generated by at most $d^2-1$ observables on a $d$-dimensional Hilbert space, we prove that the Wasserstein isometry monoid consists exactly of the Wigner symmetries, that is, unitary and antiunitary conjugations, if and only if the distance is invariant under unitary conjugations on pure states. Equivalently, the cost operator intertwines the adjoint representation of the unitary group and is a positive scalar multiple of the identity on the traceless subspace. We further construct explicit mutually inverse maps between quadratic cost operators generated by observables and Hilbert--Schmidt frame-type operators formed from their traceless parts. Under this correspondence, isotropy of the cost is equivalent to the tight frame property of the associated Hilbert--Schmidt operator. Consequently, a nonzero isotropic cost requires at least $d^2-1$ self-adjoint generators, and equality holds precisely when their traceless parts form, up to a common scale, a Hilbert--Schmidt orthonormal basis. Thus the geometric, representation-theoretic, operator-theoretic, and frame-theoretic notions of symmetry all determine the same one-parameter family of quantum Wasserstein distances.

discussion (0)

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

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 8 internal anchors

  1. [1]

    Note on Wigner’s Theorem on Symmetry Operations

    [Bar64] V. Bargmann. “Note on Wigner’s Theorem on Symmetry Operations”. In:Journal of Mathematical Physics5.7 (1964), pp. 862–868.doi:10.1063/1.1704188. [Bea25] Emily Beatty.Wasserstein Distances on Quantum Structures: An Overview

    work page doi:10.1063/1.1704188 1964

  2. [2]

    Wasserstein Distances on Quantum Structures: an Overview

    arXiv:2506.09794. [BPTV24] Gergely Bunth, József Pitrik, Tamás Titkos, and Dániel Virosztek. “Metric Property of Quantum Wasserstein Divergences”. In:Physical Review A110.2 (2024), p. 022211.doi:10.1103/PhysRevA. 110.022211. arXiv:2402.13150. [BPTV25a] Gergely Bunth, József Pitrik, Tamás Titkos, and Dániel Virosztek.The Swap Transpose on Couplings Transla...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physreva 2024

  3. [3]

    [BPTV25b] Gergely Bunth, József Pitrik, Tamás Titkos, and Dániel Virosztek.Wasserstein Distances and Diver- gences of Orderpby Quantum Channels

    arXiv:2512.04919. [BPTV25b] Gergely Bunth, József Pitrik, Tamás Titkos, and Dániel Virosztek.Wasserstein Distances and Diver- gences of Orderpby Quantum Channels

    work page arXiv

  4. [4]

    Wasserstein distances and divergences of order $p$ by quantum channels

    arXiv:2501.08066. [BPTV26] Gergely Bunth, József Pitrik, Tamás Titkos, and Dániel Virosztek. “Strong Kantorovich Duality for Quantum Optimal Transport with Generic Cost and Optimal Couplings on Quantum Bits”. In:Linear Algebra and its Applications(2026).doi:10.1016/j.laa.2026.04.028. arXiv:2510.26326. [BS26] Emily Beatty and Daniel Stilck França. “Order p...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.laa.2026.04.028 2026

  5. [5]

    On Quantum Optimal Trans- port

    arXiv:2602.08628. [CEFŻ23] Sam Cole, Michał Eckstein, Shmuel Friedland, and Karol Życzkowski. “On Quantum Optimal Trans- port”. In:Mathematical Physics, Analysis and Geometry26.2 (2023), p. 14.doi:10.1007/s11040- 023-09456-7. arXiv:2105.06922. [CGP20] Emanuele Caglioti, François Golse, and Thierry Paul. “Quantum Optimal Transport Is Cheaper”. In: Journal ...

    work page doi:10.1007/s11040- 2023

  6. [6]

    Quantum optimal transport with quantum channels

    arXiv: 1911.00803. REFERENCES 27 [DT24] Giacomo De Palma and Dario Trevisan. “Quantum Optimal Transport: Quantum Channels and Qubits”. In:Optimal Transport on Quantum Structures. Ed. by Jan Maas, Simone Rademacher, Tamás Titkos, and Dániel Virosztek. Cham: Springer Nature Switzerland, 2024, pp. 203–239.doi: 10.1007/978-3-031-50466-2_4. arXiv:2307.16268. [...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-031-50466-2_4 1911

  7. [7]

    On the Mean Field and Classical Limits of Quantum Mechanics

    Graduate Texts in Mathematics. New York, NY: Springer New York, 2004.doi:10.1007/978-1-4612-0979-9. [Geh14] Gy. P. Gehér. “An Elementary Proof for the Non-Bijective Version of Wigner’s Theorem”. In:Physics Letters A378.30 (2014), pp. 2054–2057.doi:10.1016/j.physleta.2014.05.039. [GMP16] François Golse, Clément Mouhot, and Thierry Paul. “On the Mean Field ...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-1-4612-0979-9 2004

  8. [8]

    Isometries of the qubit state space with respect to quantum Wasserstein distances

    Bolyai Society Mathematical Studies. Cham: Springer Nature Switzerland, 2024.doi:10.1007/978-3-031-50466-2. [SV25] Richárd Simon and Dániel Virosztek. “Isometries of the Qubit State Space with Respect to Quantum Wasserstein Distances”. In:Linear Algebra and its Applications714 (2025), pp. 1–14.doi:10.1016/ j.laa.2025.03.004. arXiv:2408.09879. [SV26] Eszte...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-031-50466-2 2024

  9. [9]

    Quantum Wasserstein distance and its relation to several types of fidelities

    arXiv:2506.14523. 28 REFERENCES [Tre25] Dario Trevisan. “Quantum Optimal Transport: An Invitation”. In:Bollettino dell’Unione Matematica Italiana18.1 (2025), pp. 347–360.doi:10.1007/s40574-024-00428-5. [Vir16a] Dániel Virosztek. “Maps on Quantum States Preserving Bregman and Jensen Divergences”. In:Letters in Mathematical Physics106.9 (2016), pp. 1217–123...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s40574-024-00428-5 2025

  10. [10]

    Maps on quantum states preserving Bregman and Jensen divergences

    arXiv: 1601.06529. [Vir16b] DánielVirosztek.“QuantumF-DivergencePreservingMapsonPositiveSemidefiniteOperatorsActing on Finite Dimensional Hilbert Spaces”. In:Linear Algebra and its Applications501 (2016), pp. 242– 253.doi:10.1016/j.laa.2016.03.031. arXiv:1602.06942. [Wey89] Hermann Weyl.Symmetry. Princeton Science Library. Princeton, NJ: Princeton Univers...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.laa.2016.03.031 2016

  11. [11]

    A dual formula for the noncommutative transport distance

    [Wig31] Eugen Wigner.Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren. Wiesbaden: Vieweg+Teubner Verlag, 1931.doi:10.1007/978-3-663-02555-9. [Wir22] Melchior Wirth. “A Dual Formula for the Noncommutative Transport Distance”. In:Journal of Sta- tistical Physics187.2 (2022), p. 19.doi:10.1007/s10955-022-02911-9. arXiv:2104.11923. [...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-663-02555-9 1931

  12. [12]

    Gergely Bunth, HUN-REN Alfréd Rényi Institute of Mathematics, Reáltanoda u

    arXiv:2511.20450. Gergely Bunth, HUN-REN Alfréd Rényi Institute of Mathematics, Reáltanoda u. 13-15., Budapest H-1053, Hungary, and Department of Analysis and Operations Research, Institute of Mathematics, Budapest University of Technology and Economics, Műegyetem rkp. 3., Budapest H-1111, Hungary Email address:bunth.gergely@renyi.hu

    work page arXiv