Showing 1–50 of 55 results for author: Frasca, P

Optimal policy design for decision problems under social influence

Authors: Valentina Breschi, Chiara Ravazzi, Paolo Frasca, Fabrizio Dabbene, Mara Tanelli

Abstract: This paper focuses on devising strategies for control-oriented decision-making scenarios, in the presence of social and external influences, e.g. within recommending systems in social contexts. More precisely, we extend the classical Friedkin and Johnsen model of opinion dynamics to incorporate random factors, such as variability in individual predisposition, and uncertainty in social acceptance t… ▽ More This paper focuses on devising strategies for control-oriented decision-making scenarios, in the presence of social and external influences, e.g. within recommending systems in social contexts. More precisely, we extend the classical Friedkin and Johnsen model of opinion dynamics to incorporate random factors, such as variability in individual predisposition, and uncertainty in social acceptance towards a specific action that a recommending system aims to promote. Furthermore, we formulate an optimization-based control problem aimed at fostering the social acceptance of particular actions within the network. Initially conceptualized as an economic cost minimization, in this preliminary work, we simplify our problem by reformulating it into an MPC framework. Through our analysis and numerical simulations, we illustrate the effectiveness of the proposed methodologies. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: Submitted to CDC 2024

Opinion dynamics on signed graphs and graphons: Beyond the piece-wise constant case

Authors: Paolo Frasca, Federica Garin, Raoul Prisant

Abstract: In this paper we make use of graphon theory to study opinion dynamics on large networks. The opinion dynamics models that we take into consideration allow for negative interactions between the individual, i.e. competing entities whose opinions can grow apart. We consider both the repelling model and the opposing model that are studied in the literature. We define the repelling and the opposing dyn… ▽ More In this paper we make use of graphon theory to study opinion dynamics on large networks. The opinion dynamics models that we take into consideration allow for negative interactions between the individual, i.e. competing entities whose opinions can grow apart. We consider both the repelling model and the opposing model that are studied in the literature. We define the repelling and the opposing dynamics on graphons and we show that their initial value problem's solutions exist and are unique. We then show that the graphon dynamics well approximate the dynamics on large graphs that converge to a graphon. This result applies to large random graphs that are sampled according to a graphon. All these facts are illustrated in an extended numerical example. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: 8 double-column pages, 4 figures

SIS epidemics on open networks: A replacement-based approximation

Authors: Renato Vizuete, Paolo Frasca, Elena Panteley

Abstract: In this paper we analyze continuous-time SIS epidemics subject to arrivals and departures of agents, by using an approximated process based on replacements. In defining the SIS dynamics in an open network, we consider a stochastic setting in which arrivals and departures take place according to Poisson processes with similar rates, and the new value of the infection probability of an arriving agen… ▽ More In this paper we analyze continuous-time SIS epidemics subject to arrivals and departures of agents, by using an approximated process based on replacements. In defining the SIS dynamics in an open network, we consider a stochastic setting in which arrivals and departures take place according to Poisson processes with similar rates, and the new value of the infection probability of an arriving agent is drawn from a continuous distribution. Since the system size changes with time, we define an approximated process, in which replacements take place instead of arrivals and departures, and we focus on the evolution of an aggregate measure of the level of infection. So long as the reproduction number is less than one, the long-term behavior of this function measures the impact of the changes of the set of agents in the epidemic. We derive upper bounds for the expectation and variance of this function and we include a numerical example to show that the approximated process is close to the original SIS process. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: 7 pages, 2 figures, to appear in European Control Conference (ECC 2024)

Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-organization Strategies and Provably-correct Design

Authors: Di Liu, Sebastian Mair, Kang Yang, Simone Baldi, Paolo Frasca, Matthias Althoff

Abstract: This work proposes provably-correct self-organizing strategies for platoons of heterogeneous vehicles. We refer to self-organization as the capability of a platoon to autonomously homogenize to a common group behavior. We show that self-organization promotes resilience to acceleration limits and communication failures, i.e., homogenizing to a common group behavior makes the platoon recover from th… ▽ More This work proposes provably-correct self-organizing strategies for platoons of heterogeneous vehicles. We refer to self-organization as the capability of a platoon to autonomously homogenize to a common group behavior. We show that self-organization promotes resilience to acceleration limits and communication failures, i.e., homogenizing to a common group behavior makes the platoon recover from these causes of impairments. In the presence of acceleration limits, resilience is achieved by self-organizing to a common constrained group behavior that prevents the vehicles from hitting their acceleration limits. In the presence of communication failures, resilience is achieved by self-organizing to a common group observer to estimate the missing information. Stability of the self-organization mechanism is studied analytically, and correctness with respect to traffic actions (e.g. emergency braking, cut-in, merging) is realized through a provably-correct safety layer. Numerical validations via the platooning toolbox OpenCDA in CARLA and via the CommonRoad platform confirm improved performance through self-organization and the provably-correct safety layer. △ Less

Submitted 22 February, 2024; v1 submitted 27 May, 2023; originally announced May 2023.

Potential degradation of transportation network efficiency due to route recommendations

Authors: Tommaso Toso, Alain Y. Kibangou, Paolo Frasca

Abstract: In this work, we propose a road traffic model to assess the effects of real-time route recommendations on the traffic flow between an origin and a destination connected by two possible routes. We suppose that this origin-destination pair is subject to a constant demand flow and that a certain fraction of the users constituting this demand has access to a navigation application (app). The model aim… ▽ More In this work, we propose a road traffic model to assess the effects of real-time route recommendations on the traffic flow between an origin and a destination connected by two possible routes. We suppose that this origin-destination pair is subject to a constant demand flow and that a certain fraction of the users constituting this demand has access to a navigation application (app). The model aims to investigate potential drawbacks, at the global level, of the usage of navigation apps. After a comprehensive stability analysis, we show that an excessive use of navigation apps can degrade of the network efficiency, which may take the form of a decrease of performance measures or of the failure to satisfy the user demand. △ Less

Submitted 6 July, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

On Lyapunov functions for open Hegselmann-Krause dynamics

Authors: Renato Vizuete, Paolo Frasca, Elena Panteley

Abstract: In this paper, we provide a formulation of an open Hegselmann-Krause (HK) dynamics where agents can join and leave the system during the interactions. We consider a stochastic framework where the time instants corresponding to arrivals and departures are determined by homogeneous Poisson processes. Then, we provide a survey of Lyapunov functions based on global and local disagreement, whose asympt… ▽ More In this paper, we provide a formulation of an open Hegselmann-Krause (HK) dynamics where agents can join and leave the system during the interactions. We consider a stochastic framework where the time instants corresponding to arrivals and departures are determined by homogeneous Poisson processes. Then, we provide a survey of Lyapunov functions based on global and local disagreement, whose asymptotic behavior can be used to measure the impact of arrivals and departures. After proving analytical results on these Lyapunov functions in the open system, we illustrate them through numerical simulations in two scenarios characterized by a different number of expected agents. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: 17 pages, 2 figures

Individual based SIS models on (not so) dense large random networks

Authors: Jean-François Delmas, Paolo Frasca, Federica Garin, Viet Chi Tran, Aurélien Velleret, Pierre-André Zitt

Abstract: Starting from a stochastic individual-based description of an SIS epidemic spreading on a random network, we study the dynamics when the size n of the network tends to infinity. We recover in the limit an infinite-dimensional integro-differential equation studied by Delmas, Dronnier and Zitt (2022) for an SIS epidemic propagating on a graphon. Our work covers the case of dense and sparse graphs, p… ▽ More Starting from a stochastic individual-based description of an SIS epidemic spreading on a random network, we study the dynamics when the size n of the network tends to infinity. We recover in the limit an infinite-dimensional integro-differential equation studied by Delmas, Dronnier and Zitt (2022) for an SIS epidemic propagating on a graphon. Our work covers the case of dense and sparse graphs, provided that the number of edges grows faster than n, but not the case of very sparse graphs with O(n) edges. In order to establish our limit theorem, we have to deal with both the convergence of the random graphs to the graphon and the convergence of the stochastic process spreading on top of these random structures: in particular, we propose a coupling between the process of interest and an epidemic that spreads on the complete graph but with a modified infection rate. Keywords: random graph, mathematical models of epidemics, measure-valued process, large network limit, limit theorem, graphon. △ Less

