Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2405.01532

Robustness of Fixed Points of Quantum Channels and Application to Approximate Quantum Markov Chains

Salzmann, Robert, Bjarne Bergh, Nilanjana Datta

Published May 2, 2024• 0 citations
arXivHTMLPDF

Abstract

Given a quantum channel and a state which satisfy a fixed point equation approximately (say, up to an error $\varepsilon$), can one find a new channel and a state, which are respectively close to the original ones, such that they satisfy an exact fixed point equation? It is interesting to ask this question for different choices of constraints on the structures of the original channel and state, and requiring that these are also satisfied by the new channel and state. We affirmatively answer the above question, under fairly general assumptions on these structures, through a compactness argument. Additionally, for channels and states satisfying certain specific structures, we find explicit upper bounds on the distances between the pairs of channels (and states) in question. When these distances decay quickly (in a particular, desirable manner) as $\varepsilon\to 0$, we say that the original approximate fixed point equation is rapidly fixable. We establish rapid fixability, not only for general quantum channels, but also when the original and new channels are both required to be unitary, mixed unitary or unital. In contrast, for the case of bipartite quantum systems with channels acting trivially on one subsystem, we prove that approximate fixed point equations are not rapidly fixable. In this case, the distance to the closest channel (and state) which satisfy an exact fixed point equation can depend on the dimension of the quantum system in an undesirable way. We apply our results on approximate fixed point equations to the question of robustness of quantum Markov chains (QMC) and establish the following: For any tripartite quantum state, there exists a dimension-dependent upper bound on its distance to the set of QMCs, which decays to zero as the conditional mutual information of the state vanishes.

DOI
10.48550/arxiv.2405.01532

Related papers

Note on Strong Quantum Markov Properties

Chi-Fang Chen

Quantum many-body Gibbs states satisfy an approximate local Markov property~\cite{chen2025GibbsMarkov}: local noise can be approximately recovered by a quasi-local recovery map, and the conditional mutual information decays for the corresponding tripartition. Recent work~\cite{bergamaschi2025structural} extends this property to approximate stationary states (metastable states) of certain master equations modeling system--bath dynamics, and proposes a strengthened post-selected recovery property requiring recovery to hold for each measurement outcome. In this note, we characterize this \textit{strong Markov property}: it holds if and only if the state additionally satisfies correlation decay for suitable pairs of observables. We further prove several structural and operational consequences of the strong Markov property in the presence of an underlying master equation. First, one can estimate multiple observables from a \textit{single copy} of the state via a repeated measurement--recovery protocol. Second, any two strongly Markov states must have local marginals that are either very close or well separated. Third, if a strongly Markov state can be expressed as a mixture of two strongly Markov states, then their local marginals must be nearly indistinguishable.

quant-pharXiv:2605.02877•May 5, 2026•0 citations

Quantum Markov State Models for Metastable Dynamics

Hao-En Li, Lin Lin, Michael Ragone

Open quantum systems can rapidly lose most microscopic information, leaving only a few degrees of freedom to govern their long-time dynamics. Classical Markov state models (MSMs) describe such metastable dynamics as transitions among a few representative phases and are widely used to reduce complex-system dynamics in condensed matter and chemical physics. In quantum systems, however, phase labels alone are insufficient when coherence persists between metastable states. Even when the slow modes are known, their spectral projection need not produce valid quantum states. We construct quantum Markov state models (QMSMs) that describe the surviving information and its evolution on a small physical state space containing classical sectors and quantum matrix blocks. We quantify metastability by assuming that the evolution channel $\mathcal C$ changes little when applied a second time, with sufficiently small defect $η=\|\mathcal C^2-\mathcal C\|_\diamond$, and that the number of slow degrees of freedom is bounded independently of the full system size. Under these assumptions, we construct compression and reconstruction channels whose composition recovers every reduced state exactly, while the reverse composition gives an exactly idempotent channel approximating $\mathcal C$, answering Kitaev's exact-rounding question [Kit25]. Our constructions give an optimal diamond-norm bound of $\mathcal{O}(η^{1/3})$ on all input states, as well as an improved bound of $\mathcal{O}(η^{1/2})$ on metastable states prepared by $\mathcal C$, with constants depending only on the slow dimension. The reduced transition channel can be iterated to predict the microscopic dynamics with controlled error. We illustrate the QMSM through a weakly driven dissipative spin chain supporting either a metastable logical qubit or long-lived classical phases.

