{"id":"b24f9414-c2c0-48a7-bf94-0a2bf1bdb000","arxiv_id":"2607.19155","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Complete classification of 39 families of two-spin-1/2 Hamiltonians with first-order vector integrals in the V4=0 subclass, plus exact Coulomb/oscillator solutions in one case.","lead":"This paper classifies all two-spin Hamiltonians with a first-order vector integral of motion, under the restriction that the spin-momentum term vanishes, and lists 39 potential families. One family is shown to yield exact Coulomb and oscillator spectra with a new helicity quantum number.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 28-term ansatz omits zeroth-order vector operators such as total spin S=(σ1+σ2)/2; for family 10 these commute with H and are not listed, so Theorem 1's 'precisely' fails.","rationale":"The reader's weakest assumption pointed to the unverified computer-algebra elimination and the unproved 28-term ansatz. I agree that the ansatz assertion is a load-bearing premise, but I find a more concrete and decisive flaw: the ansatz omits legitimate zeroth-order vector operators, allowing a direct counterexample to Theorem 1. For family 10, the total spin S is a first-order vector integral under the paper's own definition, yet it is neither in the ansatz nor listed in the theorem. This is an internal inconsistency rather than a mere gap in exposition: the classification cannot be complete if a valid integral is missing. If the authors intended to exclude 'trivial' kinematic integrals such as J or S, they need to define that exclusion precisely and re-state the theorem; as written, the 'precisely' claim is false. The auxiliary results (symmetry algebras, exact solutions) may be correct, but the central classification claim is not established and is contradicted by this example. Hence the verdict should move from CONDITIONAL to REJECT, or at minimum to a major-revision status until the ansatz is corrected and the classification recomputed.","tokens_in":39230,"tokens_out":14608,"duration_ms":138599,"concrete_test":"Directly verify that S=(σ1+σ2)/2 satisfies [H,S]=0 and the vector commutation relation for the family-10 Hamiltonian H=p²/2+λ1+(λ2−λ1)(σ1·σ2). Then confirm S is not in the span of the listed integrals X13–X16. More generally, enumerate all SO(3)-equivariant Hermitian vector operators of momentum degree ≤1, including σ1, σ2, σ1∧σ2, and (σ1·x)x, and check whether the 28-term list spans this space. If S (or any basis element) is missing, rerun the determining-equation classification with the enlarged ansatz; the resulting families will differ from Theorem 1.","verdict_should_be":"REJECT","load_bearing_attack":"The central claim is Theorem 1's completeness: 'precisely those corresponding to the families listed'. The proof rests on the assertion in Section 3 that the 28-term vector ansatz is the most general first-order Hermitian vector operator. This assertion is not only unproved but appears false. The ansatz contains no term proportional to σ1, σ2, or σ1∧σ2 by themselves, and no term (σ1·x)x. Under the paper's own definition — components commuting with H and transforming as a vector under J, with 'at most first order in the momenta' — such operators are admissible. Concretely, take family 10: V0=λ1, V1=V3=V5=V4=0, V2=λ2−λ1. Then H = p²/2 + λ1 + (λ2−λ1)K, where K=σ1·σ2 = 2S²−3. Since [K,S]=0 and the kinetic term commutes with S, one has [H,S]=0. Also [J_i,S_j]=iℏε_ijk S_k. Thus S=(σ1+σ2)/2 is a non-trivial first-order vector integral of motion. It is not a linear combination of the four integrals listed for family 10 (X13=p, X14=σ1∧p+σ2∧p, X15=σ2(σ1·p)+σ1(σ2·p), X16=Kp), all of which contain a momentum factor. Therefore the list in Theorem 1 is incomplete, independent of any computer-algebra elimination details. The omission of J and L (which also commute with this H) reinforces the point: if such operators are intended to be excluded as 'trivial', the exclusion is never stated, and S is not trivial for generic V1≠0.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper classifies spherically symmetric Hamiltonians for two interacting spin-1/2 particles, restricted to the V4=0 subclass, that admit first-order vector integrals of motion. The authors construct a 28-term Hermitian vector ansatz built from x, p, L, σ1 and σ2, derive an overdetermined system of radial determining equations, and state a classification theorem listing 39 potential families together with their vector integrals. The paper also studies polynomial symmetry algebras for two representative cases and uses a scalar reduction of a vector integral to obtain explicit Coulomb- and oscillator-type solutions. The central claim is Theorem 1, which asserts that the listed families are precisely those admitting non-trivial first-order vector integrals within the V4=0 class.","tokens_in":39625,"tokens_out":8386,"duration_ms":79059,"significance":"If Theorem 1 were established, this would be a substantial extension of the authors' earlier scalar and pseudo-scalar classifications, and the explicit families, algebra computations, and exact solutions would be useful for further work on spin-dependent superintegrable systems. The paper is honest and transparent that the classification rests on a Mathematica elimination that is not reproduced, and it provides enough family data for direct substitution checks. However, the central completeness claim is not currently supported: the asserted most general ansatz is incomplete, and the omitted elimination is load-bearing. The overall approach is sound in principle, and the gap appears fixable, but the paper in its present form does not establish the advertised classification.","major_comments":[{"comment":"The asserted 'most general first-order vector operator' is not complete. The 28-term ansatz omits the vector operator S=(σ1+σ2)/2, which is zeroth order in momenta and is built from the same vectorial directions. For Family 10, H=p²/2+λ1+(λ2−λ1)K with K=σ1·σ2. Since K=2S²−3, one has [K,S]=0 and hence [H,S]=0; S also satisfies [J_i,S_j]=iℏε_ijk S_k and is Hermitian. It is not a linear combination of the four listed integrals X13–X16, all of which contain p. Thus the 'precisely' in Theorem 1 fails as stated. The ansatz must be enlarged (e.g., by bare σ1, σ2 and σ1∧σ2 terms) and the elimination redone, or a precise, justified convention excluding spin-only integrals must be supplied.","section":"§3, Theorem 1, Family 10"},{"comment":"The proof of Theorem 1 is not independently verifiable. The text states that 'the full step-by-step elimination of the determining equations is not repeated here' and that the computation is carried out with Mathematica. Appendix A lists reduced determining equations, but not the branch-by-branch solution tree that leads to the 39 families. Since the theorem is a completeness classification, the omitted elimination is a load-bearing step. The authors should provide the full elimination, a certified computer-algebra notebook, or another machine-checkable derivation before the classification can be accepted.","section":"§3 and Appendix A"},{"comment":"The paper never defines what counts as 'non-trivial'. The total angular momentum J is a vector integral for every rotationally invariant Hamiltonian, K=σ1·σ2 is declared trivial only in passing, and gauge-induced potentials are identified by an explicit formula, yet Theorem 1 does not state that J (and L where it commutes) are excluded. Consequently the reader cannot determine whether the list is intended to classify integrals beyond J or beyond all universal integrals. This ambiguity is not merely formal: the spin-only integral S in Family 10 is not universal over the full Hamiltonian class, so it cannot be dismissed as trivial without a stated criterion.","section":"§2–§3"}],"minor_comments":[{"comment":"The sentence 'We do not claim that all listed integrals are mutually algebraically independent, rather, they represent distinct vector solutions of the determining equations' is unclear. A classification theorem would benefit from a precise statement of which integrals are taken as the basis and how linear dependence is handled.","section":"§3"},{"comment":"The notation B(0)=Σ_i B_ii is used both as an abstract trace generator and as a concrete operator; the distinction should be stated explicitly to avoid confusion with the scalar component in the 3⊗3 decomposition.","section":"§4.2"},{"comment":"In the Coulomb and oscillator radial solutions, the radial exponent p in Eq. (5.42) is real only for j≥1; although the text later excludes j=0, this restriction should be stated at the point where p is introduced.","section":"§5"},{"comment":"The reuse of labels X13, X14, ... across different families, while acknowledged, makes the theorem hard to read. A supplementary table listing each family's integrals explicitly, or a repository with machine-readable expressions, would improve verifiability.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern in the reader's report lands: the S counterexample directly falsifies the 'precisely' claim in Theorem 1 for Family 10, and it exposes a systematic gap in the ansatz. This is not a matter of style; the classification would need to be rerun with the enlarged ansatz. I do not recommend rejection because the computational framework and the listed families are likely salvageable, and the authors' previous work provides a clear template for supplying the missing elimination. However, the revised version must either include the missing completeness proof or substantially weaken Theorem 1."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The vector classification is genuinely new, and there is a lot of solid computation here. The 28-term ansatz, the 39 families, and the reduced determining equations in Appendix A are a substantial extension of the authors' earlier scalar and pseudo-scalar work. I also checked the auxiliary results: the identity X=2(S·r̂)J, the radial equations, and the energy formulas in Section 5 are correct. That part of the paper is self-contained and valuable.\n\nThe problem is the completeness claim. The stress-test concern lands. The paper defines a vector integral as any operator whose components commute with H and transform as a vector under J, and the ansatz is supposed to be the most general first-order operator. But the ansatz contains no term proportional to σ1 or σ2 alone. Consequently, for any family with V1=V3=V5=0, the total spin S=(σ1+σ2)/2 is a Hermitian vector integral: [H,S]=0 because both the kinetic term and V2(r)K commute with S, and [J_i,S_j]=iℏε_ijk S_k. This happens in families 9, 10, 11, and others. In family 10, the four listed integrals X13–X16 all contain a momentum factor, so S is not a linear combination of them. Theorem 1's \"precisely\" is therefore false as stated, independent of any computer-algebra elimination. Maybe the authors intended to exclude spin-only operators as trivial, but they never say that, and S is not a universal symmetry: it fails when V1≠0.\n\nThe other soft spot is the one the reader flagged: the full branch-by-branch elimination is omitted and no code is shipped. That alone would make the classification hard to verify, but the ansatz gap is more serious because it gives a concrete counterexample.\n\nWho should read this? People working on superintegrable systems with spin will want the symmetry algebras and the exact solvable reduction. The classification families may be salvageable if the authors either extend the ansatz to include bare spin vectors or explicitly restrict the claim and remove \"precisely.\" The paper deserves a serious referee — it is substantial and the flaw is fixable — but the referee should require the ansatz issue to be addressed before publication.","headline":"The 39-family classification is real work, but Theorem 1's completeness claim is false: the ansatz misses zeroth-order spin-vector integrals like S=(σ1+σ2)/2, which commute with H in several listed families.","tokens_in":40124,"tokens_out":4827,"would_cite":false,"duration_ms":50869,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81R12","81Q05","70H06"],"pacs":["02.30.Ik","03.65.-w","11.30.-j","13.75.Cs"],"model":"deepseek-v4-flash","headline":"This paper claims that, within the class of spherically symmetric two-spin-1/2 Hamiltonians with no spin-momentum term, the systems admitting a non-trivial first-order vector integral of motion are exactly the 39 families listed in Theorem","keywords":["superintegrable systems","two-spin Hamiltonians","first-order vector integrals","radial determining equations","polynomial symmetry algebras","exact solvability","helicity quantum number","spin-dependent potentials"],"falsifier":"Take the case-2 family with arbitrary V0 and V3 — for instance V0=r² and V3=r⁴ — and symbolically evaluate [H,X2] with the listed X2. If the commutator fails to vanish identically, Theorem 1 is wrong. Conversely, a first-order vector integral whose coefficient functions satisfy the determining equations but which is not expressible as a linear combination of the listed integrals would refute the claim that the list is precisely the complete one.","tokens_in":39095,"feed_emoji":"⚛️","tokens_out":7951,"duration_ms":66461,"temperature":0.7,"pith_summary":"The paper sets out to determine which rotationally symmetric Hamiltonians describing two interacting spin-1/2 particles possess a non-trivial first-order vector integral of motion, in the class where the spin-momentum interaction is absent. Starting from a 28-term Hermitian vector ansatz built from relative position, momentum, orbital angular momentum, and the two spin vectors, the commutativity condition with the Hamiltonian is reduced to a large overdetermined system of radial equations. The paper claims that this system has exactly 39 solution families, listed explicitly with their vector integrals. If correct, this completes the vector part of the first-order classification for this Hamiltonian class and extends the previously known scalar and pseudo-scalar classifications. In representative cases the vector integrals generate polynomial symmetry algebras, and a scalar contraction of a vector integral separates the spin-angular variables to yield exact Coulomb- and oscillator-type bound states with a three-fold helicity degeneracy.","feed_headline":"All 39 two-spin families with a vector integral of motion","feed_subtitle":"Complete catalogue for spin-1/2 pairs without spin-momentum coupling, with exact Coulomb and oscillator solutions.","key_machinery":"The machinery is the general Hermitian first-order vector operator assembled from the ten vectorial directions generated by relative position, momentum, orbital angular momentum, and the two spin vectors, reduced by symmetrization to 28 structures with radial coefficient functions. Substituting this ansatz into [H,X]=0 and matching independent differential operators produces an overdetermined system of radial determining equations; solving that system by case branching is what produces the 39 families. A secondary tool is the scalar contraction Q = J·X, which turns a vector integral into a commuting scalar and enables separation of the spin-angular variables.","core_discovery":"The central claim is Theorem 1: within the V4=0 class, a spherically symmetric two-spin Hamiltonian admits a non-trivial first-order vector integral of motion if and only if its five remaining radial potentials belong to one of the 39 listed families. Each family specifies the potentials and the commuting vector operators. The paper also shows that in two representative families the vector integrals close into polynomially generated symmetry algebras — one with so(4)- and e(3)-type quotients selected by a central scalar, the other with singlet–triplet block structure and quadratic tensor operators — and that a scalar reduction of a vector integral supplies a fourth commuting observable, lead","pith_inferences":["If the same ansatz is extended to V4≠0, the on-shell elimination mentioned in the paper suggests that some of these families will persist with modified coefficients; a natural test is to repeat the elimination with V4 present and see which families deform.","The so(4)/e(3) interpolation through the central scalar suggests that the corresponding quantum spectra should show angular-momentum degeneracy patterns that switch at the singlet/triplet sector; one could look for accidental degeneracies that depend on the eigenvalue of that scalar.","The three-fold helicity degeneracy in the representative exactly solvable model should persist under any perturbation that preserves the vector integral; turning on the omitted spin-momentum or quadratic spin-orbit terms would presumably split it and could serve as a measure of symmetry breaking in a two-spin system.","An independent operator-basis construction could test whether the 28-term ansatz is truly exhaustive; if a missing Hermitian first-order vector term exists, the theorem's 'precisely' would need revision."],"forward_implications":["For V4=0, the catalogue is exhaustive: any Hamiltonian of the stated form with a first-order vector integral is one of the 39 families, up to identifications and gauge-induced cases.","The vector classification completes the first-order program for this Hamiltonian class together with the earlier scalar and pseudo-scalar results, so future work can move to axial-vector, higher-order, or V4≠0 integrals.","Some of the new systems carry polynomial symmetry algebras, not just finite Lie algebras, giving algebraic structure beyond ordinary rotational symmetry.","The scalar reduction Q = J·X yields an extra quantum number (helicity) and exact Coulomb and oscillator spectra in a representative family, with triplet degeneracy 3(2j+1).","Gauge-induced families are isolated, so the remaining families represent genuinely spin-dependent vector superintegrability."],"fun_headline_variants":["Two-spin systems: 39 vector integrals","39 superintegrable spin-1/2 Hamiltonians","Complete set: 39 two-spin vector integrals","Spin pairs: all 39 first-order vector integrals","Two-spin classification: 39 vector-integral cases"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The completeness of the 39-family list rests on two unshown premises: that the 28-term ansatz captures every possible Hermitian first-order vector integral, and that the omitted computer-algebra elimination of the determining equations missed no branch.","fun_headline_variants_meta":{"raw":{"variants":["Two-spin systems: 39 vector integrals","39 superintegrable spin-1/2 Hamiltonians","Complete set: 39 two-spin vector integrals","Spin pairs: all 39 first-order vector integrals","Two-spin classification: 39 vector-integral cases"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000621,"raw_usage":{"total_tokens":2711,"prompt_tokens":736,"completion_tokens":1975,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":480,"completion_tokens_details":{"reasoning_tokens":1897}},"tokens_in":480,"tokens_out":1975,"duration_ms":12359,"temperature":1.0,"reasoning_tokens":1897,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T13:16:35.713637+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the case-2 family with arbitrary V0 and V3 — for instance V0=r² and V3=r⁴ — and symbolically evaluate [H,X2] with the listed X2. If the commutator fails to vanish identically, Theorem 1 is wrong. Conversely, a first-order vector integral whose coefficient functions satisfy the determining equations but which is not expressible as a linear combination of the listed integrals would refute the claim that the list is precisely the complete one.","supporting_citations":[],"review_version":1}