Submitted 31 July, 2023; v1 submitted 26 February, 2023; originally announced February 2023.

Comments: Acknowledgments: This work was financed by the Labex Bézout (ANR-10-LABX-58) and the COCOON grant (ANR-22-CE48-0011), and by the platform MODCOV19 of the National Institute of Mathematical Sciences and their Interactions of CNRS. 32 pages, including an appendix of 6 pages

MSC Class: 05C80; 92D30; 60F99

Doing data science with platforms crumbs: an investigation into fakes views on YouTube

Authors: Maria Castaldo, Paolo Frasca, Tommaso Venturini, Floriana Gargiulo

Abstract: This paper contributes to the ongoing discussions on the scholarly access to social media data, discussing a case where this access is barred despite its value for understanding and countering online disinformation and despite the absence of privacy or copyright issues. Our study concerns YouTube's engagement metrics and, more specifically, the way in which the platform removes "fake views" (i.e.,… ▽ More This paper contributes to the ongoing discussions on the scholarly access to social media data, discussing a case where this access is barred despite its value for understanding and countering online disinformation and despite the absence of privacy or copyright issues. Our study concerns YouTube's engagement metrics and, more specifically, the way in which the platform removes "fake views" (i.e., views considered as artificial or illegitimate by the platform). Working with one and a half year of data extracted from a thousand French YouTube channels, we show the massive extent of this phenomenon, which concerns the large majority of the channels and more than half the videos in our corpus. Our analysis indicates that most fakes news are corrected relatively late in the life of the videos and that the final view counts of the videos are not independent from the fake views they received. We discuss the potential harm that delays in corrections could produce in content diffusion: by inflating views counts, illegitimate views could make a video appear more popular than it is and unwarrantedly encourage its human and algorithmic recommendation. Unfortunately, we cannot offer a definitive assessment of this phenomenon, because YouTube provides no information on fake views in its API or interface. This paper is, therefore, also a call for greater transparency by YouTube and other online platforms about information that can have crucial implications for the quality of online public debate. △ Less

Submitted 28 September, 2022; originally announced October 2022.

Resource allocation in open multi-agent systems: an online optimization analysis

Authors: Renato Vizuete, Charles Monnoyer de Galland, Julien M. Hendrickx, Paolo Frasca, Elena Panteley

Abstract: The resource allocation problem consists of the optimal distribution of a budget between agents in a group. We consider such a problem in the context of open systems, where agents can be replaced at some time instances. These replacements lead to variations in both the budget and the total cost function that hinder the overall network's performance. For a simple setting, we analyze the performance… ▽ More The resource allocation problem consists of the optimal distribution of a budget between agents in a group. We consider such a problem in the context of open systems, where agents can be replaced at some time instances. These replacements lead to variations in both the budget and the total cost function that hinder the overall network's performance. For a simple setting, we analyze the performance of the Random Coordinate Descent algorithm (RCD) using tools similar to those commonly used in online optimization. In particular, we study the accumulated errors that compare solutions issued from the RCD algorithm and the optimal solution or the non-collaborating selfish strategy and we derive some bounds in expectation for these accumulated errors. △ Less

Submitted 19 July, 2022; originally announced July 2022.

Comments: 7 pages, 3 figures, accepted for the 61st Conference on Decision and Control (CDC2022)

Random Coordinate Descent for Resource Allocation in Open Multi-Agent Systems

Authors: Charles Monnoyer de Galland, Renato Vizuete, Julien M. Hendrickx, Elena Panteley, Paolo Frasca

Abstract: We propose a method for analyzing the distributed random coordinate descent algorithm for solving separable resource allocation problems in the context of an open multiagent system, where agents can be replaced during the process. In particular, we characterize the evolution of the distance to the minimizer in expectation by following a time-varying optimization approach which builds on two compon… ▽ More We propose a method for analyzing the distributed random coordinate descent algorithm for solving separable resource allocation problems in the context of an open multiagent system, where agents can be replaced during the process. In particular, we characterize the evolution of the distance to the minimizer in expectation by following a time-varying optimization approach which builds on two components. First, we establish the linear convergence of the algorithm in closed systems, in terms of the estimate towards the minimizer, for general graphs and appropriate step-size. Second, we estimate the change of the optimal solution after a replacement, in order to evaluate its effect on the distance between the current estimate and the minimizer. From these two elements, we derive stability conditions in open systems and establish the linear convergence of the algorithm towards a steady-state expected error. Our results enable to characterize the trade-off between speed of convergence and robustness to agent replacements, under the assumptions that local functions are smooth, strongly convex, and have their minimizers located in a given ball. The approach proposed in this paper can moreover be extended to other algorithms guaranteeing linear convergence in closed system. △ Less

Submitted 20 September, 2023; v1 submitted 20 May, 2022; originally announced May 2022.

Comments: 14 pages, 9 figures, submitted to IEEE Transactions on Automatic Control

On Online Attention Dynamics

Authors: Maria Castaldo, Paolo Frasca, Tommaso Venturini

Abstract: This work aims at emphasizing a number of questions that, although crucial since the early days of media studies, have not yet been the object of the empirical and computational study that they deserve: How does collective attention concentrate and dissipate in modern communication systems? How do subjects and sources rise and fall in public debates? How are these dynamics shaped by media infrastr… ▽ More This work aims at emphasizing a number of questions that, although crucial since the early days of media studies, have not yet been the object of the empirical and computational study that they deserve: How does collective attention concentrate and dissipate in modern communication systems? How do subjects and sources rise and fall in public debates? How are these dynamics shaped by media infrastructures? In the perspective of addressing these questions, this chapter provides a review of the literature on the dynamics of online content dissemination: our goal is to prepare the ground for the necessary study, which should comprise empirical investigation, mathematical modeling, numerical simulation, and rigorous system-theoretic analysis. △ Less

Submitted 27 April, 2022; originally announced April 2022.

Comments: arXiv admin note: This version has been removed by arXiv administrators as the submitter did not have the right to agree to the license at the time of submission

Random coordinate descent algorithm for open multi-agent systems with complete topology and homogeneous agents

Authors: Charles Monnoyer de Galland, Renato Vizuete, Julien M. Hendrickx, Paolo Frasca, Elena Panteley

Abstract: We study the convergence in expectation of the Random Coordinate Descent algorithm (RCD) for solving optimal resource allocations problems in open multi-agent systems, i.e., multi-agent systems that are subject to arrivals and departures of agents. Assuming all local functions are strongly-convex and smooth, and their minimizers lie in a given ball, we analyse the evolution of the distance to the… ▽ More We study the convergence in expectation of the Random Coordinate Descent algorithm (RCD) for solving optimal resource allocations problems in open multi-agent systems, i.e., multi-agent systems that are subject to arrivals and departures of agents. Assuming all local functions are strongly-convex and smooth, and their minimizers lie in a given ball, we analyse the evolution of the distance to the minimizer in expectation when the system is occasionally subject to replacements in addition to the usual iterations of the RCD algorithm. We focus on complete graphs where all agents interact with each other with the same probability, and provide conditions to guarantee convergence in open system. Finally, a discussion around the tightness of our results is provided. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Comments: 8 pages, 3 figures, to be published in proceedings of the 60th IEEE Conference on Decision and Control (CDC2021)

Generalized solutions to opinion dynamics models with discontinuities

Authors: Francesca Ceragioli, Paolo Frasca, Benedetto Piccoli, Francesco Rossi

