The generic security-analysis framework of Ye, Pan, Sun, Du, Yin and Long (Frontiers of Physics 16, 21503 (2021)) reduces the asymptotic security of block-transmission quantum secure direct communication (QSDC) protocols, including DL04 variants with detector-efficiency mismatch, to a numerically solvable minimization over quantum states constrained by observed check statistics. The source paper states one explicit open direction: the framework is asymptotic, and it "can be generalized to finite-size effect scenarios by using statistical methods and loosening the constraints used in our case". The paper additionally documents numerical weaknesses (heuristic solvers without validated error bounds or dual certificates) and demonstrates only one device imperfection (detector-efficiency mismatch), but presents these as addressed by its proposed optimization methods and framework design rather than as open goals. Finite-size security statements have been established for particular QSDC protocol families by other methods (Wu-Long-Hayashi 2022; Park-Kim-Heo 2023 decoy-state fluctuation analysis), and the practical-imperfection catalogue has grown substantially via decoy-state analytics, but the finite-size generalization of the framework itself is not known in the literature to date; certified computation of its capacity program and the integration of realistic device and side channels into that program remain related open directions.

Background

Quantum secure direct communication (QSDC) is a branch of quantum communication in which a secret message is conveyed directly through the quantum channel, without first distributing a cryptographic key as in quantum key distribution (QKD). In the block-transmission paradigm, the receiver sends a large block of quantum states (for example, entangled photon pairs), the parties publicly compare a randomly chosen subset (the security check) to estimate eavesdropping, and only if the estimated secrecy capacity is nonnegative does the sender encode the message on the remaining states and return them. A canonical example is the DL04 protocol, in which the message is encoded by Pauli operations acting as a quantum one-time pad on an entangled pair.

The secrecy capacity is the largest rate at which the sender can communicate to the receiver while an adversary (Eve) with full access to the quantum channel obtains essentially no information. Earlier QSDC analyses derived secrecy capacities analytically from Wyner-style wiretap-channel arguments (for instance, Wu, Lin, Yin and Long, Quantum Engineering 1, e26 (2019)), which becomes unwieldy once practical device imperfections or higher-dimensional protocols are considered. Ye et al. (Frontiers of Physics 16, 21503 (2021)) instead adapted the numerical security-proof methodology developed for QKD by Coles, Metodiev and Lütkenhaus (Nature Communications 7, 11712 (2016)) and Winick, Lütkenhaus and Coles (Quantum 2, 77 (2018)): the adversary's knowledge is bounded by a conditional von Neumann entropy (the quantum entropy of Eve's system conditioned on the legitimate receiver's system), and the secrecy capacity is obtained as the minimum of this functional over all quantum states consistent with the observed check statistics. The result is a convex optimization program over density operators. The paper solves it with a special projected gradient descent (SPGD) and a conditional gradient descent (CGD, Frank-Wolfe type) method, cross-checked against the reliable-capacity concept (the secrecy capacity obtained when both the forward and backward channel error rates are taken into account), and demonstrates the framework on DL04 and a six-state variant, including a full treatment of detector-efficiency mismatch (different detection efficiencies for different detectors, a known side-channel loophole) incorporated directly into the measurement operators.

The source paper states one explicit open direction: the analysis is asymptotic. The authors note that the framework "can be generalized to finite-size effect scenarios by using statistical methods and loosening the constraints used in our case", but no finite-sample procedure, confidence-region construction, or finite-block-length security proof is given. In QKD, finite-size analysis means that from a finite number of check samples one constructs confidence intervals on the channel parameters, loosens the constraints accordingly, and proves a composable security statement (roughly, security up to a vanishing error parameter) for finite code-block lengths; importing this into the QSDC framework is nontrivial because of the two-way, block-based structure of QSDC. Two further weaknesses are documented in the paper but presented there as addressed rather than as open goals. On the numerical side: CGD is observed to converge fast and then stall and oscillate near the constraint boundary, the dual-optimization technique used in QKD to certify tightness of numerics (as in Lin, Upadhyaya and Lütkenhaus, Physical Review X 9, 041064 (2019)) is reported to fail at high precision, and some plotted capacity boundaries show numerical-precision defects; the authors nevertheless present their combined SPGD+CGD (COMB) method as reaching precision 10^-10 and reliably keeping the first significant digits of the numerical results, and no validated error bounds, stopping criteria, or dual certificates for the QSDC capacity program are given. On the modeling side: the paper frames practical imperfections as naturally accommodated by the framework, but among them only detector-efficiency mismatch is demonstrated, incorporated directly into the measurement operators.

Problem Statement

Construct and prove the finite-size (non-asymptotic) security analysis of the generic numerical framework of Ye et al. for quantum secure direct communication, so that the framework yields rigorous finite-block security statements for practical QSDC protocols. Concretely, the problem comprises: (i) an explicit finite-sample statistical procedure for the framework - given a finite number of check measurements, construct confidence regions on the observed statistics and the corresponding loosened constraint sets for the state-optimization program, with a proof that the coverage of the statistical construction is valid under the framework's adversary model (Eve attacking the two-way, block-based transmission); and (ii) a composable finite-block-length security statement (a lower bound on finite-block secrecy capacity, or an upper bound on Eve's information, with explicit security parameters) derived from the resulting optimization, holding for the protocol class the framework covers, generalizing the asymptotic capacity of the source paper, and demonstrated on at least one practical protocol instance. The objective is met when the finite-block security statement of (ii), supported by the finite-sample statistical procedure of (i), is proved for the protocol class the framework covers and demonstrated on at least one practical protocol instance. Certified numerical computation of the capacity program and validation on device and side channels beyond detector-efficiency mismatch are related open directions; the objective concerns the finite-size generalization only.

