Researcher profile

Seung-Yeal Ha

Seung-Yeal Ha contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
7topics
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

14 published item(s)

preprint2023arXiv

Interplay of geometric constraint and bonding force in the emergent behaviors of relativistic Cucker-Smale flocks

We present the relativistic analogue of the Cucker-Smale model with a bonding force on Riemannian manifold, and study its emergent dynamics. The Cucker-Smale model serves a prototype example of mechanical flocking models, and it has been extensively studied from various points of view. Recently, the authors studied collision avoidance and asymptotic flocking of the Cucker-Smale model with a bonding force on the Euclidean space. In this paper, we provide an analytical framework for collision avoidance and asymptotic flocking of the proposed model on Riemannian manifolds. Our analytical framework is explicitly formulated in terms of system parameters, initial data and the injectivity radius of the ambient manifold, and we study how the geometric information of an ambient manifold can affect the flocking dynamics.

preprint2022arXiv

Collective behaviors of second-order nonlinear consensus models with a bonding force

We study the collective behaviors of two second-order nonlinear consensus models with a bonding force, namely the Kuramoto model and the Cucker-Smale model with inter-particle bonding force. The proposed models contain feedback control terms which induce collision avoidance and emergent consensus dynamics in a suitable framework. Through the cooperative interplays between feedback controls, initial state configuration tends to an ordered configuration asymptotically under suitable frameworks which are formulated in terms of system parameters and initial configurations. For a two-particle system on the real line, we show that the relative state tends to the preassigned value asymptotically, and we also provide several numerical examples to analyze the possible nonlinear dynamics of the proposed models, and compare them with analytical results.

preprint2021arXiv

Asymptotic interplay of states and adapted coupling gains in the Lohe hermitian sphere model

We study emergent dynamics of the Lohe hermitian sphere (LHS) model with the same free flows under the dynamic interplay between state evolution and adaptive couplings. The LHS model is a complex counterpart of the Lohe sphere (LS) model on the unit sphere in Euclidean space, and when particles lie in the Euclidean unit sphere embedded in $\bbc^{d+1}$, it reduces to the Lohe sphere model. In the absence of interactions between states and coupling gains, emergent dynamics have been addressed in [22]. In this paper, we further extend earlier results in the aforementioned work to the setting in which the state and coupling gains are dynamically interrelated via two types of coupling laws, namely anti-Hebbian and Hebbian coupling laws. In each case, we present two sufficient frameworks leading to complete aggregation depending on the coupling laws, when the corresponding free flow is the same for all particles.

preprint2021arXiv

Emergent behaviors of high-dimensional Kuramoto models on Stiefel manifolds

We study emergent asymptotic dynamics for the first and second-order high-dimensional Kuramoto models on Stiefel manifolds which extend the previous consensus models on Riemannian manifolds including several matrix Lie groups. For the first-order consensus model on the Stiefel manifold proposed in [Markdahl et al, 2018], we show that the homogeneous ensemble relaxes the complete consensus state exponentially fast. On the other hand for a heterogeneous ensemble, we provide a sufficient condition leading to the phase-locked state in which relative distances between two states converge to definite values in a large coupling strength regime. We also propose a second-order extension of the first-order one by adding an inertial effect, and study emergent behaviors using Lyapunov functionals such as an energy functional and an averaged distance functional.

preprint2021arXiv

Emergent behaviors of homogeneous Lohe Hermitian sphere particles under time-delayed interactions

We study emergent behaviors of the Lohe hermitian sphere(LHS) model with a time-delay for a homogeneous ensemble. The LHS model is a complex counterpart of the Lohe sphere(LS) aggregation model on the unit sphere in Euclidean space, and it describes the aggregation of particles on the unit hermitian sphere in $\mathbb{C}^d$ with $d \geq 2$, Recently it has been introduced by two authors of this work as a special case of the Lohe tensor model [23]. When the coupling gain pair satisfies a specific linear relation, namely the Stuart-Landau(SL) coupling gain pair, it can be embedded into the LS model on $\mathbb{R}^{2d}$. In this work, we show that if the coupling gain pair is close to the SL coupling pair case, the dynamics of the LHS model exhibits an emergent aggregate phenomenon via the interplay between time-delayed interactions and nonlinear coupling between states. For this, we present several frameworks for complete aggregation and practical aggregation in terms of initial data and system parameters using the Lyapunov functional approach.

