Pith. sign in

REVIEW 2 major objections 5 minor 18 references

$2\times 2$ Laguerre-type differential operator with triangular eigenvalue

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper classifies all 2×2 Laguerre-type differential operators symmetric with an irreducible matrix weight, up to equivalence, and shows exactly three explicit families occur.

desk verdict A credible classification of 2x2 Laguerre-type operators with a new one-parameter family, but the completeness proof leaves a finite-resonance gap in Remark 6.2 that needs closing. read the letter →

arxiv 2411.13736 v1 pith:2AOLD3QF submitted 2024-11-20 math.CA

Yanina Gonzalez , Victoria Torres This is my paper · ORCID
classification math.CA MSC 33C4542C0534L0534L10
keywords MatrixLaguerreoperatororthogonalpolynomialsweightfunctionIrreducibleLowertriangulareigenvalueSecond-orderdifferentialClassification2x2
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to settle the 2×2 case of a matrix analogue of the classical Laguerre classification: which second-order differential operators $D=t\partial^2+(C-tU)\partial-V$ are symmetric with respect to some 2×2 irreducible weight $W$ on $(0,\infty)$, under the condition that the monic orthogonal polynomials of $W$ are eigenfunctions of $D$ with lower-triangular eigenvalue matrices. The answer, Theorem 7.1, is that up to conjugation and rescaling only three explicit families occur: $D_{\alpha,\beta,b}$, $D_{\alpha,b}$, and the single-parameter $D_\beta$. The first two families reproduce known examples, while the third, whose weight involves $\cosh$ and $\sinh$ of $\sqrt{\beta t}$, is presented as completely new. This gives a complete concrete picture for 2×2 weights and a template for what a fuller matrix analogue of the scalar classification would look like.

What carries the argument

The engine of the proof is the coefficient recurrence that comes from comparing powers of $t$ in $DP_n=P_n\Delta_n$: for each $n$, the coefficients $T_k^n$ of the monic polynomial $P_n$ are determined recursively by (3.6) and (3.7) once the first two nontrivial coefficients are known. From those coefficients the paper computes the matrices $A_n$, $B_n$ of the three-term recurrence $tP_n=P_{n+1}+P_nB_n+P_{n-1}A_n$, and then applies the characterization of orthogonality: the norms $S_n=\langle P_n,P_n\rangle$ must satisfy $S_n=S_{n-1}A_n$ and $S_nB_n$ Hermitian. The symmetry equations of Theorem 2.1 are then solved to produce the explicit weight. The classification is organized by the three possible Jordan forms of $U$, and equivalence by conjugation $D\mapsto M^{-1}DM$, $W\mapsto M^*WM$ is used to normalize parameters.

What would settle it

Find a parameter set with $u_1\ne u_2$, $u_1,u_2\ne0$, and $c_{12},c_{21},v_{21}$ for which $\lambda_n-\mu_n=k u_1$ or $\lambda_n-\mu_n=-k u_2$ for some $n\ge0$ and $k\in\{0,1,2\}$, and for which the symmetry equations (Theorem 2.1) admit a positive definite integrable solution $W$ on $(0,\infty)$; such a solution would contradict Theorem 6.4 and hence the 'only if' direction of Theorem 7.1. Conversely, proving that no such solution exists in the exceptional cases would complete the classification.

Watch

Extended reading notes

Core claim

The central result is a classification theorem. If a pair $(D,W)$ has the stated form, with $W$ irreducible and the unique monic orthogonal polynomials $\{P_n\}_{n\ge0}$ satisfying $DP_n=P_n\Delta_n$ for lower-triangular matrices $\Delta_n$, then the pair is equivalent to one of three displayed families. The first, parametrized by $\alpha>-1$, $\beta>-1-\alpha$, $b\ne0$, has weight $W_{\alpha,\beta,b}=e^{-t}t^\alpha \begin{pmatrix} t^\beta+b^2t^2 & bt\\ bt & 1\end{pmatrix}$; the second, with $0<|b|<1$, is a quartic-polynomial weight $W_{\alpha,b}$; the third, $D_\beta$ with $\beta>0$, has entries built from $e^{\pm\sqrt{\beta t}}$ and is described as new. The proof goes case by case through the Jordan form of $U$, using coefficient recurrences and the symmetry equations to rule out all other possibilities and then to display the weight.

Load-bearing premise

