Contractivity of the Hilbert--Schmidt Speed and Unitality--Divisibility-Based Witnesses in Finite-Dimensional Quantum Dynamics

Hossein Rangani Jahromi

Contractivity of the Hilbert--Schmidt Speed and Unitality--Divisibility-Based Witnesses in Finite-Dimensional Quantum Dynamics

T0 review · 0 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read Hilbert–Schmidt speed monotonicity is governed by unitality and dimension: qubits always contract under P-divisibility, while non-unital d≥3 CP-divisible dynamics can increase it.

desk verdict A clean, correct paper that settles when Hilbert–Schmidt speed growth is a valid non-Markovianity witness, with the qutrit counterexample as the genuinely new result. read the letter →

arxiv 2607.05619 v3 pith:IVVTSEQO submitted 2026-07-06 quant-ph

Hossein Rangani Jahromi This is my paper · ORCID

classification quant-ph PACS 03.65.Yz

keywords Hilbert–Schmidtspeedquantumnon-MarkovianitydivisibilitywitnessP-divisibilityCP-divisibilityunitaldynamicsGKSLequationqubitopensystems

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to state precisely when an increase in the Hilbert–Schmidt speed (HSS) of a quantum state family can be read as evidence that the underlying dynamics is non-Markovian. Its central results: unitality makes a positive trace-preserving map Hilbert–Schmidt contractive on all Hermitian operators, so unital P-divisible dynamics in any finite dimension have monotonically nonincreasing HSS; for qubits, P-divisibility alone guarantees HSS monotonicity. The conclusions are dimension-dependent: the paper constructs a non-unital, completely positive divisible qutrit semigroup whose HSS strictly increases at every finite time, showing that in d≥3 HSS growth is not by itself a divisibility witness. It also derives a generator-level dissipation identity for unital GKSL dynamics, dH²/dt = −½ Σ γα‖[Lα,X]‖², which explains the decay and shows where a parameter-dependent generator would break the argument.

What carries the argument

The central objects are: (1) the HSS itself, defined as (1/√2)‖∂φρφ‖_HS on Hermitian traceless tangents; (2) Kadison's inequality, which in the unital positive case gives Φ(X²)≥Φ(X)² and hence HS-contractivity; (3) the trace-norm contractivity of positive trace-preserving maps (Lemma V.1) combined with the qubit eigenvalue structure {λ,−λ}, which makes ‖X‖₁=√2‖X‖_HS for traceless Hermitian operators — that removes unitality in d=2; and (4) the dissipator identity 2 Tr[X D_L(X)] = −‖[L,X]‖²_HS + Tr[X²(LL†−L†L)], whose second term vanishes exactly under generator unitality, yielding the dissipation formula (62). The example generator L=|1⟩⟨2| acts as the counterexample mechanism because LL†−L†

What would settle it

Compute H²(t) for the qutrit semigroup generated by L=|1⟩⟨2| starting from X(0)=diag(2,1,−3) at a small t; the paper's formula gives 9−3u+u² with u=e^{−γt} and dH²/dt=γu(3−2u)>0. If a numerical integration instead yields a non-increasing H², the central counterexample is wrong, and the d≥3 claim collapses. Equivalently, a unital CP-divisible evolution (so that Σ γα(LαLα†−Lα†Lα)=0) with parameter-independent encoding whose HSS increases would contradict Eq. (62) and refute the unital monotonicity theorem.

Watch

Extended reading notes

Core claim

The paper's central claim, stated by the author for a fair reader, is a characterization: a positive trace-preserving map is Hilbert–Schmidt contractive on every Hermitian operator if and only if it is unital (Theorem III.1). Because physical state tangents are exactly the traceless Hermitian operators, this means unital maps contract the tangent vectors that define HSS, and, under the added assumption of P-divisibility, every intermediate propagator is unital, yielding H(t)≤H(s) for all t≥s (Theorem IV.4). The paper proves a strictly stronger qubit statement: via trace-norm contractivity and the identity ‖X‖₁=√2‖X‖_HS for traceless Hermitian qubit operators, every positive trace-preserving

