Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

A generalized numerical framework for quantum key distribution with improved finite-sized key rates

Rebecca R. B. Chung

Published Jan 1, 2025• 0 citations
Publisher

Abstract

Quantum key distribution (QKD) is a form of secure communication which transmits secret keys between two trusted parties. Evaluation of the achievable secret key rates are essential to ensure robust security of any QKD protocols. As such, the optimization of the secret key rate to obtain tight and reliable bounds are required especially for instances when the number of transmitted signals are finite. In this work, we make use of the generalized Rényi entropic quantities to obtain a tighter bound on the key rate compared to previous works which uses the von Neumann entropy. However, the optimization of Rényi entropic quantities is often non-trivial. Hence, we derive a generalized bound on the Rényi entropy in terms of the Rényi divergence which allows us to apply the Frank-Wolfe minimization algorithm for the optimization of secret key rates, thus generalizing existing numerical frameworks. With this generalized framework, we show improvements in regimes where finite signals experience high loss, thus ensuring relevance for real-world scenarios, particularly for satellite-based QKD implementations.

DOI
10.32657/10356/204783

Related papers

Generalized numerical framework for improved finite-sized key rates with Rényi entropy

Rebecca R. B. Chung, Nelly H. Y. Ng, Yu Cai

Quantum key distribution requires tight and reliable bounds on the secret key rate to ensure robust security. This is particularly so for the regime of finite block sizes, where the optimization of generalized Rényi entropic quantities is known to provide tighter bounds on the key rate. However, such an optimization is often non-trivial, and the non-monotonicity of the key rate in terms of the Rényi parameter demands additional optimization to determine the optimal Rényi parameter as a function of block sizes. In this work, we present a tight analytical bound on the Rényi entropy in terms of the Rényi divergence and derive the analytical gradient of the Rényi divergence. This enables us to generalize existing state-of-the-art numerical frameworks for the optimization of the key rate. With this generalized framework, we show improvements in regimes of high loss and low block sizes, which are particularly relevant for long-distance satellite-based protocols.

arXiv:2502.02319•Physical Review A•May 21, 2025•5 citations

Finite-size quantum key distribution rates from Rényi entropies using conic optimization

Mariana Navarro, Andrés González Lorente, Pablo V. Parellada +2 more

Finite-size general security proofs for quantum key distribution based on Rényi entropies have recently been introduced. These approaches are more flexible and provide tighter bounds on the secret key rate than traditional formulations based on the von Neumann entropy. However, deploying them requires minimizing the conditional Rényi entropy, a difficult optimization problem that has hitherto been tackled using ad-hoc techniques based on the Frank-Wolfe algorithm, which are unstable and can only handle particular cases. In this work, we introduce a method based on non-symmetric conic optimization for solving this problem. Our technique is fast, reliable, and completely general. We illustrate its performance on several protocols, whose results represent an improvement over the state of the art.

quant-pharXiv:2511.10584•PRX Quantum•Nov 14, 2025•0 citations

Rényi security framework against coherent attacks applied to decoy-state QKD

Lars Kamin, John Burniston, Ernest Y.-Z. Tan

We develop a flexible and robust framework for finite-size security proofs of quantum key distribution (QKD) protocols under coherent attacks, applicable to both fixed- and variable-length protocols. Our approach achieves high finite-size key rates across a broad class of protocols while imposing minimal requirements. In particular, it eliminates the need for restrictive conditions such as limited repetition rates or the implementation of virtual tomography procedures. To achieve this goal, we introduce new numerical techniques for the evaluation of sandwiched conditional Rényi entropies. In doing so, we also find an alternative formulation of the "QKD cone" studied in previous work. We illustrate the versatility of our framework by applying it to several practically relevant protocols, including decoy-state protocols. Furthermore, we extend the analysis to accommodate realistic device imperfections, such as independent intensity and phase imperfections. Overall, our framework provides both greater scope of applicability and better key rates than existing techniques, especially for small block sizes, hence offering a scalable path toward secure quantum communication under realistic conditions

arXiv:2504.12248•Apr 16, 2025•1 citation

Security Analysis of Quantum Key Distribution: Methods and Applications

Jie Lin

