REVIEW 2 major objections 2 minor 27 references
Improving device-independent quantum key distribution protocols through multiple routed Bell tests
T0 review · 2 major / 2 minor · reviewed 2026-06-26 · grok-4.3
Pith's one-line read Requiring consistency between conditional and overall Bell violations in routed tests improves DI-QKD detection efficiencies by 4-12%.
desk verdict The protocol claims 4-12% better detection efficiency from consistency checks on conditional local Bell tests after BSM, but the device-independence under post-selection looks like the part that needs checking. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Multiple routed Bell tests performed on randomly selected local devices, with violations verified even on successful distant BSM projections under a consistency requirement with the global test.
What would settle it
An experiment in a multi-source routed setup where the Bell violation parameters extracted from conditional local tests differ from those of the unconditional tests, producing no net reduction in the critical detection efficiency.
Extended reading notes
Core claim
By requiring that conditional local Bell test violations remain consistent with the overall one in a multi-source routed setup, the protocol achieves improvements in the critical detection efficiencies of about 4-12% for high visibilities, enabling long-distance DI-QKD with highly efficient local tests and loophole-free routing.
Load-bearing premise
Local Bell tests can be performed and verified even when a successful BSM projection is achieved, and randomly selected local devices allow consistent conditional statistics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a DI-QKD protocol employing multiple sources and measurement devices with routed Bell tests via distant BSM units. In each round, local Bell tests are executed on randomly selected devices; their CHSH violations are verified even conditional on successful BSM projection, and a consistency requirement is imposed between these conditional statistics and the unconditional ones. This is claimed to lower the critical detection-efficiency threshold by 4–12 % at high visibilities while preserving device independence. The protocol is further extended to dimension witnesses in a semi-device-independent setting.
Significance. If the consistency condition rigorously closes the post-selection gap while retaining full device independence, the result would meaningfully relax the detection-efficiency requirements for long-distance DI-QKD and enable the use of multiple high-efficiency local tests. The multi-source routing construction and its semi-DI extension constitute a concrete technical contribution.
major comments (2)
- The central claim (abstract and protocol section) that the consistency requirement between conditional and unconditional Bell-test statistics eliminates post-selection bias from BSM success rests on an unproven assumption that local devices remain independent of the BSM unit and that source selection is fully random. No explicit bound or security proof is supplied showing that any deviation in the conditional CHSH value is forbidden by the consistency check while still allowing the overall violation to certify DI security.
- § on security analysis: the manuscript must derive or cite a quantitative relation between the observed consistency tolerance and the resulting lower bound on the DI key rate (or on the critical detection efficiency). Without this, the stated 4–12 % improvement cannot be verified to be device-independent rather than an artifact of the post-selection.
minor comments (2)
- Notation for the routed versus local CHSH values should be unified and defined once at the beginning of the protocol description.
- The abstract states the improvement range without reference to visibility or number of sources; a brief table or plot in the main text should make the parameter dependence explicit.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the detailed comments on the security aspects of the protocol. We address each major comment below.
read point-by-point responses
-
Referee: The central claim (abstract and protocol section) that the consistency requirement between conditional and unconditional Bell-test statistics eliminates post-selection bias from BSM success rests on an unproven assumption that local devices remain independent of the BSM unit and that source selection is fully random. No explicit bound or security proof is supplied showing that any deviation in the conditional CHSH value is forbidden by the consistency check while still allowing the overall violation to certify DI security.
Authors: The independence between the local devices and the distant BSM is a standard modeling assumption in routed Bell-test and entanglement-swapping protocols, analogous to the usual separation between source and measurement devices in DI-QKD. The consistency requirement is introduced precisely to detect and discard rounds in which post-selection on BSM success would otherwise bias the observed CHSH value. We acknowledge that the present manuscript does not contain an explicit quantitative bound relating the consistency tolerance to the admissible bias. In the revised version we will add a short derivation showing that any deviation larger than the tolerance would violate the consistency condition, thereby preserving the device-independent certification of the overall violation. revision: yes
-
Referee: § on security analysis: the manuscript must derive or cite a quantitative relation between the observed consistency tolerance and the resulting lower bound on the DI key rate (or on the critical detection efficiency). Without this, the stated 4–12 % improvement cannot be verified to be device-independent rather than an artifact of the post-selection.
Authors: We will expand the security-analysis section to include an explicit relation between the consistency tolerance δ and the lower bound on the key rate. The tolerance constrains the difference between conditional and unconditional CHSH values; this difference enters the min-entropy bound used for the DI key rate via the standard CHSH-to-key-rate mapping. The revised manuscript will derive the resulting shift in the critical detection-efficiency threshold, confirming that the reported 4–12 % improvement remains valid under the device-independent assumptions. revision: yes
Circularity Check
No circularity: protocol improvement derived from consistency requirement on conditional tests
full rationale
The abstract and description present a DI-QKD protocol using multiple routed Bell tests with a consistency check between conditional (post-BSM) and unconditional local Bell violations. This consistency requirement is an independent protocol rule that produces the claimed 4-12% efficiency gain; it does not reduce to a fitted parameter, self-definition, or self-citation chain. No equations or prior-author uniqueness theorems are quoted that would force the result by construction. The derivation remains self-contained against external DI benchmarks.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Improving device-independent quantum key distribution protocols through multiple routed Bell tests." pith.science (2026). https://pith.science/paper/AOEPZNAB
@misc{pith2026260626329,
author = {Pith},
title = {Pith review of: Improving device-independent quantum key distribution protocols through multiple routed Bell tests},
year = {2026},
howpublished = {\url{https://pith.science/paper/AOEPZNAB}},
note = {Machine review of arXiv:2606.26329}
}
abstract
Device-independent quantum key distribution (DI-QKD) offers security with the smallest possible set of assumptions about the experimental setup. The challenge posed by its implementation could be tackled using routed Bell tests with entanglement swapping, or distant Bell state measurement (BSM) units. However, practical distances still require local tests with close-to-ideal violations. We propose a DI-QKD protocol based on multiple sources and measurement devices where, in each round, routed tests are performed on randomly selected local devices. The violation of local Bell tests is checked even when a successful BSM projection is achieved. By requiring that such conditional tests remain consistent with the overall one, we achieve improvements in the critical detection efficiencies of about $4-12\%$ for high visibilities. Our approach enables long-distance DI-QKD, with access to highly efficient loophole-free routing setups, and multiple local tests (possibly imperfect) with very high local detection efficiencies. Finally, we extend the concept of routing to dimension witnesses, where qubit-bounded sources send states to the BSM. This can be seen as a semi-device-independent extension of the aforementioned protocol.
Figures
Reference graph
Works this paper leans on
-
[1]
National Centre for HPC, Big Data and Quantum Computing (HPC)
We can write S= 2 √ 2(1−p bη) +S kpbη,(4) whereS k =S z=1,p b is the probability with which both switches route the state to the BSM, and 0< p b <1. We will refer to each component of the convex combination as astrategy. Since Eve can selectively block the BSM contributions from the ideal strategy (corresponding to S= 2 √ 2), she can set the minimumS k fo...
-
[2]
Zapatero, T
V. Zapatero, T. van Leent, R. Arnon-Friedman, W. Z. Liu, Q. Zhang, H. Weinfurter, and M. Curty, Advances in device-independent quantum key distribution, npj Quan- tum Information9, 10 (2023)
2023
-
[3]
Chaturvedi, G
A. Chaturvedi, G. Viola, and M. Paw lowski, Extend- ing loophole-free nonlocal correlations to arbitrarily large distances, npj Quantum Information10, 7 (2024)
2024
-
[4]
Le Roy-Deloison, E
T. Le Roy-Deloison, E. P. Lobo, J. Pauwels, and S. Piro- nio, Device-independent quantum key distribution based on routed Bell tests, PRX Quantum6, 020311 (2025)
2025
-
[5]
E. Y. Z. Tan and R. Wolf, Entropy bounds for device- independent quantum key distribution with local Bell test, Physical Review Letters133, 120803 (2024)
2024
-
[6]
H. K. Lo, M. Curty, and B. Qi, Measurement-device- independent quantum key distribution, Physical Review Letters108, 130503 (2012)
2012
-
[7]
G. Koßmann, M. Berta, and R. Schwonnek, Routed Bell tests with arbitrarily many local parties, arXiv preprint arXiv:2510.08405 10.48550/arXiv.2510.08405 (2025)
-
[8]
C. C. W. Lim, C. Portmann, M. Tomamichel, R. Renner, and N. Gisin, Device-independent quantum key distribu- tion with local Bell test, Physical Review X3, 031006 (2013)
2013
Show all 27 references
-
[9]
E. P. Lobo, J. Pauwels, and S. Pironio, Certifying long- range quantum correlations through routed Bell tests, Quantum8, 1332 (2024)
2024
-
[10]
Sekatski, J
P. Sekatski, J. Pauwels, E. P. Lobo, S. Pironio, and N. Brunner, Certification of quantum correla- tions and DIQKD at arbitrary distances through routed Bell tests, arXiv preprint arXiv:2502.12241 10.48550/arXiv.2502.12241 (2025)
2025 doi
-
[11]
Chaturvedi, M
A. Chaturvedi, M. Paw lowski, and M. Farkas, Ex- tending quantum correlations to arbitrary distances via parallel repetition of routed Bell tests, arXiv preprint arXiv:2504.17621 10.48550/arXiv.2504.17621 (2025)
2025 doi
-
[12]
J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Proposed experiment to test local hidden-variable theo- ries, Physical Review Letters23, 880 (1969)
1969
-
[13]
˙Zukowski, A
M. ˙Zukowski, A. Zeilinger, and M. A. Horne, Realizable higher-dimensional two-particle entanglements via multi- port beam splitters, Physical Review A55, 2564 (1997)
1997
-
[14]
Gallego, N
R. Gallego, N. Brunner, C. Hadley, and A. Ac´ ın, Device- independent tests of classical and quantum dimensions, Physical Review Letters105, 230501 (2010)
2010
-
[15]
Paw lowski and N
M. Paw lowski and N. Brunner, Semi-device-independent security of one-way quantum key distribution, Physical Review A84, 010302 (2011)
2011
-
[16]
Gisin, S
N. Gisin, S. Pironio, and N. Sangouard, Proposal for im- plementing device-independent quantum key distribution based on a heralded qubit amplifier, Physical Review Let- ters105, 070501 (2010)
2010
-
[17]
Devetak and A
I. Devetak and A. Winter, Distillation of secret key and entanglement from quantum states, Proceedings of the Royal Society A: Mathematical, Physical and Engineer- ing Sciences461, 207 (2005)
2005
-
[18]
Ribeiro, G
J. Ribeiro, G. Murta, and S. Wehner, Fully device- independent conference key agreement, Physical Review A97, 022307 (2018)
2018
-
[19]
Pironio, A
S. Pironio, A. Ac´ ın, N. Brunner, N. Gisin, S. Massar, and V. Scarani, Device-independent quantum key distri- bution secure against collective attacks, New Journal of Physics11, 045021 (2009)
2009
-
[20]
Navascu´ es, S
M. Navascu´ es, S. Pironio, and A. Ac´ ın, Bounding the set of quantum correlations, Physical Review Letters98, 010401 (2007)
2007
-
[21]
K. X. Yang, Y. L. Mao, H. Chen, X. Dong, J. Zhu, J. Wu, and Z. D. Li, Experimental measurement-device- independent quantum conference key agreement, Physi- cal Review Letters133, 210803 (2024)
2024
-
[22]
S. L. Braunstein and C. M. Caves, Wringing out better Bell inequalities, Annals of Physics202, 22 (1990)
1990
-
[23]
Ramanathan and P
R. Ramanathan and P. Horodecki, Strong monogamies of no-signaling violations for bipartite correlation Bell in- equalities, Physical Review Letters113, 210403 (2014)
2014
-
[24]
Woodhead and S
E. Woodhead and S. Pironio, Secrecy in prepare-and- measure Clauser-Horne-Shimony-Holt tests with a qubit bound, Physical Review Letters115, 150501 (2015)
2015
-
[25]
Z. Q. Yin, C. H. F. Fung, X. Ma, C. M. Zhang, H. W. Li, W. Chen, and Z. F. Han, Mismatched-basis statis- tics enable quantum key distribution with uncharacter- ized qubit sources, Physical Review A90, 052319 (2014)
2014
-
[26]
Lukanowski, M
K. Lukanowski, M. Balanz´ o-Juand´ o, M. Farkas, A. Ac´ ın, and J. Ko lody´ nski, Upper bounds on key rates in device- independent quantum key distribution based on convex- combination attacks, Quantum7, 1199 (2023). Appendix A: Hidden V ariable Strategy We will show that the ...
2023
-
[27]
No security is possible whenη≤p L
The upper bound on the key rate, Ru ≤H(A|E)−H(A|B) =p N L −h(q).(B1) This is also a simpler alternative applicable for DI-QKD, and known to give threshold values close to the analytic lower bound [25]. No security is possible whenη≤p L. Whenη > p L, we can writeS k = 2 √ 2pN L...
Reviewed June 26, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.