{"id":"7b1a6064-b729-4972-96e6-6449285afb73","arxiv_id":"2412.11157","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A nilpotent-group framework provides quasi-exactly solvable polynomial potentials of arbitrary degree, with explicit eigenfunctions and new octic and decatic examples.","lead":"This paper presents a unified algebraic method, based on nilpotent groups, that produces exact energy levels and wavefunctions for a family of polynomial quantum potentials. It yields new solvable cases for octic and decatic potentials and a general family of zero-energy solutions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the derivation is self-consistent and the scaling restriction is a scope limitation, not a correctness risk.","rationale":"The reader's weakest assumption identifies the restriction to potentials of the form V = X_N^2 + αX_{N−1} as load-bearing. I agree that this restriction defines the scope of the construction, but it does not threaten the central claim, which is conditional on exactly this Hamiltonian. The stress-test pass verified the main algebraic chain: Eq. (16) is the correct Riccati-type equation obtained from the ansatz; Eq. (10) correctly expresses X_N and X_{N−1} in terms of X_2 and Casimirs; Eq. (19) follows by coefficient matching; Eq. (22) fixes α consistently; and the examples for sextic and decatic potentials reproduce the general recursion when denominators are cleared. The octic symmetrized case also satisfies the continuity conditions at x=0. No claim of completeness for all polynomial potentials is made in the abstract, so the scaling argument is motivation, not a proof that other forms cannot be quasi-exactly solvable. The paper honestly notes where conditions are only sufficient (e.g., C3=0 for M>3 in the sextic case) and where single solutions exist outside invariant subspaces. Thus the accepted verdict remains appropriate.","tokens_in":26257,"tokens_out":38332,"duration_ms":295061,"concrete_test":"Use a computer algebra system to re-expand Eq. (16) with the Casimir decomposition (10), verify that the coefficient equation (19) is reproduced exactly, and then instantiate N=4, M=2, α=−7/3, C3=0 to confirm that the energies (42) and eigenfunctions (43) satisfy the original Schrödinger equation to machine precision for a random allowed choice of β1, β2, β4.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I searched for a genuine flaw in the central algebraization and did not find one. Eq. (19) follows from Eq. (16) together with the Casimir decomposition (10) without an unjustified step; the index ranges, the fixing of α via Eq. (22), and the N=4/N=6 recursion relations (33)/(80) are consistent with the general system after clearing denominators. The ansatz p = Σ a_m X_2^m exp(−∫X_N) is restrictive, and the scaling argument in Sec. 3 only motivates the potential form V = X_N^2 + αX_{N−1}; however, the paper's central claim is explicitly conditional on this Hamiltonian, so this is a scope boundary rather than a load-bearing weakness. The (N−3) Casimir constraints are not proven to be solvable for all N and M, but the paper claims only that if they hold a solution exists, and it supplies explicit constraints for N=4,5,6 and for the E=0 family. No circularity or internal inconsistency surfaced.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies one-dimensional Schrödinger operators of the form H_N = X_0^2 + X_N^2 + α X_{N-1}, where X_0, ..., X_N are generators of an irreducible representation of an (N+1)-parameter nilpotent group G_N that generalizes the Heisenberg group. The authors insert the ansatz ψ = p(X_2) exp(−∫ X_N dx) with p a polynomial of degree M and derive the overdetermined linear recursion (19) for the polynomial coefficients. They show that a nontrivial solution requires α = −1 − 2M/(N−1), and that the remaining consistency conditions determine the energy and impose (N−3) constraints on the Casimir invariants, leaving a three-parameter family of quasi-exactly solvable polynomial potentials of degree 2N−2. The formalism is applied to sextic (N=4), symmetrized octic (N=5), and decatic (N=6) potentials, with comparisons to known results, and an infinite family of E=0 solutions V_{N,M}(x) = x^{2N−2} − (2M+N−1)|x|^{N−2} is derived for M = kN, kN+1. A reducible representation is used to relate the problem to a charged particle in perpendicular polynomial electric and magnetic fields.","tokens_in":26489,"tokens_out":16808,"duration_ms":142045,"significance":"If correct, the paper provides a unified algebraic treatment of a broad class of quasi-exactly solvable polynomial potentials, reproducing and extending known sextic and decatic results, and giving new symmetrized octic potentials and an infinite zero-energy family. The central derivation is explicit and checkable: Eq. (19) follows from the ansatz and the Casimir decomposition (10), and the specializations for N=4,5,6 are carried out with explicit energies and eigenfunctions. The paper is honest about its scope: the Hamiltonian form (13) is motivated by a scaling argument rather than derived from completeness, and the general-N statement is conditional on the existence of solutions to the stated Casimir constraints. These limitations are stated in the text rather than hidden, which is a strength of the presentation.","major_comments":[],"minor_comments":[{"comment":"In the paragraph after Eq. (5), the phrase \"a whole chain of of nilpotent subgroups\" contains a duplicated \"of\" and should be corrected.","section":"Section 2"},{"comment":"In the M=4 paragraph, the sentence \"the eigenenergies E of the the ground state, the second and the fourth excited states\" contains a duplicated \"the\" and should be corrected.","section":"Section 4.1"},{"comment":"The word \"Hamitonian\" appears in the sentence introducing Eq. (104); this should read \"Hamiltonian\".","section":"Section 5"},{"comment":"Several figure captions contain the typo \"For better visability\"; this should be \"visibility\".","section":"Figures 1–8"},{"comment":"The discussion after Eq. (19) states that the remaining (N−3) equations fix Casimirs and one equation fixes the energy; this assumes generic independence of those equations. Since no general proof of solvability of the resulting polynomial constraints is given, it would be helpful to state explicitly that the general result is conditional on the existence of solutions to these constraints, as is already implied by the examples.","section":"Section 3.2"},{"comment":"Division by C_1^{N−3} requires C_1 ≠ 0; this is consistent with the normalizability assumption β_1 > 0 stated near Eq. (15), but the condition could be repeated at the point of division for clarity.","section":"Section 3.2, Eq. (18)"}],"recommendation":"accept","confidential_remarks":"The paper is a careful and self-contained extension of the authors' earlier quartic-group work. No load-bearing technical error surfaced in the derivation of the general recursion or in the N=4,5,6 specializations. The novelty is incremental rather than revolutionary, but the unified treatment and the explicit E=0 family are solid contributions appropriate for this journal. The minor presentation issues can be addressed at the proof stage."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a serious, self-contained algebraization paper, and I did not find a load-bearing flaw in the central construction. The new objects are the general nilpotent group G_N, the general linear system (19) for the coefficients of the polynomial ansatz, the symmetrized octic potentials for N=5, and the E=0 family V_{N,M}(x)=x^{2N-2}-(2M+N-1)|x|^{N-2} for M=kN, kN+1. The unification of harmonic, sextic, decatic, and now octic cases through one group-theoretic scheme is real. The authors are also honest about overlap: they reproduce the known sextic and decatic results in the right limits, note where their symmetrized sextic class differs from Quesne's Bethe-ansatz class, and flag where they only cover a subset of Brandon–Saad's decatic potentials. That level of care in the literature comparison is rare and is a genuine strength.\n\nThe derivation is sound as far as I checked. Eq. (19) follows from inserting the ansatz into the gauge-transformed equation; α is fixed from the highest-m equation, and the Casimir constraints come from the remaining overdetermined equations. Recursions for N=4 and N=6 are consistent with the general system. For M=0,1,2,3 sextic and the octic/decatic examples, the listed conditions are exactly what is needed. I would not call the scaling argument in Sec. 3 weak enough to matter: it motivates the potential form V_N=X_N^2+αX_{N-1}, and the central claim is explicitly conditional on that Hamiltonian. It is a scope statement, not an unproven theorem about all QES polynomial potentials.\n\nSoft spots are minor. The paper does not prove that the (N−3) Casimir constraints are solvable for all N and M; it gives explicit constraints for N=4,5,6 and for the E=0 family. That is consistent with what it claims. Some algebraic steps are skipped, especially the continuity conditions (31)–(32), but they are direct to verify. No code is provided, but the examples are explicit enough to check by hand. The physical application in Sec. 5 is a short sketch, not a worked model; it is fine as an outlook. The only citation to their own prior work is the quartic group paper, which is the direct predecessor and appropriate.\n\nWho is this for? Anyone working on quasi-exactly solvable polynomial potentials or Lie-algebraic methods in 1D quantum mechanics. It deserves serious refereeing; I would send it to review. I would cite it if I worked in that area.","headline":"A solid and honest unified algebraization of quasi-exactly solvable polynomial potentials; no load-bearing flaw, with new octic and E=0 results.","tokens_in":26963,"tokens_out":3616,"would_cite":true,"duration_ms":30485,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Polynomial potentials of degree $2N-2$ are partly solvable when the Hamiltonian is built from generators of a nilpotent group $\\mathcal{G}_N$, with eigenfunctions given by a polynomial in $X_2$ times $\\exp(-\\int X_N\\,dx)$ and with…","keywords":["quasi-exactly solvable","polynomial potentials","nilpotent groups","sextic oscillator","octic oscillator","decatic oscillator","Casimir invariants","Schrödinger equation"],"falsifier":"For a fixed $N$ and $M$, for example $N=4$ and $M=4$ with $\\beta_1=6$, $\\beta_2=2$, $\\beta_3=-0.2$, and $\\beta_4=\\beta_2\\beta_3/\\beta_1-\\beta_3^2/(3\\beta_1^2)$ so that $C_3=0$, solve the cubic (47) for the three energies and construct the three wave functions from (48); if any of these pairs fails to satisfy the original differential equation $H\\psi=E\\psi$ on a fine grid of $x$ values, the claimed solvability criterion is wrong.","tokens_in":26081,"feed_emoji":"⚛️","tokens_out":8693,"duration_ms":69318,"temperature":0.7,"pith_summary":"The paper claims that a broad class of one-dimensional polynomial Schrödinger operators of degree $2N-2$ is quasi-exactly solvable through a single algebraic scheme. The Hamiltonians are written as $H_N=X_0^2+X_N^2+\\alpha X_{N-1}$, where the $X_i$ are generators of an irreducible representation of a nilpotent group $\\mathcal{G}_N$ that generalizes the Heisenberg group. For eigenfunctions of the form $\\psi(x)=p(x)\\exp(-\\int dx\\,X_N)$ with $p$ a polynomial of degree $M$ in $X_2$, the paper derives an overdetermined coefficient system and shows that it has nontrivial solutions when $\\alpha=-1-2M/(N-1)$ and $(N-3)$ Casimir invariants satisfy constraints. Explicit energies and eigenfunctions follow for sextic, octic, and decatic potentials, and the harmonic oscillator emerges as the $N=2$ case. The value is that quasi-exact solvability is thereby shown to be available beyond the usual $\\mathrm{sl}(2,\\mathbb{R})$ algebraization.","feed_headline":"Nilpotent groups solve sextic, octic, and decatic potentials","feed_subtitle":"One polynomial ansatz plus a recursion gives exact eigenvalues and eigenfunctions for a three-parameter family.","key_machinery":"The carrying object is the $(N+1)$-parameter nilpotent group $\\mathcal{G}_N$ with elements $(a,b_1,\\dots,b_N)$ and the multiplication (4). Its irreducible representations on $L^2(\\mathbb{R})$ give generators $X_0=i\\partial_x$ and $X_k=\\beta_k+\\beta_{k-1}x+\\cdots+\\beta_1 x^{k-1}/(k-1)!$, with $[X_0,X_n]=iX_{n-1}$. The Casimir invariants $C_k$ are the polynomials of the $\\beta$s in (9), and the key identity (10) expresses every $X_k$ with $k\\ge 3$ as a polynomial in $X_2$ with coefficients built from the Casimirs. This identity is what closes the polynomial ansatz. A scaling argument then restricts the potential to $V_N=X_N^2+\\alpha X_{N-1}$, the combinations that scale like the kinetic term $X_0^2$, and the resulting coefficient recursion (19) is the overdetermined system that fixes $\\alpha$, the energy, and the allowed Casimir values.","core_discovery":"The central discovery is that the eigenvalue problem for $H_N=X_0^2+X_N^2+\\alpha X_{N-1}$ is algebraized by the ansatz $\\psi=p(X_2)\\exp(-\\int dx\\,X_N)$. Inserting this ansatz into the Schrödinger equation and expressing $X_N$ and $X_{N-1}$ through the Casimir invariants converts the problem into the linear recursion (19) for the coefficients $a_m$. The highest-degree equation fixes $\\alpha=-1-2M/(N-1)$; $M$ of the remaining equations determine $a_0,\\dots,a_{M-1}$ recursively, while the extra equations determine the energy and impose $(N-3)$ constraints on the Casimirs. Consequently a three-parameter family of potential parameters is quasi-exactly solvable for even $N\\ge 2$, and a two-parameter family after symmetrization for odd $N\\ge 3$. The paper gives explicit closed-form energies and eigenfunctions for sextic, symmetrized octic, and decatic potentials, and a general set of $E=0$ solutions with $M=kN$ or $kN+1$.","pith_inferences":["A natural extension not pursued in the paper is to read the allowed $M$ values as a spectral-flow pattern: as $M$ runs through $kN$ and $kN+1$, successive excited levels cross $E=0$ in the deepening double well, so the exact solutions could be used to track level order and node counts for arbitrary $N$.","The reducible-representation construction implies that the same nilpotent-group algebraization solves charged-particle motion in crossed polynomial electric and magnetic fields; the paper sketches this one-way relation, and a testable next step is to check completeness of the direct-integral decomposition for $N>2$.","The $C_3\\neq 0$ sextic examples indicate the method produces eigenfunctions that are not contained in finite-dimensional invariant subspaces, so the notion of quasi-exact solvability here is broader than $\\mathrm{sl}(2,\\mathbb{R})$ invariant-subspace solvability; this points to searching other conditionally solvable potentials for hidden nilpotent structure."],"forward_implications":["The $N=2$ specialization reproduces the full harmonic-oscillator spectrum, with the polynomial $p(X_2)$ becoming the shifted Hermite polynomial.","For sextic potentials ($N=4$), the condition $C_3=0$ guarantees solvability for every polynomial degree $M$, with single closed-form eigenvalues for $M=0,\\dots,3$ and cubic equations for the energies when $M=4,5$.","Symmetrized octic potentials ($N=5$) admit explicit parity-even and parity-odd eigenfunctions, which the paper presents as absent from the existing literature.","Decatic potentials ($N=6$) yield explicit energies and eigenfunctions for $M=0,\\dots,5$; with $C_3=C_5=0$ the recursion reduces to a four-term relation solvable for arbitrary $M$.","For $E=0$, the potentials $V_{N,M}(x)=x^{2N-2}-(2M+N-1)|x|^{N-2}$ have normalizable zero-energy eigenfunctions whenever $M=kN$ or $kN+1$, with coefficients from the two-term recursion (96)."],"supporting_citations":[{"why":"introduces the quartic group $\\mathcal{G}_3$ whose generalization to $\\mathcal{G}_N$ is the present construction.","marker":"[18]"},{"why":"establishes the original quasi-exactly solvable sextic potential that the paper's sextic results extend and compare against.","marker":"[1]"},{"why":"supplies the comprehensive $\\mathrm{sl}(2,\\mathbb{R})$ algebraization framework and the comparison class for quasi-exactly solvable sextic oscillators.","marker":"[5]"},{"why":"gives the Bethe-ansatz symmetrized quartic and sextic oscillators with which the paper's symmetrized results overlap and differ.","marker":"[17]"},{"why":"provides the decatic-potential quasi-exact solutions that the paper's decatic examples extend.","marker":"[14]"},{"why":"gives earlier even-power polynomial-potential results that the uniform $N$ treatment generalizes.","marker":"[7]"},{"why":"supplies the Sturm-Liouville self-adjointness result used to place symmetrized eigenfunctions in the domain of the Hamiltonian.","marker":"[23]"}],"fun_headline_variants":["Nilpotent groups tame polynomial potentials","Exact solutions for sextic, octic, and decatic","Group algebra unlocks polynomial eigenvalue problems","Quasi-exactly solvable potentials via nilpotent groups","Recursion solves polynomial quantum potentials"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction is confined to potentials of the exact form $V_N=X_N^2+\\alpha X_{N-1}$; the scaling argument shows that these are the combinations that scale like the kinetic term $X_0^2$, but it does not show that every quasi-exactly solvable polynomial potential must have this form.","fun_headline_variants_meta":{"raw":{"variants":["Nilpotent groups tame polynomial potentials","Exact solutions for sextic, octic, and decatic","Group algebra unlocks polynomial eigenvalue problems","Quasi-exactly solvable potentials via nilpotent groups","Recursion solves polynomial quantum potentials"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000289,"raw_usage":{"total_tokens":1759,"prompt_tokens":1078,"completion_tokens":681,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":694,"completion_tokens_details":{"reasoning_tokens":611}},"tokens_in":694,"tokens_out":681,"duration_ms":5624,"temperature":1.0,"reasoning_tokens":611,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:15:29.050231+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a fixed $N$ and $M$, for example $N=4$ and $M=4$ with $\\beta_1=6$, $\\beta_2=2$, $\\beta_3=-0.2$, and $\\beta_4=\\beta_2\\beta_3/\\beta_1-\\beta_3^2/(3\\beta_1^2)$ so that $C_3=0$, solve the cubic (47) for the three energies and construct the three wave functions from (48); if any of these pairs fails to satisfy the original differential equation $H\\psi=E\\psi$ on a fine grid of $x$ values, the claimed solvability criterion is wrong.","supporting_citations":[{"cited_title":"Polynomial Solutions of Generalized Quartic Anharmonic Oscillators","cited_arxiv_id":"2007.11326","evidence_quote":"introduces the quartic group $\\mathcal{G}_3$ whose generalization to $\\mathcal{G}_N$ is the present construction."},{"cited_title":"Turbiner, A","cited_arxiv_id":null,"evidence_quote":"establishes the original quasi-exactly solvable sextic potential that the paper's sextic results extend and compare against."},{"cited_title":"Quesne, Quasi-exactly solvable symmetrized quartic and sextic poly- nomial oscillators, Eur","cited_arxiv_id":null,"evidence_quote":"gives the Bethe-ansatz symmetrized quartic and sextic oscillators with which the paper's symmetrized results overlap and differ."},{"cited_title":"Brandon, N","cited_arxiv_id":null,"evidence_quote":"provides the decatic-potential quasi-exact solutions that the paper's decatic examples extend."},{"cited_title":"Gesztesy, R","cited_arxiv_id":null,"evidence_quote":"supplies the Sturm-Liouville self-adjointness result used to place symmetrized eigenfunctions in the domain of the Hamiltonian."}],"review_version":1}