REVIEW 3 major objections 5 minor 16 references
Supersymmetric Biorthogonal Quantum Systems
T0 review · 3 major / 5 minor · reviewed 2026-08-28 · deepseek-v4-flash
Pith's one-line read Two recursion rules solve a class of PT-symmetric supersymmetric quantum pairs, giving exact eigenfunctions and dual polynomials that form a complete biorthonormal system.
desk verdict A genuinely useful, honest paper that builds exact biorthogonal systems for SUSY partner Hamiltonians; the algebraic core is sound, but the completeness and spectral-exhaustion claims are imported from the companion paper and rest on unproved convergence. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the biorthonormal pair $(\chi^{\pm}_n, \psi^{\pm}_n)$ built from two recursion relations: (14) determines the polynomial coefficients $c^{\pm}_{n,j}$ using the strictly positive determinant $j(2n-j)$, and (20) determines the analytic coefficients $a^{\pm}_{n,j}$ by triangular inversion. These relations encode the completeness kernel $\sum_n \chi^{\pm}_n(w)\psi^{\pm}_n(z) = 1/(1 - z/w)$ and produce explicit eigenfunctions for both partner Hamiltonians, including singular-potential cases.
What would settle it
Choose $U(z)$ with $\upsilon_k = 1/k$ for all $k\geq 1$ and compute the coefficients $a^{\pm}_{0,j}$ from (20) for $n=0$. If the resulting series $\psi^{\pm}_0(z)$ has radius of convergence zero, the eigenfunctions are not analytic about the origin and the claimed completeness fails; if it converges, the claim survives this test. Similarly, for a finite polynomial $U$, verify numerically that $z^m$ for $m=0,\ldots,M$ is reproduced to working precision by the truncated sum $\sum_{n=0}^N \chi^{\pm}_n(w)\psi^{\pm}_n(z)$ uniformly on a small contour around $z=0$.
Extended reading notes
Core claim
For any prescribed superpotential $U(z)$ analytic about $z=0$ with $U(0)=0$, the Hamiltonians $H_{\pm} = (z\,d/dz)^2 - U(z)^2 \pm z\,dU/dz$ are shown to have eigenfunctions $\psi^{\pm}_n(z) = z^n(1 + a^{\pm}_{n,1}z + \cdots)$ with eigenvalues $n^2$, and dual polynomials $\chi^{\pm}_n(z) = z^{-n}(1 + c^{\pm}_{n,1}z + \cdots + c^{\pm}_{n,n}z^n)$ that satisfy the inhomogeneous equations $(z\,d/dz \pm U)\chi^{\pm}_n + n\chi^{\mp}_n = \Lambda^{\pm}_n(z)$. The coefficients are fixed by linear recursions (14) and (20), and the eigenfunctions and duals satisfy the biorthonormality and completeness relations (10). The paper claims these $\psi^{\pm}_n$ are all of the eigenfunctions of $H_{\pm}$ that are $2\pi$-periodic in $x$ when $z = m e^{ix}$, making the construction complete on the periodic sector.
Load-bearing premise
The construction stands on the assertion that the infinite series defining $\psi^{\pm}_n$ converge near $z=0$ and that these functions are complete on the space of functions analytic about the origin; if for some $U$ the series diverge or miss eigenfunctions, the claimed completeness and spectral exhaustion fail.
Editorial extensions
If this is right
- For any $U(z)$ with convergent series, one obtains exact energy eigenfunctions for both partner Hamiltonians $H_{\pm}$ with eigenvalues $n^2$, together with explicit dual polynomials that solve inhomogeneous equations.
- The dual polynomials are not PT or complex conjugates of the eigenfunctions; they are genuinely new associated functions, which is essential at spectral singularities.
- For the complex Morse example $U=\mu z$, the eigenfunctions are modified Bessel functions and the dual polynomials take simple closed forms.
- For the singular $U=z/(1-z)$, the dual polynomials' inhomogeneities are concentrated at the singularity $z=1$, with coefficients $\chi^{\pm}_n(1)$.
- Nonzero vector potential $\nu$ shifts eigenvalues to $(n+\nu)^2$, and the partition function is discontinuous at $\nu=0$, which the authors interpret as a possible phase transition for bulk systems.
- These explicit systems provide a testbed for studying how biorthogonal completions behave when a non-Hermitian Hamiltonian is at a spectral singularity.
Reading between the lines
- A clean convergence criterion for the $\psi^{\pm}_n$ series in terms of the decay of $\upsilon_k$ would turn the paper's conditional completeness statement into a theorem; a natural conjecture is that sufficiently fast decay (e.g., finite support or geometric decay) guarantees analyticity and completeness.
- The same recursion machinery could be applied to quasi-exactly solvable sectors where only finitely many $\psi^{\pm}_n$ converge, yielding exact finite-dimensional invariant subspaces.
- The non-analytic partition function at $\nu=0$ could be probed numerically in a truncated lattice approximation, watching how the limit $\nu\to 0$ depends on the truncation, to test whether the discontinuity survives as a genuine spectral transition.
- Since the construction is entirely algebraic once $U$ is fixed, it could be extended to matrix-valued superpotentials $U(z)$ with noncommuting coefficients, provided the recursion determinants remain invertible.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a formalism for supersymmetric biorthogonal quantum systems built from factorized Hamiltonians H± = (z d/dz ± U(z))^2 with U(z) = Σ_{k>0} υ_k z^k analytic near z = 0. For the ν = 0 case, it constructs dual polynomials χ±_n(z) and energy eigenfunctions ψ±_n(z) through explicit recursion relations and determinant formulas, and claims the biorthonormality and completeness relations (10). It further claims that the ψ±_n exhaust all 2π-periodic eigenfunctions of H±. The formalism is illustrated with two worked examples: the complex Morse potential U(z) = μz, for which eigenfunctions are expressed through Bessel functions, and the singular superpotential U(z) = z/(1−z), for which eigenfunctions are hypergeometric functions and the dual polynomials are given explicitly. The paper also extends the construction to ν ≠ 0, interprets ν as a magnetic vector potential, and notes a discontinuity in the partition function at ν = 0 that is suggested to indicate a phase transition.
Significance. If the completeness and spectral-exhaustion claims are valid, the paper provides a useful, exactly solvable class of non-Hermitian supersymmetric quantum systems with explicit biorthogonal systems, extending the earlier work [7] to the supersymmetric setting. The explicit recursion relations (14), (20), and (90), the determinant formulas (22) and (24), and the closed-form examples are concrete and verifiable; the contour-integral orthogonality checks in Eqs. (25)–(27) are a genuine strength. However, the central analytical gap is the convergence of the infinite series defining ψ±_n and the completeness of the family {ψ±_n} on functions analytic near z = 0; this gap is acknowledged in the text and is load-bearing for the general claims. The paper is therefore best read as a constructive development with strong examples, rather than a complete proof of the general spectral statements.
major comments (3)
- [Section 2, Eqs. (19)–(29)] The convergence of the series ψ±_n(z) = z^n Σ_j a±_{n,j} z^j is not established for general U. The text itself concedes before Eq. (28) that convergence "is certainly not obvious for arbitrary υs" and must be checked case by case. Footnote 2 asserts that z = 0 is a regular singular point and that (22) is the conventional Frobenius series, but no proof of this identification is given. Even if each ψ±_n converges in a neighborhood of 0, the completeness expansion (29) requires that {ψ±_n} be a basis of the space of functions analytic near 0; this is a substantially stronger statement and is not proved. This gap is load-bearing because the eigenvalue equation (7), the biorthonormality relations (10), and the derivation of (6) from (29) all depend on these series and on the interchange of infinite sums.
- [Section 2, paragraph beginning 'Remarkably, the non-degenerate energy eigenfunctions...'] The assertion that the constructed ψ±_n are all of the 2π-periodic eigenfunctions of H± is imported from the authors' earlier paper [7] and is not proved in this manuscript. For non-self-adjoint operators, spectral exhaustiveness is a separate statement from the algebraic biorthonormality relations (10); it cannot be inferred from the formal completeness identity alone. The manuscript should either provide a proof of this spectral statement under explicitly stated hypotheses, or clearly mark it as an assumption carried over from [7] with the precise conditions under which it holds.
- [Section 2, Eq. (28)] The completeness identity (28) is presented as following from the triangular relations (20), but it involves double infinite sums over n and l with no argument for absolute convergence or interchange of limits. Without such an argument, the cancellation of terms of the form z^k w^{-l} for k ≠ l does not rigorously establish the completeness relation in (10). This is closely related to the convergence issue raised above, but deserves separate attention because even if each individual series ψ±_n converges, the sum over n in (28) and (29) needs a uniform or normal convergence argument.
minor comments (5)
- [Section 2, general] The paper would benefit from a precise statement of the function space in which completeness is claimed (e.g., functions analytic in a disk around z = 0) and of the hypotheses on the coefficients υ_k (e.g., absolute summability) under which the general construction is intended to hold.
- [Section 4, Eqs. (44)–(49)] The formulas for the inhomogeneity coefficients λ±_n and the action of (H± − n²) on χ±_n involve phases such as (−1)^{⌊n/2⌋} and (−1)^{n+1}; these are asserted without derivation, and a short verification or a reference to the corresponding computation would improve readability.
- [Section 4, Eqs. (84) and (102)–(105)] The biorthonormality statement is given for −1/2 < ν < 1/2, while the partition function computation sums over all n ∈ Z. The consistency between these two ranges and the meaning of the trace for a non-self-adjoint Hamiltonian should be clarified.
- [Throughout] The reliance on the companion paper [7] for key spectral statements is not flagged in the abstract or introduction; the reader first encounters it in Section 2. A sentence in the introduction stating which results are proved here and which are taken from [7] would make the paper's contribution clearer.
- [Section 3, after Eq. (49)] There is a typographical artifact "gz→ 0" in the sentence "dictated by χ±_n(z) gz→ 0 ...", which should read "as z → 0".
Circularity Check
No significant circularity; the algebraic recurrences and examples are self-contained, while periodic-sector exhaustiveness is inherited from the authors' prior work and convergence is explicitly left case-by-case.
full rationale
The core construction is not circular. The dual polynomials χ±_n are fixed by the triangular recursion (14) from U(z), and the eigenfunctions ψ±_n are defined either to satisfy the first-order equations (6) or via the correlated determinant series (22) obtained from the triangular biorthonormalization conditions (20). The biorthonormality relations (10) are then verified by direct determinant cancellations in (25)-(27), and the completeness identity follows from the coefficient identity (28), which is itself a consequence of the same triangular equations. The eigenvalue statement (7) follows immediately from (6) when ψ is so defined; the later derivation via (29) uses completeness that the paper explicitly makes conditional on convergence, conceding at the paragraph before Eq. (29) that 'convergence of this series, as written, is certainly not obvious for arbitrary υs'. This is an admitted gap in the formal argument, not a circular step, and for the worked examples (U=z and U=z/(1-z)) explicit convergent Bessel and hypergeometric forms are supplied. The only self-citation of note is the claim that the ψ±_n exhaust all 2π-periodic eigenfunctions of H±, stated in the paragraph beginning 'Remarkably, the non-degenerate energy eigenfunctions...' and attributed to the authors' earlier paper [7] without proof here. That is a real external reliance and an omitted proof for the periodic-sector completeness assertion, but it does not make the explicit recurrences, biorthonormality identities, or example solutions circular, and no fitted parameter is renamed as a prediction. Hence a low score of 2.
Assumptions & free parameters
assumptions (5)
- domain assumption U(z)=∑_{k>0}υ_k z^k is analytic about z=0, and for the spectrum claim ∑_{k>0}|υ_k| is finite.
- domain assumption The physical variable is restricted to 2π-periodic functions of x with z=me^{ix}.
- domain assumption The series ψ±_n(z) converge near z=0 and the set {ψ±_n} is complete on functions analytic about the origin.
- domain assumption The assertion that {ψ±_n} exhaust all 2π-periodic eigenfunctions of H± is taken from the authors' earlier paper [7].
- domain assumption For the ν≠0 biorthonormality relations, ν is restricted to -1/2<ν<1/2.
Cite this review
Pith. "Pith review of Supersymmetric Biorthogonal Quantum Systems." pith.science (2026). https://pith.science/paper/X2PTPNA4
@misc{pith2026quant-ph0603170,
author = {Pith},
title = {Pith review of: Supersymmetric Biorthogonal Quantum Systems},
year = {2026},
howpublished = {\url{https://pith.science/paper/X2PTPNA4}},
note = {Machine review of arXiv:quant-ph/0603170}
}
read the original abstract
We discuss supersymmetric biorthogonal systems, with emphasis given to the periodic solutions that occur at spectral singularities of PT symmetric models. For these periodic solutions, the dual functions are associated polynomials that obey inhomogeneous equations. We construct in detail some explicit examples for the supersymmetric pairs of potentials V_{+/-}(z) = -U(z)^2 +/- z(d/(dz))U(z) where U(z) = \sum_{k>0}u_{k}z^{k}. In particular, we consider the cases generated by U(z) = z and z/(1-z). We also briefly consider the effects of magnetic vector potentials on the partition functions of these systems.
Reference graph
Works this paper leans on
-
[7]
T Curtright and L Mezincescu “Biorthogonal Quantum Systems” to appear in J. Math. Phys. 2007 [quant-ph/0507015]
work page Pith review arXiv 2007
-
[5]
On the eigenproblems of PT-symmetric oscillators
B. Birnir, Comm. Pure Appl. Math. 39 (1986) 1–49. P Deift, unpublished (ca. 1985). M G Gasymov, Funct. Anal. Appl. 14 (1980) 11–15. D C McGarvey, J. Math. Anal. Appl. 4 (1962) 366-410; 11 (1965) 564-569; 12 (1963) 187-234. L A Pastur and V.A. Tkachenko, Funct. Anal. Appl. 22 (1988) 156–1 58. F S Rofe-Beketov, Soviet Math. Dokl. 4 (1963) 1563–1566. K C Shi...
work page Pith review arXiv 1986
-
[1]
Introduction to PT-Symmetric Quantum Theory
C Bender, “Introduction to PT-Symmetric Quantum Theory” Co ntemp. Phys. 46 (2005) 277-292 [quant-ph/0501052]. This review provides a guide to the PT literatur e with emphasis on the con- tributions of the author and his collaborators
work page Pith review arXiv 2005
-
[2]
M Akta¸ s and R Sever, “Supersymmetric Solution of PT-/Non-PT -Symmetric and Non-Hermitian Morse Potential via Hamiltonian Hierarchy Method” Mod. Phys. Lett . A19 (2004) 2871-2877 [hep-th/0404213]. B Bagchi and C Quesne, “PT-symmetric non-polynomial oscillators a nd hyperbolic potential with two known real eigenvalues in a SUSY framework” Mod. Phys. Lett....
work page Pith review arXiv 2004
-
[3]
Pseudo-Hermitian Description of PT-Symmetric Systems Defined on a Complex Contour
A Mostafazadeh, J. Math. Phys. 43 (2002) 205-214; J. Phys. A: Math. Gen. 38 (2005) 3213-3234 [quant-ph/0410012]. A Mostafazadeh and A Batal, J. Phys. A: Math. Gen. 37 (2004) 11645-11680 [quant-ph/0408132]. M Znojil, Phys. At. Nucl. 65 (2002) 1149-1151; “New types of solvability in PT symmetric quantu m theory” [math-ph/0501058]
work page Pith review arXiv 2002
-
[4]
Biorthogonal systems and bases in Hilbert space
S Banach, Theory of Linear Operations , North-Holland, 1987 (reprint of the 1932 Warsaw edition). N K Bari, “Biorthogonal systems and bases in Hilbert space” Moskov . Gos. Univ. Uˇ cen. Zap. 148, Matematika 4 (1951), 69-107. I T Gohberg and M G Krein, Introduction to the Theory of Linear Nonselfadjoint Operat ors, Providence, R.I., American Mathematical S...
work page 1951
-
[6]
A Mostafazadeh, “Pseudo-Hermiticity versus PT Symmetry: Th e necessary condition for the reality of the spectrum of a non-Hermitian Hamiltonian” J. Math. Phys. 43 (2002) 205-214 [math-ph/0107001]
work page Pith review arXiv 2002
-
[8]
Weak-coupling analysis of the supe rsymmetric Liouville theory
T Curtright and G Ghandour, “Weak-coupling analysis of the supe rsymmetric Liouville theory” Phys. Lett. B136 (1984) 50-54
work page 1984
Show all 16 references
-
[9]
P Di Francesco, P Mathieu, and D Senechal, Conformal Field Theory , Springer, 1997
1997
-
[10]
Polyakov’s Str ing: Twenty Five Years After,
A Polyakov, Phys. Lett. B103 (1981) 207-210; ibid 211-213; V Pokrovsky, A Belavin, Al Zamolodchikov, and Y Ishimoto, Proceedings of the International Workshop “Polyakov’s Str ing: Twenty Five Years After,” Chernogolovka, June 23–25, 2005. Edited by A Belavin and Al Zamolo dchi...
1981 arXiv
-
[11]
Liouville Field Theory – A decade after the revolutio n
Y Nakayama, “Liouville Field Theory – A decade after the revolutio n” Int. J. Mod. Phys. A19 (2004) 2771-2930 [hep-th/0402009]
2004 arXiv
-
[12]
Three-point correlation funct ions in N=1 Super Liouville Theory
R C Rashkov and M Stanishkov, “Three-point correlation funct ions in N=1 Super Liouville Theory” Phys. Lett. B380 (1996) 49-58 [hep-th/9602148]; R.Poghossian, “Structure Cons tants in the N=1 Super-Liouville Field Theory” Nucl. Phys. B496 (1997) 451-464 [hep-th/9607120]
1996 arXiv
-
[13]
H Dorn and H J Otto, Nucl. Phys. B429 (1994) 375 [hep-th/9403141]; A B Zamolodchikov and A B Zamolodchikov, Nucl. Phys. B477 (1996) 577 [hepth/9506136]
1994 arXiv
-
[14]
H+3 correlators from Liouville theory
S Ribault and J Teschner, “H+3 correlators from Liouville theory ” JHEP 0506 (2005) 014 [hep-th/0502048]; G Giribet and Y Nakayama, “The Stoyanovsky-R ibault-Teschner Map and String Scattering Amplitudes” Int. J. Mod. Phys. A21 (2006) 4003-4034 [hep-th/0505203]
2005 arXiv
-
[15]
Ultracold Supers trings in Atomic Boson-Fermion Mixtures
M Snoek, M Haque, S Vandoren, and H Stoof, “Ultracold Supers trings in Atomic Boson-Fermion Mixtures” Phys. Rev. Lett. 95 (2005) 250401 [cond-mat/0505055]. 16
2005 arXiv
-
[1927]
P M Morse and H Feshbach, Methods of Theoretical Physics , McGraw-Hill, 1953
Available in English translation, Dover Publications [1959-64]. P M Morse and H Feshbach, Methods of Theoretical Physics , McGraw-Hill, 1953
1959
Reviewed August 28, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.