Recognition: unknown
On the orthogonality of solutions for higher-order non-Hermitian difference equations
Pith reviewed 2026-05-10 11:24 UTC · model grok-4.3
The pith
Polynomial solutions to higher-order non-Hermitian difference equations satisfy orthogonality relations with respect to a positive matrix measure on a circle.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a (2N+1)-diagonal bounded banded matrix J with all g_{k,k+N} and g_{l-N,l} nonzero, the equation J y = lambda^N y admits polynomial solutions that satisfy orthogonality relations with respect to a positive matrix measure M on a circle. When J is complex symmetric the relation is J-orthogonality in L^2(M) with J the complex conjugation operator; when the superdiagonal entries of J equal one the relation is left J-orthogonality in L^2(M).
What carries the argument
The (2N+1)-diagonal complex matrix J that encodes the difference equation, together with the positive matrix measure M on the unit circle that induces the orthogonality inner product.
If this is right
- The solutions generate an orthogonal system in the weighted space L^2(M) that can be used for expansions.
- The associated matrix moment problem is solvable under the stated conditions on J.
- The construction extends classical three-term recurrence orthogonality to higher-order non-Hermitian recurrences.
- A rank-one complex perturbation of a free Jacobi matrix yields an explicit example of such a J.
Where Pith is reading between the lines
- The same matrix measure M may furnish new quadrature rules for integrals over the circle that respect the higher-order recurrence.
- The orthogonality could be used to study spectral properties of the non-self-adjoint operator defined by J.
- Similar constructions might apply to other banded non-Hermitian operators whose symbol lies on a curve in the complex plane.
Load-bearing premise
Either the matrix J must be complex symmetric or its superdiagonal entries must equal one, while remaining banded with all relevant off-diagonal entries nonzero.
What would settle it
Exhibit a concrete (2N+1)-diagonal matrix J satisfying the nonzero-entry and either symmetry or normalization condition for which no positive matrix measure M on a circle makes the polynomial solutions orthogonal in the stated sense.
read the original abstract
In this paper we study higher-order difference equations which can be written as follows: $$ \mathbf{J} (y_0,y_1,...)^T = \lambda^N (y_0,y_1,...)^T, $$ where $\mathbf{J}$ is a $(2N+1)$-diagonal bounded banded matrix ($\mathbf{J}=(g_{m,n})_{m,n=0}^\infty$, $| g_{m,n} |< C$, $C>0$; and $g_{k,l}=0$ if $|k-l|>N$), $y_j$s are unknowns, $\lambda$ is a complex parameter, $N\in\mathbb{N}$. It is assumed that all $g_{k,k+N}$ and $g_{l-N,l}$ are nonzero. Two special cases are considered: \noindent \textit{Case A}: The matrix $\mathbf{J}$ is complex symmetric, i.e. $\mathbf{J} = \mathbf{J}^T$. \noindent \textit{Case B}: The matrix $\mathbf{J}$ is such that $g_{k,k+N}=1$, $k=0,1,2,...$. Notice that this condition can be attained by changing $y_j$s by their multiples. In both cases there exists a \textit{positive} matrix measure $M$ on a circle in the complex plane such that polynomial solutions satisfy some orthogonality relations. Namely, in case~A this is related to a $J$-orthogonality in the Hilbert space $L^2(M)$ ($J$ is a complex conjugation). In case~B we have a left $J$-orthogonality in $L^2(M)$. As a tool, a related matrix moment problem is studied. A complex rank-one perturbation of a free Jacobi matrix is discussed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies higher-order non-Hermitian difference equations of the form J y = λ^N y, where J is a bounded (2N+1)-diagonal banded matrix with all g_{k,k+N} and g_{l-N,l} nonzero. For the two special cases of complex-symmetric J (Case A) and J with g_{k,k+N}=1 (Case B), it asserts the existence of a positive matrix-valued measure M supported on a circle in the complex plane such that the polynomial solutions satisfy J-orthogonality (Case A) or left J-orthogonality (Case B) in the space L^2(M). The argument proceeds by associating the recurrence coefficients with a matrix moment problem whose solvability yields the desired measure; a complex rank-one perturbation of the free Jacobi matrix is also discussed.
Significance. If the existence and positivity claims hold, the work extends orthogonality theory to non-Hermitian higher-order recurrences, supplying concrete J-inner-product relations on the circle that may prove useful in the spectral analysis of non-self-adjoint operators and in the theory of matrix-valued orthogonal polynomials. The reduction to a matrix moment problem is a standard and appropriate tool; the boundedness and non-vanishing assumptions are used explicitly to guarantee a well-defined moment sequence admitting a positive circularly supported representing measure.
minor comments (3)
- [Abstract] The abstract asserts existence of the positive measure M but supplies no indication of the key steps (e.g., how the moment sequence is shown to be positive definite or how the support is restricted to the circle); a single sentence summarizing the moment-problem argument would improve readability.
- [§1 and §3] The symbol J is used both for the coefficient matrix and for the complex conjugation operator appearing in the orthogonality relation; this notational collision should be resolved by adopting a distinct symbol (e.g., J-bar or C) for the conjugation.
- [§5] The discussion of the rank-one perturbation of the free Jacobi matrix would benefit from an explicit statement of the perturbation parameter and a reference to the relevant theorem guaranteeing the circular support of the measure.
Simulated Author's Rebuttal
We thank the referee for the positive assessment, accurate summary of the manuscript, and recommendation for minor revision. No explicit major comments or requests for specific changes were provided beyond the overall description. We address the referee summary point by point below.
read point-by-point responses
-
Referee: The manuscript studies higher-order non-Hermitian difference equations of the form J y = λ^N y, where J is a bounded (2N+1)-diagonal banded matrix with all g_{k,k+N} and g_{l-N,l} nonzero. For the two special cases of complex-symmetric J (Case A) and J with g_{k,k+N}=1 (Case B), it asserts the existence of a positive matrix-valued measure M supported on a circle in the complex plane such that the polynomial solutions satisfy J-orthogonality (Case A) or left J-orthogonality (Case B) in the space L^2(M). The argument proceeds by associating the recurrence coefficients with a matrix moment problem whose solvability yields the desired measure; a complex rank-one perturbation of the free Jacobi matrix is also discussed.
Authors: We thank the referee for this precise and accurate summary of our work. The description correctly captures the setup, the two cases, the orthogonality relations in L^2(M), and the use of the matrix moment problem. The existence and positivity of the measure M are established in the manuscript under the stated boundedness and non-vanishing assumptions on the coefficients, which ensure the moment sequence admits a positive representing measure supported on the circle. The rank-one perturbation discussion is included as an illustrative example. revision: no
Circularity Check
Derivation self-contained via independent moment problem analysis
full rationale
The paper constructs the positive matrix measure M on a circle by relating the given recurrence (with the stated banded J assumptions) to a matrix moment problem and proving solvability of that problem under the boundedness, non-vanishing, and symmetry/normalization conditions. The orthogonality relations (J-orthogonality or left J-orthogonality in L^2(M)) then follow directly as a consequence of the moment representation. No step reduces by definition to its own inputs, no fitted parameter is relabeled as a prediction, and no load-bearing self-citation or uniqueness theorem is invoked. The argument is self-contained against external benchmarks for the moment problem.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Akhiezer, The classical moment problem and some related ques- tions in analysis, Hafner Publishing Co., New York 1965
N.I. Akhiezer, The classical moment problem and some related ques- tions in analysis, Hafner Publishing Co., New York 1965
1965
-
[2]
Arlinskii, E
Yu. Arlinskii, E. Tsekanovskii, Non-self-adjoint Jacobi matrices with a rank-one imaginary part, J. Funct. Anal. 241 (2006), no. 2, 383–438
2006
-
[3]
Beckermann, Complex Jacobi matrices, Numerical analysis 2000, Vol
B. Beckermann, Complex Jacobi matrices, Numerical analysis 2000, Vol. V, Quadrature and orthogonal polynomials. J. Comput. Appl. Math. 127, no. 1-2 (2001), 17–65
2000
-
[4]
Berezanskii, Expansions in Eigenfunctions of Selfadjoint Opera- tors, Amer
Ju.M. Berezanskii, Expansions in Eigenfunctions of Selfadjoint Opera- tors, Amer. Math. Soc., Providence, RI, 1968
1968
-
[5]
Branquinho, F
A. Branquinho, F. Marcell´ an, A. Mendes, Vector interpretation of the matrix orthogonality on the real line, Acta Appl. Math. 112 (2010), 357–383
2010
-
[6]
Dur´ an, On orthogonal polynomials with respect to a positive def- inite matrix of measures, Canad
A.J. Dur´ an, On orthogonal polynomials with respect to a positive def- inite matrix of measures, Canad. J. Math., 47 (1995), 88–112
1995
-
[7]
Foias, H
B.Sz.-Nagy, C. Foias, H. Bercovici, L. K´ erchy, Harmonic Analysis of Operators on Hilbert Space, Second edition, Revised and enlarged edi- tion. Universitext. Springer, New York, 2010
2010
-
[8]
Rainville, Special Functions
E.D. Rainville, Special Functions. Reprint of 1960 first edition. Chelsea Publishing Co., Bronx, N.Y., 1971
1960
-
[9]
Rosenberg, The square-integrability of matrix-valued functions with respect to a non-negative Hermitian measure, Duke Math
M. Rosenberg, The square-integrability of matrix-valued functions with respect to a non-negative Hermitian measure, Duke Math. J. 31 (1964), 291–298
1964
-
[10]
Wall, Analytic Theory of Continued Fractions, D
H.S. Wall, Analytic Theory of Continued Fractions, D. Van Nostrand Company, Inc., New York, N. Y., 1948
1948
-
[11]
Zagorodnyuk, Direct and inverse spectral problems for (2N+1)- diagonal, complex, symmetric, non-Hermitian matrices, Serdica Math
S.M. Zagorodnyuk, Direct and inverse spectral problems for (2N+1)- diagonal, complex, symmetric, non-Hermitian matrices, Serdica Math. J. 30, No. 4 (2004), 471–482
2004
-
[12]
Zagorodnyuk, The direct and inverse spectral problems for some banded matrices, Serdica Math
S.M. Zagorodnyuk, The direct and inverse spectral problems for some banded matrices, Serdica Math. J., 37 (2011), 9–24
2011
-
[13]
Zagorodnyuk, On the truncated multidimensional moment problems in Cn, Axioms, 11, no
S. Zagorodnyuk, On the truncated multidimensional moment problems in Cn, Axioms, 11, no. 1 (2022), 20. 24
2022
-
[14]
Zagorodnyuk, On bounded complex Jacobi matrices and related moment problems in the complex plane, Surveys in Mathematics and its Applications, 18 (2023), 73–82
S.M. Zagorodnyuk, On bounded complex Jacobi matrices and related moment problems in the complex plane, Surveys in Mathematics and its Applications, 18 (2023), 73–82. Address: Kharkiv, Ukraine (In 1995-2025 worked at V.N. Karazin Kharkiv National University) Sergey.M.Zagorodnyuk@gmail.com 25
2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.