Researcher profile

Johan Markdahl

Johan Markdahl contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2023arXiv

Asymptotically stable polarization of multi-agent gradient flows over manifolds

Multi-agent systems are known to exhibit stable emergent behaviors, including polarization, over $\mathbb{R}^n$ or highly symmetric nonlinear spaces. In this article, we eschew linearity and symmetry of the underlying spaces, and study the stability of polarized equilibria of multi-agent gradient flows evolving on general hypermanifolds. The agents attract or repel each other according to the partition of the communication graph that is connected but otherwise arbitrary. The manifolds are outfitted with geometric features styled ``dimples'' and ``pimples'' that characterize the absence of flatness. The signs of inter-agent couplings together with these geometric features give rise to stable polarization under various sufficient conditions. We propose tangible interpretation of the system in the context of opinion dynamics, and highlight throughout the text its versatility in modeling various aspects of the polarization phenomenon.

preprint2022arXiv

High-dimensional Kuramoto models on Stiefel manifolds synchronize complex networks almost globally

The Kuramoto model of coupled phase oscillators is often used to describe synchronization phenomena in nature. Some applications, e.g., quantum synchronization and rigid-body attitude synchronization, involve high-dimensional Kuramoto models where each oscillator lives on the n-sphere or SO(n). These manifolds are special cases of the compact, real Stiefel manifold St(p,n). Using tools from optimization and control theory, we prove that the generalized Kuramoto model on St(p,n) converges to a synchronized state for any connected graph and from almost all initial conditions provided (p,n) satisfies p<=2n/3-1 and all oscillator frequencies are equal. This result could not have been predicted based on knowledge of the Kuramoto model in complex networks over the circle. In that case, almost global synchronization is graph dependent; it applies if the network is acyclic or sufficiently dense. This paper hence identifies a property that distinguishes many high-dimensional generalizations of the Kuramoto models from the original model.

preprint2022arXiv

Synchronization on Riemannian manifolds: Multiply connected implies multistable

This note concerns the evolution of multi-agent systems on networks over Riemannian manifolds. The motion of each agent is governed by the gradient descent flow of a disagreement function that is a sum of (squared) distances between pairs of communicating agents. Two metrics are considered: geodesic distances and chordal distances for manifolds that are embedded in an ambient Euclidean space. We show that networks which, roughly speaking, are dominated by a large cycle yield a multistable systems if the manifold is multiply connected or contains a closed geodesic that is of locally minimum length in a space of closed curves. This result summarizes previous results on the stability of splay or twist state equilibria of the Kuramoto model on the circle and its generalization, the quantum sync model on SO(n). It also extends them to the Lohe model on U(n).

preprint2020arXiv

Consensus seeking gradient descent flows on boundaries of convex sets

Consensus on nonlinear spaces is of use in many control applications. This paper proposes a gradient descent flow algorithm for consensus on hypersurfaces. We show that if an inequality holds, then the system converges for almost all initial conditions and all connected graphs. The inequality involves the hypersurface Gauss map and the gradient and Hessian of the implicit equation. Moreover, for the inequality to hold, it is necessary that the manifold is the boundary of a convex set. The literature already contains an algorithm for consensus on hypersurfaces. That algorithm on any ellipsoid is equivalent to our algorithm on the unit sphere. In particular, that algorithm achieves almost global synchronization on ellipsoids. These findings suggest that strong convergence results for consensus seeking gradient descent flows may be established on manifolds that are the boundaries of convex sets.

preprint2020arXiv

Robust synchronization of heterogeneous robot swarms on the sphere

Synchronization on the sphere is important to certain control applications in swarm robotics. Of recent interest is the Lohe model, which generalizes the Kuramoto model from the circle to the sphere. The Lohe model is mainly studied in mathematical physics as a toy model of quantum synchronization. The model makes few assumptions, wherefore it is well-suited to represent a swarm. Previous work on this model has focused on the cases of complete and acyclic networks or the homogeneous case where all oscillator frequencies are equal. This paper concerns the case of heterogeneous oscillators connected by a non-trivial network. We show that any undesired equilibrium is exponentially unstable if the frequencies satisfy a given bound. This property can also be interpreted as a robustness result for small model perturbations of the homogeneous case with zero frequencies. As such, the Lohe model is a good choice for control applications in swarm robotics.