{"id":"e9d2801a-ca17-4b9c-9358-0847c717d779","arxiv_id":"2606.26329","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A DI-QKD protocol with multiple routed Bell tests and conditional consistency checks lowers critical detection efficiencies by 4-12% for high visibilities.","lead":"The paper proposes a DI-QKD protocol using multiple routed Bell tests on randomly selected local devices, checking local violations even after successful distant BSM, to improve detection efficiencies by 4-12%. A smart generalist might read it to see how routing and consistency checks could make long-distance quantum-secure key distribution more practical.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Consistency of conditional local Bell tests post-BSM may fail to preserve DI statistics due to post-selection bias in multi-source routing","rationale":"The reader's weakest_assumption exactly isolates the post-BSM conditional-statistics step that the abstract's improvement claim depends on. Because the full manuscript is referenced but not reproduced here, no stronger internal inconsistency can be checked; the concern therefore remains the one already flagged and does not alter the UNVERDICTED status.","tokens_in":1696,"tokens_out":346,"duration_ms":13537,"concrete_test":"Implement a numerical simulation of the multi-source routed protocol (two sources, random local-device selection, BSM on one pair) with a realistic detection-efficiency model; compute both unconditional and BSM-conditioned CHSH values for the local tests; verify whether the consistency condition forces the conditional violation to equal the unconditional one within 1% for visibilities >0.95. If the conditional value drops below the threshold needed for the claimed efficiency gain, the improvement does not hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The improvement (4-12% in critical detection efficiency) rests on performing/verifying local Bell tests even after successful BSM projection and requiring their statistics to match the unconditional ones. In an entanglement-swapping routed setup with multiple sources, conditioning on BSM success constitutes post-selection; if the local devices share any hidden correlation with the BSM unit or if source selection is not fully independent, the conditional CHSH values can deviate systematically from the overall violation without violating the consistency check. The abstract provides no explicit bound or proof that the consistency requirement closes this gap while retaining full device-independence.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1790,"tokens_out":478,"duration_ms":12801,"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":[{"comment":"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.","section":null},{"comment":"§ 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.","section":null}],"minor_comments":[{"comment":"Notation for the routed versus local CHSH values should be unified and defined once at the beginning of the protocol description.","section":null},{"comment":"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.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[{"response":"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_made":"yes","referee_comment":"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."},{"response":"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_made":"yes","referee_comment":"§ 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."}],"tokens_in":1357,"tokens_out":471,"duration_ms":24055,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is a protocol that runs multiple routed Bell tests in a DI-QKD setup and adds a consistency requirement on the local tests that happen even after a successful BSM. They report 4-12% better critical detection efficiency for high visibilities.\n\nWhat stands out as new is the use of randomly selected local devices across multiple sources, combined with checking that the conditional local violations match the unconditional ones. The extension to dimension witnesses for a semi-DI version is also there. This targets the practical problem of needing near-ideal local tests for long-distance routed DI-QKD while allowing some imperfection.\n\nIt does a decent job framing how this could enable longer distances with efficient local setups.\n\nThe soft spot is whether the consistency condition actually preserves full device independence. The BSM success conditions on the data, which is post-selection. In a setup with multiple sources, any link between the local devices and the BSM unit could shift the conditional statistics in a way that the consistency check doesn't catch, potentially weakening the DI guarantee. The abstract doesn't show a bound or proof that this is handled, so the claimed improvement might not hold under strict DI analysis. The weakest assumption seems to be that local Bell tests can be verified independently even post-BSM without introducing bias.\n\nThis paper is aimed at people in quantum cryptography who work on protocol variants for DI-QKD. A reader who follows routed Bell test literature would see the incremental idea and might want to check the details.\n\nI would send it to peer review so the security proof can be examined properly, though the abstract alone leaves the key question open.","headline":"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.","tokens_in":2249,"tokens_out":415,"would_cite":false,"duration_ms":16701,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Requiring consistency between conditional and overall Bell violations in routed tests improves DI-QKD detection efficiencies by 4-12%.","keywords":["device-independent QKD","Bell tests","entanglement swapping","detection efficiency","routed tests","quantum cryptography","Bell state measurement"],"falsifier":"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.","tokens_in":2583,"feed_emoji":"🔐","tokens_out":426,"duration_ms":19932,"temperature":0.7,"pith_summary":"The paper develops a device-independent quantum key distribution protocol using multiple sources and routed Bell tests with entanglement swapping. In each round, local Bell tests are performed on randomly selected devices, and their violations are checked even after a successful distant Bell state measurement. By demanding that these conditional test results stay consistent with the overall violation statistics, the protocol lowers the minimum detection efficiency needed to close the detection loophole. This enables longer-distance implementations while relying on high-efficiency local setups and multiple possibly imperfect tests.","feed_headline":"Consistency requirement cuts DI-QKD detection needs by 4-12%","feed_subtitle":"Routed Bell tests on randomly chosen local devices lower the efficiency threshold when conditional violations match the overall result.","key_machinery":"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.","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Routed Bell tests cut DI-QKD detection needs 4-12%","Consistency lowers DI-QKD thresholds in routed setups 4-12%","Multiple routed tests reduce critical DI-QKD efficiencies 4-12%","Local Bell test consistency cuts detection needs 4-12%"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Routed Bell tests cut DI-QKD detection needs 4-12%","Consistency lowers DI-QKD thresholds in routed setups 4-12%","Multiple routed tests reduce critical DI-QKD efficiencies 4-12%","Local Bell test consistency cuts detection needs 4-12%"]},"model":"grok-4.3","cost_usd":0.007859,"raw_usage":{"total_tokens":3566,"prompt_tokens":630,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":78587000,"prompt_tokens_details":{"text_tokens":630,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2864,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":630,"tokens_out":72,"duration_ms":20545,"temperature":1.0,"reasoning_tokens":2864,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T01:24:47.094295+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}