Preservability of Measurement Incompatibility: Purification, Activation, and a No-Go Theorem

Technical Summary: Preservability of Measurement Incompatibility: Purification, Activation, and a No-Go Theorem

Problem Statement
Measurement incompatibility is a fundamental quantum resource essential for advantages in tasks such as cryptography, communication, Bell nonlocality, and quantum steering. However, in realistic scenarios, unavoidable interactions with the environment degrade or completely destroy this resource. Channels that map every set of measurements to a jointly measurable (compatible) set are termed measurement-incompatibility-annihilating (IA) channels. While recent work has characterized the ability of noisy dynamics to preserve incompatibility, a critical gap remains: Can filtering operations (pre- or post-processing) "activate" an IA channel to preserve incompatibility, or even "purify" (enhance) the preservability of a non-IA channel? Addressing this requires a computable framework to quantify preservability and a rigorous analysis of how filtering operations interact with IA channels.

Methodology
The authors develop a resource-theoretic framework to quantify and manipulate measurement incompatibility preservability.

1. Quantification via Robustness:
   The paper introduces a robustness-based measure, $R_{IP}^{JM}(N)$, defined as the minimal noise strength $t$ required to mix a channel $N$ with an arbitrary channel $W$ such that the resulting mixture becomes an IA channel. Since the set of IA channels is not easily characterized mathematically, the authors reformulate this definition using the Choi-Jamiolkowski isomorphism. They derive a Semidefinite Program (SDP) to compute the robustness for a fixed measurement assemblage $\mathcal{M}$, denoted $R_{IP}^{JM}(N; \mathcal{M})$. The global measure is obtained by maximizing over all possible measurement assemblages.

2. Operational Equivalence via Steering:
   To address the difficulty of applying filters in the Heisenberg picture (where filtered measurement operators may not form valid POVMs), the authors establish an operational equivalence between measurement incompatibility and quantum steering. They define a steering-based robustness, $R_{IP}^{LHS}(N)$, using the Schrödinger picture. By utilizing the Steering-Equivalence-Observables (SEO) mapping and the properties of the maximally entangled state, they prove that $R_{IP}^{JM}(N) = R_{IP}^{LHS}(N)$. This equivalence allows the use of steering scenarios to analyze the effects of filtering operations on measurement incompatibility.

3. Filtering Protocols:
   The study investigates three protocols:

   • Pre-filtering: A filter applied before the channel.
   • Post-filtering: A filter applied after the channel.
   • Combined: A sequence of pre- and post-filters.

Key Contributions and Results

• Result 1: Valid Resource Monotone: The authors demonstrate that the optimized robustness $R_{IP}^{JM}(N)$ is a valid resource monotone under the resource theory of measurement incompatibility preservability. It satisfies faithfulness (zero if and only if the channel is IA), monotonicity under allowed operations (supermaps that cannot transform IA to non-IA), and convexity.
• Result 2: Equivalence of Robustness Measures: The paper proves that the measurement-based robustness ($R_{IP}^{JM}$) and the steering-based robustness ($R_{IP}^{LHS}$) are mathematically equivalent. This result validates the use of the steering framework to analyze incompatibility preservability, overcoming the technical limitations of defining filters in the Heisenberg picture.
• Result 3: No-Go Theorem for Pre-filtering: A central finding is a no-go theorem stating that pre-filtering operations cannot activate an IA channel. Specifically, no filtering operation applied before an IA channel can enable the generation of quantum steerability (or equivalently, measurement incompatibility). This is proven by reformulating the activation problem in the steering scenario and applying existing theorems regarding local filtering on Bob's side, which cannot activate steerability. The paper further demonstrates that while pre-filtering operations can strengthen measurement incompatibility preservability, they cannot activate it from an incompatibility-annihilating channel.
• Activation via Post-filtering: In contrast to the pre-filtering limitation, the authors demonstrate that post-filtering operations can stochastically activate IA channels. Using the amplitude-damping channel as a concrete example, they show that for channels that are IA (specifically when the damping parameter $p \leq 0.5$), applying a specific post-filtering operation (Kraus operator $K = \text{diag}(\sqrt{1-D}, 1)$) can result in a non-zero robustness, effectively activating the channel's ability to preserve incompatibility.
• Purification and Distillation: The paper further shows that combining pre- and post-filtering operations allows for both the activation of IA channels and the "purification" (distillation) of incompatibility preservability. Numerical simulations confirm that while pre-filtering alone fails to activate, the combination of pre- and post-filters can enhance the robustness beyond what post-filtering alone achieves.

Significance
The paper provides a practical framework for exploiting measurement incompatibility in quantum information processing under noisy conditions. By establishing a computable robustness measure and proving the impossibility of activating IA channels via pre-filtering, the work sets clear boundaries for resource manipulation. Conversely, by demonstrating the viability of post-filtering and combined protocols for activation and purification, it offers a pathway to recover and enhance quantum resources in scenarios where they would otherwise be lost. The results clarify the operational capabilities of filtering operations within the resource theory of measurement incompatibility preservability.