-
Weighted Additive Spanners
Authors:
Reyan Ahmed,
Greg Bodwin,
Faryad Darabi Sahneh,
Stephen Kobourov,
Richard Spence
Abstract:
A \emph{spanner} of a graph $G$ is a subgraph $H$ that approximately preserves shortest path distances in $G$. Spanners are commonly applied to compress computation on metric spaces corresponding to weighted input graphs. Classic spanner constructions can seamlessly handle edge weights, so long as error is measured \emph{multiplicatively}. In this work, we investigate whether one can similarly ext…
▽ More
A \emph{spanner} of a graph $G$ is a subgraph $H$ that approximately preserves shortest path distances in $G$. Spanners are commonly applied to compress computation on metric spaces corresponding to weighted input graphs. Classic spanner constructions can seamlessly handle edge weights, so long as error is measured \emph{multiplicatively}. In this work, we investigate whether one can similarly extend constructions of spanners with purely \emph{additive} error to weighted graphs. These extensions are not immediate, due to a key lemma about the size of shortest path neighborhoods that fails for weighted graphs. Despite this, we recover a suitable amortized version, which lets us prove direct extensions of classic $+2$ and $+4$ unweighted spanners (both all-pairs and pairwise) to $+2W$ and $+4W$ weighted spanners, where $W$ is the maximum edge weight. Specifically, we show that a weighted graph $G$ contains all-pairs (pairwise) $+2W$ and $+4W$ weighted spanners of size $O(n^{3/2})$ and $\widetilde{O}(n^{7/5})$ ($O(np^{1/3})$ and $O(np^{2/7})$) respectively. For a technical reason, the $+6$ unweighted spanner becomes a $+8W$ weighted spanner; closing this error gap is an interesting remaining open problem. That is, we show that $G$ contains all-pairs (pairwise) $+8W$ weighted spanners of size $O(n^{4/3})$ ($O(np^{1/4})$).
△ Less
Submitted 29 June, 2021; v1 submitted 15 February, 2020;
originally announced February 2020.
-
Graph Spanners: A Tutorial Review
Authors:
Reyan Ahmed,
Greg Bodwin,
Faryad Darabi Sahneh,
Keaton Hamm,
Mohammad Javad Latifi Jebelli,
Stephen Kobourov,
Richard Spence
Abstract:
This tutorial review provides a guiding reference to researchers who want to have an overview of the large body of literature about graph spanners. It reviews the current literature covering various research streams about graph spanners, such as different formulations, sparsity and lightness results, computational complexity, dynamic algorithms, and applications. As an additional contribution, we…
▽ More
This tutorial review provides a guiding reference to researchers who want to have an overview of the large body of literature about graph spanners. It reviews the current literature covering various research streams about graph spanners, such as different formulations, sparsity and lightness results, computational complexity, dynamic algorithms, and applications. As an additional contribution, we offer a list of open problems on graph spanners.
△ Less
Submitted 13 March, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Delocalized Epidemics on Graphs: A Maximum Entropy Approach
Authors:
Faryad Darabi Sahneh,
Aram Vajdi,
Caterina Scoglio
Abstract:
The susceptible--infected--susceptible (SIS) epidemic process on complex networks can show metastability, resembling an endemic equilibrium. In a general setting, the metastable state may involve a large portion of the network, or it can be localized on small subgraphs of the contact network. Localized infections are not interesting because a true outbreak concerns network--wide invasion of the co…
▽ More
The susceptible--infected--susceptible (SIS) epidemic process on complex networks can show metastability, resembling an endemic equilibrium. In a general setting, the metastable state may involve a large portion of the network, or it can be localized on small subgraphs of the contact network. Localized infections are not interesting because a true outbreak concerns network--wide invasion of the contact graph rather than localized infection of certain sites within the contact network. Existing approaches to localization phenomenon suffer from a major drawback: they fully rely on the steady--state solution of mean--field approximate models in the neighborhood of their phase transition point, where their approximation accuracy is worst; as statistical physics tells us. We propose a dispersion entropy measure that quantifies the localization of infections in a generic contact graph. Formulating a maximum entropy problem, we find an upper bound for the dispersion entropy of the possible metastable state in the exact SIS process. As a result, we find sufficient conditions such that any initial infection over the network either dies out or reaches a localized metastable state. Unlike existing studies relying on the solution of mean--field approximate models, our investigation of epidemic localization is based on characteristics of exact SIS equations. Our proposed method offers a new paradigm in studying spreading processes over complex networks.
△ Less
Submitted 30 April, 2016;
originally announced May 2016.
-
GEMFsim: A Stochastic Simulator for the Generalized Epidemic Modeling Framework
Authors:
Faryad Darabi Sahneh,
Aram Vajdi,
Heman Shakeri,
Futing Fan,
Caterina Scoglio
Abstract:
The recently proposed generalized epidemic modeling framework (GEMF) \cite{sahneh2013generalized} lays the groundwork for systematically constructing a broad spectrum of stochastic spreading processes over complex networks. This article builds an algorithm for exact, continuous-time numerical simulation of GEMF-based processes. Moreover the implementation of this algorithm, GEMFsim, is available i…
▽ More
The recently proposed generalized epidemic modeling framework (GEMF) \cite{sahneh2013generalized} lays the groundwork for systematically constructing a broad spectrum of stochastic spreading processes over complex networks. This article builds an algorithm for exact, continuous-time numerical simulation of GEMF-based processes. Moreover the implementation of this algorithm, GEMFsim, is available in popular scientific programming platforms such as MATLAB, R, Python, and C; GEMFsim facilitates simulating stochastic spreading models that fit in GEMF framework. Using these simulations one can examine the accuracy of mean-field-type approximations that are commonly used for analytical study of spreading processes on complex networks.
△ Less
Submitted 7 April, 2016;
originally announced April 2016.
-
Numerical Investigation of Metrics for Epidemic Processes on Graphs
Authors:
Max Goering,
Faryad Darabi Sahneh,
Nathan Albin,
Caterina Scoglio,
Pietro Poggi-Corradini
Abstract:
This study develops the epidemic hitting time (EHT) metric on graphs measuring the expected time an epidemic starting at node $a$ in a fully susceptible network takes to propagate and reach node $b$. An associated EHT centrality measure is then compared to degree, betweenness, spectral, and effective resistance centrality measures through exhaustive numerical simulations on several real-world netw…
▽ More
This study develops the epidemic hitting time (EHT) metric on graphs measuring the expected time an epidemic starting at node $a$ in a fully susceptible network takes to propagate and reach node $b$. An associated EHT centrality measure is then compared to degree, betweenness, spectral, and effective resistance centrality measures through exhaustive numerical simulations on several real-world network data-sets. We find two surprising observations: first, EHT centrality is highly correlated with effective resistance centrality; second, the EHT centrality measure is much more delocalized compared to degree and spectral centrality, highlighting the role of peripheral nodes in epidemic spreading on graphs.
△ Less
Submitted 24 November, 2015;
originally announced November 2015.
-
Modulus of families of walks on graphs
Authors:
Nathan Albin,
Pietro Poggi-Corradini,
Faryad Darabi Sahneh,
Max Goering
Abstract:
We introduce the notion of modulus of families of walks on graphs. We show how Beurling's famous criterion for extremality, that was formulated in the continuous case, can be interpreted on graphs as an instance of the Karush-Kuhn-Tucker conditions. We then develop an algorithm to numerically compute modulus using Beurling's criterion as our guide.
We introduce the notion of modulus of families of walks on graphs. We show how Beurling's famous criterion for extremality, that was formulated in the continuous case, can be interpreted on graphs as an instance of the Karush-Kuhn-Tucker conditions. We then develop an algorithm to numerically compute modulus using Beurling's criterion as our guide.
△ Less
Submitted 3 May, 2017; v1 submitted 29 January, 2014;
originally announced January 2014.
-
A Convex Framework for Optimal Investment on Disease Awareness in Social Networks
Authors:
Victor M. Preciado,
Faryad Darabi Sahneh,
Caterina Scoglio
Abstract:
We consider the problem of controlling the propagation of an epidemic outbreak in an arbitrary network of contacts by investing on disease awareness throughout the network. We model the effect of agent awareness on the dynamics of an epidemic using the SAIS epidemic model, an extension of the SIS epidemic model that includes a state of "awareness". This model allows to derive a condition to contro…
▽ More
We consider the problem of controlling the propagation of an epidemic outbreak in an arbitrary network of contacts by investing on disease awareness throughout the network. We model the effect of agent awareness on the dynamics of an epidemic using the SAIS epidemic model, an extension of the SIS epidemic model that includes a state of "awareness". This model allows to derive a condition to control the spread of an epidemic outbreak in terms of the eigenvalues of a matrix that depends on the network structure and the parameters of the model. We study the problem of finding the cost-optimal investment on disease awareness throughout the network when the cost function presents some realistic properties. We propose a convex framework to find cost-optimal allocation of resources. We validate our results with numerical simulations in a real online social network.
△ Less
Submitted 16 August, 2013;
originally announced August 2013.
-
Effect of Coupling on the Epidemic Threshold in Interconnected Complex Networks: A Spectral Analysis
Authors:
Faryad Darabi Sahneh,
Caterina Scoglio,
Fahmida N. Chowdhury
Abstract:
In epidemic modeling, the term infection strength indicates the ratio of infection rate and cure rate. If the infection strength is higher than a certain threshold -- which we define as the epidemic threshold - then the epidemic spreads through the population and persists in the long run. For a single generic graph representing the contact network of the population under consideration, the epidemi…
▽ More
In epidemic modeling, the term infection strength indicates the ratio of infection rate and cure rate. If the infection strength is higher than a certain threshold -- which we define as the epidemic threshold - then the epidemic spreads through the population and persists in the long run. For a single generic graph representing the contact network of the population under consideration, the epidemic threshold turns out to be equal to the inverse of the spectral radius of the contact graph. However, in a real world scenario it is not possible to isolate a population completely: there is always some interconnection with another network, which partially overlaps with the contact network. Results for epidemic threshold in interconnected networks are limited to homogeneous mixing populations and degree distribution arguments. In this paper, we adopt a spectral approach. We show how the epidemic threshold in a given network changes as a result of being coupled with another network with fixed infection strength. In our model, the contact network and the interconnections are generic. Using bifurcation theory and algebraic graph theory, we rigorously derive the epidemic threshold in interconnected networks. These results have implications for the broad field of epidemic modeling and control. Our analytical results are supported by numerical simulations.
△ Less
Submitted 17 December, 2012;
originally announced December 2012.
-
Epidemic Spread in Human Networks
Authors:
Faryad Darabi Sahneh,
Caterina Scoglio
Abstract:
One of the popular dynamics on complex networks is the epidemic spreading. An epidemic model describes how infections spread throughout a network. Among the compartmental models used to describe epidemics, the Susceptible-Infected-Susceptible (SIS) model has been widely used. In the SIS model, each node can be susceptible, become infected with a given infection rate, and become again susceptible w…
▽ More
One of the popular dynamics on complex networks is the epidemic spreading. An epidemic model describes how infections spread throughout a network. Among the compartmental models used to describe epidemics, the Susceptible-Infected-Susceptible (SIS) model has been widely used. In the SIS model, each node can be susceptible, become infected with a given infection rate, and become again susceptible with a given curing rate. In this paper, we add a new compartment to the classic SIS model to account for human response to epidemic spread. Each individual can be infected, susceptible, or alert. Susceptible individuals can become alert with an alerting rate if infected individuals exist in their neighborhood. An individual in the alert state is less probable to become infected than an individual in the susceptible state; due to a newly adopted cautious behavior. The problem is formulated as a continuous-time Markov process on a general static graph and then modeled into a set of ordinary differential equations using mean field approximation method and the corresponding Kolmogorov forward equations. The model is then studied using results from algebraic graph theory and center manifold theorem. We analytically show that our model exhibits two distinct thresholds in the dynamics of epidemic spread. Below the first threshold, infection dies out exponentially. Beyond the second threshold, infection persists in the steady state. Between the two thresholds, the infection spreads at the first stage but then dies out asymptotically as the result of increased alertness in the network. Finally, simulations are provided to support our findings. Our results suggest that alertness can be considered as a strategy of controlling the epidemics which propose multiple potential areas of applications, from infectious diseases mitigations to malware impact reduction.
△ Less
Submitted 13 July, 2011;
originally announced July 2011.
