{"id":"63dbbabe-840b-490c-bdc4-967378a0ff13","arxiv_id":"2507.23049","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper defines generalized multiple operator integrals for continuous-spectrum operators and derives perturbation and spectral shift formulas, but the assumed spectral decomposition is not valid for the intended operator class.","lead":"This preprint extends the author's earlier theory of multiple operator integrals to operators it calls non-normal with continuous spectra, and claims Krein-type spectral shift formulas. The extension is mostly formal: the key spectral decomposition it assumes does not hold for generic such operators, so the central results are not established.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The GMOI definition relies on a Jordan-type spectral decomposition (Eqs. (2)/(18)) that is not established for non-normal continuous-spectrum operators and fails for the unilateral shift.","rationale":"The reader's weakest assumption matches the root cause. The paper's abstract and Section 3 define GMOIs for general non-normal continuous-spectrum operators, but every displayed formula is a spectral integral over projection-valued measures dE_X. Such measures do not exist for arbitrary non-normal operators; they characterize spectral operators, possibly after adding a commuting quasinilpotent part. The unilateral shift is a standard counterexample, so the claimed framework does not apply to the advertised class. The perturbation and continuity theorems inherit this failure: Theorem 2's proof uses identities like ∫ dE_C = I that are unavailable, and Theorem 5's proof relies on Lemma 3, whose smooth-variation assumption is asserted rather than proved. The spectral shift results (Theorems 6 and 8) additionally invoke trace and Riesz-representation arguments for operators that need not be trace class, but the more fundamental issue is the nonexistent spectral decomposition. A concrete check on the unilateral shift would settle the matter: if the decomposition fails there, the central claim is not merely unproven but false for the intended class. Therefore the reader's REJECT verdict is justified, and no adjustment is needed.","tokens_in":43457,"tokens_out":3853,"duration_ms":50982,"concrete_test":"Check Eq. (2) against the unilateral shift S on ℓ². Suppose there exist a projection-valued measure E on σ(S) and a quasinilpotent N with S = ∫ λ dE(λ) + N and E(Δ)N = N E(Δ) for all Borel Δ. Use Dunford's theorem to conclude S is a spectral operator; alternatively derive a contradiction by evaluating E on the boundary {|z|=1}, which would give a reducing subspace with the complement having spectrum inside the open disk, contradicting σ(S) = closed unit disk. If the decomposition fails for S, then Eq. (17) is undefined for a standard non-normal operator with continuous spectrum.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (2) (and Eq. (18) for the X_p) asserts that every bounded non-normal operator X decomposes as X = ∫ λ dE_X(λ) + ∫ (X−λI) dE_X(λ), where dE_X is a \"spectrum measure\" and (X−λI)^{m_λ} dE_X(λ) = 0. For the integrals to be operator-valued, dE_X must be a projection-valued measure; then X is a spectral operator in Dunford's sense, possibly with a commuting quasinilpotent part. But the unilateral shift S on ℓ² is bounded, non-normal, has spectrum the closed unit disk, and is not spectral: it admits no countably additive projection-valued resolution of the identity. Therefore Eq. (2) cannot hold for S, a basic example of a non-normal operator with continuous spectrum. The proof of Theorem 2 explicitly uses ∫ dE_C = I = ∫ dE_D (after Eq. (57)), which already presupposes such a resolution. Since Eq. (17) defines every GMOI from Eq. (2), the central construction is undefined on this example. Theorem 1 is cited from [18] and itself assumes Eq. (5), so it does not supply the missing proof for the general class. The continuity theorem inherits the problem: Lemma 3 assumes \"smooth variation of the Jordan decomposition\" and \"stable geometric multiplicities,\" which are not proven and fail for non-spectral operators.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a theory of generalized multiple operator integrals (GMOIs) for general non-normal, non-self-adjoint operators with continuous spectra. The central definition in Eq. (17) is based on a Jordan-type spectral decomposition Eq. (2)/(18), and the paper claims a perturbation formula (Theorem 2), norm and Lipschitz estimates (Theorems 3 and 4), operator-norm continuity (Theorem 5), and a Krein-type spectral shift formula for GDOIs and its (n−1)-th order approximation (Theorems 6 and 8).","tokens_in":43894,"tokens_out":4144,"duration_ms":48655,"significance":"If the claimed framework were valid, it would substantially extend multilinear operator integration beyond the self-adjoint and normal settings and would give new spectral shift representations. The paper is explicit and ambitious: it defines the objects concretely, derives detailed algebraic expressions in Eqs. (37) through (47), and attempts to prove two key perturbation identities. I also note that no machine-checked proofs or reproducible code are provided, and the central theorems rely on the author's own unpublished preprints [15]–[18]. However, the load-bearing spectral decomposition in Eq. (2)/(18) is not valid for the claimed operator class and fails for the unilateral shift, so the significance of the results as stated is not realized.","major_comments":[{"comment":"The paper assumes every bounded non-normal operator with continuous spectra decomposes as X = ∫ λ dE_X(λ) + ∫ (X − λI) dE_X(λ), where dE_X is a spectral measure and m_λ is a nilpotent order. This is a Jordan-type decomposition that exists for finite-dimensional operators and for spectral operators in Dunford's sense, but it is not available for general non-normal continuous-spectrum operators. A concrete counterexample is the unilateral shift S on ℓ², which is bounded and non-normal, has spectrum the closed unit disk, and is not a spectral operator; it admits no countably additive projection-valued resolution of the identity. Therefore Eq. (17), which defines every GMOI from this decomposition, is undefined for such a basic example. The citation of Theorem 1 from [18] does not remedy this, because Theorem 1 itself assumes the same decomposition in Eq. (5).","section":"Section 2, Eqs. (2) and (18); Section 3.1, Eq. (17)"},{"comment":"The proof of the first perturbation identity uses ∫ dE_C(λ_c) = I = ∫ dE_D(λ_d), which presupposes that dE_C and dE_D are projection-valued resolutions of the identity. This is exactly the spectrality assumption that is not established for the operator class in question. In addition, only the identities in Eqs. (49) and (50) are proved; the identities in Eqs. (51) through (56) are dismissed with 'can be proved similarly' even though they are needed for the theorem.","section":"Section 4, Theorem 2, proof of Eq. (49), Eq. (57)"},{"comment":"Lemma 3's proof relies on 'smooth variation of the Jordan decomposition (i.e., assuming stable geometric multiplicities)' and on Fréchet derivatives of spectral projectors and nilpotent parts. For non-spectral operators with continuous spectra these objects are not defined, and the asserted convergence of the correction terms to zero is not established. Since Theorem 5 applies Theorem 2 and Lemma 3 to every term of the telescoping sum in Eq. (98), the continuity claim is unsupported.","section":"Section 6, Lemma 3 and Theorem 5"},{"comment":"Theorem 8 asserts the existence of single-variable functions η_{i,j}(z) and bivariate kernels K_{i',j'}(z1,z2) through the Riesz representation theorem and a 'generalized Riesz representation theorem.' No hypotheses are provided under which the linear functional f^(i) ↦ Tr(T_{f^{[i]}}) and the bilinear functionals in Lemma 4 are bounded or representable; moreover, for operators outside the scope of Eq. (18) the GMOIs in Eq. (113) are undefined. The proof also depends on Theorem 7, which is quoted from [17], and footnote 1 explicitly states that the continuous-spectrum extension 'preserves the same structural form' as Theorem 2; this is an asserted analogy, not a proof, and it does not supply the missing justification.","section":"Section 7, Lemma 4, Theorem 8, and footnote 1"}],"minor_comments":[{"comment":"The manuscript contains numerous typographical errors and misspellings, such as 'comventional,' 'signficant,' 'beings complicaiton,' 'terems,' and 'funtion,' together with repeated broken equations, for example the double equality sign in Eq. (7) and the missing parenthesis in Eq. (45) ('dED(λdYj'). A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The notation is inconsistent in several places: 'λ kζ+1' and 'λ k′' appear instead of the intended eigenvalue labels, and the relationship between the indices in Eq. (10) and the arguments of β is not fully explained.","section":"Section 2, Eqs. (8), (10), and (13)"},{"comment":"The definition introduces Y_{ζ+1} = I at the end of the formula, but this convention is not stated before the integral is written; it should be made explicit earlier, since it affects the product structure in every term of the definition.","section":"Section 3.1, Eq. (17)"}],"recommendation":"reject","confidential_remarks":"The central difficulty is not merely a gap in a proof but the absence of a valid spectral decomposition for the stated operator class; the unilateral shift counterexample shows the framework as written cannot be repaired by local edits. In addition, the dependence on the author's own unpublished preprints [15]–[18] for Theorem 1, Lemma 1, and Theorem 7 makes independent verification difficult, and the novelty relative to [17] is not crisply delineated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe punchline: the paper's central decomposition (Eq. (2)/(18)) is not established for general non-normal operators with continuous spectra, and the unilateral shift on ℓ² shows it fails. So the GMOI calculus defined in Eq. (17) is undefined on a basic example. The stress-test note is accurate.\n\nWhat is new: the author takes his finite-dimensional GMOI and formally replaces sums by spectral integrals to get a continuous-spectrum framework, then derives algebraic properties (Proposition 2), norm bounds (Theorem 3), Lipschitz estimates (Theorem 4), a perturbation formula (Theorem 2), and Krein-type formulas (Theorems 6 and 8). The formal structure is systematic, and the paper is transparent about its reliance on his preprints [17], [18].\n\nThe soft spots are decisive. Eq. (2) asserts a Jordan-type decomposition X = ∫ λ dE_X(λ) + ∫ (X−λ I)dE_X(λ) with (X−λ I)^{m_λ} dE_X(λ)=0, for every non-normal operator with continuous spectrum. That requires dE_X to be a projection-valued measure and X to be a spectral operator in Dunford's sense. The unilateral shift is bounded, non-normal, has the closed unit disk as spectrum, and admits no countably additive projection-valued resolution of the identity. So Eq. (2) is false for it. The proof of Theorem 2 uses ∫ dE_C = I = ∫ dE_D, which already presupposes such a resolution. Theorem 1 is quoted from [18] and itself assumes Eq. (5), so it doesn't supply the missing theorem. Theorem 5's Lemma 3 assumes 'smooth variation of the Jordan decomposition' and 'stable geometric multiplicities' with no proof. The spectral shift theorems assert existence of η and K kernels by Riesz representation but do not justify trace integrals or derive the kernels.\n\nThe circularity burden is real: the definition (17) is Theorem 1 from [18]; Lemma 1 is from [17]; Theorem 2 is the continuous analog of Theorem 3 in [17]. Self-citation isn't inherently bad, but here the cited work doesn't establish the needed decomposition.\n\nThis is not a crank paper: the finite-dimensional GMOI theory may be worth knowing, and the formal manipulations are coherent conditional on Eq. (2). But as it stands, the main claim is unsupported and the counterexample is decisive. I would not send this to a referee in current form; I'd recommend the author either prove Eq. (2) for the claimed class or restrict the theory to spectral operators and resubmit.","headline":"The central spectral decomposition (Eq. 2/18) fails for the unilateral shift, so the GMOI calculus is undefined on basic non-normal continuous-spectrum operators; the formal machinery doesn't overcome this.","tokens_in":44307,"tokens_out":5642,"would_cite":false,"duration_ms":64788,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47A55","47A60"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that generalized multiple operator integrals can be defined for non-normal operators with continuous spectra, and that a Krein-type spectral shift formula follows.","keywords":["multiple operator integrals","generalized operator integrals","continuous spectrum","non-self-adjoint operators","perturbation formula","spectral shift function","trace formula","divided differences"],"falsifier":"Take a bounded non-normal operator without eigenvalues, such as the Volterra operator $Vf(x)=\\int_0^x f(t)\\,dt$ on $L^2[0,1]$, and check whether the assumed decomposition $V = \\int \\lambda\\,dE_V(\\lambda)+\\int (V-\\lambda I)\\,dE_V(\\lambda)$ can be realized with nontrivial nilpotent orders; if the spectral measures $dE_V(\\lambda)$ and orders $m_\\lambda$ cannot be defined, then the right-hand side of Eq. (17) is undefined and the central claim fails for this operator.","tokens_in":43268,"feed_emoji":"🧮","tokens_out":4206,"duration_ms":49535,"temperature":0.7,"pith_summary":"The paper sets out to build a generalized multiple operator integral (GMOI) calculus for operators that need not be self-adjoint or normal and may have continuous spectra. It proposes a definition in Eq. (17) that extends the usual multiple operator integral by incorporating nilpotent correction terms coming from a Jordan-type spectral decomposition of each operator. On top of that definition it proves a perturbation formula, norm and Lipschitz bounds, operator-norm continuity, and a Krein-type spectral shift representation for the trace of Taylor remainders. A sympathetic reading is that this supplies a unified multi-operator integration framework for a class of continuous-spectrum non-normal operators that classical spectral-theoretic tools cannot handle.","feed_headline":"Spectral shift formula reaches non-normal continuous spectra","feed_subtitle":"A generalized multiple-operator integral calculus gives trace formulas and perturbation bounds beyond self-adjoint theory.","key_machinery":"The load-bearing object is the decomposition $X = \\int \\lambda\\,dE_X(\\lambda) + \\int (X-\\lambda I)\\,dE_X(\\lambda)$ used for every operator, with $dE_X(\\lambda)$ treated as spectral measures and $m_\\lambda$ as nilpotent orders so that $(X-\\lambda I)^{m_\\lambda}dE_X(\\lambda)=0$. This decomposition is what converts non-commuting, non-normal operators into objects on which divided differences and Taylor expansions can be integrated. The paper combines this with the $\\ell$-th divided difference $\\beta^{[\\ell]}$ as the integral symbol, a binary-index expansion of nilpotent parts, and Riesz-representation trace duality to obtain the spectral shift functions $\\eta_{i,j}$ and kernels $K_{i',j'}$.","core_discovery":"The central claim is that $T^{X_1,\\ldots,X_{\\zeta+1}}_{\\beta}(Y_1,\\ldots,Y_\\zeta)$, defined by Eq. (17), is a well-behaved operator whenever each parameter and argument operator decomposes as $X = \\int \\lambda\\,dE_X(\\lambda) + \\int (X-\\lambda I)\\,dE_X(\\lambda)$ with nilpotent orders $m_\\lambda$. With this definition, Theorems 2, 5, and 8 provide a perturbation formula, continuity under operator-norm convergence, norm and Lipschitz estimates, and an $(n-1)$-th order spectral shift formula. The paper also shows that the conventional multiple operator integral is a special case of the spectral mapping picture, so the framework extends rather than replaces classical theory. In the spectral shift application, the trace of an $n$-th order Taylor remainder is shown to split into single-variable integrals weighted by functions $\\eta_{i,j}(z)$ and double integrals with bivariate Hilbert–Schmidt kernels $K_{i',j'}(z_1,z_2)$.","pith_inferences":["Editorial inference: if the assumed spectral decomposition can be justified for a broader class of operators, such as spectral operators or operators with a Riesz–Dunford functional calculus, the same formulas would give trace and scattering identities for concrete continuous-spectrum examples in mathematical physics.","Editorial inference: the bivariate kernels $K_{i',j'}$ likely encode cross-talk between different derivative orders of $f$, and one could test whether they reduce to derivatives of the first-order spectral shift function in special cases such as self-adjoint $X$ and $Y$.","Editorial inference: the Lipschitz constant $\\Upsilon_i$ from Theorem 4 could be estimated numerically on finite-rank truncations of continuous-spectrum operators; a divergence as the truncation dimension grows would localize exactly which hypothesis of the framework fails.","Editorial inference: the paper's formalism suggests a hierarchy of higher-order spectral shift functions, but whether these functions are unique or satisfy consistency relations analogous to Krein's classical uniqueness is not established in the text."],"forward_implications":["The GMOI norm and Lipschitz bounds give explicit control over how the integral changes when the argument operators $Y_i$ are perturbed, extending classical multiple operator integral estimates to continuous-spectrum non-normal settings.","The perturbation formula of Theorem 2 yields a telescoping argument that converts operator-norm convergence $X_{j,\\ell_j} \\to X_j$ into convergence of the corresponding GMOIs, provided the divided difference function is sufficiently regular.","The first-order Krein spectral shift formula $\\mathrm{Tr}(f(X+Y)-f(X)) = \\int f^{(1)}(z)\\eta_1(z)\\,dz$ is established for generalized double operator integrals with continuous spectra.","For Taylor remainders of arbitrary order, the trace admits an integral representation with single-variable functions $\\eta_{i,j}$ and bivariate Hilbert–Schmidt kernels $K_{i',j'}$, giving a higher-order spectral shift structure.","Because the conventional MOI is recovered as a special case, the new formalism is consistent with classical multiple operator integration when the operators are normal or self-adjoint."],"supporting_citations":[{"why":"Supplies Theorem 1, the spectral mapping expansion with projectors and nilpotents that is the template for the GMOI definition in Eq. (17).","marker":"[18]"},{"why":"Provides the finite-dimensional GMOI machinery, including divided difference identities, binary nilpotent expansions, and the perturbation formula structure that this paper adapts to continuous spectra.","marker":"[17]"},{"why":"Establishes generalized double operator integrals for continuous-spectrum operators and the first-order Krein spectral shift formula that the paper extends to multiple operators and higher orders.","marker":"[16]"},{"why":"Gives the classical multiple operator integral definition and divided difference formalism that the paper recovers as a special case.","marker":"[19]"},{"why":"Provides the finite-dimensional GDOI framework, including the norm estimates and the converse triangle inequality used in the lower bound of Theorem 3.","marker":"[15]"}],"fun_headline_variants":["Non-normal spectra tamed by generalized operator integrals","Trace formulas beyond self-adjoint: a new calculus","Continuous-spectrum perturbation theory gets a unified tool","Generalized MOIs crack spectral shift for non-normal operators"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper assumes every operator decomposes as $X = \\int \\lambda\\,dE_X(\\lambda) + \\int (X-\\lambda I)\\,dE_X(\\lambda)$ with nilpotent orders $m_\\lambda$, a Jordan-like spectral structure that is known to hold in finite dimensions or for spectral operators, but no theorem in the paper or its cited sources establishes this decomposition for general non-normal operators with continuous spectra.","fun_headline_variants_meta":{"raw":{"variants":["Non-normal spectra tamed by generalized operator integrals","Trace formulas beyond self-adjoint: a new calculus","Continuous-spectrum perturbation theory gets a unified tool","Generalized MOIs crack spectral shift for non-normal operators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000254,"raw_usage":{"total_tokens":1580,"prompt_tokens":969,"completion_tokens":611,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":585,"completion_tokens_details":{"reasoning_tokens":548}},"tokens_in":585,"tokens_out":611,"duration_ms":6815,"temperature":1.0,"reasoning_tokens":548,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T11:05:33.919879+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a bounded non-normal operator without eigenvalues, such as the Volterra operator $Vf(x)=\\int_0^x f(t)\\,dt$ on $L^2[0,1]$, and check whether the assumed decomposition $V = \\int \\lambda\\,dE_V(\\lambda)+\\int (V-\\lambda I)\\,dE_V(\\lambda)$ can be realized with nontrivial nilpotent orders; if the spectral measures $dE_V(\\lambda)$ and orders $m_\\lambda$ cannot be defined, then the right-hand side of Eq. (17) is undefined and the central claim fails for this operator.","supporting_citations":[{"cited_title":"Generalized Multiple Operator Integrals for Operators with Finite Dimensions","cited_arxiv_id":"2506.19971","evidence_quote":"Provides the finite-dimensional GMOI machinery, including divided difference identities, binary nilpotent expansions, and the perturbation formula structure that this paper adapts to continuous spectra."},{"cited_title":"Generalized Double Operator Integrals for Continuous Spectrum Operators","cited_arxiv_id":"2505.02188","evidence_quote":"Establishes generalized double operator integrals for continuous-spectrum operators and the first-order Krein spectral shift formula that the paper extends to multiple operators and higher orders."},{"cited_title":"Skripka and A","cited_arxiv_id":null,"evidence_quote":"Gives the classical multiple operator integral definition and divided difference formalism that the paper recovers as a special case."},{"cited_title":"Generalized Double Operator Integrals: Finite Dimensions","cited_arxiv_id":"2503.16239","evidence_quote":"Provides the finite-dimensional GDOI framework, including the norm estimates and the converse triangle inequality used in the lower bound of Theorem 3."}],"review_version":1}