pith. sign in

arxiv: 2504.10436 · v2 · submitted 2025-04-14 · 🪐 quant-ph · cs.IT· math.IT

Information storage and transmission under Markovian noise

Satvik Singh , Nilanjana Datta This is my paper

Pith reviewed 2026-05-22 19:32 UTC · model grok-4.3

classification 🪐 quant-ph cs.ITmath.IT
keywords quantum Markov semigroupsinformation capacitiesasymptotic capacitiesquantum memoryMarkovian noisestrong additivitystrong converseperipheral space
0
0 comments X

The pith

For quantum Markov semigroups on finite-dimensional systems, long-time information capacities are determined by the peripheral space structure.

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

The paper shows that as time goes to infinity, the capacities for storing and sending classical or quantum information through a quantum system subject to Markovian noise become fully determined by the structure of the peripheral space of the semigroup. These limiting capacities are strongly additive and obey the strong converse, so that the optimal rate is achieved with vanishing error probability for rates above the capacity. The analysis yields explicit convergence bounds showing that the infinite-time values are reached after times that scale as d squared times the natural log of d, where d is the system dimension. From the storage viewpoint this supplies tight upper and lower bounds on how many bits or qubits remain reliably recoverable after long exposure to the noise; from the communication viewpoint it supplies efficiently computable rates for point-to-point transmission over long Markovian channels.

Core claim

In the limit t to infinity the capacities of quantum Markov semigroups acting on d-dimensional systems are efficiently computed from the structure of the peripheral space of the semigroup, are strongly additive, and satisfy the strong converse property. Convergence bounds establish that these asymptotic capacities are attained after times t greater than or equal to roughly d squared ln d.

What carries the argument

The peripheral space of the quantum Markov semigroup, which fixes the long-time invariant subspace and thereby fixes the asymptotic capacities for storage and transmission.

If this is right

  • Tight bounds are obtained on the number of bits or qubits that can be stored reliably for arbitrarily long times in a device subject to the given Markovian noise.
  • An n-qubit memory experiencing independent identical Markovian noise on each qubit becomes useless after time scaling as n times 2 to the power 2n when a fixed global error-correction mechanism is applied.
  • The same memory becomes useless after time scaling only as ln n when only local error correction is used.
  • Optimal rates for reliable transmission of bits or qubits over Markovian channels of length much larger than d squared ln d are given by efficiently computable expressions in both finite-block-length and asymptotic regimes.

Where Pith is reading between the lines

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

  • Global error-correction operations can extend the useful lifetime of a quantum memory by an exponential factor relative to purely local correction under the same Markovian noise.
  • The convergence-time scaling d squared ln d supplies a concrete benchmark that could be tested in small-scale quantum simulators to check whether real devices approach the predicted asymptotic regime at the expected speed.
  • The results indicate that communication protocols over long Markovian links can safely use the infinite-time capacity formula once the channel length exceeds a few hundred times d squared ln d.

Load-bearing premise

The noise is exactly described by a quantum Markov semigroup on a finite-dimensional system whose peripheral space alone determines all asymptotic capacities.

What would settle it

A concrete counter-example semigroup for which the computed long-time capacity does not match the value predicted from its peripheral space, or an explicit family of channels that violates strong additivity at large but finite times.

Figures

Figures reproduced from arXiv: 2504.10436 by Nilanjana Datta, Satvik Singh.

