Trace-to-Hilbert-Schmidt Speed Ratio in Quantum Dynamics: Universal Bounds and Effective Rank

Hossein Rangani Jahromi

Any nonzero quantum-state tangent has trace-to-Hilbert-Schmidt speed ratio at least √2, with a sharp rank-dependent upper bound forced by Hermiticity and tracelessness.

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-13 06:58 UTC pith:MGAORV5Y

load-bearing objection Clean, elementary spectral bounds on the TS/HSS ratio that turn a routine norm comparison into a sharp effective-rank diagnostic for finite-dimensional quantum dynamics.

arxiv 2607.04488 v2 pith:MGAORV5Y submitted 2026-07-05 quant-ph

Trace-to-Hilbert-Schmidt Speed Ratio in Quantum Dynamics: Universal Bounds and Effective Rank

Hossein Rangani Jahromi This is my paper

classification quant-ph

keywords trace speedHilbert-Schmidt speedeffective rankquantum speed limitsquantum Fisher informationtraceless Hermitian operatorsparticipation ratioquantum metrology

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.

This paper proves that the ratio of trace speed to Hilbert-Schmidt speed for a differentiable quantum state is never free: because the tangent operator is always Hermitian and traceless, the ratio R sits between √2 and a ceiling that depends only on the tangent's rank (and is slightly stricter when that rank is odd). Pure states and all qubit families are locked exactly at the floor √2. Squaring the ratio yields an effective rank of the local dynamics—how many singular modes actually contribute to the instantaneous motion. The same quantity decomposes into classical (eigenvalue) and quantum (eigenvector) pieces, links to the quantum Fisher information, and tightens or loosens Hilbert-Schmidt-based quantum speed limits. A sympathetic reader cares because the two speeds are already used as practical witnesses of non-Markovianity and phase estimation; the paper supplies the missing universal conversion factor between them.

Core claim

For every nonzero traceless Hermitian operator X of rank r (the tangent of a differentiable density operator), the ratio of its trace norm to its Hilbert-Schmidt norm obeys the sharp bounds √2 ≤ ||X||_{1}/||X||_{2} ≤ √r when r is even and √2 ≤ ||X||_{1}/||X||_{2} ≤ √(r-1/r) when r is odd, with all equality cases completely characterized. When the ambient Hilbert-space dimension d is odd the global maximum tightens further to √(d-1/d). The squared ratio is precisely the participation ratio of the singular-value distribution and is therefore an effective rank of the local dynamics.

What carries the argument

The ratio R = ||∂_φ ρ||_{1} / ||∂_φ ρ||_{2} itself, rewritten as the participation ratio of the nonzero singular values of the Hermitian traceless tangent; this single number is both the object of the sharp inequalities and the definition of the Schatten effective rank r_eff = R^{2} that organizes the metrological and speed-limit consequences.

Load-bearing premise

Everything is proved only for continuously differentiable families of density operators on a finite-dimensional Hilbert space; continuous-variable or non-differentiable paths are outside the claimed regime.

What would settle it

Construct (or numerically evolve) any C^{1} family of density operators whose tangent at a non-stationary point has rank 3 and check whether the measured ratio R ever exceeds √(8/3) ≈ 1.633; if it does, the odd-rank upper bound is false.

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

If this is right

Every non-stationary pure-state or qubit evolution is forced to have effective rank exactly 2, so its two speeds differ only by the universal factor √2.
At fixed trace speed, a modest quantum Fisher information forces the effective rank to be large, signalling multi-mode dynamics.
Any Hilbert-Schmidt-based quantum speed limit is looser than the corresponding trace-speed bound by exactly the factor √r_eff (or its path maximum), giving an immediate hierarchy of tighter bounds when r_eff is known.
In odd dimension the algebraic ceiling √d is unattainable for physical tangents; the sharp global maximum is √(d-1/d).

Where Pith is reading between the lines

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

The same singular-value participation ratio could be monitored in real time as a cheap diagnostic of whether an open-system trajectory has left the pure-state or qubit regime.
Because the classical/quantum split of r_eff is basis-dependent only at eigenvalue crossings, experimental reconstructions that stay away from degeneracies could separately track population and coherence contributions to local speed.
Extending the bounds to non-Hermitian generators (e.g., effective non-Hermitian Hamiltonians) would test how much of the √2 floor survives once tracelessness alone remains.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

