Searcharxiv⌕ Search

arXiv subjects

Leonardo Cianfanelli

Publications and source records attributed to Leonardo Cianfanelli.

15 recordsLinked to original sources

Network Behavioral-Feedback SIR Epidemic Model

We propose a network behavioral-feedback Susceptible-Infected-Recovered (SIR) epidemic model in which the interaction matrix describing the infection rates across subpopulations depends in feedback on the current epidemic state. This model captures both heterogeneities in individuals mixing, contact frequency, aptitude to contract and spread the infection, and endogenous behavioral responses such as voluntary social distancing and the adoption of self-protective measures. We study the stability of the equilibria and illustrate through several examples how the shape of the stability region depends on the structure of the interaction matrix, providing insights for the design of effective control strategies. We then analyze the transient behavior of the dynamics, showing that, for a special class of rank-1 interaction matrices, there always exists an aggregate infection curve that exhibits a unimodal behavior, expanding the results on the unimodality of infection curve known in the literature of epidemic models and paving the way for future control applications.

math.DS↗

A Minimal Dynamical Model for Incubation-Outbreak Transitions in Social Norm Diffusion

In this paper, we introduce a minimal dynamical model for the diffusion of a new social norm, in which individuals transition among three states: non-supporters, silent supporters, and vocal advocates. Despite its simplicity and its close relation to the classical SI-type and SIS-type spreading dynamics, this model exhibits a nontrivial latent-outbreak dynamic pattern: an initial small adoption wave is followed by a long quiescent period and then an abrupt, endogenous explosion of support. Through a complete analytical characterization of equilibria, stability, convergence, and phase-transition conditions, we identify the nonlinear mechanism that generates this incubation phenomenon and derive estimates of the latent period. Our results reveal a dynamical route to sudden social change driven purely by internal interactions rather than external shocks.

eess.SY↗

Bayesian Equilibria of Heterogeneous Non-Atomic Routing Games with Private Information

We study non-atomic Bayesian routing games whereby a transportation network is shared by two types of traffic: a coordinated fleet and a mass of selfish users. The links in the network are characterized by travel time functions that depend both on the aggregate flow on the link and on a random state of the world $W$ that, in general, is not directly observable. Rather, we assume that both the fleet coordinator and the selfish users know the prior distribution of $W$, observe (different) private messages that are correlated with $W$ and possibly among themselves, and make routing decisions based on such heterogeneous partial information. Under the assumption that both the state of the world and the private message sets are finite, we prove the existence and uniqueness of a Bayesian equilibrium for the ensuing Bayesian routing game.

math.OC↗

Optimal Interventions on the Linear Threshold Model in Large-Scale Networks

We study an optimal intervention problem on the linear threshold model (LTM) in which a social planner aims to design minimal-cost interventions that modify the agents' thresholds, under the constraint that at least a predefined fraction of agents reaches a given state after a finite number of iterations. While this problem is known to be NP-hard and its exact solution requires full knowledge of the network structure, we focus on approximate solutions for large-scale networks and assume that the planner has only statistical knowledge of the network. In particular, we build on a local mean-field approximation of the LTM that is known to hold true on large-scale random networks, and reformulate the optimal intervention problem as a linear program with an infinite set of constraints. We then show how to approximate the solutions of the latter problem by standard linear programs with finitely many constraints. Finally, our approach is validated through numerical experiments on real-world networks and compared both with optimal seeding and state-of-the-art algorithms for the least-cost influence.

cs.GT↗

Optimal Control of Behavioral-Feedback SIR Epidemic Model

We consider a behavioral-feedback SIR epidemic model, in which the infection rate depends in feedback on the fractions of susceptible and infected agents, respectively. The considered model allows one to account for endogenous adaptation mechanisms of the agents in response to the epidemics, such as voluntary social distancing, or the adoption of face masks. For this model, we formulate an optimal control problem for a social planner that has the ability to reduce the infection rate to keep the infection curve below a certain threshold within an infinite time horizon, while minimizing the intervention cost. Based on the dynamic properties of the model, we prove that, under quite general conditions on the infection rate, the filling the box strategy is the optimal control. This strategy consists in letting the epidemics spread without intervention until the threshold is reached, then applying the minimum control that leaves the fraction of infected individuals constantly at the threshold until the reproduction number becomes less than one and the infection naturally fades out. Our result generalizes one available in the literature for the equivalent problem formulated for the classical SIR model, which can be recovered as a special case of our model when the infection rate is constant. Our contribution enhances the understanding of epidemic management with adaptive human behavior, offering insights for robust containment strategies.