Figure 1
Figure 1. Figure 1: Schematic for a physical memory device experiencing Markovian noise in time modelled by a dQMS (Ψt )t∈N, where Ψ : L(H) → L(H) is a quantum channel. Logical data is encoded in the memory at time t = 0 using an encoding channel E : L(Hdata) → L(H). After some time t, a decoding channel D : L(H) → L(Hdata) is applied to recover the data, so that D ◦ Ψt ◦ E ≃ε id approximately simulates the identity channel o… view at source ↗
Figure 2
Figure 2. Figure 2: The error-rate curve for data storage in a quantum memory comprised of n physical qudits (Hilbert space H ≃ (Cq )⊗n) experiencing IID Markovian noise modelled by a dQMS (Ψt )t∈N, where Ψ = Γ⊗n for some quantum channel Γ : L(Cq ) → L(Cq ). One can store log (maxk dk) many logical qubits per physical qudit inside the largest block in the peripheral space of the local channel X (Γ) (see Eq. (3)) perfectly wit… view at source ↗
Figure 3
Figure 3. Figure 3: Schematic for a physical memory device experiencing Markovian noise modelled by a dQMS (Ψt )t∈N, where Ψ : L(H) → L(H) is a quantum channel. Logical data is encoded in the memory at time t = 0 using an encoding channel E : L(Hdata) → L(H). After some time t, a decoding channel D : L(H) → L(Hdata) is applied to recover the data, so that D ◦ Ψt ◦ E ≃ε id approximately simulates the identity channel on the da… view at source ↗
Figure 4
Figure 4. Figure 4: The error-rate curve for data storage in a quantum memory with n qudits experiencing IID Markovian noise modelled by a dQMS ((Γ⊗n) t )t∈N, where Γ : L(Cq ) → L(Cq ) is a quantum channel. One can store n(log maxk dk) many logical qubits inside the largest block in the peripheral space X (Γ) (see Eq. (85)) perfectly with no recovery error εn = 0. Moreover, any attempt to store data at a higher rate R > log m… view at source ↗
Figure 5
Figure 5. Figure 5: Quantum memory with n physical qubits undergoin IID depolarizing noise with parameter p ∈ (0, 1). An error-correction procedure Ψecc is designed to periodically detect and correct errors induced by the noise. We show that the memory becomes useless for data storage after time t ≳ n2 2n scaling exponentially with the number of qubits. that the depolarizing noise is strictly contractive [Rag02]: ηTr(Dp) := s… view at source ↗
Figure 6
Figure 6. Figure 6: Quantum memory with n physical qubits undergoin IID depolarizing noise with parameter p ∈ (0, 1). A local error-correction procedure Ψecc = Γecc ⊗ Γecc ⊗ . . . ⊗ Γecc is designed to periodically detect and correct errors induced by the noise, where Γecc acts only on two qubits. We show that the memory becomes useless for data-storage after time t ≳ ln(n) scaling logarithmically with the number of qubits. w… view at source ↗
Figure 7
Figure 7. Figure 7: An LOCC-assisted quantum communication protocol via n uses of a quantum channel ΦA→B. Alice starts with a separable state σ ∈ SEP(A′ 1A1 : B1). She sends the system A1 to Bob via ΦA→B, after which the two parties perform an LOCC operation L (1) A′ 1B1B′ 1→A′ 2A2B2 . This procedure is repeated n times. If the state η at the end of the protocol is close to a maximally entangled state ψ + of Schmidt rank d: F… view at source ↗
read the original abstract

We study the information transmission capacities of quantum Markov semigroups $(\Psi^t)_{t\in \mathbb{N}}$ acting on $d-$dimensional quantum systems. We show that, in the limit of $t\to \infty$, the capacities can be efficiently computed in terms of the structure of the peripheral space of $\Psi$, are strongly additive, and satisfy the strong converse property. We also establish convergence bounds to show that the infinite-time capacities are reached after time $t\gtrsim d^2\ln (d)$. From a data storage perspective, our analysis provides tight bounds on the number of bits or qubits that can be reliably stored for long times in a quantum memory device that is experiencing Markovian noise. From a practical standpoint, we show that typically, an $n-$qubit quantum memory, with Markovian noise acting independently and identically on all qubits and a fixed time-independent global error correction mechanism, becomes useless for storage after time $t\gtrsim n2^{2n}$. In contrast, if the error correction is local, we prove that the memory becomes useless much more quickly, i.e., after time $t\gtrsim \ln(n)$. In the setting of point-to-point communication between two spatially separated parties, our analysis provides efficiently computable bounds on the optimal rate at which bits or qubits can be reliably transmitted via long Markovian communication channels $(\Psi^l)_{l\in \mathbb{N}}$ of length $l\gtrsim d^2 \ln(d)$, both in the finite block-length and asymptotic regimes.

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

0 major / 3 minor

Summary. The manuscript analyzes the asymptotic information transmission and storage capacities of quantum Markov semigroups (Ψ^t) acting on finite-dimensional d-dimensional quantum systems. It claims that in the t → ∞ limit the capacities are efficiently computable from the structure of the peripheral space of Ψ, are strongly additive, and obey the strong converse property. Convergence bounds are given showing that the infinite-time capacities are attained for t ≳ d² ln(d). Applications include tight bounds on reliable storage times for n-qubit memories subject to i.i.d. Markovian noise (t ≳ n 2^{2n} with global error correction versus t ≳ ln(n) with local correction) and efficiently computable bounds for point-to-point communication over long Markovian channels of length l ≳ d² ln(d).