preprint2020arXiv

A dynamical systems approach for the shape matching of polytopes along rigid-body motions

We present a dynamical systems approach for geometric matchings in an ensemble of polytopes along rigid-body motions. Each polytope can be characterized by a vertex set and edge or faces determined by vertices, and polygons and simplexes correspond to a polytope. For a geometric matching, we propose a system of dynamical system for the evolution of centroids and rotations of polytopes to match the vertices under rigid-body motions which can be decomposed as a composition of translation and rotations. Our proposed dynamical system acts on the product space $({\mathbb R}^d \times SO(d))^N$. The evolution of centroids can be described by the coupled linear second-order dynamical system with diffusive linear couplings, whereas rotations for the matching of vertices are described by the Lohe matrix model on $SO(d)^N$. In particular, the Lohe matrix model has been derived from some set of physical principles compared to previous works in which the Lohe matrix model were employed as a system dynamics. This is a contrasted difference between earlier works on the Lohe matrix model which has been adopted a priori for an aggregate modeling of matrices. We also provide an analytical result leading to the complete shape matchings for an ensemble of congruent polytopes, and several numerical examples to illustrate analytical results visually.

preprint2020arXiv

Asymptotic phase-locking dynamics and critical coupling strength for the Kuramoto model

We study the asymptotic clustering (phase-locking) dynamics for the Kuramoto model. For the analysis of emergent asymptotic patterns in the Kuramoto flow, we introduce the pathwise critical coupling strength which yields a sharp transition from partial phase-locking to complete phase-locking, and provide nontrivial upper bounds for the pathwise critical coupling strength. Numerical simulations suggest that multi- and mono-clusters can emerge asymptotically in the Kuramoto flow depending on the relative magnitude of the coupling strength compared to the sizes of natural frequencies. However, theoretical and rigorous analysis for such phase-locking dynamics of the Kuramoto flow still lacks a complete understanding, although there were some recent progress on the complete synchronization of the Kuramoto model in a sufficiently large coupling strength regime. In this paper, we present sufficient frameworks for partial phase-locking of a majority ensemble and the complete phase-locking in terms of the initial phase configuration, coupling strength and natural frequencies. As a by-product of our analysis, we obtain nontrivial upper bounds for the pathwise critical coupling strength in terms of the diameter of natural frequencies, initial Kuramoto order parameter and the system size $N$. We also show that phase-locked states whose order parameters are less than $N^{-\frac{1}{2}}$ are linearly unstable.

preprint2020arXiv

Collective behaviors of the Lohe hermitian sphere model with inertia

We present a second-order extension of the first-order Lohe hermitian sphere(LHS) model and study its emergent asymptotic dynamics. Our proposed model incorporates an inertial effect as a second-order extension. The inertia term can generate an oscillatory behavior of particle trajectory in a small time interval(initial layer) which causes a technical difficulty for the application of monotonicity-based arguments. For emergent estimates, we employ two-point correlation function which is defined as an inner product between positions of particles. For a homogeneous ensemble with the same frequency matrix, we provide two sufficient frameworks in terms of system parameters and initial data to show that two-point correlation functions tend to the unity which is exactly the same as the complete aggregation. In contrast, for a heterogeneous ensemble with distinct frequency matrices, we provide a sufficient framework in terms of system parameters and initial data, which makes two-point correlation functions close to unity by increasing the principal coupling strength.

preprint2020arXiv

Constants of motion for the finite-dimensional Lohe type models with frustration and applications to emergent dynamics

We present constants of motion for the finite-dimensional Lohe type aggregation models with frustration and we apply them to analyze the emergence of collective behaviors. The Lohe type models have been proposed as possible non-abelian and higher-dimensional generalizations of the Kuramoto model, which is a prototype phase model for synchronization. The aim of this paper is to study the emergent collective dynamics of these models under the effect of (interaction) frustration, which generalizes phase-shift frustrations in the Kuramoto model. To this end, we present constants of motion, i.e., conserved quantities along the flow generated by the models under consideration, and, from the perspective of the low-dimensional dynamics thus so obtained, derive several results concerning the emergent asymptotic patterns of the Kuramoto and Lohe sphere models.