eess.SY↗

Behavioral-feedback SIR epidemic model: analysis and control

This paper investigates a behavioral-feedback SIR model in which the infection rate adapts dynamically based on the fractions of susceptible and infected individuals. We introduce an invariant of motion and we characterize the peak of infection. We further examine the system under a threshold constraint on the infection level. Based on this analysis, we formulate an optimal control problem to keep the infection curve below a healthcare capacity threshold while minimizing the economic cost. For this problem, we study a feasible strategy that involves applying the minimal necessary restrictions to meet the capacity constraint and characterize the corresponding cost.

q-bio.PE↗

On Optimality of Private Information in Bayesian Routing Games

We study an information design problem in transportation networks, in the presence of a random state that affects the travel times on the links. An omniscient system planner -- aiming at reducing congestion -- observes the network state realization and sends private messages to the users -- who share a common prior on the network state but do not observe it directly -- in order to nudge them towards a socially desirable behavior. The desired effect of these private signals is to correlate the users' selfish decisions with the network state and align the resulting Bayesian Wardrop equilibrium with the system optimum flow. Our main contribution is to provide sufficient and necessary conditions under which optimality may be achieved by a fair private signal policy in transportation networks with injective link-path incidence matrix and affine travel time functions.

math.OC↗

Optimal interventions in opinion dynamics on large-scale, time-varying, random networks

We consider two optimization problems in which a planner aims to influence the average transient opinion in the Friedkin-Johnsen dynamics on a network by intervening on the agents' innate opinions. Solving these problems requires full network knowledge, which is often not available because of the cost involved in collecting this information or due to privacy considerations. For this reason, we focus on intervention strategies that are based on statistical instead of exact knowledge of the network. We focus on a time-varying random network model where the network is resampled at each time step and formulate two intervention problems in this setting. We show that these problems can be casted into mixed integer linear programs in the type space, where the type of a node captures its out- and in-degree and other local features of the nodes, and provide a closed form solution for one of the two problems. The integer constraints may be easily removed using probabilistic interventions leading to linear programs. Finally, we show by a numerical analysis that there are cases in which the derived optimal interventions on time-varying networks can lead to close to optimal interventions on fixed networks.

physics.soc-ph↗

On the stability of the logit dynamics in population games

We study the asymptotic stability of the logit evolutionary dynamics in population games, possibly with multiple heterogenous populations. For general population games, we prove that, on the one hand, strict Nash equilibria are asymptotically stable under the logit dynamics for low enough noise levels, on the other hand, a globally exponentially stable logit equilibrium exists for sufficiently large noise levels. This suggests the emergence of bifurcations in population games admitting multiple strict Nash equilibria, as observed in numerous examples. We then provide sufficient conditions on the population game structure for the existence of globally asymptotically stable logit equilibria for every noise level. The considered class of monotone separable games finds applications, e.g., in routing games on series compositions of networks with parallel routes when there are multiple populations of users that differ in the reward functions.

cs.GT↗

On the dynamic behavior of the network SIR epidemic model

We study a susceptible-infected-recovered (SIR) epidemic model on a network of $n$ interacting subpopulations. We analyze the transient and asymptotic behavior of the infection dynamics in each node of the network. In contrast to the classical scalar epidemic SIR model, where the infection curve is known to be unimodal (either always decreasing over time, or initially increasing until reaching a peak and from then on monotonically decreasing and asymptotically vanishing), we show the possible occurrence of multimodal infection curves in the network SIR epidemic model with $n\ge2$ subpopulations. We then focus on the special case of rank-$1$ interaction matrices, modeling subpopulations of homogeneously mixing individuals with different activity rates, susceptibility to the disease, and infectivity levels. For this special case, we find $n$ invariants of motion and provide an explicit expression for the limit equilibrium point. We also determine necessary and sufficient conditions for stability of the equilibrium points. We then establish an upper bound on the number of changes of monotonicity of the infection curve at the single node level and provide sufficient conditions for its multimodality. Finally, we present some numerical results revealing that, in the case of interaction matrices with rank larger than $1$, the single nodes' infection curves may display multiple peaks.