Significance. If the central reduction to the peripheral spectrum holds, the work supplies a useful simplification for evaluating capacities under Markovian noise by leveraging standard peripheral-spectrum theory for quantum semigroups. Strong additivity and the strong converse are valuable structural properties that ease multi-use analysis. The explicit mixing-time bound of order d² ln(d) is consistent with known trace-norm convergence rates for finite-dimensional semigroups. The storage-time estimates, especially the sharp contrast between global and local error correction, provide concrete guidance for quantum-memory design. The paper would constitute a solid contribution to quantum information theory provided the derivations are fully rigorous.

minor comments (3)
  1. [Abstract] Abstract: the phrase 'typically, an n-qubit quantum memory ... becomes useless ... after time t ≳ n 2^{2n}' should explicitly state the precise assumptions on the noise model and the global error-correction map so that the scaling is unambiguously traceable to the peripheral-space dimension.
  2. The convergence statement t ≳ d² ln(d) is stated without a reference to the underlying trace-norm or diamond-norm mixing estimate; a short derivation or citation to the relevant peripheral-projection bound would improve clarity.
  3. Notation for the semigroup powers (Ψ^t)_{t∈ℕ} and the peripheral space should be introduced with a brief definition in the introduction before being used in the abstract and later sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of our manuscript and for recommending minor revision. The referee's summary correctly captures our main results on the asymptotic capacities of quantum Markov semigroups, their strong additivity and strong converse properties, the mixing-time bound of order d² ln(d), and the contrasting storage-time estimates for global versus local error correction. We appreciate the recognition that these findings offer concrete guidance for quantum-memory design and point-to-point communication. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on standard peripheral spectrum theory

full rationale

The paper derives asymptotic capacities of quantum Markov semigroup powers from the peripheral space structure (eigenvalues of modulus 1) and associated projections, which follows directly from the spectral theory of completely positive trace-preserving maps on finite-dimensional systems without any reduction to fitted parameters, self-definitions, or load-bearing self-citations. Convergence bounds of order d² ln(d) align with standard trace-norm mixing time estimates for such semigroups, and the strong additivity/strong converse claims are standard consequences of the asymptotic channel reduction. The practical storage and communication bounds for n-qubit systems follow from applying the same peripheral analysis to tensor-product channels, remaining independent of any internal fitting or renaming of known results. No step equates a prediction to its own input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard quantum information axioms for finite-dimensional systems and Markov semigroups; no new free parameters or invented entities introduced in the abstract.

axioms (2)
  • domain assumption Quantum systems are finite-dimensional Hilbert spaces of dimension d.
    Invoked throughout abstract for semigroup action and capacity definitions.
  • domain assumption Noise is exactly described by a quantum Markov semigroup with well-defined peripheral space.
    Central to the infinite-time capacity computation and convergence bounds.

