{"id":"eaf1b595-eb8b-4db8-b902-417dd2437c0c","arxiv_id":"2605.25516","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves that game-optimized anti-collusion capacity equals total-variation distance to the collusive shadow, with CHSH monogamy giving exact bounds starting at the local Bell limit S12=2 and saturating at 1/(2√2).","lead":"This paper defines strategic non-shareability of quantum correlations as the distance from a fixed authorized behavior to the set of behaviors a colluder could reproduce in a tripartite extension. A smart generalist might read it for a new operational framing of entanglement monogamy as a resource against collusion in quantum networks.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Whether every admissible tripartite extension is captured by relabelled behaviors (core to shadow definition)","rationale":"The reader’s weakest_assumption directly identifies the same definitional gap in the shadow construction and monogamy application; the low-confidence abstract-only review leaves this unverified, so the concern remains load-bearing for the central equality and CHSH frontier claims.","tokens_in":1901,"tokens_out":327,"duration_ms":17276,"concrete_test":"Take the maximally entangled CHSH strategy with S12 slightly above 2; explicitly construct one tripartite extension (e.g., via NPA level-2 or a concrete qubit model) where the colluder’s marginal is not equivalent under relabelling to any authorized behavior, then recompute the TV distance to the shadow and check whether it exceeds the game-optimized value claimed in the equality.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The equality between game-optimized anti-collusion capacity and TV distance to the shadow rests on the claim that the collusive shadow—defined via relabelled behaviors in any extension preserving P12—exhausts all operationally relevant extensions. The abstract and CHSH-slice argument invoke Toner-Verstraete monogamy directly on game values without extra constraints on the extension. If there exist extensions (e.g., with non-relabelable measurement choices or additional hidden variables) allowing colluder behaviors outside this set, the TV distance underestimates the true shareability, so the proved equality and the certified frontier at S12=2 would not hold for general P12.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript introduces strategic non-shareability of quantum correlations as an operational resource in private-information games. For a fixed authorized behavior P_{12}, it defines the collusive shadow as the set of relabelled behaviors a colluder can reproduce in any admissible tripartite extension preserving P_{12}. It proves that, on finite alphabets, the game-optimized anti-collusion capacity equals the total-variation distance to the shadow; a fixed game separates via a witness while optimization over relabelled games recovers the full distance. In the CHSH score slice, Toner-Verstraete monogamy yields the exact certified frontier with the Bell local bound S_{12}=2 as the sharp onset of positive capacity, saturating at 1/(2√2) for the maximally entangled CHSH strategy. Classical hidden-variable mediators have zero capacity. The work also provides a Hoeffding-based finite-data certification protocol and a level-2 NPA semidefinite relaxation for tilted Bell inequalities.","tokens_in":2060,"tokens_out":670,"duration_ms":29309,"significance":"If the results hold, the paper recasts entanglement monogamy as a measurable shareability deficit with direct application to adversarial quantum networks, supplying an exact equality to TV distance and a sharp CHSH frontier. Credit is given for the direct use of the Toner-Verstraete monogamy theorem to obtain a parameter-free certified bound, the finite-sample Hoeffding protocol, and the NPA extension to tilted inequalities. These elements strengthen the operational utility if the shadow definition is shown to be complete.","major_comments":[{"comment":"Definition of collusive shadow (abstract and the section introducing the shadow): The equality between game-optimized anti-collusion capacity and total-variation distance to the shadow is presented as a proved theorem. This equality rests on the claim that the shadow—defined exclusively via relabelled behaviors in admissible extensions—exhausts all operationally relevant colluder behaviors. No explicit argument is given that extensions with non-relabelable measurement choices or additional hidden variables cannot produce behaviors outside the shadow; if such extensions exist, the TV distance underestimates true shareability and the equality fails for general P_{12}.","section":"Definition of collusive shadow"},{"comment":"CHSH slice argument (abstract and the CHSH section): The direct invocation of Toner-Verstraete monogamy on game values to certify that S_{12}=2 is the sharp onset and that saturation occurs at 1/(2√2) assumes the monogamy bound applies without further constraints imposed by the tripartite extension. A concrete justification that relabelling captures the worst-case extension (or an explicit check that non-relabelled extensions cannot exceed the bound) is required to confirm the frontier is exact rather than an upper bound under the relabelling restriction.","section":"CHSH slice"}],"minor_comments":[{"comment":"Notation for the authorized marginal is introduced as P_{12} without an explicit statement of the alphabet sizes or whether the finite-alphabet assumption is used only for the equality or also for the CHSH slice.","section":"Notation"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading and constructive comments, which help clarify the operational scope of the collusive shadow. We address the two major comments point by point below, indicating the revisions that will be incorporated.","responses":[{"response":"We agree that an explicit argument is required to confirm completeness. In the revised manuscript we will insert a new paragraph immediately after the formal definition of the collusive shadow. The paragraph will state that, because output alphabets are finite and labels are conventional, every marginal produced by a colluder in any admissible tripartite extension (including those with extra hidden variables) can be expressed, without loss of generality, as a relabelled behavior inside the authorized alphabet. Consequently, the set of all such relabelled behaviors already enumerates the operationally relevant colluder strategies, and the equality between game-optimized capacity and total-variation distance continues to hold for arbitrary finite-alphabet P_{12}.","revision_made":"yes","referee_comment":"Definition of collusive shadow (abstract and the section introducing the shadow): The equality between game-optimized anti-collusion capacity and total-variation distance to the shadow is presented as a proved theorem. This equality rests on the claim that the shadow—defined exclusively via relabelled behaviors in admissible extensions—exhausts all operationally relevant colluder behaviors. No explicit argument is given that extensions with non-relabelable measurement choices or additional hidden variables cannot produce behaviors outside the shadow; if such extensions exist, the TV distance underestimates true shareability and the equality fails for general P_{12}."},{"response":"The CHSH-section proof already invokes Toner–Verstraete directly on the game values attained inside the relabelled shadow. Because the general theorem shows that optimization over relabelled games recovers the full total-variation distance, the monogamy bound obtained within this framework is tight for the defined capacity. We will add one clarifying sentence in the CHSH section: any hypothetical non-relabelled extension yields a marginal that is equivalent, after output relabelling, to a behavior already considered in the shadow; the monogamy inequality therefore continues to apply and the certified frontier (onset at S_{12}=2, saturation at 1/(2√2)) remains exact.","revision_made":"yes","referee_comment":"CHSH slice argument (abstract and the CHSH section): The direct invocation of Toner-Verstraete monogamy on game values to certify that S_{12}=2 is the sharp onset and that saturation occurs at 1/(2√2) assumes the monogamy bound applies without further constraints imposed by the tripartite extension. A concrete justification that relabelling captures the worst-case extension (or an explicit check that non-relabelled extensions cannot exceed the bound) is required to confirm the frontier is exact rather than an upper bound under the relabelling restriction."}],"tokens_in":1725,"tokens_out":623,"duration_ms":30454,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The new piece is the collusive shadow construction and the proved link between game-optimized anti-collusion capacity and total-variation distance to that shadow for finite alphabets. They also get an exact certified frontier in the CHSH slice using Toner-Verstraete, with the local bound S12=2 as the onset and saturation at 1/(2√2) for the maximal entangled strategy, plus classical mediators at zero. That recasts monogamy as a measurable deficit in a clean way.\n\nThey add two practical tools: a Hoeffding-based finite-data protocol that turns Bell scores into confidence-bounded certificates, and a level-2 NPA relaxation for tilted inequalities. Those are straightforward extensions that make the idea usable.\n\nThe main soft spot is the claim that relabelled behaviors exhaust all admissible tripartite extensions preserving P12. If extensions exist with non-relabelable measurements or extra hidden variables that let colluders do more, the TV distance underestimates true shareability and the equality plus the CHSH frontier would not hold in general. The abstract treats this as settled, but the stress-test concern lands directly on the core definition.\n\nThis is for quantum information people working on device-independent protocols or adversarial networks. It shows clear thinking on the literature and deserves a serious referee to check the derivations and edge cases, even if revisions are needed on the extension coverage.","headline":"The paper frames entanglement monogamy as an anti-collusion resource via a collusive shadow and proves its game capacity equals TV distance on finite alphabets, with sharp CHSH bounds, but the shadow definition may miss some extensions.","tokens_in":2541,"tokens_out":371,"would_cite":false,"duration_ms":14622,"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":"Quantum correlations resist lossless copying to colluders, with their anti-collusion capacity exactly equal to total-variation distance from the collusive shadow.","keywords":["quantum correlations","entanglement monogamy","anti-collusion capacity","CHSH inequality","total variation distance","Bell nonlocality","strategic games","collusive shadow"],"falsifier":"An explicit tripartite quantum behavior whose authorized CHSH marginal has score strictly above 2 yet whose measured anti-collusion capacity against any colluder deviates from the total-variation distance to the predicted shadow.","tokens_in":2787,"feed_emoji":"🔒","tokens_out":874,"duration_ms":26329,"temperature":0.7,"pith_summary":"The paper shows that for any fixed authorized correlation P12 between two parties, the maximum capacity to play games while resisting a colluding third party equals the total-variation distance between P12 and the set of all behaviors a colluder could produce in extensions that leave P12 unchanged. This distance is realized by optimizing over suitable games, and the construction turns the monogamy of entanglement into an operational quantity for private strategic tasks. In the CHSH slice the local bound S12 equals 2 marks the exact threshold where this capacity turns positive, reaching 1 over 2 root 2 for the maximally entangled strategy, while any classical hidden-variable mediator yields zero capacity. The authors supply a finite-data certification protocol based on Hoeffding bounds and a level-2 NPA relaxation that extends the certified envelopes to tilted inequalities.","feed_headline":"Monogamy sets exact anti-collusion threshold at CHSH local bound","feed_subtitle":"Total-variation distance to the colluder's shadow equals game capacity; classical mediators give zero while maximal entanglement reaches 1 o","key_machinery":"The collusive shadow of an authorized behavior P12, the set of all relabelled behaviors reproducible by a colluder in any admissible tripartite extension that preserves P12.","core_discovery":"For a fixed authorized behavior P12 the collusive shadow is defined as the set of all relabelled behaviors that a colluder can reproduce in any admissible tripartite extension preserving the authorized marginal. The game-optimized anti-collusion capacity is proved equal to the total-variation distance from P12 to this shadow. In the CHSH score slice, Toner-Verstraete monogamy yields the exact certified frontier: the Bell local bound S12=2 is the sharp onset of positive certified anti-collusion power, saturating at 1/(2√2) for the maximally entangled CHSH strategy, while classical hidden-variable mediators have zero capacity in the same slice.","pith_inferences":["The equality between game-optimized capacity and total-variation distance suggests that practical computation of the distance can be approximated by searching over a finite set of games rather than enumerating all possible extensions.","The CHSH saturation result may generalize to other Bell scenarios, providing quantitative shareability deficits for device-independent protocols that must tolerate or exclude colluding parties.","The finite-data certification protocol could be combined with existing Bell-test hardware to produce real-time anti-collusion guarantees in quantum network demonstrations."],"forward_implications":["The Bell local bound S12=2 is the sharp threshold for the onset of positive certified anti-collusion capacity in the CHSH slice.","The capacity reaches its maximum value of 1/(2√2) precisely for the maximally entangled state under the CHSH strategy.","Classical hidden-variable mediators produce zero anti-collusion capacity in the CHSH slice.","Observed Bell scores can be converted into confidence-bounded anti-collusion certificates via a Hoeffding-based finite-data protocol.","Level-2 NPA semidefinite relaxations furnish certified upper envelopes on the capacity for tilted Bell inequalities."],"fun_headline_variants":["CHSH bound marks start of certified quantum anti-collusion","Game capacity matches total variation distance to colluder shadow","Zero capacity for classical hidden variable mediators in CHSH","Monogamy yields exact frontier for anti-collusion in Bell games"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Every admissible tripartite extension preserving the authorized marginal P12 can be captured by relabelled behaviors whose distance is operationally meaningful, and Toner-Verstraete monogamy applies directly to the game values without further constraints on the extension.","fun_headline_variants_meta":{"raw":{"variants":["CHSH bound marks start of certified quantum anti-collusion","Game capacity matches total variation distance to colluder shadow","Zero capacity for classical hidden variable mediators in CHSH","Monogamy yields exact frontier for anti-collusion in Bell games"]},"model":"grok-4.3","cost_usd":0.00626,"raw_usage":{"total_tokens":3032,"prompt_tokens":841,"num_sources_used":0,"completion_tokens":65,"cost_in_usd_ticks":62599500,"prompt_tokens_details":{"text_tokens":841,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2126,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":841,"tokens_out":65,"duration_ms":19084,"temperature":1.0,"reasoning_tokens":2126,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T21:53:32.107245+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit tripartite quantum behavior whose authorized CHSH marginal has score strictly above 2 yet whose measured anti-collusion capacity against any colluder deviates from the total-variation distance to the predicted shadow.","supporting_citations":[],"review_version":1}