quant-pharXiv:2609.40214•Oct 1, 2026•0 citations

Information Fragility or Robustness Under Quantum Channels

Nicholas D. LaRacuente, Graeme Smith

Abstract Information stored in quantum states naturally decays under noise. Many earlier works have quantified and demonstrated lower bounds on decay rates of quantum relative entropy, showing exponential decay in a wide variety of contexts. Here we study the converse question: are there uniform upper bounds on the ratio of post-noise to initial information when noise is sufficiently weak? In several scenarios, including when a quantum channel induces decay of relative entropy to its own fixed point, we find such multiplicative converse bounds. However, there are other cases in which the ratio can fall by an arbitrary extent. Even for simple noise such as qubit dephasing or depolarizing, mutual information may fall by an unbounded factor under arbitrarily weak noise. As an application, we find families of channels with non-zero private capacity despite arbitrarily high probability of transmitting an arbitrarily good copy of the input to the environment.

arXiv:2312.17450•Communications in Mathematical Physics•Sep 27, 2026•0 citations

Quantum Shannon theory made robust: a tale of three protocols for almost i.i.d. sources

Filippo Girardi, Nilanjana Datta, Giacomo De Palma +1 more

The asymptotic rates of information-theoretic protocols - including error exponents, data-compression rates, and channel capacities - are traditionally derived under the idealised assumption that the underlying resources are independent and identically distributed (i.i.d.). Somewhat surprisingly, even slight departures from the exact i.i.d. structure can drastically alter the asymptotic behaviour predicted by the i.i.d. theory. If the precise nature of the perturbation is known, for instance in the case of a pointwise defect, one can design a bespoke protocol that compensates for it, e.g. by discarding the corrupted subsystem. In realistic physical settings, however, exact i.i.d. behaviour cannot be guaranteed, and deviations from the ideal regime cannot generally be identified precisely. This raises a fundamental question: which notions of almost i.i.d. structure are sufficiently robust to preserve the asymptotic predictions of quantum Shannon theory? We investigate this question for three central information-theoretic tasks: asymmetric hypothesis testing, classical and quantum data compression, and classical communication through quantum channels. Rather than designing protocols tailored to specific defects, we seek robust protocols that remain asymptotically optimal and that are universal within a broad class of almost i.i.d. resources whose precise deviations from the ideal regime are unknown. To this end, we study three inequivalent notions of almost i.i.d. structure, and determine which of them preserve the asymptotic rates and error exponents predicted by the i.i.d. theory. Along the way, we introduce the notion of an almost i.i.d. process and a new distance measure between quantum channels - the club distance - designed to capture stability under local perturbations. These notions may be of independent interest.

quant-pharXiv:2605.18726•May 19, 2026•0 citations

Belavkin–Staszewski Quantum Markov Chains

Andreas Blühm, Ángela Capel, Pablo Costa Rico +1 more

Abstract It is well known that the conditional mutual information of a quantum state is zero if, and only if, the quantum state is a quantum Markov chain. Replacing the Umegaki relative entropy in the definition of the conditional mutual information by the Belavkin–Staszewski (BS) relative entropy, we obtain the BS-conditional mutual information, and we call the states with zero BS-conditional mutual information Belavkin–Staszewski quantum Markov chains. In this article, we establish a correspondence which relates quantum Markov chains and BS-quantum Markov chains. This correspondence allows us to find a recovery map for the BS-entropy in the spirit of the Petz recovery map. Furthermore, we show that, over the set of BS-quantum Markov chains, this correspondence constitutes an entanglement-breaking map. Moreover, we prove a structural decomposition of the Belavkin–Staszewski quantum Markov chains and also study states for which the BS-conditional mutual information is only approximately zero. We subsequently extend the aforementioned correspondence, structural decomposition, and recovery map to arbitrary pairs of states and quantum channels. As an application of the correspondence, we find a family of states with non-vanishing conditional mutual information for which it decays superexponentially fast with the size of the middle system.

arXiv:2501.09708•Annales Henri Poincaré•Nov 13, 2025•1 citation

Log-Euclidean Rényi Conditional Mutual Information

Roberto Rubboli, Amir Arqand, Mark M. Wilde

