Finite-Sample Binary Hypothesis Testing via R\'enyi Divergences: Strong Converse and Local Privacy
En palabras de los autores
We study asymmetric simple binary hypothesis testing between and , based on independent and identically distributed observations. Leveraging a variational representation of R\'enyi divergence of order , we derive our main result: a finite-sample converse with . The bound uses both directions of the divergence and , tensorises under product measures, and contains familiar data-processing converses as boundary cases. For comparison, we apply the same variational approach to general -divergences and specialise it to total variation, , Hellinger, and Kullback Leibler divergences, thereby recovering familiar converses within a unified framework. Together with an achievability bound involving R\'enyi divergence with , the main converse recovers the phase transition of the optimal Type II error under the exponentially decaying Type I error constraint . Under regularity conditions, the optimal Type II error vanishes exponentially when and converges exponentially fast to one when . We also derive sample-complexity bounds and extend both the converse and achievability analyses to locally differentially private observations, quantifying the cost of privacy and recovering the non-private achievability bound as the privacy constraint vanishes.
Apareció: jueves, 24 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: Extended version of a paper presented at the 2026 IEEE International Symposium on Information Theory (ISIT). Submitted to the IEEE Transactions on Information Theory