Clean, elementary spectral bounds on the TS/HSS ratio that turn a routine norm comparison into a sharp effective-rank diagnostic for finite-dimensional quantum dynamics.

read the letter

The punchline is simple: for any nonzero Hermitian traceless tangent of rank r the ratio R of Schatten-1 to Schatten-2 norms sits between √2 and a parity-dependent ceiling (√r even, √(r-1/r) odd), with every equality case characterized. That lower bound is forced by the positive/negative spectral balance required by tracelessness; the upper bounds come from Cauchy–Schwarz on each sign sector. Pure states and qubits pin R exactly at √2; odd dimension gives a global ceiling √(d-1/d). Squaring R yields a participation-ratio effective rank that then feeds a classical/quantum split, a QFI lower bound, and a hierarchy of speed limits. All of this is proved by elementary spectral arguments, equality cases are attained by explicit spectra, and an appendix supplies a concrete d=4 unitary saturation example.

What is actually new is the sharpened lower bound and the parity refinement together with the complete equality characterization and the odd-dimensional global maximum; the subsequent effective-rank, metrological and QSL consequences are direct corollaries. The math is solid and self-contained; you can check every step from the text alone. Citations are the standard QFI/QSL set plus the author’s earlier HSS papers; nothing looks padded or circular.

Soft spots are modest and mostly declared. Everything is restricted to C^{1} finite-dimensional families, so continuous-variable or non-differentiable paths are out of scope by construction. The classical/quantum decomposition becomes basis-dependent at eigenvalue crossings. The physical payoff is real but niche: a conversion factor and diagnostic useful inside the quantum-speed-limit and non-Markovianity communities rather than a reorganization of a larger field.

This is for people who already work with local speeds or quantum Fisher information and want a clean, parameter-free tool. The proofs are short enough that a serious referee can verify them in an afternoon. I would send it to peer review without hesitation and would cite the bounds and the effective-rank picture if I needed a conversion between TS and HSS. Worth engaging.

Referee Report

0 major / 4 minor

Summary. The paper studies the dimensionless ratio R = ∥∂_φρ∥_1 / ∥∂_φρ∥_2 between the trace and Hilbert–Schmidt speeds of a C^{1} family of finite-dimensional density operators. Because the tangent X = ∂_φρ is Hermitian and traceless, the authors prove the sharp rank-dependent bounds √2 ≤ R ≤ √r (even r) and √2 ≤ R ≤ √(r − 1/r) (odd r), with complete equality cases (Theorem 1). Pure-state and qubit families saturate the lower bound; for odd Hilbert-space dimension d the global maximum is sharpened to √(d − 1/d) (Theorem 2). Interpreting R^{2} as the participation ratio of the singular-value distribution yields an effective rank r_eff. This is decomposed into classical (eigenvalue) and quantum (eigenvector) contributions with r_eff ≤ r_C + r_Q, related to the quantum Fisher information by r_eff ≥ 8 TS^{2}/F for unitary encodings, and used to organize a hierarchy of quantum speed limits controlled by r_eff.

Significance. The central result is a clean, elementary spectral fact about traceless Hermitian matrices that is new in the quantum-speed literature and immediately applicable to metrology and quantum speed limits. Equality cases are fully characterized and attained by explicit spectra (including a concrete d = 4 unitary example in the appendix). The effective-rank interpretation, the classical/quantum split, the QFI inequality, and the speed-limit hierarchy are direct corollaries of the same identities; they require no free parameters and are falsifiable by direct computation of the two Schatten norms. Within the stated finite-dimensional C^{1} setting the derivations are rigorous and the bounds are sharp, so the paper supplies a useful, basis-independent diagnostic that links geometry, metrology and dynamics.

minor comments (4)