The load-bearing premise is the non-resonance assumption in Remark 6.2 that $\lambda_n-\mu_n$ is never equal to $k u_1$ or $-k u_2$ for $n\ge0$, $k=0,1,2$; the paper sets aside the finite exceptional cases where equality holds, and the exclusion of the two-distinct-eigenvalue case (Theorem 6.4) is proved only under this assumption.

Editorial extensions

If this is right

  • Every irreducible 2×2 Laguerre-type symmetric pair falls into one of three explicit families, so constructing examples reduces to choosing parameters in the listed ranges.
  • The new family $D_\beta,W_\beta$ must be added to the known inventory of matrix Laguerre examples; the other two families are equivalent to previously obtained operators.
  • When $U$ has two distinct eigenvalues, no irreducible weight exists (under the non-resonance assumption of Section 6), so the search for irreducible examples can be restricted to non-diagonal or scalar $U$.
  • The equivalence transformations include rescaling $t$, so the three families represent whole equivalence classes rather than isolated operators.
  • The explicit weights are positive definite on $(0,\infty)$ and give a direct way to write down moment functionals for matrix Laguerre orthogonal polynomials.

Reading between the lines

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

  • The authors do not pursue this, but the excluded exceptional values in Remark 6.2 are spectral resonances; testing them directly is the clearest route to either new families or a fully closed classification.
  • The new hyperbolic weight suggests a structural analogy with classical hypergeometric functions; a natural extension, not considered here, is to search for $N\times N$ weights built from $\exp(\pm\sqrt{\beta t})$.
  • This classification makes a concrete prediction that can be checked computationally: for any randomly chosen parameter set outside the three families, the symmetry equations should have no positive definite integrable solution.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The manuscript gives a classification of W-symmetric differential operators D = t∂^2 + (C - tU)∂ - V with C, U, V in C^{2×2} whose monic orthogonal polynomials are irreducible and satisfy DP_n = P_n Δ_n with lower triangular Δ_n. The main theorem (Theorem 7.1) states that, up to equivalence, the only possibilities are three explicit families D_{α,β,b}, D_{α,b}, and D_β with weights W_{α,β,b}, W_{α,b}, and W_β, the third family being new. The proof splits according to the Jordan form of U, derives necessary conditions on the coefficients from the eigenfunction equation and from Favard-type recurrence conditions, and then obtains the weights by solving the symmetry equations of Theorem 2.1.

Significance. The classification, if fully established, is a substantial contribution to the matrix Bochner problem in the Laguerre-type setting with triangular eigenvalues. The paper is self-contained: the necessary conditions arise directly from the eigenfunction and recurrence equations, and the weights are obtained by explicit solution of the first- and second-order symmetry equations. The manuscript correctly recovers the two previously known families from [11] and, in addition, produces a genuinely new one-parameter family. The novelty and scope justify publication, provided the completeness gaps identified below are resolved.

major comments (2)
  1. [Section 6, Remark 6.2 and Theorem 6.4] The proof of Theorem 6.4 is carried out under the blanket assumption that λ_n − μ_n ≠ k u1 and λ_n − μ_n ≠ −k u2 for all n ≥ 0 and k = 0, 1, 2. Since λ_n − μ_n = n(u2 − u1) − v and u1 ≠ u2, each of these equations has at most one solution n, so the excluded set is finite. However, Corollary 6.3 and the subsequent expression for B_n used throughout Theorem 6.4 involve division by λ_n − μ_n − k or μ_n − λ_n − k; at an exceptional n these matrices are singular and the coefficient formulas are not justified. The text explicitly says the authors 'dismiss' equality for finitely many n, but no removable-singularity or continuity argument is supplied. Because Theorem 6.4 is the whole exclusion of the two-distinct-eigenvalue case in the 'only if' direction of Theorem 7.1, the classification is incomplete unless these exceptional n are treated separately or shown to be limits of the non-resonant case.
  2. [Section 4, proof of Theorem 4.4] After the Hermiticity conditions for n ≥ 1, the proof states that either c12 ∈ R or v = u/2, but then says the authors will 'exclusively verify them by assuming v = u/2' because the analysis starting from c12 ∈ R is 'analogous'. No calculation is given for the c12 ∈ R branch. Since Theorem 4.4 is one of the existence theorems feeding Theorem 7.1, the only-if direction of the classification is not demonstrated for this branch. Please provide the full computation, or exhibit a transformation reducing this branch to the treated case, including the corresponding weight and irreducibility.
