{"id":"8dbe066c-734b-45b9-8a35-a256b438a7a5","arxiv_id":"2411.14339","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A rank-one dual LMI solution certifies non-absolute-stability by constructing a slope-restricted nonlinearity with a nonzero equilibrium.","lead":"The paper shows that when a standard linear matrix inequality (LMI) test for absolute stability fails, a rank-one solution of its dual LMI can be converted into an explicit slope-restricted nonlinearity that gives the closed-loop system a nonzero equilibrium, proving the system is not absolutely stable. This turns an inconclusive test failure into a concrete destabilizing example.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1 is conditional on the dual LMI having a rank-one solution, but the paper never shows primal infeasibility produces such a solution; if rank-one solutions are rare, the advertised instability certificate does not follow from LMI infeasibility.","rationale":"The proof of Theorem 1 itself appears sound: from a rank-one H the equality constraints indeed force Ah1+Bh2=0, the sector inequalities on the pairs (z_i*,w_i*) follow from the structure of the dual variables, and the piecewise-linear extension is in slope[0,1]. The problem is not internal validity but reach. The paper's abstract and introduction frame the contribution as a way to conclude non-absolute-stability when the IQC/OZF LMI is infeasible. The theorems, however, require an additional rank-one hypothesis on the dual solution, and no result in the paper links primal infeasibility to the existence of such a rank-one solution. This is precisely the reader's weakest assumption, and it is load-bearing because without it the central inference from infeasibility to instability has no certificate. The two numerical examples show that rank-one solutions can be found in selected instances, but they provide no evidence about typical or guaranteed behavior. A random-ensemble computational test, or an analytical counterexample showing a system where the dual feasible set has no rank-one point, would settle whether the condition is a genuine restriction. Since the reader already flagged this and conditioned acceptance on addressing it, the verdict is unchanged.","tokens_in":13087,"tokens_out":20337,"duration_ms":191924,"concrete_test":"Generate a random ensemble of systems with A Hurwitz, ||D||<1, and primal LMI (10) infeasible; for each, solve dual LMI (11) and then run a rank-one feasibility search on the bilinear equalities Ah1+Bh2=0 and h2(Ch1+(D-I)h2)^T = 1f^T+g1^T+X with f,g>=0 and X in Z_0. If a substantial fraction admit a rank-one solution, the hypothesis is non-vacuous; if none do, the main theorems do not provide the advertised infeasibility-based instability certificate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that infeasibility of the IQC/OZF primal LMI (10) can be converted into a proof of non-absolute-stability. What Theorem 1 actually proves is the conditional statement: if dual LMI (11) has a feasible H of rank one, then a destabilizing slope-[0,1] nonlinearity and a nonzero equilibrium exist. The missing link is existence: dual feasibility is a convex cone condition, and the Farkas certificate for primal infeasibility is not shown to have rank one. No extreme-ray or rank-reduction argument is supplied, and the two numerical examples in Sections III.D and IV.D only exhibit rank-one solutions; they do not show that such solutions occur generically, or ever, when (10) is infeasible. If the minimal-rank dual solution has rank greater than one, the theorems are vacuous for those systems, and the paper's stated goal of deriving a condition for non-absolute-stability when the LMIs are infeasible is not achieved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper addresses the absolute stability analysis of feedback systems with slope-restricted nonlinearities using IQC-based LMIs with static O'Shea-Zames-Falb multipliers. When the standard sufficient LMI for absolute stability is infeasible, the authors consider its dual. The main theorems (Theorem 1 for slope-restricted nonlinearities and Theorem 2 for slope-restricted and odd nonlinearities) state that if the dual LMI admits a rank-one feasible solution H = [h1; h2][h1; h2]^T, then a destabilizing nonlinearity within the assumed class can be explicitly constructed, and x(t) = h1 is a nonzero equilibrium of the resulting closed-loop system, implying the system is not absolutely stable. The paper provides constructive procedures for the destabilizing nonlinearity and illustrates the results with two numerical examples.","tokens_in":13322,"tokens_out":17959,"duration_ms":155506,"significance":"The paper proposes a novel and potentially valuable tool: a dual LMI certificate that not only detects non-absolute-stability but also provides a constructive destabilizing nonlinearity and an explicit equilibrium. The proofs of Theorems 1 and 2 are detailed and appear correct. The main limitation is that the results are conditional on the existence of a rank-one feasible dual solution, and the paper does not investigate when such a solution exists. If this rank-one condition can be shown to hold generically for infeasible primal LMIs, or if a reliable numerical procedure for finding rank-one solutions is provided, the contribution would be significant. In its current form, the paper is an interesting but incomplete answer to the problem it sets out to solve.","major_comments":[{"comment":"The central hypothesis is the existence of a rank-one feasible solution H to the dual LMI (11)/(19). The paper does not show that primal infeasibility of (10)/(18) guarantees such a solution, nor does it provide a method to search for one. The two numerical examples only demonstrate rank-one solutions for particular systems. Since the dual feasible set is a convex cone, there is no general rank-reduction argument ensuring a rank-one element, and the theorems are vacuous for systems where all feasible dual solutions have rank greater than one. Please either provide a theoretical result on the existence of rank-one dual solutions, develop a numerical algorithm to find them, or explicitly state and discuss this limitation and adjust the claims in the abstract and introduction accordingly.","section":"Section III.B (Theorem 1) and Section IV.B (Theorem 2)"},{"comment":"The numerical examples state that the dual LMI is feasible and that the solution H is 'numerically verified to be rank(H)=1,' but they do not explain how a rank-one solution was found or verified. Since the main theorems rely on the rank-one property, it is important to specify the optimization procedure (e.g., a rank-minimization heuristic such as nuclear norm minimization, or a tailored search). Without this, the examples are not reproducible and provide limited evidence that rank-one solutions can be found systematically.","section":"Section III.D and Section IV.D"}],"minor_comments":[{"comment":"The statement that the first inequality constraint in (9) has been replaced by an equality constraint in (11) is not explained; because the primal LMI (10) has P as a free symmetric variable, the dual should indeed contain He{AH11+BH12^T}=0, and this reasoning should be stated explicitly.","section":"Section III.B, derivation of dual LMI (11)"},{"comment":"The product in (13) is typeset ambiguously as `w∗_i − w∗_j / z∗_i − z∗_j (1 − ...)`; it should be written with parentheses around each quotient to make clear it is the product of two fractions.","section":"Proof of Theorem 1, inequality (13)"},{"comment":"The assertion that (13) and (14) 'clearly show the existence' of a slope-[0,1] function is terse; a short argument based on monotone piecewise linear interpolation with constant extension would make the proof self-contained.","section":"Proof of Theorem 1, part (ii)"},{"comment":"Reference [19] is a Japanese textbook; for the lemma He{uv^T}=0 with v≠0 implies u=0, consider giving a proof in the text or citing a standard linear algebra reference.","section":"References"},{"comment":"There is a minor typo: 'to prove that rank(H)=1 can happen' should be 'can occur' or 'is possible'.","section":"Proof of Theorem 1, part (i)"}],"recommendation":"major_revision","confidential_remarks":"The paper's main theorems are correctly stated and proved, but the gap between primal infeasibility and the existence of a rank-one dual solution is a significant limitation that affects the core claim. If the authors can provide a method to find rank-one solutions or at least a thorough discussion of when they exist, the paper would be much stronger. I recommend major revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper is worth a look. The genuinely new thing is a constructive instability certificate: if the dual of the OZF LMI has a rank-one feasible solution, the authors explicitly build a slope-[0,1] nonlinearity and a nonzero equilibrium for the closed loop, so the system is not absolutely stable. The odd-slope variant is a separate theorem with a more delicate interpolation argument. The proofs are careful, and the numerical examples actually exhibit the rank-one solution and the constructed equilibrium. This extends their earlier ReLU-specific dual construction to static OZF multipliers, which is a natural step but not a routine one.\n\nCredit where it is due: the key inequalities (13)-(14) and (22)-(26) are doing real work, and the equilibrium argument from He{(Ah1+Bh2)h1^T}=0 with h1 nonzero is neat. The paper is also honest that the rank condition is a hypothesis.\n\nThe soft spots, in order. First, the rank-one condition is not derived from primal infeasibility. The abstract and introduction advertise a way to conclude non-absolute-stability when the LMI is infeasible, but the theorems actually prove a conditional statement. The dual certificate from LMI alternatives can have rank greater than one, and the paper gives no extreme-ray or rank-reduction argument to show that a rank-one solution exists whenever the primal fails. The two examples show it can happen, not that it typically does. This does not invalidate the theorems, but it is a real gap between the stated motivation and the result. Second, the extraction theorems are specialized to slope [0,1] and ||D||<1; the general mu,nu setup is dualized but the rank-one construction only runs in the normalized case. That is a scope limitation, not an error. Third, the numerical section has no solver details, tolerance thresholds, or code, so the rank-one declarations are not independently reproducible from the manuscript alone. Minor: the primal-dual equivalence is cited rather than proved, which is acceptable for a control audience, but one sentence on strict versus nonstrict feasibility would help.\n\nThe stress-test note points at the real issue. The conditional theorem is true as stated; the missing piece is existence of the rank-one solution. I would not desk-reject this. A serious referee should ask for an existence or rank-reduction discussion and a reproducibility package, but the constructive result itself deserves to be in the literature.\n\nRecommendation: send to peer review. I would cite it in work on dual instability certificates.","headline":"A sound and genuinely constructive dual-LMI instability certificate, but the advertised bridge from primal infeasibility to a rank-one dual solution remains unproven.","tokens_in":13853,"tokens_out":7399,"would_cite":true,"duration_ms":70327,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["93D10","93D05","90C22"],"pacs":[],"model":"deepseek-v4-flash","headline":"A rank-one solution of the dual LMI proves the feedback system is not absolutely stable, by exposing a slope-restricted nonlinearity with a nonzero equilibrium.","keywords":["absolute stability","integral quadratic constraints","O'Shea-Zames-Falb multipliers","slope-restricted nonlinearities","dual linear matrix inequalities","rank-one solution","destabilizing nonlinearity","nonzero equilibrium"],"falsifier":"A reader could solve the dual LMI (11) for a plant with $A$ Hurwitz, $\\|D\\|<1$, and an infeasible primal LMI (10), then check whether every feasible $H$ has rank at least two; a system of that kind that is nevertheless absolutely stable would show the certificate does not detect all instabilities. A more direct check is to take any rank-one dual solution, build $\\phi_{wc}$ by the paper's piecewise-linear rule, and simulate from $x(0)=h_1$: the claim predicts the state stays exactly at $h_1$ and the constructed map lies in $\\mathrm{slope}[0,1]$.","tokens_in":12915,"feed_emoji":"📉","tokens_out":12089,"duration_ms":92171,"temperature":0.7,"pith_summary":"The paper addresses a blind spot in absolute-stability analysis: the standard certificates built from integral quadratic constraints (IQC) and solved as linear matrix inequalities (LMIs) are only sufficient, so when the LMI is infeasible nothing is known. The authors derive the dual LMI and show that if it has a feasible solution of rank one, then the system is definitely not absolutely stable. In that case the solution directly yields a destabilizing nonlinearity inside the prescribed slope class and a nonzero equilibrium point of the closed loop. This turns a failed numerical certificate into a constructive instability proof.","feed_headline":"Rank-one dual solution turns LMI infeasibility into instability proof","feed_subtitle":"When the IQC certificate fails, a rank-one dual solution builds a slope-restricted nonlinearity with a nonzero equilibrium.","key_machinery":"The engine is the dual LMI (11), obtained by Lagrange duality from the primal certificate built on static O'Shea-Zames-Falb multipliers, the multiplier matrices that encode the input-output slope constraints of the nonlinearity inside the IQC framework. A feasible rank-one solution $H=[h_1;h_2][h_1;h_2]^T$ does three things at once. The first equality constraint becomes $\\mathrm{He}\\{(Ah_1+Bh_2)h_1^T\\}=0$, and since $h_1\\neq0$ this forces $Ah_1+Bh_2=0$, making $h_1$ a zero of the vector field. The second constraint rewrites as $w^*(z^*-w^*)^T=1_m f^T+g1_m^T+X$; because $f,g\\ge0$ and $X$ is a zero-diagonal $Z$-matrix, this identity enforces the pointwise slope and sector conditions that guarantee an interpolating function in $\\mathrm{slope}[0,1]$. The paper's piecewise-linear construction makes that interpolating function explicit.","core_discovery":"The central discovery is Theorem 1 (and its odd-symmetry counterpart, Theorem 2). For slope-restricted nonlinearities in $[0,1]$ with $\\|D\\|<1$, suppose the dual LMI (11) has a rank-one solution $H=[h_1;h_2][h_1;h_2]^T$. Then $h_1\\neq0$, and the points $z^*=Ch_1+Dh_2$, $w^*=h_2$ admit a function $\\phi_{wc}$ in $\\mathrm{slope}[0,1]$ with $\\phi_{wc}(z^*_i)=w^*_i$ for each channel. With $\\Phi_{wc}=\\mathrm{diag}_m(\\phi_{wc})$, the closed loop satisfies $x(t)=h_1$, $z(t)=z^*$, $w(t)=w^*$ for all $t\\ge0$ from $x(0)=h_1$, so $h_1$ is a nonzero equilibrium and the system is not absolutely stable. The rank-one hypothesis is what converts the dual variables into a concrete state and a concrete nonlinearity.","pith_inferences":["If rank-one feasible solutions were typical whenever the primal LMI is infeasible, the OZF/IQC condition would become a necessary and sufficient test for absolute stability within the slope class; the paper only proves the one-way implication and gives no genericity result.","The same dual-extraction scheme could be applied to other multiplier families, such as the idempotent-nonlinearity multipliers the paper lists as future work, with the open question being whether the rank-one condition survives those multiplier sets.","One can turn the result into a screening algorithm: solve the dual semidefinite program, compute the minimum-rank feasible $H$, and if the minimum is one, output $\\phi_{wc}$ and $h_1$ as an instability certificate. Whether the minimum rank is generically one is a testable numerical question."],"forward_implications":["If the dual LMI (11) is feasible with a rank-one solution, the primal OZF/IQC LMI is necessarily infeasible, so the rank-one dual certificate is a direct witness that the sufficient condition has failed.","The extracted nonlinearity $\\phi_{wc}$ is an explicit destabilizing member of the assumed slope-restricted class, so the instability is witnessed by a concrete object rather than by the absence of a certificate.","The vector $h_1$ gives the exact nonzero equilibrium location, allowing direct simulation-based verification of the instability claim.","Theorem 2 provides the same constructive certificate when the nonlinearity is also required to be odd, using doubly dominant multipliers in the dual LMI (19).","In the two numerical examples, trajectories from other initial states converge to the origin while the trajectory from $h_1$ stays fixed, confirming that the certificate identifies a genuine global-stability failure."],"supporting_citations":[{"why":"Supplies Proposition 1, the IQC-based LMI stability condition that the paper dualizes and extends.","marker":"[15]"},{"why":"Supplies Lemma 1, the static O'Shea-Zames-Falb multiplier inequality for slope-restricted nonlinearities that defines the multiplier class in the primal LMI.","marker":"[18]"},{"why":"Supplies the LMI duality and theorems of alternative used to derive the dual LMI and the primal-infeasibility/dual-feasibility equivalence.","marker":"[16]"},{"why":"Provides the linear-algebra fact that $\\mathrm{He}\\{(Ah_1+Bh_2)h_1^T\\}=0$ with $h_1\\neq0$ implies $Ah_1+Bh_2=0$, the step that makes $h_1$ an equilibrium.","marker":"[19]"},{"why":"The authors' earlier instability certificate for fixed ReLU nonlinearities, which the present result generalizes to all slope-restricted nonlinearities in the assumed class.","marker":"[17]"}],"fun_headline_variants":["Dual LMI rank-one solution exposes hidden instability","When IQC LMIs fail, duality builds a destabilizing nonlinearity","LMI infeasibility turned into explicit instability witness","A rank-one dual solution certifies non-absolute stability"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorems assume the dual LMI has a feasible solution of rank exactly one; the paper does not characterize when such a solution exists, and only two numerical examples exhibit it.","fun_headline_variants_meta":{"raw":{"variants":["Dual LMI rank-one solution exposes hidden instability","When IQC LMIs fail, duality builds a destabilizing nonlinearity","LMI infeasibility turned into explicit instability witness","A rank-one dual solution certifies non-absolute stability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00079,"raw_usage":{"total_tokens":3502,"prompt_tokens":982,"completion_tokens":2520,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":598,"completion_tokens_details":{"reasoning_tokens":2452}},"tokens_in":598,"tokens_out":2520,"duration_ms":17622,"temperature":1.0,"reasoning_tokens":2452,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:18:33.184366+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A reader could solve the dual LMI (11) for a plant with $A$ Hurwitz, $\\|D\\|<1$, and an infeasible primal LMI (10), then check whether every feasible $H$ has rank at least two; a system of that kind that is nevertheless absolutely stable would show the certificate does not detect all instabilities. A more direct check is to take any rank-one dual solution, build $\\phi_{wc}$ by the paper's piecewise-linear rule, and simulate from $x(0)=h_1$: the claim predicts the state stays exactly at $h_1$ and the constructed map lies in $\\mathrm{slope}[0,1]$.","supporting_citations":[{"cited_title":"Megretski and A","cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 1, the IQC-based LMI stability condition that the paper dualizes and extends."},{"cited_title":"Fetzer and C","cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 1, the static O'Shea-Zames-Falb multiplier inequality for slope-restricted nonlinearities that defines the multiplier class in the primal LMI."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the LMI duality and theorems of alternative used to derive the dual LMI and the primal-infeasibility/dual-feasibility equivalence."},{"cited_title":"Ebihara, System Control Using LMI, Morikita Syuppan Co., Ltd, Tokyo, 2012","cited_arxiv_id":null,"evidence_quote":"Provides the linear-algebra fact that $\\mathrm{He}\\{(Ah_1+Bh_2)h_1^T\\}=0$ with $h_1\\neq0$ implies $Ah_1+Bh_2=0$, the step that makes $h_1$ an equilibrium."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The authors' earlier instability certificate for fixed ReLU nonlinearities, which the present result generalizes to all slope-restricted nonlinearities in the assumed class."}],"review_version":1}