In the abstract and Theorem 1 the odd-rank upper bound is written √(r − 1/r). While the intended meaning is √(r − 1/r), a parenthetical or fraction form √((r − 1)/r) would remove any possible parsing ambiguity for readers scanning the paper.
Section VI.A notes that the classical/quantum decomposition becomes basis-dependent at eigenvalue crossings. A short remark on how one may choose a continuous eigenbasis (or work with spectral projectors) would make the practical use of r_C and r_Q clearer.
The hierarchy of speed limits in Section VI.C uses the time-averaged product √r_eff HSS. Explicitly stating whether the average is taken of the product or of each factor separately would avoid a minor notational ambiguity.
A few references to earlier Schatten-speed or statistical-speed papers (e.g., Gessner–Smerzi) already appear; a one-sentence comparison of the present ratio with those earlier notions would help place the work for non-specialists.

Circularity Check

0 steps flagged

No significant circularity: bounds follow from elementary spectral inequalities on traceless Hermitian matrices; effective-rank quantities are pure re-interpretations of already-derived norms.

full rationale

The central object R is defined directly as the ratio of Schatten 1- and 2-norms of the tangent X=∂_φρ. Theorem 1 then applies only the elementary estimates ∑α_k^{2} ≤ (∑α_k)^{2} and Cauchy–Schwarz on the positive and negative eigenvalue sectors of a traceless Hermitian matrix of rank r; the lower bound √2 and the parity-dependent upper bounds follow at once, with equality cases completely characterized by the same inequalities. Pure-state and qubit saturations (Proposition 1, Corollary 1, Proposition 2) are immediate specializations of the rank-2 case. The subsequent definitions r_eff:=R^{2}, r_C and r_Q are pure re-labelings of already-computed Schatten ratios; the inequality r_eff≤r_C+r_Q is the triangle inequality plus Hilbert–Schmidt orthogonality; the QFI relation and the speed-limit hierarchy are algebraic rearrangements of the same identities. No parameter is fitted to data, no uniqueness theorem is imported from prior work by the same author, and no claimed prediction reduces by construction to an input definition. The finite-dimensional C^{1} scope is an explicit limitation, not a circular premise. The derivation is therefore self-contained and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 2 invented entities

The work is a pure-mathematical derivation inside finite-dimensional quantum information. It imports only standard linear-algebra facts and the elementary structural properties of density operators; it introduces no free parameters and only definitional interpretive entities.

axioms (4)

domain assumption Density operators are positive semi-definite Hermitian operators of unit trace; their differentiable tangents are therefore Hermitian and traceless.
Stated in Section II, equations (1)–(3); used throughout as the source of the strengthened lower bound.
standard math Cauchy–Schwarz inequality and the elementary estimate ∑α_k² ≤ (∑α_k)² for positive numbers.
Invoked in the proof of Theorem 1 to bound the Hilbert–Schmidt norm from above and below.
standard math Triangle inequality for the trace norm and Hilbert–Schmidt orthogonality of the diagonal and off-diagonal parts of a Hermitian matrix.
Used in Proposition 3 to obtain r_eff ≤ r_C + r_Q.
domain assumption The standard expression for the symmetric-logarithmic-derivative quantum Fisher information of a unitary family.
Cited from Braunstein–Caves / Paris; employed in Section VI.B to relate F to HSS.

invented entities (2)

Schatten effective rank r_eff := R² no independent evidence
purpose: Interpret the squared speed ratio as the participation ratio of the singular-value distribution of the tangent.
Definitional re-reading of an already-derived quantity; no new physical postulate.
Classical and quantum effective ranks r_C, r_Q no independent evidence
purpose: Split the total effective rank into eigenvalue-drift and eigenvector-rotation contributions.
Again definitional; equality in the sum bound holds when one contribution vanishes, which is proved.

pith-pipeline@v1.1.0-grok45 · 16057 in / 2706 out tokens · 39680 ms · 2026-07-13T06:58:30.955522+00:00 · methodology

0 comments

read the original abstract

