{"id":"770efbdc-b14c-48e6-abcb-d2f789268a43","arxiv_id":"2506.17980","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Self-testing in the commuting operator model is defined operationally via local isometries between operator-system models, unifying POVM, QNS, contextuality, colouring and Schur-channel self-tests.","lead":"The paper builds a common mathematical language for self-testing, the task of certifying quantum devices from their input-output statistics alone, covering many different types of correlations at once. It introduces a new definition of self-testing for the commuting operator model of quantum mechanics and proves new self-testing results for quantum colouring games and quantum channels.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.13's bridge is conditional on a centrally supported Haag model; Section 5 never verifies this premise for the non-spatial classes it targets, so the abstract's unconditional 'always' overstates the proved result.","rationale":"Read in good faith, the paper develops a coherent operator-system framework; I did not find a contradiction in the proofs of Thm 3.13 or Lemma 3.11. The main theorems are honestly stated in the body: Thm 3.13 includes the Haag-model hypothesis and the intro says 'under some additional hypotheses'. The abstract, however, states the implication unconditionally. That is more than a typo because the theorem's proof genuinely uses the hypothesis; without it, Lemma 3.11 cannot get (13), and Prop 3.12 is unavailable. In the finite-dimensional applications the hypothesis is often satisfiable by choosing maximal commuting algebras, so the concern is not that the examples are wrong; it is that the paper leaves the premise unstated and unverified in the general qc setting. The reader's CONDITIONAL verdict is appropriate; I would keep it, with the clarification that the Haag premise is checkable in the flagship tensor-product examples and the residual issue is the abstract's scope.","tokens_in":57786,"tokens_out":27638,"duration_ms":290612,"concrete_test":"Take the CHSH qc class Cqc and the state p~S from (30). Form the GNS model of the unique extension to AX,A⊗max AY,B, set A=π(AX,A)'' and B^o=π(AY,B)'', and check whether B^o=A' and the support projections of the GNS vector are central. If this fails, repeat with A enlarged to absorb the GNS multiplicity; the question is whether a centrally supported Haag model exists inside Cqc. Then repeat the same check for the Clifford (Thm 5.12) and K4-colouring (Cor 5.17) ideal models. If the check succeeds for all three, the conditional theorem covers the section's examples and the only required change is to qualify the abstract; if it fails for any, that application cannot rely on Thm 3.13.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central implication is Theorem 3.13, and it is explicitly conditional: M must contain a centrally supported Haag model of f. The proof needs this: Prop. 3.12 transfers central support from that model to the weak ideal model ~S, and Lemma 3.11 uses central support of ~S at step (13) to commute the support projection ~ε_A past ~π_A(a) for all a∈C*_u(SA). Without such a model, the theorem gives no route from weak self-testing to unique state extension. Section 5 never verifies the hypothesis for the classes in which self-tests are claimed. For finite-dimensional spatial classes the premise can be met by taking A=B(H_A)⊗1, B^o=1⊗B(H_B) (or, with multiplicity, by absorbing the multiplicity into A), so the conditional theorem does apply to examples like CHSH. But for genuinely non-spatial commuting-operator correlations—the setting the framework is designed for—no centrally supported Haag model is constructed, and Question 7.2 explicitly leaves the reduction S⪯S_r open. Thus the abstract's unconditional statement is not supported by the theorems; the bridge is proved only for classes with a Haag anchor.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an operator-system framework for self-testing in the commuting operator model. It defines a local isometry between bipartite quantum systems modeled by von Neumann bimodules, then introduces local dilation and approximate local dilation preorders on quantum commuting models, together with the associated notions of self-test, weak self-test, and abstract self-test. The central result, Theorem 3.13, shows under a hypothesis involving a centrally supported Haag model that weak self-testing implies abstract self-testing; Theorem 4.3 provides a converse for finite-dimensional type-I tensor-product models. The framework is applied to QNS correlations, POVM and PVM correlations, the CHSH game in the quantum commuting class, Clifford correlations, contextuality scenarios, quantum graph colourings, and Schur product channels. Section 6 relates several examples to unique state extension across tensor products of C*-envelopes.","tokens_in":57948,"tokens_out":7098,"duration_ms":67613,"significance":"If the main claims hold, the paper supplies a genuinely general operational definition of self-testing in the commuting operator model and connects it to unique state extension, thereby extending the operator-algebraic approach of Paddock--Slofstra--Zhao--Zhou. The detailed proofs of Theorem 2.9, Lemma 3.11, Theorem 4.3, and Theorem 5.19 are a notable strength, as is the breadth of examples treated. The paper is also commendably explicit about the status of some reductions, for instance in Question 7.2. However, the central bridge from weak self-testing to abstract self-testing is conditional on the existence of a centrally supported Haag model, and the applications in Section 5 do not verify this hypothesis for the genuinely non-spatial classes; the abstract's unconditional wording overstates the proved theorem.","major_comments":[{"comment":"The abstract states that self-tests are 'in the general case always abstract self-tests', but Theorem 3.13 is explicitly conditional on the model class M containing a centrally supported Haag model of f. The proof of Lemma 3.11 uses central support of the ideal model at equation (13), and Proposition 3.12 transfers central support only from a centrally supported Haag model; Corollary 3.14 covers only classes closed under reduction that contain a Haag model. Section 5 does not verify this premise for the genuinely non-spatial quantum commuting classes used in its applications, and Question 7.2 explicitly leaves the reduction S ⪯ S_r open. Thus the 'always' in the abstract is not supported by the theorems; the bridge is proved only for classes with a Haag anchor.","section":"Abstract; Theorem 3.13; Corollary 3.14; Section 5"},{"comment":"Proposition 5.8 asserts that if p is an extreme point in C_qc, then any quantum commuting model S for p admits a projective quantum commuting model ~S with S ⪯ ~S. The proof, however, constructs only projections P_{x,0} and Q_{y,0} from spectral decompositions and then states 'Then S ⪯ ~S' without exhibiting the local isometry, the auxiliary system, or the verification of the conditions in Definition 3.1. Since Corollary 5.9 relies on this proposition to conclude that the CHSH correlation is a self-test for all quantum commuting models, the missing construction is load-bearing.","section":"Proposition 5.8"},{"comment":"Corollary 5.9 asserts that p_{~S} is extreme in C_qc, citing the uniqueness of the optimal quantum commuting strategy from Remark 5.7. The direct abstract-self-test argument in Section 5.3.1 is written for states factoring through A_{X,A} ⊗_max A_{Y,B}, and the passage from that argument to uniqueness in the full class C_qc, which includes general POVM models rather than only PVM models, is not spelled out. The extremality step should be proved directly, or the reduction to PVM models should be exhibited; as written, Corollary 5.9 is an assertion rather than a complete proof.","section":"Corollary 5.9; Remark 5.7"}],"minor_comments":[{"comment":"The sentence 'the C*-tensor product is unabiguiusly defined' contains a typo; it should read 'unambiguously'.","section":"Section 5.3.1"},{"comment":"The phrase 'By Cauchy-Schwartz' should be 'By Cauchy-Schwarz'.","section":"Proof of Theorem 5.16"},{"comment":"The text 'We refer to Γ_S being an self-test' should read 'being a self-test'.","section":"Section 5.1, after equation (24)"},{"comment":"Reference [41] (McKague--Yang--Scarani) appears in the bibliography but is not cited in the body of the paper; please either add a citation in the introduction or remove the reference.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is a substantial contribution and fits the journal's scope. The revision should align the abstract with the conditional Theorem 3.13 and fill the missing construction in Proposition 5.8; once those are addressed, the central claims will be much better supported. I have no concerns about novelty or about the authors' reliance on their own prior work [55]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a serious paper that delivers a genuinely new operator-system framework for self-testing in the commuting operator model, with real theorems and a broad range of applications. But the abstract claims more than the theorems prove: the bridge from weak self-testing to abstract self-testing is conditional on the existence of a centrally supported Haag model, and the applications in Section 5 mostly do not verify that hypothesis for the non-spatial cases. The paper still deserves a proper peer review, but it needs revision in how the main result is stated.\n\nWhat's actually new: Definition 2.3 gives a commuting-operator notion of local isometry via a commuting square, and the approximate local dilation order in Definition 3.6 is a new operational handle on self-testing in a setting where none existed. Theorem 2.9 (preorder), Lemma 3.11, Theorem 3.13 and Theorem 4.3 are substantial and mostly proved in detail. The applications are broad: QNS correlations, POVMs, CHSH in the qc setting, Clifford correlations, contextuality, graph colouring, Schur channels. The paper flags its own open problems, including Question 7.2 on reduction, which is honest.\n\nSoft spots: (1) The abstract's \"always\" overstates Theorem 3.13; the theorem is explicitly conditional on a centrally supported Haag model, and Corollary 3.14 only covers classes closed under reduction that contain such a model. Section 5 does not verify this premise for the genuinely non-spatial classes, so the claimed universality of the bridge is not actually established. (2) Proposition 5.8, used for the CHSH qc-self-test, asserts the dilation S ⪯ ~S without constructing the local isometry; that step is load-bearing and should be filled in or explicitly deferred. These are real issues but they don't sink the framework; they narrow what is proved.\n\nI agree with the stress-test: the central theorem is proved for classes with a Haag anchor, and the abstract should be reworded to match. For finite-dimensional spatial examples like CHSH the hypothesis is satisfiable, so the framework does apply where it was most concretely demonstrated. I'd recommend sending this to a serious referee, with a request that the authors either verify or clearly state the additional hypotheses needed for the non-spatial applications. Cite it if you work on operator-system self-testing; it will be a reference point even after revision.","headline":"A serious operator-system framework for self-testing in the commuting model, with strong theorems; the abstract overstates the weak-to-abstract bridge, which is conditional on a centrally supported Haag model.","tokens_in":58660,"tokens_out":1805,"would_cite":true,"duration_ms":16724,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L07","46L10","81P68"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proposes a general operator-system framework in which a correlation is self-tested exactly when it is maximal under a local dilation pre-order, and proves that in the general case such self-tests are abstract self-tests—unique…","keywords":["self-testing","commuting operator model","operator systems","abstract self-test","local dilation","Haag model","quantum correlations","no-signalling correlations"],"falsifier":"Find a correlation f and a class M of quantum commuting models over some operator systems, with M containing a centrally supported Haag model of f, such that f is a weak self-test for M but two different states on $C^*_u(S_A) \\otimes_{\\max} C^*_u(S_B)$ both extend f; that would refute Theorem 3.13. Alternatively, exhibit an application class in Section 5 whose intended models contain no centrally supported Haag model, which would show the main bridge does not reach that example.","tokens_in":57410,"feed_emoji":"🔐","tokens_out":5125,"duration_ms":47346,"temperature":0.7,"pith_summary":"The paper develops a general operator-system framework for self-testing in the commuting operator model, where bipartite systems are represented by bimodules over pairs of von Neumann algebras rather than tensor products of Hilbert spaces. It defines local isometries and an (approximate) local dilation pre-order on models of a correlation, and proposes that a correlation is self-tested when it has a maximal model in that pre-order. The central result is that, provided the model class contains a centrally supported Haag model of the correlation, a weak self-test is automatically an abstract self-test: the correlation's state extends uniquely to the maximal tensor product of the universal C*-covers. In the tensor-product setting with type I observable algebras the converse also holds, so self-testing and abstract self-testing coincide there. These results supply the first operational notion of self-testing in the commuting operator framework and apply to QNS correlations, the CHSH game, Clifford correlations, contextuality scenarios, quantum colourings, and Schur channels.","feed_headline":"Self-tests force unique state extensions in the commuting model","feed_subtitle":"A single bridge theorem links maximal-local-dilation certification to uniqueness in the C*-algebraic tensor product.","key_machinery":"The carrying objects are quantum commuting models $\\mathcal{S} = (_A H_B, \\varphi_A, \\varphi_B, \\xi)$: a Hilbert $A$-$B$-bimodule together with commuting unital completely positive maps from the two operator systems into $B(H)$ and a unit vector. A local isometry is built from a commuting diagram of $A$-local and $B$-local intertwiners, generalising the split tensor-product isometries $V_A \\otimes V_B$; it induces the pre-orders $\\preceq$ and $\\preceq_a$ of (approximate) local dilation. A centrally supported Haag model is one where $B^o = A'$ (Haag duality) and the support projections of the state on $A$ and $B^o$ commute with the maps $\\varphi_A, \\varphi_B$; Lemma 3.11 shows that under approximate dilation the induced states on the maximal tensor product coincide, and Theorem 3.13 feeds this into the abstract self-test conclusion.","core_discovery":"The paper claims that for bipartite correlations described by states on the commuting tensor product $S_A \\otimes_c S_B$ of operator systems, the operational condition of being a maximal element under the (approximate) local dilation pre-order—called a weak self-test—implies the algebraic condition of abstract self-testing, namely unique extension of the correlation state to $C^*_u(S_A) \\otimes_{\\max} C^*_u(S_B)$. The bridge is Theorem 3.13: if the model class $\\mathcal{M}$ contains a centrally supported Haag model of $f$, then every weak self-test for $\\mathcal{M}$ is an abstract self-test for the associated state set. Theorem 4.3 establishes the converse within the class $\\mathcal{C}$ of tensor-product models whose observable algebras are type I: under extremality and unique extension to the minimal tensor product, an abstract self-test admits an irreducible ideal model and is a self-test. Thus the paper establishes that, in the commuting operator framework, maximality under entanglement-assisted local dilation forces uniqueness of the algebraic extension, with the caveat that the centrally supported Haag condition is needed for the general direction.","pith_inferences":["A natural testable extension is to check whether the centrally supported Haag condition can be verified for the concrete application classes (QNS, Clifford, colourings); presently the paper only verifies the condition where explicitly noted, so the full reach of Theorem 3.13 in those classes remains open.","If robust self-testing in the sense of $\\delta$-dilations implies weak self-testing under the same hypotheses, then device-independent certification would inherit the algebraic uniqueness conclusion, linking robustness to abstract self-tests.","Section 6 suggests an operator-system analogue of the unique extension property: states factoring through C*-envelopes rather than universal covers would characterise a finer, model-dependent form of self-testing.","The dilation of every stochastic operator matrix to a unistochastic one (Corollary 6.3) is a standalone statement that may find use outside self-testing, for instance in channel dilation problems."],"forward_implications":["In any model class satisfying the Haag-model hypothesis, weak self-testing—maximality under approximate local dilation—forces unique state extension to $C^*_u(S_A)\\otimes_{\\max} C^*_u(S_B)$, so the operational and algebraic notions coincide in that generality.","For tensor-product models with type I observable algebras, abstract self-tests admit irreducible ideal models and are genuine self-tests, extending the known equivalence beyond the finite-dimensional Bell scenario.","The CHSH optimal correlation is an abstract self-test and a self-test among all quantum commuting models, so the standard self-test survives in the commuting operator framework.","The framework hosts self-tests for QNS correlations, Clifford correlations, contextuality scenarios, quantum colourings of complete graphs, and Schur channels, giving these areas a common definitional language."],"supporting_citations":[{"why":"Supplies the earlier abstract-self-test formulation and the type-I equivalence that Theorem 4.3 extends.","marker":"[44]"},{"why":"Introduces QNS correlations, stochastic operator matrices and the operator systems T_{X,A} used in Sections 5.1 and 6.","marker":"[55]"},{"why":"Provides the operator-algebraic POVM self-testing setup that the framework generalises to the commuting model.","marker":"[38]"},{"why":"Defines the commuting tensor product of operator systems, foundational for the state model used throughout.","marker":"[31]"},{"why":"Gives the contextuality-scenario self-test restated as Proposition 5.13.","marker":"[4]"},{"why":"Defines robust self-testing via delta-dilations, which motivates the weak self-test notion and Question 7.1.","marker":"[58]"},{"why":"Supplies C*-envelope inclusion results used in Section 6 to place the examples in the envelope framework.","marker":"[6]"},{"why":"The NPA hierarchy is used in Theorem 5.12 to characterise Clifford correlations with moment constraints.","marker":"[42]"}],"fun_headline_variants":["Operator systems reveal self-testing's algebraic core","Self-testing via operator systems: maximality yields uniqueness","Bipartite correlations: weak self-tests are abstract self-tests","New operator system framework for self-testing"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the model class contains a centrally supported Haag model of the correlation f; without such a model the proof only shows weak self-tests preserve the correlation (Proposition 3.5), and for most of the Section 5 applications the paper does not verify this hypothesis.","fun_headline_variants_meta":{"raw":{"variants":["Operator systems reveal self-testing's algebraic core","Self-testing via operator systems: maximality yields uniqueness","Bipartite correlations: weak self-tests are abstract self-tests","New operator system framework for self-testing"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000227,"raw_usage":{"total_tokens":1438,"prompt_tokens":881,"completion_tokens":557,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":497,"completion_tokens_details":{"reasoning_tokens":492}},"tokens_in":497,"tokens_out":557,"duration_ms":5491,"temperature":1.0,"reasoning_tokens":492,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:56:59.485930+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a correlation f and a class M of quantum commuting models over some operator systems, with M containing a centrally supported Haag model of f, such that f is a weak self-test for M but two different states on $C^*_u(S_A) \\otimes_{\\max} C^*_u(S_B)$ both extend f; that would refute Theorem 3.13. Alternatively, exhibit an application class in Section 5 whose intended models contain no centrally supported Haag model, which would show the main bridge does not reach that example.","supporting_citations":[{"cited_title":"Bharti, M","cited_arxiv_id":null,"evidence_quote":"Gives the contextuality-scenario self-test restated as Proposition 5.13."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the commuting tensor product of operator systems, foundational for the state model used throughout."},{"cited_title":"Paddock, W","cited_arxiv_id":null,"evidence_quote":"Supplies the earlier abstract-self-test formulation and the type-I equivalence that Theorem 4.3 extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces QNS correlations, stochastic operator matrices and the operator systems T_{X,A} used in Sections 5.1 and 6."},{"cited_title":"Manˇcinska, J","cited_arxiv_id":null,"evidence_quote":"Provides the operator-algebraic POVM self-testing setup that the framework generalises to the commuting model."},{"cited_title":"Robust self-testing for nonlocal games with robust game algebras","cited_arxiv_id":"2411.03259","evidence_quote":"Defines robust self-testing via delta-dilations, which motivates the weak self-test notion and Question 7.1."},{"cited_title":"Bochniak, P","cited_arxiv_id":null,"evidence_quote":"Supplies C*-envelope inclusion results used in Section 6 to place the examples in the envelope framework."},{"cited_title":"Navascu´es, S","cited_arxiv_id":null,"evidence_quote":"The NPA hierarchy is used in Theorem 5.12 to characterise Clifford correlations with moment constraints."}],"review_version":2}