{"id":"d1dc5041-4886-4d75-8283-c8a79e3a5455","arxiv_id":"2412.01580","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new incremental homotopy theorem shows that feedback stability follows from an incremental gain bound along a deformation path, yielding corrected SRG separation and incremental IQC criteria.","lead":"Feedback systems can be checked for incremental stability by starting from a known stable system and deforming the feedback connection gradually, provided a gain bound holds along the whole path. The paper proves a general theorem of this type and uses it to fix two assumptions in a previous graphical stability test and to derive an incremental version of a classical integral quadratic constraint criterion.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Corollary 2's IQC condition (5) is internally inconsistent: the definition of ΔH2(y) includes τ and is then multiplied by τ again, so it does not match the incremental feedback signal required by Lemma 7; the corollary is unproven as stated.","rationale":"The reader's weakest assumption is condition (ii) of Theorem 2, which is indeed strong and nearly contains the desired conclusion at τ=1. But after checking the proof of Theorem 2, the theorem itself appears valid: the small-gain starting step and the induction can be made rigorous by choosing the increment τ so that the homotopy parameter reaches 1 in finitely many steps, and the contraction constant in Theorem 1 is correct despite the transposed gain factor. The paper's main risk is therefore not in the homotopy theorem itself but in the verification methods for condition (ii). The SRG corollary relies on Lemma 5, which has an unexplained τ and a confusing chord-property sentence, but the geometric idea is standard and likely repairable. The IQC corollary has a more concrete defect: condition (5) as written cannot be the IQC for the scaled feedback τH2 because it double-scales τ. This prevents the proof from invoking Lemma 7 and means the second corollary is not established as stated. Since this is a fixable typo rather than a conceptual impossibility, the verdict CONDITIONAL is appropriate; the paper should be revised before acceptance. The reader flagged the malformed definition in Corollary 2 but did not make it the primary weakness, so my agreement is partial.","tokens_in":10153,"tokens_out":22320,"duration_ms":175371,"concrete_test":"Re-derive condition (5) with the corrected definition ΔĤ2(y) := Ĥ2(y1) − Ĥ2(y2) and second block τΔĤ2(y). Verify that the resulting quadratic form equals σ(h2) for h2 = (y1−y2, τH2(y1)−τH2(y2)) as required by Lemma 7, and that the proof of Corollary 2 then yields a τ-independent gain bound. If the proof does not go through with the corrected definition (e.g., because τ enters non-homogeneously), the corollary is genuinely flawed; if it does, the issue is a fixable typo.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central homotopy theorem (Theorem 2) is likely sound: the contraction argument in Theorem 1 has a transposed gain factor (should be γ2 on the first step, not γ1), but the final contraction constant γ1γ2 is correct, and the induction in Theorem 2 can be repaired by choosing τ = (1−ν)/k for sufficiently large k. The more serious problem is in the second advertised application, the incremental IQC theorem (Corollary 2). Condition (5) defines ΔĤ2(y)(jω) := Ĥ2(y1)(jω) − τ Ĥ2(y2)(jω), and then uses the second block τ ΔĤ2(y)(jω) in the IQC quadratic form. For the homotopy path [H1, τH2], Lemma 7 requires condition (9) with h2 = (y1−y2, τH2(y1)−τH2(y2)), whose Fourier transform is (Δŷ, τ(Ĥ2(y1)−Ĥ2(y2))). The paper's definition instead gives the second block as τĤ2(y1) − τ²Ĥ2(y2), which is not the Fourier transform of the true incremental signal. Consequently, condition (5) as stated does not imply condition (9), and the proof's statement 'Equation (5) gives condition (9)' is false. This is not merely a cosmetic typo: the quadratic form's cross-terms involve τ² and the scaling of τ is baked into the signal definition, breaking the connection to the homotopy theorem. The intended fix (define ΔĤ2(y) := Ĥ2(y1) − Ĥ2(y2)) is straightforward, but until it is made, the incremental IQC stability theorem is not established. This is load-bearing because it affects a central advertised contribution, not just a peripheral assumption.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an incremental homotopy theorem for feedback interconnections of operators on L2. Theorem 2 states that if two incrementally bounded operators H1, H2 satisfy a uniform incremental gain bound γ along the homotopy path [H1, τH2] for τ ∈ [0,1], then the endpoint feedback [H1,H2] has domain L2 and incremental gain bound γ. The proof bootstraps Theorem 1, an incremental small-gain theorem, using Lemma 2 to compose homotopy steps. Two applications are given: Corollary 1 verifies incremental stability via strict separation of Scaled Relative Graphs, correcting assumptions in [1]; Corollary 2 proposes an incremental IQC stability theorem. A final section relaxes incremental boundedness at the price of well-posedness and causality assumptions.","tokens_in":10513,"tokens_out":7215,"duration_ms":53536,"significance":"The main homotopy theorem is a clean and useful tool: it replaces extended-space and causality assumptions with incremental boundedness, and the SRG separation corollary genuinely corrects two technical assumptions in [1]. The proofs are mostly elementary and do not rely on fitted parameters or circular self-citation; the paper is concise and readable. However, one of the two advertised applications, the incremental IQC theorem (Corollary 2), contains a signal-definition error that invalidates the proof as written. Because that flaw is local and fixable, the underlying contribution remains valuable after revision.","major_comments":[{"comment":"The definition of ΔĤ2(y)(jω) := Ĥ2(y1)(jω) − τĤ2(y2)(jω) is inconsistent with the use of Lemma 7 along the homotopy path [H1, τH2]. For that path, Lemma 7 requires condition (9) with h2 = (Δy, τH2(y1) − τH2(y2)), whose Fourier transform is (Δŷ, τ(Ĥ2(y1) − Ĥ2(y2))). With the definition as written, the second block of the vector in (5) becomes τĤ2(y1) − τ²Ĥ2(y2), which is not the transform of the true incremental feedback signal. Consequently, the claim 'Equation (5) gives condition (9) of Lemma 7' is false as stated. The fix is straightforward—define ΔĤ2(y) := Ĥ2(y1) − Ĥ2(y2)—but until this is made, Corollary 2 is unproven.","section":"Section V, Corollary 2, Eq. (5)"},{"comment":"The induction step concludes dom([H1,H2]) = L2 from the statement that dom([H1,(ν+kτ)H2]) = L2 for all τ ∈ [0,1/(γγ2)) and positive integers k with ν+kτ ≤ 1. This does not logically imply that the value 1 is reached. The proof needs to explicitly choose, for sufficiently large k, τ := (1−ν)/k, which satisfies τ < 1/(γγ2) whenever k > (1−ν)γγ2, and thereby reach ν + kτ = 1. Without this choice, the displayed induction only covers homotopy parameters strictly below 1.","section":"Section III, proof of Theorem 2"},{"comment":"Lemma 5's statement is internally inconsistent: it assumes ui ∈ dom([H1,H2]) but defines yi via (H1^{-1} + τH2)^{-1}(ui), which is the feedback [H1,τH2]. The intended hypothesis is ui ∈ dom([H1,τH2]), with the separation condition rephrased for τH2. Additionally, the proof of Corollary 1 only states that 1/rmin is an incremental gain bound for [H1,νH2], but Theorem 2 requires condition (ii) for every τ ∈ [0,1]. The same argument actually yields the bound for each [H1,τH2] using strict separation, so the proof should apply Lemma 5 pathwise before invoking Theorem 2.","section":"Section IV, Lemma 5 and Corollary 1"}],"minor_comments":[{"comment":"The first displayed inequality in the contraction estimate has the gain factors transposed: it should read ∥H2(H1(x̄)) − H2(H1(x))∥ ≤ γ2∥H1(x̄) − H1(x)∥ ≤ γ1γ2∥x̄ − x∥. The final contraction constant γ1γ2 is correct, but the displayed intermediate step is wrong.","section":"Section III, Theorem 1 proof"},{"comment":"The algebraic identity for σ(y) − σ(x) contains sign errors: the second equality should be ⟨y−x, y⟩ + ⟨x, y−x⟩, not ⟨y−x, y⟩ − ⟨x, y−x⟩, and the subsequent expansion should follow with plus signs. The final bound (7) is correct, but the printed derivation is confusing.","section":"Section V, Lemma 6 proof"},{"comment":"In the final inequality, the term ∥Δy∥ should be squared: −ε(1 + 1/λ²)∥Δy∥². As printed, the dimensions and the subsequent bound are inconsistent.","section":"Section V, Lemma 7 proof"},{"comment":"The conclusion reads 'Then there exists λ > 0 such that...' but λ was already introduced as an incremental gain bound of H1. The wording should be 'Then the following bound holds' or introduce a new symbol for the resulting constant.","section":"Section V, Lemma 7 statement"},{"comment":"The statement appears to concatenate two different results: the first two sentences claim a strong conclusion from finite gain with zero offset plus strict SRG separation, without the well-posedness and causality assumptions used in Theorem 3; the following 'Suppose (i),(ii),(iii)' then restates a different theorem. This should be split into two separate statements or clearly merged.","section":"Section VI, Corollary 3"}],"recommendation":"major_revision","confidential_remarks":"The central homotopy theorem is sound and the SRG separation application is a genuine improvement over [1], but the incremental IQC corollary as stated is unproven because of the ΔĤ2 definition error. The issues are local and fixable; I would be willing to review a revised version. No concerns about citation integrity or circular reasoning."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result here, Theorem 2, is a genuinely useful incremental homotopy theorem: it gives a clean way to verify incremental stability without extended spaces or causality assumptions, and the bootstrap through Lemma 2 is valid. The SRG separation corollary is also a nice correction of the earlier result, and Example 1 convincingly shows why strict separation is needed. The core proof strategy is sound, and the paper is worth engaging with seriously.\n\nThat said, the stress-test note is correct about Corollary 2. The definition of ΔH2(y) includes a τ, and then the vector in condition (5) multiplies that by τ again. So the second block becomes τH2(y1) − τ²H2(y2) rather than τ(H2(y1) − H2(y2)). That means condition (5) does not imply condition (9) of Lemma 7, and the proof's assertion that it does is false. This is not a cosmetic typo; the quadratic form is off. The fix is straightforward—delete the τ inside the definition of ΔH2(y)—but as printed, the incremental IQC theorem is not established. This is the one load-bearing flaw in an otherwise sound paper.\n\nThe other issues are minor. Theorem 1's proof has a transposed gain factor: the first inequality should use γ2, not γ1, though the final contraction constant is correct. The induction in Theorem 2 is a bit loose; it should state explicitly that you pick k large enough so that stepping by τ in the allowed interval reaches exactly 1. Corollary 3 is garbled, apparently containing two versions of the same statement. None of these affect the main theorem.\n\nOne conceptual point worth noting: condition (ii) of Theorem 2 at τ = 1 already gives the desired incremental gain bound on the domain. The content of the theorem is that the domain is all of L2, which the homotopy argument indeed delivers. That is not a flaw, just a useful thing to keep in mind when reading the statement.\n\nThis paper is for people working on nonlinear feedback stability, SRGs, or incremental IQCs. It deserves a serious referee. The central theorem is solid, and the IQC corollary is fixable with a one-line change. I would send it out, expecting a conditional accept after a minor revision.","headline":"The main homotopy theorem is real and the proof structure holds, but the IQC corollary as printed has a genuine definitional error that invalidates its proof until fixed.","tokens_in":11095,"tokens_out":3085,"would_cite":true,"duration_ms":24325,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["93D25","93C10","47H10"],"pacs":[],"model":"deepseek-v4-flash","headline":"A uniform incremental-gain bound along a one-parameter homotopy proves that a nonlinear feedback loop is incrementally stable on all finite-energy signals.","keywords":["incremental stability","homotopy","scaled relative graph","integral quadratic constraints","incremental gain","small gain theorem","feedback systems","L2 signal space"],"falsifier":"The theorem is false if there exist incrementally bounded $H_1,H_2$ satisfying the uniform $\\gamma$-bound along all partial feedbacks for every $\\tau\\in[0,1]$, yet some input in $L_2$ makes the full feedback equations $y=H_1(u-H_2(y))$ have no solution or more than one solution; a search for such a pair, starting from boundary cases like the arctangent nonlinearity in the paper's Example 1, would settle it.","tokens_in":9924,"feed_emoji":"🔁","tokens_out":10832,"duration_ms":92227,"temperature":0.7,"pith_summary":"This paper proves a homotopy theorem for incremental stability: given two operators $H_1,H_2\\colon L_2\\to L_2$ with finite incremental gain, if every partially scaled feedback loop $[H_1,\\tau H_2]$ has the same incremental gain bound $\\gamma$ for all $\\tau\\in[0,1]$, then the full feedback system is defined on all of $L_2$ and has incremental gain at most $\\gamma$. The result matters because it certifies stability without first assuming well-posedness or causality and without leaving the space of finite-energy signals. The theorem is then used to correct the assumptions of the scaled-relative-graph separation criterion and to derive an incremental version of the classical integral-quadratic-constraint stability theorem. An example shows that the corrected assumptions, strict separation with a positive margin, are genuinely necessary.","feed_headline":"Homotopy gain bound certifies incremental feedback stability","feed_subtitle":"It also repairs the scaled-relative-graph test and gives an incremental IQC stability theorem.","key_machinery":"The central object is the interpolated feedback map $[H_1,\\tau H_2] = (H_1^{-1}+\\tau H_2)^{-1}$ regarded as a relation, scaled by $\\tau$ from $0$ to $1$. The proof turns on two pieces: the identity $[H_1,(\\tau+\\nu)H_2] = [[H_1,\\tau H_2],\\nu H_2]$, which lets a small increase in feedback be viewed as closing a new small loop around an already stable map, and the incremental small gain theorem, which uses the Banach fixed point theorem to show each small loop is well defined and preserves the incremental gain bound $\\gamma$. The scaled relative graph appears in Corollary 1 as the geometric device that turns a strict separation condition into the required uniform bound; its chord property and inverse and sum rules translate distances in the complex plane into output-difference estimates.","core_discovery":"The central claim is Theorem 2: given operators $H_1,H_2\\colon L_2\\to L_2$ with finite incremental gain, if there is a single $\\gamma>0$ such that every interpolated feedback $[H_1,\\tau H_2]$ has incremental gain at most $\\gamma$ on its possibly partial domain for every $\\tau\\in[0,1]$, then the full feedback $[H_1,H_2]$ is a single-valued map on all of $L_2$ and has incremental gain at most $\\gamma$. The two corollaries are that strict separation of the scaled relative graphs of $H_1^{-1}$ and $-\\tau H_2$ with a positive margin for every $\\tau\\in(0,1]$ guarantees incremental stability of the interconnection, and that a bounded LTI forward operator $H_1$ and an incrementally bounded feedback $H_2$ admit an incremental IQC theorem in which a frequency-domain multiplier satisfying the standard inequalities yields bounded incremental gain without any well-posedness or causality assumptions.","pith_inferences":["The proof technique suggests the conclusion would survive if the straight-line scaling $\\tau H_2$ were replaced by any continuous path of feedback perturbations, provided a uniform incremental gain bound holds along the path and each small step is a contraction.","Because the SRG corollary gives the explicit bound $1/r_{\\min}$ for the gain, strict separation could be used as a computational certificate: discretize the scaled SRGs, check the margin, and obtain a provable incremental stability bound.","The incremental IQC corollary may be directly applicable to neural-network-in-the-loop or other static-nonlinearity systems, where multipliers can be searched computationally and no extended space is needed."],"forward_implications":["A feedback loop can be certified incrementally stable by checking one uniform inequality along the path from zero feedback to full feedback, without any prior well-posedness or causality proof.","The scaled-relative-graph criterion now requires strict separation with a positive margin along the whole homotopy; the paper's Example 1 shows that separation at a single endpoint is insufficient.","The new incremental IQC theorem applies to nonlinear, incrementally bounded feedback operators with no causality assumptions and recovers the classical IQC theorem in the incremental setting.","Under classical finite-gain, causal, well-posed assumptions, the same homotopy argument still works (Theorem 3), giving a middle ground between incremental and non-incremental analysis."],"supporting_citations":[{"why":"Supplies the incremental small-gain theorem used to prove each small perturbation of the homotopy is well posed and gain-bounded.","marker":"[6]"},{"why":"Defines Scaled Relative Graphs and supplies the chord-property sum and inverse rules that turn SRG separation into an output-difference bound.","marker":"[7]"},{"why":"The earlier SRG feedback theorem whose assumptions are corrected, and whose examples all satisfy the stronger assumptions.","marker":"[1]"},{"why":"The classical IQC stability theorem that Corollary 2 recovers in incremental form without well-posedness or causality assumptions.","marker":"[3]"},{"why":"Provides the quadratic-continuity lemma used to convert frequency-domain IQC inequalities into the incremental gain bound needed by Theorem 2.","marker":"[14]"}],"fun_headline_variants":["Homotopy from stable system proves incremental stability","One homotopy fixes graph test and extends IQC","Incremental stability via homotopy: graph test repaired","Homotopy theorem corrects two graph test assumptions","Separation of scaled graphs proves incremental stability"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that one fixed number $\\gamma$ bounds the incremental output difference of every partially scaled feedback loop $[H_1,\\tau H_2]$ for all $\\tau\\in[0,1]$, before those loops are known to be defined on the whole signal space.","fun_headline_variants_meta":{"raw":{"variants":["Homotopy from stable system proves incremental stability","One homotopy fixes graph test and extends IQC","Incremental stability via homotopy: graph test repaired","Homotopy theorem corrects two graph test assumptions","Separation of scaled graphs proves incremental stability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000314,"raw_usage":{"total_tokens":1707,"prompt_tokens":798,"completion_tokens":909,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":414,"completion_tokens_details":{"reasoning_tokens":833}},"tokens_in":414,"tokens_out":909,"duration_ms":8023,"temperature":1.0,"reasoning_tokens":833,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T04:18:00.853385+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The theorem is false if there exist incrementally bounded $H_1,H_2$ satisfying the uniform $\\gamma$-bound along all partial feedbacks for every $\\tau\\in[0,1]$, yet some input in $L_2$ makes the full feedback equations $y=H_1(u-H_2(y))$ have no solution or more than one solution; a search for such a pair, starting from boundary cases like the arctangent nonlinearity in the paper's Example 1, would settle it.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the incremental small-gain theorem used to prove each small perturbation of the homotopy is well posed and gain-bounded."},{"cited_title":"Scaled relative graphs: Non- expansive operators via 2D Euclidean geometry,","cited_arxiv_id":null,"evidence_quote":"Defines Scaled Relative Graphs and supplies the chord-property sum and inverse rules that turn SRG separation into an output-difference bound."}],"review_version":1}