-
A Weighted-Median Model of Opinion Dynamics on Networks
Authors:
Lasse Mohr,
Poul G. Hjorth,
Mason A. Porter
Abstract:
Social interactions influence people's opinions. In some situations, these interactions result in a consensus opinion; in others, they result in opinion fragmentation and the formation of different opinion groups in the form of "echo chambers". Consider a social network of individuals, who hold continuous-valued scalar opinions and change their opinions when they interact with each other. In such…
▽ More
Social interactions influence people's opinions. In some situations, these interactions result in a consensus opinion; in others, they result in opinion fragmentation and the formation of different opinion groups in the form of "echo chambers". Consider a social network of individuals, who hold continuous-valued scalar opinions and change their opinions when they interact with each other. In such an opinion model, it is common for an opinion-update rule to depend on the mean opinion of interacting individuals. However, we consider an alternative update rule - which may be more realistic in some situations - that instead depends on a weighted median opinion of interacting individuals. Through numerical simulations of our opinion model, we investigate how the limit opinion distribution depends on network structure. For configuration-model networks, we also derive a mean-field approximation for the asymptotic dynamics of the opinion distribution when there are infinitely many individuals in a network.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Dynamical importance and network perturbations
Authors:
Ethan Young,
Mason A. Porter
Abstract:
The leading eigenvalue $λ$ of the adjacency matrix of a graph exerts much influence on the behavior of dynamical processes on that graph. It is thus relevant to relate notions of the importance (specifically, centrality measures) of network structures to $λ$ and its associated eigenvector. We study a previously derived measure of edge importance known as "dynamical importance", which estimates how…
▽ More
The leading eigenvalue $λ$ of the adjacency matrix of a graph exerts much influence on the behavior of dynamical processes on that graph. It is thus relevant to relate notions of the importance (specifically, centrality measures) of network structures to $λ$ and its associated eigenvector. We study a previously derived measure of edge importance known as "dynamical importance", which estimates how much $λ$ changes when one removes an edge from a graph or adds an edge to it. We examine the accuracy of this estimate for different network structures and compare it to the true change in $λ$ after an edge removal or edge addition. We then derive a first-order approximation of the change in the leading eigenvector. We also consider the effects of edge additions on Kuramoto dynamics on networks, and we express the Kuramoto order parameter in terms of dynamical importance. Through our analysis and computational experiments, we find that studying dynamical importance can improve understanding of the relationship between network perturbations and dynamical processes on networks.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
An "Opinion Reproduction Number" for Infodemics in a Bounded-Confidence Content-Spreading Process on Networks
Authors:
Heather Z. Brooks,
Mason A. Porter
Abstract:
We study the spreading dynamics of content on networks. To do this, we use a model in which content spreads through a bounded-confidence mechanism. In a bounded-confidence model (BCM) of opinion dynamics, the agents of a network have continuous-valued opinions, which they adjust when they interact with agents whose opinions are sufficiently close to theirs. The employed content-spread model introd…
▽ More
We study the spreading dynamics of content on networks. To do this, we use a model in which content spreads through a bounded-confidence mechanism. In a bounded-confidence model (BCM) of opinion dynamics, the agents of a network have continuous-valued opinions, which they adjust when they interact with agents whose opinions are sufficiently close to theirs. The employed content-spread model introduces a twist into BCMs by using bounded confidence for the content spread itself. To study the spread of content, we define an analogue of the basic reproduction number from disease dynamics that we call an \emph{opinion reproduction number}. A critical value of the opinion reproduction number indicates whether or not there is an ``infodemic'' (i.e., a large content-spreading cascade) of content that reflects a particular opinion. By determining this critical value, one can determine whether or not an opinion will die off or propagate widely as a cascade in a population of agents. Using configuration-model networks, we quantify the size and shape of content dissemination using a variety of summary statistics, and we illustrate how network structure and spreading model parameters affect these statistics. We find that content spreads most widely when the agents have large expected mean degree or large receptiveness to content. When the amount of content spread only slightly exceeds the critical opinion reproduction number (i.e., the infodemic threshold), there can be longer dissemination trees than when the expected mean degree or receptiveness is larger, even though the total number of content shares is smaller.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Bounded-Confidence Models of Opinion Dynamics with Neighborhood Effects
Authors:
Sanjukta Krishnagopal,
Mason A. Porter
Abstract:
As people's opinions change, their social networks typically coevolve with them. People are often more susceptible to influence by people with similar opinions than by people with dissimilar opinions. In a bounded-confidence model (BCM) of opinion dynamics, interacting individuals influence each other through dyadic influence if and only if their opinions are sufficiently similar to each other. We…
▽ More
As people's opinions change, their social networks typically coevolve with them. People are often more susceptible to influence by people with similar opinions than by people with dissimilar opinions. In a bounded-confidence model (BCM) of opinion dynamics, interacting individuals influence each other through dyadic influence if and only if their opinions are sufficiently similar to each other. We introduce `neighborhood BCMs' (NBCMs) that include both the usual dyadic influence and a transitive influence, which models the effect of friends of a friend when determining whether or not an interaction with a friend influences an individual. In this transitive influence, an individual's opinion is influenced by a neighbor when, on average, the opinions of the neighbor's neighbors are sufficiently similar to their own opinion. We formulate neighborhood Deffuant--Weisbuch (NDW) and neighborhood Hegselmann--Krause (NHK) BCMs. We simulate our NDW model on time-independent networks and observe interesting opinion states that cannot occur in an associated baseline DW model. We also simulate our NDW model on adaptive networks that coevolve with opinions by changing its structure through `transitive homophily'. An individual that breaks a tie to one of its neighbors and then rewires that tie to a new individual, with a preference for individuals with a mean neighbor opinion that is closer to that individual's opinion. We explore how the qualitative opinion dynamics and network properties of our time-independent and adaptive NDWM models change as we adjust the relative proportions of dyadic and transitive influence. Finally, we study a two-layer opinion--disease model in which we couple our NDW model with disease spread through a shared adaptive network that can change both on the opinion layer and on the disease layer and we examine how the opinion dynamics affect disease spread.
△ Less
Submitted 7 February, 2024;
originally announced February 2024.
-
Dynamical processes on metric networks
Authors:
Lucas Böttcher,
Mason A. Porter
Abstract:
The structure of a network has a major effect on dynamical processes on that network. Many studies of the interplay between network structure and dynamics have focused on models of phenomena such as disease spread, opinion formation and changes, coupled oscillators, and random walks. In parallel to these developments, there have been many studies of wave propagation and other spatially extended pr…
▽ More
The structure of a network has a major effect on dynamical processes on that network. Many studies of the interplay between network structure and dynamics have focused on models of phenomena such as disease spread, opinion formation and changes, coupled oscillators, and random walks. In parallel to these developments, there have been many studies of wave propagation and other spatially extended processes on networks. These latter studies consider metric networks, in which the edges are associated with real intervals. Metric networks give a mathematical framework to describe dynamical processes that include both temporal and spatial evolution of some quantity of interest -- such as the concentration of a diffusing substance or the amplitude of a wave -- by using edge-specific intervals that quantify distance information between nodes. Dynamical processes on metric networks often take the form of partial differential equations (PDEs). In this paper, we present a collection of techniques and paradigmatic linear PDEs that are useful to investigate the interplay between structure and dynamics in metric networks. We start by considering a time-independent Schrödinger equation. We then use both finite-difference and spectral approaches to study the Poisson, heat, and wave equations as paradigmatic examples of elliptic, parabolic, and hyperbolic PDE problems on metric networks. Our spectral approach is able to account for degenerate eigenmodes. In our numerical experiments, we consider metric networks with up to about $10^4$ nodes and about $10^4$ edges. A key contribution of our paper is to increase the accessibility of studying PDEs on metric networks. Software that implements our numerical approaches is available at https://gitlab.com/ComputationalScience/metric-networks.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
Oscillatory networks: Insights from piecewise-linear modeling
Authors:
Stephen Coombes,
Mustafa Sayli,
Rüdiger Thul,
Rachel Nicks,
Mason A Porter,
Yi Ming Lai
Abstract:
There is enormous interest -- both mathematically and in diverse applications -- in understanding the dynamics of coupled oscillator networks. The real-world motivation of such networks arises from studies of the brain, the heart, ecology, and more. It is common to describe the rich emergent behavior in these systems in terms of complex patterns of network activity that reflect both the connectivi…
▽ More
There is enormous interest -- both mathematically and in diverse applications -- in understanding the dynamics of coupled oscillator networks. The real-world motivation of such networks arises from studies of the brain, the heart, ecology, and more. It is common to describe the rich emergent behavior in these systems in terms of complex patterns of network activity that reflect both the connectivity and the nonlinear dynamics of the network components. Such behavior is often organized around phase-locked periodic states and their instabilities. However, the explicit calculation of periodic orbits in nonlinear systems (even in low dimensions) is notoriously hard, so network-level insights often require the numerical construction of some underlying periodic component. In this paper, we review powerful techniques for studying coupled oscillator networks. We discuss phase reductions, phase-amplitude reductions, and the master stability function for smooth dynamical systems. We then focus in particular on the augmentation of these methods to analyze piecewise-linear systems, for which one can readily construct periodic orbits. This yields useful insights into network behavior, but the cost is that one needs to study nonsmooth dynamical systems. The study of nonsmooth systems is well-developed when focusing on the interacting units (i.e., at the node level) of a system, and we give a detailed presentation of how to use \textit{saltation operators}, which can treat the propagation of perturbations through switching manifolds, to understand dynamics and bifurcations at the network level. We illustrate this merger of tools and techniques from network science and nonsmooth dynamical systems with applications to neural systems, cardiac systems, networks of electro-mechanical oscillators, and cooperation in cattle herds.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Harmonic and monogenic functions on toroidal domains
Authors:
Z. Ashtab,
J. Morais,
R. Michael Porter
Abstract:
A standard technique for producing monogenic functions is to apply the adjoint quaternionic Fueter operator to harmonic functions. We will show that this technique does not give a complete system in L2 of a solid torus, where toroidal harmonics appear in a natural way. One reason is that this index-increasing operator fails to produce monogenic functions with zero index. Another reason is that the…
▽ More
A standard technique for producing monogenic functions is to apply the adjoint quaternionic Fueter operator to harmonic functions. We will show that this technique does not give a complete system in L2 of a solid torus, where toroidal harmonics appear in a natural way. One reason is that this index-increasing operator fails to produce monogenic functions with zero index. Another reason is that the non-trivial topology of the torus requires taking into account a cohomology coefficient associated with monogenic functions, apparently not previously identified because it vanishes for simply connected domains. In this paper, we build a reverse-Appell basis of harmonic functions on the torus expressed in terms of classical toroidal harmonics. This means that the partial derivative of any element of the basis with respect to the axial variable is a constant multiple of another basis element with subscript increased by one. This special basis is used to construct respective bases in the real L2-Hilbert spaces of reduced quaternion and quaternion-valued monogenic functions on toroidal domains.
△ Less
Submitted 5 August, 2023;
originally announced August 2023.
-
Using mathematics to study how people influence each other's opinions
Authors:
Grace J. Li,
Jiajie Luo,
Kaiyan Peng,
Mason A. Porter
Abstract:
People sometimes change their opinions when they discuss things with other people. Researchers study mathematical models of opinions to explore how people influence each other through their social interactions. In today's digital world, these models can help us learn how to promote accurate information and reduce unwanted influence. In this article, we discuss a simple mathematical model that look…
▽ More
People sometimes change their opinions when they discuss things with other people. Researchers study mathematical models of opinions to explore how people influence each other through their social interactions. In today's digital world, these models can help us learn how to promote accurate information and reduce unwanted influence. In this article, we discuss a simple mathematical model that looks at opinion changes from social interactions. We briefly describe what opinion models can tell us and how researchers try to make them more realistic.
△ Less
Submitted 22 June, 2024; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Recurrence recovery in heterogeneous Fermi--Pasta--Ulam--Tsingou systems
Authors:
Zidu Li,
Mason A. Porter,
Bhaskar Choubey
Abstract:
The computational investigation of Fermi, Pasta, Ulam, and Tsingou of arrays of nonlinearly coupled oscillators has led to a wealth of studies in nonlinear dynamics. Most studies of oscillator arrays have considered homogeneous oscillators, even though there are inherent heterogeneities between {individual} oscillators in real-world arrays. Well-known FPUT phenomena, such as energy recurrence, can…
▽ More
The computational investigation of Fermi, Pasta, Ulam, and Tsingou of arrays of nonlinearly coupled oscillators has led to a wealth of studies in nonlinear dynamics. Most studies of oscillator arrays have considered homogeneous oscillators, even though there are inherent heterogeneities between {individual} oscillators in real-world arrays. Well-known FPUT phenomena, such as energy recurrence, can break down in such heterogeneous systems. In this paper, we present an approach -- the use of structured heterogeneities -- to recover recurrence in FPUT systems in the presence of oscillator heterogeneities. We examine oscillator variabilities in FPUT systems with cubic nonlinearities, and we demonstrate that centrosymmetry in oscillator arrays may be an important source of recurrence.
△ Less
Submitted 13 July, 2023; v1 submitted 28 March, 2023;
originally announced March 2023.
-
Bounded-Confidence Models of Opinion Dynamics with Adaptive Confidence Bounds
Authors:
Grace J. Li,
Jiajie Luo,
Mason A. Porter
Abstract:
People's opinions change with time as they interact with each other. In a bounded-confidence model (BCM) of opinion dynamics, individuals (which are represented by the nodes of a network) have continuous-valued opinions and are influenced by neighboring nodes whose opinions are sufficiently similar to theirs (i.e., are within a confidence bound). In this paper, we formulate and analyze discrete-ti…
▽ More
People's opinions change with time as they interact with each other. In a bounded-confidence model (BCM) of opinion dynamics, individuals (which are represented by the nodes of a network) have continuous-valued opinions and are influenced by neighboring nodes whose opinions are sufficiently similar to theirs (i.e., are within a confidence bound). In this paper, we formulate and analyze discrete-time BCMs with heterogeneous and adaptive confidence bounds. We introduce two new models: (1) a BCM with synchronous opinion updates that generalizes the Hegselmann--Krause (HK) model and (2) a BCM with asynchronous opinion updates that generalizes the Deffuant--Weisbuch (DW) model. We analytically and numerically explore our adaptive BCMs' limiting behaviors, including the confidence-bound dynamics, the formation of clusters of nodes with similar opinions, and the time evolution of an "effective graph", which is a time-dependent subgraph of a network with edges between nodes that {are currently receptive to each other.} For a variety of networks and a wide range of values of the parameters that control the increase and decrease of confidence bounds, we demonstrate numerically that our adaptive BCMs result in fewer major opinion clusters and longer convergence times than the baseline (i.e., nonadaptive) BCMs. We also show that our adaptive BCMs can have adjacent nodes that converge to the same opinion but are not {receptive to each other.} This qualitative behavior does not occur in the associated baseline BCMs.
△ Less
Submitted 3 May, 2024; v1 submitted 13 March, 2023;
originally announced March 2023.
-
Inference of interaction kernels in mean-field models of opinion dynamics
Authors:
Weiqi Chu,
Qin Li,
Mason A. Porter
Abstract:
In models of opinion dynamics, many parameters -- either in the form of constants or in the form of functions -- play a critical role in describing, calibrating, and forecasting how opinions change with time. When examining a model of opinion dynamics, it is beneficial to infer its parameters using empirical data. In this paper, we study an example of such an inference problem. We consider a mean-…
▽ More
In models of opinion dynamics, many parameters -- either in the form of constants or in the form of functions -- play a critical role in describing, calibrating, and forecasting how opinions change with time. When examining a model of opinion dynamics, it is beneficial to infer its parameters using empirical data. In this paper, we study an example of such an inference problem. We consider a mean-field bounded-confidence model with an unknown interaction kernel between individuals. This interaction kernel encodes how individuals with different opinions interact and affect each other's opinions. Because it is often difficult to quantitatively measure opinions as empirical data from observations or experiments, we assume that the available data takes the form of partial observations of a cumulative distribution function of opinions. We prove that certain measurements guarantee a precise and unique inference of the interaction kernel and propose a numerical method to reconstruct an interaction kernel from a limited number of data points. Our numerical results suggest that the error of the inferred interaction kernel decays exponentially as we strategically enlarge the data set.
△ Less
Submitted 26 October, 2023; v1 submitted 29 December, 2022;
originally announced December 2022.
-
Neumann problem on a torus
Authors:
Z. Ashtab,
J. Morais,
R. M. Porter
Abstract:
We consider the Dirichlet-to-Neumann map** and the Neumann problem for the Laplace operator on a torus, given in toroidal coordinates. The Dirichlet-to-Neumann map** is expressed with respect to series expansions in toroidal harmonics and thereby reduced to algebraic manipulations on the coefficients. A method for computing the numerical solutions of the corresponding Neumann problem is presen…
▽ More
We consider the Dirichlet-to-Neumann map** and the Neumann problem for the Laplace operator on a torus, given in toroidal coordinates. The Dirichlet-to-Neumann map** is expressed with respect to series expansions in toroidal harmonics and thereby reduced to algebraic manipulations on the coefficients. A method for computing the numerical solutions of the corresponding Neumann problem is presented, and numerical illustrations are provided. We combine the results for interior and exterior domains to solve the Neumann problem for a toroidal shell.
△ Less
Submitted 30 November, 2022;
originally announced December 2022.
-
Emergence of polarization in a sigmoidal bounded-confidence model of opinion dynamics
Authors:
Heather Z. Brooks,
Philip S. Chodrow,
Mason A. Porter
Abstract:
We study a nonlinear bounded-confidence model (BCM) of continuous-time opinion dynamics on networks with both persuadable individuals and zealots. The model is parameterized by a scalar $γ$, which controls the steepness of a smooth influence function. This influence function encodes the relative weights that nodes place on the opinions of other nodes. When $γ= 0$, this influence function recovers…
▽ More
We study a nonlinear bounded-confidence model (BCM) of continuous-time opinion dynamics on networks with both persuadable individuals and zealots. The model is parameterized by a scalar $γ$, which controls the steepness of a smooth influence function. This influence function encodes the relative weights that nodes place on the opinions of other nodes. When $γ= 0$, this influence function recovers Taylor's averaging model; when $γ\rightarrow \infty$, the influence function converges to that of a modified Hegselmann--Krause (HK) BCM. Unlike the classical HK model, however, our sigmoidal bounded-confidence model (SBCM) is smooth for any finite $γ$. We show that the set of steady states of our SBCM is qualitatively similar to that of the Taylor model when $γ$ is small and that the set of steady states approaches a subset of the set of steady states of a modified HK model as $γ\rightarrow \infty$. For several special graph topologies, we give analytical descriptions of important features of the space of steady states. A notable result is a closed-form relationship between the stability of a polarized state and the graph topology in a simple model of echo chambers in social networks. Because the influence function of our BCM is smooth, we are able to study it with linear stability analysis, which is difficult to employ with the usual discontinuous influence functions in BCMs.
△ Less
Submitted 29 July, 2023; v1 submitted 14 September, 2022;
originally announced September 2022.
-
Non-Markovian models of opinion dynamics on temporal networks
Authors:
Weiqi Chu,
Mason A. Porter
Abstract:
Traditional models of opinion dynamics, in which the nodes of a network change their opinions based on their interactions with neighboring nodes, consider how opinions evolve either on time-independent networks or on temporal networks with edges that follow Poisson statistics. Most such models are Markovian. However, in many real-life networks, interactions between individuals (and hence the edges…
▽ More
Traditional models of opinion dynamics, in which the nodes of a network change their opinions based on their interactions with neighboring nodes, consider how opinions evolve either on time-independent networks or on temporal networks with edges that follow Poisson statistics. Most such models are Markovian. However, in many real-life networks, interactions between individuals (and hence the edges of a network) follow non-Poisson processes and thus yield dynamics with memory-dependent effects. In this paper, we model opinion dynamics in which the entities of a temporal network interact and change their opinions via random social interactions. When the edges have non-Poisson interevent statistics, the corresponding opinion models are have non-Markovian dynamics. We derive an opinion model that is governed by an arbitrary waiting-time distribution (WTD) and illustrate a variety of induced opinion models from common WTDs (including Dirac delta distributions, exponential distributions, and heavy-tailed distributions). We analyze the convergence to consensus of these models and prove that homogeneous memory-dependent models of opinion dynamics in our framework always converge to the same steady state regardless of the WTD. We also conduct a numerical investigation of the effects of waiting-time distributions on both transient dynamics and steady states. We observe that models that are induced by heavy-tailed WTDs converge to a steady state more slowly than those with light tails (or with compact support) and that entities with larger waiting times exert a larger influence on the mean opinion at steady state.
△ Less
Submitted 10 March, 2023; v1 submitted 26 August, 2022;
originally announced August 2022.
-
A Majority-Vote Model On Multiplex Networks with Community Structure
Authors:
Kaiyan Peng,
Mason A. Porter
Abstract:
We investigate a majority-vote model on two-layer multiplex networks with community structure. In our majority-vote model, the edges on each layer encode one type of social relationship and an individual changes their opinion based on the majority opinions of their neighbors in each layer. To capture the fact that different relationships often have different levels of importance, we introduce a la…
▽ More
We investigate a majority-vote model on two-layer multiplex networks with community structure. In our majority-vote model, the edges on each layer encode one type of social relationship and an individual changes their opinion based on the majority opinions of their neighbors in each layer. To capture the fact that different relationships often have different levels of importance, we introduce a layer-preference parameter, which determines the probability of a node to adopt an opinion when the node's neighborhoods on the two layers have different majority opinions. We construct our networks so that each node is a member of one community on each layer, and we consider situations in which nodes tend to have more connections with nodes from the same community than with nodes from different communities. We study the influence of the layer-preference parameter, the intralayer communities, and interlayer membership correlation on the steady-state behavior of our model using both direct numerical simulations and a mean-field approximation. We find three different types of steady-state behavior: a fully-mixed state, consensus states, and polarized states. We demonstrate that a stronger interlayer community correlation makes polarized steady states reachable for wider ranges of the other model parameters. We also show that different values of the layer-preference parameter result in qualitatively different phase diagrams for the mean opinions at steady states.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
A Bounded-Confidence Model of Opinion Dynamics with Heterogeneous Node-Activity Levels
Authors:
Grace J. Li,
Mason A. Porter
Abstract:
Agent-based models of opinion dynamics allow one to examine the spread of opinions between entities and to study phenomena such as consensus, polarization, and fragmentation. By studying a model of opinion dynamics on a social network, one can explore the effects of network structure on these phenomena. In social networks, some individuals share their ideas and opinions more frequently than others…
▽ More
Agent-based models of opinion dynamics allow one to examine the spread of opinions between entities and to study phenomena such as consensus, polarization, and fragmentation. By studying a model of opinion dynamics on a social network, one can explore the effects of network structure on these phenomena. In social networks, some individuals share their ideas and opinions more frequently than others. These disparities can arise from heterogeneous sociabilities, heterogeneous activity levels, different prevalences to share opinions when engaging in a social-media platform, or something else. To examine the impact of such heterogeneities on opinion dynamics, we generalize the Deffuant--Weisbuch (DW) bounded-confidence model (BCM) of opinion dynamics by incorporating node weights. The node weights allow us to model agents with different probabilities of interacting. Using numerical simulations, we systematically investigate (using a variety of network structures and node-weight distributions) the effects of node weights, which we assign uniformly at random to the nodes. We demonstrate that introducing heterogeneous node weights results in longer convergence times and more opinion fragmentation than in a baseline DW model. The node weights in our BCM allow one to consider a variety of sociological scenarios in which agents have heterogeneous probabilities of interacting with other agents.
△ Less
Submitted 20 March, 2023; v1 submitted 19 June, 2022;
originally announced June 2022.
-
Persistent Homology for Resource Coverage: A Case Study of Access to Polling Sites
Authors:
Abigail Hickok,
Benjamin Jarman,
Michael Johnson,
Jiajie Luo,
Mason A. Porter
Abstract:
It is important to choose the geographical distributions of public resources in a fair and equitable manner. However, it is complicated to quantify the equity of such a distribution; important factors include distances to resource sites, availability of transportation, and ease of travel. We use persistent homology, which is a tool from topological data analysis, to study the effective availabilit…
▽ More
It is important to choose the geographical distributions of public resources in a fair and equitable manner. However, it is complicated to quantify the equity of such a distribution; important factors include distances to resource sites, availability of transportation, and ease of travel. We use persistent homology, which is a tool from topological data analysis, to study the effective availability and coverage of polling sites. The information from persistent homology allows us to infer holes in the distribution of polling sites. We analyze and compare the coverage of polling sites in Los Angeles County and five cities (Atlanta, Chicago, Jacksonville, New York City, and Salt Lake City), and we conclude that computation of persistent homology appears to be a reasonable approach to analyzing resource coverage.
△ Less
Submitted 11 August, 2023; v1 submitted 9 June, 2022;
originally announced June 2022.
-
A density description of a bounded-confidence model of opinion dynamics on hypergraphs
Authors:
Weiqi Chu,
Mason A. Porter
Abstract:
Social interactions often occur between three or more agents simultaneously. Examining opinion dynamics on hypergraphs allows one to study the effect of such polyadic interactions on the opinions of agents. In this paper, we consider a bounded-confidence model (BCM), in which opinions take continuous values and interacting agents comprise their opinions if they are close enough to each other. We s…
▽ More
Social interactions often occur between three or more agents simultaneously. Examining opinion dynamics on hypergraphs allows one to study the effect of such polyadic interactions on the opinions of agents. In this paper, we consider a bounded-confidence model (BCM), in which opinions take continuous values and interacting agents comprise their opinions if they are close enough to each other. We study a density description of a Deffuant--Weisbuch BCM on hypergraphs. We derive a rate equation for the mean-field opinion density as the number of agents becomes infinite, and we prove that this rate equation yields a probability density that converges to noninteracting opinion clusters. Using numerical simulations, we examine bifurcations of the density-based BCM's steady-state opinion clusters and demonstrate that the agent-based BCM converges to the density description of the BCM as the number of agents becomes infinite.
△ Less
Submitted 27 April, 2023; v1 submitted 23 March, 2022;
originally announced March 2022.
-
Low-Dimensional Behavior of a Kuramoto Model with Inertia and Hebbian Learning
Authors:
Tachin Ruangkriengsin,
Mason A. Porter
Abstract:
We study low-dimensional dynamics in a Kuramoto model with inertia and Hebbian learning. In this model, the coupling strength between oscillators depends on the phase differences between the oscillators and changes according to a Hebbian learning rule. We analyze the special case of two coupled oscillators, which yields a five-dimensional dynamical system that decouples into a two-dimensional long…
▽ More
We study low-dimensional dynamics in a Kuramoto model with inertia and Hebbian learning. In this model, the coupling strength between oscillators depends on the phase differences between the oscillators and changes according to a Hebbian learning rule. We analyze the special case of two coupled oscillators, which yields a five-dimensional dynamical system that decouples into a two-dimensional longitudinal system and a three-dimensional transverse system. We readily write an exact solution of the longitudinal system, and we then focus our attention on the transverse system. We classify the stability of the transverse system's equilibrium points using linear stability analysis. We show that the transverse system is dissipative and that all of its trajectories are eventually confined to a bounded region. We compute Lyapunov exponents to infer the transverse system's possible limiting behaviors, and we demarcate the parameter regions of three qualitatively different behaviors. Using insights from our analysis of the low-dimensional dynamics, we study the original high-dimensional system in a situation in which we draw the intrinsic frequencies of the oscillators from Gaussian distributions with different variances.
△ Less
Submitted 27 July, 2023; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Nanoptera In Higher-Order Nonlinear Schrödinger Equations: Effects Of Discretization
Authors:
Aaron J. Moston-Duggan,
Mason A. Porter,
Christopher J. Lustri
Abstract:
We consider generalizations of nonlinear Schrödinger equations, which we call "Karpman equations", that include additional linear higher-order derivatives. Singularly-perturbed Karpman equations produce generalized solitary waves (GSWs) in the form of solitary waves with exponentially small oscillatory tails. Nanoptera are a special case of GSWs in which these oscillatory tails do not decay. Previ…
▽ More
We consider generalizations of nonlinear Schrödinger equations, which we call "Karpman equations", that include additional linear higher-order derivatives. Singularly-perturbed Karpman equations produce generalized solitary waves (GSWs) in the form of solitary waves with exponentially small oscillatory tails. Nanoptera are a special case of GSWs in which these oscillatory tails do not decay. Previous research on continuous third-order and fourth-order Karpman equations has shown that nanoptera occur in specific settings. We use exponential asymptotic techniques to identify traveling nanoptera in singularly-perturbed continuous Karpman equations. We then study the effect of discretization on nanoptera by applying a finite-difference discretization to continuous Karpman equations and studying traveling-wave solutions. The finite-difference discretization turns a continuous Karpman equation into an advance--delay equation, which we study using exponential asymptotic analysis. By comparing nanoptera in these discrete Karpman equations with nanoptera in their continuous counterparts, we show that the oscillation amplitudes and periods in the nanoptera tails differ in the continuous and discretized equations. We also show that the parameter values at which there is a bifurcation between nanopteron and decaying oscillatory solutions depends on the choice of discretization. Finally, by comparing different higher-order discretizations of the fourth-order Karpman equation, we show that the bifurcation value tends to a nonzero constant for large orders, rather than to $0$ as in the associated continuous Karpman equation.
△ Less
Submitted 13 July, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Reduced-quaternion inframonogenic functions on the ball
Authors:
C. Álvarez,
J. Morais,
R. Michael Porter
Abstract:
A function $f$ from a domain in $\mathbb{R}^3$ to the quaternions is said to be inframonogenic if $\overline{\partial}\, f\overline{\partial} =0$, where $\overline{\partial} = \partial/\partial x_0+ (\partial/\partial x_1)e_1+(\partial/\partial x_2) e_2$. All inframonogenic functions are biharmonic. In the context of functions $f=f_0+f_1e_1+f_2e_2$ taking values in the reduced quaternions, we show…
▽ More
A function $f$ from a domain in $\mathbb{R}^3$ to the quaternions is said to be inframonogenic if $\overline{\partial}\, f\overline{\partial} =0$, where $\overline{\partial} = \partial/\partial x_0+ (\partial/\partial x_1)e_1+(\partial/\partial x_2) e_2$. All inframonogenic functions are biharmonic. In the context of functions $f=f_0+f_1e_1+f_2e_2$ taking values in the reduced quaternions, we show that the homogeneous polynomials of degree $n$ form a subspace of dimension $6n+3$. We use them to construct an explicit, computable orthogonal basis for the Hilbert space of square-integrable inframonogenic functions defined in the ball in $\mathbb{R}^3$.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
Quaternionic metamonogenic functions in the unit disk
Authors:
J. Morais,
R. Michael Porter
Abstract:
We construct a set of quaternionic metamonogenic functions (that is, in $\mbox{Ker}(D+λ)$ for diverse $λ$) in the unit disk, such that every metamonogenic function is approximable in the quaternionic Hilbert module $L^2$ of the disk. The set is orthogonal except for the small subspace of elements of orders zero and one. These functions are used to express time-dependent solutions of the imaginary-…
▽ More
We construct a set of quaternionic metamonogenic functions (that is, in $\mbox{Ker}(D+λ)$ for diverse $λ$) in the unit disk, such that every metamonogenic function is approximable in the quaternionic Hilbert module $L^2$ of the disk. The set is orthogonal except for the small subspace of elements of orders zero and one. These functions are used to express time-dependent solutions of the imaginary-time wave equation in the polar coordinate system.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
A Non-Expert's Introduction to Data Ethics for Mathematicians
Authors:
Mason A. Porter
Abstract:
I give a short introduction to data ethics. I begin with some background information and societal context for data ethics. I then discuss data ethics in mathematical-science education and indicate some available course material. I briefly highlight a few efforts -- at my home institution and elsewhere -- on data ethics, society, and social good. I then discuss open data in research, research repli…
▽ More
I give a short introduction to data ethics. I begin with some background information and societal context for data ethics. I then discuss data ethics in mathematical-science education and indicate some available course material. I briefly highlight a few efforts -- at my home institution and elsewhere -- on data ethics, society, and social good. I then discuss open data in research, research replicability and some other ethical issues in research, and the tension between privacy and open data and code, and a few controversial studies and reactions to studies. I then discuss ethical principles, institutional review boards, and a few other considerations in the scientific use of human data. I then briefly survey a variety of research and lay articles that are relevant to data ethics and data privacy. I conclude with a brief summary and some closing remarks.
My focal audience is mathematicians, but I hope that this chapter will also be useful to others. I am not an expert about data ethics, and this chapter provides only a starting point on this wide-ranging topic. I encourage you to examine the resources that I discuss and to reflect carefully on data ethics, its role in mathematics education, and the societal implications of data and data analysis. As data and technology continue to evolve, I hope that such careful reflection will continue throughout your life.
△ Less
Submitted 23 April, 2024; v1 submitted 18 January, 2022;
originally announced January 2022.
-
An adaptation of InfoMap to absorbing random walks using absorption-scaled graphs
Authors:
Esteban Vargas Bernal,
Mason A. Porter,
Joseph H. Tien
Abstract:
InfoMap is a popular approach to detect densely connected "communities" of nodes in networks. To detect such communities, InfoMap uses random walks and ideas from information theory. Motivated by the dynamics of disease spread on networks, whose nodes can have heterogeneous disease-removal rates, we adapt InfoMap to absorbing random walks. To do this, we use absorption-scaled graphs (in which edge…
▽ More
InfoMap is a popular approach to detect densely connected "communities" of nodes in networks. To detect such communities, InfoMap uses random walks and ideas from information theory. Motivated by the dynamics of disease spread on networks, whose nodes can have heterogeneous disease-removal rates, we adapt InfoMap to absorbing random walks. To do this, we use absorption-scaled graphs (in which edge weights are scaled according to absorption rates) and Markov time swee**. One of our adaptations of InfoMap converges to the standard version of InfoMap in the limit in which the node-absorption rates approach $0$. We demonstrate that the community structure that one obtains using our adaptations of InfoMap can differ markedly from the community structure that one detects using methods that do not account for node-absorption rates. We also illustrate that the community structure that is induced by heterogeneous absorption rates can have important implications for susceptible-infected-recovered (SIR) dynamics on ring-lattice networks. For example, in some situations, the outbreak duration is maximized when a moderate number of nodes have large node-absorption rates.
△ Less
Submitted 23 April, 2024; v1 submitted 20 December, 2021;
originally announced December 2021.
-
An Adaptive Bounded-Confidence Model of Opinion Dynamics on Networks
Authors:
Unchitta Kan,
Michelle Feng,
Mason A. Porter
Abstract:
Individuals who interact with each other in social networks often exchange ideas and influence each other's opinions. A popular approach to study the spread of opinions on networks is by examining bounded-confidence models (BCMs), in which the nodes of a network have continuous-valued states that encode their opinions and are receptive to other nodes' opinions when they lie within some confidence…
▽ More
Individuals who interact with each other in social networks often exchange ideas and influence each other's opinions. A popular approach to study the spread of opinions on networks is by examining bounded-confidence models (BCMs), in which the nodes of a network have continuous-valued states that encode their opinions and are receptive to other nodes' opinions when they lie within some confidence bound of their own opinion. In this paper, we extend the Deffuant--Weisbuch (DW) model, which is a well-known BCM, by examining the spread of opinions that coevolve with network structure. We propose an adaptive variant of the DW model in which the nodes of a network can (1) alter their opinions when they interact with neighboring nodes and (2) break connections with neighbors based on an opinion tolerance threshold and then form new connections following the principle of homophily. This opinion tolerance threshold determines whether or not the opinions of adjacent nodes are sufficiently different to be viewed as `discordant'. Using numerical simulations, we find that our adaptive DW model requires a larger confidence bound than a baseline DW model for the nodes of a network to achieve a consensus opinion. In one region of parameter space, we observe `pseudo-consensus' steady states, in which there exist multiple subclusters of an opinion cluster with opinions that differ from each other by a small amount. In our simulations, we also examine the importance of early-time dynamics and nodes with initially moderate opinions for achieving consensus. Additionally, we explore the effects of coevolution on the convergence time of our BCM.
△ Less
Submitted 29 November, 2022; v1 submitted 10 December, 2021;
originally announced December 2021.
-
Reduced-quaternionic Mathieu functions, time-dependent Moisil-Teodorescu operators, and the imaginary-time wave equation
Authors:
João Morais,
R. Michael Porter
Abstract:
We construct a one-parameter family of generalized Mathieu functions, which are reduced quaternion-valued functions of a pair of real variables lying in an ellipse, and which we call $λ$-reduced quaternionic Mathieu functions. We prove that the $λ$-RQM functions, which are in the kernel of the Moisil-Teodorescu operator $D+λ$ ($D$ is the Dirac operator and $λ\in\mathbb{R}\setminus\{0\}$), form a c…
▽ More
We construct a one-parameter family of generalized Mathieu functions, which are reduced quaternion-valued functions of a pair of real variables lying in an ellipse, and which we call $λ$-reduced quaternionic Mathieu functions. We prove that the $λ$-RQM functions, which are in the kernel of the Moisil-Teodorescu operator $D+λ$ ($D$ is the Dirac operator and $λ\in\mathbb{R}\setminus\{0\}$), form a complete orthogonal system in the Hilbert space of square-integrable $λ$-metamonogenic functions with respect to the $L^2$-norm over confocal ellipses. Further, we introduce the zero-boundary $λ$-RQM-functions, which are $λ$-RQM functions whose scalar part vanishes on the boundary of the ellipse. The limiting values of the $λ$-RQM functions as the eccentricity of the ellipse tends to zero are expressed in terms of Bessel functions of the first kind and form a complete orthogonal system for $λ$-metamonogenic functions with respect to the $L^2$-norm on the unit disk. A connection between the $λ$-RQM functions and the time-dependent solutions of the imaginary-time wave equation in the elliptical coordinate system is shown.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Analysis of Spatial and Spatiotemporal Anomalies Using Persistent Homology: Case Studies with COVID-19 Data
Authors:
Abigail Hickok,
Deanna Needell,
Mason A. Porter
Abstract:
We develop a method for analyzing spatial and spatiotemporal anomalies in geospatial data using topological data analysis (TDA). To do this, we use persistent homology (PH), which allows one to algorithmically detect geometric voids in a data set and quantify the persistence of such voids. We construct an efficient filtered simplicial complex (FSC) such that the voids in our FSC are in one-to-one…
▽ More
We develop a method for analyzing spatial and spatiotemporal anomalies in geospatial data using topological data analysis (TDA). To do this, we use persistent homology (PH), which allows one to algorithmically detect geometric voids in a data set and quantify the persistence of such voids. We construct an efficient filtered simplicial complex (FSC) such that the voids in our FSC are in one-to-one correspondence with the anomalies. Our approach goes beyond simply identifying anomalies; it also encodes information about the relationships between anomalies. We use vineyards, which one can interpret as time-varying persistence diagrams (which are an approach for visualizing PH), to track how the locations of the anomalies change with time. We conduct two case studies using spatially heterogeneous COVID-19 data. First, we examine vaccination rates in New York City by zip code at a single point in time. Second, we study a year-long data set of COVID-19 case rates in neighborhoods of the city of Los Angeles.
△ Less
Submitted 24 February, 2022; v1 submitted 19 July, 2021;
originally announced July 2021.
-
A Multilayer Network Model of the Coevolution of the Spread of a Disease and Competing Opinions
Authors:
Kaiyan Peng,
Zheng Lu,
Vanessa Lin,
Michael R. Lindstrom,
Christian Parkinson,
Chuntian Wang,
Andrea L. Bertozzi,
Mason A. Porter
Abstract:
During the COVID-19 pandemic, conflicting opinions on physical distancing swept across social media, affecting both human behavior and the spread of COVID-19. Inspired by such phenomena, we construct a two-layer multiplex network for the coupled spread of a disease and conflicting opinions. We model each process as a contagion. On one layer, we consider the concurrent evolution of two opinions --…
▽ More
During the COVID-19 pandemic, conflicting opinions on physical distancing swept across social media, affecting both human behavior and the spread of COVID-19. Inspired by such phenomena, we construct a two-layer multiplex network for the coupled spread of a disease and conflicting opinions. We model each process as a contagion. On one layer, we consider the concurrent evolution of two opinions -- pro-physical-distancing and anti-physical-distancing -- that compete with each other and have mutual immunity to each other. The disease evolves on the other layer, and individuals are less likely (respectively, more likely) to become infected when they adopt the pro-physical-distancing (respectively, anti-physical-distancing) opinion. We develop approximations of mean-field type by generalizing monolayer pair approximations to multilayer networks; these approximations agree well with Monte Carlo simulations for a broad range of parameters and several network structures. Through numerical simulations, we illustrate the influence of opinion dynamics on the spread of the disease from complex interactions both between the two conflicting opinions and between the opinions and the disease. We find that lengthening the duration that individuals hold an opinion may help suppress disease transmission, and we demonstrate that increasing the cross-layer correlations or intra-layer correlations of node degrees may lead to fewer individuals becoming infected with the disease.
△ Less
Submitted 4 July, 2021;
originally announced July 2021.
-
Resilient Control of Platooning Networked Robotic Systems via Dynamic Watermarking
Authors:
Matthew Porter,
Arnav Joshi,
Sidhartha Dey,
Qirui Wu,
Pedro Hespanhol,
Anil Aswani,
Matthew Johnson-Roberson,
Ram Vasudevan
Abstract:
Networked robotic systems, such as connected vehicle platoons, can improve the safety and efficiency of transportation networks by allowing for high-speed coordination. To enable such coordination, these systems rely on networked communications. This can make them susceptible to cyber attacks. Though security methods such as encryption or specially designed network topologies can increase the diff…
▽ More
Networked robotic systems, such as connected vehicle platoons, can improve the safety and efficiency of transportation networks by allowing for high-speed coordination. To enable such coordination, these systems rely on networked communications. This can make them susceptible to cyber attacks. Though security methods such as encryption or specially designed network topologies can increase the difficulty of successfully executing such an attack, these techniques are unable to guarantee secure communication against an attacker. More troublingly, these security methods are unable to ensure that individual agents are able to detect attacks that alter the content of specific messages. To ensure resilient behavior under such attacks, this paper formulates a networked linear time-varying version of dynamic watermarking in which each agent generates and adds a private excitation to the input of its corresponding robotic subsystem. This paper demonstrates that such a method can enable each agent in a networked robotic system to detect cyber attacks. By altering measurements sent between vehicles, this paper illustrates that an attacker can create unstable behavior within a platoon. By utilizing the dynamic watermarking method proposed in this paper, the attack is detected, allowing the vehicles in the platoon to gracefully degrade to a non-communicative control strategy that maintains safety across a variety of scenarios.
△ Less
Submitted 14 June, 2021;
originally announced June 2021.
-
Topological Data Analysis of Spatial Systems
Authors:
Michelle Feng,
Abigail Hickok,
Mason A. Porter
Abstract:
In this chapter, we discuss applications of topological data analysis (TDA) to spatial systems. We briefly review the recently proposed level-set construction of filtered simplicial complexes, and we then examine persistent homology in two cases studies: street networks in Shanghai and hotspots of COVID-19 infections. We then summarize our results and provide an outlook on TDA in spatial systems.
In this chapter, we discuss applications of topological data analysis (TDA) to spatial systems. We briefly review the recently proposed level-set construction of filtered simplicial complexes, and we then examine persistent homology in two cases studies: street networks in Shanghai and hotspots of COVID-19 infections. We then summarize our results and provide an outlook on TDA in spatial systems.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Detection of Functional Communities in Networks of Randomly Coupled Oscillators Using the Dynamic-Mode Decomposition
Authors:
Christopher W. Curtis,
Mason A. Porter
Abstract:
Dynamic-mode decomposition (DMD) is a versatile framework for model-free analysis of time series that are generated by dynamical systems. We develop a DMD-based algorithm to investigate the formation of "functional communities" in networks of coupled, heterogeneous Kuramoto oscillators. In these functional communities, the oscillators in the network have similar dynamics. We consider two common ra…
▽ More
Dynamic-mode decomposition (DMD) is a versatile framework for model-free analysis of time series that are generated by dynamical systems. We develop a DMD-based algorithm to investigate the formation of "functional communities" in networks of coupled, heterogeneous Kuramoto oscillators. In these functional communities, the oscillators in the network have similar dynamics. We consider two common random-graph models (Watts--Strogatz networks and Barabási--Albert networks) with different amounts of heterogeneities among the oscillators. In our computations, we find that membership in a community reflects the extent to which there is establishment and sustainment of locking between oscillators. We construct forest graphs that illustrate the complex ways in which the heterogeneous oscillators associate and disassociate with each other.
△ Less
Submitted 5 August, 2021; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Nanoptera in weakly nonlinear woodpile and diatomic granular chains
Authors:
Guo Deng,
Christopher J. Lustri,
Mason A. Porter
Abstract:
We study ``nanoptera'', which are non-localized solitary waves with exponentially small but non-decaying oscillations, in two singularly-perturbed Hertzian chains with precompression. These two systems are woodpile chains (which we model as systems of Hertzian particles and springs) and diatomic Hertzian chains with alternating masses. We demonstrate that nanoptera arise from Stokes phenomena and…
▽ More
We study ``nanoptera'', which are non-localized solitary waves with exponentially small but non-decaying oscillations, in two singularly-perturbed Hertzian chains with precompression. These two systems are woodpile chains (which we model as systems of Hertzian particles and springs) and diatomic Hertzian chains with alternating masses. We demonstrate that nanoptera arise from Stokes phenomena and appear as special curves, called Stokes curves, are crossed in the complex plane. We use techniques from exponential asymptotics to obtain approximations of the oscillation amplitudes. Our analysis demonstrates that traveling waves in a singularly perturbed woodpile chain have a single Stokes curve, across which oscillations appear. Comparing these asymptotic predictions with numerical simulations reveals that this accurately describes the non-decaying oscillatory behavior in a woodpile chain. We perform a similar analysis of a diatomic Hertzian chain, that the nanpteron solution has two distinct exponentially small oscillatory contributions. We demonstrate that there exists a set of mass ratios for which these two contributions cancel to produce localized solitary waves. This result builds on prior experimental and numerical observations that there exist mass ratios that support localized solitary waves in diatomic Hertzian chains without precompression. Comparing asymptotic and numerical results in a diatomic Hertzian chain with precompression reveals that our exponential asymptotic approach accurately predicts the oscillation amplitude for a wide range of system parameters, but it fails to identify several values of the mass ratio that correspond to localized solitary-wave solutions.
△ Less
Submitted 20 July, 2021; v1 submitted 14 February, 2021;
originally announced February 2021.
-
Learning low-rank latent mesoscale structures in networks
Authors:
Hanbaek Lyu,
Yacoub H. Kureh,
Joshua Vendrow,
Mason A. Porter
Abstract:
It is common to use networks to encode the architecture of interactions between entities in complex systems in the physical, biological, social, and information sciences. To study the large-scale behavior of complex systems, it is useful to examine mesoscale structures in networks as building blocks that influence such behavior. We present a new approach for describing low-rank mesoscale structure…
▽ More
It is common to use networks to encode the architecture of interactions between entities in complex systems in the physical, biological, social, and information sciences. To study the large-scale behavior of complex systems, it is useful to examine mesoscale structures in networks as building blocks that influence such behavior. We present a new approach for describing low-rank mesoscale structures in networks, and we illustrate our approach using several synthetic network models and empirical friendship, collaboration, and protein--protein interaction (PPI) networks. We find that these networks possess a relatively small number of `latent motifs' that together can successfully approximate most subgraphs of a network at a fixed mesoscale. We use an algorithm for `network dictionary learning' (NDL), which combines a network-sampling method and nonnegative matrix factorization, to learn the latent motifs of a given network. The ability to encode a network using a set of latent motifs has a wide variety of applications to network-analysis tasks, such as comparison, denoising, and edge inference. Additionally, using a new network denoising and reconstruction (NDR) algorithm, we demonstrate how to denoise a corrupted network by using only the latent motifs that one learns directly from the corrupted network.
△ Less
Submitted 13 July, 2023; v1 submitted 13 February, 2021;
originally announced February 2021.
-
A Bounded-Confidence Model of Opinion Dynamics on Hypergraphs
Authors:
Abigail Hickok,
Yacoub Kureh,
Heather Z. Brooks,
Michelle Feng,
Mason A. Porter
Abstract:
People's opinions evolve over time as they interact with their friends, family, colleagues, and others. In the study of opinion dynamics on networks, one often encodes interactions between people in the form of dyadic relationships, but many social interactions in real life are polyadic (i.e., they involve three or more people). In this paper, we extend an asynchronous bounded-confidence model (BC…
▽ More
People's opinions evolve over time as they interact with their friends, family, colleagues, and others. In the study of opinion dynamics on networks, one often encodes interactions between people in the form of dyadic relationships, but many social interactions in real life are polyadic (i.e., they involve three or more people). In this paper, we extend an asynchronous bounded-confidence model (BCM) on graphs, in which nodes are connected pairwise by edges, to an asynchronous BCM on hypergraphs, in which arbitrarily many nodes can be connected by a single hyperedge. We show that our hypergraph BCM converges to consensus under a wide range of initial conditions for the opinions of the nodes, including for non-uniform and asymmetric initial opinion distributions. We also show that, under suitable conditions, echo chambers can form on hypergraphs with community structure. We demonstrate that the opinions of individuals can sometimes jump from one opinion cluster to another in a single time step, a phenomenon (which we call ``opinion jum**'') that is not possible in standard dyadic BCMs. Additionally, we observe that there is a phase transition in the convergence time on {a complete hypergraph} when the variance $σ^2$ of the initial opinion distribution equals the confidence bound $c$. We prove that the convergence time grows at least exponentially fast with the number of nodes when $σ^2 > c$ and the initial opinions are normally distributed. Therefore, to determine the convergence properties of our hypergraph BCM when the variance and the number of hyperedges are both large, it is necessary to use analytical methods instead of relying only on Monte Carlo simulations.
△ Less
Submitted 9 August, 2021; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Networks of Necessity: Simulating COVID-19 Mitigation Strategies for Disabled People and Their Caregivers
Authors:
Thomas E. Valles,
Hannah Shoenhard,
Joseph Zinski,
Sarah Trick,
Mason A. Porter,
Michael R. Lindstrom
Abstract:
A major strategy to prevent the spread of COVID-19 is the limiting of in-person contacts. However, this is impractical or impossible for the many disabled people who do not live in care facilities, but still require caregivers. We seek to determine which interventions can prevent infections among disabled people and their caregivers. We simulate transmission with a model that includes susceptible,…
▽ More
A major strategy to prevent the spread of COVID-19 is the limiting of in-person contacts. However, this is impractical or impossible for the many disabled people who do not live in care facilities, but still require caregivers. We seek to determine which interventions can prevent infections among disabled people and their caregivers. We simulate transmission with a model that includes susceptible, exposed, asymptomatic, symptomatically ill, hospitalized, and removed individuals. The networks on which we simulate disease spread incorporate heterogeneity in the risks of different types of interactions, time-dependent lockdown and reopening measures, and contact distributions for four different groups (caregivers, disabled people, essential workers, and the general population). We find the probability of becoming infected is largest for caregivers and second largest for disabled people. Our analysis of network structure illustrates that caregivers have the largest modal eigenvector centrality. We find that two interventions -- contact-limiting by all groups and mask-wearing by disabled people and caregivers -- most reduce the cases among disabled people and caregivers. We also test which group spreads COVID-19 most readily by seeding infections in a subset of each group. We find caregivers are the most potent spreaders of COVID-19, particularly to other caregivers and to disabled people. We test where to use limited vaccine doses most effectively and find (1) vaccinating caregivers better protects disabled people than vaccinating the general population or essential workers and (2) vaccinating caregivers protects disabled people about as much as vaccinating disabled people themselves. Our results highlight the potential effectiveness of mask-wearing, contact-limiting throughout society, and strategic vaccination for limiting the exposure of disabled people and their caregivers to COVID-19.
△ Less
Submitted 24 September, 2021; v1 submitted 31 December, 2020;
originally announced January 2021.
-
Finding Your Way: Shortest Paths on Networks
Authors:
Teresa Rexin,
Mason A. Porter
Abstract:
Traveling to different destinations is a big part of our lives. We visit a variety of locations both during our daily lives and when we're on vacation. How can we find the best way to navigate from one place to another? Perhaps we can test all of the different ways of traveling between two places, but another method is to use mathematics and computation to find a shortest path. We discuss how to c…
▽ More
Traveling to different destinations is a big part of our lives. We visit a variety of locations both during our daily lives and when we're on vacation. How can we find the best way to navigate from one place to another? Perhaps we can test all of the different ways of traveling between two places, but another method is to use mathematics and computation to find a shortest path. We discuss how to construct a shortest path and introduce Dijkstra's algorithm to minimize the total cost of a path, where the cost may be the travel distance, travel time, or some other measurement. We also discuss how to use shortest paths in the real world to save time and increase traveling efficiency.
△ Less
Submitted 7 May, 2021; v1 submitted 18 November, 2020;
originally announced November 2020.
-
Opinion dynamics on tie-decay networks
Authors:
Kashin Sugishita,
Mason A. Porter,
Mariano Beguerisse-Díaz,
Naoki Masuda
Abstract:
In social networks, interaction patterns typically change over time. We study opinion dynamics on tie-decay networks in which tie strength increases instantaneously when there is an interaction and decays exponentially between interactions. Specifically, we formulate continuous-time Laplacian dynamics and a discrete-time DeGroot model of opinion dynamics on these tie-decay networks, and we carry o…
▽ More
In social networks, interaction patterns typically change over time. We study opinion dynamics on tie-decay networks in which tie strength increases instantaneously when there is an interaction and decays exponentially between interactions. Specifically, we formulate continuous-time Laplacian dynamics and a discrete-time DeGroot model of opinion dynamics on these tie-decay networks, and we carry out numerical computations for the continuous-time Laplacian dynamics. We examine the speed of convergence by studying the spectral gaps of combinatorial Laplacian matrices of tie-decay networks. First, we compare the spectral gaps of the Laplacian matrices of tie-decay networks that we construct from empirical data with the spectral gaps for corresponding randomized and aggregate networks. We find that the spectral gaps for the empirical networks tend to be smaller than those for the randomized and aggregate networks. Second, we study the spectral gap as a function of the tie-decay rate and time. Intuitively, we expect small tie-decay rates to lead to fast convergence because the influence of each interaction between two nodes lasts longer for smaller decay rates. Moreover, as time progresses and more interactions occur, we expect eventual convergence. However, we demonstrate that the spectral gap need not decrease monotonically with respect to the decay rate or increase monotonically with respect to time. Our results highlight the importance of the interplay between the times that edges strengthen and decay in temporal networks.
△ Less
Submitted 3 July, 2021; v1 submitted 30 September, 2020;
originally announced October 2020.
-
Epidemic Thresholds of Infectious Diseases on Tie-Decay Networks
Authors:
Qinyi Chen,
Mason A. Porter
Abstract:
In the study of infectious diseases on networks, researchers calculate epidemic thresholds to help forecast whether a disease will eventually infect a large fraction of a population. Because network structure typically changes in time, which fundamentally influences the dynamics of spreading processes on them and in turn affects epidemic thresholds for disease propagation, it is important to exami…
▽ More
In the study of infectious diseases on networks, researchers calculate epidemic thresholds to help forecast whether a disease will eventually infect a large fraction of a population. Because network structure typically changes in time, which fundamentally influences the dynamics of spreading processes on them and in turn affects epidemic thresholds for disease propagation, it is important to examine epidemic thresholds in temporal networks. Most existing studies of epidemic thresholds in temporal networks have focused on models in discrete time, but most real-world networked systems evolve continuously in time. In our work, we encode the continuous time-dependence of networks into the evaluation of the epidemic threshold of a susceptible--infected--susceptible (SIS) process by studying an SIS model on tie-decay networks. We derive the epidemic-threshold condition of this model, and we perform numerical experiments to verify it. We also examine how different factors---the decay coefficients of the tie strengths in a network, the frequency of interactions between nodes, and the sparsity of the underlying social network in which interactions occur---lead to decreases or increases of the critical values of the threshold and hence contribute to facilitating or impeding the spread of a disease. We thereby demonstrate how the features of tie-decay networks alter the outcome of disease spread.
△ Less
Submitted 9 August, 2021; v1 submitted 27 September, 2020;
originally announced September 2020.
-
Motifs for processes on networks
Authors:
Alice C. Schwarze,
Mason A. Porter
Abstract:
The study of motifs in networks can help researchers uncover links between the structure and function of networks in biology, sociology, economics, and many other areas. Empirical studies of networks have identified feedback loops, feedforward loops, and several other small structures as "motifs" that occur frequently in real-world networks and may contribute by various mechanisms to important fun…
▽ More
The study of motifs in networks can help researchers uncover links between the structure and function of networks in biology, sociology, economics, and many other areas. Empirical studies of networks have identified feedback loops, feedforward loops, and several other small structures as "motifs" that occur frequently in real-world networks and may contribute by various mechanisms to important functions in these systems. However, these mechanisms are unknown for many of these motifs. We propose to distinguish between "structure motifs" (i.e., graphlets) in networks and "process motifs" (which we define as structured sets of walks) on networks and consider process motifs as building blocks of processes on networks. Using the steady-state covariances and steady-state correlations in a multivariate Ornstein--Uhlenbeck process on a network as examples, we demonstrate that the distinction between structure motifs and process motifs makes it possible to gain quantitative insights into mechanisms that contribute to important functions of dynamical systems on networks.
△ Less
Submitted 11 May, 2021; v1 submitted 14 July, 2020;
originally announced July 2020.
-
The Waiting-Time Paradox
Authors:
Naoki Masuda,
Mason A. Porter
Abstract:
Suppose that you're going to school and arrive at a bus stop. How long do you have to wait before the next bus arrives? Surprisingly, it is longer - possibly much longer - than what the bus schedule suggests intuitively. This phenomenon, which is called the waiting-time paradox, has a purely mathematical origin. Different buses arrive with different intervals, leading to this paradox. In this arti…
▽ More
Suppose that you're going to school and arrive at a bus stop. How long do you have to wait before the next bus arrives? Surprisingly, it is longer - possibly much longer - than what the bus schedule suggests intuitively. This phenomenon, which is called the waiting-time paradox, has a purely mathematical origin. Different buses arrive with different intervals, leading to this paradox. In this article, we explore the waiting-time paradox, explain why it happens, and discuss some of its implications (beyond the possibility of being late for school).
△ Less
Submitted 22 September, 2020; v1 submitted 11 July, 2020;
originally announced July 2020.
-
Disease Detectives: Using Mathematics to Forecast the Spread of Infectious Diseases
Authors:
Heather Z. Brooks,
Unchitta Kanjanasaratool,
Yacoub H. Kureh,
Mason A. Porter
Abstract:
The COVID-19 pandemic has led to significant changes in how people are currently living their lives. To determine how to best reduce the effects of the pandemic and start reopening societies, governments have drawn insights from mathematical models of the spread of infectious diseases. In this article, we give an introduction to a family of mathematical models (called "compartmental models") and d…
▽ More
The COVID-19 pandemic has led to significant changes in how people are currently living their lives. To determine how to best reduce the effects of the pandemic and start reopening societies, governments have drawn insights from mathematical models of the spread of infectious diseases. In this article, we give an introduction to a family of mathematical models (called "compartmental models") and discuss how the results of analyzing these models influence government policies and human behavior, such as encouraging mask wearing and physical distancing to help slow the spread of the disease.
△ Less
Submitted 6 September, 2020; v1 submitted 30 June, 2020;
originally announced July 2020.
-
A unified framework for equivalences in social networks
Authors:
Nina Otter,
Mason A. Porter
Abstract:
A key concern in network analysis is the study of social positions and roles of actors in a network. The notion of "position" refers to an equivalence class of nodes that have similar ties to other nodes, whereas a "role" is an equivalence class of compound relations that connect the same pairs of nodes. An open question in network science is whether it is possible to simultaneously perform role a…
▽ More
A key concern in network analysis is the study of social positions and roles of actors in a network. The notion of "position" refers to an equivalence class of nodes that have similar ties to other nodes, whereas a "role" is an equivalence class of compound relations that connect the same pairs of nodes. An open question in network science is whether it is possible to simultaneously perform role and positional analysis. Motivated by the principle of functoriality in category theory we propose a new method that allows to tie role and positional analysis together. We illustrate our methods on two well-studied data sets in network science.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.
-
Connecting the Dots: Discovering the "Shape" of Data
Authors:
Michelle Feng,
Abigail Hickok,
Yacoub H. Kureh,
Mason A. Porter,
Chad M. Topaz
Abstract:
Scientists use a mathematical subject called 'topology' to study the shapes of objects. An important part of topology is counting the numbers of pieces and holes in objects, and people use this information to group objects into different types. For example, a doughnut has the same number of holes and the same number of pieces as a teacup with one handle, but it is different from a ball. In studies…
▽ More
Scientists use a mathematical subject called 'topology' to study the shapes of objects. An important part of topology is counting the numbers of pieces and holes in objects, and people use this information to group objects into different types. For example, a doughnut has the same number of holes and the same number of pieces as a teacup with one handle, but it is different from a ball. In studies that resemble activities like "connect the dots", scientists use ideas from topology to study the shape of data. Data can take many possible forms: a picture made of dots, a large collection of numbers from a scientific experiment, or something else. The approach in these studies is called 'topological data analysis', and it has been used to study the branching structures of veins in leaves, how people vote in elections, flight patterns in models of bird flocking, and more. Scientists can take data on the way veins branch on leaves and use topological data analysis to divide the leaves into different groups and discover patterns that may otherwise be hard to find.
△ Less
Submitted 8 September, 2020; v1 submitted 13 April, 2020;
originally announced April 2020.
-
Detecting Deception Attacks on Autonomous Vehicles via Linear Time-Varying Dynamic Watermarking
Authors:
Matthew Porter,
Sidhartha Dey,
Arnav Joshi,
Pedro Hespanhol,
Anil Aswani,
Matthew Johnson-Roberson,
Ram Vasudevan
Abstract:
Cyber-physical systems (CPS) such as autonomous vehicles rely on both on-board sensors and external communications to estimate their state. Unfortunately, these communications render the system vulnerable to cyber-attacks. While many attack detection methods have begun to address these concerns, they are limited to linear time-invariant (LTI) systems. Though LTI system models provide accurate appr…
▽ More
Cyber-physical systems (CPS) such as autonomous vehicles rely on both on-board sensors and external communications to estimate their state. Unfortunately, these communications render the system vulnerable to cyber-attacks. While many attack detection methods have begun to address these concerns, they are limited to linear time-invariant (LTI) systems. Though LTI system models provide accurate approximations for CPS such as autonomous vehicles at constant speed and turning radii, they are inaccurate for more complex motions such as lane changes, turns, and changes in velocity. Since these more complex motions are more suitably described by linear time-varying (LTV) system models rather than LTI models, Dynamic Watermarking, which adds a private excitation to the input signal to validate measurements, has recently been extended to LTV systems. However, this extension does not allow for LTV systems that require several steps before the effect of a given control input can be seen in the measurement signal. Additionally, there is no consideration for the time-varying effects of auto-correlation. Furthermore, a proof of concept was only provided using simulations of a simplified model.
This paper relaxes the requirement for inputs to be visible in a single step and constructs an auto-correlation normalizing factor to remove the effects of auto-correlation. In addition, Dynamic Watermarking is applied to a high-fidelity vehicle model in carsim and a 1/10 scale autonomous rover to further reinforce the proof of concept for realistic systems. In each case, the vehicle follows a predefined path with time-varying velocity and turning radii. A replay attack, which replays previously recorded measurements, is shown to be detectable using LTV Dynamic Watermarking in a quick and repeatable manner.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Spatial Applications of Topological Data Analysis: Cities, Snowflakes, Random Structures, and Spiders Spinning Under the Influence
Authors:
Michelle Feng,
Mason A. Porter
Abstract:
Spatial networks are ubiquitous in social, geographical, physical, and biological applications. To understand the large-scale structure of networks, it is important to develop methods that allow one to directly probe the effects of space on structure and dynamics. Historically, algebraic topology has provided one framework for rigorously and quantitatively describing the global structure of a spac…
▽ More
Spatial networks are ubiquitous in social, geographical, physical, and biological applications. To understand the large-scale structure of networks, it is important to develop methods that allow one to directly probe the effects of space on structure and dynamics. Historically, algebraic topology has provided one framework for rigorously and quantitatively describing the global structure of a space, and recent advances in topological data analysis (TDA) have given scholars a new lens for analyzing network data. In this paper, we study a variety of spatial networks -- including both synthetic and natural ones -- using novel topological methods that we recently developed for analyzing spatial networks. We demonstrate that our methods are able to capture meaningful quantities, with specifics that depend on context, in spatial networks and thereby provide useful insights into the structure of those networks, including a novel approach for characterizing them based on their topological structures. We illustrate these ideas with examples of synthetic networks and dynamics on them, street networks in cities, snowflakes, and webs spun by spiders under the influence of various psychotropic substances.
△ Less
Submitted 17 June, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Nonlinearity + Networks: A 2020 Vision
Authors:
Mason A. Porter
Abstract:
I briefly survey several fascinating topics in networks and nonlinearity. I highlight a few methods and ideas, including several of personal interest, that I anticipate to be especially important during the next several years. These topics include temporal networks (in which the entities and/or their interactions change in time), stochastic and deterministic dynamical processes on networks, adapti…
▽ More
I briefly survey several fascinating topics in networks and nonlinearity. I highlight a few methods and ideas, including several of personal interest, that I anticipate to be especially important during the next several years. These topics include temporal networks (in which the entities and/or their interactions change in time), stochastic and deterministic dynamical processes on networks, adaptive networks (in which a dynamical process on a network is coupled to dynamics of network structure), and network structure and dynamics that include "higher-order" interactions (which involve three or more entities in a network). I draw examples from a variety of scenarios, including contagion dynamics, opinion models, waves, and coupled oscillators.
△ Less
Submitted 9 November, 2019;
originally announced November 2019.
-
Spatial Strength Centrality and the Effect of Spatial Embeddings on Network Architecture
Authors:
Andrew Liu,
Mason A. Porter
Abstract:
For many networks, it is useful to think of their nodes as being embedded in a latent space, and such embeddings can affect the probabilities for nodes to be adjacent to each other. In this paper, we extend existing models of synthetic networks to spatial network models by first embedding nodes in Euclidean space and then modifying the models so that progressively longer edges occur with progressi…
▽ More
For many networks, it is useful to think of their nodes as being embedded in a latent space, and such embeddings can affect the probabilities for nodes to be adjacent to each other. In this paper, we extend existing models of synthetic networks to spatial network models by first embedding nodes in Euclidean space and then modifying the models so that progressively longer edges occur with progressively smaller probabilities. We start by extending a geographical fitness model by employing Gaussian-distributed fitnesses, and we then develop spatial versions of preferential attachment and configuration models. We define a notion of "spatial strength centrality" to help characterize how strongly a spatial embedding affects network structure, and we examine spatial strength centrality on a variety of real and synthetic networks.
△ Less
Submitted 16 March, 2020; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Detecting Generalized Replay Attacks via Time-Varying Dynamic Watermarking
Authors:
Matthew Porter,
Pedro Hespanhol,
Anil Aswani,
Matthew Johnson-Roberson,
Ram Vasudevan
Abstract:
Cyber-physical systems (CPS) often rely on external communication for supervisory control or sensing. Unfortunately, these communications render the system vulnerable to cyber-attacks. Attacks that alter messages, such as replay attacks that record measurement signals and then play them back to the system, can cause devastating effects. Dynamic Watermarking methods, which inject a private excitati…
▽ More
Cyber-physical systems (CPS) often rely on external communication for supervisory control or sensing. Unfortunately, these communications render the system vulnerable to cyber-attacks. Attacks that alter messages, such as replay attacks that record measurement signals and then play them back to the system, can cause devastating effects. Dynamic Watermarking methods, which inject a private excitation into control inputs to secure resulting measurement signals, have begun addressing the challenges of detecting these attacks, but have been restricted to linear time invariant (LTI) systems. Though LTI models are sufficient for some applications, other CPS, such as autonomous vehicles, require more complex models. This paper develops a linear time-varying (LTV) extension to previous Dynamic Watermarking methods by designing a matrix normalization factor to accommodate the temporal changes in the system. Implementable tests are provided with considerations for real-world systems. The proposed method is then shown to be able to detect generalized replay attacks both in theory and in simulation using a LTV vehicle model.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
Sensor Switching Control Under Attacks Detectable by Finite Sample Dynamic Watermarking Tests
Authors:
Pedro Hespanhol,
Matthew Porter,
Ram Vasudevan,
Anil Aswani
Abstract:
Control system security is enhanced by the ability to detect malicious attacks on sensor measurements. Dynamic watermarking can detect such attacks on linear time-invariant (LTI) systems. However, existing theory focuses on attack detection and not on the use of watermarking in conjunction with attack mitigation strategies. In this paper, we study the problem of switching between two sets of senso…
▽ More
Control system security is enhanced by the ability to detect malicious attacks on sensor measurements. Dynamic watermarking can detect such attacks on linear time-invariant (LTI) systems. However, existing theory focuses on attack detection and not on the use of watermarking in conjunction with attack mitigation strategies. In this paper, we study the problem of switching between two sets of sensors: One set of sensors has high accuracy but is vulnerable to attack, while the second set of sensors has low accuracy but cannot be attacked. The problem is to design a sensor switching strategy based on attack detection by dynamic watermarking. This requires new theory because existing results are not adequate to control or bound the behavior of sensor switching strategies that use finite data. To overcome this, we develop new finite sample hypothesis tests for dynamic watermarking in the case of bounded disturbances, using the modern theory of concentration of measure for random matrices. Our resulting switching strategy is validated with a simulation analysis in an autonomous driving setting, which demonstrates the strong performance of our proposed policy.
△ Less
Submitted 30 August, 2019;
originally announced September 2019.
-
Role Detection in Bicycle-Sharing Networks Using Multilayer Stochastic Block Models
Authors:
Jane Carlen,
Jaume de Dios Pont,
Cassidy Mentus,
Shyr-Shea Chang,
Stephanie Wang,
Mason A. Porter
Abstract:
In urban spatial networks, there is an interdependency between neighborhood roles and the transportation methods between neighborhoods. In this paper, we classify docking stations in bicycle-sharing networks to gain insight into the human mobility patterns of three major United States cities. We propose novel time-dependent stochastic block models (SBMs), with degree-heterogeneous blocks and eithe…
▽ More
In urban spatial networks, there is an interdependency between neighborhood roles and the transportation methods between neighborhoods. In this paper, we classify docking stations in bicycle-sharing networks to gain insight into the human mobility patterns of three major United States cities. We propose novel time-dependent stochastic block models (SBMs), with degree-heterogeneous blocks and either mixed or discrete block membership, which classify nodes based on their time-dependent activity patterns. We apply these models to (1) detect the roles of bicycle-sharing docking stations and (2) describe the traffic within and between blocks of stations over the course of a day. Our models successfully uncover work, home, and other districts; they also reveal activity patterns in these districts that are particular to each city. Our work has direct application to the design and maintenance of bicycle-sharing systems, and it can be applied more broadly to community detection in temporal and multilayer networks with heterogeneous degrees.
△ Less
Submitted 12 August, 2021; v1 submitted 25 August, 2019;
originally announced August 2019.