{"id":"7eb3db82-65a7-4085-aec6-6c3e86c418f8","arxiv_id":"2604.13357","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Safety-critical MPC for networked SIQR epidemics embeds a hard spectral certificate for tunable exponential decay, with a susceptibles-based terminal set and a robust upper-envelope variant.","lead":"The paper designs a model-predictive controller for networked epidemic models that hard-enforces infection decay via a spectral constraint, with a robust version for uncertain forecasts. It matters as a principled way to trade intervention cost against guaranteed suppression without ad-hoc caps.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"Abstract-only review leaves the load-bearing spectral certificate, terminal-set invariance proof, and robust upper-envelope construction unauditable; no significant internal inconsistency can be identified or refuted from the abstract alone.","rationale":"The Reader's UNVERDICTED / LOW-confidence assessment is the only defensible posture for an abstract-only math.OC paper whose contribution is a set of technical constructions (hard spectral certificates inside MPC, a non-standard terminal set proved via susceptibles depletion, and a robust upper-envelope counterpart). Those constructions are precisely the load-bearing pieces; without equations, proofs, or code they cannot be stress-tested for soundness. I therefore raise no new objection beyond the Reader's weakest-assumption diagnosis and leave the verdict unchanged. The concrete test simply operationalizes the audit that would be required once the full text is available. Agreement with the Reader is full on both the identified soft spot and the overall posture.","tokens_in":1981,"tokens_out":535,"duration_ms":4736,"concrete_test":"Obtain the full manuscript (or arXiv source). Independently re-derive the stage-wise spectral constraint from the networked SIQR linearization and check whether the claimed exponential decay rate follows without additional hidden assumptions on the intervention set or network structure; separately verify that the susceptibles-depletion terminal set is positively invariant under the closed-loop dynamics and that the robust upper-envelope constraints preserve recursive feasibility on the Massachusetts county simulation instances. If any of these three steps fails, the corresponding part of the strongest claim collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on three interlocking constructions that cannot be checked from the abstract: (1) that a hard spectral-radius constraint on the (linearized/instantaneous) transmission operator of the networked SIQR model is a sufficient stage-wise certificate of exponential infection decay under the available intervention levers; (2) that a terminal set built from physical depletion of susceptibles (rather than a quadratic Lyapunov function) is positively invariant and yields recursive feasibility plus a feasible global-decay continuation; and (3) that an upper-envelope robust counterpart recovers recursive feasibility and finite-horizon realized decay under prediction uncertainty. Because the full text, equations, proofs, and simulation results are unavailable, none of these can be verified or shown to fail. The Reader correctly flags the spectral certificate and model/data fidelity as the weakest assumption; that remains the single most load-bearing point of vulnerability, but it is an unverifiability concern rather than a demonstrated flaw. No internal contradiction is visible in the abstract's stated logic.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript formulates an infinite-horizon optimal control problem for a networked SIQR epidemic model that enforces suppression by a hard spectral constraint on the transmission dynamics, rather than state-dependent operational caps. It derives a safety-critical MPC approximation that embeds this spectral certificate stage-wise to obtain a tunable exponential infection-decay rate; constructs a terminal set whose positive invariance and recursive feasibility are argued via physical depletion of susceptibles (instead of a quadratic Lyapunov function), together with a feasible global-decay continuation; and develops a robust upper-envelope counterpart that is claimed to recover recursive feasibility and finite-horizon realized decay under prediction uncertainty. Validation is reported via simulations that use public county-level data from Massachusetts.","tokens_in":2215,"tokens_out":1008,"duration_ms":19405,"significance":"If the spectral certificate, susceptibles-depletion terminal set, and robust upper-envelope constructions are correct and the simulations are reproducible, the work would supply a principled safety-critical MPC framework for multi-region epidemic control with hard stage-wise certificates and recursive-feasibility guarantees grounded in epidemic physics. That combination—stage-wise spectral constraints, a physics-based terminal argument, and a robust recovery under prediction error—is of clear interest to the epidemic-control and MPC communities. The use of public county data is a concrete reproducibility strength. Because only the abstract is available, these contributions remain conditional on verification of the full derivations and experiments.","major_comments":[{"comment":"The central safety claim rests on a hard spectral-radius constraint on the (linearized or instantaneous) transmission operator of the networked SIQR model being a sufficient stage-wise certificate of exponential infection decay under the available intervention levers. The abstract asserts this certificate and the resulting tunable decay rate, but supplies neither the operator definition, the precise constraint embedding in the MPC stage cost/constraints, nor a proof that the spectral bound implies the stated decay under the closed-loop networked dynamics. This is load-bearing for the entire safety-critical MPC construction and cannot be audited from the abstract alone.","section":"Abstract"},{"comment":"Recursive feasibility and global decay are claimed via a terminal set whose positive invariance is proved 'directly via the physical depletion of susceptibles rather than standard quadratic Lyapunov functions,' plus a feasible continuation. The abstract does not define the terminal set, state the invariance argument, or exhibit the feasible-continuation construction. Without those elements, the recursive-feasibility and global-decay claims cannot be checked; they are load-bearing for the infinite-horizon approximation.","section":"Abstract"},{"comment":"The robust counterpart replaces nominal constraints by upper-envelope versions and is claimed to recover recursive feasibility and finite-horizon realized decay under prediction uncertainty. The uncertainty model, envelope construction, and recovery proof are not available in the abstract. This is load-bearing for any claim of robustness; it cannot be verified or refuted from the abstract alone.","section":"Abstract"},{"comment":"Validation is said to use public Massachusetts county data, but no model equations, parameter sources, intervention levers, cost weights, horizon choices, spectral-radius trajectories, or quantitative decay metrics appear in the abstract. Without those, the claim that the spectral certificate and terminal set are practically enforceable on realistic multi-region data remains an untested assumption rather than a demonstrated result.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract is dense and packs three distinct technical contributions (stage-wise spectral MPC, susceptibles-depletion terminal set, robust upper-envelope) into a single paragraph; a clearer separation of problem, method, and guarantees would help readers locate the load-bearing claims once the full text is available.","section":"Abstract"},{"comment":"Notation for the networked SIQR states, the spectral certificate (e.g., which matrix’s radius is constrained), and the precise meaning of 'upper-envelope' is not introduced even at the level of symbols; introducing minimal notation in the abstract would reduce ambiguity.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"Only the abstract was provided for this review (explicitly flagged as abstract-only). I cannot responsibly recommend accept, minor_revision, major_revision, or reject without the full manuscript, equations, proofs, and simulation figures. The constructions described are plausible and of potential interest, and no internal contradiction is visible in the abstract’s logic; the recommendation is therefore uncertain pending a full-text review. If the full paper is supplied, the three load-bearing items in major_comments (spectral certificate sufficiency, terminal-set invariance via susceptibles depletion, robust envelope recovery) should be the primary audit targets."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is an abstract-only look at a math.OC paper on epidemic control, so everything below is provisional. The punchline is a clean control-theoretic construction: infinite-horizon optimal control for networked SIQR with a hard spectral constraint on the transmission operator, approximated by stage-wise safety-critical MPC that gives a tunable exponential decay rate, plus a terminal set whose positive invariance is argued from physical depletion of susceptibles rather than a quadratic Lyapunov function, and a robust upper-envelope version for prediction uncertainty. They claim recursive feasibility and global decay, then simulations on Massachusetts county data.\n\nWhat looks new and useful is the combination. Embedding a hard spectral-radius certificate stage-wise inside MPC for multi-region SIQR, instead of ad-hoc operational caps, is a principled alternative if it works. The terminal-set argument via susceptibles depletion is a nice domain-specific move; if the proof is clean it is worth having. The robust counterpart that recovers recursive feasibility under uncertainty is the right next step for this setting. Circularity burden looks low: this is a first-principles derivation with free parameters that are the usual ones (decay rate, horizon, cost weights), not a fit that manufactures the claimed decay.\n\nSoft spots are almost entirely about missing text. We cannot check whether the spectral constraint is a sufficient and enforceable certificate under the actual intervention levers, whether the terminal set is truly positively invariant and yields a feasible global-decay continuation, or whether the upper-envelope robust version does what is claimed. Model fidelity and county-level data as a stand-in for multi-region transmission and control authority are the usual caveats; they are not fatal on paper but they matter for practice. None of that is a demonstrated flaw—just unauditable from the abstract. The stress-test note is right that no internal contradiction is visible.\n\nThis is for people who work on networked epidemic control, safety-critical MPC, and spectral methods for multi-agent systems. A serious referee in math.OC or systems should see the full paper. I would not cite from the abstract alone, and I would not bring it to reading group until equations and proofs are in hand. Send it to peer review if the full version matches the abstract’s claims; desk-reject only if the proofs or simulations collapse under inspection. Worth a careful look when the PDF appears.","headline":"Abstract-only: coherent safety-critical MPC for networked SIQR with spectral certificates and a susceptibles-depletion terminal set; unauditable until full text.","tokens_in":2845,"tokens_out":570,"would_cite":false,"duration_ms":5945,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["93B45","93C10","92D30","90C90"],"pacs":[],"model":"grok-4.5","headline":"A safety-critical MPC controller for networked epidemics enforces hard spectral suppression and proves global infection decay from susceptible depletion.","keywords":["model predictive control","networked epidemic control","SIQR model","spectral radius constraint","recursive feasibility","robust MPC","non-pharmaceutical interventions","terminal set"],"falsifier":"On the Massachusetts county network (or a comparable multi-region SIQR instance), close the loop with the proposed MPC and check whether the realized spectral radius stays below the prescribed bound and infection decays at the claimed rate; any sustained violation of the spectral bound or failure of recursive feasibility under the stated uncertainty model falsifies the central claim.","tokens_in":2838,"feed_emoji":"📉","tokens_out":795,"duration_ms":6418,"temperature":0.7,"pith_summary":"This paper formulates epidemic response as an infinite-horizon optimal control problem on a networked SIQR model, with the requirement that non-pharmaceutical interventions keep a hard spectral certificate on the transmission operator so that infection is strictly suppressed. The authors replace the infinite-horizon problem by a safety-critical Model Predictive Control approximation that re-imposes that spectral certificate at every stage, producing a tunable exponential decay rate for infection. They construct a terminal set that guarantees recursive feasibility and a feasible continuation that decays globally; the positive-invariance argument relies on the physical exhaustion of susceptibles rather than a standard quadratic Lyapunov function. Under prediction uncertainty they replace nominal constraints by upper-envelope versions and recover recursive feasibility together with finite-horizon realized decay. Simulations driven by public county-level data from Massachusetts illustrate the closed-loop behavior. A sympathetic reader cares because the method turns an abstract spectral safety certificate into a recursively feasible, tunable feedback policy that balances intervention cost against guaranteed epidemic decay without relying on ad-hoc operational caps.","feed_headline":"MPC enforces hard spectral decay of networked epidemics","feed_subtitle":"Stage-wise spectral certificate plus susceptible-depletion terminal set yields tunable global infection decay","key_machinery":"Stage-wise hard spectral-radius constraint on the transmission operator of the networked SIQR model, together with a terminal set whose positive invariance is proved by physical depletion of susceptibles rather than a quadratic Lyapunov function; the same constraint is replaced by its upper envelope in the robust version.","core_discovery":"An infinite-horizon optimal control problem for a networked SIQR epidemic can be safely approximated by a stage-wise spectral-constrained MPC scheme that is recursively feasible, admits a terminal set whose invariance follows from susceptible depletion, and therefore produces a tunable global exponential decay of infection; a robust upper-envelope counterpart recovers the same guarantees under prediction error.","pith_inferences":["The same spectral stage constraint could be ported to SEIR or age-structured contact networks with only a change of the linearization map.","Because invariance is proved from mass balance of susceptibles, the argument may extend to any compartmental model whose free susceptibles are monotonically nonincreasing under closed-loop control.","A natural next experiment is to replace the open-loop public-data forecast with online state estimation and re-test recursive feasibility under realistic reporting delays."],"forward_implications":["A planner can prescribe a target exponential infection-decay rate and obtain a recursively feasible feedback policy that meets it while optimizing intervention cost.","The terminal-set construction based on susceptible depletion removes the need for a standard quadratic Lyapunov certificate of invariance.","The robust upper-envelope MPC recovers recursive feasibility and finite-horizon decay when model predictions are imperfect.","Simulation on real county networks supplies a concrete template for deploying the same spectral-MPC scheme on other multi-region epidemic models."],"fun_headline_variants":["Spectral MPC enforces tunable exponential decay in networked SIQR epidemics","Stage-wise spectral certificates make epidemic MPC recursively feasible","Susceptible-depletion terminal set locks in global infection decay under MPC","Hard spectral constraint MPC safely balances interventions and epidemic suppression","Robust upper-envelope MPC recovers spectral decay under prediction uncertainty"],"cache_read_input_tokens":128,"weakest_assumption_plain":"That a hard spectral-radius constraint on the instantaneous or linearized transmission operator is a sufficient and practically enforceable certificate of epidemic suppression under the available intervention levers and the county-level model structure.","fun_headline_variants_meta":{"raw":{"variants":["Spectral MPC enforces tunable exponential decay in networked SIQR epidemics","Stage-wise spectral certificates make epidemic MPC recursively feasible","Susceptible-depletion terminal set locks in global infection decay under MPC","Hard spectral constraint MPC safely balances interventions and epidemic suppression","Robust upper-envelope MPC recovers spectral decay under prediction uncertainty"]},"model":"grok-4.5","effort":"low","cost_usd":0.005088,"raw_usage":{"total_tokens":1334,"prompt_tokens":681,"num_sources_used":0,"completion_tokens":85,"cost_in_usd_ticks":50880000,"prompt_tokens_details":{"text_tokens":681,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":568,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":681,"tokens_out":85,"duration_ms":4384,"temperature":1.0,"reasoning_tokens":568,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T20:51:29.072199+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"On the Massachusetts county network (or a comparable multi-region SIQR instance), close the loop with the proposed MPC and check whether the realized spectral radius stays below the prescribed bound and infection decays at the claimed rate; any sustained violation of the spectral bound or failure of recursive feasibility under the stated uncertainty model falsifies the central claim.","supporting_citations":[],"review_version":2}