minor comments (5)
  1. [Throughout] There are several typos, e.g. 'explicetely' in the Introduction, 'Aknowledgements' in Section 8, 'wich' in the proof of Proposition 5.1, and 'Dokl. Akad. Mauk SSSR' in reference [1]; these should be corrected.
  2. [Section 6, proof of Theorem 6.4] In the first case, the line 'Then bn21 = for all n ≥ 0' is missing its right-hand side; it should presumably read 'bn21 = 0'.
  3. [Section 6, proof of Theorem 6.4] The inference after (6.5), 'Since S0 is positive definite and C is non-diagonal, we have u1 = −u2 = v', is correct but very compressed; please spell out that c21 ≠ 0 (else (6.5) forces c12 = 0), then c12 ≠ 0 (else u1 = −v, contradicting u1 ≠ u2), so u2 = −v and u1 = v.
  4. [Section 4, proof of Theorem 4.4] The statement 'The previous conditions Im(c11) = 2 Im(c12) and Im(c21) = 12 Im(c12)(n^2/u^2 − s11/(4s22)) imply c11, c21 ∈ R' needs a justification, since the coefficient of Im(c12) in the second expression depends on n; either state that this dependence is only apparent after using (4.8), or give the argument.
  5. [Section 5, Proposition 5.1] The conjugation by [[0,1],[1,0]] used to assume v > 0 should be written out with the resulting parameters, since the displayed expression includes '+vI' and it is not immediately clear how the new v and v21 are related.
Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No data fitting occurs. The parameters α, β, b in the final families are the degrees of freedom produced by the classification, not fitted inputs. Integration constants in the weight solutions are normalized without loss of generality. The only ad hoc input is the non-resonance assumption in Remark 6.2, which is recorded as an axiom because it is load-bearing for the 'only if' direction.

assumptions (4)
  • standard math Symmetry equations of Theorem 2.1 (from [6]) characterize W-symmetry of a second-order differential operator
    Used throughout Sections 4 to 6 to derive the weight W from the operator D.
  • standard math Favard's theorem for matrix orthogonal polynomials ([16])
    Used to guarantee orthogonality from the three-term recurrence relation in Section 3 and subsequent sections.
  • standard math Reducibility criteria of Tirao and Zurrián ([18], Theorems 2.2 and 2.3)
    Used to prove that the constructed weights and polynomial families are irreducible.
  • ad hoc to paper Non-resonance of eigenvalues: λ_n - μ_n ≠ k u1, -k u2 for all n ≥ 0, k = 0, 1, 2
    Assumed in Remark 6.2 to make the coefficient matrices in Section 6 well defined; the exceptional cases are never analyzed, leaving a gap in the completeness proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of $2\times 2$ Laguerre-type differential operator with triangular eigenvalue." pith.science (2026). https://pith.science/paper/2AOLD3QF

@misc{pith2026241113736,
  author       = {Pith},
  title        = {Pith review of: $2\times 2$ Laguerre-type differential operator with triangular eigenvalue},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2AOLD3QF}},
  note         = {Machine review of arXiv:2411.13736}
}
abstract

In this paper, we present a comprehensive account of all Laguerre-type differential operators $D$ that are symmetric with respect to a $2\times 2$ irreducible weight $W$ on the interval $(0, \infty)$. These operators are associated with monic orthogonal polynomials ${P_n}$, which satisfy the equation $DP_n = P_n\Delta_n$ for a certain lower triangular eigenvalue $\Delta_n$. We introduce three distinct families of operators and weights, each characterized by explicit expressions depending on two or three parameters, along with a new expression based on a single parameter.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [11]

    Journal of Approximation Theory 161 (1), 88 -113 (2009)

    Dur´ an, A.J.: Generating orthogonal matrix polynomia ls satisfying second order differential equations from a tri o of trian- gular matrices. Journal of Approximation Theory 161 (1), 88 -113 (2009)

    work page 2009

  2. [1]

    Krein, M.G.: Infinite j-matrices and matrix moment probl em. Dokl. Akad. Mauk SSSR. 69(2) 125-128 (1949)

    work page 1949

  3. [2]

    The Rocky Mountain Journal of Mathematics 27(2), 585-600 (1997)

    Dur´ an, A.J.: Matrix inner product having a matrix symme tric second order differential operator. The Rocky Mountain Journal of Mathematics 27(2), 585-600 (1997)

    work page 1997

  4. [3]

    Journal of Physics A: Mat he- matical and General 34(48), 10647-10656 (2001)

    Gr¨ unbaum, F.A., Pacharoni, I., Tirao, J.: A matrix-val ued solution to bochner’s problem. Journal of Physics A: Mat he- matical and General 34(48), 10647-10656 (2001)

    work page 2001

  5. [4]

    Journal of Functional Analysis 188 (2), 350-441 (2002)

    Gr¨ unbaum, F.A., Pacharoni, I., Tirao, J.: Matrix value d spherical functions associated to the complex projective plane. Journal of Functional Analysis 188 (2), 350-441 (2002)

    work page 2002

  6. [5]

    Indagationes Mathe- maticae 14(3-4), 353-366 (2003)

    Gr¨ unbaurn, F.A., Pacharoni, I., Tirao, J.: Matrix valu ed orthogonal polynomials of the Jacobi type. Indagationes Mathe- maticae 14(3-4), 353-366 (2003)

    work page 2003

  7. [6]

    In ternational Mathematics Research Notices 2004 (10), 461-484 (2004)

    Dur´ an, A.J., Gr¨ unbaum, F.A.: Orthogonal matrix polynomials satisfying second-order differential equations. In ternational Mathematics Research Notices 2004 (10), 461-484 (2004)

    work page 2004

  8. [7]

    Bochner, S.: On sturm-liouville polynomial systems. Ma th. Z 29, 730-736 (1929)

    work page 1929

