{"id":"594dac8c-3a27-4d66-b308-58bafdb08fb6","arxiv_id":"2411.15905","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An analytic family of operators whose Jordan chains stabilize at length k can be locally diagonalized to a diagonal operator polynomial of degree k.","lead":"This paper gives conditions under which a family of linear operators depending analytically on a parameter can be rewritten, near a singular parameter value, as a simple diagonal operator polynomial. The result is a constructive normal form with a controlled pole order for the generalized inverse, useful for operator equations and bifurcation analysis in infinite-dimensional settings.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The theorem is conditional on closed complements / continuous projections at every recursion stage, which stabilization does not guarantee and the Section 5 bounded-inverse step requires.","rationale":"I read the manuscript in good faith and focused on Theorem 3(ii), the stated strongest claim. The algebraic recursion in Sections 3-4 is explicit and the formal factorization S(eps) = psi(eps) Delta(eps) is consistent; I found no fatal error in the main line. The genuinely load-bearing point is the passage from formal power series to analytic transformations in Section 5. The paper itself flags the needed condition: closed complements, equivalently continuous projections, for each stage of (3.5)-(3.8). This is exactly the hypothesis required for the bounded inverse theorem and for the fixed-point equation (5.16) to have an analytic solution in a Banach space of bounded operators. Stabilization of Jordan chains alone does not imply existence of closed complements in infinite-dimensional Banach spaces, so the theorem is conditional on a substantial extra hypothesis. This matches the reader's weakest assumption. The self-referential editorial note at the top and the many typographical corruptions are real presentation problems but do not change the mathematical assessment. Since no new mathematical objection was found, the reader's CONDITIONAL verdict should stand unchanged.","tokens_in":42045,"tokens_out":16989,"duration_ms":156062,"concrete_test":"Take B = B-tilde = l^2 and L(eps) = D + eps*I, where D is diagonal with eigenvalues lambda_n -> 0 and infinitely many zero eigenvalues, e.g. lambda_n = 1/n for odd n and 0 for even n. Then the kernel N1 is the closed subspace spanned by the zero eigenvectors while the range R1 is not closed. Run the recursion of Section 3 with an arbitrary algebraic complement N1^c; if the formal diagonalization yields unbounded S_1^{-1}, the analytic conclusion of Theorem 3 is lost, confirming that the closed-complement/projection-continuity hypothesis is load-bearing. As a sharper check, re-derive (5.16) in the operator space X = L(B,B)^{k+1} and verify that boundedness of H and Q(eps) fails exactly when some N_i^c or R_i is not closed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 3 depends on the hypothesis that the algebraic complements N_i^c and R_i^c produced at each stage of (3.5)-(3.8) are closed, equivalently that the projections P_i and P-tilde_i are continuous (Remark 1). This is not a consequence of stabilization at k: in infinite-dimensional Banach spaces, a closed subspace can have algebraic complements none of which is closed (for example c0 inside l_infinity), so the required complements may simply not exist. The proof uses this hypothesis in two essential places: (a) to apply the bounded inverse theorem to S_i|N_i^c: N_i^c -> R_i, obtaining bounded S_i^{-1}; and (b) to ensure that the finite data M(2k+1) entering q-bar(eps) and Q(eps) in (5.15)-(5.16) are bounded operators, so the fixed-point equation yields an analytic phi in the Banach space L(B,B)^{k+1}. If a complement is only algebraic, S_i^{-1} may be unbounded and the constructed phi, psi need not be bounded analytic, so the analytic diagonalization conclusion can fail. The assumption is thus genuinely load-bearing, though it is stated explicitly and not an internal inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an algebraic recursion for block-diagonalizing an analytic family L(ε)=Σ ε^i L_i of bounded operators between Banach spaces. Under the assumption that the Jordan chains stabilize at length k and that the recursively chosen algebraic complements are closed (equivalently, the associated projections are continuous), it constructs formal power series φ and ψ and a diagonal operator polynomial Δ(ε)=S_1P_1+...+ε^k S_{k+1}P_{k+1} satisfying L(ε)=ψ(ε)Δ(ε)φ^{-1}(ε). Theorems 1 and 2 supply the formal triangularization and factorization; Theorem 3 asserts analyticity of the transformations via a fixed-point equation in (5.15)-(5.16), and derives a generalized inverse with pole order k plus smooth continuation of kernels and ranges. A 3x3 matrix example illustrates the recursion and exhibits periodic coefficients.","tokens_in":42215,"tokens_out":7369,"duration_ms":71623,"significance":"If the claims are correct, the paper gives a constructive, self-contained route to a local Smith-type normal form for analytic operator families in infinite-dimensional Banach spaces under explicit hypotheses. The Toeplitz/M-matrix perspective and the reduction of the convergence question to a finite-data fixed-point equation are genuinely useful, and the worked example makes the recursion concrete and checkable. The main theorem is honestly conditional on closed complements at every stage, and the paper does not overstate its scope. Prior work by Bart-Kaashoek-Lay and Kaballo established smooth generalized inverses under similar stabilization conditions; the extra diagonal polynomial structure obtained here is a real strengthening. The formal parts of the recursion are presented in a way that can be verified independently, which is a strength of the paper.","major_comments":[{"comment":"The proof of Theorem 3 rests on the vector fixed-point equation ā(ε)=q̄(ε)+ε Q(ε)ā(ε). As written, the derivation is too compressed. In (5.14)-(5.15), the bracketed expressions involve block rows with 'k times' zero entries and several index shifts whose meaning is not fully specified, and the claim that q̄(ε) and Q(ε) are analytic in the operator norm and depend only on the finite data M(2k+1) together with the series in (5.17) is asserted rather than demonstrated. Since this is the only mechanism by which the formal power series φ(ε) of (4.24) is shown to converge, the paper should give a complete derivation of the equation, explicit formulas for q̄ and Q, a proof that I-εQ(ε) is invertible for small ε, and a convergence argument for the solution ā. This is a local fix, but it is load-bearing for Theorem 3(i)-(ii).","section":"Section 5, Eqs. (5.15)-(5.16)"},{"comment":"The central hypothesis of Theorem 3 is continuity of the projections P_i and 𝒫_i, i.e. closedness of the complements N_i^c and R_i^c at each stage. Stabilization at k does not imply that such closed complements exist in arbitrary Banach spaces; indeed, a closed subspace may have only non-closed algebraic complements. The paper acknowledges this in Remark 1, but the statements in the Introduction and Theorem 3 should make clear that this is an additional, independent assumption rather than a consequence of stabilization. Relatedly, Remark 3's assertion that a Fredholm L0 automatically yields continuous projections needs a short proof: because N(L0) is finite-dimensional and R(L0) is finite-codimensional, complements can be chosen closed, and the same remains true inductively. Without such a justification, a reader cannot tell how restrictive the theorem is.","section":"Theorem 3 and Remark 1"}],"minor_comments":[{"comment":"The opening line of the manuscript ('The paper represents a revised and rejected version of [19]...') is inappropriate for a journal submission and should be deleted or rewritten in a neutral way.","section":"Title page / Section 1"},{"comment":"The summation notation in the formula for E_{i,k+1} is garbled; it should read E_{i,k+1} = -S_i^{-1} 𝒫_i Σ_{ν=i+1}^{k+1} S̅_ν E_{ν,k+1} to be unambiguous.","section":"Eq. (3.7)"},{"comment":"The block entries M_{i,j} are used throughout the M-matrix before the notation is defined; please add a sentence stating that M_{i,j} are bounded operators from B to B when the matrix is introduced.","section":"Section 4, around (4.23)"},{"comment":"The invertibility of ψ(ε) and φ(ε) for small ε is used implicitly. Since these transformations are analytic and equal I at 0, this follows from the Neumann series in L(B,B) and L(B̃,B̃); state this explicitly.","section":"Theorem 3 proof"},{"comment":"The phrasing 'closed complements N_i^c and R_i^c' should be read together with the equivalence 'projection continuous iff both the image and kernel are closed'; making that equivalence explicit in Remark 1 would prevent a common misreading.","section":"Remark 1"},{"comment":"Several items in the reference list are marked 'not submitted'; if they are only preprints or unpublished notes, this should be stated clearly or the citations should be reduced.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the manuscript's main construction is coherent, and the concerns in the report concern the exposition and the convergence proof rather than an identified fatal flaw. The author's self-citation pattern ([14]-[19]) and the opening 'revised and rejected version' sentence should be cleaned up. The closed-complement assumption is explicit, so the paper is not internally inconsistent, but its scope should be framed carefully. With a substantial expansion of Section 5, I would support publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper delivers a genuinely constructive algebraic recipe for putting an analytic operator family L(epsilon) into local diagonal normal form, under Jordan-chain stabilization at length k plus continuity of the associated projections. The fine direct-sum resolution (1.3) and the explicit formulas for the near-identity transformations phi and psi go beyond the generalized-inverse existence results in [5,6,11]; that is the real contribution. The algebraic recursion in Section 3.1 is clearly stated, Lemma 1 and Theorems 1-2 look sound, and the 3x3 example checks out. The proof is self-contained and there are no fitted parameters or circular steps.\n\nNow the soft spots, in proportion. First, the load-bearing hypothesis is the closedness of the complements N_i^c and R_i^c at every stage, equivalently the continuity of the projections P_i and P-tilde_i (Remark 1). The stress-test concern is valid: stabilization at k does not guarantee that such closed complements exist in infinite-dimensional Banach spaces (c0 inside l_infinity is the standard counterexample). The proof needs the bounded inverse theorem to get bounded S_i^{-1}, and it needs the finite data M(2k+1) to be bounded to set up the fixed-point equation (5.15)-(5.16). So the analytic conclusion is genuinely conditional on an extra assumption. To the paper's credit, the assumption is stated explicitly rather than smuggled, but the paper should discuss cases where stabilization holds and closed complements fail.\n\nSecond, Section 5 is the weakest part. The fixed-point equation is long, the text around (4.23), (5.10), and (3.8) is corrupted by typos, and the convergence proof is not verified line by line. A referee would need a substantial rewrite of that section.\n\nThird, the manuscript opens with a self-referential note saying it is a revised and rejected version of [19] and that no substantial gap was identified. That editorial baggage does not belong in a submission and it complicates the novelty claim: the core diagonalization already appears in the author's own [19]. The incremental content here is the explicit transformation and the fine resolution; that should be stated in the introduction without the rejection narrative.\n\nWho is this for? Researchers in spectral theory, bifurcation, and operator-function theory who want explicit normal forms and generalized inverses. The algebraic part is solid; the analytic part needs work. I would not desk-reject it: the construction is of interest and the algebraic proof is careful enough to merit a serious referee. But I would send it back with major revision, requiring removal of the editorial note and a clean, verifiable rewrite of Section 5.","headline":"A constructive algebraic diagonalization result for analytic operator families, let down by a dense and typo-ridden analytic convergence section and an unnecessary editorial note about the paper's rejected predecessor.","tokens_in":42786,"tokens_out":4208,"would_cite":false,"duration_ms":37056,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47A56","15A21","47A55","47A53"],"pacs":[],"model":"deepseek-v4-flash","headline":"Analytic operator families between Banach spaces admit a local block-diagonal normal form whose pole order is read off from stabilized Jordan chains.","keywords":["Diagonalization","Jordan chain","Generalized inverse","Toeplitz matrix","Smith form","Banach spaces","Operator power series","Analytic operator family"],"falsifier":"For the 3x3 example in the paper, carry out the recursion one step beyond $k=3$ and check that the claimed period-4 pattern of $\\phi_i$ and the displayed $\\psi(\\varepsilon)$ satisfy $\\psi^{-1}L\\phi=\\Delta$; any disagreement in a coefficient would break the argument. In a general Banach space, take an analytic family stabilizing at $k=1$ whose kernel $N_1$ is closed but has no closed complement; if a bounded near-identity diagonalization with degree-1 $\\Delta$ still exists, the closed-complement hypothesis is not necessary, while failure to construct the transformation would confirm that the hypothesis carries the argument.","tokens_in":41766,"feed_emoji":"🔢","tokens_out":9992,"duration_ms":82847,"temperature":0.7,"pith_summary":"This paper establishes sufficient conditions under which an analytic family of bounded linear operators $L(\\varepsilon)$ acting between real or complex Banach spaces can be locally diagonalized: there exist analytic near-identity transformations $\\phi(\\varepsilon)$ and $\\psi(\\varepsilon)$ for which $\\psi^{-1}(\\varepsilon)L(\\varepsilon)\\phi(\\varepsilon)=\\Delta(\\varepsilon)$, a diagonal operator polynomial $\\Delta(\\varepsilon)=S_1P_1+\\varepsilon S_2P_2+\\cdots+\\varepsilon^k S_{k+1}P_{k+1}$. The key hypothesis is stabilization of the Jordan chains at length $k$: no root element has finite rank greater than $k$, though root elements of infinite rank may exist. Together with closedness of the subspaces produced by an explicit recursion, this gives the diagonal form and, as a byproduct, a generalized inverse $L^{-1}(\\varepsilon)$ whose pole at $\\varepsilon=0$ has order exactly $k$. If correct, the result supplies the infinite-dimensional analogue of classical local normal forms and Smith factorization for analytic matrix functions, with explicit formulas for the transformations.","feed_headline":"Analytic operator families reduce to diagonal polynomials","feed_subtitle":"Stabilized Jordan chains force a k-pole inverse and analytic continuation of kernels and ranges.","key_machinery":"The central object is the semi-infinite block matrix $M$ built by the recursion $S_{k+1}=(I-\\mathcal P_1-\\cdots-\\mathcal P_k)[L_1\\cdots L_k]M_k$, followed by splitting the current kernel and range to define the next subspaces and projections. Its columns are Jordan-chain vectors, and the identity $(L_0\\cdots L_k)M^{(k+1)}=(S_1\\cdots S_{k+1})$ converts the recursion into an actual triangularization of $L(\\varepsilon)$. Once the Jordan chains stabilize at $k$, the part of $M$ below row $k+1$ becomes a Toeplitz matrix, meaning its entries are constant along diagonals, and row $k+1$ supplies the coefficients of the near-identity transformation $\\phi(\\varepsilon)$. A companion upper-triangular matrix $E$, whose inverse solves the triangular system defining the kernel of the Toeplitz coefficient matrix $\\Delta_{k+1}$, makes the cancellation identities explicit.","core_discovery":"The central claim is Theorem 3(ii): under stabilization at $k$ and continuity of the projections $P_i$ and $\\mathcal P_i$ defined along the recursion, the analytic family $L(\\varepsilon)$ is diagonalized by analytic near-identity transformations according to $\\psi^{-1}(\\varepsilon)L(\\varepsilon)\\phi(\\varepsilon)=\\Delta(\\varepsilon)$ with $\\Delta(\\varepsilon)=S_1P_1+\\varepsilon S_2P_2+\\cdots+\\varepsilon^k S_{k+1}P_{k+1}$. The proof is constructive and algebraic: a recursion splits the domain and range into direct sums $B=N_1^c\\oplus\\cdots\\oplus N_{k+1}^c\\oplus N_{k+1}$ and $\\tilde B=R_1\\oplus\\cdots\\oplus R_{k+1}\\oplus R_{k+1}^c$, and the columns of a semi-infinite block matrix $M$ record Jordan chains and, once stabilization occurs, become Toeplitz. Reading row $k+1$ of $M$ gives the coefficients of $\\phi$, while $\\psi$ is assembled from the operators $S_i$; the same data yield a generalized inverse with pole order $k$, explicit continuation of kernels and ranges, and a Smith factorization.","pith_inferences":["The explicit Toeplitz structure means that in finite-dimensional problems the recursion is an algorithm for computing the diagonal form, the transformation coefficients, and the pole order by linear algebra alone; complexity and numerical conditioning are not discussed in the paper.","Since the recursion is purely formal before analyticity is invoked, the same proof should survive with the field $\\mathbb K$ replaced by a suitable ring or with convergence measured in a different topology, a direction the paper only hints at.","The recursion's reliance on chosen complements suggests that in non-Hilbert spaces the expected failure mode is the absence of closed ranges rather than the absence of stabilization; a concrete family with a non-complemented kernel would test where the theorem's boundary lies."],"forward_implications":["For $\\varepsilon\\neq0$, $L^{-1}(\\varepsilon)=\\phi(\\varepsilon)\\Delta^{-1}(\\varepsilon)\\psi^{-1}(\\varepsilon)$ is a generalized inverse that is analytic in a punctured neighbourhood of $0$ and has a pole of order exactly $k$ at $\\varepsilon=0$.","Kernels and ranges continue analytically to the limit spaces: $N[L(\\varepsilon)]=\\phi(\\varepsilon)N_{k+1}$ and $R[L(\\varepsilon)]=\\psi(\\varepsilon)(R_1\\oplus\\cdots\\oplus R_{k+1})$ for $\\varepsilon\\neq0$, so no jump in dimension occurs as $\\varepsilon$ passes through $0$.","The diagonal polynomial factorizes as $\\Delta(\\varepsilon)=S_PP(\\varepsilon)$, yielding a Smith factorization $L(\\varepsilon)=\\mathcal A(\\varepsilon)P(\\varepsilon)\\phi^{-1}(\\varepsilon)$ and a version in which $L(\\varepsilon)$ is reduced to the constant operator $S_P$ after inverting $P$.","A meromorphic operator family $M(\\varepsilon)$ with pole order $p$ is covered by applying the theorem to the analytic family $\\varepsilon^pM(\\varepsilon)$, so the diagonalization and pole-order statements extend to the meromorphic setting."],"supporting_citations":[{"why":"Gives the smooth generalized inverse criterion (stabilized Jordan chains plus closedness) that this paper extends to full diagonalization.","marker":"[6, Theorem 2.4]"},{"why":"Proves existence of meromorphic generalized inverses under the same conditions; the paper's contribution is the fine direct-sum resolution that yields a diagonal polynomial instead of only an inverse.","marker":"[11, Theorem 3.9]"},{"why":"Supplies stability properties of finite meromorphic operator functions used to justify analytic continuation of kernels and ranges.","marker":"[5]"},{"why":"Provides the Jordan-chain definitions and algebraic multiplicity theory, as well as a recursion for the direct-sum decomposition of the range space.","marker":"[12, Theorem 7.8.3]"},{"why":"Introduced the recursion in nonlinear form and the factorization/blow-up idea that the present paper adapts to operator power series with explicit coefficient formulas.","marker":"[14, 295-300]"},{"why":"Contains diagonalization and Smith form results for holomorphic operator functions with Fredholm leading part, recovered here as a special case when $L_0$ is Fredholm.","marker":"[9, Theorem 11.6.4]"}],"fun_headline_variants":["Stabilized Jordan chains yield diagonal operator polynomials","Analytic families diagonalize via Jordan chain stabilization","Constructive diagonalization of analytic operators by Jordan chains","Jordan chain stabilization forces diagonalization and Smith form","Algebraic recursion diagonalizes operator families with pole order k"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction requires that at every step of the recursion the chosen algebraic complements $N_i^c$ and $R_i^c$ be closed subspaces; in general Banach spaces closed complements need not exist, so this is an extra assumption and not a consequence of stabilization.","fun_headline_variants_meta":{"raw":{"variants":["Stabilized Jordan chains yield diagonal operator polynomials","Analytic families diagonalize via Jordan chain stabilization","Constructive diagonalization of analytic operators by Jordan chains","Jordan chain stabilization forces diagonalization and Smith form","Algebraic recursion diagonalizes operator families with pole order k"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000556,"raw_usage":{"total_tokens":2638,"prompt_tokens":927,"completion_tokens":1711,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":543,"completion_tokens_details":{"reasoning_tokens":1637}},"tokens_in":543,"tokens_out":1711,"duration_ms":10787,"temperature":1.0,"reasoning_tokens":1637,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:46:33.709712+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the 3x3 example in the paper, carry out the recursion one step beyond $k=3$ and check that the claimed period-4 pattern of $\\phi_i$ and the displayed $\\psi(\\varepsilon)$ satisfy $\\psi^{-1}L\\phi=\\Delta$; any disagreement in a coefficient would break the argument. In a general Banach space, take an analytic family stabilizing at $k=1$ whose kernel $N_1$ is closed but has no closed complement; if a bounded near-identity diagonalization with degree-1 $\\Delta$ still exists, the closed-complement hypothesis is not necessary, while failure to construct the transformation would confirm that the hypothesis carries the argument.","supporting_citations":[{"cited_title":"Bart, M.A","cited_arxiv_id":null,"evidence_quote":"Supplies stability properties of finite meromorphic operator functions used to justify analytic continuation of kernels and ranges."}],"review_version":1}