Pith. sign in

REVIEW 3 major objections 3 minor 30 references

Scattering theory for difference equations with operator coefficients

T0 review · 3 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper extends stationary scattering theory for Jacobi operators to operator-valued coefficients, proving conditions under which the scattering matrix extends continuously to the band edges and the discrete spectrum becomes finite.

desk verdict Solid Jost-solution and spectral work, but the scattering matrix section has a load-bearing sign error: the free Laplacian satisfies the hypotheses and makes alpha_±(z)=0, breaking Proposition 5.1(2), identity (5.6), and Theorem 5.4 as written. read the letter →

arxiv 2501.11194 v1 pith:JTNV5Y4M submitted 2025-01-19 math.SP

David Sher , Luis Silva , Boris Vertman , Monika Winklmeier This is my paper · ORCID
classification math.SP MSC 39Axx47B39
keywords scatteringmatrixJacobioperatoroperator-valuedcoefficientsJostsolutionsWronskiandiscretespectrummomentconditionsdifferenceequations
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

This paper develops stationary scattering theory for a second-order difference equation whose coefficients are bounded operators on a Hilbert space. The central objects are the Jost solutions $U^\pm(z)$, their Wronskian, and the $2\times 2$ operator-valued scattering matrix $S(z)$, which the authors construct explicitly. Their main results give conditions—moment decay of the coefficients, invertibility of the coefficient operators, and closed range of a certain Wronskian—under which $S(z)$ extends continuously from the punctured unit circle to the whole circle, and under which the discrete spectrum of the associated Jacobi operator is finite. A sympathetic reader would care because this carries tools that are standard for scalar and matrix Jacobi operators into the infinite-dimensional operator-coefficient setting, where previous non-accumulation results did not apply.

What carries the argument

The Wronskian $W_n(U,V)=U_{n-1}A_{n-1}V_n-U_nA_{n-1}V_{n-1}$ of two formal solutions to the operator equation is independent of $n$; it is the mechanism that identifies coefficients $\alpha_\pm(z)$ and $\beta_\pm(z)$ expressing $U^\mp(z)$ as combinations of $U^\pm(z)$ and $U^\pm(z^{-1})$. The scattering matrix is then $$S(z)=\begin{pmatrix} (\alpha_-(z))^{-1} & -\beta_+($z^{{-1}}$)(\alpha_+($z^{{-1}}$))^{-1} \\ -\beta_-(z)(\alpha_-(z))^{-1} & (\alpha_+($z^{{-1}}$))^{-1} \end{pmatrix},$$ which exists on the punctured unit circle. Continuity at $z=\pm 1$ is obtained by decomposing $\alpha_+(z)$ into blocks along $\ker W$ and $\operatorname{ran} W$ and using a Schur-complement identity; the closed-range assumption supplies the bounded inverse that the Neumann-series step needs.

What would settle it

Choose a finite-rank perturbation of the free Jacobi operator in $\ell^2(\mathbb{Z},\ell^2)$, for instance take $A_n=I$ for $|n|>N$ and $B_n$ a rank-one projection supported on finitely many sites, so all moment conditions hold and the coefficients are compact; compute $W(U^+(1)^*,U^-(1))$ explicitly and check whether it has closed range. Then evaluate $S(z)$ from formula (5.8) along the unit circle as $z\to 1$: if the operator norm limit exists, Theorem 1.4 survives this test, while a divergence under the closed-range condition would refute it.

Watch

Extended reading notes

Core claim

At the paper's core is Theorem 1.4: if $A_n$ is invertible for every $n$, the second moment condition holds, and $W(U^+(z_0)^*, U^-(z_0))$ has closed range at $z_0 = \pm 1$, then $S(z)$ has a continuous extension to the entire unit circle. Theorem 1.5 adds a third-moment condition and compactness of $A_n-I$ and $B_n$; under the same closed-range Wronskian condition at both endpoints, the discrete spectrum of $J$ has no accumulation points and hence is finite. The proof runs through an explicit formula for $S(z)$ in terms of the Wronskian coefficients $\alpha_\pm(z)$ and $\beta_\pm(z)$, and a Schur-complement analysis of $\alpha_+(z)$ near $z = \pm 1$. The paper also proves absence of eigenvalues in $(-2,2)$, absence of eigenvalues at $\pm 2$, and a trace-class bound on the rate of accumulation when the stronger moment assumptions fail.

