Pith. sign in

REVIEW 3 major objections 4 minor 40 references

Superintegrable systems of two interacting spin-$\frac12$ particles with first-order vector integrals of motion

T0 review · 3 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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

desk verdict 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. read the letter →

arxiv 2607.19155 v1 pith:5O2YNKSM submitted 2026-07-21 math-ph math.MP

O. Ogulcan Tuncer , I. Yurdusen This is my paper · ORCID
classification math-phmath.MP MSC 81R1281Q0570H06 PACS 02.30.Ik03.65.-w11.30.-j13.75.Cs
keywords superintegrablesystemstwo-spinHamiltoniansfirst-ordervectorintegralsradialdeterminingequationspolynomialsymmetryalgebrasexactsolvabilityhelicityquantumnumberspin-dependentpotentials
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

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.

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 (3)
  1. [§3, Theorem 1, Family 10] 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.
  2. [§3 and Appendix A] 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.
  3. [§2–§3] 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.
minor comments (4)
  1. [§3] 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.
  2. [§4.2] 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.
  3. [§5] 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.
  4. [Throughout] 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.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction; completeness is conditional on an asserted ansatz and an unreported elimination, which are evidentiary gaps rather than circularity.

full rationale

The derivation is not circular in the fit-to-target sense. The unknown potentials and coefficient functions are determined by imposing [H,X]=0 and separating independent operator structures (Appendix A); nothing is fitted to a pre-selected family list, and each listed family can be checked by direct substitution. The self-citations to [37,38,39] are methodological: [39] supplies a symmetrization procedure, and [37,38] established the same elimination protocol in earlier scalar/pseudo-scalar classifications. They are prior independent publications, and the 39-family list is not obtained by restating their conclusions, so these citations are at most mildly load-bearing for method, not circular. The genuine risks are completeness risks, not circularity. Section 3 asserts without proof that the 28-term list is the most general first-order Hermitian vector operator: 'Combining these directions with rotational scalar factors and retaining only terms which are at most first order in the momenta, one obtains the following twenty-eight vector structures... Therefore an arbitrary first-order vector operator is initially written as...' The theorem's 'precisely' inherits this premise. Likewise, the branch-by-branch elimination is not shown: 'The full step-by-step elimination of the determining equations is not repeated here. The computation is carried out with Mathematica, following the standard procedure used in the scalar and pseudo-scalar classifications [37,38].' An omitted proof or an ansatz gap can falsify Theorem 1 (for example, a pure-spin vector such as S=(σ1+σ2)/2 commuting with family 10 would be outside the ansatz), but that is an error/verifiability concern, not a circular reduction of the result to its inputs. No step in the paper defines the target set in terms of itself or renames a fitted quantity as a prediction. I therefore find no significant circularity; the minor self-citation/method-dependence warrants the low end of the scale.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No fitted parameters; the classification's outputs are families of potentials with arbitrary functions (V0, V2, V3) and real constants (λ, α, β, ε). These are not fitted to data and are not ad hoc to force the result; they parameterize the solution branches. No new physical entities are postulated; all ingredients are standard quantum-mechanical operators and potentials.

assumptions (5)
  • domain assumption The Okubo-Marshak form (2.2) is the most general two-spin interaction potential under the stated invariance assumptions.
    Imported from Ref. [36]; the Hamiltonian (2.1)-(2.2) is the starting point of the classification.
  • domain assumption The symmetrization procedure of [39] produces the most general Hermitian first-order vector operator from the 28 structures.
    The 28-term ansatz in Section 3 is asserted to be the most general first-order Hermitian vector operator; completeness of this list is not proven in the paper.
  • standard math The standard identities of Pauli matrices and angular momentum algebra are used throughout.
    Used in Section 4 and 5, e.g., (σ·a)(σ·b) = a·b + iσ·(a×b), and [Ji,Jj] = iℏεijkJk.
  • domain assumption The V4=0 restriction is justified by an on-shell elimination and is a scope limitation, not a loss of generality for the full off-shell problem.
    Section 2: 'Motivated by this reduction ... we restrict the present classification to the subfamily V4(r)=0.' The classification is only for this subclass.
  • domain assumption The determining equations listed in Appendix A are a correct separation of [H,X]=0 into independent differential-operator coefficients.
    The paper states the equations are 'obtained after separating the commutator with respect to independent differential operator structures'; this separation is not shown in detail.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Superintegrable systems of two interacting spin-$\frac12$ particles with first-order vector integrals of motion." pith.science (2026). https://pith.science/paper/5O2YNKSM

@misc{pith2026260719155,
  author       = {Pith},
  title        = {Pith review of: Superintegrable systems of two interacting spin-$\frac12$ particles with first-order vector integrals of motion},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5O2YNKSM}},
  note         = {Machine review of arXiv:2607.19155}
}
abstract

