pith. machine review for the scientific record. sign in

arxiv: 2604.25686 · v2 · submitted 2026-04-28 · 🧮 math.FA · cs.NA· math.NA· math.SP

Recognition: unknown

Some results on Krylov solvability in Banach space and connections to spectral theory

Noe Angelo Caruso

Pith reviewed 2026-05-08 03:27 UTC · model grok-4.3

classification 🧮 math.FA cs.NAmath.NAmath.SP
keywords Krylov subspacesolvabilityBanach spacespectral theoryresolvent operatorinverse problemfunctional analysis
0
0 comments X

The pith

The lack of topological complements for closed Krylov subspaces in Banach spaces hinders direct extension of Hilbert-space Krylov solvability results, necessitating spectral tools based on resolvents.

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

This paper initiates the study of Krylov solvability for inverse linear problems in general Banach spaces. In Hilbert spaces, solvability connects closely to properties of the Krylov subspace, but Banach spaces introduce complications because closed Krylov subspaces do not always admit topological complements. The authors examine this obstacle and introduce spectral methods using the resolvent operator's holomorphic properties to address solvability. Understanding these issues matters for applying Krylov methods beyond Hilbert spaces in functional analysis and operator theory.

Core claim

The central discovery is that the closed Krylov subspace generated by an operator and a vector in a Banach space may lack a topological complement in the space, which prevents straightforward transfer of solvability criteria from the Hilbert case. To circumvent this, the paper develops connections to spectral theory by considering the resolvent operator and exploiting its analytic properties on the resolvent set.

What carries the argument

The closed Krylov subspace without a topological complement, addressed via the resolvent operator and its holomorphic functional calculus.

If this is right

  • Krylov solvability cannot be characterized solely by subspace properties without complement assumptions.
  • Spectral conditions on the resolvent may provide alternative criteria for solvability.
  • In spaces where complements exist, Hilbert-like results may apply directly.
  • The inverse problem solution can be approximated within the Krylov subspace under certain spectral conditions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This suggests that numerical methods relying on Krylov subspaces in Banach spaces need adjusted convergence guarantees compared to the Hilbert setting.
  • Future work could classify Banach spaces where Krylov subspaces do have complements.
  • Connections to other approximation theories in non-Hilbert settings might emerge from the resolvent approach.

Load-bearing premise

The central obstacle to transferring Hilbert-space results is the possible absence of a topological complement for the closed Krylov subspace.

What would settle it

A counterexample Banach space and operator where the closed Krylov subspace has a topological complement but solvability fails, or vice versa, would challenge the centrality of this obstacle.

read the original abstract

This article contains the first steps in a general analysis of the problem of Krylov solvability of the inverse linear problem in a Banach space. In contrast to the well-studied Hilbert space setting, the Banach space setting presents particular difficulties in creating the connection between Krylov solvability and structural properties of the Krylov subspace itself. At the centre of this is the fact that the closed Krylov subspace may not always have a topological complement. We also develop spectral tools in order to attack the problem using the resolvent operator and exploiting its holomorphic properties on the resolvent set.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The manuscript initiates a general analysis of Krylov solvability for inverse linear problems in Banach spaces. It contrasts the setting with the well-studied Hilbert-space case by identifying the possible absence of a topological complement for the closed Krylov subspace as the central structural difficulty, and develops spectral tools based on the resolvent operator and its holomorphic properties on the resolvent set to address the problem.

Significance. If the spectral/resolvent approach can be shown to yield concrete solvability criteria that circumvent the complement obstruction, the work would provide a useful bridge between Krylov methods and spectral theory in general Banach spaces. At present the significance is limited by the absence of explicit examples or derivations that demonstrate how the lack of a complement actually blocks transfer of Hilbert-space results.

major comments (2)
  1. [Abstract/Introduction] Abstract and opening paragraphs: the claim that the absence of a topological complement for the closed Krylov subspace is the central obstacle to transferring Hilbert-space solvability results is not supported by any concrete operator A, vector x, and Banach space X in which the closed Krylov subspace admits no continuous projection and this absence produces a verifiable solvability obstruction.
  2. [Spectral tools] Spectral-tools development: the holomorphic properties of the resolvent on the resolvent set are invoked, yet no theorem or derivation is supplied that links these properties back to the complement issue or produces a new solvability criterion that would not have been available in the Hilbert case.