Load-bearing premise

The proofs treat the channel or generator as fixed and independent of the encoded parameter φ; if the dynamics depends on φ, an extra source term (∂φΛφ)(ρφ) enters the tangent equation and the HSS monotonicity formulas need not hold, even for unital CP-divisible dynamics.

Editorial extensions

If this is right

For unital finite-dimensional evolutions, observing H(t)>H(s) on any interval is a certificate that the evolution is not P-divisible (and hence not CP-divisible) there.
For qubit evolutions, HSS growth certifies failure of P-divisibility regardless of unitality, making HSS a robust, easily computed non-Markovianity witness in dimension two.
In d≥3, HSS growth has two possible causes — loss of P-divisibility or non-unitality — so unitality information is required before interpreting HSS growth as a memory-effect signature.
For unital GKSL time-local dynamics, the squared HSS is a Lyapunov-like quantity with derivative −½Σγα‖[Lα,X]‖², linking divisibility witnesses to generator structure.
The counterexample embeds into every dimension d>3 by acting trivially on extra levels, so the limitation is generic, not an artifact of qutrit specifics.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The parameter-independence restriction is the practical Achilles' heel: in adaptive or continuous-measurement metrology where the generator depends on the encoded phase, Eq. (7) inserts a source term and HSS monotonicity can fail even for unital CP-divisible dynamics; the paper flags this in Remark II.1 and Remark VI.4.
The qubit proof suggests looking for other d where the trace norm and Hilbert-Schmidt norm are equivalent on traceless Hermitian operators; the eigenvalue argument shows no such equivalence holds for d≥3, but restricted tangent subspaces (e.g., single-excitation manifolds) might recover qubit-like contractivity.
A testable experimental consequence: an engineered qutrit amplitude-damping channel with L=|1⟩⟨2| should show monotonically increasing HSS for the diagonal tangent diag(2,1,−3), even though the channel is Markovian; measuring the identity map's image Φ(I) can discriminate non-unitality and prevent false non-Markovianity alarms.
For non-unital generators, the identity (62) fails precisely by the term ½Tr[X² Σ γα(LL†−L†L)], so one could construct a 'non-unitality witness' from this term to separate the two sources of HSS growth.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

This paper does real work. The headline result—that unitality is equivalent to Hilbert–Schmidt contractivity on all Hermitian operators, and that unital P-divisible dynamics makes HSS monotone—is proved cleanly from standard tools (Kadison, trace-norm contractivity, qubit norm identity). The qubit corollary, where P-divisibility alone suffices regardless of unitality, is a nice dimension-specific bonus. I checked the main steps and they hold. The generator-level dissipation identity is a useful differential picture, and the paper is careful to separate endpoint contraction from full monotonicity, which is exactly the kind of distinction that experimental users of HSS need.

The qutrit counterexample is the real contribution. A non-unital CP-divisible semigroup with strictly increasing HSS at every finite time is explicit, solvable, and closes the question: in d≥3, HSS growth does not by itself witness divisibility breaking when the dynamics is non-unital. That is practically important, because HSS is used as a cheap witness, and this paper tells you exactly when that witness is reliable.

Soft spots are minor. The parameter-independence assumption is the main scope restriction—if the channel or generator depends on the encoded parameter, an extra source term appears and monotonicity can fail even for unital CP-divisible dynamics. The paper flags this explicitly in Remarks II.1 and VI.4, so it is not hidden, but it does mean the divisibility-witness claims do not cover parameter-estimation settings where the generator is φ-dependent. Also, the qubit result is built on a known norm identity; the novelty there is modest. The proof of the qutrit example relies on a diagonal tangent, which is fine but worth remembering that the witness failure is demonstrated only on a specific family, not generically. None of this affects the validity of the theorems as stated.