We study quantum superintegrability for two interacting non-relativistic spin-$\frac12$ particles in three-dimensional Euclidean space. The Hamiltonian contains a central potential together with spin-orbit, spin-spin, tensor, and quadratic spin-orbit interaction terms, all depending only on the relative distance. We restrict the classification to the $V_4=0$ case, so that the spin-momentum interaction term is not included. We determine all such systems admitting non-trivial first-order vector integrals of motion. For this purpose, we construct the most general Hermitian first-order vector operator built from the relative position, momentum, orbital angular momentum, and the two spin vectors. The commutativity condition with the Hamiltonian leads to an overdetermined system of radial determining equations, whose solution gives the complete list of admissible potentials and the corresponding vector integrals within this class. The results extend the previous classifications of scalar and pseudo-scalar first-order integrals for two particles with spin. We also discuss selected symmetry algebras generated by the vector integrals and show, in one representative case, how a scalar reduction leads to exact Coulomb- and oscillator-type solutions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 1 linked inside Pith

  1. [1]

    Lett.16354–6

    Friˇ s I, Mandrosov V, Smorodinsky J, Uhlı˜ r M and Winternitz P 1965 On higher-order sym- metries in quantum mechanicsPhys. Lett.16354–6

    1965

  2. [2]

    Makarov A, Smorodinsky J A, Valiev K and Winternitz P 1967 A systematic search for non- relativistic systems with dynamical symmetriesNuovo CimentoA521061–84

    1967

  3. [3]

    Rev.A415666–76

    Evans N W 1990 Superintegrability in classical mechanicsPhys. Rev.A415666–76

    1990

  4. [4]

    Lett.A147483–6

    Evans N W 1990 Superintegrability of the Winternitz systemPhys. Lett.A147483–6

    1990

  5. [5]

    Two-Dimensional HyperboloidPhys

    Grosche C, Pogosyan G S and Sissakian A N 1996 Path Integral Approach to Superinte- grable Potentials. Two-Dimensional HyperboloidPhys. Part. Nucl.27(3)244–278 (Fiz. Elem. Chastits At Yadra27593–674)

    1996

  6. [6]

    Two and three dimensional quantum systemsJ

    Kalnins E G, Kress J M and Miller Jr W 2006 Second order superintegrable systems in conformally flat spacesV. Two and three dimensional quantum systemsJ. Math. Phys.47 093501 (25pp)

    2006

  7. [7]

    Kalnins E G, Kress J M and Winternitz P 2002 Superintegrability in a two-dimensional space of nonconstant curvatureJ. Math. Phys.43(2)970–83

    2002

  8. [8]

    Rodriguez M A and Winternitz P 2002 Quantum superintegrability and exact solvability in ndimensionsJ. Math. Phys.431309–22

    2002