preprint2020arXiv

Emergent Behaviors of the generalized Lohe matrix model

We present a first-order aggregation model on the space of complex matrices which can be derived from the Lohe tensor model on the space of tensors with the same rank and size. We call such matrix-valued aggregation model as "the generalized Lohe matrix model". For the proposed matrix model with two cubic coupling terms, we study several structural properties such as the conservation laws, solution splitting property. In particular, for the case of only one coupling, we reformulate the reduced Lohe matrix model into the Lohe matrix model with a diagonal frustration, and provide several sufficient frameworks leading to the complete and practical aggregations. For the estimates of collective dynamics, we use a nonlinear functional approach using an ensemble diameter which measures the degree of aggregation.

preprint2020arXiv

Emergent behaviors of Thermodynamic Kuramoto ensemble on a regular ring lattice

The temporal evolution of Kuramoto oscillators influenced by the temperature field often appears in biological oscillator ensembles. In this paper, we propose a generalized Kuramoto type lattice model on a regular ring lattice with the equal spacing assuming that each oscillator has an internal energy (temperature). Our lattice model is derived from the thermodynamical Cucker-Smale model for flocking on the 2D free space under the assumption that the ratio between velocity field and temperature field at each lattice point has a uniform magnitude over lattice points. The proposed model satisfies an entropy principle and exhibits emergent dynamics under some sufficient frameworks formulated in terms of initial data and system parameters. Moreover, the phase-field tends to the Kuramoto phase-field asymptotically.

preprint2020arXiv

From the Lohe tensor model to the Lohe Hermitian sphere model and emergent dynamics

We study emergent behaviors of the Lohe hermitian sphere(LHS) model which is an aggregation model on ${\mathbb C}^d$. The LHS model is a complex analog of the Lohe sphere model on ${\mathbb R}^d$, and hermitian spheres are invariant sets for the LHS dynamics. For the derivation of the LHS model, we use a top-down approach, namely a reduction from a high-rank aggregation model, "$\textit{the Lohe tensor model}$." The Lohe tensor model is a first-order aggregation model on the space of tensors with the same rank and sizes, and it was first proposed by the authors in a recent work \cite{H-P}. In this work, we study how the LHS model appears as a special case of the Lohe tensor model and for the proposed model, we provide a cross-ratio like conserved quantity, a sufficient framework for the complete aggregation and a uniform $\ell^p$-stability estimate with respect to initial data.

preprint2020arXiv

Towards a mathematical theory of behavioral swarms

This paper presents a unified mathematical theory of swarms where the dynamics of social behaviors interacts with the mechanical dynamics of self-propelled particles. The term behavioral swarms is introduced to characterize the specific object of the theory which is subsequently followed by applications. As concrete examples for our unified approach, we show that several Cucker-Smale type models with internal variables fall down to our framework. Subsequently the modeling goes beyond the Cucker-Smale approach and looks ahead to research perspectives.

preprint2011arXiv

Nonlinear stability of phase-locked states for the Kuramoto model with finite inertia

We discuss the {\it nonlinear stability} of phase-locked states for globally coupled nonlinear oscillators with finite inertia, namely the modified Kuramoto model, in the context of the robust $\ell^{\infty}$-norm. We show that some classes of phase-locked states are orbitally $\ell{\infty}$-stable in the sense that its small perturbation asymptotically leads to only the phase shift of the phase-locked state from the original one without changing its fine structures as keeping the same suitable coupling strength among oscillators and the same natural frequencies. The phase shift is uniquely determined by the average of initial phases, the average of initial frequencies, and the strength of inertia. We numerically confirm the stability of the phase-locked state as well as its uniqueness and the phase shift, where various initial conditions are considered. Finally, we argue that some restricted conditions employed in the mathematical proof are not necessary, based on numerical simulation results.