Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Entropy accumulation with improved second-order

Frederic Dupuis 1, 2 Omar Fawzi 3
2 MOCQUA - Designing the Future of Computational Models
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
3 MC2 - Modèles de calcul, Complexité, Combinatoire
LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : The entropy accumulation theorem states that the smooth min-entropy of an n-partite system A = (A_1 ,. .. , A_n) is lower-bounded by the sum of the von Neumann entropies of suitably chosen conditional states up to corrections that are sublinear in n. This theorem is particularly suited to proving the security of quantum cryptographic protocols, and in particular so-called device-independent protocols for randomness expansion and key distribution, where the devices can be built and preprogrammed by a malicious supplier. However, while the bounds provided by this theorem are optimal in the first order, the second-order term is bounded more crudely, in such a way that the bounds deteriorate significantly when the theorem is applied directly to protocols where parameter estimation is done by sampling a small fraction of the positions, as is done in most QKD protocols. The objective of this paper is to improve this second-order sublinear term and remedy this problem. On the way, we prove various bounds on the divergence variance, which might be of independent interest.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Frédéric Dupuis <>
Submitted on : Sunday, November 18, 2018 - 6:07:35 PM
Last modification on : Thursday, November 21, 2019 - 2:01:52 AM
Long-term archiving on: : Tuesday, February 19, 2019 - 12:51:26 PM


Files produced by the author(s)


  • HAL Id : hal-01925985, version 1
  • ARXIV : 1805.11652


Frederic Dupuis, Omar Fawzi. Entropy accumulation with improved second-order. 2018. ⟨hal-01925985⟩



Record views


Files downloads