Sharp continuity of quantum conditional entropy

Technical Summary: Sharp Continuity of Quantum Conditional Entropy

Problem Statement
The paper addresses the problem of determining the sharp uniform continuity bound for the quantum conditional entropy, $H(A|B)$. Previous work established that the modulus of continuity depends on the dimension of the conditioned system $A$ ($d = \dim A$) but not on the conditioning system $B$. While Alicki and Fannes provided an initial estimate, and Winter strengthened it, the exact optimal bound for the fully quantum case remained an open problem. Specifically, Wilde had conjectured a bound involving $\log(d^2 - 1)$, but this was only proven for states sharing the same $B$-marginal. The unrestricted case, where the $B$-marginals of the two states differ, was unresolved.

Methodology
The authors develop a proof that adapts the tight classical proof by Alhejji and Smith but employs a conceptually different approach that avoids the conditional-fibre decomposition used in the classical case. The core of the methodology involves:

1. Canonical Complement Construction: The proof introduces a specific "comparison state" constructed solely from the reference state $\sigma_{AB}$. This state, denoted $\hat{\sigma}_{AB}$, is defined as the canonical complement:
   $$\hat{\sigma}_{AB} := \frac{d \mathbb{1}_A \otimes \sigma_B - \sigma_{AB}}{d^2 - 1}$$
   This construction effectively "hedges" the anchor $\sigma_{AB}$ toward the uniform mixture of its non-identity Weyl-error sectors.

2. Interpolation and Data Processing: The authors define an interpolated state $\tau_{AB} = (1-\alpha)\sigma_{AB} + \alpha\hat{\sigma}_{AB}$, where $\alpha$ is related to the trace distance $\delta$. Crucially, this interpolation preserves the $B$-marginal ($\tau_B = \sigma_B$).

3. Operator Inequalities: Using the pinching inequality and operator monotonicity of the logarithm, the authors establish operator bounds on $\tau_{AB}$ relative to $\mathbb{1}_A \otimes \sigma_B$. These bounds allow for the control of the operator $G_{AB} = -\log \tau_{AB} + \mathbb{1}_A \otimes \log \sigma_B$.

4. Relative Entropy Decomposition: The difference in conditional entropies is expanded using a score identity involving relative entropies. The proof leverages the data processing inequality for relative entropy under the partial trace channel to bound the nonlinear remainder terms, converting them into a difference of relative entropies whose sign is controlled.

Key Results
The paper establishes Theorem 1.1, which provides the sharp uniform continuity bound for quantum conditional entropy. For two bipartite states $\rho_{AB}$ and $\sigma_{AB}$ with trace distance $T(\rho_{AB}, \sigma_{AB}) \le \delta$ and $d = \dim A \ge 2$:

$$|H(A|B)_\rho - H(A|B)_\sigma| \le \begin{cases} h_2(\delta) + \delta \log(d^2 - 1) & \text{if } 0 \le \delta \le 1 - d^{-2} \\ 2 \log d & \text{if } 1 - d^{-2} \le \delta \le 1 \end{cases}$$

where $h_2$ is the binary entropy function.

• Optimality: The bound is proven to be tight (optimal) for every $\delta \in [0, 1]$ when $\dim B \ge d$.
• Refinements (Proposition 2.1): The authors provide a hierarchy of bounds parameterized by the Schmidt number ($s$) and the conditional min-entropy.
  • For states with Schmidt number at most $s$, the sharp modulus is $g_{ds}(\delta)$.
  • This recovers the classical case ($s=1$) with modulus $g_d(\delta)$ and the separable case.
  • The general quantum case corresponds to $s = \min(d, \dim B)$.

Significance and Claims
The authors claim that this work settles the open problem regarding the unrestricted quantum modulus of continuity, confirming Wilde's conjecture with the term $\log(d^2 - 1)$.

• Proof Simplicity: The proof is described as elementary, resting on a single construction (the canonical complement) rather than complex decompositions.
• Comparison to Previous Work: The paper highlights that Winter's proof, which treats the two states symmetrically, incurs two "losses": it degrades the constant from $\log(d^2 - 1)$ to $\log(d^2)$ and produces a looser entropy term. The new approach breaks this symmetry by building the comparison state from $\sigma_{AB}$ alone, thereby retaining the optimal constant.
• AI Collaboration: The manuscript explicitly notes that the key proof idea was developed with the assistance of ChatGPT 5.6 Sol. The authors state that the work aims to present a solution to an open problem and may stimulate discussion regarding the use of AI-generated scientific content.

Conclusion
The paper determines the exact sharp continuity modulus for quantum conditional entropy, unifying the classical, separable, and fully quantum regimes through a Schmidt-number hierarchy. The authors suggest that the mechanism used here can be propagated to improve bounds for quantum mutual information and quantum conditional mutual information, and they identify future directions such as energy-constrained infinite-dimensional versions and formulations via quantum couplings.