{"id":"564226fc-f841-4ae2-a64e-d8c9df454d5c","arxiv_id":"1908.03555","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A bounded linear operator with 0 in the unbounded component of its resolvent set has range-kernel complementarity exactly when its range is closed and some curve-angle is less than π.","lead":"This paper defines a new geometric quantity, the angle of a bounded linear operator along an unbounded curve in the complex plane, and uses it to characterize when the operator's range and kernel together span the whole space. The characterization applies to operators for which zero lies in the unbounded component of the resolvent set.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Printed definition φ_C(A)=arcsin sin_C A makes φ_C(A)<π automatic; Lemma 1 and Theorem 1 rely on the intended φ_C(A)=π−arcsin sin_C A, so the paper needs this correction plus a clarification of 0∈D∞.","rationale":"The reader's weakest assumption identifies the same load-bearing issue: the published definition of φ_C(A) makes the central angle condition vacuous. This is an internal inconsistency, not a disagreement with consensus: the proof of Lemma 1 and the forward direction of Theorem 1 require a uniform lower bound s_C(Ax,x)≥c>0, which is exactly sin_C A>0. The correct angle formula π−arcsin sin_C A is already suggested by the paper's own θ_C discussion in §3.1–3.2, so the intended correction is clear and the mathematical idea appears defensible once that fix is made. The additional issue that '0∈D∞' as stated forces A invertible is also worth correcting to '0 faces D∞' for the nontrivial theorem to match the abstract; this reinforces, rather than replaces, the need for a careful revision. Since the reader already recommended CONDITIONAL and the concern matches that recommendation, no change to the verdict is needed.","tokens_in":57,"tokens_out":16107,"duration_ms":529104,"concrete_test":"Compute φ_C(A) with the printed formula for A=backward shift on ℓ^2 and C={−t:t≥0}: the printed φ_C(A)<π holds automatically, yet R(A)∩N(A)=span{e_1}≠{0}, contradicting Lemma 1. Recompute with the corrected formula φ_C(A)=π−arcsin sin_C A: the backward shift has eigenvectors for every λ ∈ (−1,0), so sin_C A=0 and φ_C(A)=π, not <π, and the counterexample disappears. Repeating this check on Theorem 1 with the corrected definition confirms that the intended statement is the one actually proved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.2 defines φ_C(A)=arcsin sin_C A. Since sin_C A ∈ [0,1], the principal arcsin lies in [0,π/2], so φ_C(A)<π is true for every bounded operator A and every curve C. This is not a harmless normalization: Lemma 1 then asserts that every bounded operator has R(A)∩N(A)={0} and R(A)+N(A) closed, which is plainly false (e.g., the backward shift on ℓ^2 has R(A)=ℓ^2, N(A)=span{e_1}, so R(A)∩N(A)≠{0}). The proof of Lemma 1 actually uses the existence of c>0 with ‖Ax−λx‖≥c‖Ax‖ for all x∉N(A) and λ∈C, i.e., sin_C A>0; this is equivalent to φ_C(A)=π−arcsin sin_C A<π, exactly as in the θ_C discussion in §3.1–3.2. Under the printed definition the main theorem is internally inconsistent and Proposition 3 is false. A second, related wording issue is that Theorem 1 states 0∈D∞, but D∞ is defined as the unbounded component of the resolvent set, so 0∈D∞ would force A invertible; the abstract's '0 faces D∞' is the intended nontrivial hypothesis.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the angle of a bounded linear operator along an unbounded curve emanating from the origin, and uses it to give a spectral characterization of range-kernel complementarity. The main result, Theorem 1, claims that if 0 faces the unbounded component of the resolvent set, then X = R(A) ⊕ N(A) if and only if R(A) is closed and the angle of A along some such curve is less than π. Proposition 3 gives a companion result under the assumption of range-kernel complementarity. The proofs rely on ascent/descent conditions, a closed-range lemma, and the filling-the-hole theorem.","tokens_in":5231,"tokens_out":5816,"duration_ms":52846,"significance":"If the intended statements hold, the paper provides a genuinely geometric criterion for range-kernel complementarity in Banach spaces, extending earlier work on the angle of an operator by replacing rays with arbitrary unbounded curves. The proof strategy is coherent and uses standard tools (ascent/descent equivalence, the filling-the-hole theorem, and approximate point spectrum arguments). The paper is short and the central idea is original relative to the cited literature. However, the printed definition of the curve angle makes the main condition vacuous, and the statement of Theorem 1 has a hypothesis that would trivialize the problem; these issues must be corrected before the claims can be assessed.","major_comments":[{"comment":"The printed definition φ_C(A) = arcsin sin_C A makes the condition φ_C(A) < π automatically true for every bounded operator and every curve, because sin_C A ∈ [0,1] implies the principal arcsin lies in [0,π/2]. Under that definition, Lemma 1 would assert that every bounded operator satisfies R(A) ∩ N(A) = {0} and R(A)+N(A) is closed, which is false; for example, the backward shift on ℓ² has R(A)=ℓ² and N(A)=span{e₁}, so R(A)∩N(A)≠{0}. The proof of Lemma 1 actually uses the existence of c>0 such that ‖Ax−λx‖ ≥ c‖Ax‖ for all x∉N(A) and λ∈C, which is equivalent to sin_C A > 0, i.e. to π−arcsin sin_C A < π, not arcsin sin_C A < π. The definition must be corrected to φ_C(A) = π − arcsin sin_C A, matching the discussion in §3.1 and Proposition 1. As printed, Proposition 3 is false and the main theorem is vacuous.","section":"Section 3.2, Definition of φ_C(A); Lemma 1; Proposition 3"},{"comment":"The theorem states 'assume 0 ∈ D∞', but D∞ is defined as the unbounded component of the resolvent set, so 0 ∈ D∞ would already imply that A is invertible and range-kernel complementarity is trivial. The abstract's phrase '0 faces the unbounded component' and the remark that the existence of an unbounded curve emanating from the origin is equivalent to 0 ∈ D∞ indicate the intended hypothesis is that 0 belongs to the closure of D∞ and is reachable from D∞ by an unbounded curve avoiding σ(A) except possibly at 0. This distinction is load-bearing: the proof of Theorem 1 uses Proposition 2 to obtain an unbounded curve C ⊆ ρ(A|R(A)) emanating from the origin, which requires 0 to face D∞, not 0 ∈ D∞. Please state the intended hypothesis precisely and adjust all statements (including Proposition 3) accordingly.","section":"Theorem 1 and the note after Proposition 2"}],"minor_comments":[{"comment":"In the display in the proof of Lemma 1, A(x + y/λ_n) + λ_n(x − y/λ_n) equals Ax + λ_n x − y, not Ax + λ_n x + y; the limit is ‖Ax − y‖. Since −N(A)=N(A), the conclusion is unaffected, but the displayed inequality should be corrected.","section":"Lemma 1 proof"},{"comment":"The sentence 'By Lemma 1, using the fact that R(A) is closed, we have that R(A)+N(A) is a closed subspace of X which implies that R(A²) is also closed' is not justified as written. Because R(A) and N(A) are closed, intersect trivially, and have closed sum, the associated projection is bounded; combined with (2) this gives a lower bound for ‖Ax‖ in terms of ‖x‖ on R(A), which yields closedness of R(A²). Please add this argument or a reference.","section":"Theorem 1 converse, paragraph before (7)"},{"comment":"The inequality (7) states ‖Ax‖ ≥ ‖x‖ for all x∈R(A), but the constant obtained from (2) and the distance to N(A) is generally not 1; either track the constant or normalize the norm in the direct-sum decomposition.","section":"Inequality (7)"},{"comment":"The inequality in the proof of Proposition 3, '‖Axn+λ0xn‖ = ‖Azn+λ0yn+λ0zn‖ ≥ c′‖Azn+λ0zn‖', requires an explicit justification using the bounded projection onto R(A) along N(A) guaranteed by the closed direct sum; the current wording 'since the sum is closed' is too terse.","section":"Proposition 3 proof"},{"comment":"There are several typos: 'lenght' in the Introduction, 'Conversly' in the proof of Theorem 1, and 'patricular' in the proof of Proposition 3. Please proofread the manuscript.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The definitional error appears to be a genuine typo rather than a sign of a flawed approach, and the intended theorem is plausible and interesting. However, the manuscript as written cannot serve as a basis for acceptance: the central condition φ_C(A)<π is vacuous, and the statement of Theorem 1 uses a hypothesis that trivializes the claim. These are local, fixable issues, so I recommend major revision rather than rejection. I also encourage the authors to expand the proofs where they rely on unstated closed-range arguments, and to state precisely the geometric hypothesis '0 faces D∞' in the main theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nQuick read of Drivaliaris–Yannakakis. The genuinely new thing is the angle of an operator along an unbounded curve, generalizing their earlier ray-based angle. Theorem 1 gives a natural geometric characterization: under the right hypothesis about 0 facing the unbounded resolvent component, X = R(A) ⊕ N(A) iff R(A) is closed and some curve-angle is less than π. The proof is a real extension, not a repackaging. The use of the filling-the-hole theorem to push the resolvent of the restriction to the range is clean, and the necessity direction is well argued.\n\nThe soft spots are real but appear fixable. Section 3.2 defines φ_C(A) = arcsin sin_C A. Since sin_C A lies in [0,1], the principal arcsin lies in [0,π/2], so φ_C(A) < π is automatically true for every operator and every curve. That cannot be the intent: the proof of Lemma 1 and the converse direction rely on the inequality ‖Ax + λx‖ ≥ c‖Ax‖, which is equivalent to sin_C A > 0, i.e. to φ_C(A) = π − arcsin sin_C A < π. That exact expression appears in the θ_C discussion one paragraph earlier. So the intended definition is obvious, but as printed the condition is vacuous, Proposition 3 is false, and the main theorem is internally inconsistent. This must be corrected before publication.\n\nSecond, Theorem 1 states 0 ∈ D∞, where D∞ is the unbounded component of the resolvent set. That would make A invertible and the theorem vacuous. The abstract's \"0 faces the unbounded component\" is the intended nontrivial hypothesis, and the proof actually uses that D∞ lies in the resolvent of A|R(A) with 0 on the boundary. The statement needs rewording.\n\nBoth are typographical-level errors, but they sit on the load-bearing wall. The mathematical idea looks sound, the citation pattern is fine (the self-citation is to their own preceding ray theorem, which is the direct predecessor), and there is no circularity or invented machinery. The proof is plausible after the corrections.\n\nWho this is for: functional analysts working on operator angles, range-kernel complementarity, or spectral geometry. It deserves a serious referee—with the fixes it would be a solid short paper. My recommendation: send it out, and tell the referee to check the definition of φ_C and the hypothesis in Theorem 1.\n\nBest,\n[You]","headline":"Genuine new curve-angle characterization with two fixable but load-bearing typos in the printed definitions.","tokens_in":5672,"tokens_out":1653,"would_cite":false,"duration_ms":17106,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47A10","47A15"],"pacs":[],"model":"deepseek-v4-flash","headline":"A single angle measured along an unbounded curve determines when a bounded operator splits its space into range plus kernel.","keywords":["angle of an operator","range-kernel complementarity","unbounded curve","resolvent set","ascent and descent","Banach space","filling the hole","spectral theory"],"falsifier":"Read the definition in Section 3.2 literally: with $\\varphi_C(A)=\\arcsin \\sin_C A$, the condition $\\varphi_C(A)<\\pi$ holds for every operator and every curve, since arcsin never exceeds $\\pi/2$. Then any non-complementary operator with closed range and the origin facing the unbounded component, such as a two-dimensional nilpotent Jordan block with the origin on the boundary of the resolvent's unbounded component, satisfies the condition but not the conclusion, so the theorem as printed is false; replacing the definition by $\\pi-\\arcsin$ and checking whether the proof of Theorem 1 still goes through settles the intended claim.","tokens_in":4731,"feed_emoji":"📐","tokens_out":15012,"duration_ms":156449,"temperature":0.7,"pith_summary":"This paper proposes a new geometric measurement on a bounded linear operator: the angle of the operator along an unbounded curve that starts at the origin and does not hit the spectrum. Its main theorem claims that, when such a curve exists, range-kernel complementarity holds exactly when the range is closed and some such angle is strictly less than pi. The significance is that range-kernel complementarity, normally expressed through vanishing ascent and descent or through closure of the range plus kernel, is reduced to a single geometric separation condition. The theorem extends an earlier ray-based criterion by allowing arbitrary curves, which removes the need for the spectrum to lie in a sector. The paper's printed angle formula needs one correction to carry this content: the definition should read pi minus arcsin of the sine along the curve, not just arcsin of that sine.","feed_headline":"A curve-based angle characterizes range-kernel splitting","feed_subtitle":"For operators whose spectrum does not surround the origin, one geometric criterion is both necessary and sufficient.","key_machinery":"The central object is the angle of an operator along an unbounded curve $C$. For vectors $x,y$ with $x\\ne 0$, define $s_C(x,y)=\\inf_{\\lambda\\in C}\\frac{\\|x-\\lambda y\\|}{\\|x\\|}$, the relative distance from $x$ to the scaled curve; then $\\sin_C A=\\inf_{x\\notin N(A)} s_C(Ax,x)$, and the intended angle is $\\varphi_C(A)=\\pi-\\arcsin(\\sin_C A)$. The load-bearing equivalence is $\\varphi_C(A)<\\pi$ if and only if there is $c>0$ such that $\\|Ax+\\lambda x\\|\\ge c\\|Ax\\|$ for all $x\\in X$ and $\\lambda\\in C$; this uniform inequality is what Lemma 1 uses to close $R(A)+N(A)$ and separate $R(A)$ from $N(A)$. Proposition 2, an invariant-subspace spectral result, supplies the curve: it keeps the spectrum of $A|_{R(A)}$ away from $D_\\infty$.","core_discovery":"Theorem 1 states: for a bounded linear operator $A$ on a Banach space with $0\\in D_\\infty$ (the origin facing the unbounded component of the resolvent set), $X=R(A)\\oplus N(A)$ if and only if $R(A)$ is closed and $\\varphi_C(A)<\\pi$ for some unbounded curve $C$ emanating from the origin. The forward direction constructs the curve inside the resolvent of the restriction $A|_{R(A)}$, then converts the direct-sum bound $\\|Ax+y\\|\\ge\\delta\\|Ax\\|$ into a uniform angle bound, showing $\\varphi_C(A)<\\pi$. The reverse direction uses the same angle inequality to prove that $R(A)\\cap N(A)=\\{0\\}$, that $R(A)+N(A)$ is closed, and ultimately that $0$ is not in the spectrum of $A|_{R(A)}$, which forces $R(A^2)=R(A)$ and descent at most one; ascent is already at most one, so complementarity follows. The argument leans on a filling-the-hole result: for every closed invariant subspace $M$, the spectrum of the restriction $A|_M$ avoids $D_\\infty$. The definitional caveat is that the manuscript states $\\varphi_C(A)=\\arcsin \\sin_C A$, while every use of the inequality $\\varphi_C(A)<\\pi$ in the proof requires the motivating definition $\\varphi_C(A)=\\pi-\\arcsin \\sin_C A$.","pith_inferences":["The constants in the proof connect the margin $\\pi-\\varphi_C(A)$ to the norm of the projection onto $R(A)$; a quantitative stability statement of that kind is not stated but follows naturally from the argument.","In Hilbert space, $s_C(Ax,x)$ is a one-parameter infimum, so for polygonal curves the condition $\\varphi_C(A)<\\pi$ is effectively checkable by quadratic programming; this could yield a computational test for range-kernel complementarity of matrices.","The same angle construction could be applied to unbounded operators by choosing $C$ inside the resolvent; whether the equivalence survives is a natural open problem the paper does not address.","The formulas in Sections 3.1 and 3.2 are inconsistent; if the printed arcsin formula were intended, the theorem would be empty, so a corrected manuscript should fix this before the main result is assessed."],"forward_implications":["Range-kernel complementarity becomes equivalent to a quantifiable geometric condition whenever an unbounded curve from the origin avoids the spectrum, replacing chain-length checks with one angle computation.","The earlier ray-based amplitude-angle theorem is subsumed: a single ray with angle below pi was sufficient but not necessary; with curves, the condition becomes necessary as well, at the cost of allowing curved paths.","Under complementarity, the proof exhibits a concrete curve (any unbounded path inside the resolvent of $A|_{R(A)}$) along which the angle is strictly below pi.","If the origin lies in a hole of the spectrum, Proposition 3 implies that every angle along every unbounded curve equals pi despite complementarity, so the geometric criterion distinguishes exactly the case where the origin is not trapped by spectrum."],"supporting_citations":[{"why":"Established the earlier amplitude-angle sufficient condition for range-kernel complementarity that this paper generalizes from rays to curves.","marker":"[1]"},{"why":"Introduced the cosine and angle of an operator, the foundation on which the curve-based angle is built.","marker":"[2]"},{"why":"Introduced the amplitude angle and the sectorial-spectrum observation that motivates replacing rays by curves.","marker":"[5]"},{"why":"Supplies the filling-the-hole theorem used as Proposition 2 to place curves inside the resolvent of the restriction.","marker":"[6]"},{"why":"Provides the ascent/descent characterization of range-kernel complementarity used in the proof of Theorem 1.","marker":"[4]"}],"fun_headline_variants":["Angle along a curve decides range-kernel complementarity","Range-kernel splitting: the angle along a curve criterion","Curve angle < π splits range and kernel when 0 faces unbounded resolvent","A single angle along a curve characterizes range-kernel direct sums"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on identifying $\\varphi_C(A)<\\pi$ with the uniform separation inequality $\\|Ax+\\lambda x\\|\\ge c\\|Ax\\|$, which requires the definition $\\varphi_C(A)=\\pi-\\arcsin \\sin_C A$; Section 3.2 prints $\\varphi_C(A)=\\arcsin \\sin_C A$, under which $\\varphi_C(A)<\\pi$ is automatic and Theorem 1 would be vacuous.","fun_headline_variants_meta":{"raw":{"variants":["Angle along a curve decides range-kernel complementarity","Range-kernel splitting: the angle along a curve criterion","Curve angle < π splits range and kernel when 0 faces unbounded resolvent","A single angle along a curve characterizes range-kernel direct sums"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000836,"raw_usage":{"total_tokens":3623,"prompt_tokens":900,"completion_tokens":2723,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":516,"completion_tokens_details":{"reasoning_tokens":2650}},"tokens_in":516,"tokens_out":2723,"duration_ms":20809,"temperature":1.0,"reasoning_tokens":2650,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:09:41.428082+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Read the definition in Section 3.2 literally: with $\\varphi_C(A)=\\arcsin \\sin_C A$, the condition $\\varphi_C(A)<\\pi$ holds for every operator and every curve, since arcsin never exceeds $\\pi/2$. Then any non-complementary operator with closed range and the origin facing the unbounded component, such as a two-dimensional nilpotent Jordan block with the origin on the boundary of the resolvent's unbounded component, satisfies the condition but not the conclusion, so the theorem as printed is false; replacing the definition by $\\pi-\\arcsin$ and checking whether the proof of Theorem 1 still goes through settles the intended claim.","supporting_citations":[{"cited_title":"Drivaliaris, N","cited_arxiv_id":null,"evidence_quote":"Established the earlier amplitude-angle sufficient condition for range-kernel complementarity that this paper generalizes from rays to curves."},{"cited_title":"Gustafson, The angle of an operator and positive operator products , Bull","cited_arxiv_id":null,"evidence_quote":"Introduced the cosine and angle of an operator, the foundation on which the curve-based angle is built."},{"cited_title":"Krein, Angular localization of the spectrum of a multiplicative in tegral in a Hilbert space , Functional Analysis and Its Applications 3 (1969), 73–74","cited_arxiv_id":null,"evidence_quote":"Introduced the amplitude angle and the sectorial-spectrum observation that motivates replacing rays by curves."},{"cited_title":"Radjavi, P","cited_arxiv_id":null,"evidence_quote":"Supplies the filling-the-hole theorem used as Proposition 2 to place curves inside the resolvent of the restriction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the ascent/descent characterization of range-kernel complementarity used in the proof of Theorem 1."}],"review_version":1}