minor comments (1)
  1. Notation for the Krylov subspace K(A,x) and its closure should be introduced once and used consistently; the current text occasionally shifts between descriptive phrases and symbols without explicit definition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and indicate the revisions we will make to strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract/Introduction] Abstract and opening paragraphs: the claim that the absence of a topological complement for the closed Krylov subspace is the central obstacle to transferring Hilbert-space solvability results is not supported by any concrete operator A, vector x, and Banach space X in which the closed Krylov subspace admits no continuous projection and this absence produces a verifiable solvability obstruction.

    Authors: We agree that the manuscript would benefit from an explicit example illustrating how the lack of a topological complement creates a concrete obstruction not present in the Hilbert-space setting. The current text relies on the general fact from Banach space theory that closed subspaces need not be complemented, but does not exhibit a specific operator and vector where this produces a verifiable difference in Krylov solvability. We will add such an example (for instance, a suitable weighted shift on a non-reflexive Banach space such as c_0 or l^1) to the revised introduction. revision: yes

  2. Referee: [Spectral tools] Spectral-tools development: the holomorphic properties of the resolvent on the resolvent set are invoked, yet no theorem or derivation is supplied that links these properties back to the complement issue or produces a new solvability criterion that would not have been available in the Hilbert case.

    Authors: The spectral tools section develops the resolvent operator and its holomorphic properties as a means to study Krylov solvability without assuming the existence of a complement. However, we acknowledge that the manuscript does not yet contain an explicit theorem that isolates a solvability criterion derived from holomorphy which demonstrably circumvents the complement obstruction. We will insert a new proposition in the spectral-tools section that derives such a criterion and contrasts it with the Hilbert-space case. revision: yes

Circularity Check

0 steps flagged

No circularity: claims rest on standard Banach-space facts and resolvent holomorphy

full rationale

The paper states that closed Krylov subspaces need not admit topological complements and proposes to use resolvent holomorphy to study solvability. These are presented as known general facts from functional analysis rather than results derived within the paper. No equation or theorem reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology. The abstract and described approach remain self-contained against external benchmarks in Banach-space theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background from functional analysis and operator theory without introducing new free parameters, ad-hoc axioms, or invented entities.

axioms (1)
  • standard math Holomorphic properties of the resolvent operator on the resolvent set
    Invoked to develop spectral tools for the solvability problem.

