{"id":"606500d7-c233-4517-bf21-beec2431abbb","arxiv_id":"quant-ph/0602177","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Nonlinear pseudo-supersymmetry reduces to type A 2-fold supersymmetry, and every one-body Hamiltonian with two local closed-form solutions belongs to type A 2-fold supersymmetry.","lead":"This paper proves that a recently proposed symmetry called nonlinear pseudo-supersymmetry is actually a special case of the older N-fold supersymmetry framework, and that any one-body Hamiltonian with two closed-form solutions belongs to that same framework. It also clarifies the distinct mathematical roles of PT symmetry and pseudo-Hermiticity in quantum mechanics.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the central claim follows from the cited equivalence theorem and the explicit reductions, with only standard local-analyticity caveats.","rationale":"The reader's ACCEPT verdict is appropriate. The paper's central contribution is a clarification and unification of nonlinear pseudo-supersymmetry with N-fold supersymmetry, built on a cited equivalence theorem rather than a new proof of that theorem. That is a defensible mathematical procedure. The weakest point is indeed the reliance on Ref. [18], and the reader correctly flagged it. I agree that this is the softest spot, but I do not find it load-bearing: the theorem is published, the framework in the paper is explicitly formal and complex-coefficient, and the explicit reductions to the Sinha-Roy models are consistent with the required monic form of the 2-fold supercharge. The Section V claim is also sound under the stated local analyticity assumptions. The abbreviated b2(...) terms are not a correctness risk because the claimed reductions set b2=0, making those terms vanish. A symbolic verification of the reductions would raise confidence but is not necessary for the mathematical claim to stand.","tokens_in":8788,"tokens_out":30411,"duration_ms":267826,"concrete_test":"Verify the hypotheses of the equivalence theorem in Ref. [18] for the operators used in Ref. [9]: confirm that each A(N) is a monic differential operator of order N with nonvanishing leading coefficient on the relevant local domain. In parallel, use computer algebra to substitute b2=b0=0, b1=-4, R=a-3 into Eq. (26) and compare the resulting potential with the second model in Ref. [9], Section 4.2; repeat for the other two reductions. If the reductions match and the hypotheses hold, the central claim is fully confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I find no load-bearing technical flaw in the central claim. The generic statement in Section IV is a direct application of the Aoyama–Sato–Tanaka equivalence theorem between weak quasi-solvability and N-fold supersymmetry; the paper relies on a published proof, which is a normal and acceptable practice. The Section V construction is valid locally whenever psi_i is nonvanishing and the two solutions are independent, and the paper explicitly restricts itself to local closed-form solutions, so potential zeros of psi_i are avoided by passing to a smaller domain. The apparent issue that pseudo-supersymmetry uses A^natural while N-fold supersymmetry uses the transpose does not undermine the argument: the theorem plus the uniqueness of the partner determined by A(N) h0 = hN A(N) already forces the pair into the N-fold framework, with the extra A^natural relation acting as an additional structure rather than a necessary ingredient. The only residual point worth checking is whether every operator A(N) in Ref. [9] satisfies the monicity and nonvanishing-leading-coefficient hypotheses of the cited theorem; the explicit P2 in Eq. (20) is monic, and the parameter reductions used in the paper set the potentially complicated terms to zero, which is consistent with that requirement. Thus I do not see a reason to reject or condition acceptance.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper clarifies the relations among PT symmetry, pseudo-Hermiticity, and various forms of supersymmetry for one-dimensional differential operators. Its main results are: (i) a generic proof that any nonlinear pseudo-supersymmetric system, in the sense of Sinha and Roy [9], is automatically an N-fold supersymmetric system; (ii) an explicit construction showing that all models in [9] belong to type A 2-fold supersymmetry; and (iii) a theorem that any one-body quantum Hamiltonian admitting two local closed-form eigenfunctions is type A 2-fold supersymmetric, regardless of Hermiticity, PT symmetry, or pseudo-Hermiticity. The proof strategy is to use the equivalence between weak quasi-solvability and N-fold supersymmetry proved in Ref. [18], and to construct the relevant supercharges via the algorithm of Ref. [19]. The paper also discusses the distinction between local algebraic symmetries and global Hilbert-space notions such as Hermiticity.","tokens_in":9055,"tokens_out":9179,"duration_ms":92635,"significance":"If the claims hold, the paper settles a conceptual point of active interest: the recently proposed nonlinear pseudo-supersymmetric models of Sinha and Roy are not a genuine generalization of N-fold supersymmetry but a special case. The proof is structurally sound: the generic argument is a direct application of the published Aoyama–Sato–Tanaka equivalence theorem, and the explicit reductions to the three models of Ref. [9] are verified by concrete parameter choices. The additional theorem on two exact eigenfunctions is a clean and falsifiable classification result, and the observation that it covers higher-order Darboux constructions is valuable. The paper does not rely on circular reasoning: Refs. [18] and [19] are independent published results, not restatements of the target claim. The main weaknesses are presentation-related: the cited equivalence theorem is not stated with its hypotheses, and the displayed formulas in Eqs. (26)–(28) abbreviate terms proportional to b2.","major_comments":[],"minor_comments":[{"comment":"The generic proof invokes the equivalence theorem of Ref. [18] without stating its hypotheses; please state the theorem explicitly, including the conditions on A(N) (order, monicity, regularity of the coefficients) and on h0 and hN, and verify that the intertwiners of the Sinha–Roy models satisfy them.","section":"Section IV, Eq. (14)"},{"comment":"The terms denoted b2(· · · ) are not displayed, so the Hamiltonians and supercharge are not fully explicit; since all reductions to Ref. [9] are made with b2 = 0 the main conclusion is unaffected, but the omitted terms should be supplied for reproducibility and for any reader interested in the b2 ≠ 0 family.","section":"Section IV, Eqs. (26)–(28)"},{"comment":"The construction of z(x)=ψj/ψi and W(z) = −ln ψi requires ψi to be nonvanishing and z to be a local coordinate (dz/dx ≠ 0); these local assumptions should be stated explicitly, since the current wording \"local solutions\" is not fully unambiguous.","section":"Section V, Eqs. (33)–(34)"},{"comment":"The assertion that Darboux transformations of order N based on N eigenfunctions are more restrictive than N-fold supersymmetry for arbitrary N > 2 is stated without proof; either supply a brief argument or qualify it as a conjecture.","section":"Section V, final paragraph"}],"recommendation":"minor_revision","confidential_remarks":"I found no load-bearing technical error. The dependence on the authors' own earlier theorems is legitimate because those theorems are published independent results. The minor issues listed above are local and should be straightforward to address in a revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This one is worth reading if you follow the PT-symmetric / pseudo-Hermitian literature. The punchline: the paper proves, generically, that the \"nonlinear pseudo-supersymmetry\" introduced by Sinha and Roy is not a new framework. Any pair of operators satisfying their intertwining relations is automatically an N-fold supersymmetric pair, and all their explicit models are type A 2-fold supersymmetric. It then goes one step further: any one-body Hamiltonian that admits two local closed-form eigenfunctions, Hermitian or not, is type A 2-fold supersymmetric. That second statement is genuinely new and more general than the Sinha-Roy examples.\n\nWhat the paper does well: it sets up precise local definitions (formal Hermiticity, transposition, PT, pseudo-Hermiticity) and clarifies the hierarchy among them. The proof of the main theorem is a direct application of the published equivalence between weak quasi-solvability and N-fold supersymmetry (Aoyama–Sato–Tanaka), and the construction in Section V via the ratio z = psi_j/psi_i is clean and local. The reductions to the Sinha-Roy models are checked by explicit parameter choices against the published source, not by assertion. The discussion connecting higher-order Darboux transformations and N-fold supersymmetry is a useful bonus.\n\nSoft spots are minor. The explicit formulas in Eqs (26)-(28) contain abbreviated terms proportional to b2; the authors only say they are lengthy. Since the parameter reductions that reproduce Sinha-Roy set b2 = b0 = 0, the abbreviation does not affect the central correspondence, but a referee should ask for the full expressions or an explicit statement that they vanish in the relevant limits. The Section V argument assumes analytic eigenfunctions and a nonvanishing psi_i for the coordinate change, but the authors explicitly say \"local\" closed-form solutions and pass to a smaller domain, so this is standard and not a flaw. The self-citations to Refs [18],[19] are fine—those are independent published theorems, not restatements of the target claim.\n\nI found no load-bearing flaw. The stress-test worry about a mismatch between the transpose in N-fold SUSY and the pseudo-supersymmetry conjugation does not land: the intertwining relations plus uniqueness of the partner force the pair into the N-fold framework.\n\nWho is this for? Anyone working on quasi-exact solvability, higher-order SUSY, or PT-symmetric models. It corrects the literature and unifies frameworks. I'd send it to a serious referee.\n\nBest,","headline":"A clean, correct mathematical clarification showing Sinha-Roy's nonlinear pseudo-supersymmetric models are just type A 2-fold supersymmetric systems; the paper deserves a serious referee.","tokens_in":9533,"tokens_out":2115,"would_cite":true,"duration_ms":18505,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["03.65.Ge","02.30.Hq","11.30.Pb","11.30.Na"],"model":"deepseek-v4-flash","headline":"Nonlinear pseudo-supersymmetry is a special case of N-fold supersymmetry, and any Hamiltonian with two closed-form eigenfunctions is automatically type A 2-fold supersymmetric.","keywords":["N-fold supersymmetry","nonlinear pseudo-supersymmetry","PT symmetry","pseudo-Hermiticity","type A 2-fold supersymmetry","weak quasi-solvability","Darboux transformations","quasi-exact solvability"],"falsifier":"Exhibit a pair of one-body differential operators $h_0,h_N$ related by higher-order intertwining relations of the form (14), with finite-dimensional kernels, that is not equivalent to an N-fold supersymmetric pair under the cited theorem; such a counterexample would falsify the generic claim that nonlinear pseudo-supersymmetry implies N-fold supersymmetry.","tokens_in":8626,"feed_emoji":"🔗","tokens_out":10445,"duration_ms":88052,"temperature":0.7,"pith_summary":"This paper tries to establish that nonlinear pseudo-supersymmetry, a symmetry scheme recently proposed in Ref. [9], is not a new framework beyond N-fold supersymmetry but a special case of it. Concretely, it shows that every model put forward under that name is a type A 2-fold supersymmetric system, and that a much broader statement holds: any one-body quantum Hamiltonian admitting two local eigenfunctions in closed form is automatically type A 2-fold supersymmetric, with no assumption of Hermiticity, PT symmetry, or pseudo-Hermiticity required. If the claim is right, then the apparent novelty of nonlinear pseudo-supersymmetry dissolves into an existing classification, and the real distinction between these concepts is local algebraic content versus global Hilbert-space structure.","feed_headline":"Nonlinear pseudo-supersymmetry is N-fold supersymmetry in disguise","feed_subtitle":"Two closed-form eigenfunctions automatically give type A 2-fold supersymmetry, Hermiticity not needed.","key_machinery":"The load-bearing object is the two-dimensional invariant space $\\tilde V_2=\\mathrm{span}\\{1,z\\}$ together with the gauge factor $W(z)$. For a Hamiltonian with two exact eigenfunctions $\\psi_i,\\psi_j$, the ratio $z=\\psi_j/\\psi_i$ and $W=-\\ln\\psi_i$ turn the Hamiltonian into a second-order operator preserving $\\tilde V_2$; every such operator has the form (16) with $B$ quadratic and $C$ linear in $z$, and the construction yields the explicit type A 2-fold supercharge $P_2$ in (20) and partner Hamiltonians $H^\\pm$ in (19). Type A 2-fold supersymmetry means the supercharge is a monic second-order differential operator whose solvable sector is a gauge-transformed two-dimensional space; the equivalence theorem of Ref. [18] makes weak quasi-solvability of $\\tilde V_2$ imply the full N-fold superalgebra.","core_discovery":"The central claim is that the algebraic symmetry content of nonlinear pseudo-supersymmetry is exactly the content of N-fold supersymmetry. Given two exact analytic solutions $\\psi_i,\\psi_j$ of $H\\psi=\\lambda\\psi$, define $z=\\psi_j/\\psi_i$ and $W=-\\ln\\psi_i$. The gauge-transformed Hamiltonian $\\tilde H_-=e^{W}H e^{-W}$ preserves the two-dimensional space $\\tilde V_2=\\mathrm{span}\\{1,z\\}$, which is the defining property of weak quasi-solvability; by the previously proved equivalence between weak quasi-solvability and N-fold supersymmetry, $H$ carries a type A 2-fold supercharge, a second-order monic differential operator $P_2$ intertwining two partner Hamiltonians. The paper verifies explicitly that the three nonlinear pseudo-supersymmetric models of Ref. [9] are recovered from the type A formulas (19)-(20) by suitable parameter choices, and concludes that any Hamiltonian with two closed-form eigenfunctions---including all second-order Darboux-transformation models---belongs to type A 2-fold supersymmetry, irrespective of Hermiticity or PT symmetry.","pith_inferences":["If the generic claim holds, then the label 'pseudo' in this context describes extra global constraints such as Hilbert-space structure and reality of spectra, rather than a new local symmetry algebra; model-builders can transfer techniques freely between the two languages.","The construction gives a practical recipe for any quasi-solvable Hamiltonian: from two exact solutions one can read off $z$ and $W$ and immediately write down the 2-fold supercharge, so the paper supplies a direct translation algorithm from Darboux transformations to N-fold supersymmetry.","For $N>2$ the paper's observation that Darboux transformations based on $N$ eigenfunctions are more restrictive than N-fold supersymmetry points to a hierarchy worth checking: higher-order Darboux chains may realize only a subfamily of N-fold supersymmetric systems, which could be tested by enumerating invariant spaces of dimension $N$.","The local-versus-global distinction drawn here predicts that formally pseudo-Hermitian N-fold supersymmetric systems without dense bi-orthonormal eigenvector sets may fail spectral theorems; testing spectral reality on such systems would separate the algebraic claim from the global one."],"forward_implications":["Every nonlinear pseudo-supersymmetric model in Ref. [9] can be constructed as a type A 2-fold supersymmetric system by setting $b_2=b_0=0$ and choosing the remaining parameters as specified in the paper.","Any one-body Hamiltonian with two closed-form eigenfunctions is automatically type A 2-fold supersymmetric; Hermiticity, PT symmetry, and pseudo-Hermiticity play no role in the algebraic classification.","All second-order Darboux-transformation models built from two exact solutions, including those in Refs. [23]-[27], belong to type A 2-fold supersymmetry.","The relation between the two frameworks is one-way: nonlinear pseudo-supersymmetry is a subset of N-fold supersymmetry, not a generalization.","For the models of Ref. [9] the gauged Hamiltonian must be diagonal on the basis $\\{1,z\\}$, forcing $b_2=b_0=0$; this explains the parameter structure of those models."],"supporting_citations":[{"why":"Supplies the nonlinear pseudo-supersymmetric models that the paper reinterprets as type A 2-fold supersymmetric systems.","marker":"[9]"},{"why":"Provides the equivalence theorem between weak quasi-solvability and N-fold supersymmetry on which the generic proof relies.","marker":"[18]"},{"why":"Supplies the algorithm used to construct the explicit type A 2-fold supersymmetric systems from the invariant space.","marker":"[19]"},{"why":"Defines pseudo-Hermiticity, the concept whose relation to PT symmetry and to supersymmetry the paper clarifies.","marker":"[8]"},{"why":"Supplies transposition symmetry, used to define the N-fold supercharge $P_N^t$ and the partner Hamiltonians.","marker":"[10]"},{"why":"Identifies type A N-fold supersymmetry with $N=2$ as more general than sl(2) Lie-algebraic quasi-solvable models, sharpening the classification claim.","marker":"[22]"}],"fun_headline_variants":["Nonlinear pseudo-supersymmetry is type A 2-fold supersymmetry","Two exact eigenfunctions always yield type A 2-fold supersymmetry","Pseudo-supersymmetry is a special case of N-fold supersymmetry","Any two-solution Hamiltonian is 2-fold supersymmetric"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The central claim rests on the previously proved equivalence between weak quasi-solvability and N-fold supersymmetry, applied here to non-Hermitian complex-coefficient operators without re-derivation; the Section V construction also assumes the two eigenfunctions are analytic and the ratio of solutions is a valid coordinate, so the first eigenfunction must not vanish on the domain.","fun_headline_variants_meta":{"raw":{"variants":["Nonlinear pseudo-supersymmetry is type A 2-fold supersymmetry","Two exact eigenfunctions always yield type A 2-fold supersymmetry","Pseudo-supersymmetry is a special case of N-fold supersymmetry","Any two-solution Hamiltonian is 2-fold supersymmetric"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001317,"raw_usage":{"total_tokens":5351,"prompt_tokens":920,"completion_tokens":4431,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":536,"completion_tokens_details":{"reasoning_tokens":4349}},"tokens_in":536,"tokens_out":4431,"duration_ms":29802,"temperature":1.0,"reasoning_tokens":4349,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-28T20:06:21.275149+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a pair of one-body differential operators $h_0,h_N$ related by higher-order intertwining relations of the form (14), with finite-dimensional kernels, that is not equivalent to an N-fold supersymmetric pair under the cited theorem; such a counterexample would falsify the generic claim that nonlinear pseudo-supersymmetry implies N-fold supersymmetry.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the nonlinear pseudo-supersymmetric models that the paper reinterprets as type A 2-fold supersymmetric systems."},{"cited_title":"Mostafazadeh, Mod","cited_arxiv_id":null,"evidence_quote":"Provides the equivalence theorem between weak quasi-solvability and N-fold supersymmetry on which the generic proof relies."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines pseudo-Hermiticity, the concept whose relation to PT symmetry and to supersymmetry the paper clarifies."},{"cited_title":"N-fold Supersymmetry in Quantum Mechanics - General Formalism -","cited_arxiv_id":"quant-ph/0106037","evidence_quote":"Identifies type A N-fold supersymmetry with $N=2$ as more general than sl(2) Lie-algebraic quasi-solvable models, sharpening the classification claim."}],"review_version":1}