Quantum key distribution (QKD) can be proved to be secure by laws of quantum mechanics. In this thesis, we review security proof methods in Renner's framework and discuss numerical methods to calculate asymptotic and finite key rates. These methods are highly versatile and applicable to general device-dependent QKD protocols. We also discuss analytical tools that extend the applicability of these numerical methods. We then present the asymptotic security proof against collective attacks for a variant of the twin-field QKD protocol, which can overcome the repeaterless secret-key capacity bound. Our variant reduces the sifting cost and uses non-phase-randomized coherent states as both signals and test states. We confirm the loss scaling of this protocol. Another important family of protocols that we investigate here are discrete-modulated continuous-variable QKD protocols. They are interesting due to their experimental simplicity and their great potential for massive deployment in the quantum-secured networks. Our security proof method can provide tight asymptotic key rates. We demonstrate that the postselection of data in combination with reverse reconciliation can improve the key rates. We analyze both untrusted and trusted detector noise scenarios. Our results in the trusted detector noise scenario show that we can thus cut out most of the effect of detector noise and obtain asymptotic key rates similar to those had we access to ideal detectors. Finally, we present several simple examples to illustrate our newly developed method for the numerical finite-key analysis against the most general attacks via the entropy accumulation theorem.

•Sep 27, 2021•2 citations

Numerical finite-key analysis of quantum key distribution

Darius Bunandar, Luke C. G. Govia, Hari Krovi +1 more

Abstract Quantum key distribution (QKD) allows for secure communications safe against attacks by quantum computers. QKD protocols are performed by sending a sizeable, but finite, number of quantum signals between the distant parties involved. Many QKD experiments, however, predict their achievable key rates using asymptotic formulas, which assume the transmission of an infinite number of signals, partly because QKD proofs with finite transmissions (and finite-key lengths) can be difficult. Here we develop a robust numerical approach for calculating the key rates for QKD protocols in the finite-key regime in terms of two semi-definite programs (SDPs). The first uses the relation between conditional smooth min-entropy and quantum relative entropy through the quantum asymptotic equipartition property, and the second uses the relation between the smooth min-entropy and quantum fidelity. The numerical programs are formulated under the assumption of collective attacks from the eavesdropper and can be promoted to withstand coherent attacks using the postselection technique. We then solve these SDPs using convex optimization solvers and obtain numerical calculations of finite-key rates for several protocols difficult to analyze analytically, such as BB84 with unequal detector efficiencies, B92, and twin-field QKD. Our numerical approach democratizes the composable security proofs for QKD protocols where the derived keys can be used as an input to another cryptosystem.

arXiv:1911.07860•npj Quantum Information•Dec 18, 2020•52 citations

Finite-size key in the Bennett 1992 quantum-key-distribution protocol for Rényi entropies

Mhlambululi Mafu, Kevin Garapo, Francesco Petruccione

A realistic quantum-key-distribution protocol necessarily runs with finite resources. Usually, security proofs for existing quantum key distribution are asymptotic in the sense that certain parameters are exceedingly large compared to practical realistic values. In this paper, we derive bounds on the secret key rates for the Bennett 1992 protocol, which includes a preprocessing step. The derivation for a finite-size key is expressed as an optimization problem by using results from the uncertainty relations and the smooth R\'enyi entropies.

