pith. sign in

arxiv: 2604.22946 · v1 · submitted 2026-04-24 · 🧮 math.OC

Modeling Epidemic Spread with Strategic Vaccination and Socialization: a Mean Field Game Analysis

Pith reviewed 2026-05-08 11:08 UTC · model grok-4.3

classification 🧮 math.OC
keywords mean field gamesepidemic modelingvaccination strategiesbang-bang controlforward-backward ODEsNash equilibriumsocialization decisionsquarantine policy
0
0 comments X

The pith

A mean-field game model of epidemic control shows that optimal vaccination strategies follow a bang-bang pattern with at most one switch.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper builds a game-theoretic model in which individuals in a large population simultaneously choose how much to socialize and how fast to vaccinate, facing linear costs for vaccination and infection risk. It derives a system of forward-backward ordinary differential equations whose solutions give the mean-field Nash equilibrium behavior. The analysis proves that the equilibrium vaccination rate is bang-bang with at most one jump, so individuals vaccinate at maximum rate until a critical time determined by the parameters and then stop. A similar structure holds when individuals incorporate population-level infection information into their decisions. Numerical solutions of the system illustrate the resulting trade-off between socialization and vaccination and the comparative effectiveness of quarantining infected people.

Core claim

We derive a forward-backward ordinary differential equations system that characterizes the mean field Nash equilibrium for strategic vaccination and socialization decisions, prove that the equilibrium vaccination rate has an at-most one-jump bang-bang structure, and establish existence of a Carathéodory solution to the system. The same bang-bang property holds in a population-awareness extension under suitable conditions. Simulations confirm the socialization-vaccination trade-off and show that quarantining infected individuals matters more than restricting susceptible ones.

What carries the argument

Forward-backward ordinary differential equations (FBODE) system whose solutions are the mean-field Nash equilibrium; the equilibrium vaccination control is shown to be at-most one-jump bang-bang.

If this is right

  • Equilibrium vaccination decisions consist of vaccinating at full rate until a single critical time and then stopping.
  • The same single-switch structure persists when agents respond to population-wide infection levels.
  • Numerical solutions of the FBODE reveal a direct trade-off between chosen socialization levels and vaccination timing.
  • Quarantining infected individuals reduces spread more effectively than limiting contacts among susceptible individuals.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Policy timing of vaccination campaigns could be guided by estimating the single critical switch time from observable parameters such as infection rates and costs.
  • If real vaccination costs turn out to be nonlinear, the bang-bang property may disappear and require different control structures.
  • The mean-field approximation could be validated by comparing the FBODE predictions against explicit finite-population game simulations.
  • The framework may extend to other strategic behaviors such as testing or masking under similar linear-cost assumptions.

Load-bearing premise

The mean-field limit applies to a large but finite population divided into finitely many groups, with individuals acting non-cooperatively and facing linear vaccination costs.

What would settle it

Simulate or observe a large finite population of non-cooperative agents with linear vaccination costs and check whether their equilibrium vaccination rates switch from full to zero at most once.

Figures

Figures reproduced from arXiv: 2604.22946 by Gokce Dayanikli, Huaning Liu.