pith-pipeline@v0.9.0 · 5391 in / 1081 out tokens · 39648 ms · 2026-05-08T03:27:01.962644+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references

  1. [1]

    Albiac and N

    F. Albiac and N. J. Kalton , Topics in Banach Space Theory , vol. 233 of Graduate Texts in Mathematics, Springer Nature, second ed., 2016

    2016

  2. [2]

    Brezis , Functional A nalysis, S obolev S paces and P artial D ifferential E quations , Universitext , Springer, New York, 2011

    H. Brezis , Functional A nalysis, S obolev S paces and P artial D ifferential E quations , Universitext , Springer, New York, 2011

    2011

  3. [3]

    Campbell, I

    S. Campbell, I. Ipsen, C. Kelly, C. Meyer, and Z. Xue , Convergence estimates for solution of integral equations with gmres , The Journal of Integral Equations and Applications, 8 (1996), pp. 19--34

    1996

  4. [4]

    S. L. Campbell, I. C. F. Ipsen, C. T. Kelley, and C. D. Meyer , GMRES and the minimal polynomial , BIT Numerical Mathematics , 36 (1996), pp. 664--675

    1996

  5. [5]

    N. A. Caruso and A. Michelangeli , Krylov S olvability of U nbounded I nverse L inear P roblems , Integral Equations Operator Theory, 93 (2021), p. Paper No. 1

    2021

  6. [6]

    height 2pt depth -1.6pt width 23pt, Convergence of the conjugate gradient method with unbounded operators , Operators and M atrices, 16 (2022), pp. 35--68

    2022

  7. [7]

    height 2pt depth -1.6pt width 23pt, Inverse Linear Problems on Hilbert Space and their Krylov Solvability , Springer Monographs in Mathematics , Springer Nature Switzerland AG, Cham, 2022

    2022

  8. [8]

    height 2pt depth -1.6pt width 23pt, Krylov solvability under perturbations of abstract inverse linear problems , Journal of Applied Analysis, 29 (2023), pp. 3--29

    2023

  9. [9]

    N. A. Caruso, A. Michelangeli, and P. Novati , On Krylov solutions to infinite-dimensional inverse linear problems , Calcolo, 56 (2019), p. 32

    2019

  10. [10]

    Caruso, NA , S tructural properties of K rylov subspaces, K rylov solvability, and applications to unbounded self-adjoint operators , Banach Journal of Mathematical Analysis, 19 (2025)

    2025

  11. [11]

    Caruso, NA and Michelangeli, A , O pen problems and perspectives on solving F riedrichs systems by K rylov approximation , in S ingularities, A symptotics, and L imiting M odels, Springer INdAM Series, Springer Nature, 2025

    2025

  12. [12]

    Caruso, No\` e Angelo , A note on the Krylov solvability of compact normal operators on Hilbert space , Complex Analysis and Operator Theory , 17 (2023)

    2023

  13. [13]

    J. W. Daniel , The conjugate gradient method for linear and nonlinear operator equations , SIAM J. Numer. Anal., 4 (1967), pp. 10--26

    1967

  14. [14]

    Dongarra and F

    J. Dongarra and F. Sullivan , The Top 10 Algorithms (Guest editors' intruduction) , Comput. Sci. Eng., 2 (2000), pp. 22--23

    2000

  15. [15]

    H. W. Engl, M. Hanke, and A. Neubauer , Regularization of inverse problems , vol. 375 of Mathematics and its Applications , Kluwer Academic Publishers Group, Dordrecht, 1996

    1996

  16. [16]

    Grimm and T

    V. Grimm and T. G\" o ckler , Automatic smoothness detection of the resolvent K rylov subspace method for the approximation of C_0 -semigroups , SIAM Journal on Numerical Analysis, 55 (2017), pp. 1483--1504

    2017

  17. [17]

    Hanke , Conjugate gradient type methods for ill-posed problems , vol

    M. Hanke , Conjugate gradient type methods for ill-posed problems , vol. 327 of Pitman Research Notes in Mathematics Series , Longman Scientific & Technical, Harlow, 1995

    1995

  18. [18]

    Karush , Convergence of a method of solving linear problems , Proc

    W. Karush , Convergence of a method of solving linear problems , Proc. Amer. Math. Soc., 3 (1952), pp. 839--851

    1952

  19. [19]

    Kato , Perturbation theory for linear operators , Classics in Mathematics , Springer-Verlag, Berlin, 1995

    T. Kato , Perturbation theory for linear operators , Classics in Mathematics , Springer-Verlag, Berlin, 1995. Reprint of the 1980 edition

    1995

  20. [20]

    Lang , Complex Analysis , vol

    S. Lang , Complex Analysis , vol. 103 of Graduate Texts in Mathematics, Springer, New York, 4th ed., 1999

    1999

  21. [21]

    Liesen and Z

    J. Liesen and Z. e. Strako s , Krylov subspace methods , Numerical Mathematics and Scientific Computation , Oxford University Press, Oxford, 2013. Principles and analysis

    2013

  22. [22]

    A. S. Nemirovski , Regularizing properties of the conjugate gradient method in ill-posed problems , Zh. Vychisl. Mat. i Mat. Fiz., 26 (1986), pp. 332--347, 477

    1986

  23. [23]

    A. S. Nemirovskiy and B. T. Polyak , Iterative methods for solving linear ill-posed problems under precise information. I , Izv. Akad. Nauk SSSR Tekhn. Kibernet., (1984), pp. 13--25, 203

    1984

  24. [24]

    II , Engineering Cybernetics, 22 (1984), pp

    height 2pt depth -1.6pt width 23pt, Iterative methods for solving linear ill-posed problems under precise information. II , Engineering Cybernetics, 22 (1984), pp. 50--57

    1984

  25. [25]

    Rudin , Real and C omplex A nalysis , McGraw-Hill Book Co., New York, third ed., 1987

    W. Rudin , Real and C omplex A nalysis , McGraw-Hill Book Co., New York, third ed., 1987

    1987

  26. [26]

    Saad , Iterative methods for sparse linear systems , Society for Industrial and Applied Mathematics, Philadelphia, PA, second ed., 2003

    Y. Saad , Iterative methods for sparse linear systems , Society for Industrial and Applied Mathematics, Philadelphia, PA, second ed., 2003

    2003

  27. [27]

    Whitley , Projecting m onto c_0 , The American Mathematical Monthly, 73 (1966), pp

    R. Whitley , Projecting m onto c_0 , The American Mathematical Monthly, 73 (1966), pp. 285--286

    1966