Load-bearing premise

The scattering construction assumes that the operator coefficients $\alpha_\pm(z)$ on the unit circle are invertible; in the free (unperturbed) case those coefficients are zero, so the premise fails.

Editorial extensions

If this is right

  • If Theorem 1.4 is right, the scattering matrix of an operator-coefficient Jacobi operator is a continuous function on the whole unit circle, so scattering data near the band edges are well-defined limits rather than singular endpoints.
  • If Theorem 1.5 is right, the discrete spectrum of $J$ is finite whenever the coefficient perturbation decays with a third moment and the endpoint Wronskians have closed range; in particular there are only finitely many bound states outside $[-2,2]$.
  • The proof of Theorem 1.5 also rules out accumulation at $+2$ and $-2$ separately, so the closed-range assumption at both endpoints is sufficient for finiteness.
  • Under weaker trace-class assumptions, Theorem 6.7 bounds the number and product of eigenvalues inside $\{|z|<R\}$, giving a quantitative rate at which eigenvalues may approach the band edges.

Reading between the lines

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

  • The free Laplacian itself is outside the paper's scattering construction, because the coefficients $\alpha_\pm(z)$ vanish there; a natural next step is a limiting or regularized definition of $S(z)$ that includes the unperturbed operator as a base point.
  • The closed-range Wronskian condition is likely not necessary for continuity of $S(z)$; the Schur-complement proof suggests continuity could hold even when the Wronskian has a kernel, as long as the singular part of $\alpha_+(z)$ is controlled in a weaker topology.
  • For finite-dimensional $H$ the paper needs only a first moment condition; a testable conjecture is that the same finiteness conclusion holds in infinite dimensions under a first moment condition when the Wronskians are Fredholm rather than merely closed-range.
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

3 major / 3 minor

Summary. The paper develops stationary scattering theory for Jacobi operators on ℓ²(Z,H) with operator-valued coefficients. Under moment conditions and invertibility of A_n, it constructs Jost solutions, studies Wronskians and fundamental systems, then defines a 2×2 operator-valued transfer and scattering matrix. The main advertised results are a continuous extension of the scattering matrix to the band edges under a closed-range Wronskian condition (Theorems 1.4/5.4), non-accumulation of the discrete spectrum under the third moment and closed-range conditions (Theorems 1.5/6.6), and a trace-class eigenvalue-count estimate (Theorem 1.7).

Significance. If correct, the paper would extend classical discrete Schrödinger scattering results to infinite-dimensional coefficient spaces, and the detailed Jost-solution construction with explicit recursive kernels is a useful self-contained contribution. The non-accumulation theorem and the trace-class eigenvalue estimate are conditional on honest hypotheses and are of independent interest. However, the scattering-matrix construction, which is the centerpiece of the paper, fails already for the free Laplacian J0 that serves as the reference operator. The counterexample is elementary and falls inside the stated hypotheses, so the main claims as stated are unsupported.

major comments (3)
  1. [§5.1, Proposition 5.1(2) and Eq. (5.6)] The claimed invertibility of α±(z) is false. Take the free Laplacian A_n=I, B_n=0; this satisfies all standing assumptions, including any moment condition and invertibility of A_n. Then U^+_n(z)=z^n I and U^-_n(z)=z^{-n}I. From (4.22) and (4.23) one obtains α±(z)=0 and β±(z)=I for |z|=1, z≠±1. Substitution into (5.6) gives 0=2I, so the identity is false. The error traces to the adjoint identity (5.5), which in the free case would read I=-I. Consequently Proposition 5.1(2) is false.
  2. [§5.1, Proposition 5.2 and Eq. (1.8)/(5.7)] In the same free case, the scattering matrix formula (5.8) is undefined because it contains (α±(z))^{-1}=0^{-1}. Moreover, the defining relation (1.8)/(5.7) has no solution: both columns on the left equal z^{-n}I, while the right-hand basis consists of z^n I and z^{-n}I, so no z-independent 2×2 operator matrix can satisfy the equation. Thus the scattering matrix does not exist for the reference operator J0 under the paper's own definitions.
  3. [§5.2, Theorem 5.4 / Theorem 1.4] The hypotheses of Theorem 5.4 are met by the free case: W(U^+(z0)^*, U^-(z0))=0 for z0=±1, and the zero operator has closed range. Yet the conclusion fails because S(z) is not defined on the punctured unit circle. Hence Theorem 1.4 is false as stated. The closed-range Wronskian assumption is therefore not sufficient to guarantee even the existence, let alone the continuity, of the scattering matrix; Lemma 5.6 cannot repair this because it presupposes the invertibility of α±(z) on the punctured circle.
