{"id":"6e67171b-dc7a-4e90-a4fa-ef91a1d0f899","arxiv_id":"1907.02515","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Characterizes polynomial dichotomies for arbitrary evolution families via admissibility and proves robustness of strong nonuniform polynomial dichotomies under small linear perturbations.","lead":"The paper characterizes polynomial dichotomies for evolution families via the admissibility property (unique bounded solution for each bounded perturbation) and recovers the nonuniform version using Lyapunov norms. A smart generalist might read it to see how stability properties of time-varying linear systems can be checked through perturbation robustness.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly notes that the family of norms is taken as given, but this matches the paper's stated scope (characterization w.r.t. a family of norms). The abstract-only limitation explains the UNVERDICTED verdict; nothing in the strongest_claim indicates a load-bearing gap that would alter the assessment once the full text is examined.","tokens_in":1605,"tokens_out":282,"duration_ms":17861,"concrete_test":"Take the constant-coefficient case (A(t) ≡ A) on R^n with the standard norm family; directly verify that the admissibility condition (unique bounded solution for every bounded inhomogeneity) is equivalent to the spectrum of A lying off the imaginary axis with appropriate polynomial growth bounds, matching the dichotomy definition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an equivalence between polynomial dichotomy (w.r.t. a given family of norms) and admissibility for arbitrary evolution families, plus recovery of the nonuniform case via Lyapunov norms and a robustness corollary. This is a standard structural result in dichotomy theory; the norms are explicitly part of the setup rather than an unstated assumption that must be constructed from the evolution family alone. No internal inconsistency, missing step in the equivalence, or unsupported hypothesis is visible in the stated claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that for an arbitrary evolution family, the notion of a polynomial dichotomy with respect to a given family of norms is equivalent to an admissibility property (unique bounded solution for every bounded perturbation). Using a family of Lyapunov norms recovers the strong nonuniform polynomial dichotomy, and the characterization is applied to prove robustness of strong nonuniform polynomial dichotomies under sufficiently small linear perturbations.","tokens_in":1685,"tokens_out":296,"duration_ms":36827,"significance":"If the equivalence holds, the result supplies a standard but useful tool for establishing polynomial dichotomies via admissibility, which is often more tractable than direct estimates. The recovery of the nonuniform case via Lyapunov norms and the robustness corollary constitute nontrivial extensions within dichotomy theory for nonautonomous systems. The approach treats the family of norms as part of the given data rather than deriving it from the evolution family alone.","major_comments":[],"minor_comments":[{"comment":"Abstract: the statement does not list the standing assumptions on the evolution family or on the family of norms; adding one sentence would clarify the setup without lengthening the abstract.","section":"Abstract"},{"comment":"The notation for the family of norms and the precise definition of polynomial dichotomy should be introduced with an explicit reference to the underlying Banach space and time interval at the first occurrence.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading of the manuscript and for the positive assessment. The referee's summary correctly identifies the main results: the admissibility characterization for polynomial dichotomies with respect to a given family of norms, the recovery of strong nonuniform polynomial dichotomies via Lyapunov norms, and the robustness corollary. We are pleased with the recommendation for minor revision.","responses":[],"tokens_in":1056,"tokens_out":90,"duration_ms":15328,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core contribution is a direct equivalence between polynomial dichotomies (relative to a prescribed family of norms) and the admissibility property for arbitrary evolution families, plus the recovery of the nonuniform version and a robustness corollary. This is a standard structural move in dichotomy theory, but the extension to the polynomial case with the nonuniform recovery via Lyapunov norms looks like the actual new statements. The robustness application is presented as nontrivial, which fits the pattern of using admissibility to get perturbation results without extra work. The setup treats the family of norms as given rather than derived, which is explicit in the abstract and avoids hidden assumptions. No circularity or fitting issues appear. The main limitation is that everything is relative to the chosen norms, so readers interested in constructing dichotomies from the evolution family alone will still need to find or build those norms separately. This is common in the subfield and not a flaw in the stated claims. The paper is aimed at specialists working on nonautonomous systems, stability, and dichotomy theory. It is the kind of precise equivalence result that deserves referee time if the proofs are complete and the assumptions are handled cleanly. I would send it to peer review.","headline":"The paper gives a characterization of polynomial dichotomies via admissibility for evolution families w.r.t. a given family of norms, recovers the strong nonuniform case with Lyapunov norms, and proves robustness under small linear perturbations.","tokens_in":2135,"tokens_out":320,"would_cite":false,"duration_ms":22348,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean (J-uniqueness, Aczél)","rs_theorem":null,"paper_passage":"Theorem 1–2: polynomial dichotomy w.r.t. family of norms ⇔ admissibility (unique x ∈ YZ solving (5)) under (6)"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlexanderDuality.lean (D=3 forcing)","rs_theorem":null,"paper_passage":"Proposition 5–6: nonuniform/strong nonuniform via Lyapunov norms satisfying (25) and (6)"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"Theorem 7: robustness under ||B(t)|| ≤ c/t^{1+ε}"}],"headline":"Evolution-family admissibility/dichotomy equivalence; RS derives J-cost, φ, D=3 from distinction—no overlap","alignment":"orthogonal","rationale":"Paper proves equivalence between polynomial dichotomy w.r.t. given norm family and admissibility (unique bounded solution for bounded y in eq. (5)), recovers nonuniform case via Lyapunov norms (Prop. 5–6), and robustness under small B(t) (Thm. 7). All machinery assumes the norm family and polynomial growth (6) as given; no derivation of norms, no cost function, no ratio symmetry, no 8-tick or φ-ladder. RS headline theorem (reality_from_one_distinction) and modules (AbsoluteFloorClosure, Cost/FunctionalEquation for J(x), AlexanderDuality for D=3) are absent. Domain is classical nonautonomous dynamics; RS has no theorems on admissibility or evolution families.","tokens_in":52410,"confidence":"high","tokens_out":438,"duration_ms":11186,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Polynomial dichotomies for evolution families are equivalent to admissibility of bounded perturbations.","keywords":["evolution families","polynomial dichotomies","admissibility","Lyapunov norms","nonuniform polynomial dichotomies","robustness","linear perturbations"],"falsifier":"Construct an evolution family and a family of norms where there is a unique bounded solution for every bounded perturbation but the polynomial dichotomy fails to hold.","tokens_in":2500,"feed_emoji":"","tokens_out":529,"duration_ms":23277,"temperature":0.7,"pith_summary":"The paper establishes that an evolution family admits a polynomial dichotomy with respect to a family of norms precisely when it satisfies the admissibility property. Admissibility requires that every bounded perturbation of the family has a unique bounded solution. Using Lyapunov norms as the family recovers the notion of a strong nonuniform polynomial dichotomy. The characterization then shows that this dichotomy property remains intact under small linear perturbations to the evolution family.","feed_headline":"Admissibility equals polynomial dichotomy for evolution families","feed_subtitle":"Unique bounded solutions for all bounded perturbations characterize the dichotomy property with respect to a family of norms.","key_machinery":"The admissibility property: for every bounded perturbation there is a unique bounded solution.","core_discovery":"For an arbitrary evolution family, the notion of a polynomial dichotomy with respect to a family of norms is characterized in terms of the admissibility property, that is, the existence of a unique bounded solution for each bounded perturbation. In particular, by considering a family of Lyapunov norms, the notion of a (strong) nonuniform polynomial dichotomy is recovered. The characterization is used to establish the robustness of the notion of a strong nonuniform polynomial dichotomy under sufficiently small linear perturbations.","pith_inferences":["This suggests that similar admissibility characterizations could apply to other dichotomy notions like exponential dichotomies.","Such results may aid in analyzing stability for nonautonomous differential equations in applications.","The robustness result implies that small modeling errors do not destroy the dichotomy property."],"forward_implications":["The equivalence recovers nonuniform polynomial dichotomies when Lyapunov norms are used.","Strong nonuniform polynomial dichotomies persist under small linear perturbations.","Verification of polynomial dichotomies can proceed by checking the existence of unique bounded solutions rather than constructing splitting projections directly."],"fun_headline_variants":["Admissibility defines polynomial dichotomies for evolution families","Lyapunov norms recover nonuniform dichotomies from admissibility","Robustness of nonuniform polynomial dichotomies under perturbations","Polynomial dichotomies characterized by admissibility property"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"A suitable family of norms exists with respect to which both the dichotomy and admissibility are defined.","fun_headline_variants_meta":{"raw":{"variants":["Admissibility defines polynomial dichotomies for evolution families","Lyapunov norms recover nonuniform dichotomies from admissibility","Robustness of nonuniform polynomial dichotomies under perturbations","Polynomial dichotomies characterized by admissibility property"]},"model":"grok-4.3","cost_usd":0.003237,"raw_usage":{"total_tokens":1667,"prompt_tokens":529,"num_sources_used":0,"completion_tokens":58,"cost_in_usd_ticks":32374500,"prompt_tokens_details":{"text_tokens":529,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1080,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":529,"tokens_out":58,"duration_ms":10122,"temperature":1.0,"reasoning_tokens":1080,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-25T10:32:04.823844+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Construct an evolution family and a family of norms where there is a unique bounded solution for every bounded perturbation but the polynomial dichotomy fails to hold.","supporting_citations":[],"review_version":1}