{"title":"Privacy Amplification and Decoupling Without Smoothing","authors":"Frédéric Dupuis","doi":"10.1109/TIT.2023.3301812","DOIUrl":null,"url":null,"abstract":"We prove an achievability result for privacy amplification and decoupling in terms of the sandwiched Rényi entropy of order \n<inline-formula> <tex-math>$\\alpha \\in (1,2]$ </tex-math></inline-formula>\n; this extends previous results which worked for \n<inline-formula> <tex-math>$\\alpha =2$ </tex-math></inline-formula>\n. The fact that this proof works for \n<inline-formula> <tex-math>$\\alpha $ </tex-math></inline-formula>\n close to 1 means that we can bypass the smooth min-entropy in the many applications where the bound comes from the fully quantum AEP or entropy accumulation, and carry out the whole proof using the Rényi entropy, thereby easily obtaining an error exponent for the final task. This effectively replaces smoothing, which is a difficult high-dimensional optimization problem, by an optimization problem over a single real parameter \n<inline-formula> <tex-math>$\\alpha $ </tex-math></inline-formula>\n.","PeriodicalId":13494,"journal":{"name":"IEEE Transactions on Information Theory","volume":"69 12","pages":"7784-7792"},"PeriodicalIF":2.2000,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"19","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Information Theory","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10232924/","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 19
Abstract
We prove an achievability result for privacy amplification and decoupling in terms of the sandwiched Rényi entropy of order
$\alpha \in (1,2]$
; this extends previous results which worked for
$\alpha =2$
. The fact that this proof works for
$\alpha $
close to 1 means that we can bypass the smooth min-entropy in the many applications where the bound comes from the fully quantum AEP or entropy accumulation, and carry out the whole proof using the Rényi entropy, thereby easily obtaining an error exponent for the final task. This effectively replaces smoothing, which is a difficult high-dimensional optimization problem, by an optimization problem over a single real parameter
$\alpha $
.
期刊介绍:
The IEEE Transactions on Information Theory is a journal that publishes theoretical and experimental papers concerned with the transmission, processing, and utilization of information. The boundaries of acceptable subject matter are intentionally not sharply delimited. Rather, it is hoped that as the focus of research activity changes, a flexible policy will permit this Transactions to follow suit. Current appropriate topics are best reflected by recent Tables of Contents; they are summarized in the titles of editorial areas that appear on the inside front cover.