minor comments (3)
  1. [Appendix A, Corollary A.4; §6.3, Step 2] There are unresolved cross-reference placeholders: Corollary A.4 refers to 'Lemma ??' and Step 2 of Theorem 6.6 refers to '(??)' in the definition of δL. These should be replaced by proper equation references.
  2. [§1.3, Theorem 1.5] The statement 'This result is proved below in see Theorem 6.6' contains a grammatical error; it should read 'proved below in Theorem 6.6'.
  3. [§5.2, Lemma 5.6, Step 3] The notation A(z0) is used before being introduced cleanly: the line 'with the respective limits denoted by write A(z0)' is incomplete and should be rephrased.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: all main claims are derived from explicit assumptions and constructions, with no fitted parameters or load-bearing self-citations.

full rationale

The paper's derivation chain is self-contained. Theorem 1.2 constructs the Jost solutions by explicit convergent series (3.1)-(3.2) from the stated moment conditions and invertibility of A_n; Theorem 1.3 and Proposition 4.9 derive the Wronskian identities from the Jost asymptotics; the transfer and scattering matrices in (5.2) and (5.8) are algebraic consequences of the fundamental-system representation (4.21), and Theorem 1.4's continuity conclusion is obtained from a Schur-complement analysis of the assumed closed-range Wronskian, not by assuming the extension. Theorem 1.5 follows from the spectral lemmas in Section 6, which use non-invertibility of the Wronskians at eigenvalues and a Guseinov-type contradiction argument; no parameter is fitted and no central claim is defined in terms of a result it purports to prove. The authors' citations to prior work are used to acknowledge finite-dimensional antecedents, and they explicitly identify a correctness gap in [Mut20], indicating independent checking rather than reliance on a self-citation chain. The skeptical observation that the free case A_n=I, B_n=0 makes alpha_±(z)=0 and violates identity (5.6) is a serious correctness/non-degeneracy issue in Proposition 5.1(2), but it is not circularity: the paper does not use the free case as an input, and the failure of an assumption in a degenerate example is not a reduction of a conclusion to its premise.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no fitted numbers and no new postulated entities. Its assumptions are the operator setting, decay conditions, invertibility of A_n, and the closed-range Wronskian condition. The closed-range condition is the most fragile because it is weak enough to include the zero operator, under which the scattering matrix construction fails.

assumptions (4)
  • domain assumption The coefficients A_n and B_n are bounded self-adjoint operators on a separable Hilbert space H, and A_n is boundedly invertible for every n.
    Imposed in Definition 2.5 and used in Theorems 1.2-1.5 to build Jost solutions and recurrences. The invertibility of A_n is essential for the recursive construction of solutions in Sections 3 and 4.
  • domain assumption The k-th or exponential moment conditions of Definition 1.1 hold.
    The decay of the perturbation is quantified by (1.2) or (1.3). These conditions drive convergence of the Jost solution series in Section 3 and the estimates in Sections 5 and 6.
  • ad hoc to paper The Wronskians W(U^+(±1)^*, U^-(±1)) have closed range.
    Introduced in Theorems 5.4 and 6.6. It is not a consequence of the moment conditions or compactness alone, and the zero operator has closed range, so the condition does not prevent the free-case failure in Proposition 5.1.
  • standard math Standard results from functional analysis are used: Weyl's theorem, the Kato-Rosenblum theorem, Schatten-von Neumann ideal properties, the spectral mapping theorem, and the Birman-Schwinger principle.
    These are invoked in Sections 2 and 6 for the essential spectrum, absolute continuity, and eigenvalue counting. They are accepted background results.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Scattering theory for difference equations with operator coefficients." pith.science (2026). https://pith.science/paper/JTNV5Y4M

@misc{pith2026250111194,
  author       = {Pith},
  title        = {Pith review of: Scattering theory for difference equations with operator coefficients},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JTNV5Y4M}},
  note         = {Machine review of arXiv:2501.11194}
}
read the original abstract

