pith. sign in

arxiv: 2605.17167 · v1 · pith:4NMRY4VTnew · submitted 2026-05-16 · 🧮 math.FA · math-ph· math.MP· math.OA

A Weighted Spectral Quantum Fidelity

Cong Trinh Le , The Khoi Vu , Minh Toan Ho , Trung Hoa Dinh This is my paper

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

classification 🧮 math.FA math-phmath.MPmath.OA
keywords quantum fidelityspectral geometric meanUhlmann fidelitydata processing inequalityoperator meansquantum statesinterpolation
0
0 comments X

The pith

A one-parameter family of quantum fidelities based on the weighted spectral geometric mean interpolates between trivial overlaps and the Uhlmann fidelity while violating data processing for generic parameters.

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

The paper defines a family of fidelity-type measures F_t^spec using the weighted spectral geometric mean and shows that it varies continuously from the trivial overlap at the endpoints t=0 and t=1 to the standard Uhlmann fidelity at the midpoint t=1/2. This family is shown to be distinct from the sandwiched Rényi family except exactly at that midpoint. It satisfies unitary invariance, tensor stabilization, multiplicativity, flip symmetry, and an orthogonality criterion, and closed forms are derived for pure states and for qubits. Concavity holds separately in each argument, the first Fuchs-van de Graaf inequality extends to all t, but the data processing inequality fails explicitly for t not equal to 1/2.

Core claim

The weighted spectral fidelity is introduced as F_t^spec(ρ,σ) = Tr[ρ (ρ^{-1} ♯ σ)^{2t}] for t in [0,1], where ♯ denotes the weighted spectral geometric mean. This expression equals the Uhlmann fidelity at t=1/2, reduces to the overlap at the endpoints, remains invariant under unitary conjugations and tensor products, is multiplicative, and satisfies flip symmetry. Explicit calculations demonstrate that it violates the data processing inequality for generic t ≠ 1/2, while separate concavity in each state is proved and the first Fuchs-van de Graaf inequality is extended to the full family.

What carries the argument

The weighted spectral geometric mean ρ^{-1} ♯ σ, which enters the trace expression Tr[ρ (ρ^{-1} ♯ σ)^{2t}] to produce the interpolating fidelity that carries all listed invariance, symmetry, and violation properties.

Load-bearing premise

The weighted spectral geometric mean is well-defined for the positive operators under consideration and the resulting trace expression behaves as a valid fidelity-type quantity with the stated structural properties.

What would settle it

An explicit pair of states ρ and σ together with a quantum channel such that F_t^spec(ρ,σ) < F_t^spec(Φ(ρ),Φ(σ)) for some t ≠ 1/2.

read the original abstract

We introduce and study a one-parameter family of fidelity-type quantities based on the weighted spectral geometric mean, which we call the \emph{weighted spectral fidelity} \( \mathsf{F}_t^{\mathrm{spec}}(\rho,\sigma):=\Tr\!\big[\rho(\rho^{-1}\sharp\sigma)^{2t}\big],\ t\in[0,1]. \) This family interpolates smoothly between the trivial overlap ($t=0,1$) and the Uhlmann (root) fidelity at $t=\tfrac12$, and it is distinct from the sandwiched R\'enyi family except at this midpoint. We establish core structural features-unitary invariance, tensor stabilization and multiplicativity, flip symmetry, endpoint behavior, and a orthogonality criterion. We further show explicit \emph{violations of DPI} for generic $t\neq\tfrac12$. For concavity in the state variables we obtain concavity in each variable separately. Closed forms are obtained for pure states and for qubits in Bloch coordinates. We also extend the first Fuchs--van de Graaf inequality to $\mathsf{F}_t^{\mathrm{spec}}$ for all $t\in[0,1]$, while the second inequality fails away from the midpoint.

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.

Referee Report

3 major / 2 minor

Summary. The manuscript introduces a one-parameter family of fidelity-type quantities called the weighted spectral fidelity, defined as F_t^spec(ρ,σ) = Tr[ρ (ρ^{-1} ♯ σ)^{2t}] for t in [0,1], based on the weighted spectral geometric mean. It claims this family smoothly interpolates between the trivial overlap at t=0 and t=1 and the Uhlmann fidelity at t=1/2, is distinct from the sandwiched Rényi family except at the midpoint, and satisfies several structural properties including unitary invariance, tensor stabilization and multiplicativity, flip symmetry, endpoint behavior, and an orthogonality criterion. Additionally, it shows explicit violations of the data processing inequality for generic t ≠ 1/2, obtains concavity in each state variable separately, provides closed forms for pure states and qubits, and extends the first Fuchs-van de Graaf inequality to all t while the second fails away from the midpoint.