We address the ratio between the trace speed and the Hilbert-Schmidt speed for differentiable finite-dimensional quantum states, $\mathcal R=\|\partial_\phi\rho\|_1/\|\partial_\phi\rho\|_2$. Since the tangent $\partial_\phi\rho$ is Hermitian and traceless, $\mathcal R$ obeys stronger bounds than those for generic operators. For any nonzero tangent of rank $r$, we prove the sharp bounds $\sqrt{2}\le\mathcal R\le\sqrt{r}$ for even $r$ and $\sqrt{2}\le\mathcal R\le\sqrt{r-1/r}$ for odd $r$, characterizing all equality cases. Nonstationary pure-state and qubit families saturate the lower bound $\mathcal R=\sqrt2$. For odd Hilbert-space dimension $d$, we further prove the sharp global maximum $\mathcal R\le\sqrt{d-1/d}$. Interpreting $\mathcal R^2$ as the participation ratio of the singular-value distribution yields an effective-rank picture, $r_{\mathrm{eff}}=\mathcal R^2$. We decompose the effective rank into classical eigenvalue and quantum eigenvector contributions and obtain the bound $r_{\mathrm{eff}}\le r_C+r_Q$, with equality when either component vanishes. Linking the effective rank to the quantum Fisher information $F$ gives $r_{\mathrm{eff}}\ge 8\,\mathrm{TS}^2/F$, showing that a large effective rank is required when this lower bound substantially exceeds the universal minimum value $2$. Finally, a hierarchy of quantum speed limits shows how the effective rank controls the tightness of bounds expressed through the Hilbert-Schmidt speed.

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

20 extracted references · 1 linked inside Pith

[1]

InterpretingR2 as the participation ratio of the singular-value distribution yields an effective-rank picture,r eff =R 2

For odd Hilbert-space dimensiond, we further prove the sharp global maximum R≤ √ d−1/d. InterpretingR2 as the participation ratio of the singular-value distribution yields an effective-rank picture,r eff =R 2. We decompose the effective rank into classical eigenvalue and quantum eigenvector contributions and obtain the boundreff≤rC +rQ, with equality when...

Pith/arXiv arXiv 2026
[2]

Conversely, any traceless Hermitian rank-two operator has spectrum{λ,−λ}with λ̸= 0, and thereforeR(X) = √

Equality holds if and only ifm= n= 1, i.e.,Xhas exactly one positive and one negative eigenvalue, sorank(X) = 2. Conversely, any traceless Hermitian rank-two operator has spectrum{λ,−λ}with λ̸= 0, and thereforeR(X) = √
[3]

For the upper bound we minimize the denominator for fixedQ,m,n

This proves the lower bound and its equality condition. For the upper bound we minimize the denominator for fixedQ,m,n. By Cauchy–Schwarz, m∑ k=1 α2 k≥Q2 m, n∑ j=1 β2 j≥Q2 n ,(17) with equalities if and only if allαk are equal and allβj are equal. Hence R(X)2≤ 4Q2 Q2(1/m+ 1/n) = 4mn m+n .(18) For fixed rankr=m+n, the functionf(m) = 4m(r− m)/ris maximized ...
[4]

Hence every nonstationary differentiable qubit evolution satisfiesR=√ 2

This argument uses onlythedimensionandthetracelessHermitianstructure, so the rigidity holds irrespective of whether the dynamics are unitary, dissipative, or non-Markovian. Hence every nonstationary differentiable qubit evolution satisfiesR=√ 2. VI. PHYSICAL CONSEQUENCES: DECOMPOSITION, METROLOGY, AND SPEED LIMITS The effective rankr eff =R 2 and the asso...
[5]

For convenience, one may work in any instantaneous eigenbasis and set Dij =δij∂ϕpi, O ij = (1−δij)Xij, which reproduces the projector form on intervals of con- stant multiplicity

At isolated points where eigenvalues cross, the decomposition can be performed relative to any diagonalizing basis; the inequality proved below remains valid for any such choice, although the at- tribution ofDto eigenvalue changes andOto eigenvector rotations is then basis-dependent. For convenience, one may work in any instantaneous eigenbasis and set Di...
[6]

S. L. Braunstein and C. M. Caves, Statistical distance and the geometry of quantum states, Phys. Rev. Lett. 72, 3439 (1994)

1994
[7]

M. G. A. Paris, Quantum estimation for quantum tech- nology, Int. J. Quantum Inf.7, 125 (2009)

2009
[8]

Gessner and A

