Pith. Sign in

REVIEW

Exactly Solvable Quantum Mechanics and Infinite Families of Multi-indexed Orthogonal Polynomials

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Satoru Odake, Ryu Sasaki

Mathematical Physics · Submitted 3 May 2011 · 35 references

Pith's verdict: A solid, checkable construction paper: the multi-indexed generalization is real, but the mixed-type no-nodeness step is asserted where it should be computed.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 10, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID1105.0508 (version 2)
Pith IDNY65D33O, Pith's permanent record of this paper and its review
CitationRyu Sasaki, Satoru Odake. "Exactly Solvable Quantum Mechanics and Infinite Families of Multi-indexed Orthogonal Polynomials." arXiv:1105.0508 (2011). https://pith.science/paper/NY65D33O
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

By deleting finite sets of nodeless negative-energy 'virtual states' from two classic solvable quantum systems, the authors generate infinite families of orthogonal polynomials that begin at degree one or higher, sidestepping Bochner's 1929

The reading

Bochner's theorem classifies the classical orthogonal polynomials that satisfy a three-term recurrence, and one of its consequences is that such a family has to include a degree-zero constant. This paper argues that the constraint can be evaded: take the radial oscillator or the Darboux-Pöschl-Teller potential, remove a finite set of 'virtual states' — solutions of the Schrödinger equation at negative energy that have no node inside the interval and are non-normalisable in both directions — and the surviving eigenfunctions are again a complete orthogonal family, but one whose lowest member sits at degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$ shifted up to an explicit degree $n=0$

What carries the argument

The load-bearing device is a generalisation of the Crum-Adler deletion theorem from eigenstates to virtual states. Each virtual state $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$

Extended reading notes

Core claim

The claim is that deleting a finite set $D$ of virtual states of type I and type II from the radial oscillator (Laguerre) or Darboux-Pöschl-Teller (Jacobi) system produces a new exactly solvable Hamiltonian $H^{[M,N]}$ whose eigenfunctions factorise as a ground-state factor times a common denominator polynomial $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$ shifted up to an explicit $n=0$

Load-bearing premise

The whole construction rests on the virtual-state properties surviving each deletion step, meaning the intermediate Wronskians stay node-free inside the interval, keep the required vanishing at one boundary and divergence at the other, and remain non-square-integrable along with their reciprocals; the paper argues this from the Wronskian identity and boundary checks, and leans on sufficiently large parameter bounds that it itself calls conservative sufficient conditions.

Editorial extensions

If this is right

  • Each admissible index set $D$ gives a complete orthogonal family $\{P_{D,n}\}$ with an explicit weight $W(\eta;\lambda^{[M,N]})\,\Xi_D(\eta;\lambda)^2$ and an explicit normalisation factor, so the polynomials can be computed and integrated against a known measure.

Reading between the lines

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

  • Because the construction only needs nodeless negative-energy solutions with infinite norm in both directions, the same deletion recipe should transfer to the discrete quantum-mechanical hierarchies (Wilson, Askey-Wilson, Racah, $q$-Racah), which the authors flag as future work.
Original abstract

Infinite families of multi-indexed orthogonal polynomials are discovered as the solutions of exactly solvable one-dimensional quantum mechanical systems. The simplest examples, the one-indexed orthogonal polynomials, are the infinite families of the exceptional Laguerre and Jacobi polynomials of type I and II constructed by the present authors. The totality of the integer indices of the new polynomials are finite and they correspond to the degrees of the `virtual state wavefunctions' which are `deleted' by the generalisation of Crum-Adler theorem. Each polynomial has another integer n which counts the nodes.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,633 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.09 · states limitation 0.21 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.08 · compares with prior results 0.56 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

Infinite families of multi-indexed orthogonal polynomials are discovered as the solutions of exactly solvable one-dimensional quantum mechanical systems. The simplest examples, the one-indexed orthogonal polynomials, are the infinite families of the exceptional Laguerre and Jacobi polynomials of type I and II constructed by the present authors. The totality of the integer indices of the new polynomials are finite and they correspond to the degrees of the `virtual state wavefunctions' which are `deleted' by the generalisation of Crum-Adler theorem. Each polynomial has another integer n which counts the nodes.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Infinite families of multi-indexed orthogonal polynomials are discovered as the solutions of exactly solvable one-dimensional quantum mechanical systems. contribution 0.50 0.89 0.85 asserted 1.00
s1 The simplest examples, the one-indexed orthogonal polynomials, are the infinite families of the exceptional Laguerre and Jacobi polynomials of type I and II constructed by the present authors. contribution 0.48 0.92 0.14 asserted 1.00
s2 The totality of the integer indices of the new polynomials are finite and they correspond to the degrees of the `virtual state wavefunctions' which are `deleted' by the generalisation of Crum-Adler theorem. result 0.61 0.72 0.11 asserted 1.00
s3 Each polynomial has another integer n which counts the nodes. result 0.88 0.60 0.05 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Schematic picture of virtual states deletion.

Figures reproduced from arXiv:1105.0508 by the authors.

References
How later papers used it

50 later papers cite it

Evidence: some. 13 of the citing papers share no author with it, and 2 of those carry a confident label from Pith's citation classifier.

Pith read 21 of the 187 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 1 of 3 papers with this label · 1 by the same authors

