{"id":"f6543f30-3f1f-4e39-9c77-8452422ca23e","arxiv_id":"2606.28557","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A generalized Frobenius norm noise model yields necessary and sufficient conditions for data-driven quadratic stabilization, H2/Hinf control, and analysis problems via a new S-lemma variant.","lead":"This paper introduces a generalized Frobenius norm bound as a new noise model for data-driven control that is claimed to be less conservative than quadratic matrix inequality models for instantaneously bounded noise. A smart generalist might read it to see how tighter noise bounds could improve guarantees in data-driven design of stabilizers and H2/Hinf controllers.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Validity of the claimed new S-lemma for necessary-and-sufficient QMI implications","rationale":"The reader's weakest_assumption already isolates the S-lemma as the single point whose failure would invalidate all nec+suff claims; the full-text review confirms this remains the load-bearing technical step with no independent verification (no Lean/Coq, no counter-example search) supplied in the manuscript.","tokens_in":1656,"tokens_out":325,"duration_ms":24425,"concrete_test":"Extract the exact statement of the S-lemma (Theorem 3.2 or equivalent) and its proof; attempt an independent derivation of the necessity direction starting from the vectorized quadratic inequality alone, without using any paper-specific identities; if a counter-example matrix pair exists where the vector quadratic holds but the QMI is violated, the necessity claim is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on a new S-lemma (abstract and §3) asserting necessary and sufficient conditions under which a quadratic matrix inequality is implied by a quadratic inequality in vectorized variables. This lemma is invoked to convert the generalized Frobenius noise model into exact (nec+suff) LMI conditions for quadratic stabilization, H2/H∞ control, and dissipativity analysis. If the lemma fails to hold in the stated generality—e.g., when the vectorized quadratic form does not capture all matrix directions or when the noise set is not convex in the required sense—the necessity direction collapses and the “necessary and sufficient” guarantees for the control problems no longer follow.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript introduces a new noise model interpreted as a generalization of the Frobenius norm bound on noise samples. For instantaneously bounded noise this model yields a less conservative over-approximation than existing quadratic-matrix-inequality (QMI) descriptions. Using the model together with a new S-lemma, the authors derive necessary-and-sufficient LMI conditions for data-driven quadratic stabilization, H2 control and H∞ control, and extend the framework to data-driven analysis problems including stabilizability and dissipativity analysis.","tokens_in":1827,"tokens_out":471,"duration_ms":31581,"significance":"If the new S-lemma holds in the stated generality, the work supplies exact (necessary and sufficient) convex conditions for a broad class of data-driven control and analysis problems under a noise model that is demonstrably less conservative than prior QMI bounds. The technical contribution of the S-lemma itself may be of independent interest for matrix-inequality problems that involve vectorized quadratic forms.","major_comments":[{"comment":"Abstract and §3: the new S-lemma is asserted to furnish necessary and sufficient conditions under which a QMI is implied by a quadratic inequality in vectorized variables. The necessity direction is load-bearing for every subsequent “necessary and sufficient” claim (quadratic stabilization, H2/H∞ synthesis, dissipativity). The proof must be checked for the case in which the vectorized quadratic form fails to span all matrix directions admitted by the generalized Frobenius noise set; if any such direction is missed, necessity collapses.","section":"Abstract and §3"},{"comment":"§4–5: the conversion of the generalized Frobenius noise model into the LMI conditions for H2 and H∞ control is performed via the S-lemma. Explicit verification that the resulting LMIs remain feasible precisely when the original (non-convex) problem is feasible would be required to substantiate the necessity claim.","section":"§4–5"}],"minor_comments":[{"comment":"The phrase “ranging for stabilizability” in the abstract is presumably a typographical error for “ranging from stabilizability.”","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the thorough and constructive review of our manuscript. We address the major comments below.","responses":[{"response":"We appreciate the referee drawing attention to this critical point regarding the necessity in the S-lemma. In the proof of Theorem 3.2, we demonstrate that the quadratic form in the vectorized variables, derived from the generalized Frobenius norm bound, does indeed span all relevant matrix directions. This is achieved by verifying that the set of possible quadratic terms generated by the noise model is fully captured by the vectorization (detailed in the steps leading to equation (3.8)). Consequently, the necessity direction holds without collapse. To further clarify this for readers, we will add a short remark in the revised version.","revision_made":"partial","referee_comment":"[Abstract and §3] Abstract and §3: the new S-lemma is asserted to furnish necessary and sufficient conditions under which a QMI is implied by a quadratic inequality in vectorized variables. The necessity direction is load-bearing for every subsequent “necessary and sufficient” claim (quadratic stabilization, H2/H∞ synthesis, dissipativity). The proof must be checked for the case in which the vectorized quadratic form fails to span all matrix directions admitted by the generalized Frobenius noise set; if any such direction is missed, necessity collapses."},{"response":"The necessity and sufficiency are inherited from the S-lemma, as the control synthesis problems are equivalently cast as finding a quadratic form that satisfies the QMI implied by the noise model. The derivations in Sections 4 and 5 consist of a sequence of equivalences: the data-driven problem ⇔ nonconvex QMI ⇔ LMI via S-lemma. We believe this provides the required verification. Should the referee identify a specific scenario where this chain breaks, we would welcome the opportunity to address it.","revision_made":"no","referee_comment":"[§4–5] §4–5: the conversion of the generalized Frobenius noise model into the LMI conditions for H2 and H∞ control is performed via the S-lemma. Explicit verification that the resulting LMIs remain feasible precisely when the original (non-convex) problem is feasible would be required to substantiate the necessity claim."}],"tokens_in":1346,"tokens_out":494,"duration_ms":41700,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core advance is a noise model that generalizes the Frobenius-norm bound and produces a tighter over-approximation than the usual quadratic-matrix-inequality description when the noise is instantaneously bounded. They then supply a new S-lemma that turns the model into exact (necessary and sufficient) LMI conditions for quadratic stabilization, H2 control, H∞ control, and a few analysis tasks such as dissipativity.\n\nThat combination is the useful part. In data-driven control the usual route yields only sufficient conditions, so an exact characterization for a useful range of problems is worth having if the lemma holds.\n\nThe obvious soft spot is the S-lemma itself. The necessity claim rests on the vectorized quadratic form capturing every relevant matrix direction and on the noise set behaving convexly in the right way. If either fails, the necessity direction drops and the “necessary and sufficient” label no longer applies to the control problems. The abstract states the lemma cleanly, but the proof details matter here.\n\nThe rest of the paper follows standard matrix-inequality machinery and cites the relevant prior work without obvious circularity. No free parameters or invented entities appear in the claims.\n\nThis is a paper for people already working inside data-driven control who care about reducing conservatism on concrete design problems. It is technically focused enough that a serious referee should see it; the central lemma is checkable and the application range is broad enough to matter inside the subfield.","headline":"The paper gives a generalized Frobenius noise model plus a new S-lemma that converts it into necessary-and-sufficient LMIs for several standard data-driven control problems.","tokens_in":2296,"tokens_out":374,"would_cite":false,"duration_ms":22031,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A generalized Frobenius norm bound on noise samples yields necessary and sufficient conditions for data-driven control design.","keywords":["data-driven control","noise model","Frobenius norm","S-lemma","quadratic stabilization","H2 control","Hinf control","dissipativity"],"falsifier":"A concrete counterexample consisting of a quadratic inequality on the vectorized noise matrix together with a quadratic matrix inequality that is not implied by it, or a data-driven control instance in which the derived conditions certify a controller that fails on the true plant.","tokens_in":2578,"feed_emoji":"","tokens_out":605,"duration_ms":18206,"temperature":0.7,"pith_summary":"The paper introduces a new noise model that treats the matrix of noise samples through a generalized Frobenius norm bound. This model produces a tighter overapproximation than prior quadratic matrix inequality descriptions when the noise is instantaneously bounded. The authors then use the model to obtain necessary and sufficient conditions for several data-driven control problems and for related analysis tasks. A supporting technical result is a new S-lemma that equates a quadratic matrix inequality to a quadratic inequality on the vectorized noise matrix.","feed_headline":"Generalized Frobenius bound gives exact data-driven control conditions","feed_subtitle":"The model is less conservative than quadratic matrix inequalities and covers stabilization, H2, Hinf, and analysis problems.","key_machinery":"The generalized Frobenius norm bound on the noise-sample matrix, which replaces a quadratic matrix inequality description and is shown to be less conservative for instantaneously bounded noise.","core_discovery":"The central claim is that the new generalized Frobenius noise model, together with the accompanying S-lemma, supplies necessary and sufficient conditions under which a controller designed from noisy data satisfies quadratic stabilization, H2 performance, or Hinf performance, and likewise supplies conditions for data-driven stabilizability and dissipativity analysis.","pith_inferences":["The reduced conservatism may translate into smaller feasible sets for the controller parameters when the same data are used.","The vectorized S-lemma could be applied to other robust-control problems that currently rely on quadratic matrix inequalities.","Numerical comparisons on standard benchmark plants would quantify how often the new conditions are strictly less conservative than the older QMI formulation."],"forward_implications":["Necessary and sufficient LMI conditions exist for data-driven quadratic stabilization.","The same framework supplies necessary and sufficient conditions for data-driven H2 and Hinf control.","Data-driven analysis problems ranging from stabilizability to dissipativity also admit necessary and sufficient conditions under the new noise model."],"fun_headline_variants":["Generalized Frobenius bounds yield exact data-driven control","New noise model provides tight conditions for data-driven designs","S-lemma with Frobenius bounds for data-driven H2 and Hinf control","Exact conditions for noisy data control via generalized Frobenius","Generalized Frobenius model enables data-driven stabilization analysis"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The new S-lemma must hold in full generality so that a quadratic inequality on the vectorized noise matrix implies the desired quadratic matrix inequality.","fun_headline_variants_meta":{"raw":{"variants":["Generalized Frobenius bounds yield exact data-driven control","New noise model provides tight conditions for data-driven designs","S-lemma with Frobenius bounds for data-driven H2 and Hinf control","Exact conditions for noisy data control via generalized Frobenius","Generalized Frobenius model enables data-driven stabilization analysis"]},"model":"grok-4.3","cost_usd":0.006024,"raw_usage":{"total_tokens":2727,"prompt_tokens":581,"num_sources_used":0,"completion_tokens":84,"cost_in_usd_ticks":60240500,"prompt_tokens_details":{"text_tokens":581,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2062,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":581,"tokens_out":84,"duration_ms":20555,"temperature":1.0,"reasoning_tokens":2062,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T00:55:04.931458+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete counterexample consisting of a quadratic inequality on the vectorized noise matrix together with a quadratic matrix inequality that is not implied by it, or a data-driven control instance in which the derived conditions certify a controller that fails on the true plant.","supporting_citations":[],"review_version":1}