Paper
Optimal Universal Bounds for Quantum Divergences
Authors
Gilad Gour
Abstract
We identify a universal structural principle underlying the smoothing of classical divergences: the optimizer of the smoothing problem is a clipped probability vector, independently of the specific divergence. This yields a divergence-independent characterization of all smoothed classical divergences and reveals a common geometric structure behind seemingly different quantities. Building on this structural insight, we derive optimal universal bounds for smoothed quantum divergences, including quantum R'enyi divergences of arbitrary order and the hypothesis testing divergence. Our inequalities relate divergences of different orders through bounds of the form $D_β^{\varepsilon} \le D_α+ \mathrm{correction}$ and $D_β^{\varepsilon} \ge D_α+ \mathrm{correction}$, and we prove that the correction terms are optimal among all universal, state-independent inequalities of this type. Consequently, our results strictly improve previously known bounds whenever those were suboptimal, and in cases where earlier bounds coincide with ours, our analysis establishes their optimality. In particular, we obtain optimal universal bounds for the hypothesis testing divergence.
Metadata
Related papers
Cosmic Shear in Effective Field Theory at Two-Loop Order: Revisiting $S_8$ in Dark Energy Survey Data
Shi-Fan Chen, Joseph DeRose, Mikhail M. Ivanov, Oliver H. E. Philcox • 2026-03-30
Stop Probing, Start Coding: Why Linear Probes and Sparse Autoencoders Fail at Compositional Generalisation
Vitória Barin Pacela, Shruti Joshi, Isabela Camacho, Simon Lacoste-Julien, Da... • 2026-03-30
SNID-SAGE: A Modern Framework for Interactive Supernova Classification and Spectral Analysis
Fiorenzo Stoppa, Stephen J. Smartt • 2026-03-30
Acoustic-to-articulatory Inversion of the Complete Vocal Tract from RT-MRI with Various Audio Embeddings and Dataset Sizes
Sofiane Azzouz, Pierre-André Vuissoz, Yves Laprie • 2026-03-30
Rotating black hole shadows in metric-affine bumblebee gravity
Jose R. Nascimento, Ana R. M. Oliveira, Albert Yu. Petrov, Paulo J. Porfírio,... • 2026-03-30
Raw Data (Debug)
{
"raw_xml": "<entry>\n <id>http://arxiv.org/abs/2603.09885v1</id>\n <title>Optimal Universal Bounds for Quantum Divergences</title>\n <updated>2026-03-10T16:42:50Z</updated>\n <link href='https://arxiv.org/abs/2603.09885v1' rel='alternate' type='text/html'/>\n <link href='https://arxiv.org/pdf/2603.09885v1' rel='related' title='pdf' type='application/pdf'/>\n <summary>We identify a universal structural principle underlying the smoothing of classical divergences: the optimizer of the smoothing problem is a clipped probability vector, independently of the specific divergence. This yields a divergence-independent characterization of all smoothed classical divergences and reveals a common geometric structure behind seemingly different quantities. Building on this structural insight, we derive optimal universal bounds for smoothed quantum divergences, including quantum R'enyi divergences of arbitrary order and the hypothesis testing divergence. Our inequalities relate divergences of different orders through bounds of the form $D_β^{\\varepsilon} \\le D_α+ \\mathrm{correction}$ and $D_β^{\\varepsilon} \\ge D_α+ \\mathrm{correction}$, and we prove that the correction terms are optimal among all universal, state-independent inequalities of this type. Consequently, our results strictly improve previously known bounds whenever those were suboptimal, and in cases where earlier bounds coincide with ours, our analysis establishes their optimality. In particular, we obtain optimal universal bounds for the hypothesis testing divergence.</summary>\n <category scheme='http://arxiv.org/schemas/atom' term='quant-ph'/>\n <category scheme='http://arxiv.org/schemas/atom' term='math-ph'/>\n <published>2026-03-10T16:42:50Z</published>\n <arxiv:comment>51 pages, no figures, comments are welcome!</arxiv:comment>\n <arxiv:primary_category term='quant-ph'/>\n <author>\n <name>Gilad Gour</name>\n </author>\n </entry>"
}