Quantum conditional mutual information (QCMI) is a fundamental measure of conditional independence, with central applications throughout quantum information theory and many-body physics. Despite its importance, finding a fully quantum Rényi generalization that satisfies all desirable structural properties has remained an open question. In this work, we introduce a quantum Rényi conditional mutual information possessing these desirable properties: it is monotone under local quantum channels, additive under tensor products, monotone in the Rényi parameter, and converges to the QCMI in the limit $α\to 1$. We establish bounds on this quantity in terms of relative entropies to the Petz-recovered state, showing that it provides a distinct measure of approximate conditional independence. As a consequence, we derive recovery-based upper and lower bounds on the QCMI in terms of quantum generalizations of the Kullback-Leibler divergence, improving upon the best known results in certain regimes. Finally, we establish bounds in terms of relative entropies to the sets of Markov and separable states and derive Rényi chain rules, which appear to be novel even in the classical setting.

quant-pharXiv:2609.34699•Sep 29, 2026•0 citations
Given a quantum channel and a state which satisfy a fixed point equation approximately (say, up to an error ε\varepsilonε), can one find a new channel and a state, which are respectively close to the original ones, such that they satisfy an exact fixed point equation? It is interesting to ask this question for different choices of constraints on the structures of the original channel and state, and requiring that these are also satisfied by the new channel and state. We affirmatively answer the above question, under fairly general assumptions on these structures, through a compactness argument. Additionally, for channels and states satisfying certain specific structures, we find explicit upper bounds on the distances between the pairs of channels (and states) in question. When these distances decay quickly (in a particular, desirable manner) as ε→0\varepsilon\to 0ε→0, we say that the original approximate fixed point equation is rapidly fixable. We establish rapid fixability, not only for general quantum channels, but also when the original and new channels are both required to be unitary, mixed unitary or unital. In contrast, for the case of bipartite quantum systems with channels acting trivially on one subsystem, we prove that approximate fixed point equations are not rapidly fixable. In this case, the distance to the closest channel (and state) which satisfy an exact fixed point equation can depend on the dimension of the quantum system in an undesirable way. We apply our results on approximate fixed point equations to the question of robustness of quantum Markov chains (QMC) and establish the following: For any tripartite quantum state, there exists a dimension-dependent upper bound on its distance to the set of QMCs, which decays to zero as the conditional mutual information of the state vanishes.
Quantum many-body Gibbs states satisfy an approximate local Markov property~\cite{chen2025GibbsMarkov}: local noise can be approximately recovered by a quasi-local recovery map, and the conditional mutual information decays for the corresponding tripartition. Recent work~\cite{bergamaschi2025structural} extends this property to approximate stationary states (metastable states) of certain master equations modeling system--bath dynamics, and proposes a strengthened post-selected recovery property requiring recovery to hold for each measurement outcome. In this note, we characterize this \textit{strong Markov property}: it holds if and only if the state additionally satisfies correlation decay for suitable pairs of observables. We further prove several structural and operational consequences of the strong Markov property in the presence of an underlying master equation. First, one can estimate multiple observables from a \textit{single copy} of the state via a repeated measurement--recovery protocol. Second, any two strongly Markov states must have local marginals that are either very close or well separated. Third, if a strongly Markov state can be expressed as a mixture of two strongly Markov states, then their local marginals must be nearly indistinguishable.
Open quantum systems can rapidly lose most microscopic information, leaving only a few degrees of freedom to govern their long-time dynamics. Classical Markov state models (MSMs) describe such metastable dynamics as transitions among a few representative phases and are widely used to reduce complex-system dynamics in condensed matter and chemical physics. In quantum systems, however, phase labels alone are insufficient when coherence persists between metastable states. Even when the slow modes are known, their spectral projection need not produce valid quantum states. We construct quantum Markov state models (QMSMs) that describe the surviving information and its evolution on a small physical state space containing classical sectors and quantum matrix blocks. We quantify metastability by assuming that the evolution channel C\mathcal CC changes little when applied a second time, with sufficiently small defect η=∥C2−C∥⋄η=\|\mathcal C^2-\mathcal C\|_\diamondη=∥C2−C∥⋄​, and that the number of slow degrees of freedom is bounded independently of the full system size. Under these assumptions, we construct compression and reconstruction channels whose composition recovers every reduced state exactly, while the reverse composition gives an exactly idempotent channel approximating C\mathcal CC, answering Kitaev's exact-rounding question [Kit25]. Our constructions give an optimal diamond-norm bound of O(η1/3)\mathcal{O}(η^{1/3})O(η1/3) on all input states, as well as an improved bound of O(η1/2)\mathcal{O}(η^{1/2})O(η1/2) on metastable states prepared by C\mathcal CC, with constants depending only on the slow dimension. The reduced transition channel can be iterated to predict the microscopic dynamics with controlled error. We illustrate the QMSM through a weakly driven dissipative spin chain supporting either a metastable logical qubit or long-lived classical phases.
Abstract Information stored in quantum states naturally decays under noise. Many earlier works have quantified and demonstrated lower bounds on decay rates of quantum relative entropy, showing exponential decay in a wide variety of contexts. Here we study the converse question: are there uniform upper bounds on the ratio of post-noise to initial information when noise is sufficiently weak? In several scenarios, including when a quantum channel induces decay of relative entropy to its own fixed point, we find such multiplicative converse bounds. However, there are other cases in which the ratio can fall by an arbitrary extent. Even for simple noise such as qubit dephasing or depolarizing, mutual information may fall by an unbounded factor under arbitrarily weak noise. As an application, we find families of channels with non-zero private capacity despite arbitrarily high probability of transmitting an arbitrarily good copy of the input to the environment.
The asymptotic rates of information-theoretic protocols - including error exponents, data-compression rates, and channel capacities - are traditionally derived under the idealised assumption that the underlying resources are independent and identically distributed (i.i.d.). Somewhat surprisingly, even slight departures from the exact i.i.d. structure can drastically alter the asymptotic behaviour predicted by the i.i.d. theory. If the precise nature of the perturbation is known, for instance in the case of a pointwise defect, one can design a bespoke protocol that compensates for it, e.g. by discarding the corrupted subsystem. In realistic physical settings, however, exact i.i.d. behaviour cannot be guaranteed, and deviations from the ideal regime cannot generally be identified precisely. This raises a fundamental question: which notions of almost i.i.d. structure are sufficiently robust to preserve the asymptotic predictions of quantum Shannon theory? We investigate this question for three central information-theoretic tasks: asymmetric hypothesis testing, classical and quantum data compression, and classical communication through quantum channels. Rather than designing protocols tailored to specific defects, we seek robust protocols that remain asymptotically optimal and that are universal within a broad class of almost i.i.d. resources whose precise deviations from the ideal regime are unknown. To this end, we study three inequivalent notions of almost i.i.d. structure, and determine which of them preserve the asymptotic rates and error exponents predicted by the i.i.d. theory. Along the way, we introduce the notion of an almost i.i.d. process and a new distance measure between quantum channels - the club distance - designed to capture stability under local perturbations. These notions may be of independent interest.
Abstract It is well known that the conditional mutual information of a quantum state is zero if, and only if, the quantum state is a quantum Markov chain. Replacing the Umegaki relative entropy in the definition of the conditional mutual information by the Belavkin–Staszewski (BS) relative entropy, we obtain the BS-conditional mutual information, and we call the states with zero BS-conditional mutual information Belavkin–Staszewski quantum Markov chains. In this article, we establish a correspondence which relates quantum Markov chains and BS-quantum Markov chains. This correspondence allows us to find a recovery map for the BS-entropy in the spirit of the Petz recovery map. Furthermore, we show that, over the set of BS-quantum Markov chains, this correspondence constitutes an entanglement-breaking map. Moreover, we prove a structural decomposition of the Belavkin–Staszewski quantum Markov chains and also study states for which the BS-conditional mutual information is only approximately zero. We subsequently extend the aforementioned correspondence, structural decomposition, and recovery map to arbitrary pairs of states and quantum channels. As an application of the correspondence, we find a family of states with non-vanishing conditional mutual information for which it decays superexponentially fast with the size of the middle system.
Quantum conditional mutual information (QCMI) is a fundamental measure of conditional independence, with central applications throughout quantum information theory and many-body physics. Despite its importance, finding a fully quantum Rényi generalization that satisfies all desirable structural properties has remained an open question. In this work, we introduce a quantum Rényi conditional mutual information possessing these desirable properties: it is monotone under local quantum channels, additive under tensor products, monotone in the Rényi parameter, and converges to the QCMI in the limit α→1α\to 1α→1. We establish bounds on this quantity in terms of relative entropies to the Petz-recovered state, showing that it provides a distinct measure of approximate conditional independence. As a consequence, we derive recovery-based upper and lower bounds on the QCMI in terms of quantum generalizations of the Kullback-Leibler divergence, improving upon the best known results in certain regimes. Finally, we establish bounds in terms of relative entropies to the sets of Markov and separable states and derive Rényi chain rules, which appear to be novel even in the classical setting.