M. Gessner and A. Smerzi, Statistical speed of quan- tum states: Generalized quantum Fisher information and Schatten speed, Phys. Rev. A97, 022109 (2018)

2018
[9]

Deffner and S

S. Deffner and S. Campbell, Quantum speed limits: from Heisenberg’s uncertainty principle to optimal quantum control, J. Phys. A: Math. Theor.50, 453001 (2017)

2017
[10]

P. M. Poggi, S. Campbell, and S. Deffner, Diverging quantum speed limits: A herald of classicality, PRX Quantum2, 040349 (2021)

2021
[11]

Rangani Jahromi, K

H. Rangani Jahromi, K. Mahdavipour, M. Khazaei Shad- far, and R. Lo Franco, Witnessing non-Markovian effects of quantum processes through Hilbert-Schmidt speed, Phys. Rev. A102, 022221 (2020)

2020
[12]

Rangani Jahromi and R

H. Rangani Jahromi and R. Lo Franco, Hilbert-Schmidt speed as an efficient figure of merit for quantum esti- mation of phase encoded into the initial state of open n-qubit systems, Sci. Rep.11, 7128 (2021)

2021
[13]

Alizadeh, M

E. Alizadeh, M. Amniat-Talab, and H. Rangani Jahromi, Measurable quantum speed for detecting non- Markovianity and estimating encoded phases, Quantum Inf. Process.24, 163 (2025)

2025
[14]

C. W. Helstrom,Quantum Detection and Estimation Theory(Academic Press, New York, 1976)

1976
[15]

A. S. Holevo,Probabilistic and Statistical Aspects of Quantum Theory(North-Holland, Amsterdam, 1982)

1982
[16]

Mandelstam and I

L. Mandelstam and I. Tamm, The uncertainty relation between energy and time in non-relativistic quantum me- chanics, J. Phys. (USSR)9, 249 (1945)

1945
[17]

Giovannetti, S

V. Giovannetti, S. Lloyd, and L. Maccone, Quantum limits to dynamical evolution, Phys. Rev. A67, 052109 (2003)

2003
[18]

M. M. Taddei, B. M. Escher, L. Davidovich, and R. L. de Matos Filho, Quantum speed limit for physical processes, Phys. Rev. Lett.110, 050402 (2013)

2013
[19]

del Campo, I

A. del Campo, I. L. Egusquiza, M. B. Plenio, and S. F. Huelga, Quantum speed limits in open system dynamics, Phys. Rev. Lett.110, 050403 (2013)

2013
[20]

Deffner and E

S. Deffner and E. Lutz, Quantum speed limit for non- Markovian dynamics, Phys. Rev. Lett.111, 010402 (2013)

2013

[1] [1]

InterpretingR2 as the participation ratio of the singular-value distribution yields an effective-rank picture,r eff =R 2

For odd Hilbert-space dimensiond, we further prove the sharp global maximum R≤ √ d−1/d. InterpretingR2 as the participation ratio of the singular-value distribution yields an effective-rank picture,r eff =R 2. We decompose the effective rank into classical eigenvalue and quantum eigenvector contributions and obtain the boundreff≤rC +rQ, with equality when...

Pith/arXiv arXiv 2026

[2] [2]

Conversely, any traceless Hermitian rank-two operator has spectrum{λ,−λ}with λ̸= 0, and thereforeR(X) = √

Equality holds if and only ifm= n= 1, i.e.,Xhas exactly one positive and one negative eigenvalue, sorank(X) = 2. Conversely, any traceless Hermitian rank-two operator has spectrum{λ,−λ}with λ̸= 0, and thereforeR(X) = √

[3] [3]

For the upper bound we minimize the denominator for fixedQ,m,n

This proves the lower bound and its equality condition. For the upper bound we minimize the denominator for fixedQ,m,n. By Cauchy–Schwarz, m∑ k=1 α2 k≥Q2 m, n∑ j=1 β2 j≥Q2 n ,(17) with equalities if and only if allαk are equal and allβj are equal. Hence R(X)2≤ 4Q2 Q2(1/m+ 1/n) = 4mn m+n .(18) For fixed rankr=m+n, the functionf(m) = 4m(r− m)/ris maximized ...