Abstract: Social dynamics models may present discontinuities in the right-hand side of the dynamics for multiple reasons, including topology changes and quantization. Several concepts of generalized solutions for discontinuous equations are available in the literature and are useful to analyze these models. In this chapter, we study Caratheodory and Krasovsky generalized solutions for discontinuous models o… ▽ More Social dynamics models may present discontinuities in the right-hand side of the dynamics for multiple reasons, including topology changes and quantization. Several concepts of generalized solutions for discontinuous equations are available in the literature and are useful to analyze these models. In this chapter, we study Caratheodory and Krasovsky generalized solutions for discontinuous models of opinion dynamics with state dependent interactions. We consider two definitions of "bounded confidence" interactions, which we respectively call metric and topological: in the former, individuals interact if their opinions are closer than a threshold; in the latter, individuals interact with a fixed number of nearest neighbors. We compare the dynamics produced by the two kinds of interactions, in terms of existence, uniqueness and asymptotic behavior of different types of solutions. △ Less

Submitted 20 July, 2021; v1 submitted 27 May, 2021; originally announced May 2021.

A collaborative path to scientific discovery: Distribution of labor, productivity and innovation in collaborative science

Authors: Floriana Gargiulo, Maria Castaldo, Tommaso Venturini, Paolo Frasca

Abstract: In this work we dig into the process of scientific discovery by looking at a yet unexploited source of information: Polymath projects. Polymath projects are an original attempt to collectively solve mathematical problems in an online collaborative environment. To investigate the Polymath experiment, we analyze all the posts related to the projects that arrived to a peer reviewed publication with a… ▽ More In this work we dig into the process of scientific discovery by looking at a yet unexploited source of information: Polymath projects. Polymath projects are an original attempt to collectively solve mathematical problems in an online collaborative environment. To investigate the Polymath experiment, we analyze all the posts related to the projects that arrived to a peer reviewed publication with a particular attention to the organization of labor and the innovations originating from the author contributions. We observe that a significant presence of sporadic contributor boosts the productivity of the most active users and that productivity, in terms of number of posts, grows super-linearly with the number of contributors. When it comes to innovation in large scale collaborations, there is no exact rule determining, a priori, who the main innovators will be. Sometimes, serendipitous interactions by sporadic contributors can have a large impact on the discovery process and a single post by an occasional participant can steer the work into a new direction. △ Less

Submitted 5 May, 2021; originally announced May 2021.

Graph structure based Heuristics for Optimal Targeting in Social Networks

Authors: M. Bini, P. Frasca, C. Ravazzi, F. Dabbene

Abstract: We consider a dynamic model for competition in a social network, where two strategic agents have fixed beliefs and the non-strategic/regular agents adjust their states according to a distributed consensus protocol. We suppose that one strategic agent must identify k+ target agents in the network in order to maximally spread its own opinion and alter the average opinion that eventually emerges. In… ▽ More We consider a dynamic model for competition in a social network, where two strategic agents have fixed beliefs and the non-strategic/regular agents adjust their states according to a distributed consensus protocol. We suppose that one strategic agent must identify k+ target agents in the network in order to maximally spread its own opinion and alter the average opinion that eventually emerges. In the literature, this problem is cast as the maximization of a set function and, leveraging on the submodular property, is solved in a greedy manner by solving k+ separate single targeting problems. Our main contribution is to exploit the underlying graph structure to build more refined heuristics. As a first instance, we provide the analytical solution for the optimal targeting problem over complete graphs. This result provides a rule to understand whether it is convenient or not to block the opponent's influence by targeting the same nodes. The argument is then extended to generic graphs leading to more accurate solutions compared to a simple greedy approach. As a second instance, by electrical analogy we provide the analytical solution of the single targeting problem for the line graph and derive some useful properties of the objective function for trees. Inspired by these findings, we define a new algorithm which selects the optimal solution on trees in a much faster way with respect to a brute-force approach and works well also over tree-like/sparse graphs. The proposed heuristics are then compared to zero-cost heuristics on different random generated graphs and real social networks. Summarizing, our results suggest a scheme that tells which algorithm is more suitable in terms of accuracy and computational complexity, based on the density of the graphs and its degree distribution. △ Less

Submitted 5 May, 2021; originally announced May 2021.

Comments: 19 pages, 7 figures, submitted

A Continuation Method for Large-Scale Modeling and Control: from ODEs to PDE, a Round Trip

Authors: Denis Nikitin, Carlos Canudas-de-Wit, Paolo Frasca

Abstract: In this paper we present a continuation method which transforms spatially distributed ODE systems into continuous PDE. We show that this continuation can be performed both for linear and nonlinear systems, including multidimensional, space- and time-varying systems. When applied to a large-scale network, the continuation provides a PDE describing evolution of continuous state approximation that re… ▽ More In this paper we present a continuation method which transforms spatially distributed ODE systems into continuous PDE. We show that this continuation can be performed both for linear and nonlinear systems, including multidimensional, space- and time-varying systems. When applied to a large-scale network, the continuation provides a PDE describing evolution of continuous state approximation that respects the spatial structure of the original ODE. Our method is illustrated by multiple examples including transport equations, Kuramoto equations and heat diffusion equations. As a main example, we perform the continuation of a Newtonian system of interacting particles and obtain the Euler equations for compressible fluids, thereby providing an original alternative solution to Hilbert's 6th problem. Finally, we leverage our derivation of the Euler equations to control multiagent systems, designing a nonlinear control algorithm for robot formation based on its continuous approximation. △ Less

Submitted 25 January, 2021; originally announced January 2021.

The Rhythms of the Night: increase in online night activity and emotional resilience during the Spring 2020 Covid-19 lockdown

Authors: Maria Castaldo, Tommaso Venturini, Paolo Frasca, Floriana Gargiulo

Abstract: Context. The lockdown orders established in multiple countries in response to the Covid-19 pandemics are arguably one of the most widespread and deepest shock experienced by societies in recent years. Studying their impact trough the lens of social media offers an unprecedented opportunity to understand the susceptibility and the resilience of human activity patterns to large-scale exogenous shock… ▽ More Context. The lockdown orders established in multiple countries in response to the Covid-19 pandemics are arguably one of the most widespread and deepest shock experienced by societies in recent years. Studying their impact trough the lens of social media offers an unprecedented opportunity to understand the susceptibility and the resilience of human activity patterns to large-scale exogenous shocks. Firstly, we investigate the changes that this upheaval has caused in online activity in terms of time spent online, themes and emotion shared on the platforms, and rhythms of content consumption. Secondly, we examine the resilience of certain platform characteristics, such as the daily rhythms of emotion expression. Data. Two independent datasets about the French cyberspace: a fine-grained temporal record of almost 100 thousand YouTube videos and a collection of 8 million Tweets between February 17 and April 14, 2020. Findings. In both datasets we observe a resha** of the circadian rhythms with an increase of night activity during the lockdown. The analysis of the videos and tweets published during lockdown shows a general decrease in emotional contents and a shift from themes like work and money to themes like death and safety. However, the daily patterns of emotions remain mostly unchanged, thereby suggesting that emotional cycles are resilient to exogenous shocks. △ Less

Submitted 30 November, 2020; v1 submitted 18 July, 2020; originally announced July 2020.

Comments: Under review

On the Influence of Noise in Randomized Consensus Algorithms

Authors: Renato Vizuete, Paolo Frasca, Elena Panteley

Abstract: In this paper we study the influence of additive noise in randomized consensus algorithms. Assuming that the update matrices are symmetric, we derive a closed form expression for the mean square error induced by the noise, together with upper and lower bounds that are simpler to evaluate. Motivated by the study of Open Multi-Agent Systems, we concentrate on Randomly Induced Discretized Laplacians,… ▽ More In this paper we study the influence of additive noise in randomized consensus algorithms. Assuming that the update matrices are symmetric, we derive a closed form expression for the mean square error induced by the noise, together with upper and lower bounds that are simpler to evaluate. Motivated by the study of Open Multi-Agent Systems, we concentrate on Randomly Induced Discretized Laplacians, a family of update matrices that are generated by sampling subgraphs of a large undirected graph. For these matrices, we express the bounds by using the eigenvalues of the Laplacian matrix of the underlying graph or the graph's average effective resistance, thereby proving their tightness. Finally, we derive expressions for the bounds on some examples of graphs and numerically evaluate them. △ Less

Submitted 10 June, 2020; originally announced June 2020.

Comments: 6 pages, submitted to IEEE Control Systems Letters

The Laplacian Spectrum of Large Graphs Sampled from Graphons