Significance. If the results hold, particularly the rigorous extension to singular states and the verification of all claimed properties, this work contributes a new interpolating family of quantum fidelity measures that exhibits distinct behavior from existing families, such as explicit DPI violations. The closed-form expressions and the extension of inequalities add practical value for applications in quantum information theory. The parameter-free nature at specific points and the distinction from Rényi family are notable strengths.

major comments (3)
  1. [Definition of the weighted spectral fidelity (abstract and §2)] The definition F_t^spec(ρ,σ) := Tr[ρ (ρ^{-1} ♯ σ)^{2t}] (abstract and §2) presupposes that ρ is positive definite (invertible). The manuscript does not explicitly construct or verify a continuous extension to singular positive operators, such as through the Moore-Penrose pseudo-inverse, support projection, or limits of full-rank approximants. This extension is necessary to substantiate the claims of unitary invariance, explicit DPI violations for t ≠ 1/2, the Fuchs–van de Graaf extension, and the orthogonality criterion on the full set of density operators. If the limiting procedure does not commute with the trace or alters the value on the support, the structural claims become conditional on the domain.
  2. [DPI violations section] The explicit violations of the data processing inequality for generic t ≠ 1/2 (presumably §4) should be checked or stated whether they hold for singular states or require full rank assumptions, as this is central to distinguishing the family from the sandwiched Rényi family.
  3. [Concavity section] The claim of concavity in each variable separately (presumably §5) needs to specify the domain and whether the proof extends to singular cases without additional assumptions on invertibility.
minor comments (2)
  1. [Notation] Ensure consistent use of the sharp symbol ♯ throughout the manuscript for the weighted spectral geometric mean.
  2. [Structural properties] Verify that all structural properties (unitary invariance, multiplicativity) are stated with explicit reference to the domain of positive operators.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. The observations on the domain of definition and extension to singular states are important, and we will make the necessary revisions to strengthen the manuscript.

read point-by-point responses

  1. Referee: The definition F_t^spec(ρ,σ) := Tr[ρ (ρ^{-1} ♯ σ)^{2t}] (abstract and §2) presupposes that ρ is positive definite (invertible). The manuscript does not explicitly construct or verify a continuous extension to singular positive operators, such as through the Moore-Penrose pseudo-inverse, support projection, or limits of full-rank approximants. This extension is necessary to substantiate the claims of unitary invariance, explicit DPI violations for t ≠ 1/2, the Fuchs–van de Graaf extension, and the orthogonality criterion on the full set of density operators. If the limiting procedure does not commute with the trace or alters the value on the support, the structural claims become conditional on the domain.

    Authors: We thank the referee for this observation. The definition is initially stated for positive definite operators. In the revised manuscript we will add an explicit continuous extension to singular states via the Moore-Penrose pseudo-inverse for the weighted geometric mean together with a limiting argument using full-rank approximants. We will prove that the extension is continuous in the trace norm and that unitary invariance, the orthogonality criterion, the Fuchs–van de Graaf inequality, and the other structural properties remain valid on the full set of density operators. revision: yes

  2. Referee: The explicit violations of the data processing inequality for generic t ≠ 1/2 (presumably §4) should be checked or stated whether they hold for singular states or require full rank assumptions, as this is central to distinguishing the family from the sandwiched Rényi family.

    Authors: We agree that this verification is essential. The explicit counter-examples in the current manuscript are given for full-rank states. In the revision we will add a remark confirming that the violations persist for singular states, either by direct construction of singular counter-examples or by a continuity argument showing that the DPI violation is stable under trace-norm limits. This will reinforce the distinction from the sandwiched Rényi family on the entire domain. revision: yes

  3. Referee: The claim of concavity in each variable separately (presumably §5) needs to specify the domain and whether the proof extends to singular cases without additional assumptions on invertibility.

    Authors: We will revise the concavity section to state explicitly that concavity holds on the full set of density operators. The proof will first treat the invertible case and then extend to singular states by approximation: any singular state is the trace-norm limit of invertible states, and the concavity inequality passes to the limit by continuity of the weighted spectral fidelity under the extended definition. No additional invertibility assumption will be required in the final statement. revision: yes

