pith. sign in

arxiv: 1907.01235 · v1 · pith:CECR65BInew · submitted 2019-07-02 · 🪐 quant-ph

Device-independent quantum secure direct communication

Pith reviewed 2026-05-25 11:26 UTC · model grok-4.3

classification 🪐 quant-ph
keywords device-independentquantum secure direct communicationBell inequalitynoiseless linear amplificationentanglement purificationabsolute securityquantum communicationphoton loss
0
0 comments X

The pith

The first device-independent quantum secure direct communication protocol is absolutely secure in the noiseless case with no distance limitation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper introduces the first device-independent quantum secure direct communication protocol, making no assumptions about how the devices work or what quantum systems they use. It establishes that the protocol achieves absolute security when there is no noise, because security is certified through Bell inequality violations alone. The authors further incorporate noiseless linear amplification and entanglement purification to counteract photon loss and decoherence while preserving that security. A sympathetic reader would care because the approach removes the need to trust the internal details of quantum hardware, which is a key obstacle to practical quantum communication.

Core claim

We put forward the first device-independent quantum secure direct communication protocol where no assumptions are made about the way the devices work or on what quantum system they operate. We show that in the absence of noise, the DI-QSDC protocol is absolutely secure and there is no limitation for the communication distance. Under practical noisy quantum channel condition, the photon transmission loss and photon state decoherence would reduce the communication quality and threaten its absolute security. For solving these problems, we adopt noiseless linear amplification protocol and entanglement purification protocol to modify the DI-QSDC protocol and guarantee its absolute security.

What carries the argument

Bell inequality violation for certifying security without device assumptions, combined with noiseless linear amplification and entanglement purification to restore security and quality under noise.

If this is right

  • The protocol can communicate securely over arbitrary distances when noise is absent.
  • Security holds without any knowledge of the internal functioning of the quantum devices.
  • Noiseless linear amplification and entanglement purification restore absolute security in the presence of photon loss and decoherence.
  • Communication quality improves by mitigating the effects of noisy channels while maintaining the device-independent guarantee.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Device-independent certification via Bell violations could be adapted to other quantum communication tasks such as key distribution.
  • The modifications with amplification and purification might allow security even under partial noise if the Bell violation remains above threshold.
  • Real-world tests would need entanglement sources that reliably produce the required Bell violations alongside the amplification steps.

Load-bearing premise

The devices must produce correlations that violate a Bell inequality strongly enough to certify the security of the communication.

What would settle it

An experiment showing a security breach or finite distance limit in the protocol when the devices exhibit strong Bell inequality violation in a completely noiseless setting.

Figures

Figures reproduced from arXiv: 1907.01235 by Gui-Lu Long, Lan Zhou, Yu-Bo Sheng.