We consider a second order difference equation with operator-valued coefficients. More precisely, we study either compact or trace class perturbations of the discrete Laplacian in the Hilbert space of bi-infinite square-summable sequence with entries in a fixed Hilbert space. We discuss its continuous and discrete spectrum, as well as properties of the associated scattering matrix.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    [AG93] N. I. Akhiezer and I. M. Glazman, Theory of linear operators in Hilbert space , Dover Publications Inc., New Y ork, 1993, Translated from the Russian and with a preface by Merlynd Nestell, Reprint of the 1961 and 1963 translations, Two volumes bound as one. MR 1255973 (94i:47001) [AK01] T. Aktosun and M. Klaus, Small-energy asymptotics for the Schr...

    work page 1993

  2. [19]

    Metric and normed spaces , Graylock Press, Rochester, N.Y .,1957, Translated from the first Russian edition by Leo F . Boron. MR 0085462 [Kla88] M. Klaus, Low-energy behaviour of the scattering matrix for the Schr¨ odinger equation on the line, Inverse Problems 4 (1988), no. 2, 505–

    work page 1988

  3. [22]

    Math. Stat. 69 (2020), no. 1, 88–

    work page 2020

  4. [24]

    MR 2894582 [AKW14] , Small-energy analysis for the selfadjoint matrix Schr¨ odi nger operator on the half line. II, J. Math. Phys. 55 (2014), no. 3, 032103,

    work page 2014

  5. [25]

    Bairamov , Y

    MR 3221247 [BAC16] E. Bairamov , Y . Aygar, and S. Cebesoy , Spectral analysis of a selfadjoint matrix-valued discrete operator on the whole axis , J. Nonlinear Sci. Appl. 9 (2016), no. 6, 4257–

    work page 2016

  6. [27]

    MR 4192212 46 SHER, SILV A, VERTMAN, AND WINKLMEIER [BS87] M. Sh. Birman and M. Z. Solomjak, Spectral theory of selfadjoint operators in Hilbert space, Mathematics and its Applications (Soviet Series), D. Reid el Publishing Co., Dordrecht, 1987, Translated from the 1980 Russian original by S. Khrushch ¨ev and V . Peller. MR 1192782 (93g:47001) [Cas73] K. ...

    work page 1973

  7. [31]

    Ballesteros, G

    MR 4385984 [BFSB21] M. Ballesteros, G. Franco, and H. Schulz-Baldes, Analyticity properties of the scattering matrix for matrix Schr¨ odinger operators on the discrete li ne, J. Math. Anal. Appl. 497 (2021), no. 1, Paper No. 124856,

    work page 2021

  8. [88]

    MR 1173094 [Ros57] Marvin Rosenblum, Perturbation of the continuous spectrum and unitary equiva lence, Pacific J. Math. 7 (1957), 997–

    work page 1957

