-
The Kuramoto model on the Sierpinski Gasket
Authors:
Georgi S. Medvedev,
Matthew S. Mizuhara
Abstract:
We study the Kuramoto model (KM) of coupled phase oscillators on graphs approximating the Sierpinski gasket (SG). As the size of the graph tends to infinity, the limit points of the sequence of stable equilibria in the KM correspond to the minima of the Dirichlet energy, i.e., to harmonic maps from the SG to the circle. We provide a complete description of the stable equilibria of the continuum li…
▽ More
We study the Kuramoto model (KM) of coupled phase oscillators on graphs approximating the Sierpinski gasket (SG). As the size of the graph tends to infinity, the limit points of the sequence of stable equilibria in the KM correspond to the minima of the Dirichlet energy, i.e., to harmonic maps from the SG to the circle. We provide a complete description of the stable equilibria of the continuum limit of the KM on graphs approximating the SG, under both Dirichlet and free boundary conditions. We show that there is a unique stable equilibrium in each homotopy class of continuous functions from the SG to the circle. These equilibria serve as generalizations of the classical twisted states on ring networks. Furthermore, we extend the analysis to the KM on post-critically finite fractals. The results of this work reveal the link between self-similar organization and network dynamics.
△ Less
Submitted 15 June, 2025;
originally announced June 2025.
-
Harmonic maps from post-critically finite fractals to the circle
Authors:
Georgi S. Medvedev,
Matthew S. Mizuhara
Abstract:
Every continuous map between two compact Riemannian manifolds is homotopic to a harmonic map (HM). We show that a similar situation holds for continuous maps between a post-critically finite (p.c.f.) fractal and a circle. Specifically, we provide a geometric proof of Strichartz's theorem stating that for a given degree and appropriate boundary conditions there is a unique HM from the Sierpinski Ga…
▽ More
Every continuous map between two compact Riemannian manifolds is homotopic to a harmonic map (HM). We show that a similar situation holds for continuous maps between a post-critically finite (p.c.f.) fractal and a circle. Specifically, we provide a geometric proof of Strichartz's theorem stating that for a given degree and appropriate boundary conditions there is a unique HM from the Sierpinski Gasket (SG) to a circle. Furthermore, we extend this result to HMs on p.c.f. fractals.
Our method uses covering spaces for the SG, which are constructed separately for HMs of a given degree, thus capturing the topology intrinsic to each homotopy class. After lifting continuous functions on the SG with values in the unit circle to continuous real-valued functions on the covering space, we use the harmonic extension algorithm to obtain a harmonic function on the covering space. The desired HM is obtained by restricting the domain of the resultant harmonic function to the fundamental domain and projecting the range to the circle.
We show that with suitable modifications the method applies to p.c.f. fractals, a large class of self-similar domains. We illustrate our method of constructing the HMs using numerical examples of HMs from the SG to the circle and discuss the construction of the covering spaces for several representative p.c.f. fractals, including the 3-level SG, the hexagasket, and the pentagasket.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
Stability of clusters in the second-order Kuramoto model on random graphs
Authors:
Georgi S. Medvedev,
Matthew S. Mizuhara
Abstract:
The Kuramoto model of coupled phase oscillators with inertia on Erdos-Renyi graphs is analyzed in this work. For a system with intrinsic frequencies sampled from a bimodal distribution we identify a variety of two cluster patterns and study their stability. To this end, we decompose the description of the cluster dynamics into two systems: one governing the (macro) dynamics of the centers of mass…
▽ More
The Kuramoto model of coupled phase oscillators with inertia on Erdos-Renyi graphs is analyzed in this work. For a system with intrinsic frequencies sampled from a bimodal distribution we identify a variety of two cluster patterns and study their stability. To this end, we decompose the description of the cluster dynamics into two systems: one governing the (macro) dynamics of the centers of mass of the two clusters and the second governing the (micro) dynamics of individual oscillators inside each cluster. The former is a low-dimensional ODE whereas the latter is a system of two coupled Vlasov PDEs. Stability of the cluster dynamics depends on the stability of the low-dimensional group motion and on coherence of the oscillators in each group. We show that the loss of coherence in one of the clusters leads to the loss of stability of a two-cluster state and to formation of chimera states. The analysis of this paper can be generalized to cover states with more than two clusters and to coupled systems on W-random graphs. Our results apply to a model of a power grid with fluctuating sources.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Fluid-Structure Interaction for the Classroom: Speed, Accuracy, Convergence, and Jellyfish!
Authors:
Nicholas A. Battista,
Matthew S. Mizuhara
Abstract:
When is good, good enough? This question lingers in approximation theory and numerical methods as a competition between accuracy and practicality. Numerical Analysis is traditionally where the rubber meets the road: students begin to use numerical algorithms to compute approximate solutions to non-trivial problems. However, it is difficult for students to understand that more accuracy is not alway…
▽ More
When is good, good enough? This question lingers in approximation theory and numerical methods as a competition between accuracy and practicality. Numerical Analysis is traditionally where the rubber meets the road: students begin to use numerical algorithms to compute approximate solutions to non-trivial problems. However, it is difficult for students to understand that more accuracy is not always the goal, but rather enough accuracy for practical use and meaningful interpretation. This compromise between accuracy and computational time/resources can be explored through the use of convergence plots. We offer a variety of classroom activities that allow students to discover the usefulness of convergence plots, including a contemporary example involving jellyfish locomotion using fluid-structure interaction modeling. These examples will additionally illustrate subtleties of convergence analysis: the same numerical scheme can exhibit different convergence rates, and the definition of `error' may change the convergence properties. To solve the fluid-structure interaction system, the open source software IB2d is used. All numerical codes, scripts, and movies are provided for streamlined integration into a classroom setting.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
Bifurcations in the Kuramoto model on graphs
Authors:
Hayato Chiba,
Georgi S. Medvedev,
Matthew S. Mizuhara
Abstract:
In his classical work, Kuramoto analytically described the onset of synchronization in all-to-all coupled networks of phase oscillators with random intrinsic frequencies. Specifically, he identified a critical value of the coupling strength, at which the incoherent state loses stability and a gradual build-up of coherence begins. Recently, Kuramoto's scenario was shown to hold for a large class of…
▽ More
In his classical work, Kuramoto analytically described the onset of synchronization in all-to-all coupled networks of phase oscillators with random intrinsic frequencies. Specifically, he identified a critical value of the coupling strength, at which the incoherent state loses stability and a gradual build-up of coherence begins. Recently, Kuramoto's scenario was shown to hold for a large class of coupled systems on convergent families of deterministic and random graphs. Guided by these results, in the present work, we study several model problems illustrating the link between network topology and synchronization in coupled dynamical systems.
First, we identify several families of graphs, for which the transition to synchronization in the Kuramoto model starts at the same critical value of the coupling strength and proceeds in practically the same way. These examples include Erdős-Rényi random graphs, Paley graphs, complete bipartite graphs, and certain stochastic block graphs. These examples illustrate that some rather simple structural properties such as the volume of the graph may determine the onset of synchronization, while finer structural features may affect only higher order statistics of the transition to synchronization. Further, we study the transition to synchronization in the Kuramoto model on power law and small-world random graphs. The former family of graphs endows the Kuramoto model with very good synchronizability: the synchronization threshold can be made arbitrarily low by varying the parameter of the power law degree distribution. For the Kuramoto model on small-world graphs, in addition to the transition to synchronization, we identify a new bifurcation leading to stable random twisted states. The examples analyzed in this work complement the results in [Chiba, Medvedev, The mean field analysis for the Kuramoto model on graphs (parts I and II), arxiv].
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Uniqueness and traveling waves in a cell motility model
Authors:
Matthew S. Mizuhara,
Peng Zhang
Abstract:
We study a non-linear and non-local evolution equation for curves obtained as the sharp interface limit of a phase-field model for crawling motion of eukaryotic cells on a substrate. We establish uniqueness of solutions to the sharp interface limit equation in the so-called subcritical parameter regime. The proof relies on a Grönwall estimate for a specially chosen weighted $L^2$ norm. Next, as pe…
▽ More
We study a non-linear and non-local evolution equation for curves obtained as the sharp interface limit of a phase-field model for crawling motion of eukaryotic cells on a substrate. We establish uniqueness of solutions to the sharp interface limit equation in the so-called subcritical parameter regime. The proof relies on a Grönwall estimate for a specially chosen weighted $L^2$ norm. Next, as persistent motion of crawling cells is of central interest to biologists we study the existence of traveling wave solutions. We prove that traveling wave solutions exist in the supercritical parameter regime provided the non-linear term of the sharp interface limit equation possesses certain asymmetry (related, e.g., to myosin contractility). Finally, we numerically investigate traveling wave solutions and simulate their dynamics. Due to non-uniqueness of solutions of the sharp interface limit equation we simulate a related, singularly perturbed PDE system which is uniquely solvable. Our simulations predict instability of traveling wave solutions and capture both bipedal wandering cell motion as well as rotating cell motion; these behaviors qualitatively agree with recent experimental and theoretical fidings.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
Extension of a proof of the Ramanujan congruences for multipartitions
Authors:
Oleg Lazarev,
Matthew S. Mizuhara,
Benjamin Reid,
Holly Swisher
Abstract:
Recently Lachterman, Schayer, and Younger published an elegant proof of the Ramanujan congruences for the partition function $p(n)$. Their proof uses only the classical theory of modular forms as well as a beautiful result of Choie, Kohnen, and Ono, without need for Hecke operators. In this paper we give a method for generalizing Lachterman, Schayer, and Younger's proof to include Ramanujan congru…
▽ More
Recently Lachterman, Schayer, and Younger published an elegant proof of the Ramanujan congruences for the partition function $p(n)$. Their proof uses only the classical theory of modular forms as well as a beautiful result of Choie, Kohnen, and Ono, without need for Hecke operators. In this paper we give a method for generalizing Lachterman, Schayer, and Younger's proof to include Ramanujan congruences for multipartition functions $p_k(n)$, and Ramanujan congruences for $p(n)$ modulo certain prime powers.
△ Less
Submitted 20 January, 2016;
originally announced January 2016.
-
A periodic approach to plane partition congruences
Authors:
Matthew S. Mizuhara,
James A. Sellers,
Holly Swisher
Abstract:
Ramanujan's celebrated congruences of the partition function $p(n)$ have inspired a vast amount of results on various partition functions. Kwong's work on periodicity of rational polynomial functions yields a general theorem used to establish congruences for restricted plane partitions. This theorem provides a novel proof of several classical congruences and establishes two new congruences. We add…
▽ More
Ramanujan's celebrated congruences of the partition function $p(n)$ have inspired a vast amount of results on various partition functions. Kwong's work on periodicity of rational polynomial functions yields a general theorem used to establish congruences for restricted plane partitions. This theorem provides a novel proof of several classical congruences and establishes two new congruences. We additionally prove several new congruences which do not fit the scope of the theorem, using only elementary techniques, or a relationship to existing multipartition congruences.
△ Less
Submitted 9 July, 2015; v1 submitted 8 July, 2015;
originally announced July 2015.
-
On an evolution equation in a cell motility model
Authors:
Matthew S. Mizuhara,
Leonid Berlyand,
Volodymyr Rybalko,
Lei Zhang
Abstract:
This paper deals with the evolution equation of a curve obtained as the sharp interface limit of a non-linear system of two reaction-diffusion PDEs. This system was introduced as a phase-field model of (crawling) motion of eukaryotic cells on a substrate. The key issue is the evolution of the cell membrane (interface curve) which involves shape change and net motion. This issue can be addressed bo…
▽ More
This paper deals with the evolution equation of a curve obtained as the sharp interface limit of a non-linear system of two reaction-diffusion PDEs. This system was introduced as a phase-field model of (crawling) motion of eukaryotic cells on a substrate. The key issue is the evolution of the cell membrane (interface curve) which involves shape change and net motion. This issue can be addressed both qualitatively and quantitatively by studying the evolution equation of the sharp interface limit for this system. However, this equation is non-linear and non-local and existence of solutions presents a significant analytical challenge. We establish existence of solutions for a wide class of initial data in the so-called subcritical regime. Existence is proved in a two step procedure. First, for smooth ($H^2$) initial data we use a regularization technique. Second, we consider non-smooth initial data that are more relevant from the application point of view. Here, uniform estimates on the time when solution exists rely on a maximum principle type argument.
△ Less
Submitted 26 June, 2015; v1 submitted 12 June, 2015;
originally announced June 2015.
-
On groups with a class-preserving outer automorphism
Authors:
Peter A. Brooksbank,
Matthew S. Mizuhara
Abstract:
In 1911, Burnside asked whether or not there exist groups that have an outer automorphism which preserves conjugacy classes. Two years later he answered his own question by constructing a family of such groups. Using the small group library in MAGMA we determine all of the groups of order n < 512 that possess such an automorphism. Our investigations led to the discovery of four new infinite famili…
▽ More
In 1911, Burnside asked whether or not there exist groups that have an outer automorphism which preserves conjugacy classes. Two years later he answered his own question by constructing a family of such groups. Using the small group library in MAGMA we determine all of the groups of order n < 512 that possess such an automorphism. Our investigations led to the discovery of four new infinite families of such groups, all of which are 2-groups of coclass 4.
△ Less
Submitted 28 October, 2013;
originally announced October 2013.