Figure 1
Figure 1. Figure 1: Single Population Simulation: comparison of equilibrium vaccination rate jump times (left) and vaccination rates (right, illustrating the one-jump structure) across models with different population-aware coefficient levels. 0 10 20 30 40 50 60 70 80 time t 0 1 2 3 4 5 6 7 8 ut(S) cν/κ = 0.200 Trajectory of ut(S) with threshold cν/κ Original (no awareness) Aware c k p = 0.1 Aware c k p = 0.5 view at source ↗
Figure 2
Figure 2. Figure 2: Single Population Simulation: comparison of susceptible state value function trajectories on [0, T ] across models with different population-aware coefficient levels. Dashed line: the vaccination jump threshold cν/κ. for nearly all values of λ S . In contrast, when λ I is around 0.7, the government must also choose λ S below approximately 0.6 to achieve infection suppression. Since susceptible individuals … view at source ↗
Figure 3
Figure 3. Figure 3: Single Population Simulation: comparison of equilibrium socialization levels ˆα(S) and infection proportions pt(I) across population-awareness coefficients. 0.3 0.4 0.6 0.8 0.9 λ S 0.3 0.4 0.6 0.8 0.9 λ I 0 9 18 27 36 Infection peak time tpeak Infection peak time tpeak := arg maxt pt(I) on social distancing policies 0 10 20 30 Infection peak time tpeak 0.3 0.4 0.6 0.8 0.9 λ S 0.3 0.4 0.6 0.8 0.9 λ I 0.01 0… view at source ↗
Figure 5
Figure 5. Figure 5: Single Population Simulation: Grid-search comparison over the social-distancing policy space (λ S , λI ) ∈ [0.3, 0.9]2 . Left: the vertical axis shows the infection peak time, i.e., arg max t pt(I). Right: the vertical axis shows the infection peak proportion, i.e., max t pt(I). 15 view at source ↗
Figure 4
Figure 4. Figure 4: Single Population Simulation: Grid-search comparison over the social-distancing policy space (λ S , λI ) ∈ [0.3, 0.9]2 . Left: the vertical axis shows the equilibrium vaccination jump time. Right: the heatmap shows the minimum socialization level over [0, T ], i.e., min t αt(S). 4.2 Real-data Informed Applications The second numerical experiment is conducted on the baseline model proposed in Section 2 with… view at source ↗
Figure 6
Figure 6. Figure 6: Real-data informed application: Comparison of equilibrium outcomes under a mild social￾distancing guideline and an adaptive social-distancing guideline that prescribes a lower socialization level for infected individuals. 17 view at source ↗
Figure 7
Figure 7. Figure 7: Real-data informed application: Comparison of equilibrium outcomes under the income group based vaccination cost regime and an uniformly low vaccination cost regime for all groups. 5 Conclusion In this paper, we propose and study an extended MFG framework that captures adaptive human responses during an epidemic outbreak. In particular, we incorporate both socialization and vaccination decisions into the m… view at source ↗
read the original abstract

We study a game-theoretic model of epidemic control in a large population with finitely many groups and non-cooperative individuals. In the model, individuals jointly choose their socialization levels and vaccination rates, and vaccination is subject to a linear individual cost structure. We derive a forward-backward ordinary differential equations (FBODE) system that characterizes the mean field Nash equilibrium, show that the equilibrium vaccination rate exhibits an at-most one-jump bang-bang structure, and establish the existence of a Carath\'eodory solution to the FBODE. This establishes a realistic interpretation of the vaccination decisions, meaning individuals decide to vaccinate until a time point which is determined by model parameters and then stop after. We further consider a population-awareness extension in which individuals incorporate population infection information into their objective functions, and we prove a similar at-most one-jump bang-bang property under suitable conditions. Finally, we propose a numerical algorithm for solving the FBODE and conduct simulations to validate the theoretical findings. The experiments highlight two main insights: the trade-off between socialization and vaccination, and the greater importance of quarantining infected individuals instead of restricting susceptible individuals.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper develops a mean-field game model of epidemic spread in a large population with finitely many groups, where non-cooperative agents choose socialization levels and vaccination rates under linear vaccination costs. It derives a forward-backward ODE (FBODE) system claimed to characterize the mean-field Nash equilibrium, proves that the equilibrium vaccination strategy has an at-most one-jump bang-bang structure, establishes existence of a Carathéodory solution to the FBODE, extends the analysis to a population-awareness variant with similar bang-bang properties, and presents a numerical algorithm with simulations that illustrate trade-offs between socialization and vaccination and the relative importance of quarantining infected individuals.

Significance. If the FBODE system fully characterizes the equilibria (including sufficiency), the work supplies a tractable analytic and computational framework for strategic epidemic control with interpretable bang-bang vaccination policies determined by model parameters. The numerical experiments and policy insights on quarantine versus susceptible restrictions add practical value; the existence result and extension to awareness effects are also constructive contributions.

major comments (2)
  1. [FBODE derivation and characterization section] The central claim that the derived FBODE 'characterizes' the mean-field Nash equilibrium (abstract and the section deriving the FBODE) rests on necessary conditions obtained from the stochastic Pontryagin principle or HJB-FP coupling. However, sufficiency—that every Carathéodory solution of the FBODE is indeed a Nash equilibrium—requires an explicit verification argument, especially with discontinuous bang-bang controls. The manuscript does not appear to supply such a verification theorem or convexity argument that closes the loop, leaving the characterization incomplete.
  2. [Existence and bang-bang structure section] § on existence of Carathéodory solution: while existence is established, the bang-bang structure and its use in the equilibrium characterization depend on the same unverified sufficiency step. Without it, the 'at-most one-jump' property describes candidates rather than confirmed equilibria.