[4] [4]

Hence every nonstationary differentiable qubit evolution satisfiesR=√ 2

This argument uses onlythedimensionandthetracelessHermitianstructure, so the rigidity holds irrespective of whether the dynamics are unitary, dissipative, or non-Markovian. Hence every nonstationary differentiable qubit evolution satisfiesR=√ 2. VI. PHYSICAL CONSEQUENCES: DECOMPOSITION, METROLOGY, AND SPEED LIMITS The effective rankr eff =R 2 and the asso...

[5] [5]

For convenience, one may work in any instantaneous eigenbasis and set Dij =δij∂ϕpi, O ij = (1−δij)Xij, which reproduces the projector form on intervals of con- stant multiplicity

At isolated points where eigenvalues cross, the decomposition can be performed relative to any diagonalizing basis; the inequality proved below remains valid for any such choice, although the at- tribution ofDto eigenvalue changes andOto eigenvector rotations is then basis-dependent. For convenience, one may work in any instantaneous eigenbasis and set Di...

[6] [6]

S. L. Braunstein and C. M. Caves, Statistical distance and the geometry of quantum states, Phys. Rev. Lett. 72, 3439 (1994)

1994

[7] [7]

M. G. A. Paris, Quantum estimation for quantum tech- nology, Int. J. Quantum Inf.7, 125 (2009)

2009

[8] [8]

Gessner and A

M. Gessner and A. Smerzi, Statistical speed of quan- tum states: Generalized quantum Fisher information and Schatten speed, Phys. Rev. A97, 022109 (2018)

2018

[9] [9]

Deffner and S

S. Deffner and S. Campbell, Quantum speed limits: from Heisenberg’s uncertainty principle to optimal quantum control, J. Phys. A: Math. Theor.50, 453001 (2017)

2017

[10] [10]

P. M. Poggi, S. Campbell, and S. Deffner, Diverging quantum speed limits: A herald of classicality, PRX Quantum2, 040349 (2021)

2021

[11] [11]

Rangani Jahromi, K

H. Rangani Jahromi, K. Mahdavipour, M. Khazaei Shad- far, and R. Lo Franco, Witnessing non-Markovian effects of quantum processes through Hilbert-Schmidt speed, Phys. Rev. A102, 022221 (2020)

2020

[12] [12]

Rangani Jahromi and R

H. Rangani Jahromi and R. Lo Franco, Hilbert-Schmidt speed as an efficient figure of merit for quantum esti- mation of phase encoded into the initial state of open n-qubit systems, Sci. Rep.11, 7128 (2021)

2021

[13] [13]

Alizadeh, M

E. Alizadeh, M. Amniat-Talab, and H. Rangani Jahromi, Measurable quantum speed for detecting non- Markovianity and estimating encoded phases, Quantum Inf. Process.24, 163 (2025)

2025

[14] [14]

C. W. Helstrom,Quantum Detection and Estimation Theory(Academic Press, New York, 1976)

1976

[15] [15]

A. S. Holevo,Probabilistic and Statistical Aspects of Quantum Theory(North-Holland, Amsterdam, 1982)

1982

[16] [16]

Mandelstam and I

L. Mandelstam and I. Tamm, The uncertainty relation between energy and time in non-relativistic quantum me- chanics, J. Phys. (USSR)9, 249 (1945)

1945

[17] [17]

Giovannetti, S

V. Giovannetti, S. Lloyd, and L. Maccone, Quantum limits to dynamical evolution, Phys. Rev. A67, 052109 (2003)

2003

[18] [18]

M. M. Taddei, B. M. Escher, L. Davidovich, and R. L. de Matos Filho, Quantum speed limit for physical processes, Phys. Rev. Lett.110, 050402 (2013)

2013

[19] [19]

del Campo, I

A. del Campo, I. L. Egusquiza, M. B. Plenio, and S. F. Huelga, Quantum speed limits in open system dynamics, Phys. Rev. Lett.110, 050403 (2013)

2013

[20] [20]

Deffner and E

S. Deffner and E. Lutz, Quantum speed limit for non- Markovian dynamics, Phys. Rev. Lett.111, 010402 (2013)

2013