By the same authors

Uses its method or tool 3 of 5 papers with this label · 3 by the same authors

By the same authors

  • Followed this paper's general procedure, generating virtual state vectors by twisting parameters and applying multiple Darboux transformations with them as seed solutions, to construct multi-indexed Meixner, little q-Jacobi and little q-Laguerre polynomials.

    Multi-indexed Meixner and Little $q$-Jacobi (Laguerre) Polynomials (2016) (same authors) · 0.93 · paraphrased: the licence does not allow quoting

  • Realised multi-indexed extensions in the manner explained in this paper once the virtual state wavefunctions were identified.

    Extensions of solvable potentials with finitely many discrete eigenstates (2013) (same authors) · 0.82 · paraphrased: the licence does not allow quoting

  • We deform the original Hamiltonian system [ref] by applying multiple Darboux transforma­tions [ref] in terms of $M_$ Type $$ seed solutions and $M_$ Type $$ seed solutions specified by the degree set $𝒟{d_1,…,d_M}$ (ordered set), $MM_+M_$, $M_#{d_j | d_j∈𝒟, Type $$}$, $M_#{d_j | d_j∈𝒟, Type $$}$.

    Simplified Expressions of the Multi-Indexed Laguerre and Jacobi Polynomials (2016) (same authors) · Wronskian forms of the multi-indexed Laguerre and Jacobi polynomials · 0.86

How the literature uses it

50 arXiv papers cite this in 187 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 132 sentences without a confident label

Builds on it 3 papers
  • With a slight change of notation, these formulas are generalisation of those in [ref] with the inclusion of the type III seed solutions.

    Confluence of apparent singularities in multi-indexed orthogonal polynomials: the Jacobi case · Explicit forms of the multi-indexed Jacobi polynomials · 0.95

  • Following the examples of multi-indexed Laguerre and Jacobi polynomials [ref] , multi-indexed ($q$-)Racah polynomials [ref] , we present multi-indexed Wilson and Askey-Wilson polynomials constructed in the framework of discrete quantum mechanics with pure imaginary shifts [ref] .

    Multi-indexed Wilson and Askey-Wilson Polynomials · Introduction · 0.90

  • Following the examples of multi-indexed Laguerre and Jacobi polynomials [ref] , multi-indexed ($q$-)Racah polynomials are constructed in the framework of discrete quantum mechanics with real shifts [ref] .

    Multi-indexed (q-)Racah Polynomials · Introduction · 0.86

Uses its method or tool 5 papers
  • Following the general procedure [ref] , i.e. 1) generating virtual state vectors by twisting parameters, 2) applying multiple Darboux transformations by using the above virtual state vectors as seed solutions, the multi-indexed Meixner, little $q$-Jacobi and little $q$-Laguerre polynomials are constructed.

    Multi-indexed Meixner and Little $q$-Jacobi (Laguerre) Polynomials · Summary and Comments · 0.93

  • Once the virtual state wavefunctions are identified, the multi-indexed extensions are trivially realised in the manner explained in [ref] .

    Extensions of solvable potentials with finitely many discrete eigenstates · Introduction · 0.82

  • We deform the original Hamiltonian system [ref] by applying multiple Darboux transforma­tions [ref] in terms of $M_$ Type $$ seed solutions and $M_$ Type $$ seed solutions specified by the degree set $𝒟{d_1,…,d_M}$ (ordered set), $MM_+M_$, $M_#{d_j | d_j∈𝒟, Type $$}$, $M_#{d_j | d_j∈𝒟, Type $$}$.

    Simplified Expressions of the Multi-Indexed Laguerre and Jacobi Polynomials · Wronskian forms of the multi-indexed Laguerre and Jacobi polynomials · 0.86

Compares with it 8 papers
Cites it as support 1 paper
  • If the degree of virtual state wavefunction for deletion is zero ($d_j=0$), an $M$-indexed orthogonal polynomial reduces to an $(M-1)$-indexed orthogonal polynomial [ref] : [equation] which are the consequences of shape-invariance.

    Equivalences of the Multi-Indexed Orthogonal Polynomials · Zero level deletion · 0.97

Cites it as background 25 papers

What it cites · 12 sentences without a confident label

Compares with 1 paper
Cites as background 4 papers
  • The exceptional Wilson, Askey-Wilson, Racah and $q$-Racah polynomials were constructed in the framework of discrete quantum mechanics [ref] , and the Crum-Adler theorem for discrete quantum mechanics were also presented [ref] .

    Dual Christoffel transformations · Summary and Comments · 0.91

  • The exceptional Wilson, Askey-Wilson, Racah and $q$-Racah polynomials were constructed in the framework of discrete quantum mechanics [ref] , and the Crum-Adler theorem for discrete quantum mechanics were also presented [ref] .

    Discrete Quantum Mechanics · Summary and Comments · 0.91

  • For example, the bispectrality [ref] , generating functions [ref] , properties of the zeros of the denominator polynomial $Ξ_𝒟$ and the extra zeros of the multi-indexed polynomials ${P_𝒟,n}$ [ref] , classification of the equivalent classes leading to the same new polynomials.

    Properties of the Exceptional ($X_{\ell}$) Laguerre and Jacobi Polynomials · Summary and Comments · 0.80

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.