minor comments (2)
  1. [Abstract and Introduction] The abstract and introduction could more explicitly state the assumptions under which the mean-field limit holds (finite groups, linear costs) and note that the FBODE provides necessary conditions pending verification.
  2. [Numerical algorithm and simulations] Numerical algorithm section: clarify the discretization scheme for the FBODE and any convergence guarantees or error bounds, as the simulations are used to validate theoretical findings.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough and constructive review of our manuscript. The concerns regarding the completeness of the equilibrium characterization are well-taken, and we will revise the paper to address them explicitly.

read point-by-point responses
  1. Referee: [FBODE derivation and characterization section] The central claim that the derived FBODE 'characterizes' the mean-field Nash equilibrium (abstract and the section deriving the FBODE) rests on necessary conditions obtained from the stochastic Pontryagin principle or HJB-FP coupling. However, sufficiency—that every Carathéodory solution of the FBODE is indeed a Nash equilibrium—requires an explicit verification argument, especially with discontinuous bang-bang controls. The manuscript does not appear to supply such a verification theorem or convexity argument that closes the loop, leaving the characterization incomplete.

    Authors: We agree that the derivation in the current version relies on necessary conditions derived from the stochastic Pontryagin maximum principle (and the associated HJB-FP system). A full characterization requires showing sufficiency as well. In the revised manuscript we will add an explicit verification argument in the FBODE section. This argument will exploit the convexity of the individual cost with respect to the vaccination control together with the at-most-one-jump structure of the candidate strategies; under these conditions any Carathéodory solution of the FBODE yields a mean-field Nash equilibrium. We will also update the abstract and introduction to reflect the strengthened statement. revision: yes

  2. Referee: [Existence and bang-bang structure section] § on existence of Carathéodory solution: while existence is established, the bang-bang structure and its use in the equilibrium characterization depend on the same unverified sufficiency step. Without it, the 'at-most one-jump' property describes candidates rather than confirmed equilibria.

    Authors: We acknowledge the logical dependence. The bang-bang property is currently obtained from the necessary conditions. Once the verification theorem is included (as described above), the same structural result will apply directly to the verified equilibria. In the revision we will reorganize the existence and structure sections to make this dependency and its resolution explicit, ensuring that the 'at-most one-jump' statement is stated for confirmed equilibria. revision: yes

Circularity Check

0 steps flagged

No significant circularity in FBODE derivation or equilibrium characterization

full rationale

The paper derives the forward-backward ODE system directly from the mean-field game formulation using standard necessary conditions from stochastic control (Pontryagin principle applied to individual optimization problems with linear costs). The at-most one-jump bang-bang structure for vaccination rates and the Carathéodory existence result are proven from the resulting ODEs and model assumptions without reducing to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The population-awareness extension follows similarly under stated conditions. This is a self-contained first-principles derivation typical of MFG analysis; no step equates the claimed output to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, the central claims rest on standard mean-field game assumptions for large populations and a linear vaccination cost structure; no explicit free parameters, new entities, or ad-hoc axioms are stated.

axioms (2)
  • domain assumption Large population admits mean-field approximation with finitely many groups
    Required to obtain the FBODE system from individual optimizations.
  • domain assumption Vaccination incurs a linear individual cost
    Stated as part of the model and used to obtain the bang-bang structure.

pith-pipeline@v0.9.0 · 5500 in / 1432 out tokens · 94662 ms · 2026-05-08T11:08:44.488927+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