Authors: Renato Vizuete, Federica Garin, Paolo Frasca

Abstract: This paper studies the Laplacian spectrum and the average effective resistance of (large) graphs that are sampled from graphons. Broadly speaking, our main finding is that the Laplacian eigenvalues of a large dense graph can be effectively approximated by using the degree function of the corresponding graphon. More specifically, we show how to approximate the distribution of the Laplacian eigenval… ▽ More This paper studies the Laplacian spectrum and the average effective resistance of (large) graphs that are sampled from graphons. Broadly speaking, our main finding is that the Laplacian eigenvalues of a large dense graph can be effectively approximated by using the degree function of the corresponding graphon. More specifically, we show how to approximate the distribution of the Laplacian eigenvalues and the average effective resistance (Kirchhoff index) of the graph. For all cases, we provide explicit bounds on the approximation errors and derive the asymptotic rates at which the errors go to zero when the number of nodes goes to infinity. Our main results are proved under the conditions that the graphon is piecewise Lipschitz and bounded away from zero. △ Less

Submitted 1 December, 2020; v1 submitted 20 April, 2020; originally announced April 2020.

Comments: 10 pages, 6 figures, submitted on April 20, 2020

Junk News Bubbles: Modelling the Rise and Fall of Attention in Online Arenas

Authors: Maria Castaldo, Tommaso Venturini, Paolo Frasca, Floriana Gargiulo

Abstract: In this paper, we present a type of media disorder which we call "`junk news bubbles" and which derives from the effort invested by online platforms and their users to identify and share contents with rising popularity. Such emphasis on trending matters, we claim, can have two detrimental effects on public debates: first, it shortens the amount of time available to discuss each matter; second it i… ▽ More In this paper, we present a type of media disorder which we call "`junk news bubbles" and which derives from the effort invested by online platforms and their users to identify and share contents with rising popularity. Such emphasis on trending matters, we claim, can have two detrimental effects on public debates: first, it shortens the amount of time available to discuss each matter; second it increases the ephemeral concentration of media attention. We provide a formal description of the dynamic of junk news bubbles, through a mathematical exploration the famous "public arenas model" developed by Hilgartner and Bosk in 1988. Our objective is to describe the dynamics of the junk news bubbles as precisely as possible to facilitate its further investigation with empirical data. △ Less

Submitted 16 November, 2020; v1 submitted 19 April, 2020; originally announced April 2020.

Comments: Accepted to appear in New Media and Society

Modeling limited attention in opinion dynamics by topological interactions

Authors: Francesca Ceragioli, Paolo Frasca, Wilbert Samuel Rossi

Abstract: This work explores models of opinion dynamics with opinion-dependent connectivity. Our starting point is that individuals have limited capabilities to engage in interactions with their peers. Motivated by this observation, we propose a continuous-time opinion dynamics model such that interactions take place with a limited number of peers: we refer to these interactions as topological, as opposed t… ▽ More This work explores models of opinion dynamics with opinion-dependent connectivity. Our starting point is that individuals have limited capabilities to engage in interactions with their peers. Motivated by this observation, we propose a continuous-time opinion dynamics model such that interactions take place with a limited number of peers: we refer to these interactions as topological, as opposed to metric interactions that are postulated in classical bounded-confidence models. We observe that topological interactions produce equilibria that are very robust to perturbations. △ Less

Submitted 30 June, 2020; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: To be presented at NETGCOOP 2020; revised version including simulations

Graphon-based sensitivity analysis of SIS epidemics

Authors: Renato Vizuete, Paolo Frasca, Federica Garin

Abstract: In this work, we use the spectral properties of graphons to study stability and sensitivity to noise of deterministic SIS epidemics over large networks. We consider the presence of additive noise in a linearized SIS model and we derive a noise index to quantify the deviation from the disease-free state due to noise. For finite networks, we show that the index depends on the adjacency eigenvalues o… ▽ More In this work, we use the spectral properties of graphons to study stability and sensitivity to noise of deterministic SIS epidemics over large networks. We consider the presence of additive noise in a linearized SIS model and we derive a noise index to quantify the deviation from the disease-free state due to noise. For finite networks, we show that the index depends on the adjacency eigenvalues of its graph. We then assume that the graph is a random sample from a piecewise Lipschitz graphon with finite rank and, using the eigenvalues of the associated graphon operator, we find an approximation of the index that is tight when the network size goes to infinity. A numerical example is included to illustrate the results. △ Less

Submitted 30 January, 2020; v1 submitted 21 December, 2019; originally announced December 2019.

Comments: 6 pages, to appear in IEEE Control Systems Letters

Protecting shared information in networks: a network security game with strategic attacks

Authors: Bram de Witte, Paolo Frasca, Bastiaan Overvest, Judith Timmer

Abstract: A digital security breach, by which confidential information is leaked, does not only affect the agent whose system is infiltrated, but is also detrimental to other agents socially connected to the infiltrated system. Although it has been argued that these externalities create incentives to under-invest in security, this presumption is challenged by the possibility of strategic adversaries that at… ▽ More A digital security breach, by which confidential information is leaked, does not only affect the agent whose system is infiltrated, but is also detrimental to other agents socially connected to the infiltrated system. Although it has been argued that these externalities create incentives to under-invest in security, this presumption is challenged by the possibility of strategic adversaries that attack the least protected agents. In this paper we study a new model of security games in which agents share tokens of sensitive information in a network of contacts. The agents have the opportunity to invest in security to protect against an attack that can be either strategically or randomly targeted. We show that, in the presence of random attack, under-investments always prevail at the Nash equilibrium in comparison with the social optimum. Instead, when the attack is strategic, either under-investments or over-investments are possible, depending on the network topology and on the characteristics of the process of the spreading of information. Actually, agents invest more in security than socially optimal when dependencies among agents are low (which can happen because the information network is sparsely connected or because the probability that information tokens are shared is small). These over-investments pass on to under-investments when information sharing is more likely (and therefore, when the risk brought by the attack is higher). △ Less

Submitted 22 June, 2019; originally announced June 2019.

Comments: Submitted as journal publication

Stability of Open Multi-Agent Systems and Applications to Dynamic Consensus

Authors: Mauro Franceschelli, Paolo Frasca

Abstract: In this technical note we consider a class of multi-agent network systems that we refer to as Open Multi-Agent Systems (OMAS): in these multi-agent systems, an indefinite number of agents may join or leave the network at any time. Focusing on discrete-time evolutions of scalar agents, we provide a novel theoretical framework to study the dynamical properties of OMAS: specifically, we propose a sui… ▽ More In this technical note we consider a class of multi-agent network systems that we refer to as Open Multi-Agent Systems (OMAS): in these multi-agent systems, an indefinite number of agents may join or leave the network at any time. Focusing on discrete-time evolutions of scalar agents, we provide a novel theoretical framework to study the dynamical properties of OMAS: specifically, we propose a suitable notion of stability and derive sufficient conditions to ensure stability in this sense. These sufficient conditions regard the arrival/departure of an agent as a disturbance: consistently, they require the effect of arrivals/departures to be bounded (in a precise sense) and the OMAS to be contractive in the absence of arrivals/departures. In order to provide an example of application for this theory, we re-formulate the well-known Proportional Dynamic Consensus for Open Multi-Agent Systems and we characterize the stability properties of the resulting Open Proportional Dynamic Consensus algorithm. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Stochastic String Stability of Vehicle Platoons via Cooperative Adaptive Cruise Control with Lossy Communication

Authors: Francesco Acciani, Paolo Frasca, Geert Heijenk, Anton Stoorvogel

Abstract: This paper is about obtaining stable vehicle platooning by using Cooperative Adaptive Cruise Control when the communication is unreliable and suffers from message losses. We model communication losses as independent random events and we propose an original design for the cooperative controller, which mitigates the effect of losses. This objective is obtained by a switching controller that has a tw… ▽ More This paper is about obtaining stable vehicle platooning by using Cooperative Adaptive Cruise Control when the communication is unreliable and suffers from message losses. We model communication losses as independent random events and we propose an original design for the cooperative controller, which mitigates the effect of losses. This objective is obtained by a switching controller that has a twofold objective: on the one hand, it promotes both plant stability and string stability of the average error dynamics by an $H_infty$ approach, and on the other hand it minimizes the variance around the average. We show by simulations that the proposed controller is able to compensate even for high probability of losses. △ Less