math.DS↗

Information design in Bayesian routing games

We study optimal information provision in transportation networks when users are strategic and the network state is uncertain. An omniscient planner observes the network state and discloses information to the users with the goal of minimizing the expected travel time at the user equilibrium. Public signal policies, including full-information disclosure, are known to be inefficient in achieving optimality. For this reason, we focus on private signals and restrict without loss of generality the analysis to signals that coincide with path recommendations that satisfy obedience constraints, namely users have no incentive in deviating from the received recommendation according to their posterior belief. We first formulate the general problem and analyze its properties for arbitrary network topologies and delay functions. Then, we consider the case of two parallel links with affine delay functions, and provide sufficient conditions under which optimality can be achieved by information design. Interestingly, we observe that the system benefits from uncertainty, namely it is easier for the planner to achieve optimality when the variance of the uncertain parameters is large. We then provide an example where optimality can be achieved even if the sufficient conditions for optimality are not met.

cs.GT↗

Optimal intervention in transportation networks

We study a network design problem (NDP) where the planner aims at selecting the optimal single-link intervention on a transportation network to minimize the travel time under Wardrop equilibrium flows. Our first result is that, if the delay functions are affine and the support of the equilibrium is not modified with interventions, the NDP may be formulated in terms of electrical quantities computed on a related resistor network. In particular, we show that the travel time variation corresponding to an intervention on a given link depends on the effective resistance between the endpoints of the link. We suggest an approach to approximate such an effective resistance by performing only local computation, and exploit it to design an efficient algorithm to solve the NDP. We discuss the optimality of this procedure in the limit of infinitely large networks, and provide a sufficient condition for its optimality. We then provide numerical simulations, showing that our algorithm achieves good performance even if the equilibrium support varies and the delay functions are non-linear.

cs.GT↗

Stability and bifurcations in transportation networks with heterogeneous users

A critical aspect in strategic modeling of transportation systems is user heterogeneity. In many real-world scenarios, e.g., when tolls are charged and drivers have different trade-offs between time and money, or when they get informed about current congestion by different routing apps, modeling users as rational decision makers with homogeneous utility functions becomes too restrictive. While global asymptotic stability of user equilibria in homogeneous routing games is known to hold for a broad class of evolutionary dynamics, the stability analysis of user equilibria in heterogeneous routing games is a largely open problem. In this work we study the logit dynamics in heterogeneous routing games on arbitrary network topologies. We show that the dynamics may exhibit bifurcations as the noise level of the dynamics varies, and provide sufficient conditions for asymptotic stability of user equilibria.

cs.GT↗

Lockdown interventions in SIR model: Is the reproduction number the right control variable?

The recent COVID-19 pandemic highlighted the need of non-pharmaceutical interventions in the first stages of a pandemic. Among these, lockdown policies proved unavoidable yet extremely costly from an economic perspective. To better understand the tradeoffs between economic and epidemic costs of lockdown interventions, we here focus on a simple SIR epidemic model and study lockdowns as solutions to an optimal control problem. We first show numerically that the optimal lockdown policy exhibits a phase transition from suppression to mitigation as the time horizon grows, i.e., if the horizon is short the optimal strategy is to impose severe lockdown to avoid diffusion of the infection, whereas if the horizon is long the optimal control steers the system to herd immunity to reduce economic loss. We then consider two alternative policies, motivated by government responses to the COVID-19 pandemic, where lockdown levels are selected to either stabilize the reproduction number (i.e., "flatten the curve") or the fraction of infected (i.e., containing the number of hospitalizations). We compute analytically the performance of these two feedback policies and compare them to the optimal control. Interestingly, we show that in the limit of infinite horizon stabilizing the number of infected is preferable to controlling the reproduction number, and in fact yields close to optimal performance.

math.OC↗

On stability of users equilibria in heterogeneous routing games

The asymptotic behaviour of deterministic logit dynamics in heterogeneous routing games is analyzed. It is proved that in directed multigraphs with parallel routes, and in series composition of such multigraphs, the dynamics admits a globally asymptotically stable fixed point. Moreover, the unique fixed point of the dynamics approaches the set of Wardrop equilibria, as the noise vanishes. The result relies on the fact that the dynamics of aggregate flows is monotone, and its Jacobian is strictly diagonally dominant by columns.

cs.GT↗