The shape of $x^2\bmod n$
We examine the graphs generated by the map $x\mapsto x^2\bmod n$ for various $n$, present some results on the structure of these graphs, and compute some very cool examples.
Discover
Research tools
Network
Opportunities
Account
Source author record
Lee DeVille appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We examine the graphs generated by the map $x\mapsto x^2\bmod n$ for various $n$, present some results on the structure of these graphs, and compute some very cool examples.
The generalized distance matrix of a graph is the matrix whose entries depend only on the pairwise distances between vertices, and the generalized distance spectrum is the set of eigenvalues of this matrix. This framework generalizes many of the commonly studied spectra of graphs. We show that for a large class of graphs these eigenvalues can be computed explicitly. We also present the applications of our results to competition models in ecology and rapidly mixing Markov Chains.
We develop an theoretical approach for predicting biodiversity in multi-dimensional niche spaces, arising due to ecological drivers such as competitive exclusion. The novelty of our approach relies on the fact that ecological niches are described by sequences of strings, which allows us to describe multiple traits. We define the mathematical framework for analyzing pattern forming instabilities in these models, showing surprisingly that the analytic linear theory predicts the asymptotically long time population distributions of niches in the model. We propose a test for identifying ecological drivers in biodiversity distributions, based on representing ecosystem data by means of a certain transform introduced in the theory.
We propose a precise definition of a continuous time dynamical system made up of interacting open subsystems. The interconnections of subsystems are coded by directed graphs. We prove that the appropriate maps of graphs called graph fibrations give rise to maps of dynamical systems. Consequently surjective graph fibrations give rise to invariant subsystems and injective graph fibrations give rise to projections of dynamical systems.
There are a number of models of coupled oscillator networks where the question of the stability of fixed points reduces to calculating the index of a graph Laplacian. Some examples of such models include the Kuramoto and Kuramoto--Sakaguchi equations as well as the swing equations, which govern the behavior of generators coupled in an electrical network. We show that the index calculation can be related to a dual calculation which is done on the first homology group of the graph, rather than the vertex space. We also show that this representation is computationally attractive for relatively sparse graphs, where the dimension of the first homology group is low, as is true in many applications. We also give explicit formulae for the dimension of the unstable manifold to a phase-locked solution for graphs containing one or two loops. As an application, we present some novel results for the Kuramoto model defined on a ring and compute the longest possible edge length for a stable solution.
We consider the existence of non-synchronized fixed points to the Kuramoto model defined on sparse networks: specifically, networks where each vertex has degree exactly three. We show that "most" such networks support multiple attracting phase-locked solutions that are not synchronized, and study the depth and width of the basins of attraction of these phase-locked solutions. We also show that it is common in "large enough" graphs to find phase-locked solutions where one or more of the links has angle difference greater than $π/2$.
Given a graph Laplacian with positively and negatively weighted edges we are interested in characterizing the set of weights that give a particular spectral index, i.e.~give a prescribed number of positive, zero, and negative eigenvalues. One of the main results of this paper is that the set of signed Laplacians that exhibit multiple zero eigenvalues is "small", and that eigenvalue crossings are nongeneric --- specifically, eigenvalues repel each other near zero in a sense that can be made precise. We exhibit an algebraic discriminant that measures the level of repulsion, and show that this discriminant admits a combinatorial interpretation. Conversely, we exhibit a constructive method for finding the sets of Laplacians that exhibit a large degree of degeneracy (many eigenvalues at or near zero) in terms of these discriminants.
We present a variety of results analyzing the behavior of a class of stochastic processes --- referred to as Stochastic Hybrid Systems (SHSs) --- in or near equilibrium, and determine general conditions on when the moments of the process will, or will not, be well-behaved. We also study the potential for finite-time blowups for these processes, and exhibit a set of random recurrence relations that govern the behavior for long times. In addition, we present a connection between these recurrence relations and some classical expressions in number theory.
There is a wealth of applied problems that can be posed as a dynamical system defined on a network with both attractive and repulsive interactions. Some examples include: understanding synchronization properties of nonlinear oscillator;, the behavior of groups, or cliques, in social networks; the study of optimal convergence for consensus algorithm; and many other examples. Frequently the problems involve computing the index of a matrix, i.e. the number of positive and negative eigenvalues, and the dimension of the kernel. In this paper we consider one of the most common examples, where the matrix takes the form of a signed graph Laplacian. We show that the there are topological constraints on the index of the Laplacian matrix related to the dimension of a certain homology group. In certain situations, when the homology group is trivial, the index of the operator is rigid and is determined only by the topology of the network and is independent of the strengths of the interactions. In general these constraints give upper and lower bounds on the number of positive and negative eigenvalues, with the dimension of the homology group counting the number of eigenvalue crossings. The homology group also gives a natural decomposition of the dynamics into "fixed" degrees of freedom, whose index does not depend on the edge-weights, and an orthogonal set of "free" degrees of freedom, whose index changes as the edge weights change. We also present some numerical studies of this problem for large random matrices.
We consider a fully stochastic excitatory neuronal network with a number of subpopulations with different firing rates. We show that as network size goes to infinity, this limits on a deterministic hybrid model whose trajectories are discontinuous. The jumps in the limit correspond to large synchronous events that involve a large proportion of the network. We also perform a rigorous analysis of the limiting deterministic system in certain cases, and show that it displays synchrony and periodicity in a large region of parameter space.
We present a detailed analysis of the stability of synchronized solutions to the Kuramoto system of oscillators. We derive an analytical expression counting the dimension of the unstable manifold associated to a given stationary solution. From this we are able to derive a number of consequences, including: analytic expressions for the first and last frequency vectors to synchronize, upper and lower bounds on the probability that a randomly chosen frequency vector will synchronize, and very sharp results on the large $N$ limit of this model. One of the surprises in this calculation is that for frequencies that are Gaussian distributed the correct scaling for full synchrony is not the one commonly studied in the literature---rather, there is a logarithmic correction to the scaling which is related to the extremal value statistics of the random frequency vector.