{"id":"a5e20f08-5140-4dd0-87ef-f9a988ce4bbd","arxiv_id":"1908.06490","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"An N=8 supersymmetric mechanics with potential is built on rigid special Kähler manifolds, yielding bosonic Hamiltonians that include superintegrable deformations of the 2D oscillator and Coulomb problem.","lead":"This paper constructs N=8 supersymmetric mechanics with a potential term on special Kähler manifolds of rigid type, and maps the construction onto the known N=4 curved WDVV systems. It then exhibits supersymmetric extensions of deformed oscillator and Coulomb systems in one complex dimension.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Factor-of-two inconsistency between Eq. (3.10) and Eq. (1.3) undermines the derivation of the general solution (3.12); as written, U=m∂F+inz does not solve Eq. (3.11).","rationale":"I read the paper as a constructive derivation: supercharge ansatz, closure condition, solution of the potential equation, then two-dimensional examples. The reader's concern about the unshown Poisson-bracket closure is legitimate, but the sharper problem is an explicit algebraic inconsistency in the displayed formulas, independent of that computation. With g=Re F'' and f=F''', Eq. (1.3) fails by a factor of four in a one-line example, and the claimed solution (3.12) does not solve the displayed Eq. (3.11). This means the advertised classification of admissible prepotentials is not established. The radial examples in Section 4 are solved by a separate direct equation and may survive, so I do not recommend outright rejection, but the manuscript needs a corrected definition or an explicit factor convention before the central claim can be accepted. This supports the reader's CONDITIONAL verdict, so I leave the verdict unchanged.","tokens_in":11917,"tokens_out":44603,"duration_ms":442236,"concrete_test":"Perform the N=1 check with F(z)=c z^3/6+κ z^2/2, c,κ real and κ+c Re z>0. (1) Compute R_{1\\bar 1 1\\bar 1} from Eq. (1.4) and compare with the right-hand side of Eq. (1.3) using f=F'''=c; if the ratio is 4, Eq. (3.10) is internally inconsistent. (2) Substitute U=mF'+inz into Eq. (3.11) and evaluate the residual exactly; if the residual is -mc, then Eq. (3.12) is not the general solution of the displayed equation. (3) Recompute the Poisson bracket {Q_{iα},Q_{jβ}} from Eqs. (3.6) and (3.4) for this U, reporting the coefficient of every fermion monomial; this settles whether the superalgebra actually closes and which normalization of f and U_{a;b} is correct.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing weak point is the passage from the special-Kähler definitions to the claimed general solution. With the conventions stated in Eq. (3.10), g_{a\\bar b}=Re ∂_a∂_b F and f_{abc}=∂_a∂_b∂_c F, the curvature identity (1.3) is not satisfied. In one complex dimension, take F(z)=c z^3/6+κ z^2/2 with real c,κ and g=Re F''=κ+c x>0 on a half-plane. Then Γ^1_{11}=∂_z g/g=c/(2g), so the curvature from Eq. (1.4) is R_{1\\bar 1 1\\bar 1}= -c^2/(4g). The right-hand side of Eq. (1.3) is -f g^{-1}\\bar f = -c^2/g, a factor of four larger. Thus Eq. (3.10) is not compatible with Eq. (1.3) for a holomorphic prepotential F unless an extra factor is inserted in the definition of f or g. The same factor infects Eq. (3.11): substituting the advertised solution U(z)=mF'(z)+inz gives U'=m(cz+κ)+in, U''=mc, and \\bar U'=m(c\\bar z+κ)-in, so U'+\\bar U'=2mg. The left-hand side of Eq. (3.11) equals mc - (U'+\\bar U')g^{-1}c = mc-2mc = -mc, which is nonzero for m,c≠0. Therefore the 'immediate' general solution (3.12) is not a solution of the displayed equation. If a different connection or normalization is intended, it is not defined, and the Poisson bracket computation leading to Eq. (3.8) would need to be re-examined. This leaves the central classification of admissible potentials unproven.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs an N=8 supersymmetric mechanics with a nonzero potential term on special Kähler manifolds of rigid type, presenting the supercharges (3.6), the Hamiltonian (3.9), and the condition (3.8) on the prepotential U. It then states the general solution U = Σ(m_a ∂_a F + i n_a z_a) in a prepotential coordinate frame. In the second part, the authors specialize to U(1)-invariant one-complex-dimensional special Kähler metrics, solve the potential equation, and obtain the bosonic Hamiltonian (4.23). For m=1 and m=-1/2 they identify superintegrable deformations of the two-dimensional oscillator and Coulomb problems, giving explicit deformed symmetry generators and nonlinear algebras. The paper also discusses T-duality and the relation to N=4 mechanics on curved WDVV manifolds.","tokens_in":12335,"tokens_out":25778,"duration_ms":240686,"significance":"If the construction is correct, the paper provides a new class of N=8 supersymmetric mechanics with potentials and makes contact with known superintegrable systems, which is a useful contribution to the subject. The explicit form of the bosonic Hamiltonians and the proposed symmetry generators is a concrete strength. However, the central derivation currently contains a normalization inconsistency that affects the claimed general solution, and the closure of the superalgebra is asserted without a displayed computation. These issues are localized and appear fixable, but they must be resolved before the main claims can be accepted. The explicit constants of motion in Section IV are valuable and can be checked independently, but the heuristic energy-surface identification contains an error that should be corrected.","major_comments":[{"comment":"The displayed conventions are internally inconsistent. With g_{a\\bar b}=Re ∂_a∂_b F and f_{abc}=∂_a∂_b∂_c F as stated in (3.10), the curvature identity (1.3) fails by a factor of four in one dimension: for F(z)=c z^3/6+κ z^2/2 with real c,κ one has g=κ+c x, Γ^1_{11}=c/(2g), and R_{1\\bar 1 1\\bar 1}=-c^2/(4g), whereas the right-hand side of (1.3) equals -f g^{-1}\\bar f=-c^2/g. Correspondingly, substituting U=mF'+i n z into (3.11) gives LHS = mF''' - (U'+\\bar U')g^{-1}F''' = -mF''' ≠ 0. Hence Eq. (3.12) is not a solution of the displayed equation. The missing factor of 1/2 in the relation between f_{abc} and ∂_a∂_b∂_c F, or equivalently in (3.11), must be introduced and the derivation repeated; as it stands, the classification of admissible potentials is not proven.","section":"III, Eqs. (3.10)-(3.12)"},{"comment":"The paper states that taking Poisson brackets of the supercharges (3.6) closes to the N=8 superalgebra precisely when Eq. (3.8) holds, but no part of the Poisson-bracket computation is displayed. In particular, it is not demonstrated that the fermionic ansatz (3.6) is sufficient: additional terms could be forced by the potential, which would change the Hamiltonian (3.9). Since the existence of the N=8 extension with nonzero potential is the central claim, the computation should be given, at least in outline, or an explicit reference to a full derivation should be supplied.","section":"III, Eqs. (3.6)-(3.9)"},{"comment":"Equation (4.27) is not an exact rewriting of the energy surface H=E. Starting from (4.23), multiplying by 1-κ^2|z|^{2m} yields π\\barπ + κ^2(|a|^2+E)|z|^{2m}+κ a^2 z^m+κ\\bar a^2 \\bar z^m = E-|a|^2 + κ^2|z|^m π\\barπ. The last term is omitted in (4.27), so the identification of m=1 and m=-1/2 with oscillator and Coulomb energy surfaces is not justified as written. The explicit constants of motion (4.29)-(4.30) and (4.35)-(4.36) may still be correct, but the derivation leading to them should be corrected or replaced by a direct verification.","section":"IV, Eq. (4.27)"},{"comment":"The prepotential frame (3.10) appears incompatible with the U(1)-invariant metrics used in Section IV. If g_{a\\bar b}=Re ∂_a∂_b F, then g is the real part of a holomorphic function and hence harmonic, i.e. ∂_z∂_{\\bar z}g=0. The metric in (4.18), g=1-κ^2(z\\bar z)^m, is not harmonic for the values of m considered. Consequently no holomorphic F satisfying (3.10) exists for these examples. Either (3.10) is not the general coordinate frame for solutions of (1.3), or the Section IV metrics are not special Kähler manifolds of rigid type in the sense of (3.10). The relation between the general framework and the explicit one-dimensional solutions needs to be clarified.","section":"III, Eq. (3.10) vs IV, Eq. (4.18)"}],"minor_comments":[{"comment":"The notation in Eq. (4.21) is confusing: since \\bar U depends only on \\bar z, the left-hand side d\\bar U/dz is identically zero, and the intended statement is that the holomorphic derivative with respect to z of the bracket vanishes; this should be written as ∂_z[ ... ]=0.","section":"IV, Eq. (4.21)"},{"comment":"There are typographical errors: in Eq. (4.25) 'arg a' appears as 'arga', and in Eq. (4.38) the bracket in '|~κ~a]~z~m' is malformed.","section":"IV, Eqs. (4.25), (4.38)"},{"comment":"Reference [7] and [8] are missing the author initial 'A.' (Ballesteros), and reference [12] contains an obvious typo in the year '20112'.","section":"References"},{"comment":"Equation (2.4) contains a stray comma in 'H,,'; it should read {Q_α,Q_β}=-i/2 δ_αβ H.","section":"II, Eq. (2.4)"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a promising explicit construction and interesting examples, but the normalization inconsistency in Section III and the missing closure computation mean that the central claims are not yet fully supported. The errors appear to be local and correctable, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis paper has a genuinely new construction — N=8 supersymmetric mechanics with a potential on rigid special Kähler manifolds — and a nice observation that it is the complex counterpart of the curved WDVV mechanics from [1,5]. The U(1)-invariant one-dimensional family and the superintegrable oscillator/Coulomb limits are explicit, with the constants of motion written down. If the algebra is right, this is a useful work for the supersymmetric mechanics community.\n\nBut there is a real bug in the central derivation. In (3.10) they claim Γ_{\\bar a b c} = ∂_a∂_b∂_c F and f_{abc} = Γ_{\\bar a b c}. With the connection defined in (1.4), the lower-index connection is actually g_{\\bar a n} Γ^n_{bc} = ∂_b g_{c\\bar a} = 1/2 ∂_a∂_b∂_c F, not ∂^3 F. The missing 1/2 propagates. For a one-dimensional example F = c z^3/6 + κ z^2/2, the curvature from (1.4) is -c^2/(4g), while the right side of (1.3) with f=c is -c^2/g — off by four. And substituting U = mF' + inz into (3.11) gives -mc, not zero. So (3.12) is not a solution of the equation as displayed. This is not a typo in a throwaway formula; it's the equation that classifies admissible potentials. The authors likely use a different normalization for f or the connection, but they don't say so, and the Poisson-bracket computation leading to (3.8) is not shown, so a referee cannot tell which normalization is intended.\n\nThe other soft spot: Eq. (4.27) is not an exact rewriting of the energy surface; it drops the (1-κ^2ρ^{2m}) factor multiplying π\\barπ. The superintegrability claims for m=1 and -1/2 are independently supported by explicit integrals, so this is a presentation issue, but it should be cleaned up.\n\nWho is this for? Specialists in supersymmetric mechanics and special Kähler geometry. The general construction is interesting enough to warrant a proper referee, and the fix is likely simple. As submitted, though, the central classification is unproven. I would send it to review with a clear request to correct the normalization and either display or cite the closure computation.\n\n— [Your name]","headline":"Promising N=8 mechanics with potential, undermined by a factor-of-two normalization error that voids the claimed general solution as written.","tokens_in":12881,"tokens_out":12275,"would_cite":false,"duration_ms":104366,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.30.Pb","02.30.Ik"],"model":"deepseek-v4-flash","headline":"This paper constructs N=8 supersymmetric mechanics with a potential term on special Kähler manifolds of rigid type, and shows that in one complex dimension its bosonic parts are superintegrable deformations of the oscillator and Coulomb…","keywords":["N=8 supersymmetric mechanics","special Kähler manifolds of rigid type","curved WDVV equations","prepotential equation","U(1)-invariant metrics","superintegrable oscillator","superintegrable Coulomb","T-duality"],"falsifier":"Take a concrete case, for instance the U(1)-invariant metric with $m=-2$, insert an admissible prepotential such as $U'(z)=\\kappa a z^{-2} + \\bar a$, and compute the full Poisson brackets of the supercharges (4.42) explicitly; any unavoidable extra fermionic term in the closure would show that (3.8) is not sufficient and the Hamiltonian (4.42) is not the N=8 model it claims to be.","tokens_in":11705,"feed_emoji":"⚛️","tokens_out":14035,"duration_ms":115181,"temperature":0.7,"pith_summary":"The paper aims to show that N=8 supersymmetric mechanics can be defined with a nonzero potential when the configuration space is a special Kähler manifold of rigid type, not only in the free case. The decisive condition is a differential equation on the prepotential $U$, namely $U_{a;b} - f_{abc} g^{\\bar d c} \\bar U_{\\bar d} = 0$, whose general solution in the special coordinate frame is $U(z) = \\sum_a (m_a \\partial_a F + i n_a z_a)$. In one complex dimension this yields bosonic Hamiltonians that include superintegrable perturbations of the two-dimensional oscillator and Coulomb problem. The authors present the construction as the complex counterpart of $\\mathcal{N}=4$ mechanics built on the curved WDVV equations, third-rank tensor equations used in the real case, unifying the two constructions.","feed_headline":"N=8 supersymmetric mechanics can support a nonzero potential","feed_subtitle":"In one complex dimension these are superintegrable oscillator and Coulomb deformations.","key_machinery":"The load-bearing object is the rigid special Kähler manifold: a Kähler manifold whose metric and curvature are encoded by a holomorphic prepotential through a symmetric third-rank tensor $f_{abc}$ satisfying the rigid special-Kähler identities. The argument runs on the prepotential equation (3.8), which selects the allowed potentials, and on the U(1)-invariant metric family $ds^2 = (1 - \\kappa^2(z\\bar z)^m)\\, dz\\, d\\bar z$, whose cubic tensor is $f(z)[dz]^3 = \\kappa m z^{m-1}[dz]^3$. These objects combine so that the supercharges close into the N=8 algebra and the bosonic Hamiltonians become the known superintegrable systems for $m=1$ and $m=-1/2$.","core_discovery":"On a rigid special Kähler manifold, the N=8 supercharges chosen in (3.6) close into the N=8 superalgebra precisely when $U_{a;b} - f_{abc} g^{\\bar d c} \\bar U_{\\bar d} = 0$; in the special coordinate frame where $g_{a\\bar b} = \\mathrm{Re}\\,\\partial_a \\partial_{\\bar b} F$ and $f_{abc} = \\partial_a\\partial_b\\partial_c F$, the general admissible prepotential is $U(z) = \\sum_a (m_a \\partial_a F + i n_a z_a)$. Restricting to U(1)-invariant one-complex-dimensional special Kähler metrics, $ds^2 = (1 - \\kappa^2(z\\bar z)^m)\\, dz\\, d\\bar z$ with $f(z)[dz]^3 = \\kappa m z^{m-1}[dz]^3$, the allowed potentials are $U'(z) = \\kappa a z^m + \\bar a$. The bosonic Hamiltonian is superintegrable for $m=1$ and $m=-1/2$, where it reproduces superintegrable perturbations of the oscillator and Coulomb problems, respectively.","pith_inferences":["If the closure condition is indeed sufficient, the admissible prepotentials on a fixed rigid special Kähler manifold form a finite-dimensional real vector space spanned by $\\partial_a F$ and $z_a$, so classifying N=8 potentials reduces to classifying rigid special Kähler manifolds.","The duality (4.38) acts like an inversion in $z$ and connects the oscillator-type $m=1$ system with the Coulomb-type $m=-1/2$ system; one could test whether it maps the full quantum spectrum and symmetry algebra of one to the other.","The generic failure of U(1) invariance suggests that nonzero N=8 potentials sit uncomfortably with Killing isometries, so one might expect admissible potentials only on special Kähler manifolds with few or no isometries.","Solving the linear equation (3.8) on the same metric family for other values of $m$ could uncover additional integrable or superintegrable cases beyond the oscillator and Coulomb deformations."],"forward_implications":["If (3.8) is the full closure condition, every rigid special Kähler manifold admits an N=8 mechanics with potential once the linear condition on the prepotential is solved.","The T-duality-type transformation (4.38)–(4.40) relates the Hamiltonian for parameters $(m,a)$ to another member of the same family, so the family contains dual pairs of integrable systems.","For $m=1$ and $m=-1/2$ the bosonic systems are superintegrable, with two functionally independent constants of motion; these reproduce known superintegrable perturbations of oscillator and Coulomb systems.","Generically the supercharges and Hamiltonian are not invariant under the U(1) rotation of the coordinate; full U(1)-invariant N=8 extensions occur only in the free $a=0$, $m=-2$ case.","The paper leaves it open whether the hidden symmetries of the superintegrable bosonic systems admit N=8 supersymmetric extensions."],"supporting_citations":[{"why":"Supplies the N=4 mechanics with curved WDVV equations that the present construction is presented as the complex counterpart of.","marker":"[1]"},{"why":"Constructs N=8 mechanics on special Kähler manifolds without a potential; the ansatz here extends it to the potential case.","marker":"[2]"},{"why":"Provides the special coordinate frame in which the metric and the third-rank tensor are expressed through a single holomorphic prepotential.","marker":"[3]"},{"why":"Gives the N=4 mechanics on curved spaces whose potential compatibility condition parallels Eq. (3.8).","marker":"[5]"},{"why":"Supplies the superintegrable perturbation of the two-dimensional oscillator that the m=1 bosonic Hamiltonian matches.","marker":"[7]"},{"why":"Supplies the exactly solvable perturbation of the Coulomb problem that the m=-1/2 bosonic Hamiltonian matches.","marker":"[8]"},{"why":"Shows the structure of supercharges for N=4 mechanics on Kähler manifolds, informing the supercharge ansatz adopted here.","marker":"[17]"}],"fun_headline_variants":["Superintegrable oscillator and Coulomb from N=8 SUSY","N=8 mechanics: special Kahler gives superintegrability","Nonzero potential in N=8 SUSY via special Kahler","N=8 SUSY: from special Kahler to superintegrable mechanics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction relies on the chosen supercharge ansatz being complete enough to enforce the full N=8 algebra; if closing the brackets forces additional fermionic terms, the resulting Hamiltonian would not be the claimed N=8 extension.","fun_headline_variants_meta":{"raw":{"variants":["Superintegrable oscillator and Coulomb from N=8 SUSY","N=8 mechanics: special Kahler gives superintegrability","Nonzero potential in N=8 SUSY via special Kahler","N=8 SUSY: from special Kahler to superintegrable mechanics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000848,"raw_usage":{"total_tokens":3665,"prompt_tokens":900,"completion_tokens":2765,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":2688}},"tokens_in":516,"tokens_out":2765,"duration_ms":19706,"temperature":1.0,"reasoning_tokens":2688,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:45:09.387026+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete case, for instance the U(1)-invariant metric with $m=-2$, insert an admissible prepotential such as $U'(z)=\\kappa a z^{-2} + \\bar a$, and compute the full Poisson brackets of the supercharges (4.42) explicitly; any unavoidable extra fermionic term in the closure would show that (3.8) is not sufficient and the Hamiltonian (4.42) is not the N=8 model it claims to be.","supporting_citations":[{"cited_title":"prepotential","cited_arxiv_id":null,"evidence_quote":"Supplies the N=4 mechanics with curved WDVV equations that the present construction is presented as the complex counterpart of."},{"cited_title":"Curved Witten-Dijkgraaf-Verlinde-Verlinde equation and ${\\cal N}{=}\\,4$ mechanics","cited_arxiv_id":"1710.00884","evidence_quote":"Constructs N=8 mechanics on special Kähler manifolds without a potential; the ansatz here extends it to the potential case."},{"cited_title":"N=8 supersymmetric mechanics on special K\\\"ahler manifolds","cited_arxiv_id":"hep-th/0410029","evidence_quote":"Provides the special coordinate frame in which the metric and the third-rank tensor are expressed through a single holomorphic prepotential."},{"cited_title":"The curved WDVV equations and superfields","cited_arxiv_id":"1812.01406","evidence_quote":"Supplies the superintegrable perturbation of the two-dimensional oscillator that the m=1 bosonic Hamiltonian matches."},{"cited_title":"Quantum mechanics on spaces of nonconstant curvature: the oscillator problem and superintegrability","cited_arxiv_id":"1102.5494","evidence_quote":"Supplies the exactly solvable perturbation of the Coulomb problem that the m=-1/2 bosonic Hamiltonian matches."},{"cited_title":"Superintegrability, Lax matrices and separation of variables","cited_arxiv_id":"nlin/0303009","evidence_quote":"Shows the structure of supercharges for N=4 mechanics on Kähler manifolds, informing the supercharge ansatz adopted here."}],"review_version":1}