Security proof methods for quantum key distribution, QKD, that are based on the numerical key rate calculation problem, are powerful in principle. However, the practicality of the methods are limited by computational resources and the efficiency and accuracy of the underlying algorithms for convex optimization. We derive a stable reformulation of the convex nonlinear semidefinite programming, SDP, model for the key rate calculation problems. We use this to develop an efficient, accurate algorithm. The stable reformulation is based on novel forms of facial reduction, FR, for both the linear constraints and nonlinear quantum relative entropy objective function. This allows for a Gauss-Newton type interior-point approach that avoids the need for perturbations to obtain strict feasibility, a technique currently used in the literature. The result is high accuracy solutions with theoretically proven lower bounds for the original QKD from the FR stable reformulation. This provides novel contributions for FR for general SDP. We report on empirical results that dramatically improve on speed and accuracy, as well as solving previously intractable problems.
 V. Scarani, H. Bechmann-Pasquinucci, N. J. Cerf, M. Dušek, N. Lütkenhaus, and M. Peev. The security of practical quantum key distribution. Rev. Mod. Phys., 81: 1301, 2009. 10.1103/RevModPhys.81.1301.
 F. Xu, X. Ma, Q. Zhang, H.-K. Lo, and J.-W. Pan. Secure quantum key distribution with realistic devices. Rev. Mod. Phys., 92: 025002, 2020. 10.1103/RevModPhys.92.025002.
 C. H. Bennett and G. Brassard. Quantum cryptography: Public key distribution and coin tossing. In International Conference on Computers, Systems & Signal Processing, Bangalore, India, Dec 9-12, 1984, pages 175–179, 1984. 10.1016/j.tcs.2014.05.025. Reprint of the 1984 original.
 P. J. Coles, E. M. Metodiev, and N. Lütkenhaus. Numerical approach for unstructured quantum key distribution. Nat. Commun., 7: 11712, 2016. 10.1038/ncomms11712.
 I. George, J. Lin, and N. Lütkenhaus. Numerical calculations of the finite key rate for general quantum key distribution protocols. Physical Review Research, 3: 013274, 2021. 10.1103/PhysRevResearch.3.013274.
 Y. Zhang, P. J. Coles, A. Winick, J. Lin, and N. Lütkenhaus. Security proof of practical quantum key distribution with detection-efficiency mismatch. Phys. Rev. Research, 3: 013076, 2021. 10.1103/PhysRevResearch.3.013076.
 T. Upadhyaya, T. van Himbeeck, J. Lin, and N. Lütkenhaus. Dimension reduction in quantum key distribution for continuous- and discrete-variable protocols. PRX Quantum, 2: 020325, 2021. 10.1103/PRXQuantum.2.020325.
 N. K. H. Li and N. Lütkenhaus. Improving key rates of the unbalanced phase-encoded bb84 protocol using the flag-state squashing model. Phys. Rev. Research, 2: 043172, 2020. 10.1103/PhysRevResearch.2.043172.
 L. Faybusovich and C. Zhou. Long-step path-following algorithm for solving symmetric programming problems with nonlinear objective functions. Computational Optimization and Applications, 72 (3): 769–795, 2019. ISSN 15732894. 10.1007/s10589-018-0054-7.
 I. Devetak and A. Winter. Distillation of secret key and entanglement from quantum states. Proc. R. Soc. A, 461: 207–235, 2005. 10.1098/rspa.2004.1372.
 M. A. Nielsen and I. L. Chuang, editors. Quantum Computation and Quantum Information. Cambridge University Press, Cambridge, UK, 2000. 10.1017/CBO9780511976667.
 D. Drusvyatskiy and H. Wolkowicz. The many faces of degeneracy in conic optimization. Foundations and Trends® in Optimization, 3 (2): 77–170, 2017. ISSN 2167-3888. /10.1561/2400000011.
 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. 10.1103/PhysRevA.85.052310.
 J. M. Borwein and H. Wolkowicz. Regularizing the abstract convex program. J. Math. Anal. Appl., 83 (2): 495–530, 1981. ISSN 0022-247X. 10.1017/S1446788700017250.
 S. Sremac, H. J. Woerdeman, and H. Wolkowicz. Error bounds and singularity degree in semidefinite programming. SIAM J. Optim., 31 (1): 812–836, 2021. ISSN 1052-6234. 10.1137/19M1289327.
 D. G. Luenberger and Y. Ye. Linear and Nonlinear Programming, volume 116 of International series in operations research & management science. Springer, Boston, USA, 2008. ISBN 9781441945044. 10.1007/978-0-387-74503-9.
 J. Nocedal and S. J. Wright. Numerical optimization. Springer Series in Operations Research and Financial Engineering. Springer, New York, NY, USA, second edition, 2006. ISBN 978-0387-30303-1; 0-387-30303-0. 10.1007/978-0-387-40065-5.
 J. P. Dedieu and M. Shub. Newton's method for overdetermined systems of equations. Math. Comp., 69 (231): 1099–1115, 2000. ISSN 0025-5718. 10.1090/S0025-5718-99-01115-1.
 J. E. Dennis Jr. and R. B. Schnabel. Numerical methods for unconstrained optimization and nonlinear equations, volume 16 of Classics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1996. ISBN 0-89871-364-1. 10.1137/1.9781611971200. Corrected reprint of the 1983 original.
 R. D. C. Monteiro and M. J. Todd. Path-following methods. In Handbook of Semidefinite Programming, volume 27 of International Series in Operations Research & Management Science, pages 267–306. Springer, Boston, MA, 2000. 10.1007/978-1-4615-4381-7_10.
 J. W. Demmel. Applied numerical linear algebra. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1997. ISBN 0-89871-389-7. 10.1137/1.9781611971446.
 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. 10.1103/PhysRevX.9.041064.
 H. Fawzi, J. Saunderson, and P. A. Parrilo. Semidefinite approximations of the matrix logarithm. Foundations of Computational Mathematics, 19: 259–296, 2019. 10.1007/s10208-018-9385-0. Package cvxquad at https://github.com/hfawzi/cvxquad.
 D. G. Luenberger. Optimization by Vector Space Methods. John Wiley & Sons, New York, USA, 1969.
 H.-K. Lo, M. Curty, and B. Qi. Measurement-device-independent quantum key distribution. Phys. Rev. Lett., 108: 130503, 2012. 10.1103/PhysRevLett.108.130503.
 Z. Cao, Z. Zhang, H.-K. Lo, and X. Ma. Discrete-phase-randomized coherent state source and its application in quantum key distribution. New J. Phys., 17: 053014, 2015. 10.1088/1367-2630/17/5/053014.
 M. Lucamarini, Z. L. Yuan, J. F. Dynes, and A. J. Shields. Overcoming the rate-distance limit of quantum key distribution without quantum repeaters. Nature, 557: 400–403, 2018. 10.1038/s41586-018-0066-6.
 M. Curty, K. Azuma, and H.-K. Lo. Simple security proof of twin-field type quantum key distribution protocol. npj. Quantum Inf., 5: 64, 2019. 10.1038/s41534-019-0175-6.
 Min-Gang Zhou, Zhi-Ping Liu, Wen-Bo Liu, Chen-Long Li, Jun-Lin Bai, Yi-Ran Xue, Yao Fu, Hua-Lei Yin, and Zeng-Bing Chen, "Neural network-based prediction of the secret-key rate of quantum key distribution", Scientific Reports 12 1, 8879 (2022).
 Wen-Bo Liu, Chen-Long Li, Zhi-Ping Liu, Min-Gang Zhou, Hua-Lei Yin, and Zeng-Bing Chen, "Theoretical development of discrete-modulated continuous-variable quantum key distribution", Frontiers in Quantum Science and Technology 1, 985276 (2022).
 Wen-Bo Liu, Chen-Long Li, Yuan-Mei Xie, Chen-Xun Weng, Jie Gu, Xiao-Yu Cao, Yu-Shuo Lu, Bing-Hong Li, Hua-Lei Yin, and Zeng-Bing Chen, "Homodyne Detection Quadrature Phase Shift Keying Continuous-Variable Quantum key Distribution with High Excess Noise Tolerance", PRX Quantum 2 4, 040334 (2021).
 Zhi-Ping Liu, Min-Gang Zhou, Wen-Bo Liu, Chen-Long Li, Jie Gu, Hua-Lei Yin, and Zeng-Bing Chen, "Automated machine learning for secure key rate in discrete-modulated continuous-variable quantum key distribution", Optics Express 30 9, 15024 (2022).
The above citations are from Crossref's cited-by service (last updated successfully 2023-01-27 03:19:00) and SAO/NASA ADS (last updated successfully 2023-01-27 03:19:01). The list may be incomplete as not all publishers provide suitable and complete citation data.
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.