Circularity Check

0 steps flagged

No significant circularity; definition and properties are self-contained

full rationale

The paper introduces the weighted spectral fidelity directly via the explicit trace formula Tr[ρ (ρ^{-1} ♯ σ)^{2t}] built on the standard weighted spectral geometric mean (a prior operator-theoretic object). All listed structural properties (unitary invariance, multiplicativity, DPI violations for t ≠ 1/2, Fuchs–van de Graaf extension, etc.) are derived from this definition and standard trace and operator inequalities without any reduction of a claimed result back to a fitted parameter, self-referential equation, or load-bearing self-citation chain. The domain question for singular states is a separate technical gap, not a circularity in the derivation chain itself.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The central contribution is a new definition that relies on the existence and basic algebraic properties of the weighted spectral geometric mean in the algebra of positive operators.

free parameters (1)
  • t
    The continuous parameter t in [0,1] that defines the weighting in the fidelity expression and controls which properties hold.
axioms (1)
  • domain assumption The weighted spectral geometric mean ρ^{-1} ♯ σ exists and is positive for density operators ρ and σ.
    The definition of F_t^spec directly invokes this operator mean.

pith-pipeline@v0.9.0 · 5755 in / 1390 out tokens · 53579 ms · 2026-05-20T14:14:08.665730+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

30 extracted references · 30 canonical work pages · 3 internal anchors

  1. [1]

    A note on the transition probability overC ∗-algebras,

    P. M. Alberti, “A note on the transition probability overC ∗-algebras,”Lett. Math. Phys.7, 25–32 (1983)

    work page 1983

  2. [2]

    Stochastic linear maps and transition probability

    P. M. Alberti and A. Uhlmann, “Stochastic linear maps and transition probability”.Lett. Math. Phys.7(2), 107–112 (1983)

    work page 1983

  3. [3]

    Locating overlap information in quantum systems

    A. Albrecht, “Locating overlap information in quantum systems”,Physical Review D.50(4), 2744–2753 (1994)

    work page 1994

  4. [4]

    Concavity of certain maps on positive definite matrices and applications to Hadamard products,

    T. Ando, “Concavity of certain maps on positive definite matrices and applications to Hadamard products,”Linear Algebra Appl.26, 203–241 (1979)

    work page 1979

  5. [5]

    Log-majorization and complementary Golden–Thompson type inequal- ities,

    T. Ando and F. Hiai, “Log-majorization and complementary Golden–Thompson type inequal- ities,”Linear Algebra Appl.197/198, 113–131 (1994)

    work page 1994

  6. [6]

    Comparisons between quantum state distinguishability measures,

    K. M. R. Audenaert, “Comparisons between quantum state distinguishability measures,” Quantum Info. Comput.4(1-2), 31–38 (2014)

    work page 2014

  7. [7]

    Reversing quantum dynamics with near-optimal quantum and clas- sical fidelity,

    H. Barnum and E. Knill, “Reversing quantum dynamics with near-optimal quantum and clas- sical fidelity,”J. Math. Phys.43, 2097–2106 (2002)

    work page 2097

  8. [8]

    Sandwiched R´ enyi divergence satisfies data processing inequality,

    S. Beigi, “Sandwiched R´ enyi divergence satisfies data processing inequality,”J. Math. Phys. 54(12), 122202 (2013)

    work page 2013

  9. [9]

    Bhatia,Positive Definite Matrices, Princeton University Press, 2007

    R. Bhatia,Positive Definite Matrices, Princeton University Press, 2007

    work page 2007

  10. [10]

    Alternative fidelity measure between two states of an n-state quantum system,

    L. Chen, S. Albeverio, and S.-M. Fei, “Alternative fidelity measure between two states of an n-state quantum system,”Phys. Rev. A.65, 054304 (2002)

    work page 2002

  11. [11]

    A fidelity measure for quantum states based on the matrix geometric mean,

    S. Cree and J. Sikora, “A fidelity measure for quantum states based on the matrix geometric mean,” arXiv:2006.06918 (2020)

    work page arXiv 2006

  12. [12]

    A matrix convexity approach to some problems in quantum information,

    E. G. Effros, “A matrix convexity approach to some problems in quantum information,”J. Funct. Anal.256(5), 1411–1442 (2009)

    work page 2009

  13. [13]

    A new positive definite geometric mean of two positive definite matrices,

    M. Fiedler and V. Pt´ ak, “A new positive definite geometric mean of two positive definite matrices,”Linear Algebra Appl.251, 1–20 (1997)

    work page 1997

  14. [14]

    L. Gan, X. Liu, and T.-Y. Tam. On two geometric means and sum of adjoint orbits. Linear Algebra Appl.631, 156–173 (2021)

    work page 2021

  15. [15]

    Jensen’s inequality for operators and L¨ owner’s theorem,

    F. Hansen and G. K. Pedersen, “Jensen’s inequality for operators and L¨ owner’s theorem,” Math. Ann.258, 229–241 (1982)

    work page 1982

  16. [16]

    Different quantumf-divergences and the reversibility of quantum operations

    F. Hiai and M. Mosonyi, “Different quantumf-divergences and the reversibility of quantum operations”,Reviews in Mathematical Physics.29(07), 1750023 (2017)

    work page 2017

  17. [17]

    Quasiequivalence of locally normal states,

    A. S. Holevo, “Quasiequivalence of locally normal states,”J. Theor. Math. Phys.13, 1071–1082 (1972). 15

    work page 1972

  18. [18]

    Fidelity for mixed quantum states,

    R. Jozsa, “Fidelity for mixed quantum states,”J. Mod. Opt.41(12), 2315–2323 (1994)

    work page 1994

  19. [19]

    Operator entropy and fidelity associated with the geometric mean

    S. Kim, “Operator entropy and fidelity associated with the geometric mean”,Linear Algebra Appl.438, 2475–2483 (2013)

    work page 2013

  20. [20]

    Relative operator entropy related with the spectral geometric mean,

    S. Kim and H. Lee, “Relative operator entropy related with the spectral geometric mean,” Anal. Math. Phys.5, 233–240 (2015)

    work page 2015

  21. [21]

    Quantum fidelity measures for mixed states,

    Y.-C. Liang, Y.-H. Yeh, P. E. M. F. Mendon¸ ca, R. Y. Teh, M. D. Reid, and P. D. Drummond, “Quantum fidelity measures for mixed states,”Rep. Prog. Phys.82(7), 076001 (2019)

    work page 2019

  22. [22]

    Reverse test and quantum analogue of classical fidelity and generalized fidelity

    K. Matsumoto, “A new quantum version off-divergence,” arXiv:1006.0302 (2010)

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  23. [23]

    A splitting proximal point method for Nash-Cournot equilibrium models involving nonconvex cost functions

    K. Matsumoto, “A new quantum version off-divergence II,” arXiv:1105.2632 (2011)

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  24. [24]

    A new quantum version of f-divergence

    K. Matsumoto, “A new quantum version off-divergence III,” arXiv:1311.4722 (2013)

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  25. [25]

    Monotonicity of the quantum relative entropy under positive maps,

    A. M¨ uller-Hermes and D. Reeb, “Monotonicity of the quantum relative entropy under positive maps,”Ann. Henri Poincar´ e.18, 1777–1788 (2017)

    work page 2017

  26. [26]

    M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information, Cambridge University Press, 2000

    work page 2000

  27. [27]

    Functional calculus for sesquilinear forms and the purification map,

    W. Pusz and S. L. Woronowicz, “Functional calculus for sesquilinear forms and the purification map,”Rep. Math. Phys.8(2), 159–170 (1975)

    work page 1975

  28. [28]

    E. M. Stein and R. Shakarchi,Complex Analysis, Princeton Lectures in Analysis, Volume II, Princeton University Press, 2003

    work page 2003

  29. [29]

    The transition probability in the state space of aC ∗-algebra,

    A. Uhlmann, “The transition probability in the state space of aC ∗-algebra,”Rep. Math. Phys. 9(2), 273–279 (1976)

    work page 1976

  30. [30]

    Recoverability for Holevo’s just-as-good fidelity,

    M. M. Wilde, “Recoverability for Holevo’s just-as-good fidelity,” inProc. IEEE Int. Symp. Inf. Theory (ISIT), 2331–2335 (2018). 16

    work page 2018