Show all 30 references
  1. [96]

    MR 4034546 DIFFERENCE EQUATIONS WITH OPERATOR COEFFICIENTS 47 [NY92a] S. N. Naboko and S. I. Y akovlev , The discrete Schr¨ odinger operator. A point spectrum ly- ing in the continuous spectrum , Algebra i Analiz 4 (1992), no. 3, 183–

    1992

  2. [138]

    MR 0133609 [T ar76] , The scattering problem for a difference equation with opera tor coefficients , Ukrain. Mat. ˇZ. 28 (1976), no. 3, 342– 351,

    1976

  3. [146]

    MR 332023 [CC73] K. M. Case and S. C. Chiu, The discrete version of the Marchenko equations in the inver se scattering problem, J. Mathematical Phys. 14 (1973), 1643–

    1973

  4. [195]

    MR 1190777 [NY92b] , The point spectrum of a discrete Schr¨ odinger operator , Funktsional. Anal. i Prilozhen. 26 (1992), no. 2, 85–

    1992

  5. [197]

    MR 0198301 [G66] I. M. Glazman, Direct methods of qualitative spectral analysis of singula r differential op- erators, Translated from the Russian by the IPST staff, Israel Progr am for Scientific Translations, Jerusalem, (1966), Daniel Davey & Co., Inc., New Y ork MR 0190800 [...

    1966

  6. [203]

    MR 1627806 (2001e:47020) [T ar61] V . G. T arnopol’skii, The dispersion problem for a difference equation , Soviet Math. Dokl. 2 (1961), 135–

    1961

  7. [227]

    Japan Acad

    MR 3671736 [Kat57] T osio Kato, Perturbation of continuous spectra by trace class operator s, Proc. Japan Acad. 33 (1957), 260–

    1957

  8. [264]

    Kato, Perturbation theory for linear operators , Classics in Mathematics, Springer- V erlag, Berlin,1995, Reprint of the 1980 edition

    MR 92133 [Kat95] T. Kato, Perturbation theory for linear operators , Classics in Mathematics, Springer- V erlag, Berlin,1995, Reprint of the 1980 edition. MR 1335452 [KF57] A. N. Kolmogorov and S. V . Fomin, Elements of the theory of functions and func- tional analysis. Vol

    1995

  9. [273]

    Simon, The classical moment problem as a self-adjoint finite differ ence operator , Adv

    MR 482328 [Sim98] B. Simon, The classical moment problem as a self-adjoint finite differ ence operator , Adv . Math. 137 (1998), no. 1, 82–

    1998

  10. [416]

    MR 559594 [Hul17] Artem Hulko, On the number of eigenvalues of the discrete one-dimensiona l Schr¨ odinger operator with a complex potential , Bull. Math. Sci. 7 (2017), no. 2, 219–

    2017

  11. [512]

    MR 954906 [Lja67] V . `E. Ljance, A non-selfadjoint difference operator , Dokl. Akad. Nauk SSSR 173 (1967), 1260–

    1967

  12. [603]

    Chadan and P

    MR 332065 [CS89] K. Chadan and P . C. Sabatier, Inverse problems in quantum scattering theory , second ed., T exts and Monographs in Physics, Springer-V erlag, New Y ork, 1989, With a foreword by R. G. Newton. MR 985100 [ `E66] M. S. `Eskina, The direct and the inverse scatter...

    1966

  13. [920]

    Mathematical Phys

    MR 332066 [Cas74] , The discrete inverse scattering problem in one dimension , J. Mathematical Phys. 15 (1974), 143–

    1974

  14. [1010]

    Reed and B

    MR 90028 [RS79] M. Reed and B. Simon, Methods of modern mathematical physics. III , Academic Press [Harcourt Brace Jovanovich Publishers], New Y ork, 1979, Scattering theory . MR 529429 (80m:81085) [Sim77] Barry Simon, Notes on infinite determinants of Hilbert space operators ,...

    1977

  15. [1048]

    MR 0454437 [Gus77] , The scattering problem for an infinite Jacobi matrix , Izv . Akad. Nauk Armyan. SSR Ser. Mat. 12 (1977), no. 5, 365– 379,

    1977

  16. [1263]

    MR 211028 [MBO92] F . G. Maksudov , `E. M. Ba ˘ıramov , and R. U. Orudzheva, An inverse scattering problem for an infinite Jacobi matrix with operator elements , Dokl. Akad. Nauk 323 (1992), no. 3, 415–

    1992

  17. [1292]

    MR 0405160 [Gus76b] , The inverse problem of scattering theory for a second order d ifference equation on the whole real line , Dokl. Akad. Nauk SSSR 231 (1976), no. 5, 1045–

    1976

  18. [1965]

    Aktosun, M

    MR 0184042 (32 #1518) [AKvdM01] T. Aktosun, M. Klaus, and C. van der Mee, Small-energy asymptotics of the scattering matrix for the matrix Schr¨ odinger equation on the line , J. Math. Phys. 42 (2001), no. 10, 4627–

    2001

  19. [1986]

    MR 862116 [W el85] S. T. W elstead, Infinite products in a Banach algebra , J. Math. Anal. Appl. 105 (1985), no. 2, 523–

    1985

  20. [1987]

    MR 883643 [CK73] K. M. Case and M. Kac, A discrete version of the inverse scattering problem , J. Mathe- matical Phys. 14 (1973), 594–

    1973

  21. [4262]

    Ballesteros, G

    MR 3530129 [BFGSB22] M. Ballesteros, G. Franco, G. Garro, and H. Schulz-Baldes, Band edge limit of the scat- tering matrix for quasi-one-dimensional discrete Schr¨ od inger operators , Complex Anal. Oper. Theory 16 (2022), no. 2, Paper No. 23,

    2022

  22. [4652]

    Aktosun, M

    MR 1855088 [AKW11] T. Aktosun, M. Klaus, and R. W eder, Small-energy analysis for the self-adjoint matrix Schr¨ odinger operator on the half line , J. Math. Phys. 52 (2011), no. 10, 102101,

    2011

Pith tools

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