Submitted 12 May, 2019; originally announced May 2019.

Comments: 10 pages, 7 figures; submitted to journal

Functional target controllability of networks: structural properties and efficient algorithms

Authors: Christian Commault, Jacob van der Woude, Paolo Frasca

Abstract: In this paper we consider the problem of controlling a limited number of target nodes of a network. Equivalently, we can see this problem as controlling the target variables of a structured system, where the state variables of the system are associated to the nodes of the network. We deal with this problem from a different point of view as compared to most recent literature. Indeed, instead of con… ▽ More In this paper we consider the problem of controlling a limited number of target nodes of a network. Equivalently, we can see this problem as controlling the target variables of a structured system, where the state variables of the system are associated to the nodes of the network. We deal with this problem from a different point of view as compared to most recent literature. Indeed, instead of considering controllability in the Kalman sense, that is, as the ability to drive the target states to a desired value, we consider the stronger requirement of driving the target variables as time functions. The latter notion is called functional target controllability. We think that restricting the controllability requirement to a limited set of important variables justifies using a more accurate notion of controllability for these variables. Remarkably, the notion of functional controllability allows formulating very simple graphical conditions for target controllability in the spirit of the structural approach to controllability. The functional approach enables us, moreover, to determine the smallest set of steering nodes that need to be actuated to ensure target controllability, where these steering nodes are constrained to belong to a given set. We show that such a smallest set can be found in polynomial time. We are also able to classify the possible actuated variables in terms of their importance with respect to the functional target controllability problem. △ Less

Submitted 28 August, 2019; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: 10 pages, 4 diagrams; to appear in the IEEE Transactions on Network Science and Engineering

The closed loop between opinion formation and personalised recommendations

Authors: Wilbert Samuel Rossi, Jan Willem Polderman, Paolo Frasca

Abstract: In online platforms, recommender systems are responsible for directing users to relevant contents. In order to enhance the users' engagement, recommender systems adapt their output to the reactions of the users, who are in turn affected by the recommended contents. In this work, we study a tractable analytical model of a user that interacts with an online news aggregator, with the purpose of makin… ▽ More In online platforms, recommender systems are responsible for directing users to relevant contents. In order to enhance the users' engagement, recommender systems adapt their output to the reactions of the users, who are in turn affected by the recommended contents. In this work, we study a tractable analytical model of a user that interacts with an online news aggregator, with the purpose of making explicit the feedback loop between the evolution of the user's opinion and the personalised recommendation of contents. More specifically, we assume that the user is endowed with a scalar opinion about a certain issue and seeks news about it on a news aggregator: this opinion is influenced by all received news, which are characterized by a binary position on the issue at hand. The user is affected by a confirmation bias, that is, a preference for news that confirm her current opinion. The news aggregator recommends items with the goal of maximizing the number of user's clicks (as a measure of her engagement): in order to fulfil its goal, the recommender has to compromise between exploring the user's preferences and exploiting what it has learned so far. After defining suitable metrics for the effectiveness of the recommender systems (such as the click-through rate) and for its impact on the opinion, we perform both extensive numerical simulations and a mathematical analysis of the model. We find that personalised recommendations markedly affect the evolution of opinions and favor the emergence of more extreme ones: the intensity of these effects is inherently related to the effectiveness of the recommender. We also show that by tuning the amount of randomness in the recommendation algorithm, one can seek a balance between the effectiveness of the recommendation system and its impact on the opinions. △ Less

Submitted 9 September, 2019; v1 submitted 12 September, 2018; originally announced September 2018.

Comments: 21 pages, 13 figures, 1 table. To be submitted

Effects of Network Communities and Topology Changes in Message-Passing Computation of Harmonic Influence in Social Networks

Authors: Wilbert Samuel Rossi, Paolo Frasca

Abstract: The harmonic influence is a measure of the importance of nodes in social networks, which can be approximately computed by a distributed message-passing algorithm. In this extended abstract we look at two open questions about this algorithm. How does it perform on real social networks, which have complex topologies structured in communities? How does it perform when the network topology changes whi… ▽ More The harmonic influence is a measure of the importance of nodes in social networks, which can be approximately computed by a distributed message-passing algorithm. In this extended abstract we look at two open questions about this algorithm. How does it perform on real social networks, which have complex topologies structured in communities? How does it perform when the network topology changes while the algorithm is running? We answer these two questions by numerical experiments on a Facebook ego network and on synthetic networks, respectively. We find out that communities can introduce artefacts in the final approximation and cause the algorithm to overestimate the importance of "local leaders" within communities. We also observe that the algorithm is able to adapt smoothly to changes in the topology. △ Less

Submitted 19 April, 2018; originally announced April 2018.

Comments: 4 pages, 7 figures, submitted as conference extended abstract

Asynchronous opinion dynamics on the $k$-nearest-neighbors graph

Authors: Wilbert Samuel Rossi, Paolo Frasca

Abstract: This paper is about a new model of opinion dynamics with opinion-dependent connectivity. We assume that agents update their opinions asynchronously and that each agent's new opinion depends on the opinions of the $k$ agents that are closest to it. We show that the resulting dynamics is substantially different from comparable models in the literature, such as bounded-confidence models. We study the… ▽ More This paper is about a new model of opinion dynamics with opinion-dependent connectivity. We assume that agents update their opinions asynchronously and that each agent's new opinion depends on the opinions of the $k$ agents that are closest to it. We show that the resulting dynamics is substantially different from comparable models in the literature, such as bounded-confidence models. We study the equilibria of the dynamics, observing that they are robust to perturbations caused by the introduction of new agents. We also prove that if the number of agents $n$ is smaller than $2k$, the dynamics converge to consensus. This condition is only sufficient. △ Less

Submitted 25 July, 2018; v1 submitted 20 March, 2018; originally announced March 2018.

Comments: 17 pages, 4 figures, (to be) presented at the 57th IEEE Conference on Decision and Control, 2018

Distributed estimation from relative measurements of heterogeneous and uncertain quality

Authors: Chiara Ravazzi, Nelson P. K. Chan, Paolo Frasca

Abstract: This paper studies the problem of estimation from relative measurements in a graph, in which a vector indexed over the nodes has to be reconstructed from pairwise measurements of differences between its components associated to nodes connected by an edge. In order to model heterogeneity and uncertainty of the measurements, we assume them to be affected by additive noise distributed according to a… ▽ More This paper studies the problem of estimation from relative measurements in a graph, in which a vector indexed over the nodes has to be reconstructed from pairwise measurements of differences between its components associated to nodes connected by an edge. In order to model heterogeneity and uncertainty of the measurements, we assume them to be affected by additive noise distributed according to a Gaussian mixture. In this original setup, we formulate the problem of computing the Maximum-Likelihood (ML) estimates and we design two novel algorithms, based on Least Squares regression and Expectation-Maximization (EM). The first algorithm (LS- EM) is centralized and performs the estimation from relative measurements, the soft classification of the measurements, and the estimation of the noise parameters. The second algorithm (Distributed LS-EM) is distributed and performs estimation and soft classification of the measurements, but requires the knowledge of the noise parameters. We provide rigorous proofs of convergence of both algorithms and we present numerical experiments to evaluate and compare their performance with classical solutions. The experiments show the robustness of the proposed methods against different kinds of noise and, for the Distributed LS-EM, against errors in the knowledge of noise parameters. △ Less

Submitted 26 July, 2018; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: Submitted to IEEE transactions

Note on "Average resistance of toroidal graphs" by Rossi, Frasca and Fagnani

Authors: Wilbert Samuel Rossi, Paolo Frasca, Fabio Fagnani