62 extracted references · 1 canonical work pages

  1. [1]

    unacceptable

    Jasmine Aguilera. “unacceptable”: Oregon governor criticizes s tate troopers who reportedly refused to wear masks in a coffee shop, Jul 2020

  2. [2]

    The entry and exit game in the electricity markets: A mean-field game approach

    Ren´ e A ¨ ıd, Roxana Dumitrescu, and Peter Tankov. The entry and exit game in the electricity markets: A mean-field game approach. Journal of Dynamics and Games , 2021

  3. [3]

    An ext ended mean field game for storage in smart grids

    Cl´ emence Alasseur, Imen Ben Taher, and Anis Matoussi. An ext ended mean field game for storage in smart grids. Journal of Optimization Theory and Applications , 184:644–670, 2020

  4. [4]

    Finite state graphon games with applications to epidemics

    Alexander Aurell, Ren´ e Carmona, G¨ ok¸ ce Dayanıklı, and MathieuLauri` ere. Finite state graphon games with applications to epidemics. Dynamic Games and Applications , 12(1):49–81, 2022

  5. [5]

    Optimal incentives to miti- gate epidemics: a stackelberg mean field game approach

    Alexander Aurell, Rene Carmona, Gokce Dayanıklı, and Mathieu Lau ri` ere. Optimal incentives to miti- gate epidemics: a stackelberg mean field game approach. SIAM Journal on Control and Optimization , 60(2):S294–S322, 2022

  6. [6]

    Mean-field games and dynamic dem and management in power grids

    Fabio Bagagiolo and Dario Bauso. Mean-field games and dynamic dem and management in power grids. Dynamic Games and Applications , 4:155–176, 2014

  7. [7]

    A time-dependent switch ing mean-field game on networks moti- vated by optimal visiting problems

    Fabio Bagagiolo and Luciano Marzufero. A time-dependent switch ing mean-field game on networks moti- vated by optimal visiting problems. Journal of Dynamics and Games , 10(2):151–180, Apr 2023

  8. [8]

    Uniqueness of nash equilibrium in vaccination games

    Fan Bai. Uniqueness of nash equilibrium in vaccination games. Journal of Biological Dynamics , 10(1):395– 415, 2016. PMID: 27465224

  9. [9]

    Bauch and David J

    Chris T. Bauch and David J. D. Earn. Vaccination and the theory o f games. Proceedings of the National Academy of Sciences , 101(36):13391–13394, 2004

  10. [10]

    Optimal control of deterministic epidemics

    Horst Behncke. Optimal control of deterministic epidemics. Optimal Control Applications and Methods , 21(6):269–285, 2000

  11. [11]

    Mean-field-type games with jump and regime switching

    Alain Bensoussan, Boualem Djehiche, Hamidou Tembine, and Sheu ng Chi Phillip Yam. Mean-field-type games with jump and regime switching. Dynamic Games and Applications , 10(1):19–57, Mar 2020

  12. [12]

    Mean fie ld control and mean field game models with several populations

    Alain Bensoussan, Tao Huang, and Mathieu Lauri` ere. Mean fie ld control and mean field game models with several populations. Minimax Theory and its Applications , 3(2):173–209, Jul 2018

  13. [13]

    A stackelberg mean field game for green regulator with a large number of prosumers

    Maxim Bichuch, G¨ ok¸ ce Dayanıklı, and Mathieu Lauri` ere. A stackelberg mean field game for green regulator with a large number of prosumers. In 2025 American Control Conference (ACC) , pages 4129–4134, 2025

  14. [14]

    Tim e-optimal control strategies in sir epidemic models

    Luca Bolzoni, Elena Bonacini, Cinzia Soresina, and Maria Groppi. Tim e-optimal control strategies in sir epidemic models. Mathematical Biosciences, 292:86–96, 2017

  15. [15]

    On the optimal vaccination control of sir model with erlang- distributed infectious period

    Luca Bolzoni and Rossella Della Marca. On the optimal vaccination control of sir model with erlang- distributed infectious period. Journal of Optimization Theory and Applications , 205(2):39, Mar 2025

  16. [16]

    Luca Bolzoni, Valentina Tessoni, Maria Groppi, and Giulio A. De Leo. React or wait: which optimal culling strategy to control infectious diseases in wildlife. Journal of Mathematical Biology , 69(4):1001–1025, Oct 2014. 19

  17. [17]

    you feel naked

    Gabriella Borter. “you feel naked”: Some americans hesitate t o shed masks despite eased outdoor rules. Reuters, May 2021

  18. [18]

    Mean-field-game ap proach to nonpharmaceutical inter- ventions in a social-structure model of epidemics

    Louis Bremaud, Olivier Giraud, and Denis Ullmo. Mean-field-game ap proach to nonpharmaceutical inter- ventions in a social-structure model of epidemics. Physical Review E , 110(6):064301, 2024

  19. [19]

    Brito, Eytan Sheshinski, and Michael D

    Dagobert L. Brito, Eytan Sheshinski, and Michael D. Intriligato r. Externalities and compulsary vaccina- tions. Journal of Public Economics , 45(1):69–90, 1991

  20. [20]

    Behavioral patter ns and mean-field games in epidemiolog- ical models, 2025

    Finnegan Buckley and Alexander Vladimirsky. Behavioral patter ns and mean-field games in epidemiolog- ical models, 2025

  21. [21]

    Mean field models to regulate carbon emissions in electricity production

    Ren´ e Carmona, G¨ ok¸ ce Dayanıklı, and Mathieu Lauri` ere. Mean field models to regulate carbon emissions in electricity production. Dynamic Games and Applications , 12(3):897–928, 2022

  22. [22]

    Extensions for Volume I , pages 619–680

    Ren´ e Carmona and Fran¸ cois Delarue. Extensions for Volume I , pages 619–680. Springer International Publishing, Cham, 2018

  23. [23]

    Mean fi eld games and systemic risk

    Ren´ e Carmona, Jean-Pierre Fouque, and Li-Hsien Sun. Mean fi eld games and systemic risk. Communica- tions in Mathematical Sciences , 13(4):911–933, 2015

  24. [24]

    A micro- macro traffic model based on mean-field games

    Geoffroy Chevalier, Jerome Le Ny, and Roland Malham´ e. A micro- macro traffic model based on mean-field games. In 2015 American Control Conference (ACC) , pages 1983–1988. IEEE, 2015

  25. [25]

    Mean-field game analysis of sir model with social dist ancing

    Samuel Cho. Mean-field game analysis of sir model with social dist ancing. arXiv preprint arXiv:2005.06758, 2020

  26. [26]

    Dan, Jose Mateus, Yu Kato, Kathryn M

    Jennifer M. Dan, Jose Mateus, Yu Kato, Kathryn M. Hastie, Es ther Dawen Yu, Caterina E. Faliti, Alba Grifoni, Sydney I. Ramirez, Sonya Haupt, April Frazier, Cathe rine Nakao, Vamseedhar Rayaprolu, Stephen A. Rawlings, Bjoern Peters, Florian Krammer, Viviana Simon , Erica Ollmann Saphire, Davey M. Smith, Daniela Weiskopf, Alessandro Sette, and Shane Crotty...

  27. [27]

    Multi-population mean field games with multiple major players: Application to carbon emission regulations

    G¨ ok¸ ce Dayanıklı and Mathieu Lauri` ere. Multi-population mean field games with multiple major players: Application to carbon emission regulations. In 2024 American Control Conference (ACC) , pages 5075– 5081, 2024

  28. [28]

    Optimality of vaccination for an sir epidemic with an icu constraint

    Matteo Della Rossa, Lorenzo Freddi, and Dan Goreac. Optimality of vaccination for an sir epidemic with an icu constraint. Journal of Optimization Theory and Applications , 204(1):8, Dec 2024

  29. [29]

    Dharmatti and M

    S. Dharmatti and M. Ramaswamy. Zero-sum differential games involving hybrid controls. Journal of Optimization Theory and Applications , 128(1):75–102, Jan 2006

  30. [30]

    Price dynamics for electricity in smart grid via mean-field-type games

    Boualem Djehiche, Julian Barreiro-Gomez, and Hamidou Tembine. Price dynamics for electricity in smart grid via mean-field-type games. Dynamic Games and Applications , 10:798–818, 2020

  31. [31]

    A mean field game an alysis of sir dynamics with vaccination

    Josu Doncel, Nicolas Gast, and Bruno Gaujal. A mean field game an alysis of sir dynamics with vaccination. Probability in the Engineering and Informational Sciences , 36(2):482–499, 2022

  32. [32]

    Contact rate ep idemic control of covid-19: an equi- librium view

    Romuald Elie, Emma Hubert, and Gabriel Turinici. Contact rate ep idemic control of covid-19: an equi- librium view. Mathematical Modelling of Natural Phenomena , 15:35, 2020

  33. [33]

    The derivation of ergodic mean field game equations for several populations of players

    Ermal Feleqi. The derivation of ergodic mean field game equations for several populations of players. Dynamic Games and Applications , 3(4):523–536, Dec 2013

  34. [34]

    A mean field game approach f or multi-lane traffic management

    Adriano Festa and Simone G¨ ottlich. A mean field game approach f or multi-lane traffic management. IF AC-PapersOnLine, 51(32):793–798, 2018. 20

  35. [35]

    Individual versus public priorities in the d etermination of optimal vaccination policies

    P E Fine and J A Clarkson. Individual versus public priorities in the d etermination of optimal vaccination policies. Am J Epidemiol , 124(6):1012–1020, December 1986

  36. [36]

    Dena Firoozi, Ali Pakniyat, and Peter E. Caines. A class of hybrid lqg mean field games with state-invariant switching and stopping strategies. Automatica, 141:110244, 2022

  37. [37]

    Optimal control of epidemics with limite d resources

    Elsa Hansen and Troy Day. Optimal control of epidemics with limite d resources. Journal of Mathematical Biology, 62(3):423–451, Mar 2011

  38. [38]

    Dynamic driving and routing games for autonomous ve- hicles on networks: A mean field game approach

    Kuang Huang, Xu Chen, Xuan Di, and Qiang Du. Dynamic driving and routing games for autonomous ve- hicles on networks: A mean field game approach. Transportation Research Part C: Emerging Technologies, 128:103189, 2021

  39. [39]

    Malham´ e, and Peter E

    Minyi Huang, Roland P. Malham´ e, and Peter E. Caines. Large po pulation stochastic dynamic games: closed-loop McKean-Vlasov systems and the Nash certainty equiva lence principle. Communications in Information & Systems , 6(3):221 – 252, 2006

  40. [40]

    South korea drops outdoor ma sk rule but many prefer to keep them on

    Daewoung Kim and Hyonhee Shin. South korea drops outdoor ma sk rule but many prefer to keep them on. Reuters, May 2022

  41. [41]

    Berlin police break up protests against corona virus restrictions, Aug 2020

    Jacob Knutson. Berlin police break up protests against corona virus restrictions, Aug 2020

  42. [42]

    V. N. Kolokoltsov and A. Bensoussan. Mean-field-game model f or botnet defense in cyber-security. Applied Mathematics & Optimization , 74(3):669–692, Dec 2016

  43. [43]

    Individual vaccination as n ash equilibrium in a sir model with application to the 2009–2010 influenza a (h1n1) epidemic in france

    Laetitia Laguzet and Gabriel Turinici. Individual vaccination as n ash equilibrium in a sir model with application to the 2009–2010 influenza a (h1n1) epidemic in france. Bulletin of Mathematical Biology , 77(10):1955–1984, Oct 2015

  44. [44]

    Mean field games

    Jean-Michel Lasry and Pierre-Louis Lions. Mean field games. Japanese Journal of Mathematics , 2(1):229– 260, Mar 2007

  45. [45]

    Scherer, Aa ron M

    Andrea Gurmankin Levy, Alistair Thorpe, Laura D. Scherer, Aa ron M. Scherer, Frank A. Drews, Jorie M. Butler, Nicole Burpo, Holly Shoemaker, Vanessa Stevens, and Ange la Fagerlin. Misrepresentation and nonadherence regarding covid-19 public health measures. JAMA Network Open , 5(10):e2235837–e2235837, Oct 2022

  46. [46]

    Pr ovisioning of public health can be designed to anticipate public policy responses

    Jing Li, Darla V Lindberg, Rachel A Smith, and Timothy C Reluga. Pr ovisioning of public health can be designed to anticipate public policy responses. Bull Math Biol , 79(1):163–190, December 2016

  47. [47]

    Basic Concepts , pages 3–15

    Daniel Liberzon. Basic Concepts , pages 3–15. Birkh¨ auser Boston, Boston, MA, 2003

  48. [48]

    Stephen Morse

    Daniel Liberzon and A. Stephen Morse. Basic problems in stability and design of switched systems. IEEE control systems / , 19(5), 1999-10

  49. [49]

    Optimal control of non linear switched systems: Computational methods and applications

    Qun Lin, Ryan Loxton, and Kok Lay Teo. Optimal control of non linear switched systems: Computational methods and applications. Journal of the Operations Research Society of China , 1(3):275–311, Sep 2013

  50. [50]

    Larsen, Pamela P

    Huaning Liu, Junke Yang, Soren L. Larsen, Pamela P. Martinez, and Gokce Dayanıklı. Incorporating authority perception, economic status, and behavioral respons e in infectious disease control, 2025

  51. [51]

    The reproductive number of covid-19 is higher compared to sars coronavirus

    Ying Liu, Albert A Gayle, Annelies Wilder-Smith, and Joacim Rockl¨ ov . The reproductive number of covid-19 is higher compared to sars coronavirus. Journal of Travel Medicine , 27(2):taaa021, 02 2020

  52. [52]

    Optimality of Decentr alized Lockdown Strategies for the SIRS Model with Vaccinations

    Christian Carballo Lozano and Josu Doncel. Optimality of Decentr alized Lockdown Strategies for the SIRS Model with Vaccinations . In 2025 33rd International Symposium on Modeling, Analysis an d Simulation of Computer and Telecommunication Systems (MASCOTS) , pages 1–8, Los Alamitos, CA, USA, October

  53. [53]

    IEEE Computer Society. 21

  54. [54]

    Stay-at-Home orders, mobility patterns, and spr ead of COVID-19

    Tim Murray. Stay-at-Home orders, mobility patterns, and spr ead of COVID-19. Am J Public Health , 111(6):1149–1156, April 2021

  55. [55]

    Timothy C. Reluga. Game theory of social distancing in response to an epidemic. PLOS Computational Biology, 6(5):1–9, 05 2010

  56. [56]

    Equilibria of an epidemic game with piecewise linear s ocial distancing cost

    Timothy C Reluga. Equilibria of an epidemic game with piecewise linear s ocial distancing cost. Bull Math Biol, 75(10):1961–1984, August 2013

  57. [57]

    Schnyder, John J

    Simon K. Schnyder, John J. Molina, Ryoichi Yamamoto, and Matt hew S. Turner. Understanding nash epidemics. Proceedings of the National Academy of Sciences , 122(9):e2409362122, 2025

  58. [58]

    Stability criteria for switched and hybrid systems

    Robert Shorten, Fabian Wirth, Oliver Mason, Kai Wulff, and Chris topher King. Stability criteria for switched and hybrid systems. SIAM Review , 49(4):545–592, 2007

  59. [59]

    Zhendong Sun and S.S. Ge. Analysis and synthesis of switched line ar control systems. Automatica, 41(2):181–195, 2005

  60. [60]

    Duration and key determinants of infectious virus shedding in hospitalized patients with coronavirus disease-2019 (CO VID-19)

    Jeroen J A van Kampen, David A M C van de Vijver, Pieter L A Fraaij , Bart L Haagmans, Mart M Lamers, Nisreen Okba, Johannes P C van den Akker, Henrik Endema n, Diederik A M P J Gommers, Jan J Cornelissen, Rogier A S Hoek, Menno M van der Eerden, Dennis A Hesselink, Herold J Metse- laar, Annelies Verbon, Jurriaan E M de Steenwinkel, Georgina I Aron, Eric ...

  61. [61]

    Wickwire

    K.H. Wickwire. Optimal isolation policies for deterministic and stoch astic epidemics. Mathematical Bio- sciences, 26(3):325–346, 1975. Appendix Proof of Lemma 2.6 Now the vaccination posits as a exogenous parameter of the sub-F BODE system, we recast the sub-FBODE as a fixed-point problem on the density flow. We begin by remarking that the corresponding FB...

  62. [62]

    Banach Fixed Point Theorem applies, and this completes the proof fo r the sub-FBODE well-posedness

    Apply Gr¨ onwall’s inequality to have ∥∆˜pt∥2 ≤ B2 exp (B1T ) ∫ T 0 ∥∆ us∥2 ds Combine this with the result in step 1 to derive ∥∆˜pt∥2 ≤ B2 exp (B1T ) ∫ T 0 A2 exp(A1T ) ∫ T 0 ∥∆ ps∥2 dsdv Take supremum over t on both sides and simplify to conclude sup t∈ [0,T ] ∥∆˜pt∥2 ≤ A2B2 exp(A1T ) exp (B1T ) T 2 sup t ∥∆ pt∥2 =: C1 sup t ∥∆ pt∥2 Under small time ho...