Search arXiv⌕ Search

arXiv · 2610.23095

Time-optimal vaccination in state-dependent SIR models: a single switch criterion and numerical examples outside its regime

Abstract

In a susceptible, infected, and recovered (SIR) model with constant rates, a time-optimal vaccination policy has at most one switch from no vaccination to maximal vaccination. We allow the transmission and recovery rates $β(S,I)$ and $γ(S,I)$ to depend on the state. If $β+I\partial_Iβ>0$ and $G:=\partial_S(βS-γ)>0$ throughout the forward invariant state space, then every optimal control is bang-bang with at most one switch. The incidence condition allows the transmission coefficient to decrease with prevalence. The Pontryagin analysis shows that $G$, the sensitivity of per capita infected growth to the susceptible fraction, and the infected costate together determine the crossing direction of the switching function. We also prove existence of an optimal control, derive explicit a priori upper bounds on the eradication time and characterize the switching time by an optimization over one variable. For parameter sets that violate $G>0$, numerical optimization gives controls with two switches and smaller eradication times than the computed minima over the single switch family. These computations provide a reproducible numerical counterexample to an unrestricted single switch claim. In a prescribed parameter sweep satisfying $G>0$, delayed vaccination reduces the eradication time relative to immediate full vaccination by more than $1\%$ in $10.9\%$ of the cases, with a maximum reduction of $26.3\%$. In examples near this maximum, the delay increases peak prevalence by more than an order of magnitude and cumulative incidence more than fourfold. Hence minimizing eradication time does not in general minimize epidemiological burden.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yeachan Park, Jiwoong Jang, Yeoneung Kim. 2026-10-16. Time-optimal vaccination in state-dependent SIR models: a single switch criterion and numerical examples outside its regime. https://arxiv.org/abs/2610.23095

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Behavioral Model for Exploration vs. Exploitation: Theoretical Framework and Experimental Evidence

How do people navigate the exploration-exploitation (EE) trade-off when making repeated choices with unknown rewards? We study this question through the lens of multi-armed bandit problems and introduce a novel behavioral model, Quantal Choice with Adaptive Reduction of Exploration (QCARE). It generalizes Thompson Sampling, allowing for a principled way to quantify the EE trade-off and reflect human decision-making patterns. The model adaptively reduces exploration as information accumulates, with the reduction rate serving as a parameter to quantify the EE trade-off dynamics. We theoretically analyze how varying reduction rates influence decision quality, shedding light on the distinct effects of ``over-exploration'' and ``under-exploration.'' Empirically, we validate QCARE using behavioral data collected from human participants. QCARE not only captures critical behavioral patterns in the EE trade-off but also performs competitively with, and often outperforms, alternative models in out-of-sample prediction. Our analysis reveals a behavioral tendency toward over-exploration.

math.OC↗

Active-Set Identification in Noisy and Stochastic Optimization

Identifying active constraints from a point near a local minimizer is important both theoretically and practically in constrained continuous optimization as it can help identify optimal Lagrange multipliers and essentially reduce an inequality-constrained problem to an equality-constrained one. Traditional active-set identification guarantees have been proved under various types of constraint qualifications. Importantly, they also assume exact function and derivative values. This work extends such results to settings when both objective and constraint function and derivative values have deterministic or stochastic noise. Two strategies are analyzed. For each strategy, it is shown that, under constraint qualifications and other standard conditions, the active set of a local minimizer can be identified correctly when a point is close enough to the minimizer and the noise is sufficiently small. It is also shown that regularity of a minimizer is critical. Under strict complementarity, a fixed noise level suffices, whereas in the presence of a weakly active constraint the noise must vanish at least linearly in the distance to the minimizer in general, a rate that is also shown to be sufficient for correct identification. Guarantees are also stated for the use of active-set identification strategies within a stochastic algorithm, with explicit sample-size conditions. The theoretical findings are demonstrated with two simple illustrative examples and a more realistic constrained neural-network training task.

math.OC↗

Regularization in Data-driven Predictive Control: A Convex Relaxation Perspective

This paper explores the role of regularization in data-driven predictive control (DDPC) through the lens of convex relaxation. Using a bi-level optimization framework, we model system identification as an inner problem and predictive control as an outer problem. Within this framework, we show that several regularized DDPC formulations, including l1-norm penalties, projection-based regularizers, and a newly introduced causality-based regularizer, can be viewed as convex relaxations of their respective bi-level problems. This perspective clarifies the conceptual links between direct and indirect data-driven control and highlights how regularization implicitly enforces system identification. We further propose an optimality-based variant, A-DDPC, which approximately solves the inner problem with all identification constraints via an iterative algorithm. Numerical experiments demonstrate that A-DDPC outperforms existing regularized DDPC by reducing both bias and variance errors. These results indicate that further benefits may be obtained by applying system identification techniques to pre-process the trajectory library in nonlinear settings. Overall, our analysis contributes to a unified convex relaxation view of regularization in DDPC and sheds light on its strong empirical performance beyond linear time-invariant systems.

math.OC↗