Show all 18 references
  1. [8]

    A merican Journal of Mathematics 144(4), 1009-1065 (2022)

    Casper, W.R., Yakimov, M.: The matrix bochner problem. A merican Journal of Mathematics 144(4), 1009-1065 (2022)

    2022

  2. [9]

    International Ma thematics Research Notices 2006 (9), 1-33 (2006)

    Castro, M.M., Gr¨ unbaum, F.A.: The algebra of differenti al operators associated to a family of matrix-valued orthog onal polynomials: Five instructive examples. International Ma thematics Research Notices 2006 (9), 1-33 (2006)

    2006

  3. [10]

    J ournal of Approximation Theory 146 (2), 174-211 (2007)

    Cantero, M.J., Moral, L., Vel´ azquez, L.: Matrix ortho gonal polynomials whose derivatives are also orthogonal. J ournal of Approximation Theory 146 (2), 174-211 (2007)

    2007

  4. [12]

    Journal of A pproximation Theory 148 (1), 35-48 (2007)

    Dur´ an, A.J., Gr¨ unbaum, F.A.: Matrix orthogonal poly nomials satisfying second-order differential equations: C oping without help from group representation theory. Journal of A pproximation Theory 148 (1), 35-48 (2007)

    2007

  5. [13]

    Journal of Approximation Theory 150 (2), 153-174 (20 08)

    Dur´ an, A.J., de la Iglesia, M.D.: Some examples of orth ogonal matrix polynomials satisfying odd order differentia l equa- tions. Journal of Approximation Theory 150 (2), 153-174 (20 08)

  6. [14]

    Constructive Approximation 26 (1), 29- 47 (2007)

    Dur´ an, A.J., Lopez-Rodriguez, P.: Structural formul as for orthogonal matrix polynomials satisfying second-or der differen- tial equations, II. Constructive Approximation 26 (1), 29- 47 (2007)

    2007

  7. [15]

    Integral Transforms and Special Functio ns 24 (4), 263-279 (2013)

    Dur´ an, A.J., Shayanfar, N.: Constructing orthogonal matrix polynomials satisfying differential equations from two different Laguerre weights. Integral Transforms and Special Functio ns 24 (4), 263-279 (2013)

    2013

  8. [16]

    Journal of Ap proxi- mation Theory 84 (1), 96-118 (1996)

    Dur´ an, A.J., Lopez-Rodriguez, P.: Orthogonal matrix polynomials: Zeros and blumenthal’s theorem. Journal of Ap proxi- mation Theory 84 (1), 96-118 (1996)

    1996

  9. [17]

    Integral equation s and operator theory 58 (4), 449-475 (2007)

    Gr¨ unbaum, F.A., Tirao, J.: The algebra of differential operators associated to a weight matrix. Integral equation s and operator theory 58 (4), 449-475 (2007)

    2007

  10. [18]

    Tirao, J., Zurri´ an, I.: Reducibility of matrix weight s. The Ramanujan Journal 45, 349-374 (2018) (Yanina Gonz´ alez)F acultad de Ciencias Exactas y Naturales, Universidad Nacional de Cuyo, Mendoza, Argentina Email address : ygonzalez@fcen.uncu.edu.ar (Victoria Torres) CIEM-...

    2018

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.