Figure 1
Figure 1. Figure 1: Before operating the DI-QSDC protocol, Alice [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 1
Figure 1. Figure 1: FIG. 1: The schematic principle of our DI-QSDC protocol. In t [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: The key generation rate ( [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2: The maximal communication distance [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5: The schematic principle of the linear-optical entan [PITH_FULL_IMAGE:figures/full_fig_p006_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6: The schematic principle of the modified DI-QSDC proto [PITH_FULL_IMAGE:figures/full_fig_p008_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7: The logarithmic communication efficiency ( Lg ( [PITH_FULL_IMAGE:figures/full_fig_p008_7.png] view at source ↗
read the original abstract

"Device-independent" not only represents a relaxation of the security assumptions about the internal working of the quantum devices, but also can enhance the security of the quantum communication. In the paper, we put forward the first device-independent quantum secure direct communication (DI-QSDC) protocol, where no assumptions are made about the way the devices work or on what quantum system they operate. We show that in the absence of noise, the DI-QSDC protocol is absolutely secure and there is no limitation for the communication distance. However, under practical noisy quantum channel condition, the photon transmission loss and photon state decoherence would reduce the communication quality and threaten its absolute security. For solving the photon transmission loss and decoherence problems, we adopt noiseless linear amplification (NLA) protocol and entanglement purification protocol (EPP) to modify the DI-QSDC protocol. With the help of the NLA and EPP, we can guarantee the absolute security of the DI-QSDC and effectively improve its communication quality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript proposes the first device-independent quantum secure direct communication (DI-QSDC) protocol. It claims that the protocol achieves absolute security with no distance limitation in the noiseless case, and that noiseless linear amplification (NLA) combined with entanglement purification (EPP) restores absolute security and communication quality under photon loss and decoherence.

Significance. If a rigorous, protocol-specific security reduction establishing zero leakage at maximal Bell violation is supplied, the work would constitute a meaningful extension of device-independent cryptography from key distribution to direct message transmission.

major comments (2)
  1. [Abstract] Abstract: the headline claim of absolute security (zero leakage) in the noiseless case is load-bearing yet unsupported by any displayed Bell inequality, security bound, or reduction; a generic invocation of DI-QKD results does not automatically supply the required upper bound on Eve’s information about the transmitted message.
  2. [Abstract] The protocol description (implicit in the abstract) re-uses entanglement distribution plus measurement rounds; without an explicit adaptation of the Devetak-Winter bound or equivalent to the direct-communication step, an unaccounted classical leakage channel may remain even at CHSH value 2√2.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight important points regarding the security analysis that we address below. We agree that the noiseless-case security claim requires more explicit support and have revised the manuscript to include a dedicated security reduction section.

read point-by-point responses
  1. Referee: [Abstract] Abstract: the headline claim of absolute security (zero leakage) in the noiseless case is load-bearing yet unsupported by any displayed Bell inequality, security bound, or reduction; a generic invocation of DI-QKD results does not automatically supply the required upper bound on Eve’s information about the transmitted message.

    Authors: We accept this criticism. The original manuscript invokes DI-QKD results at the level of maximal CHSH violation but does not display an explicit bound on Eve’s information about the message bits themselves. In the revised version we add a new subsection that derives the message leakage bound directly from the observed Bell violation, using the fact that the certified state is a singlet (up to local isometries) and applying the Devetak-Winter formula to the direct-encoding step. A figure showing the Bell value versus leakage will also be included. revision: yes

  2. Referee: [Abstract] The protocol description (implicit in the abstract) re-uses entanglement distribution plus measurement rounds; without an explicit adaptation of the Devetak-Winter bound or equivalent to the direct-communication step, an unaccounted classical leakage channel may remain even at CHSH value 2√2.

    Authors: We agree that the adaptation must be shown explicitly rather than assumed. The revised manuscript now contains a step-by-step security reduction that maps the direct-communication phase onto an equivalent entanglement-based key-agreement task, confirming that the classical communication used for basis choice and error correction does not open an additional leakage channel once the Bell violation reaches 2√2. The same NLA+EPP post-processing is shown to restore the required violation threshold. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained; no load-bearing reductions to inputs or self-citations

full rationale

The paper introduces a DI-QSDC protocol and claims absolute security in the noiseless limit from Bell-inequality violation without device assumptions. No equations, security reductions, or protocol steps in the provided text reduce the central claim to a fitted parameter, self-definition, or unverified self-citation chain. The security assertion rests on standard device-independent arguments from quantum information theory rather than any internal renaming, ansatz smuggling, or prediction-by-construction. This is the normal case of an independent derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; security rests on standard quantum mechanics and Bell nonlocality assumptions that are not detailed here.

pith-pipeline@v0.9.0 · 5693 in / 1041 out tokens · 20907 ms · 2026-05-25T11:26:53.240805+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages

  1. [1]

    Otherwise, Alice and Bob should discard the whole communication. Step 5: If the parties entrust both the two photon transmission processes, Bob can finally read out the mes- sages from Alice by performing Bell-state analysis on the message encoded EPR pairs in his hand [45–47]. III. SECURITY AND COMMUNICATION QUALITY OF THE DI-QSDC PROTOCOL In the security...

  2. [2]

    of the eavesdropper in the second photon transmission process by I ′ 2(S′

  3. [3]

    (28) According to Eq

    = h( 1 + √ (S′ 2/2)2 − 1 2 ). (28) According to Eq. (16), as I ′ 1 → 0, we can obtain the eavesdropper’s information interception rate of the mod- ified DI-QSDC protocol as IE → 0. (29) Eq. (29) agrees to that fact that the security of the DI- QSDC can be ensured when we can ensure the absolute 8 Alice Alice Alice Alice Bob Bob Bob NLA Uncoded Photon Encod...

  4. [4]

    (31) For ensuring Ec2 ≥ 0, we can calculate the threshold value of p to be 0.858, which is the same as that in the DI-QKD protocol in Ref

    − I2(S′ 2)]. (31) For ensuring Ec2 ≥ 0, we can calculate the threshold value of p to be 0.858, which is the same as that in the DI-QKD protocol in Ref. [23]. Comparing with the original DI-QSDC protocol, the adoption of EPP in the first transmission process reduces the threshold value of p from 0.926 to 0.858. In this way, the modified DI-QSDC is easier to ...

  5. [5]

    C. H. Bennett and G. Brassard, Proceedings of the Inter- national Conference on Computers, Systems and Signal Processing Bangalore press, India, pp. 175-179 (1984)

  6. [6]

    Hillery, V

    M. Hillery, V. Bu˘ zek, and A. Berthiaume, Phys. Rev. A 59, 1829 (1999)

  7. [7]

    G. L. Long and X. S. Liu, Phys. Rev. A 65, 032302 (2002)

  8. [8]

    A. K. Ekert, Phys. Rev. Lett. 67, 661 (1991)

  9. [9]

    Ursin, F

    R. Ursin, F. Tiefenbacher, T. Schmitt-Manderbach, H. Weier, T. Scheidl, M. Lindenthal, B. Blauensteiner, T. Jennewein, J. Perdigues, P. Trojek, B. ¨Omer, M. F¨urst, M. Meyenburg, J. Rarity, Z. Sodnik, C. Barbieri, H. We- infurter, A. Zeilinger, Nat. Phys. 3, 481-486 (2007)

  10. [10]

    Sasaki, Y

    T. Sasaki, Y. Yamamoto, and M. Koashi, Nature (Lon- don) 509, 475-478 (2014)

  11. [11]

    S. Wang, Z. Q. Yin, W. Chen, D. Y. He, X. T. Song, H. W. Li, L. J. Zhang, Z. Zhou, G. C. Guo, and Z. F. Han, Nat. Photonics 9, 832-836 (2015)

  12. [12]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K.Horodecki, Rev. Mod. Phys. 81, 865 (2009)

  13. [13]

    F. G. Deng, G. L. Long, and X. S. Liu, Phys. Rev. A 68, 042317 (2003)

  14. [14]

    F. G. Deng and G. L. Long, Phys. Rev. A 69, 052319 (2004)

  15. [15]

    C. Wang, F. G. Deng, Y. S. Li, X. S. Liu, and G. L. Long, Phys. Rev. A 71, 044305 (2005)

  16. [16]

    J. Y. Hu, B. Yu, M. Y. Jing, L. T. Xiao, S. T. Jia, G. Q. Qin, and G. L. Long, Light Sci. Appl. 5, e16144 (2016)

  17. [17]

    Zhang, D

    W. Zhang, D. S. Ding, Y. B. Sheng, L. Zhou, B. S. Shi,and G. C. Guo, Phys. Rev. Lett. 118, 220501 (2017)

  18. [18]

    F. Zhu, W. Zhang, Y. B. Sheng, Y. D. Huang, Sci. Bull. 62, 1519-1524 (2017)

  19. [19]

    H. K. Lo and H. F. Chau, Science, 283, 2050-2056 (1999)

  20. [20]

    E. Waks, A. Zeevi, and Y. Yamamoto, Phys. Rev. A 65, 052310 (2002)

  21. [21]

    Curty, N

    M. Curty, N. L¨ utkenhaus, Phys. Rev. A 71, 062301 (2005)

  22. [22]

    Inamori, N

    H. Inamori, N. L¨ utkenhaus, and D. Mayers, Eur. Phys. J. D 41, 599-627 (2007)

  23. [23]

    Stacey, R

    W. Stacey, R. Annabestani, X. F. Ma, N. L¨ utkenhaus, Phys. Rev. A 91, 012338 (2015)

  24. [24]

    Z. Q. Yin, S. Wang, W. Chen, Y. G. Han, R. Wang, G. C Guo, Z. F. Han, Nat. Commun. 9, 457 (2018)

  25. [25]

    Scarani, N

    V. Scarani, N. Gisin, N. Brunner, L. Masanes, S. Pino, and A. Ac ´in, Phys. Rev. A 74, 042339 (2006)

  26. [26]

    Ac ´in, N

    A. Ac ´in, N. Gisin, and L. Masanes, Phys. Rev. Lett. 97, 120405 (2006)

  27. [27]

    Pironio, A

    S. Pironio, A. Ac ´in, N. Brunner, N. Gisin, S. Massar, and V. Scarani, New J. Phys. 11, 045021 (2009)

  28. [28]

    Ac ´in, S

    A. Ac ´in, S. Massar, and S. Pironio, New J. Phys. 8, 126 (2006)

  29. [29]

    Ac ´in, N

    A. Ac ´in, N. Brunner, N. Gisin, S. Massar, S. Pironio, and V. Scarani, Phys. Rev. Lett. 98, 230501 (2007)

  30. [30]

    C. C. W. Lim, C. Portmann, M. Tomamichel, R. Renner, N. Gisin, Phys. Rev. X 3, 031006 (2013)

  31. [31]

    J. S. Bell, On the Einstein Podolsky Rosen Paradox, Physics 1, 195 (1964)

  32. [32]

    J. F. Clauser, M.A. Horne, A. Shimony, and R. A. Holt, Phys. Rev. Lett. 23, 880 (1969)

  33. [33]

    T. C. Ralph and A. P. Lund, in Proceedings of the 9th International Conference on Quantum Communica- tion Measurement and Computing, A. lvovsky, ed. (AIP, 2009), pp. 155-160

  34. [34]

    C. I. Osorio, N. Bruno, N. Sangouard, H. Zbinden, N. Gisin, and R. T. Thew, Phys. Rev. A 86, 023815 (2012)

  35. [35]

    M. Bula, K. Bartkiewicz, A. ˘Cernoch, and K. Lemr, Phys. Rev. A 87, 033826 (2013)

  36. [36]

    Meyer-Scott, M

    E. Meyer-Scott, M. Bula, K. Bartkiewicz, A. ˘Crnoch, J. Soubusta, T. Jennewein, and K. Lemr, Phys. Rev. A 88, 012327 (2013)

  37. [37]

    Kocsis, G

    S. Kocsis, G. Y. Xiang, T. C. Ralph, and G. J. Pryde, Nat. Phys. 9, 23-28 (2013)

  38. [38]

    Zhou and Y

    L. Zhou and Y. B. Sheng, Laser Phys. Lett. 12, 045203 (2015)

  39. [39]

    Gisin, S

    N. Gisin, S. Pironio, and N. Sangouard, Phys. Rev. Lett. 105, 070501 (2010)

  40. [40]

    Pitkanen, X

    D. Pitkanen, X. Ma, R. Wickert, P. van Loock, and N. L¨ utkenhaus, Phys. Rev. A84, 022325 (2011)

  41. [41]

    Curty, and T

    M. Curty, and T. Moroder, Phys. Rev. A 84, 010304(R) (2011)

  42. [42]

    Monteiro, E

    F. Monteiro, E. Verbanis, V. Vivoli Caprara, A. Martin, N. Gisin, H. Zbinden ,and R. T. Thew, Quantum Sci. Technol. 2, 024008 (2017). 11

  43. [43]

    C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. Smolin, and W. K. Wootters, Phys. Rev. Lett. 76, 722 (1996)

  44. [44]

    D¨ ur, H

    W. D¨ ur, H. J. Briegel, J. I. Cirac, and P. Zoller, Phys. Rev. A 59(1), 169 (1999)

  45. [45]

    J. W. Pan, C. Simon, and A. Zellinger, Nature 410, 1067- 1070 (2001)

  46. [46]

    Y. B. Sheng, F. G. Deng, H. Y. Zhou, Phys. Rev. A 77, 042308 (2008)

  47. [47]

    Zwerger, H

    M. Zwerger, H. J. Briegel, and W. D¨ ur, Phys. Rev. Lett. 110, 260503 (2013)

  48. [48]

    Scarani, H

    V. Scarani, H. Bechmann-Pasquinucci, N. J. Cerf, M. Du˘sek, N. L¨ utkenhaus, M. Peev, Rev. Mod. Phys. 81, 1301 (2009)

  49. [49]

    Vaidman and N

    L. Vaidman and N. Yoran, Phys. Rev. A 59, 116 (1999)

  50. [50]

    L¨ utkenhaus, J

    N. L¨ utkenhaus, J. Calsamiglia, and K. A. Suominen, Phys. Rev. A 59, 3295 (1999)

  51. [51]

    Calsamiglia, Phys

    J. Calsamiglia, Phys. Rev. A 65, 030301(R) (2002)

  52. [52]

    Halenkov´a, A

    E. Halenkov´a, A. ˘Cernoch, K.Lemr, J. Soubusta, and S. Drusov´a, Appl. Opt. 51, 474 (2012)

  53. [53]

    Zhang, X

    Q. Zhang, X. P. Xie, H. Takesue, S. W. Nam, C. Lan- grock, M. M. Fejer, Y. Yamamoto, Opt. Express 15 10288 (2007)