References

  1. Z.-D. Ye, D. Pan, Z. Sun, C.-G. Du, L.-G. Yin, G.-L. Long, 'Generic security analysis framework for quantum secure direct communication', Frontiers of Physics 16, 21503 (2021). DOI: 10.1007/s11467-020-1025-x; arXiv:2011.14546, https://arxiv.org/abs/2011.14546
  2. J. Wu, G.-L. Long, M. Hayashi, 'Quantum secure direct communication with private dense coding using a general preshared quantum state', Physical Review Applied 17, 064011 (2022). DOI: 10.1103/PhysRevApplied.17.064011; arXiv:2112.15113, https://arxiv.org/abs/2112.15113
  3. D. Pan, G.-L. Long, L. Yin, Y.-B. Sheng, D. Ruan, S. X. Ng, J. Lu, L. Hanzo, 'The Evolution of Quantum Secure Direct Communication: On the Road to the Qinternet', IEEE Communications Surveys & Tutorials 26, 1898-1949 (2024). DOI: 10.1109/COMST.2024.3367535; arXiv:2311.13974, https://arxiv.org/abs/2311.13974
  4. J. Park, B. Kim, J. Heo, 'Statistical fluctuation analysis for decoy-state quantum secure direct communication', Quantum Information Processing 22, 112 (2023). DOI: 10.1007/s11128-023-03845-1, https://doi.org/10.1007/s11128-023-03845-1
  5. P. J. Coles, E. M. Metodiev, N. Lütkenhaus, 'Numerical approach for unstructured quantum key distribution', Nature Communications 7, 11712 (2016). DOI: 10.1038/ncomms11712, https://www.nature.com/articles/ncomms11712
  6. A. Winick, N. Lütkenhaus, P. J. Coles, 'Reliable numerical key rates for quantum key distribution', Quantum 2, 77 (2018). DOI: 10.22331/q-2018-07-26-77, https://quantum-journal.org/papers/q-2018-07-26-77/; arXiv:1710.05511, https://arxiv.org/abs/1710.05511
  7. J. Lin, T. Upadhyaya, N. Lütkenhaus, 'Asymptotic Security Analysis of Discrete-Modulated Continuous-Variable Quantum Key Distribution', Physical Review X 9, 041064 (2019). DOI: 10.1103/PhysRevX.9.041064, https://doi.org/10.1103/PhysRevX.9.041064
  8. F. G. Deng, G. L. Long, 'Secure direct communication with a quantum one-time pad', Physical Review A 69, 052319 (2004). DOI: 10.1103/PhysRevA.69.052319, https://doi.org/10.1103/PhysRevA.69.052319
  9. J. Wu, Z. Lin, L. Yin, G.-L. Long, 'Security of quantum secure direct communication based on Wyner's wiretap channel theory', Quantum Engineering 1, e26 (2019). DOI: 10.1002/que2.26, https://doi.org/10.1002/que2.26
  10. J. S. Shaari, S. Mancini, 'Finite Key Size Analysis of Two-Way Quantum Cryptography', Entropy 17, 2723-2740 (2015). DOI: 10.3390/e17052723, https://doi.org/10.3390/e17052723
  11. Z.-Z. Sun, D. Pan, D. Ruan, G.-L. Long, 'One-Sided Measurement-Device-Independent Practical Quantum Secure Direct Communication', Journal of Lightwave Technology 41, 4680-4690 (2023). DOI: 10.1109/JLT.2023.3244880, https://doi.org/10.1109/JLT.2023.3244880
  12. X.-J. Li, D. Pan, G.-L. Long, L. Hanzo, 'Single-Photon-Memory Measurement-Device-Independent Quantum Secure Direct Communication - Part II: A Practical Protocol and its Secrecy Capacity', IEEE Communications Letters 27, 1060-1064 (2023). DOI: 10.1109/LCOMM.2023.3247176, https://doi.org/10.1109/LCOMM.2023.3247176
  13. J.-W. Ying, Q. Zhang, S.-P. Gu, X.-F. Wang, L. Zhou, Y.-B. Sheng, 'Quantum secure direct communication based on fully passive source', arXiv:2502.12652 (2025), https://arxiv.org/abs/2502.12652
  14. L. Wang, G. Chai, Z. Cao, X. Chen, K. Liang, 'Gaussian-modulated coherent-state quantum secure direct communication and its security analysis', Quantum Information Processing 24, 214 (2025). DOI: 10.1007/s11128-025-04820-8, https://doi.org/10.1007/s11128-025-04820-8
  15. J.-Y. Wang, J.-W. Ying, Q. Zhang, S.-P. Gu, X.-F. Wang, L. Zhou, Y.-B. Sheng, 'Security analysis of Trojan horse attacks on single-photon based quantum secure direct communication systems', Frontiers of Physics 21, 123202 (2026). DOI: 10.15302/frontphys.2026.123202, https://journal.hep.com.cn/fop/EN/10.15302/frontphys.2026.123202
  16. Z. Ye, 'Analytic properties of cross-click operators in passive multi-basis photodetection: monotonicity, exact convergence rates, and dimension reduction for quantum key distribution', arXiv:2607.04186 (2026), https://arxiv.org/abs/2607.04186