Abstract: In our recent paper W.S. Rossi, P. Frasca and F. Fagnani, "Average resistance of toroidal graphs", SIAM Journal on Control and Optimization, 53(4):2541--2557, 2015, we studied how the average resistances of $d$-dimensional toroidal grids depend on the graph topology and on the dimension of the graph. Our results were based on the connection between resistance and Laplacian eigenvalues. In this not… ▽ More In our recent paper W.S. Rossi, P. Frasca and F. Fagnani, "Average resistance of toroidal graphs", SIAM Journal on Control and Optimization, 53(4):2541--2557, 2015, we studied how the average resistances of $d$-dimensional toroidal grids depend on the graph topology and on the dimension of the graph. Our results were based on the connection between resistance and Laplacian eigenvalues. In this note, we contextualize our work in the body of literature about random walks on graphs. Indeed, the average effective resistance of the $d$-dimensional toroidal grid is proportional to the mean hitting time of the simple random walk on that grid. If $d\geq3 $, then the average resistance can be bounded uniformly in the number of nodes and its value is of order $1/d$ for large $d$. △ Less

Submitted 1 February, 2017; originally announced February 2017.

Comments: 4 pages

The Observability Radius of Networks

Authors: Gianluca Bianchin, Paolo Frasca, Andrea Gasparri, Fabio Pasqualetti

Abstract: This paper studies the observability radius of network systems, which measures the robustness of a network to perturbations of the edges. We consider linear networks, where the dynamics are described by a weighted adjacency matrix, and dedicated sensors are positioned at a subset of nodes. We allow for perturbations of certain edge weights, with the objective of preventing observability of some mo… ▽ More This paper studies the observability radius of network systems, which measures the robustness of a network to perturbations of the edges. We consider linear networks, where the dynamics are described by a weighted adjacency matrix, and dedicated sensors are positioned at a subset of nodes. We allow for perturbations of certain edge weights, with the objective of preventing observability of some modes of the network dynamics. To comply with the network setting, our work considers perturbations with a desired sparsity structure, thus extending the classic literature on the observability radius of linear systems. The paper proposes two sets of results. First, we propose an optimization framework to determine a perturbation with smallest Frobenius norm that renders a desired mode unobservable from the existing sensor nodes. Second, we study the expected observability radius of networks with given structure and random edge weights. We provide fundamental robustness bounds dependent on the connectivity properties of the network and we analytically characterize optimal perturbations of line and star networks, showing that line networks are inherently more robust than star networks. △ Less

Submitted 19 December, 2016; originally announced December 2016.

Comments: 8 pages, 3 figures

The harmonic influence in social networks and its distributed computation by message passing

Authors: Wilbert Samuel Rossi, Paolo Frasca

Abstract: In this paper we elaborate upon a measure of node influence in social networks, which was recently proposed by Vassio et al., IEEE Trans. Control Netw. Syst., 2014. This measure quantifies the ability of the node to sway the average opinion of the network. Following the approach by Vassio et al., we describe and study a distributed message passing algorithm that aims to compute the nodes' influenc… ▽ More In this paper we elaborate upon a measure of node influence in social networks, which was recently proposed by Vassio et al., IEEE Trans. Control Netw. Syst., 2014. This measure quantifies the ability of the node to sway the average opinion of the network. Following the approach by Vassio et al., we describe and study a distributed message passing algorithm that aims to compute the nodes' influence. The algorithm is inspired by an analogy between potentials in electrical networks and opinions in social networks. If the graph is a tree, then the algorithm computes the nodes' influence in a number of steps equal to the diameter of the graph. On general graphs, the algorithm converges asymptotically to a meaningful approximation of the nodes' influence. In this paper we detail the proof of convergence, which greatly extends previous results in the literature, and we provide simulations that illustrate the usefulness of the returned approximation. △ Less

Submitted 9 November, 2016; originally announced November 2016.

Comments: 40 pages, 18 figures, submitted

Consensus and disagreement: the role of quantized behaviours in opinion dynamics

Authors: Francesca Ceragioli, Paolo Frasca

Abstract: This paper deals with continuous-time opinion dynamics that feature the interplay of continuous opinions and discrete behaviours. In our model, the opinion of one individual is only influenced by the behaviours of fellow individuals. The key technical difficulty in the study of these dynamics is that the right-hand sides of the equations are discontinuous and thus their solutions must be intended… ▽ More This paper deals with continuous-time opinion dynamics that feature the interplay of continuous opinions and discrete behaviours. In our model, the opinion of one individual is only influenced by the behaviours of fellow individuals. The key technical difficulty in the study of these dynamics is that the right-hand sides of the equations are discontinuous and thus their solutions must be intended in some generalized sense: in our analysis, we consider both Carathéodory and Krasowskii solutions. We first prove existence and completeness of Carathéodory solutions from every initial condition and we highlight a pathological behaviour of Carathéodory solutions, which can converge to points that are not (Carathéodory) equilibria. Notably, such points can be arbitrarily far from consensus and indeed simulations show that convergence to non-consensus configurations is very common. In order to cope with these pathological attractors, we then study Krasowskii solutions. We give an estimate of the asymptotic distance of all Krasowskii solutions from consensus and we prove its tightness via an example: this estimate is quadratic in the number of agents, implying that quantization can drastically destroy consensus. However, we are able to prove convergence to consensus in some special cases, namely when the communication among the individuals is described by either a complete or a complete bipartite graph. △ Less

Submitted 6 July, 2016; originally announced July 2016.

Comments: Submitted for journal publication; preliminary incomplete version available in the Proceedings of the European Control Conference 2015

MSC Class: 34A36; 93A15; 93C99

Optimal one-dimensional coverage by unreliable sensors

Authors: Paolo Frasca, Federica Garin, Balazs Gerencser, Julien M. Hendrickx

Abstract: This paper regards the problem of optimally placing unreliable sensors in a one-dimensional environment. We assume that sensors can fail with a certain probability and we minimize the expected maximum distance from any point in the environment to the closest active sensor. We provide a computational method to find the optimal placement and we estimate the relative quality of equispaced and random… ▽ More This paper regards the problem of optimally placing unreliable sensors in a one-dimensional environment. We assume that sensors can fail with a certain probability and we minimize the expected maximum distance from any point in the environment to the closest active sensor. We provide a computational method to find the optimal placement and we estimate the relative quality of equispaced and random placements. We prove that the former is asymptotically equivalent to the optimal placement when the number of sensors goes to infinity, with a cost ratio converging to 1, while the cost of the latter remains strictly larger. △ Less

Submitted 14 November, 2014; v1 submitted 30 April, 2014; originally announced April 2014.

Comments: 21 pages 2 figures

MSC Class: 60K30; 90B18; 68M10; 49N99; 68R01

Message passing optimization of Harmonic Influence Centrality

Authors: Luca Vassio, Fabio Fagnani, Paolo Frasca, Asuman Ozdaglar

Abstract: This paper proposes a new measure of node centrality in social networks, the Harmonic Influence Centrality, which emerges naturally in the study of social influence over networks. Using an intuitive analogy between social and electrical networks, we introduce a distributed message passing algorithm to compute the Harmonic Influence Centrality of each node. Although its design is based on theoretic… ▽ More This paper proposes a new measure of node centrality in social networks, the Harmonic Influence Centrality, which emerges naturally in the study of social influence over networks. Using an intuitive analogy between social and electrical networks, we introduce a distributed message passing algorithm to compute the Harmonic Influence Centrality of each node. Although its design is based on theoretical results which assume the network to have no cycle, the algorithm can also be successfully applied on general graphs. △ Less

Submitted 15 January, 2014; v1 submitted 30 September, 2013; originally announced October 2013.

Comments: 11 pages; 10 figures; to appear as a journal publication

Average resistance of toroidal graphs

Authors: Wilbert Samuel Rossi, Paolo Frasca, Fabio Fagnani

