Sharp Continuity of Petz and Sandwiched R\'enyi Conditional Entropies

arXiv:2608.04947v1 Announce Type: new Abstract: We determine the sharp modulus of continuity, in trace distance, of the optimized Petz and sandwiched R\'enyi conditional entropies for every order $\alpha\in[\frac12,1)$. If two bipartite states are within trace distance $\delta$, then both conditional entropies differ by at most $\frac{1}{1-\alpha} \log[(1-\varepsilon)^{\alpha} +(D-1)^{1-\alpha}\varepsilon^{\alpha}]$, where $\varepsilon := \min\{\delta,1-1/D\}$ and $D$ is the effective dimension, given by the dimension of the first subsystem times the largest possible Schmidt rank. For every distance constraint $\delta\in[0,1]$, the bound is attained by an isotropic pair with a maximally entangled anchor. Taking $\alpha\uparrow1$ recovers the recent sharp continuity bound of quantum conditional entropy by Berta et al. [arXiv:2607.24687]. The proof linearizes the relevant concave R\'enyi functional at a comparison point dictated by the isotropic equality family. Schmidt-rank domination extends the equality geometry to an arbitrary anchor state, after which trace-distance duality and a noncommutative calibration estimate control the perturbation and anchor term without weakening the sharp constant. The latter estimate requires matrix analysis and is assisted by ChatGPT 5.6 Sol.

Abstract:We determine the sharp modulus of continuity, in trace distance, of the optimized Petz and sandwiched Rényi conditional entropies for every order $\alpha\in[\frac12,1)$. If two bipartite states are within trace distance $\delta$, then both conditional entropies differ by at most $\frac{1}{1-\alpha} \log[(1-\varepsilon)^{\alpha} +(D-1)^{1-\alpha}\varepsilon^{\alpha}]$, where $\varepsilon := \min\{\delta,1-1/D\}$ and $D$ is the effective dimension, given by the dimension of the first subsystem times the largest possible Schmidt rank. For every distance constraint $\delta\in[0,1]$, the bound is attained by an isotropic pair with a maximally entangled anchor. Taking $\alpha\uparrow1$ recovers the recent sharp continuity bound of quantum conditional entropy by Berta et al. [arXiv:2607.24687]. The proof linearizes the relevant concave Rényi functional at a comparison point dictated by the isotropic equality family. Schmidt-rank domination extends the equality geometry to an arbitrary anchor state, after which trace-distance duality and a noncommutative calibration estimate control the perturbation and anchor term without weakening the sharp constant. The latter estimate requires matrix analysis and is assisted by ChatGPT 5.6 Sol.

Relevant literature: arXiv:2007.05049, arXiv:2607.24687

Quantum Physics (quant-ph); Information Theory (cs.IT); Mathematical Physics (math-ph)

arXiv:2608.04947 [quant-ph]

(or arXiv:2608.04947v1 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2608.04947 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

aiqbench analysis

Sharp Continuity of Petz and Sandwiched R\'enyi Conditional Entropies

Related coverage