Physical Review A•Dec 4, 2013•15 citations
Quantum key distribution (QKD) is a form of secure communication which transmits secret keys between two trusted parties. Evaluation of the achievable secret key rates are essential to ensure robust security of any QKD protocols. As such, the optimization of the secret key rate to obtain tight and reliable bounds are required especially for instances when the number of transmitted signals are finite. In this work, we make use of the generalized Rényi entropic quantities to obtain a tighter bound on the key rate compared to previous works which uses the von Neumann entropy. However, the optimization of Rényi entropic quantities is often non-trivial. Hence, we derive a generalized bound on the Rényi entropy in terms of the Rényi divergence which allows us to apply the Frank-Wolfe minimization algorithm for the optimization of secret key rates, thus generalizing existing numerical frameworks. With this generalized framework, we show improvements in regimes where finite signals experience high loss, thus ensuring relevance for real-world scenarios, particularly for satellite-based QKD implementations.
Quantum key distribution requires tight and reliable bounds on the secret key rate to ensure robust security. This is particularly so for the regime of finite block sizes, where the optimization of generalized Rényi entropic quantities is known to provide tighter bounds on the key rate. However, such an optimization is often non-trivial, and the non-monotonicity of the key rate in terms of the Rényi parameter demands additional optimization to determine the optimal Rényi parameter as a function of block sizes. In this work, we present a tight analytical bound on the Rényi entropy in terms of the Rényi divergence and derive the analytical gradient of the Rényi divergence. This enables us to generalize existing state-of-the-art numerical frameworks for the optimization of the key rate. With this generalized framework, we show improvements in regimes of high loss and low block sizes, which are particularly relevant for long-distance satellite-based protocols.
Finite-size general security proofs for quantum key distribution based on Rényi entropies have recently been introduced. These approaches are more flexible and provide tighter bounds on the secret key rate than traditional formulations based on the von Neumann entropy. However, deploying them requires minimizing the conditional Rényi entropy, a difficult optimization problem that has hitherto been tackled using ad-hoc techniques based on the Frank-Wolfe algorithm, which are unstable and can only handle particular cases. In this work, we introduce a method based on non-symmetric conic optimization for solving this problem. Our technique is fast, reliable, and completely general. We illustrate its performance on several protocols, whose results represent an improvement over the state of the art.
We develop a flexible and robust framework for finite-size security proofs of quantum key distribution (QKD) protocols under coherent attacks, applicable to both fixed- and variable-length protocols. Our approach achieves high finite-size key rates across a broad class of protocols while imposing minimal requirements. In particular, it eliminates the need for restrictive conditions such as limited repetition rates or the implementation of virtual tomography procedures. To achieve this goal, we introduce new numerical techniques for the evaluation of sandwiched conditional Rényi entropies. In doing so, we also find an alternative formulation of the "QKD cone" studied in previous work. We illustrate the versatility of our framework by applying it to several practically relevant protocols, including decoy-state protocols. Furthermore, we extend the analysis to accommodate realistic device imperfections, such as independent intensity and phase imperfections. Overall, our framework provides both greater scope of applicability and better key rates than existing techniques, especially for small block sizes, hence offering a scalable path toward secure quantum communication under realistic conditions
Quantum key distribution (QKD) can be proved to be secure by laws of quantum mechanics. In this thesis, we review security proof methods in Renner's framework and discuss numerical methods to calculate asymptotic and finite key rates. These methods are highly versatile and applicable to general device-dependent QKD protocols. We also discuss analytical tools that extend the applicability of these numerical methods. We then present the asymptotic security proof against collective attacks for a variant of the twin-field QKD protocol, which can overcome the repeaterless secret-key capacity bound. Our variant reduces the sifting cost and uses non-phase-randomized coherent states as both signals and test states. We confirm the loss scaling of this protocol. Another important family of protocols that we investigate here are discrete-modulated continuous-variable QKD protocols. They are interesting due to their experimental simplicity and their great potential for massive deployment in the quantum-secured networks. Our security proof method can provide tight asymptotic key rates. We demonstrate that the postselection of data in combination with reverse reconciliation can improve the key rates. We analyze both untrusted and trusted detector noise scenarios. Our results in the trusted detector noise scenario show that we can thus cut out most of the effect of detector noise and obtain asymptotic key rates similar to those had we access to ideal detectors. Finally, we present several simple examples to illustrate our newly developed method for the numerical finite-key analysis against the most general attacks via the entropy accumulation theorem.
Abstract Quantum key distribution (QKD) allows for secure communications safe against attacks by quantum computers. QKD protocols are performed by sending a sizeable, but finite, number of quantum signals between the distant parties involved. Many QKD experiments, however, predict their achievable key rates using asymptotic formulas, which assume the transmission of an infinite number of signals, partly because QKD proofs with finite transmissions (and finite-key lengths) can be difficult. Here we develop a robust numerical approach for calculating the key rates for QKD protocols in the finite-key regime in terms of two semi-definite programs (SDPs). The first uses the relation between conditional smooth min-entropy and quantum relative entropy through the quantum asymptotic equipartition property, and the second uses the relation between the smooth min-entropy and quantum fidelity. The numerical programs are formulated under the assumption of collective attacks from the eavesdropper and can be promoted to withstand coherent attacks using the postselection technique. We then solve these SDPs using convex optimization solvers and obtain numerical calculations of finite-key rates for several protocols difficult to analyze analytically, such as BB84 with unequal detector efficiencies, B92, and twin-field QKD. Our numerical approach democratizes the composable security proofs for QKD protocols where the derived keys can be used as an input to another cryptosystem.
A realistic quantum-key-distribution protocol necessarily runs with finite resources. Usually, security proofs for existing quantum key distribution are asymptotic in the sense that certain parameters are exceedingly large compared to practical realistic values. In this paper, we derive bounds on the secret key rates for the Bennett 1992 protocol, which includes a preprocessing step. The derivation for a finite-size key is expressed as an optimization problem by using results from the uncertainty relations and the smooth R\'enyi entropies.