Abstract: The average effective resistance of a graph is a relevant performance index in many applications, including distributed estimation and control of network systems. In this paper, we study how the average resistance depends on the graph topology and specifically on the dimension of the graph. We concentrate on $d$-dimensional toroidal grids and we exploit the connection between resistance and Laplac… ▽ More The average effective resistance of a graph is a relevant performance index in many applications, including distributed estimation and control of network systems. In this paper, we study how the average resistance depends on the graph topology and specifically on the dimension of the graph. We concentrate on $d$-dimensional toroidal grids and we exploit the connection between resistance and Laplacian eigenvalues. Our analysis provides tight estimates of the average resistance, which are key to study its asymptotic behavior when the number of nodes grows to infinity. In dimension two, the average resistance diverges: in this case, we are able to capture its rate of growth when the sides of the grid grow at different rates. In higher dimensions, the average resistance is bounded uniformly in the number of nodes: in this case, we conjecture that its value is of order $1/d$ for large $d$. We prove this fact for hypercubes and when the side lengths go to infinity. △ Less

Submitted 19 June, 2015; v1 submitted 9 September, 2013; originally announced September 2013.

Comments: 24 pages, 6 figures, to appear in SIAM Journal on Control and Optimization (SICON)

Ergodic Randomized Algorithms and Dynamics over Networks

Authors: Chiara Ravazzi, Paolo Frasca, Roberto Tempo, Hideaki Ishii

Abstract: Algorithms and dynamics over networks often involve randomization, and randomization may result in oscillating dynamics which fail to converge in a deterministic sense. In this paper, we observe this undesired feature in three applications, in which the dynamics is the randomized asynchronous counterpart of a well-behaved synchronous one. These three applications are network localization, PageRank… ▽ More Algorithms and dynamics over networks often involve randomization, and randomization may result in oscillating dynamics which fail to converge in a deterministic sense. In this paper, we observe this undesired feature in three applications, in which the dynamics is the randomized asynchronous counterpart of a well-behaved synchronous one. These three applications are network localization, PageRank computation, and opinion dynamics. Motivated by their formal similarity, we show the following general fact, under the assumptions of independence across time and linearities of the updates: if the expected dynamics is stable and converges to the same limit of the original synchronous dynamics, then the oscillations are ergodic and the desired limit can be locally recovered via time-averaging. △ Less

Submitted 16 December, 2013; v1 submitted 5 September, 2013; originally announced September 2013.

Comments: 11 pages; submitted for publication. revised version with fixed technical flaw and updated references

Gossips and Prejudices: Ergodic Randomized Dynamics in Social Networks

Authors: Paolo Frasca, Chiara Ravazzi, Roberto Tempo, Hideaki Ishii

Abstract: In this paper we study a novel model of opinion dynamics in social networks, which has two main features. First, agents asynchronously interact in pairs, and these pairs are chosen according to a random process. We refer to this communication model as "gossi**". Second, agents are not completely open-minded, but instead take into account their initial opinions, which may be thought of as their "… ▽ More In this paper we study a novel model of opinion dynamics in social networks, which has two main features. First, agents asynchronously interact in pairs, and these pairs are chosen according to a random process. We refer to this communication model as "gossi**". Second, agents are not completely open-minded, but instead take into account their initial opinions, which may be thought of as their "prejudices". In the literature, such agents are often called "stubborn". We show that the opinions of the agents fail to converge, but persistently undergo ergodic oscillations, which asymptotically concentrate around a mean distribution of opinions. This mean value is exactly the limit of the synchronous dynamics of the expected opinions. △ Less

Submitted 8 April, 2013; originally announced April 2013.

Comments: submitted for publication

Limited benefit of cooperation in distributed relative localization

Authors: Wilbert Samuel Rossi, Paolo Frasca, Fabio Fagnani

Abstract: Important applications in robotic and sensor networks require distributed algorithms to solve the so-called relative localization problem: a node-indexed vector has to be reconstructed from measurements of differences between neighbor nodes. In a recent note, we have studied the estimation error of a popular gradient descent algorithm showing that the mean square error has a minimum at a finite ti… ▽ More Important applications in robotic and sensor networks require distributed algorithms to solve the so-called relative localization problem: a node-indexed vector has to be reconstructed from measurements of differences between neighbor nodes. In a recent note, we have studied the estimation error of a popular gradient descent algorithm showing that the mean square error has a minimum at a finite time, after which the performance worsens. This paper proposes a suitable modification of this algorithm incorporating more realistic "a priori" information on the position. The new algorithm presents a performance monotonically decreasing to the optimal one. Furthermore, we show that the optimal performance is approximated, up to a 1 + \eps factor, within a time which is independent of the graph and of the number of nodes. This convergence time is very much related to the minimum exhibited by the previous algorithm and both lead to the following conclusion: in the presence of noisy data, cooperation is only useful till a certain limit. △ Less

Submitted 25 March, 2013; originally announced March 2013.

Comments: 11 pages, 2 figures, submitted to conference

Almost sure convergence of a randomized algorithm for relative localization in sensor networks

Authors: Chiara Ravazzi, Paolo Frasca, Roberto Tempo, Hideaki Ishii

Abstract: This paper regards the relative localization problem in sensor networks. We study a randomized algorithm, which is based on input-driven consensus dynamics and involves pairwise "gossip" communications and updates. Due to the randomness of the updates, the state of this algorithm ergodically oscillates around a limit value. Exploiting the ergodicity of the dynamics, we show that the time-average o… ▽ More This paper regards the relative localization problem in sensor networks. We study a randomized algorithm, which is based on input-driven consensus dynamics and involves pairwise "gossip" communications and updates. Due to the randomness of the updates, the state of this algorithm ergodically oscillates around a limit value. Exploiting the ergodicity of the dynamics, we show that the time-average of the state almost surely converges to the least-squares solution of the localization problem. Remarkably, the computation of the time-average does not require the sensors to share any common clock. Hence, the proposed algorithm is fully distributed and asynchronous. △ Less

Submitted 12 March, 2013; originally announced March 2013.

Comments: 2 figures; submitted to conference

Robust self-triggered coordination with ternary controllers

Authors: Claudio De Persis, Paolo Frasca

Abstract: This paper regards coordination of networked systems, which is studied in the framework of hybrid dynamical systems. We design a coordination scheme which combines the use of ternary controllers with a self-triggered communication policy. The communication policy requires the agents to collect, at each sampling time, relative measurements of their neighbors' states: the collected information is th… ▽ More This paper regards coordination of networked systems, which is studied in the framework of hybrid dynamical systems. We design a coordination scheme which combines the use of ternary controllers with a self-triggered communication policy. The communication policy requires the agents to collect, at each sampling time, relative measurements of their neighbors' states: the collected information is then used to update the control and determine the following sampling time. We prove that the proposed scheme ensures finite-time convergence to a neighborhood of a consensus state. We then study the robustness of the proposed self-triggered coordination system with respect to skews in the agents' local clocks, to delays, and to limited precision in communication. Furthermore, we present two significant variations of our scheme. First, we design a time-varying controller which asymptotically drives the system to consensus. Second, we adapt our framework to a communication model in which an agent does not poll all its neighbors simultaneously, but single neighbors instead. This communication policy actually leads to a self-triggered "gossip" coordination system. △ Less

Submitted 31 May, 2012; originally announced May 2012.

Comments: 13 pages (twocolumn format), 4 figures. Submitted for publication

On the mean square error of randomized averaging algorithms

Authors: Paolo Frasca, Julien M. Hendrickx

Abstract: This paper regards randomized discrete-time consensus systems that preserve the average "on average". As a main result, we provide an upper bound on the mean square deviation of the consensus value from the initial average. Then, we apply our result to systems where few or weakly correlated interactions take place: these assumptions cover several algorithms proposed in the literature. For such sys… ▽ More This paper regards randomized discrete-time consensus systems that preserve the average "on average". As a main result, we provide an upper bound on the mean square deviation of the consensus value from the initial average. Then, we apply our result to systems where few or weakly correlated interactions take place: these assumptions cover several algorithms proposed in the literature. For such systems we show that, when the network size grows, the deviation tends to zero, and the speed of this decay is not slower than the inverse of the size. Our results are based on a new approach, which is unrelated to the convergence properties of the system. △ Less

Submitted 18 April, 2013; v1 submitted 19 November, 2011; originally announced November 2011.

Comments: 11 pages. to appear as a journal publication

Continuous-time quantized consensus: convergence of Krasowskii solutions

Authors: Paolo Frasca

