Removing Trace Preservation from a Universal Spectral Bound for 2-Positive Maps
Abstract
Vom Ende, Chruściński, Kimura and Muratore-Ginanneschi proved that every 2-positive trace-preserving map Φ on Md=Md(ℂ) satisfies TrΦ≤ d m(Φ) + d2 − d, where m(Φ) is the smallest real part of an eigenvalue of Φ, and deduced the universal relaxation-rate bound Tr L ≤ d m(L) for generators of 2-positive trace-preserving semigroups. They asked whether trace preservation is needed, and conjectured that every conditionally 2-positive map L, i.e. every L for which etL is 2-positive for all t ≥ 0, satisfies Tr L ≤ d m(L) + (d2 − d) s(L), where s(L) is the largest real part of an eigenvalue of L. We prove this conjecture. The argument normalizes a 2-positive map by a positive definite eigenmatrix of its Hilbert-Schmidt adjoint, which turns it into a 2-positive trace-preserving map in the manner of a quantum Doob transform. The existence of such an eigenmatrix is guaranteed after adding an arbitrarily small multiple of the unnormalized depolarizing map, and the inequality then passes to the limit by continuity of the spectrum. No irreducibility, diagonalizability or faithful-invariant-state assumption is required. We also show that the constant d is optimal within the class of non-trace-preserving completely positive semigroups, and we recast the result as a universal constraint on decay rates measured relative to the dominant spectral growth rate.
Related
- Density and Spectral Criteria for Universal Nonuniform Sampling of Positive Operator Orbits
- Stochastic trace estimation for positive trace-class operators
- A trace lower bound for totally positive units in ℚ(ζp)+ and its application to fusion category
- Proof of the positive trace gap conjecture
- On the absolute convergence of the spectral side of the twisted trace formula
BibTeX
@misc{tanninen2026removing,
title = {{Removing Trace Preservation from a Universal Spectral Bound for 2-Positive Maps}},
author = {Petri Tanninen},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.37187},
eprint = {2610.37187},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.37187},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Removing Trace Preservation from a Universal Spectral Bound for 2-Positive Maps
AU - Petri Tanninen
PY - 2026
DA - 2026/10/27
PB - arXiv
DO - 10.48550/arxiv.2610.37187
UR - https://arxiv.org/abs/2610.37187
AB - Vom Ende, Chruściński, Kimura and Muratore-Ginanneschi proved that every 2-positive trace-preserving map Φ on M_d=M_d(ℂ) satisfies TrΦ≤ d m(Φ) + d^2 − d, where m(Φ) is the smallest real part of an eigenvalue of Φ, and deduced the universal relaxation-rate bound Tr L ≤ d m(L) for generators of 2-positive trace-preserving semigroups. They asked whether trace preservation is needed, and conjectured that every conditionally 2-positive map L, i.e. every L for which e^tL is 2-positive for all t ≥ 0, satisfies Tr L ≤ d m(L) + (d^2 − d) s(L), where s(L) is the largest real part of an eigenvalue of L. We prove this conjecture. The argument normalizes a 2-positive map by a positive definite eigenmatrix of its Hilbert-Schmidt adjoint, which turns it into a 2-positive trace-preserving map in the manner of a quantum Doob transform. The existence of such an eigenmatrix is guaranteed after adding an arbitrarily small multiple of the unnormalized depolarizing map, and the inequality then passes to the limit by continuity of the spectrum. No irreducibility, diagonalizability or faithful-invariant-state assumption is required. We also show that the constant d is optimal within the class of non-trace-preserving completely positive semigroups, and we recast the result as a universal constraint on decay rates measured relative to the dominant spectral growth rate.
ER -