{"id":"aa9e160a-81d7-4b79-830d-51dc2628e590","arxiv_id":"2508.14421","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Every incompatible measurement set, including Bell-local ones, can generate nonlocality in a quantum-input (Buscemi) scenario, and the extractable amount is capped by the degree of incompatibility.","lead":"All incompatible sets of quantum measurements can generate nonlocality when the measurement inputs are quantum states rather than classical choices. If correct, this closes a known gap, since some incompatible measurement sets produce only local correlations in the usual Bell scenario.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: proof text is illegible, so no mathematical flaw can be assessed; verdict remains UNVERDICTED.","rationale":"The reader's verdict of UNVERDICTED is appropriate: the full text is corrupted and the proofs cannot be audited. The reader's weakest_assumption—that the 'generalised set of measurements' construction is faithful—is indeed load-bearing if the paper is correct, but the corruption prevents me from confirming whether this assumption is actually problematic. I agree with the reader that no red flags should be attributed to the authors; the illegibility is an extraction defect. My agreement is 'partial' because I am not raising the construction as a substantive concern, only as an uncheckable premise; the correct disposition is to leave the verdict UNCHANGED until a readable version is available. No internal inconsistency or external-consensus conflict can be assessed from the provided text, so any stronger verdict (accept or reject) would be unsupported.","tokens_in":22204,"tokens_out":1286,"duration_ms":17206,"concrete_test":"Obtain the original TeX/PDF (or a clean extraction) of arXiv:2508.14421 and audit the construction of the 'generalised set of measurements' and the proof that it preserves incompatibility while reproducing Buscemi nonlocality. In particular, verify that the map from a measurement set to its generalised counterpart is injective on incompatibility and that the stated upper bound on extractable nonlocality is proven with the claimed monotonicity of the incompatibility degree. If the proof contains a gap at these steps, the headline claim would need revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The provided full-text artifact is heavily corrupted: most equations and prose are mojibake, and a stray header from an unrelated arXiv record (arXiv:2508.14422v4 [eess.SY]) is embedded in the text. Because the proofs cannot be read, I cannot identify a specific load-bearing mathematical assumption that might be wrong. The abstract's central claim—that every incompatible set of measurements generates Buscemi nonlocality via a 'generalised set of measurements', with extractable nonlocality bounded by the incompatibility degree—is internally plausible but entirely unauditable from the supplied artifact. No specific algebraic, logical, or conceptual error can be pointed to. This is an explicit non-finding, not an endorsement: the absence of a detected flaw reflects the absence of readable evidence, not demonstrated correctness.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to prove that all sets of incompatible measurements can generate nonlocality in an extended Bell scenario with quantum measurement inputs (Buscemi nonlocality), including previously problematic incompatible-local sets. It further claims that the maximum amount of extractable nonlocality is bounded by a measure of the degree of incompatibility, and it introduces a new construct, the \"generalised set of measurements,\" as a unifying framework for quantum-input scenarios.","tokens_in":22312,"tokens_out":2051,"duration_ms":25641,"significance":"If the proof is correct, this is a substantial advance: it would close the long-standing gap between incompatibility and nonlocality by showing that, once inputs are quantum, incompatibility is not only necessary but sufficient. The explicit upper bound in terms of an incompatibility degree would also provide a quantitative bridge between two central resources in quantum information. The proposed \"generalised set of measurements\" could be a useful unifying tool for studying quantum-input scenarios. The claim is falsifiable and the result, if established, would likely influence subsequent work on measurement incompatibility and nonlocality.","major_comments":[{"comment":"The supplied manuscript text is heavily corrupted: nearly all equations, definitions, and proof steps are illegible mojibake, and an unrelated arXiv header (arXiv:2508.14422v4 [eess.SY]) is embedded in the text. The central claim is a proof-based theorem, so the derivation is the evidence. As provided, no proof step can be checked: in particular, the definition of the \"generalised set of measurements\" and the arguments that it preserves both incompatibility and the nonlocality-relevant structure of the quantum-input scenario cannot be audited. This is load-bearing for the main theorem.","section":"Full text (as provided)"},{"comment":"The abstract states that the maximum extractable nonlocality is \"limited by the degree of incompatibility.\" Without a readable definition of this degree and of the nonlocality quantifier, I cannot verify that the bound is nontrivial, monotone, or achievable. The proof of this bound is not accessible in the supplied text, so the claim that the bound is \"achievable\" rather than merely formal remains unsubstantiated in the artifact under review.","section":"Abstract / upper-bound claim"},{"comment":"The paper introduces a new object, the \"generalised set of measurements,\" and asserts it provides a unifying way to study any quantum-input scenario. The fidelity of this construction is a premise of the proof: it must preserve the incompatibility of the original set and the correlation structure of the scenario. I cannot check this from the provided text. A clean, legible statement of the definition and its key properties is essential for evaluating the main claim.","section":"General framework"}],"minor_comments":[{"comment":"The text contains an unrelated header \"arXiv:2508.14422v4 [eess.SY] 17 May 2026\"; this should be removed. The corruption of Greek letters, equation alignment, and section headings makes the manuscript unreadable; a clean PDF or source version is needed.","section":"Full text"},{"comment":"Because the text is garbled, I cannot verify that the notation is consistent or that all referenced definitions (e.g., Buscemi nonlocality, incompatible-local sets) are standard. Please ensure a clean version for review.","section":"References/notation"}],"recommendation":"uncertain","confidential_remarks":"The illegibility of the supplied full text may be an artifact of the review pipeline rather than a fault of the authors. If so, I would gladly review a readable version. Given the potential significance of the claimed result, rejection would be inappropriate, but acceptance is impossible without a checkable proof. I recommend requesting a clean version and a full proof of the main theorem and the upper-bound statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: if the main theorem is right, it closes a natural loop in the quantum resource hierarchy. Incompatibility is necessary for Bell nonlocality but not sufficient; the paper claims that once the inputs become quantum, every incompatible set becomes nonlocal. That is exactly the kind of statement worth checking carefully. I can't check it from what I was given. The full text is mojibake, and there is even a stray header from an unrelated arXiv record. So the proof steps are simply not in front of me.\n\nWhat the paper does well: the abstract is honest and internally coherent. The background (incompatibility necessary for Bell nonlocality, existence of incompatible-local sets) is stated correctly. The two stated results are well-posed: all incompatible sets generate Buscemi nonlocality, and the extractable nonlocality is capped by the degree of incompatibility. The generalized-set-of-measurements object seems like a natural unifying tool for quantum-input scenarios. This is the kind of result that would be cited.\n\nSoft spots, in proportion: the only real soft spot I can name is that the proof is not auditable in the artifact I have. That is an extraction problem, not a claimed flaw. The worry I would carry into a referee report is whether the 'degree of incompatibility' bound is definitionally tied to the nonlocality quantifier in a way that makes the upper bound true by construction rather than by substance. The abstract gives no detail on that. The faithfulness of the generalized set is also load-bearing: it must preserve both the incompatibility of the original set and the quantum-input features of the scenario. I cannot tell from the abstract whether that holds. These are questions for a referee, not accusations.\n\nBottom line: this deserves a serious referee. The claim, if correct, is a short, publishable resolution of an open question. The authors have track records in this area. I would send it to review and ask for a clean copy with all proofs readable. If the proof checks out, I would cite it; until then I would not.","headline":"Clean sufficiency result for Buscemi nonlocality, but the only text I can read is the abstract; the proof is unverifiable in this extraction.","tokens_in":22839,"tokens_out":1921,"would_cite":false,"duration_ms":20127,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P40","81P15","81P45"],"pacs":["03.65.Ud","03.67.Mn"],"model":"deepseek-v4-flash","headline":"This paper proves that every set of incompatible measurements—even those that look local in ordinary Bell tests—generates nonlocality when the measurement inputs are quantum, and that the extractable nonlocality is capped by the measurement","keywords":["Bell nonlocality","incompatible measurements","Buscemi nonlocality","quantum inputs","joint measurability","hidden nonlocality","incompatibility degree","generalised measurement set"],"falsifier":"Take a known incompatible-local measurement set, construct its generalised set, and compute both its degree of incompatibility and the maximum Buscemi violation via a semidefinite search. If any such set has a jointly measurable generalised version, or if its violation exceeds the claimed incompatibility bound, the paper's central claim and its upper bound both fail.","tokens_in":22067,"feed_emoji":"⚛️","tokens_out":3249,"duration_ms":39542,"temperature":0.7,"pith_summary":"In standard Bell experiments, incompatible measurements are necessary for nonlocality but not sufficient: some incompatible sets can only produce local correlations. The paper closes this gap by shifting to an extended scenario where the inputs themselves are quantum. It proves that every incompatible set of measurements, including the previously problematic incompatible-local ones, yields nonlocality once quantum inputs are allowed. It also shows that the maximum amount of nonlocality extractable this way is bounded by the degree of incompatibility of the original set, making the bound achievable. A reader should care because this turns incompatibility into a genuine resource with a quantitative limit, and it reveals a form of hidden nonlocality in measurement sets that look entirely classical in ordinary Bell tests.","feed_headline":"All incompatible measurements hide nonlocality","feed_subtitle":"With quantum inputs, even incompatible-local sets violate Bell inequalities; extractable nonlocality is bounded by incompatibility.","key_machinery":"The generalised set of measurements: a construction that packages an original measurement set together with the quantum input states into a single measurement object. It carries the argument because it lets the authors translate a quantum-input Bell experiment into an ordinary joint-measurability problem. The incompatibility of the generalised set is shown to be equivalent to the nonlocality of the original scenario, and the degree of incompatibility of the generalised set supplies the achievable upper bound on extractable nonlocality.","core_discovery":"The paper's central claim is that incompatibility is not only necessary but also sufficient for nonlocality in the Buscemi scenario, where the measurement inputs are quantum rather than classical. For any set of incompatible measurements, even an incompatible-local set, there exists a shared entangled state and a choice of quantum inputs such that the resulting correlations violate a Bell-type inequality. The set therefore possesses hidden nonlocality that a quantum-input experiment can reveal. Additionally, the maximum amount of nonlocality that can be extracted in this way is bounded above by the degree of incompatibility of the original measurement set, and this bound is achievable. The p","pith_inferences":["If the construction is robust, the degree of incompatibility may serve as a full resource monotone for a measurement set's nonlocal power, not merely an upper bound—this would make 'hidden nonlocality' a proper resource theory.","The result suggests a device-independent certification scheme: a classical observer who sees only local correlations cannot conclude that a measurement set is compatible, but a quantum-input test can certify incompatibility even for incompatible-local sets.","A natural testable extension is to ask whether the bound is saturated for all measurement sets or only some; finding explicit states and quantum inputs that achieve the bound for specific families, such as three-outcome measurements, would sharpen the resource picture."],"forward_implications":["Incompatibility is sufficient as well as necessary for nonlocality once quantum inputs are allowed: every incompatible measurement set is a nonlocal resource in the extended scenario.","Incompatible-local measurement sets are not useless for quantum information; they carry hidden nonlocality that a quantum-input test can reveal.","The extractable nonlocality of a measurement set is quantitatively controlled by its degree of incompatibility, giving a tight resource-theoretic bound.","The generalised set of measurements provides a single framework for analysing any scenario with quantum inputs, potentially simplifying future proofs in this area."],"supporting_citations":[],"fun_headline_variants":["All incompatible measurement sets show hidden nonlocality","Quantum inputs reveal nonlocality in every incompatible set","Incompatibility guarantees nonlocality with quantum inputs","Buscemi nonlocality from any incompatible measurements","Extractable nonlocality bounded by measurement incompatibility"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The generalised set of measurements faithfully represents the quantum-input scenario: it must preserve exactly which original measurement sets are incompatible and which correlations are nonlocal, so that nothing is lost or gained in the translation.","fun_headline_variants_meta":{"raw":{"variants":["All incompatible measurement sets show hidden nonlocality","Quantum inputs reveal nonlocality in every incompatible set","Incompatibility guarantees nonlocality with quantum inputs","Buscemi nonlocality from any incompatible measurements","Extractable nonlocality bounded by measurement incompatibility"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000171,"raw_usage":{"total_tokens":1086,"prompt_tokens":700,"completion_tokens":386,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":444,"completion_tokens_details":{"reasoning_tokens":325}},"tokens_in":444,"tokens_out":386,"duration_ms":4152,"temperature":1.0,"reasoning_tokens":325,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T18:35:31.369316+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a known incompatible-local measurement set, construct its generalised set, and compute both its degree of incompatibility and the maximum Buscemi violation via a semidefinite search. If any such set has a jointly measurable generalised version, or if its violation exceeds the claimed incompatibility bound, the paper's central claim and its upper bound both fail.","supporting_citations":[],"review_version":1}