pith-pipeline@v0.9.0 · 5807 in / 1355 out tokens · 32988 ms · 2026-05-22T19:32:07.746172+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Fast convergence of Dynamic Capacities of GNS-Symmetric Quantum Channels

    quant-ph 2026-05 unverdicted novelty 5.0

    Explicit exponential convergence bounds are derived for the classical and quantum capacities of GNS-symmetric quantum channels in terms of entropic properties.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper · 4 internal anchors

  1. [1]

    Springer New York, 1976

    3 [Arv76] William Arveson.An Invitation to C ∗-Algebras. Springer New York, 1976. 37 [BBC+93] Charles H. Bennett, Gilles Brassard, Claude Cr´ epeau, Richard Jozsa, Asher Peres, and William K. Wootters. Teleporting an unknown quantum state via dual classical and einstein-podolsky-rosen chan- nels.Phys. Rev. Lett., 70:1895–1899, Mar 1993. 51 [BCGM24] Andrea...

    work page 1976

  2. [2]

    Brown, Daniel Loss, Jiannis K

    7 [BLP+16] Benjamin J. Brown, Daniel Loss, Jiannis K. Pachos, Chris N. Self, and James R. Wootton. Quantum memories at finite temperature.Rev. Mod. Phys., 88:045005, Nov 2016. 3, 22 [BLPV16] Heinz-Peter Breuer, Elsi-Mari Laine, Jyrki Piilo, and Bassano Vacchini. Colloquium: Non-Markovian dynamics in open quantum systems.Rev. Mod. Phys., 88:021002, Apr 201...

    work page arXiv 2016

  3. [3]

    On period, cycles and fixed points of a quantum channel.Annales Henri Poincar´ e, 21(1):155–188, November 2019

    5, 37 [CJ19] Raffaella Carbone and Anna Jenˇ cov´ a. On period, cycles and fixed points of a quantum channel.Annales Henri Poincar´ e, 21(1):155–188, November 2019. 39 [CLB10] Rui A. Costa, Michael Langberg, and Joao Barros. One-shot capacity of discrete channels. In2010 IEEE International Symposium on Information Theory, page 211–215. IEEE, June 2010. 9 ...

    work page arXiv 2019

  4. [4]

    Decomposition of Quantum Markov Chains and Its Applications

    27 [GFY16] Ji Guan, Yuan Feng, and Mingsheng Ying. Decomposition of quantum markov chains and zero-error capacity.preprint arXiv:1608.06024v1, 2016. 4, 29 [GFY18] Ji Guan, Yuan Feng, and Mingsheng Ying. Decomposition of quantum Markov chains and its applica- tions.Journal of Computer and System Sciences, 95:55–68, August 2018. 7 [GJL18] Li Gao, Marius Jun...

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  5. [5]

    3, 22 [Has09] M. B. Hastings. Superadditivity of communication capacity using entangled inputs.Nature Physics, 5(4):255–257, March 2009. 16 [HHHO05] Karol Horodecki, Micha l Horodecki, Pawe l Horodecki, and Jonathan Oppenheim. Secure key from bound entanglement.Physical Review Letters, 94(16), April 2005. 2, 52 [HHHO09] Karol Horodecki, Michal Horodecki, ...

    work page 2009

  6. [6]

    Holbrook, David W

    22 [HKL03] John A. Holbrook, David W. Kribs, and Raymond Laflamme. Noiseless subsystems and the structure of the commutant in quantum error correction.Quantum Information Processing, 2(5):381–419, October

    work page

  7. [7]

    Quantum Channels, Wavelets, Dilations and Representations of $O_n$

    7, 36, 37 [HKLP05] John A. Holbrook, David W. Kribs, Raymond Laflamme, and David Poulin. Noiseless subsystems for collective rotation channels in quantum information theory.Integral Equations and Operator Theory, 51(2):215–234, February 2005. 36 [Hol98] A.S. Holevo. The capacity of the quantum channel with general signal states.IEEE Transactions on Inform...

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  8. [8]

    Lami and V

    9, 12, 13, 15 [LG16] L. Lami and V. Giovannetti. Entanglement-saving channels.Journal of Mathematical Physics, 57(3), March 2016. 21, 35 [Lin76] G. Lindblad. On the generators of quantum dynamical semigroups.Communications in Mathematical Physics, 48(2):119–130, June 1976. 6, 41 [Lin99] G¨ oran Lindblad. A general no-cloning theorem.Letters in Mathematica...

    work page 2016

  9. [9]

    Continuity of quantum channel capacities.Communications in Math- ematical Physics, 292(1):201–215, May 2009

    36 [LS09] Debbie Leung and Graeme Smith. Continuity of quantum channel capacities.Communications in Math- ematical Physics, 292(1):201–215, May 2009. 53, 54 [LTAL19] Youngrong Lim, Ryuji Takagi, Gerardo Adesso, and Soojoon Lee. Activation and superactivation of single-mode gaussian quantum channels.Physical Review A, 99(3), March 2019. 2 [LWZG09] Ke Li, A...

    work page 2009

  10. [10]

    Security of Quantum Key Distribution

    50 [MLDS+13] Martin M¨ uller-Lennert, Fr´ ed´ eric Dupuis, Oleg Szehr, Serge Fehr, and Marco Tomamichel. On quantum R´ enyi entropies: A new generalization and some properties.Journal of Mathematical Physics, 54(12), December 2013. 13 [MO21] Milan Mosonyi and Tomohiro Ogawa. Divergence radii and the strong converse exponent of classical- quantum channel c...

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  11. [11]

    Are problems in Quantum Information Theory (un)decidable?

    3, 22 [Tom16] Marco Tomamichel.Quantum Information Processing with Finite Resources. Springer International Pub- lishing, 2016. 12, 13 [TWW17] Marco Tomamichel, Mark M. Wilde, and Andreas Winter. Strong converse rates for quantum commu- nication.IEEE Transactions on Information Theory, 63(1):715–727, January 2017. 45 [Ume62] Hisaharu Umegaki. Conditional ...

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  12. [12]

    36 Email address:satvik.singh@tum.de Department of Mathematics, Technical University of Munich, Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Cambridge, United Kingdom Email address:n.datta@damtp.cam.ac.uk Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Cambridge, United Kingdom

    work page