Reuse & Permissions

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 4.0 International license. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author(s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder directly for these figures.

Export citation

Export citation

Choose format for download:

Download Citation
  • Open Access

Finite-Size Quantum Key Distribution Rates from Rényi Entropies Using Conic Optimization

Mariana Navarro1,2,*,‡, Andrés González Lorente3,4,†,‡, Pablo V. Parellada3,4, Carlos Pascual-García1,2, and Mateus Araújo3,4

  • *Contact author: mariana.navarro@icfo.eu
  • †Contact author: andres.gonzalez.lorente@uva.es
  • ‡These authors contributed equally to this work.

PRX Quantum 7, 033051 – Published 10 September, 2026

DOI: https://doi.org/10.1103/bf9s-m4jb

Abstract

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 and demonstrate a dramatic runtime improvement over the state of the art.

View figure in article

Physics Subject Headings (PhySH)

Popular Summary

Article Text

References (75)

  1. C. H. Bennett and G. Brassard, Quantum cryptography: Public key distribution and coin tossing, Theor. Comput. Sci. 560, 7 (1984) (reprint).
  2. A. K. Ekert, Quantum cryptography based on Bell’s theorem, Phys. Rev. Lett. 67, 661 (1991).
  3. R. Renner, Security of quantum key distribution, Int. J. Quantum Inform. 06, 1 (2008).
  4. C. Portmann and R. Renner, Security in quantum cryptography, Rev. Mod. Phys. 94, 025008 (2022).
  5. E. Y.-Z. Tan, P. Sekatski, J.-D. Bancal, R. Schwonnek, R. Renner, N. Sangouard, and C. C.-W. Lim, Improved DIQKD protocols with finite-size analysis, Quantum 6, 880 (2022).
  6. S. Bäuml, C. Pascual-García, V. Wright, O. Fawzi, and A. Acín, Security of discrete-modulated continuous-variable quantum key distribution, Quantum 8, 1418 (2024).
  7. L. Kamin, J. Burniston, and E. Y. Z. Tan, Rényi security framework against coherent attacks applied to decoy-state QKD, arXiv:2504.12248.
  8. F. Dupuis, O. Fawzi, and R. Renner, Entropy accumulation, Commun. Math. Phys. 379, 867 (2020).
  9. F. Dupuis and O. Fawzi, Entropy accumulation with improved second-order term, IEEE Trans. Inf. Theory 65, 7596 (2019).
  10. A. Arqand and E. Y. Z. Tan, Marginal-constrained entropy accumulation theorem, arXiv:2502.02563.
  11. T. Metger and R. Renner, Security of quantum key distribution from generalised entropy accumulation, Nat. Commun. 14, 5272 (2023).
  12. A. Arqand, T. A. Hahn, and E. Y.-Z. Tan, Generalized Rényi entropy accumulation theorem and generalized quantum probability estimation, Phys. Rev. X 15, 041013 (2025).
  13. R. R. B. Chung, N. H. Y. Ng, and Y. Cai, Generalized numerical framework for improved finite-sized key rates with Rényi entropy, Phys. Rev. A 112, 012612 (2025).
  14. M. Frank and P. Wolfe, An algorithm for quadratic programming, Naval Res. Logist. Q. 3, 95 (1956).
  15. A. Winick, N. Lütkenhaus, and P. J. Coles, The many faces of degeneracy in conic optimization, Quantum 2, 77 (2018).
  16. D. Drusvyatskiy and H. Wolkowicz, The many faces of degeneracy in conic optimization, Found. Trends Optim. 3, 77 (2017).
  17. H. Hu, J. Im, J. Lin, N. Lütkenhaus, and H. Wolkowicz, Robust interior point method for quantum key distribution rate computation, Quantum 6, 792 (2022).
  18. K. He, J. Saunderson, and H. Fawzi, Operator convexity along lines, self-concordance, and sandwiched Rényi entropies, arXiv:2502.05627.
  19. A. G. Lorente, P. V. Parellada, M. Castillo-Celeita, and M. Araújo, Quantum key distribution rates from non-symmetric conic optimization, Quantum 9, 1657 (2025).
  20. K. He, J. Saunderson, and H. Fawzi, Mathematical programming computation, arXiv:2407.00241.
  21. F. Dupuis, Privacy amplification and decoupling without smoothing, IEEE Trans. Inf. Theory 69, 7784 (2023).
  22. C. H. Bennett, G. Brassard, and N. D. Mermin, Quantum cryptography without Bell’s theorem, Phys. Rev. Lett. 68, 557 (1992).
  23. N. J. Cerf, M. Bourennane, A. Karlsson, and N. Gisin, Security of quantum key distribution using d-level systems, Phys. Rev. Lett. 88, 127902 (2002).
  24. L. Sheridan and V. Scarani, Security proof for quantum key distribution using qudit systems, Phys. Rev. A 82, 030301(R) (2010).
  25. Y. Zhang, Y. Bian, Z. Li, S. Yu, and H. Guo, Continuous-variable quantum key distribution system: Past, present, and future, Appl. Phys. Rev. 11, 011318 (2024).
  26. C. Pascual-García, S. Bäuml, M. Araújo, R. Liss, and A. Acín, Improved finite-size key rates for discrete-modulated continuous variable quantum key distribution under coherent attacks, Phys. Rev. A 111, 022610 (2025).
  27. J. Bezanson, A. Edelman, S. Karpinski, and V. B. Shah, Julia: A fresh approach to numerical computing, SIAM Rev. 59, 65 (2017).
  28. C. Coey, L. Kapelevich, and J. P. Vielma, Solving natural conic formulations with Hypatia.jl, INFORMS J. Comput. 34, 2686 (2022).
  29. C. Coey, L. Kapelevich, and J. P. Vielma, Performance enhancements for a generic conic interior point algorithm, Math. Program. Comput. 15, 53 (2023).
  30. A. Skajaa and Y. Ye, A homogeneous interior-point algorithm for nonsymmetric convex conic optimization, Math. Program. 150, 391 (2015).
  31. D. Papp and S. Yıldız, On “A homogeneous interior-point algorithm for non-symmetric convex conic optimization”, arXiv:1712.00492.
  32. M. Lubin, O. Dowson, J. Dias Garcia, J. Huchette, B. Legat, and J. P. Vielma, JuMP 1.0: Recent improvements to a modeling language for mathematical optimization, Math. Program. Comput. 15, 581 (2023).
  33. M. Pereira, G. Currás-Lorenzo, and M. Araújo, Optimal key rates for quantum key distribution with partial source characterization, arXiv:2510.13085.
  34. In the case of continuous variable QKD, it should be understood that S(n) and C′(n) are actually held by Bob due to the reverse nature of information reconciliation for continuous variable QKD.

  35. Such as a virtual tomography, for implementations as in [6].

  36. M. Curty, M. Lewenstein, and N. Lütkenhaus, Entanglement as a precondition for secure quantum key distribution, Phys. Rev. Lett. 92, 217903 (2004).
  37. A. Ferenczi and N. Lütkenhaus, Symmetries in quantum key distribution and the connection between optimal attacks and optimal cloning, Phys. Rev. A 85, 052310 (2012).
  38. D. Tupkary, E. Y.-Z. Tan, and N. Lütkenhaus, Security proof for variable-length quantum key distribution, Phys. Rev. Res. 6, 023002 (2024).
  39. J. Bretagnolle and C. Huber, Lois empiriques et distance de Prokhorov, Sém. Probab. Strasbourg 12, 332 (1978).
  40. A. W. van der Vaart and J. A. Wellner, Weak Convergence and Empirical Processes: With Applications to Statistics (Springer International Publishing, New York, 2023).
  41. Information reconciliation is exclusively performed through the classical channel, which cannot be attacked by Eve beyond wiretapping. Therefore, it can be assumed that its implementation is always honest.

  42. J. M. Renes and R. Renner, One-shot classical data compression with quantum side information and the distillation of common randomness or secret keys, IEEE Trans. Inf. Theory 58, 1985 (2012). [
  43. D. Slepian and J. Wolf, Noiseless coding of correlated information sources, IEEE Trans. Inf. Theory 19, 471 (1973).
  44. K. He, J. Saunderson, and H. Fawzi, QICS: Quantum information conic solver, arXiv:2410.17803.
  45. R. L. Frank and E. H. Lieb, Monotonicity of a relative Rényi entropy, J. Math. Phys. 54, 122201 (2013).
  46. One might hope to be able to use this cone directly for optimizing (28) or (30), but this is not possible, as they are not expressible in terms of Ψα(ρ,σ). Analogously, the von Neumann QKD cone is not expressible in terms of the relative entropy cone [19]

  47. F. Hiai, Concavity of certain matrix trace and norm functions, Linear Algebra Appl. 439, 1568 (2013).
  48. ConicQKD.jl: Implementation of convex cones for quantum key distribution (2025).
  49. This cone is better known as the exponential cone, formulated in terms of the exponential function, but both formulations are equivalent.
  50. We note, in particular, that the protocol outline in [7] is compatible with [10, Corollary 4.2] as explained in [7, Sec. IV.B].

  51. N. Walenta, A. Burg, D. Caselunghe, J. Constantin, N. Gisin, O. Guinnard, R. Houlmann, P. Junod, B. Korzh, N. Kulesza, M. Legré, C. W. Lim, T. Lunghi, L. Monat, C. Portmann, M. Soucarros, R. T. Thew, P. Trinkler, G. Trolliet, F. Vannel, and H. Zbinden, A fast and versatile quantum key distribution system with hardware key distillation and wavelength multiplexing, New J. Phys. 16, 013047 (2014).
  52. M. Araújo, M. Huber, M. Navascués, M. Pivoluska, and A. Tavakoli, Quantum key distribution rates from semidefinite programming, Quantum 7, 1019 (2023).
  53. A. Leverrier and P. Grangier, Continuous-variable quantum-key-distribution protocols with a non-Gaussian modulation, Phys. Rev. A 83, 042312 (2011).
  54. S. Ghorai, P. Grangier, E. Diamanti, and A. Leverrier, Asymptotic security of continuous-variable quantum key distribution with a discrete modulation, Phys. Rev. X 9, 021059 (2019).
  55. J. Lin, T. Upadhyaya, and N. Lütkenhaus, Asymptotic security analysis of discrete-modulated continuous-variable quantum key distribution, Phys. Rev. X 9, 041064 (2019).
  56. Similarly, the entropy H(S|Y) in (19) should be taken with S as Bob’s secret key after the public announcements, and Y as Alice’s.

  57. F. Kanitschar, I. George, J. Lin, T. Upadhyaya, and N. Lütkenhaus, Finite-size security for discrete-modulated continuous-variable quantum key distribution protocols, PRX Quantum 4, 040306 (2023).
  58. This is not true when post selection is included, such as in Ref. [57].

  59. I. W. Primaatmaja, W. Y. Kon, and C. Lim, Discrete-modulated continuous-variable quantum key distribution secure against general attacks, arXiv:2409.02630.
  60. L. Kamin, J. Burniston, and E. Y.-Z. Tan, Rényi security framework against coherent attacks applied to decoy-state QKD—GitHub repository, https://github.com/Optical-Quantum-Communication-Theory/Renyi-security-framework (2025).
  61. M. Navarro, A. Acín, and C. Pascual-García, Effective discrete-modulated continuous variable QKD under general attacks, arXiv:2606.20346.
  62. Finite-size quantum key distribution rates from Rényi entropies using conic optimization—Github repository, GitHub repository, https://github.com/MarianaNvrr/Renyi-ConicQKD (2025).
  63. J. Burniston et al., Open QKD security: version 2.1.0, Zenodo, 10.5281/zenodo.14262569 (2024).
  64. M. Tomamichel, M. Berta, and M. Hayashi, Relating different quantum generalizations of the conditional Rényi entropy, J. Math. Phys. (N.Y.) 55, 082206 (2014).
  65. Ref. [13, Eqs. (35) and (40)] also uses a further reduction ψRAB=G(ψAB) in the minimization. However, this assumption is not mathematically sound, as it unnecessarily restricts the optimization to a subset of the valid state space.

  66. M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr, and M. Tomamichel, On quantum Rényi entropies: A new generalization and some properties, J. Math. Phys. (N.Y.) 54, 122203 (2013).
  67. M. Tomamichel, Quantum Information Processing with Finite Resources (Springer International Publishing, New York, 2016).
  68. M. Berta, F. Furrer, and V. B. Scholz, The smooth entropy formalism for von Neumann algebras, J. Math. Phys. (N.Y.) 57, 015213 (2016).
  69. Y. Nesterov, Lectures on Convex Optimization (Springer, New York, 2018).
  70. Y. Nesterov and A. Nemirovskii, Interior-Point Polynomial Algorithms in Convex Programming (SIAM Society for Industrial and Applied Mathematics, Philadelphia, USA, 1994).
  71. R. A. Horn and C. R. Johnson, Matrix Analysis (Cambridge University Press, Cambridge, 2013).
  72. F. Zhang, Matrix Theory, Basic Results and Techniques (Springer, New York, 2011).
  73. F. Hiai, Concavity of certain matrix trace functions, Taiwanese J. Math. 5, 535 (2001).
  74. N. J. Higham, Functions of Matrices: Theory and Computation (SIAM Society for Industrial and Applied Mathematics, Philadelphia, USA, 2008).
  75. F. Hiai and D. Petz, Introduction to Matrix Analysis and Applications (Springer, New York, 2014).

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation