arXiv:2106.13692

Device-independent lower bounds on the conditional von Neumann entropy

Peter J. Brown, Hamza Fawzi, Omar Fawzi

Published Jun 25, 2021• 18 citations

Abstract

The rates of several device-independent (DI) protocols, including quantum key-distribution (QKD) and randomness expansion (RE), can be computed via an optimization of the conditional von Neumann entropy over a particular class of quantum states. In this work we introduce a numerical method to compute lower bounds on such rates. We derive a sequence of optimization problems that converge to the conditional von Neumann entropy of systems defined on general separable Hilbert spaces. Using the Navascués-Pironio-Acín hierarchy we can then relax these problems to semidefinite programs, giving a computationally tractable method to compute lower bounds on the rates of DI protocols. Applying our method to compute the rates of DI-RE and DI-QKD protocols we find substantial improvements over all previous numerical techniques, demonstrating significantly higher rates for both DI-RE and DI-QKD. In particular, for DI-QKD we show a minimal detection efficiency threshold which is within the realm of current capabilities. Moreover, we demonstrate that our method is capable of converging rapidly by recovering all known tight analytical bounds up to several decimal places. Finally, we note that our method is compatible with the entropy accumulation theorem and can thus be used to compute rates of finite round protocols and subsequently prove their security.

DOI: 10.48550/arxiv.2106.13692

Related papers

Device-independent lower bounds on the conditional von Neumann entropy

Peter J. Brown, Hamza Fawzi, Omar Fawzi

QuantumAug 27, 202439 citations

Quantum key distribution rates from semidefinite programming

Mateus Araújo, Marcus Huber, Miguel Navascués +2 more

Computing the key rate in quantum key distribution (QKD) protocols is a long standing challenge. Analytical methods are limited to a handful of protocols with highly symmetric measurement bases. Numerical methods can handle arbitrary measurement bases, but either use the min-entropy, which gives a loose lower bound to the von Neumann entropy, or rely on cumbersome dedicated algorithms. Based on a recently discovered semidefinite programming (SDP) hierarchy converging to the conditional von Neumann entropy, used for computing the asymptotic key rates in the device independent case, we introduce an SDP hierarchy that converges to the asymptotic secret key rate in the case of characterised devices. The resulting algorithm is efficient, easy to implement and easy to use. We illustrate its performance by recovering known bounds on the key rate and extending high-dimensional QKD protocols to previously intractable cases. We also use it to reanalyse experimental data to demonstrate how higher key rates can be achieved when the full statistics are taken into account.

arXiv:2211.05725QuantumMay 24, 202325 citations

Reliable Entropy Estimation from Observed Statistics for Device-Independent Quantum Cryptography

Gereon Koßmann, René Schwonnek

We introduce a numerical framework for reliably estimating conditional von Neumann entropies, a central quantity in device-independent quantum cryptography and randomness generation. Our method is based on semidefinite relaxations derived from the Navascués--Pironio--Acín hierarchy and provides entropy bounds directly from observed statistics, assuming only the validity of quantum mechanics. The approach builds on a recent integral representation of entropy and substantially improves efficiency: it requires about half as many support variables as existing methods, while allowing these variables to be chosen projectively, leading to a significant reduction in runtime. These advances enable the practical certification of randomness and security even in noisy conditions, while integrating seamlessly with modern entropy accumulation theorems. Consequently, our framework becomes a versatile tool for quantum cryptographic protocols, broadening the possibilities for secure communication in untrusted environments.

arXiv:2411.04858QuantumOct 20, 20260 citations

Entropy accumulation with improved second-order

Frédéric Dupuis, Omar Fawzi

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.

Nov 18, 20180 citations

Bounds on Petz-Rényi Divergences and their Applications for Device-Independent Cryptography

Thomas Hahn, Ernest Y.-Z. Tan, Peter J. Brown

Variational techniques have been recently developed to find tighter bounds on the von Neumann entropy in a completely device-independent (DI) setting. This, in turn, has led to significantly improved key rates of DI protocols, in both the asymptotic limit as well as in the finite-size regime. In this paper, we discuss two approaches towards applying these variational methods for Petz-Rényi divergences instead. We then show how this can be used to further improve the finite-size key rate of DI protocols, utilizing a fully-Rényi entropy accumulation theorem developed in a partner work. Petz-Rényi divergences can also be applied to study DI advantage distillation, in which two-way communication is used to improve the noise tolerance of quantum key distribution (QKD) protocols. We implement these techniques to derive increased noise tolerances for DIQKD protocols, which surpass all previous known bounds.

arXiv:2408.12313Aug 22, 20240 citations

Device-independent Quantum Key Distribution in the commuting operator framework

Gereon Koßmann, René Schwonnek, Po-Chieh Liu +1 more

Device-independent quantum key distribution (DIQKD) is arguably the gold standard for secure quantum communication, as it aims to rely only on observed input-output statistics of an uncharacterized device which is only assumption to obey the laws of quantum physics. A corresponding security analysis hence demands a description of a quantum experiment from a most general perspective. Under close inspection, existing proof techniques do not always meet this goal as they tend to rely on subtile assumptions on a tensor product structure of the underlying Hilbert space and a 'hidden but finite' dimensionality. In this work, we collect the tools needed for a full analysis of DIQKD in the commuting operator framework, which avoids these subtilities and provides the arguably most general view on a quantum experiment. We rigorously proof the common assumption that in DIQKD measurements can be w.l.o.g. assumed to be projective. Furthermore, we show that task of computing key rates can be casted as a non-commutative polynomial optimization (NPO) problem to which the Navascués-Pironio-Acín (NPA) hierarchy gives a correct and converging relaxation. As a tool, we generalize the integral representation for the relative entropy by Frenkel [Quantum 7, 1102 (2023)] to general von Neumann algebras and apply techniques from Kossmann and Schwonnek [arXiv: 2411.04858] for the approximation in an NPO program.

quant-pharXiv:2607.03579Jul 7, 20260 citations