Non-Linear Strong Data-Processing for Quantum Hockey-Stick Divergences
This work addresses the need for tighter bounds in quantum information theory, offering incremental improvements over existing linear and classical non-linear SDPI for applications like privacy in quantum computing.
The authors tackled the problem of improving data-processing inequalities for quantum divergences by establishing non-linear strong data-processing inequalities (SDPI) for quantum hockey-stick divergences, which lead to tighter finite mixing times and stronger privacy guarantees for sequential private quantum channels.
Data-processing is a desired property of classical and quantum divergences and information measures. In information theory, the contraction coefficient measures how much the distinguishability of quantum states decreases when they are transmitted through a quantum channel, establishing linear strong data-processing inequalities (SDPI). However, these linear SDPI are not always tight and can be improved in most of the cases. In this work, we establish non-linear SDPI for quantum hockey-stick divergence for noisy channels that satisfy a certain noise criterion. We also note that our results improve upon existing linear SDPI for quantum hockey-stick divergences and also non-linear SDPI for classical hockey-stick divergence. We define $F_γ$ curves generalizing Dobrushin curves for the quantum setting while characterizing SDPI for the sequential composition of heterogeneous channels. In addition, we derive reverse-Pinsker type inequalities for $f$-divergences with additional constraints on hockey-stick divergences. We show that these non-linear SDPI can establish tighter finite mixing times that cannot be achieved through linear SDPI. Furthermore, we find applications of these in establishing stronger privacy guarantees for the composition of sequential private quantum channels when privacy is quantified by quantum local differential privacy.