The citation pattern looks honest. Ref [6] is credited with the underlying non-contractivity of the Hilbert–Schmidt distance, and the paper does not oversell the HSS witness beyond the stated regimes. No fitted parameters, no circular logic. This is a straightforward, well-scoped theory paper that will be useful to people who use HSS as a non-Markovianity probe, especially experimental groups.

Send it to peer review. I would accept with minor revision, mostly asking for a slightly fuller discussion of the parameter-dependent case and a note on how the qubit monotonicity result interacts with the BLP-type criteria. I would cite it and would bring it to a reading group.

Referee Report

0 major / 3 minor

Summary. The paper studies the Hilbert–Schmidt speed (HSS) as a witness of non-Markovianity and characterizes exactly when an increase of HSS can be interpreted as a failure of divisibility. The main results are: (i) a positive trace-preserving map is Hilbert–Schmidt contractive on all Hermitian operators if and only if it is unital (Theorem III.1); (ii) for unital dynamics in arbitrary finite dimension, P-divisibility implies HSS monotonicity between any two times (Theorem IV.4 with Proposition IV.2); (iii) for qubits, P-divisibility alone suffices, without unitality (Lemma V.1 and Theorem V.3); (iv) for unital CP-divisible GKSL dynamics, an explicit generator-level dissipation identity gives dH^2/dt <= 0 (Theorem VI.2); and (v) in dimension d >= 3, non-unital CP-divisible dynamics can increase HSS, demonstrated by the explicit qutrit semigroup L = |1><2| with X(0) = diag(2,1,-3), for which H^2(t) = 9 - 3u + u^2, u = e^{-\gamma t}. All results are stated under the explicit assumption that the channel/generator is independent of the encoded parameter (Remarks II.1 and VI.4).