Show all 40 references
  1. [9]

    Kalnins E G, Williams G C, Miller Jr W and Pogosyan G S 2002 On superintegrable symmetry- breaking potentials inN-dimensional Euclidean spaceJ. Phys. A: Math. Gen.354755–73

    2002

  2. [10]

    Atomic Nuclei70no

    Kalnins E G, Kress J M and Miller W Jr 2007 Nondegenerate superintegrable systems in n-dimensional spaces of constant curvaturePhys. Atomic Nuclei70no. 3 545–53

    2007

  3. [11]

    Bertrand J 1873 Th´ eor` eme relatif au mouvement d’un point attir´ e vers un centre fixeC. R. Acad. Sci.77849–853

  4. [12]

    Gravel S and Winternitz P 2002 Superintegrability with third-order integrals in quantum and classical mechanicsJ. Math. Phys.435902–12

    2002

  5. [13]

    Tremblay F, Turbiner A V and Winternitz P 2009 An infinite family of solvable and integrable quantum systems on a planeJ. Phys. A: Math. Theor.42242001

    2009

  6. [14]

    Marquette I 2009 Superintegrability with third-order integrals of motion, cubic algebras, and supersymmetric quantum mechanics II: Painlev´ e transcendent potentialsJ. Math. Phys.50 095202 (18pp) 31

    2009

  7. [15]

    Tremblay F, Turbiner A V and Winternitz P 2010 Periodic orbits for an infinite family of classical superintegrable systemsJ. Phys. A: Math. Theor.43015202 (16pp)

    2010

  8. [16]

    Post S and Winternitz P 2015 GeneralN th-Order Integrals of Motion in the Euclidean Plane J. Phys. A: Math. Theor.48405201

    2015

  9. [17]

    Exotic Quantum PotentialsJ

    Marquette I, Sajedi M and Winternitz P 2017 Fourth Order Superintegrable Systems Sepa- rating in Cartesian Coordinates I. Exotic Quantum PotentialsJ. Phys. A: Math. Theor.50 315201

    2017

  10. [18]

    Escobar-Ruiz A, Winternitz P and Yurdu¸ sen˙I 2018 GeneralN th-Order Superintegrable Sys- tems Separating in Polar CoordinatesJ. Phys. A: Math. Theor.5140LT01

    2018

  11. [19]

    Miller W Jr, Post S and Winternitz P 2013 Classical and Quantum Superintegrability with ApplicationsJ. Phys. A: Math. Theor.46423001

    2013

  12. [20]

    Dorizzi B, Grammaticos B, Ramani A and Winternitz P 1985 Integrable Hamiltonian Systems with Velocity Dependent PotentialsJ. Math. Phys.263070–3079

    1985

  13. [21]

    B´ erub´ e J and Winternitz P 2004 Integrable and Superintegrable Quantum Systems in a Mag- netic FieldJ. Math. Phys.451959–1973

    2004

  14. [22]

    Geom.16015

    Marchesiello A and Snobl L 2020 Classical Superintegrable Systems in a Magnetic Field that Separate in Cartesian CoordinatesSymmetry Integr. Geom.16015

    2020

  15. [23]

    Phys.451169264

    Kubu O, Marchesiello A and Snobl L 2023 New classes of quadratically integrable systems in magnetic fields: The generalized cylindrical and spherical casesAnn. Phys.451169264

    2023

  16. [24]

    Hoque M F and Snobl L 2023 Family of nonstandard integrable and superintegrable classical Hamiltonian systems in non-vanishing magnetic fieldsJ. Phys. A: Math. Theor.56165203

    2023

  17. [25]

    Hoque M F, Marchesiello A and Snobl L 2024 Integrable systems of the ellipsoidal, paraboloidal and conical type with magnetic fieldJ. Phys. A: Math. Theor.57225201

    2024

  18. [26]

    Nonlinear Math

    Ekelchik T and Marchesiello A 2026 Superintegrable 2D systems in magnetic fields with a parabolic type integralOpen Commun. Nonlinear Math. Phys.657-79

    2026

  19. [27]

    Winternitz P and Yurdu¸ sen˙I 2006 Integrable and superintegrable systems with spinJ. Math. Phys.47103509 (10pp)

    2006

  20. [28]

    Winternitz P and Yurdu¸ sen˙I 2009 Integrable and superintegrable systems with spin in three- dimensional Euclidean spaceJ. Phys. A: Math. Theor.42385203 (20pp)

    2009

  21. [29]

    D´ esilets J-F, Winternitz P and Yurdu¸ sen˙I 2012 Superintegrable systems with spin and second- order integrals of motionJ. Phys. A: Math. Theor.45475201 (26pp)

    2012

  22. [30]

    Yurdu¸ sen˙I, Tuncer OO and Winternitz P 2021 Superintegrable systems with spin and second- order tensor and pseudo-tensor integrals of motionJ. Phys. A: Math. Theor.54305201 (37pp) 32

    2021

  23. [31]

    Pronko G P 2007 Quantum superintegrable systems for arbitrary spinJ. Phys. A: Math. Theor.401333–36

    2007

  24. [32]

    Nikitin A G 2012 Matrix superpotentials and superintegrable systems for arbitrary spinJ. Phys. A: Math. Theor.45225205 (13pp)

    2012

  25. [33]

    Nikitin A G 2013 Superintegrable systems with spin invariant with respect to the rotation groupJ. Phys. A: Math. Theor.46265204 (15pp)

    2013

  26. [34]

    D’Hoker E and Vinet L 1985 Constants of motion for a spin- 1 2 particle in the field of a dyon Phys. Rev. Lett.551043–46

    1985

  27. [35]

    Feher L and Horvathy P A 1988 Non-relativistic scattering of a spin- 1 2 particle off a self-dual monopoleMod. Phys. Lett.A31451–60

    1988

  28. [36]

    Phys.4166–79

    Okubo S and Marshak R E 1958 Velocity dependence of the two-nucleon interactionAnn. Phys.4166–79

    1958

  29. [37]

    Tuncer OO and Yurdu¸ sen ˙I 2025 Superintegrability in the interaction of two particles with spinJ. Phys. A: Math. Theor.58245201 (41pp)

    2025

  30. [38]

    T¨ urkkan F, Tuncer OO and Yurdu¸ sen˙I 2026 Superintegrability in the interaction of two particles with spin: First-order pseudo-scalar integrals of motion arXiv:2605.07659v1

    2026 arXiv

  31. [39]

    Yurdu¸ sen˙I and Tuncer OO 2022 Symmetrization of the product of Hermitian operatorsCom- put. Phys. Commun.274108301 (8pp) A Determining equations for first-order vector integrals In this appendix we list the determining equations obtained from the condition [H, ⃗X] = 0 for th...

    2022

  32. [40]

    + 2V ′ 3(f5 +f 6) = 0,(A.63) 12ℏr3V3(f12 +f 13)−4ℏr 4V ′ 3f14 −8ℏr 3V3f14 −ℏ 3r2f (3) 16 −6ℏ 3rf ′′ 16 + 32ℏ3r2V5f ′ 16 + 6ℏ3f ′ 16 −8ℏ 2r2V1f ′ 16 −4ℏr 2(V ′ 0 +V ′ 2)f16 −ℏ 3r2f (3) 17 −6ℏ 3rf ′′ 17 + 32ℏ3r2V5f ′ 17 + 6ℏ3f ′ 17 −8ℏ 2r2V1f ′ 17 + 4ℏr3V3f17 −4ℏr 2(V ′ 0 +V ′ 2...

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.