Abstract: This note studies a network of agents having continuous-time dynamics with quantized interactions and time-varying directed topology. Due to the discontinuity of the dynamics, solutions of the resulting ODE system are intended in the sense of Krasovskii. A limit connectivity graph is defined, which encodes persistent interactions between nodes: if such graph has a globally reachable node, Krasovsk… ▽ More This note studies a network of agents having continuous-time dynamics with quantized interactions and time-varying directed topology. Due to the discontinuity of the dynamics, solutions of the resulting ODE system are intended in the sense of Krasovskii. A limit connectivity graph is defined, which encodes persistent interactions between nodes: if such graph has a globally reachable node, Krasovskii solutions reach consensus (up to the quantizer precision) after a finite time. Under the additional assumption of a time-invariant topology, the convergence time is upper bounded by a quantity which depends on the network size and the quantizer precision. It is observed that the convergence time can be very large for solutions which stay on a discontinuity surface. △ Less

Submitted 17 November, 2011; v1 submitted 20 July, 2011; originally announced July 2011.

Comments: 12 pages, 1 figure; to appear. This version (v3) is a minor revision of v2

The asymptotical error of broadcast gossip averaging algorithms

Authors: Paolo Frasca, Fabio Fagnani

Abstract: In problems of estimation and control which involve a network, efficient distributed computation of averages is a key issue. This paper presents theoretical and simulation results about the accumulation of errors during the computation of averages by means of iterative "broadcast gossip" algorithms. Using martingale theory, we prove that the expectation of the accumulated error can be bounded from… ▽ More In problems of estimation and control which involve a network, efficient distributed computation of averages is a key issue. This paper presents theoretical and simulation results about the accumulation of errors during the computation of averages by means of iterative "broadcast gossip" algorithms. Using martingale theory, we prove that the expectation of the accumulated error can be bounded from above by a quantity which only depends on the mixing parameter of the algorithm and on few properties of the network: its size, its maximum degree and its spectral gap. Both analytical results and computer simulations show that in several network topologies of applicative interest the accumulated error goes to zero as the size of the network grows large. △ Less

Submitted 15 December, 2010; originally announced December 2010.

Comments: 10 pages, 3 figures. Based on a draft submitted to IFACWC2011

MSC Class: 60G42; 93A15

Existence and approximation of probability measure solutions to models of collective behaviors

Authors: Andrea Tosin, Paolo Frasca

Abstract: In this paper we consider first order differential models of collective behaviors of groups of agents based on the mass conservation equation. Models are formulated taking the spatial distribution of the agents as the main unknown, expressed in terms of a probability measure evolving in time. We develop an existence and approximation theory of the solutions to such models and we show that some rec… ▽ More In this paper we consider first order differential models of collective behaviors of groups of agents based on the mass conservation equation. Models are formulated taking the spatial distribution of the agents as the main unknown, expressed in terms of a probability measure evolving in time. We develop an existence and approximation theory of the solutions to such models and we show that some recently proposed models of crowd and swarm dynamics fit our theoretic paradigm. △ Less

Submitted 10 December, 2010; originally announced December 2010.

Comments: 31 pages, 1 figure

MSC Class: 35L65; 35Q70; 35Q91

Journal ref: Netw. Heterog. Media, 6(3):561-596, 2011

Discrete Partitioning and Coverage Control for Gossi** Robots

Authors: Joseph W. Durham, Ruggero Carli, Paolo Frasca, Francesco Bullo

Abstract: We propose distributed algorithms to automatically deploy a team of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary non-convex environments, we represent them as graphs. Our partitioning and coverage algorithm requires only short-range, unreliable pairwise "gossip" communication. The algorithm has two components: (1) a motion protocol to ensure that… ▽ More We propose distributed algorithms to automatically deploy a team of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary non-convex environments, we represent them as graphs. Our partitioning and coverage algorithm requires only short-range, unreliable pairwise "gossip" communication. The algorithm has two components: (1) a motion protocol to ensure that neighboring robots communicate at least sporadically, and (2) a pairwise partitioning rule to update territory ownership when two robots communicate. By studying an appropriate dynamical system on the space of partitions of the graph vertices, we prove that territory ownership converges to a pairwise-optimal partition in finite time. This new equilibrium set represents improved performance over common Lloyd-type algorithms. Additionally, we detail how our algorithm scales well for large teams in large environments and how the computation can run in anytime with limited resources. Finally, we report on large-scale simulations in complex environments and hardware experiments using the Player/Stage robot control system. △ Less

Submitted 26 September, 2011; v1 submitted 8 November, 2010; originally announced November 2010.

Comments: Accepted to IEEE TRO. 14 double-column pages, 10 figures. v2 is a thorough revision of v1, including new algorithms and revised mathematical and simulation results

Continuous-time Discontinuous Equations in Bounded Confidence Opinion Dynamics

Authors: Francesca Ceragioli, Paolo Frasca

Abstract: This report studies a continuous-time version of the well-known Hegselmann-Krause model of opinion dynamics with bounded confidence. As the equations of this model have discontinuous right-hand side, we study their Krasovskii solutions. We present results about existence and completeness of solutions, and asymptotical convergence to equilibria featuring a "clusterization" of opinions. The robustne… ▽ More This report studies a continuous-time version of the well-known Hegselmann-Krause model of opinion dynamics with bounded confidence. As the equations of this model have discontinuous right-hand side, we study their Krasovskii solutions. We present results about existence and completeness of solutions, and asymptotical convergence to equilibria featuring a "clusterization" of opinions. The robustness of such equilibria to small perturbations is also studied. △ Less

Submitted 17 November, 2011; v1 submitted 1 October, 2010; originally announced October 2010.

Comments: 16 pages, no figures - v4: revised proof of Theorem 2

Broadcast gossip averaging algorithms: interference and asymptotical error in large networks

Authors: Paolo Frasca, Fabio Fagnani

Abstract: In this paper we study two related iterative randomized algorithms for distributed computation of averages. The first one is the recently proposed Broadcast Gossip Algorithm, in which at each iteration one randomly selected node broadcasts its own state to its neighbors. The second algorithm is a novel de-synchronized version of the previous one, in which at each iteration every node is allowed to… ▽ More In this paper we study two related iterative randomized algorithms for distributed computation of averages. The first one is the recently proposed Broadcast Gossip Algorithm, in which at each iteration one randomly selected node broadcasts its own state to its neighbors. The second algorithm is a novel de-synchronized version of the previous one, in which at each iteration every node is allowed to broadcast, with a given probability: hence this algorithm is affected by interference among messages. Both algorithms are proved to converge, and their performance is evaluated in terms of rate of convergence and asymptotical error: focusing on the behavior for large networks, we highlight the role of topology and design parameters on the performance. Namely, we show that on fully-connected graphs the rate is bounded away from one, whereas the asymptotical error is bounded away from zero. On the contrary, on a wide class of locally-connected graphs, the rate goes to one and the asymptotical error goes to zero, as the size of the network grows larger. △ Less

Submitted 7 May, 2010; originally announced May 2010.

Comments: 22 pages, 6 figures. Submitted

Discontinuities and hysteresis in quantized average consensus

Authors: Francesca Ceragioli, Claudio De Persis, Paolo Frasca

Abstract: We consider continuous-time average consensus dynamics in which the agents' states are communicated through uniform quantizers. Solutions to the resulting system are defined in the Krasowskii sense and are proven to converge to conditions of "practical consensus". To cope with undesired chattering phenomena we introduce a hysteretic quantizer, and we study the convergence properties of the resulti… ▽ More We consider continuous-time average consensus dynamics in which the agents' states are communicated through uniform quantizers. Solutions to the resulting system are defined in the Krasowskii sense and are proven to converge to conditions of "practical consensus". To cope with undesired chattering phenomena we introduce a hysteretic quantizer, and we study the convergence properties of the resulting dynamics by a hybrid system approach. △ Less

Submitted 14 March, 2011; v1 submitted 15 January, 2010; originally announced January 2010.

Comments: 26 pages, 7 figures. Accepted for publication in Automatica. v4 is minor revision of v3

MSC Class: 93C30 (Primary); 93D15; 68R10 (Secondary)