Significance. The paper provides a clean and rigorous clarification of a frequently used witness. The proofs are transparent and rely only on standard results (Kadison's inequality, Cauchy-Schwarz, trace-norm contractivity of positive maps, GKSL structure). I verified the key identities: Lemma VI.1 and the qutrit solution in Sec. VII are correct, including the sign of the derivative. The counterexample is exact, parameter-free, and falsifiable, and it properly delimits the scope of the HSS witness. The parameter-independence restriction is a genuine limitation for parameter-estimation settings, but it is disclosed and does not affect the theorems as stated. Overall, the paper is a solid, useful contribution; it does not overclaim and it gives a precise logical hierarchy.

minor comments (3)

[Sec. VII, Eq. (75)] The stated range -1/6 <= phi <= 1/9 refers to the initial state parametrization rho_phi(0) = I/3 + phi X(0). Because the semigroup is non-unital, the affine decomposition with fixed identity is not preserved in time: rho_phi(t) is not equal to I/3 + phi X(t) for t > 0. The tangent computation itself is unaffected, but a sentence noting the shift of the 'center' would prevent a possible misreading.
[Remarks II.1 and VI.4] The assumption that the channel/generator is independent of the encoded parameter is correctly and explicitly flagged. Since this is a real scope restriction for quantum-metrology applications, I suggest stating it more prominently, for instance in the abstract or at the end of the introduction, so that the theorems are not read as holding for parameter-dependent generators.
[Appendix A] The appendix uses the standard fact that every positive map from a commutative C*-algebra into B(H) is completely positive. This is true, but it is stated without proof or reference. Adding a citation (e.g., to Paulsen's book) would make the appendix self-contained.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: all central claims are proved from stated assumptions and standard results; self-citations are contextual.

full rationale

The paper's derivation chain is self-contained. Theorem III.1 proves unitality is equivalent to Hilbert–Schmidt contractivity on all Hermitian operators using Kadison's inequality (cited standard result, with proof in Appendix A) and a Cauchy–Schwarz argument; the converse direction does not assume the conclusion. Corollary III.3 and Theorem IV.4 apply this to tangent operators under the explicit parameter-independence assumption (Eq. (6), Remark II.1), which is a scope condition, not a circular input. The qubit result Theorem V.3 follows from Lemma V.1, whose proof uses only positivity and trace preservation, plus the qubit-specific norm identity ∥X∥1 = √2∥X∥HS; no fitted data or self-citation is involved. Theorem VI.2's generator identity (62) is derived by direct algebra (Lemma VI.1) with the unitality condition stated; the sign was independently checked. The qutrit counterexample is an explicit solved semigroup, not a fit: H²(t) = 9 − 3u + u² with u = e^(−γt) and dH²/dt = γu(3−2u) > 0, demonstrating CP-divisible HSS growth. References [7], [9], and [10] are the author's earlier works, but they are cited only for background on the HSS witness's prior usage and exceptional-point probes, not as justification for any theorem here. No prediction reduces to an input by construction, and no fitted parameter is renamed as a result. Accordingly, the circularity score is 0.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new particles, forces, or entities. Its central theorems rest on standard mathematical inequalities and the GKSL framework, with one transparent modeling assumption: parameter independence of the dynamics. The only hand-chosen numeric object is the positive rate γ in the counterexample, which is an existence parameter rather than a fitted constant.

free parameters (1)

γ = > 0, arbitrary
Positive decay rate in the explicit qutrit counterexample (Eq. 71). Any γ > 0 works, so this is a construction parameter, not a value fitted to data.

assumptions (5)

standard math Kadison's inequality: for a positive unital map Φ and Hermitian X, Φ(X^2) ≥ Φ(X)^2.
Used in the proof of Theorem III.1; a proof sketch is given in Appendix A, citing Kadison [11].
standard math Positive trace-preserving maps contract the trace norm on Hermitian operators.
Proved in Lemma V.1 using Jordan decomposition, positivity, and trace preservation; central to the qubit result.
domain assumption GKSL/Lindblad form for time-local CP-divisible generators with nonnegative rates γα(t).
Invoked in Section VI via Refs. [12,13]; the monotonicity identity (62) relies on this generator structure.
domain assumption The channel/generator is independent of the encoded parameter φ (parameter independence).
Assumed in Sec. II (Eq. (6)) and Sec. VI before Eq. (46); explicitly identified as essential in Remarks II.1 and VI.4. If violated, an extra source term appears and monotonicity can fail.
domain assumption Definitions of P-divisibility and CP-divisibility via positive/CPTP propagators.
Definition IV.1; the witness conclusions are relative to these standard divisibility notions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Contractivity of the Hilbert--Schmidt Speed and Unitality--Divisibility-Based Witnesses in Finite-Dimensional Quantum Dynamics." pith.science (2026). https://pith.science/paper/IVVTSEQO

@misc{pith2026260705619,
  author       = {Pith},
  title        = {Pith review of: Contractivity of the Hilbert--Schmidt Speed and Unitality--Divisibility-Based Witnesses in Finite-Dimensional Quantum Dynamics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IVVTSEQO}},
  note         = {Machine review of arXiv:2607.05619}
}

abstract

We investigate the Hilbert--Schmidt speed as a witness of non-Markovianity in finite-dimensional quantum dynamics. For a differentiable one-parameter family of quantum states, the Hilbert--Schmidt speed is defined, up to a conventional factor, as the Hilbert--Schmidt norm of the corresponding Hermitian traceless tangent operator. We show that, for unital dynamics in arbitrary finite dimension, P-divisibility implies the monotonic decrease of the Hilbert--Schmidt speed. Hence, any increase in this quantity signals the breakdown of P-divisibility, and therefore also excludes CP-divisibility. For qubit systems, we establish a stronger result: every P-divisible evolution decreases the Hilbert--Schmidt speed, independently of unitality. Thus, in dimension two, HSS growth is a valid witness of non-Markovian behaviour for arbitrary positive divisible dynamics. This conclusion is dimension dependent. In dimensions $d\geq3$, non-unitality can generate HSS growth even under CP-divisible dynamics. We demonstrate this by constructing an explicit non-unital CP-divisible qutrit semigroup for which the Hilbert--Schmidt speed strictly increases. Finally, for unital GKSL dynamics, we derive a generator-level dissipation identity explaining the monotonic decay of the Hilbert--Schmidt speed. These results specify the regimes in which HSS growth can be interpreted as evidence of the failure of divisibility and clarify its limitation for higher-dimensional non-unital evolutions.

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 1 linked inside Pith

[6]

Unitality together with P-divisibility implies mono- tonicity between every pair of times
[1]

contraction of a single dynamical map between time zero and timet
[2]

contraction of every intermediate propagator be- tween arbitrary timessandt
[3]

Hilbert–Schmidt speed (HSS) has recently emerged as a practical witness of non-Markovianity

contraction on all Hermitian operators, as opposed to contraction only on traceless Hermitian state tangents. Hilbert–Schmidt speed (HSS) has recently emerged as a practical witness of non-Markovianity. In particular, the HSS-based witness was introduced in Ref. [ 7], where it was shown, through several paradigmatic open-system models, to detect memory ef...
[4]

A positive trace-preserving map is Hilbert–Schmidt contractive on all Hermitian operators if and only if it is unital
[5]

Unital dynamical maps imply contraction relative to the initial time
[7]

For qubits, P-divisibility alone implies monotonicity of the Hilbert–Schmidt speed
[8]

P-divisible

In dimensions d≥ 3, non-unital CP-divisible dy- namics can increase the Hilbert–Schmidt speed. Throughout the paper, “P-divisible” and “CP-divisible” refer to divisibility by positive trace-preserving and com- pletely positive trace-preserving propagators [ 1], respec- tively. We avoid using “Markovian” without qualification because several inequivalent n...

arXiv 2026

Show all 30 references

[9]

Φis Hilbert–Schmidt contractive on every Hermitian operator: ∥Φ(X)∥ HS ≤ ∥X∥HS for everyX=X †. Proof. Suppose first that Φ is positive and unital. Kadi- son’s inequality [11] (see Appendix A) for a unital positive map gives, for every HermitianX, Φ(X 2)≥Φ(X) 2.(8) Taking the t...
[10]

Every dynamical map is unital: Λt(I) =Ifor everyt≥0.(22)
[11]

For every t≥s≥ 0, there exists a unital positive trace-preserving mapV t,s satisfying Λt =V t,s ◦Λ s.(23)
[12]

For every t≥s≥ 0, every positive trace-preserving mapV t,s satisfying Λt =V t,s ◦Λ s (24) is unital. Proof. Assume that statement 1 holds. Thus, for every r≥0, Λr(I) =I. Fix t≥s≥ 0, and let Vt,s be any admissible factor map satisfying Λt =V t,s ◦Λ s. Since Λs is unital, Λ s(I)...
[13]

If everyΛ t is positive, trace preserving, and unital, then H(t)≤ H(0)for everyt≥0.(26) 4
[14]

Now suppose that the evolution is P-divisible

If, in addition, the evolution is P-divisible, then H(t)≤ H(s)for everyt≥s≥0.(27) Proof.Parameter independence gives Xφ(t) = Λt(Xφ(0)).(28) If Λt is unital, Corollary III.3 gives H(t)≤ H(0). Now suppose that the evolution is P-divisible. By Proposition IV.2, every admissible p...
[15]

failure of P-divisibility; or
[16]

Thus, independent information about the unitality of the dynamics is required before the growth can be interpreted as a witness of divisibility breaking

failure of Hilbert–Schmidt contractivity on traceless Hermitian tangents caused by non-unital dynamics. Thus, independent information about the unitality of the dynamics is required before the growth can be interpreted as a witness of divisibility breaking. IX. LOGICAL HIERARC...
[17]

Breuer and F

H.-P. Breuer and F. Petruccione, The theory of open quantum systems, OUP Oxford, 2002

2002
[18]

M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information: 10th anniversary edition, Cam- bridge University Press, Cambridge, 2010

2010
[19]

Rivas, S

A. Rivas, S. F. Huelga, and M. B. Plenio, Entanglement and non-Markovianity of quantum evolutions, Phys. Rev. Lett.105, 050403 (2010)

2010
[20]

Breuer, E.-M

H.-P. Breuer, E.-M. Laine, J. Piilo, and B. Vacchini, Colloquium: Non-Markovian dynamics in open quantum systems, Rev. Mod. Phys.88, 021002 (2016)

2016
[21]

Rivas, S

A. Rivas, S. F. Huelga, and M. B. Plenio, Quantum non-Markovianity: Characterization, quantification and detection, Rep. Prog. Phys.77, 094001 (2014)

2014
[22]

Wang and S

X. Wang and S. G. Schirmer, Contractivity of the Hilbert– Schmidt distance under open-system dynamics, Phys. Rev. A79, 052326 (2009)

2009
[23]

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
[24]

Breuer, E.-M

H.-P. Breuer, E.-M. Laine, and J. Piilo, Measure for the degree of non-Markovian behavior of quantum processes in open systems, Phys. Rev. Lett.103, 210401 (2009)

2009
[25]

Mahdavipour, M

K. Mahdavipour, M. Khazaei Shadfar, H. Ran- gani Jahromi, R. Morandotti, and R. Lo Franco, Memory Effects in High-Dimensional Systems Faithfully Identified by Hilbert–Schmidt Speed-Based Witness, Entropy24, 395 (2022)

2022
[26]

Rangani Jahromi and R

H. Rangani Jahromi and R. Lo Franco, Searching for exceptional points and inspecting non-contractivity of trace distance in (anti-)PT -symmetric systems, Quantum Inf. Process.21, 155 (2022)

2022
[27]

R. V. Kadison, Ann. Math.56, 494 (1952)

1952
[28]

Gorini, A

V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, Com- pletely positive dynamical semigroups of N -level systems, J. Math. Phys.17, 821–825 (1976)

1976
[29]

Lindblad, On the generators of quantum dynamical semigroups, Commun

G. Lindblad, On the generators of quantum dynamical semigroups, Commun. Math. Phys.48, 119–130 (1976)

1976
[30]

Chru´ sci´ nski and F

D. Chru´ sci´ nski and F. Mukhamedov, Phys. Rev. A100, 052120 (2019)

2019

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [6]

Unitality together with P-divisibility implies mono- tonicity between every pair of times

[2] [1]

contraction of a single dynamical map between time zero and timet

[3] [2]

contraction of every intermediate propagator be- tween arbitrary timessandt

[4] [3]

Hilbert–Schmidt speed (HSS) has recently emerged as a practical witness of non-Markovianity

contraction on all Hermitian operators, as opposed to contraction only on traceless Hermitian state tangents. Hilbert–Schmidt speed (HSS) has recently emerged as a practical witness of non-Markovianity. In particular, the HSS-based witness was introduced in Ref. [ 7], where it was shown, through several paradigmatic open-system models, to detect memory ef...

[5] [4]

A positive trace-preserving map is Hilbert–Schmidt contractive on all Hermitian operators if and only if it is unital

[6] [5]

Unital dynamical maps imply contraction relative to the initial time

[7] [7]

For qubits, P-divisibility alone implies monotonicity of the Hilbert–Schmidt speed

[8] [8]

P-divisible

In dimensions d≥ 3, non-unital CP-divisible dy- namics can increase the Hilbert–Schmidt speed. Throughout the paper, “P-divisible” and “CP-divisible” refer to divisibility by positive trace-preserving and com- pletely positive trace-preserving propagators [ 1], respec- tively. We avoid using “Markovian” without qualification because several inequivalent n...

arXiv 2026