{"id":"95a3897e-1b2c-4566-a743-24c61fc0c976","arxiv_id":"2603.27676","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Interactive instrument robustness equals three operational task performances and completely characterizes free conversions of instruments under natural pre/post-processing operations.","lead":"This paper builds a resource theory that quantifies how much a quantum instrument can interact coherently with the state it measures. The robustness measure equals performance in three information-recovery tasks and fully ranks instruments under free operations, recovering known channel and measurement theories as special cases.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The manuscript is a clean convex resource theory whose free set is the set of instruments that discard the input and prepare a classical–quantum pair from an internal random variable. All three operational interpretations of the robustness follow from SDP duality plus elementary properties of the Choi isomorphism and the Haar measure on pure states; the complete conversion criterion (Result 5) follows from Sion’s minimax theorem once compactness of the free-operation set is established. These steps are standard and fully detailed in the End Matter and Supplementary Material. The free operations themselves are a modeling choice, but they are the natural pre-/post-processing maps that leave the free set invariant and reduce correctly to the free operations of the known channel and measurement resource theories. No numerical data, fitting parameters, or unproved claims appear. Consequently the reader’s ACCEPT verdict with high confidence is appropriate; no load-bearing technical concern alters it.","tokens_in":23577,"tokens_out":443,"duration_ms":4164,"concrete_test":"Independently re-derive the dual SDP (Eq. 3 / SM I) from the primal (Eq. 18) and verify that the rescaling ω \to ω/d_A together with the adjoint-channel identification recovers Result 2 exactly; any mismatch would indicate a gap in the duality argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims (Results 2–5) rest on standard SDP duality, Choi isomorphism, Haar averages over the symmetric subspace, and Sion’s minimax theorem applied to a compact convex free-operation set. The free operations (Eq. 11) are a modeling choice, but they are natural, preserve the free set, and correctly recover the known resource theories of channels and POVMs as special cases. Compactness (Lemma 2) is established via an explicit continuous map from a Euclidean-compact domain of Choi states and conditional probabilities. No internal inconsistency, hidden unboundedness, or circular definition appears in the proofs. The reader’s weakest-assumption note correctly flags a modeling choice rather than a correctness risk.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript develops a convex resource theory of interactive quantum instruments, taking non-interactive instruments (those of the form L_a(·)=r(a)τ_a tr(·)) as free. It defines the interactive instrument robustness R(E) via a standard robustness construction, gives an SDP dual (Result 1), and proves three operational equalities: R(E) equals a rescaled maximally entangled fraction after local application of the instrument (Result 2), a rescaled average state-preservation fidelity (Result 3), and a normalized success probability of entanglement-assisted unambiguous discrimination of the classical outcome (Result 4). Free operations are defined as convex combinations of quantum pre-processing, classical post-processing and outcome-conditioned quantum post-processing; R is monotone under them. Result 5 shows that E can be converted to N under free operations if and only if E outperforms N in the unambiguous-discrimination task for every POVM. Special cases recover the resource theory of communication for channels and the robustness of measurements for POVMs.","tokens_in":23765,"tokens_out":865,"duration_ms":16771,"significance":"If the proofs hold, the paper supplies a clean, operationally complete resource theory for a basic and physically natural property of instruments—coherent interaction with the measured system. The three equivalent figures of merit, the SDP, and especially the complete conversion criterion via the unambiguous-discrimination task are strong results of the kind that become standard references. Recovering the established channel and POVM theories as special cases is a genuine strength and increases the work’s reach. The free-operation set is a modeling choice rather than a derived necessity, but it is natural, free-set-preserving, and correctly specializes. The technical toolkit (Choi duality, Haar averages on the symmetric subspace, Sion’s minimax plus an explicit compactness argument for the free supermaps) is standard and appears carefully applied. Overall this is a solid, self-contained contribution suitable for a serious quantum-information journal.","major_comments":[],"minor_comments":[{"comment":"Terminology drifts between “interactive instrument robustness” and “non-trivial instrument robustness” (End Matter and Supplementary Material Section I). Standardize on one name throughout.","section":null},{"comment":"Several typos and cut-offs: “minimisaiton”, “unitallin-”, “isntruments”, “miminises”, “Thoerem”, “eω” notation, “non-interactive isntruments”. A careful proof-reading pass is needed.","section":null},{"comment":"In the dual SDP (Result 1 / Eq. (3)) and the subsequent adjoint-map argument, the unital/trace-preserving correspondence is correct but written densely; a short clarifying sentence that ω_a is the Choi operator of the adjoint of a channel would help readers less familiar with the convention.","section":null},{"comment":"Figure 2 captions and the three task schematics are useful; ensure that the classical outcome a is visually distinguished from the inconclusive outcome “;” in panel (c) so that the unambiguous-discrimination setting is immediately clear.","section":null},{"comment":"Supplementary Material Section V: the metric D on supermaps is well-defined, but a one-line remark that the topology is independent of the particular choice of maximally entangled state (up to local unitaries) would remove a minor ambiguity.","section":null},{"comment":"When d_B=1 the reduction to R_POVM is clean; a brief explicit statement that the free operations likewise reduce to the free operations of Ref. [17] would make the special-case claim fully self-contained.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The free-operation set is a modeling choice, not a correctness risk; the authors are transparent about it and the special-case reductions work. I see no citation or novelty issues. The paper is a good fit for a quantum-information theory venue. Minor revision is recommended only to clean presentation; the mathematics can stand as is."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is a solid, self-contained resource theory paper. The new piece is the interactive-instrument robustness R(E), its three operational equalities (max entangled fraction after local measurement, average state-preservation fidelity, and entanglement-assisted unambiguous discrimination of the classical outcome), and the complete free-operation conversion criterion via that same discrimination task (Result 5). Free operations are the natural pre/post-processing supermaps; they preserve the free set and correctly recover the known resource theories of channels and of measurements as special cases.\n\nThe proofs are standard and careful: SDP duality for the robustness, Choi/adjoint maps for the fidelity links, Haar average over the symmetric subspace for the average-fidelity relation, and Sion minimax plus an explicit compactness argument (continuous map from a Euclidean-compact domain of Choi states and conditional probabilities) for the conversion theorem. Monotonicity is immediate. No circularity: robustness is defined first, then shown equal to the task figures. End Matter and the full Supplementary Material are present and check out.\n\nThe only modeling choice is the free set itself (convex combinations of quantum pre-processing, classical post-processing, and outcome-conditioned quantum post-processing). That is a choice, not a derivation, but it is the natural one for instruments and it does the right special-case reductions. No other soft spots of consequence. No data, no free parameters, no invented physics.\n\nThis is for people who work on measurement and channel resources or sequential protocols. It organizes instruments under one roof and gives a usable complete order. I would send it to peer review without hesitation; the claims are well-supported and the contribution is real for the subfield. Engage with it if you care about resource theories of instruments.","headline":"Clean, complete resource theory for interactive instruments with three operational meanings and a full conversion criterion; math holds and recovers known channel/POVM theories as special cases.","tokens_in":24318,"tokens_out":435,"would_cite":true,"duration_ms":5357,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Interactivity of a quantum instrument is a resource fully measured by how well its classical outcome can be recovered from entanglement.","keywords":["quantum instruments","resource theory","interactivity","robustness","unambiguous discrimination","maximally entangled fraction","quantum channels","POVMs"],"falsifier":"Exhibit two instruments E and N such that the maximal unambiguous-discrimination success of E is strictly larger than that of N for every POVM, yet no free pre-/post-processing converts E into N; or show a free conversion that strictly increases R.","tokens_in":24464,"feed_emoji":"⚛️","tokens_out":805,"duration_ms":8699,"temperature":0.7,"pith_summary":"A quantum instrument returns both a classical label and an updated quantum state. The paper treats as free only those instruments that discard the input and prepare the label and state from internal randomness alone; any coherent interaction with the input is a resource. The amount of that resource is quantified by a single robustness number that equals three concrete figures of merit: the best fidelity with which a maximally entangled state can be restored after the instrument acts on one share, the average fidelity with which random pure states survive the instrument, and the success probability of unambiguously recovering the classical outcome when the instrument is applied to half of a maximally entangled pair. Under a natural class of free operations (pre-processing, classical post-processing, and post-processing of the quantum output), one instrument can simulate another if and only if it outperforms the other on every instance of the third task. The same construction recovers the known resource theories of quantum channels and of POVMs as special cases.","feed_headline":"One number ranks interactive quantum instruments","feed_subtitle":"Entanglement-assisted outcome recovery fully orders which instruments can simulate which","key_machinery":"Interactive instrument robustness R(E): the minimal mixing weight with an arbitrary instrument that renders E non-interactive (discard-and-prepare). Dual SDP form of R(E) supplies the three operational equalities and the conversion criterion.","core_discovery":"The interactive instrument robustness of an instrument E equals the normalised success probability of entanglement-assisted unambiguous discrimination of its classical outcome, and this single number completely orders instruments under free operations: E can be converted into N by free pre- and post-processing if and only if the maximal success probability for E is at least as large as that for N for every discrimination POVM.","pith_inferences":["Approximate free conversion would likely be controlled by a smoothed version of the same discrimination figure, giving a natural continuity modulus for instrument simulation.","The weight-based dual measure left open by the authors should admit an operational reading as a one-shot recovery probability under free filtering.","The hierarchy of interactive instruments may nest with known incompatibility hierarchies once both are expressed in the same discrimination language."],"forward_implications":["Any instrument that is reversible on its classical outcomes is maximally interactive (R = d^{2} − 1).","The same robustness number simultaneously ranks instruments for entanglement preservation, average-state preservation, and classical-outcome recovery.","Setting the classical output to be trivial recovers the resource theory of communication; setting the quantum output to be trivial recovers the robustness of measurements.","Instrument conversions are completely characterised by an infinite family of discrimination inequalities without needing further monotones."],"fun_headline_variants":["One number fully ranks interactive quantum instruments","Entangled outcome recovery probability orders all instruments","Instrument interactivity equals success of entangled discrimination","Robustness of instruments equals max entangled recovery probability","Free conversion of instruments fully ordered by one recovery number"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The free operations are taken to be exactly the convex combinations of quantum pre-processing, classical post-processing of the label, and quantum post-processing conditioned on that label; any other free set would change the conversion order.","fun_headline_variants_meta":{"raw":{"variants":["One number fully ranks interactive quantum instruments","Entangled outcome recovery probability orders all instruments","Instrument interactivity equals success of entangled discrimination","Robustness of instruments equals max entangled recovery probability","Free conversion of instruments fully ordered by one recovery number"]},"model":"grok-4.5","effort":"low","cost_usd":0.004448,"raw_usage":{"total_tokens":1256,"prompt_tokens":676,"num_sources_used":0,"completion_tokens":70,"cost_in_usd_ticks":44480000,"prompt_tokens_details":{"text_tokens":676,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":510,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":676,"tokens_out":70,"duration_ms":5433,"temperature":1.0,"reasoning_tokens":510,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T16:48:37.189371+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit two instruments E and N such that the maximal unambiguous-discrimination success of E is strictly larger than that of N for every POVM, yet no free pre-/post-processing converts E into N; or show a free conversion that strictly increases R.","supporting_citations":[],"review_version":1}