{"id":"4882bf4e-da95-4217-98b0-495258f17f51","arxiv_id":"2508.08579","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The abstract claims a gKYP lemma extension for LPV systems via frequency-range enlargement, but the submitted full text is an unrelated video generation paper.","lead":"The paper's abstract claims a new extension of a key control-theory lemma (the generalized Kalman-Yakubovich-Popov lemma) from time-invariant to parameter-varying systems. The uploaded full text, however, is a completely different computer-vision paper on human video generation, so the mathematical claim cannot be checked from the submitted manuscript.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The abstract claims a proved extension of the gKYP lemma, but the submitted body contains no control-theory content, so the claimed pole-frequency-gap and Gramian dependence cannot be checked against any equation or proof.","rationale":"The reader's weakest_assumption correctly identifies that the reformulation and its claimed dependence on pole-frequency gap and controllability Gramians cannot be checked because the body is an unrelated computer vision paper. My stress-test agrees with this assessment. The load-bearing problem is not a subtle mathematical flaw but the complete absence of the claimed derivation from the submitted text. The reviewing rule to treat all manuscript parts as in-scope evidence strengthens rather than weakens this conclusion: the body's content is direct evidence that the abstract's theorem is unsupported. I recommend no change to the reader's UNVERDICTED verdict, because the situation is one of insufficient information rather than demonstrated falsity; rejecting the submission outright would require engaging with the mathematical argument, which is not present. The concrete test—a text-level scan for the control-theory terms central to the abstract—would definitively confirm the absence of the supporting derivation in this artifact and would justify keeping the verdict as UNVERDICTED until the correct full text is supplied.","tokens_in":14390,"tokens_out":3351,"duration_ms":39873,"concrete_test":"Scan the submitted full-text PDF for the strings 'Kalman-Yakubovich-Popov', 'gKYP', 'IQC', 'Gramian', 'LPV', and 'Iwasaki'. Since the abstract relies entirely on these notions, a negative result in the body confirms that no proof, formula, or numerical evidence for the claimed LPV gKYP extension is present in the submission; the central claim would then remain unverifiable from the provided manuscript. If a positive result were found, the next step would be to verify that the located derivation actually proves the enlargement formula and does not assume time-invariant scheduling.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that an enlarged frequency range restores non-negativity of the frequency-dependent IQC function for LPV systems, and that the minimal required enlargement is determined by the pole-frequency gap and a set of controllability Gramians. For this claim to be supported, the manuscript must contain a derivation of the enlargement, a proof of restored non-negativity, and a formula for the minimal expansion, together with numerical validation. The submitted full text contains none of this: it is a computer vision paper on decomposed human video generation, with no occurrence of IQC, gKYP, LPV, controllability Gramians, or the Iwasaki-Hara references. No section, equation, or experiment in the body addresses the abstract's mathematical content. The single most load-bearing condition—that the manuscript actually contains the claimed theorem and its proof—is therefore not met for the submitted artifact. This is not an internal mathematical contradiction; it is a missing-evidence problem. Even if the abstract's assertion is mathematically true, the submitted text provides no way to verify the claimed dependence of the minimal expansion on pole-frequency gap and controllability Gramians, and no way to check that the enlarged frequency range preserves the original finite-frequency behavior while restoring IQC non-negativity. The body's own limitation section concerns foreground-background lighting inconsistencies, further confirming the mismatch.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The abstract of arXiv:2508.08579 announces an extension of the generalized KYP lemma from LTI to LPV systems. It claims (i) a counterexample showing that the frequency-dependent IQC non-negativity property can fail for LPV systems; (ii) a reformulation that enlarges the original frequency range to restore non-negativity; (iii) a characterization of the minimal required expansion in terms of the pole-frequency gap and a set of controllability Gramians; and (iv) numerical examples demonstrating the potential and efficiency of the approach. The full text supplied for review, however, is the paper 'RealisMotion: Decomposed Human Motion Control and Video Generation in the World Space,' a computer-vision paper on controllable human video generation. None of the mathematical claims in the abstract appears in the body: there is no definition of the IQC function, no LPV model class, no theorem statement, no proof, and no numerical experiment related to finite-frequency analysis.","tokens_in":14536,"tokens_out":4238,"duration_ms":42409,"significance":"If the result announced in the abstract were established, it would be a useful advance: the existing gKYP-lemma toolbox does not automatically transfer to LPV systems, and an enlargement procedure governed by system-theoretic data would fill a genuine gap in the literature. The claimed dependence of the minimal enlargement on the pole-frequency gap and controllability Gramians is a natural and falsifiable statement. However, the submitted manuscript provides no evidence from which these claims can be checked. The paper contains no derivations, no machine-checked proofs, no reproducible code, and no numerical support for the announced theorem; its strengths and validity cannot be assessed from the submitted text.","major_comments":[{"comment":"The submitted full text is not the paper described by the abstract. The body, titled 'RealisMotion,' contains no occurrence of the generalized KYP lemma, IQC, LPV, controllability Gramians, Iwasaki, Hara, or finite-frequency analysis; instead it presents a diffusion-based video generation method. Consequently, every mathematical claim in the abstract is unsupported by the manuscript. This is not a local gap in a derivation; the entire technical content of the announced result is absent.","section":"Abstract / Full text"},{"comment":"The abstract states that 'we first demonstrate through a counterexample that the IQC non-negativity property may fail for LPV systems.' No counterexample appears anywhere in the submitted text. No LPV system, no scheduling-parameter model, no frequency-limited input class, and no numerical verification is defined, so the claimed invalidation of existing IQC-based results cannot be examined.","section":"Abstract, paragraph 2"},{"comment":"The core reformulation is also absent: the abstract claims that replacing the original frequency range with an enlarged one restores non-negativity and that the minimal required expansion depends on the pole-frequency gap and a set of controllability Gramians. The manuscript gives no formula for the enlarged range, no theorem statement, no proof of restored non-negativity, and no comparison with existing LPV gKYP results. There are also no numerical examples of 'potential and efficiency' as promised in the abstract.","section":"Abstract, paragraphs 2-3"},{"comment":"The only limitation acknowledged in the body concerns 'foreground–background lighting inconsistencies' of the video-generation method. This limitation is unrelated to the announced control-theoretic results and reinforces that the submitted text cannot support the claims in the abstract.","section":"Section 5, Conclusions (Limitation paragraph)"}],"minor_comments":[{"comment":"The title 'Extension of generalized KYP lemma: from LTI systems to LPV systems' does not match the content of the full text, which is a paper on human video generation; the metadata must be corrected to correspond to the actual submission.","section":"Title"},{"comment":"The abstract contains typographical and grammatical errors, including 'Building upon this results' and the missing space in 'interaction(or gap)'; these should be corrected in any resubmission.","section":"Abstract"},{"comment":"The reference list of the full text contains no entry for Iwasaki and Hara (2005) or for any control-theory literature cited in the abstract; the bibliography is inconsistent with the claimed subject matter.","section":"References"}],"recommendation":"reject","confidential_remarks":"The discrepancy between the abstract and the body is so extreme that this appears to be an upload or metadata error rather than a normal technical defect in a derivation. If the authors submit the correct control-theory manuscript, the claims should be evaluated on that version. As it stands, the submission cannot be reviewed for scientific content."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: as submitted, this is not a paper about the gKYP lemma. The abstract promises a counterexample, an enlarged-frequency-range reformulation, and a dependence on pole-frequency gap and controllability Gramians, but the body is a computer vision paper on decomposed human video generation. None of the control theory content appears even once: no IQC, no LPV, no Iwasaki–Hara references, no equations, no numerical experiments. This is not a weak proof; it is a case of the claimed result being entirely absent.\n\nWhat the paper does well: the CV portion (RealisMotion) is a fairly standard but solid-looking video generation contribution with ablations and comparisons. If that were the submission, it might merit a normal CV review. But it is not what the abstract advertises, and the author lists do not even match. So this is a submission-level structural failure.\n\nSoft spots, in order of severity. First, the missing content: the central claim about minimal expansion depending on the pole-frequency gap and controllability Gramians is simply unverifiable. No theorem statement, no proof sketch, no formula. The numerical examples promised in the abstract are absent. Second, the citation pattern: the CV references do not include the control theory literature, which confirms the abstract and body are independent artifacts. Third, even the abstract itself has a grammatical slip (“Building upon this results”), suggesting haste, but that is minor relative to the mismatch.\n\nThe stress-test note is right: this is a missing-evidence problem, not an internal mathematical contradiction. The abstract could be true, but there is no way to check it. I cannot give credit for the mathematical claim on the strength of the abstract alone.\n\nWho is this for? Nobody, in its current form. A reader interested in the gKYP extension gets nothing; a reader interested in video generation gets a separate paper that is not the one under the given title and authors. Recommendation: do not send to peer review. The correct action is to desk reject and ask the authors to resubmit the correct manuscript. If the gKYP paper exists, it needs to be submitted under its own arXiv ID with the full derivation.","headline":"The abstract advertises a control theory result, but the body is an unrelated computer vision paper, so there is no mathematical content to referee.","tokens_in":15129,"tokens_out":1879,"would_cite":false,"duration_ms":17287,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["93C80","93D10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The generalized KYP lemma extends to LPV systems only after the frequency range is widened to restore a time-domain inequality.","keywords":["generalized KYP lemma","LPV systems","finite-frequency analysis","integral quadratic constraint","IQC non-negativity","frequency range enlargement","controllability Gramians","time-frequency intermodulation"],"falsifier":"Take a scalar or low-order LPV system with one pole at distance $d$ from the boundary of a chosen frequency band $\\Omega$ and compute the frequency-dependent IQC function in closed form; the claimed pole–gap and Gramian formula predicts the minimal widening needed to restore non-negativity. If the true minimal widening differs, or if some LPV system admits no finite widening that preserves the original band's behavior, the extension is refuted.","tokens_in":14109,"feed_emoji":"⚙️","tokens_out":8049,"duration_ms":76610,"temperature":0.7,"pith_summary":"This paper argues that the generalized Kalman–Yakubovich–Popov (gKYP) lemma cannot be carried over to linear parameter-varying (LPV) systems without modification, because the frequency-dependent integral quadratic constraint (IQC) used in its time-domain interpretation may lose non-negativity when the scheduling parameter varies. A counterexample is presented showing that the non-negativity assumption, which earlier extensions rely on, can fail. The proposed repair is to replace the original frequency range with a minimal enlarged range that restores non-negativity, with the required enlargement claimed to be determined by the gap between the system poles and the original range together with a set of controllability Gramians. Building on this, the paper states an extension of the gKYP lemma intended to make finite-frequency analysis of LPV systems direct and reliable. A sympathetic reader would care because this removes a hidden assumption that has blocked LPV extensions and offers a computable route to frequency-bounded analysis.","feed_headline":"A frequency test for time-varying systems needs a wider window","feed_subtitle":"The required widening grows as system poles approach the original band, making the fix computable.","key_machinery":"The central object is the frequency-dependent integral quadratic constraint (IQC) function, which gives the gKYP lemma its time-domain reading by weighting the input spectrum over the frequency range of interest. For LTI systems the lemma works because this function is non-negative over the band; the paper's reformulation replaces the original frequency range $\\Omega$ with an enlarged set $\\widetilde{\\Omega}$ so that the IQC becomes non-negative for the LPV system. The minimal enlargement is claimed to be governed by the gap between the system poles and $\\Omega$, together with controllability Gramians, which are the matrices that measure how strongly the inputs reach the system's states and make the enlargement computable.","core_discovery":"The central claim is that the obstruction to extending the gKYP lemma from LTI to LPV systems is the non-negativity of the frequency-dependent IQC function: the intermodulation between the input signal and the time-varying scheduling parameter can drive this function negative, invalidating existing results that assume it stays non-negative. The paper proposes to repair the failure by enlarging the originally specified frequency range, and asserts that the minimal such enlargement depends on the interaction (gap) between the system poles and that range, together with a set of controllability Gramians. On this basis it states an extension of the gKYP lemma for LPV systems, enabling finite-frequency analysis in a direct and reliable manner.","pith_inferences":["A testable consequence the authors do not spell out: as the pole–frequency gap grows, the required enlargement should shrink toward zero, so systems with poles far from the band should recover the LTI behavior.","The dependence on controllability Gramians suggests the enlargement can be computed numerically by solving Lyapunov-type equations restricted to the controllable subspace, which would give a concrete algorithm beyond the existence statement.","If the extension holds, LTI finite-frequency synthesis tools could be adapted to LPV plants by solving the enlarged-range inequality, with the pole–gap formula quantifying the added conservatism.","A closed-form scalar LPV example with a single pole near the band boundary could test whether the minimal enlargement really matches the claimed pole–gap and Gramian formula."],"forward_implications":["Finite-frequency analysis of LPV systems can be carried out directly in the frequency domain, without first assuming the IQC non-negativity that fails in the LPV setting.","The enlargement criterion gives a computable rule: how far the frequency range must grow is read off from pole locations and controllability Gramians.","The counterexample shows that any proposed LPV extension of the gKYP lemma that silently keeps the LTI non-negativity assumption is unsound.","The extended lemma makes frequency-bounded performance analysis of LPV plants a matter of verifying an enlarged-range inequality, in the same spirit as the LTI case."],"supporting_citations":[{"why":"Establishes the original gKYP lemma for LTI systems, the result that the paper extends.","marker":"Iwasaki and Hara (2005 IEEE TAC)"},{"why":"Supplies the frequency-dependent IQC time-domain interpretation whose non-negativity is the property at issue.","marker":"Iwasaki et al. (2005, System and Control Letters)"}],"fun_headline_variants":["Enlarge the frequency range to fix LPV frequency tests","Intermodulation breaks IQC positivity: widen the band","gKYP lemma extended to time-varying systems via frequency enlargement","When poles hover near the band, widen more: LPV gKYP fix","Restoring IQC non-negativity for LPV: a computable frequency expansion"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The repair depends on the premise that some computable enlargement of the frequency range always restores the IQC non-negativity while still capturing the original finite-frequency behavior, and the submitted full text does not contain the proof of this premise or of the claimed pole–gap and Gramian dependence.","fun_headline_variants_meta":{"raw":{"variants":["Enlarge the frequency range to fix LPV frequency tests","Intermodulation breaks IQC positivity: widen the band","gKYP lemma extended to time-varying systems via frequency enlargement","When poles hover near the band, widen more: LPV gKYP fix","Restoring IQC non-negativity for LPV: a computable frequency expansion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00075,"raw_usage":{"total_tokens":3362,"prompt_tokens":987,"completion_tokens":2375,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":603,"completion_tokens_details":{"reasoning_tokens":2283}},"tokens_in":603,"tokens_out":2375,"duration_ms":17378,"temperature":1.0,"reasoning_tokens":2283,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:34:02.195436+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a scalar or low-order LPV system with one pole at distance $d$ from the boundary of a chosen frequency band $\\Omega$ and compute the frequency-dependent IQC function in closed form; the claimed pole–gap and Gramian formula predicts the minimal widening needed to restore non-negativity. If the true minimal widening differs, or if some LPV system admits no finite widening that preserves the original band's behavior, the extension is refuted.","supporting_citations":[],"review_version":2}