Showing 1–50 of 64 results for author: Hao, S

Emergent dynamics of spatially extended relativistic kinetic Cucker-Smale model

Authors: Seung-Yeal Ha, Xinyu Wang

Abstract: We study the emergent dynamics of the relativistic kinetic Cucker-Smale (RKCS) model without assuming compactness in spatial and velocity support. In this setting, the lower bound of the kernel function in the nonlocal velocity alignment force can be zero so that the previous approach based on the energy method does not provide a quantitative flocking estimate. To overcome this difficulty, we intr… ▽ More We study the emergent dynamics of the relativistic kinetic Cucker-Smale (RKCS) model without assuming compactness in spatial and velocity support. In this setting, the lower bound of the kernel function in the nonlocal velocity alignment force can be zero so that the previous approach based on the energy method does not provide a quantitative flocking estimate. To overcome this difficulty, we introduce a suitable decay ansatz for the one-particle distribution function and an {\it effective domain} by identifying a time-varying region in which the total mass outside of it decays to zero asymptotically. Using these two ingredients, we show that weak flocking dynamics emerges asymptotically in the sense that the second moment for the velocity fluctuation around the velocity average tends to zero asymptotically, whereas the second moment for spatial fluctuations around the center of mass remains bounded uniformly in time. Our results demonstrate the robustness of the emergent dynamics in the RKCS model across various non-compact physically important distributions, including Gaussian, sub-Gaussian, and $D$-th moment integrable distributions. △ Less

Submitted 10 July, 2025; originally announced July 2025.

On the weak flocking of the kinetic Cucker-Smale model in a fully non-compact support setting

Authors: Seung-Yeal Ha, Xinyu Wang

Abstract: We study the emergent behaviors of the weak solutions to the kinetic Cucker-Smale (in short, KCS) model in a non-compact spatial-velocity support setting. Unlike the compact support situation, non-compact support of a weak solution can cause a communication weight to have zero lower bounds, and position difference does not have a uniformly linear growth bound. These cause the previous approach bas… ▽ More We study the emergent behaviors of the weak solutions to the kinetic Cucker-Smale (in short, KCS) model in a non-compact spatial-velocity support setting. Unlike the compact support situation, non-compact support of a weak solution can cause a communication weight to have zero lower bounds, and position difference does not have a uniformly linear growth bound. These cause the previous approach based on the nonlinear functional approach for spatial and velocity diameters to break down. To overcome these difficulties, we derive refined estimates on the upper bounds for the second-order spatial-velocity moments and show the uniqueness of the weak solution using the estimate on the deviation of particle trajectories. For the estimate of emergent dynamics, we consider two classes of distribution functions with decaying properties (an exponential decay or polynomial decay) in phase space, and then verify that the second moment for the velocity deviation from an average velocity tends to zero asymptotically, while the second moment for spatial deviation from the center of mass remains bounded uniformly in time. This illustrates the robustness of the mono-cluster flocking dynamics of the KCS model even for fully non-compact support settings in phase space and generalizes earlier results on flocking dynamics in a compact support setting. △ Less

Submitted 10 July, 2025; originally announced July 2025.

MSC Class: 34D05; 70K20; 76D07

Particle, kinetic and hydrodynamic models for sea ice floes. Part I: non-rotating floes

Authors: Quanling Deng, Seung-Yeal Ha

Abstract: We introduce a comprehensive modeling framework for the dynamics of sea ice floes using particle, kinetic, and hydrodynamic approaches. Building upon the foundational work of Ha and Tadmor on the Cucker-Smale model for flocking, we derive a Vlasov-type kinetic formulation and a corresponding hydrodynamic description. The particle model incorporates essential physical properties of sea ice floes, i… ▽ More We introduce a comprehensive modeling framework for the dynamics of sea ice floes using particle, kinetic, and hydrodynamic approaches. Building upon the foundational work of Ha and Tadmor on the Cucker-Smale model for flocking, we derive a Vlasov-type kinetic formulation and a corresponding hydrodynamic description. The particle model incorporates essential physical properties of sea ice floes, including size, position, velocity, and interactions governed by Newtonian mechanics. By extending these principles, the kinetic model captures large-scale features through the phase-space distribution, and we also present a hydrodynamic model using the velocity moments and a suitable closure condition. In this paper, as an idea-introductory step, we assume that ice floes are non-rotating and focus on the linear velocity dynamics. Our approach highlights the role of contact forces, ocean drag effects, and conservation laws in the multiscale description of sea ice dynamics, offering a pathway for the improved understanding and prediction of sea ice behaviors in changing climatic conditions. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Phase transition of the kinetic Justh-Krishnaprasad type model for nematic alignment

Authors: Seung-Yeal Ha, Hui Yu, Baige Zhou

Abstract: We present a stochastic Justh-Krishnaprasad flocking model and study the phase transition of the Vlasov-McKean-Fokker-Planck (VMFP) equation, which can be obtained in the mean-field limit. To describe the alignment, we use order parameters in terms of the distribution function of the kinetic model. For the constant noise case, we study the well-posedness of the VMFP equation on the torus. Based on… ▽ More We present a stochastic Justh-Krishnaprasad flocking model and study the phase transition of the Vlasov-McKean-Fokker-Planck (VMFP) equation, which can be obtained in the mean-field limit. To describe the alignment, we use order parameters in terms of the distribution function of the kinetic model. For the constant noise case, we study the well-posedness of the VMFP equation on the torus. Based on regularity, we show that the phenomenon of phase transition is only related to the ratio between the strengths of noise and coupling. In particular, for the low-noise case, we derive an exponential convergence to the von-Mises type equilibrium, which shows a strong evidence for the nematic alignment. The multiplicative noise is also studied to obtain a non-symmetric equilibrium with two different peaks on the torus. △ Less

Submitted 9 April, 2025; originally announced April 2025.

MSC Class: 35Q84; 35A05; 35B40

Sharp threshold for network recovery from voter model dynamics

Authors: Hang Du, Seokmin Ha, Oriol Solé-Pi

Abstract: We investigate the problem of recovering a latent directed Erdős-Rényi graph $G^*\sim \mathcal G(n,p)$ from observations of discrete voter model trajectories on $G^*$, where $np$ grows polynomially in $n$. Given access to $M$ independent voter model trajectories evolving up to time $T$, we establish that $G^*$ can be recovered \emph{exactly} with probability at least $0.9$ by an \emph{efficient} a… ▽ More We investigate the problem of recovering a latent directed Erdős-Rényi graph $G^*\sim \mathcal G(n,p)$ from observations of discrete voter model trajectories on $G^*$, where $np$ grows polynomially in $n$. Given access to $M$ independent voter model trajectories evolving up to time $T$, we establish that $G^*$ can be recovered \emph{exactly} with probability at least $0.9$ by an \emph{efficient} algorithm, provided that \[ M \cdot \min\{T, n\} \geq C n^2 p^2 \log n \] holds for a sufficiently large constant $C$. Here, $M\cdot \min\{T,n\}$ can be interpreted as the approximate number of effective update rounds being observed, since the voter model on $G^*$ typically reaches consensus after $Θ(n)$ rounds, and no further information can be gained after this point. Furthermore, we prove an \emph{information-theoretic} lower bound showing that the above condition is tight up to a constant factor. Our results indicate that the recovery problem does not exhibit a statistical-computational gap. △ Less

Submitted 7 April, 2025; originally announced April 2025.

Comments: 58 pages, 3 figures

MSC Class: 60K35; 68Q87

Quantitative relaxation dynamics from generic initial configurations in the inertial Kuramoto model

Authors: Hangjun Cho, Jiu-Gang Dong, Seung-Yeal Ha, Seung-Yeon Ryoo

Abstract: We study the relaxation dynamics of the inertial Kuramoto model toward a phase-locked state from a generic initial phase configuration. For this, we propose a sufficient framework in terms of initial data and system parameters for asymptotic phase-locking. It can be roughly stated as set of conditions such as a positive initial order parameter, a coupling strength sufficiently larger than initial… ▽ More We study the relaxation dynamics of the inertial Kuramoto model toward a phase-locked state from a generic initial phase configuration. For this, we propose a sufficient framework in terms of initial data and system parameters for asymptotic phase-locking. It can be roughly stated as set of conditions such as a positive initial order parameter, a coupling strength sufficiently larger than initial frequency diameter and intrinsic frequency diameter, but less than the inverse of inertia. Under the proposed framework, generic initial configuration undergoes three dynamic stages (initial layer, condensation and relaxation stages) before it reaches a phase-locked state asymptotically. The first stage is the initial layer stage in analogy with fluid mechanics, during which the effect of the initial natural frequency distribution is dominant, compared to that of the sinusoidal coupling between oscillators. The second stage is the condensation stage, during which the order parameter increases, and at the end of which a majority cluster is contained in a sufficiently small arc. Finally, the third stage is the persistence and relaxation stage, during which the majority cluster remains stable (persistence) and the total configuration relaxes toward a phase-locked state asymptotically (relaxation). The intricate proof involves with several key tools such as the quasi-monotonicity of the order parameter (for the condensation stage), a nonlinear Grönwall inequality on the diameter of the majority cluster (for the persistence stage), and a variant of the classical Łojasiewicz gradient theorem (for the relaxation stage). △ Less

Submitted 1 March, 2025; originally announced March 2025.

Comments: 94 pages

MSC Class: 34D05; 34D06; 34C15; 82C22

Uniform-in-time asymptotic limits of generalized Kuramoto models

Authors: Hangjun Cho, Seung-Yeal Ha, Myeongju Kang, Chan Ho Min

Abstract: We study two uniform-in-time asymptotic limits for generalized Kuramoto (GK) models. For these GK type models, we first derive the uniform stability estimates with respect to initial data, natural frequency and communication network under a suitable framework, and then as direct applications of this uniform stability estimate, we establish two asymptotic limits which are valid in the whole time in… ▽ More We study two uniform-in-time asymptotic limits for generalized Kuramoto (GK) models. For these GK type models, we first derive the uniform stability estimates with respect to initial data, natural frequency and communication network under a suitable framework, and then as direct applications of this uniform stability estimate, we establish two asymptotic limits which are valid in the whole time interval, namely uniform-in-time continuum and mean-filed limit to the continuum and kinetic GK models, respectively. In the mean-field limit setting (the number of particles tends to infinity), we show global-in-time existence of measure-valued solutions to the corresponding kinetic equation. On the other hand, in a continuum limit setting (the lattice size tends to zero), we show that the lattice GKM solutions converge to a classical solution to the continuum GK model in supremum norm. Two asymptotic limits improve earlier results for the generalized GK type models. △ Less

Submitted 16 February, 2025; originally announced February 2025.

MSC Class: 34D05; 45J05; 82C20

Optimal convergence speed in the classical limits of relativistic Cucker-Smale models

Authors: Seung-Yeal Ha, Tommaso Ruggeri, Qinghua Xiao

Abstract: We study quantitative estimates for the flocking and uniform-time classical limit to the relativistic Cucker-Smale (in short RCS) model introduced in \cite{Ha-Kim-Ruggeri-ARMA-2020}. Different from previous works, we do not neglect the relativistic effect on the presence of the pressure in momentum equation. For the RCS model, we provide a quantitative estimate on the uniform-time classical limit… ▽ More We study quantitative estimates for the flocking and uniform-time classical limit to the relativistic Cucker-Smale (in short RCS) model introduced in \cite{Ha-Kim-Ruggeri-ARMA-2020}. Different from previous works, we do not neglect the relativistic effect on the presence of the pressure in momentum equation. For the RCS model, we provide a quantitative estimate on the uniform-time classical limit with an optimal convergence rate which is the same as in finite-time classical limit under a relaxed initial condition. We also allow corresponding initial data for the RCS and Cucker-Smale (CS) model to be different in the classical limit. This removes earlier constraints employed in the previous classical limit. As a direct application of this optimal convergence rate in the classical limit of the RCS model, we derive an optimal convergence rate for the corresponding uniform-time classical limit for the kinetic RCS model. △ Less

Submitted 17 December, 2024; originally announced December 2024.

Comments: 30 pages, 0 figures

MSC Class: 70F99; 92B25

Elements of disinformation theory: cyber engagement via increasing adversary information consumption

Authors: Travis Cuvelier, Sean Ha, Maretta Morovitz

Abstract: We consider the case where an adversary is conducting a surveillance campaign against a networked control system (NCS), and take the perspective of a defender/control system operator who has successfully isolated the cyber intruder. To better understand the adversary's intentions and to drive up their operating costs, the defender directs the adversary towards a ``honeypot" that emulates a real co… ▽ More We consider the case where an adversary is conducting a surveillance campaign against a networked control system (NCS), and take the perspective of a defender/control system operator who has successfully isolated the cyber intruder. To better understand the adversary's intentions and to drive up their operating costs, the defender directs the adversary towards a ``honeypot" that emulates a real control system and without actual connections to a physical plant. We propose a strategy for adversary engagement within the ``honey" control system to increase the adversary's costs of information processing. We assume that, based on an understanding of the adversary's control theoretic goals, cyber threat intelligence (CTI) provides the defender knowledge of the adversary's preferences for information acquisition. We use this knowledge to spoof sensor readings to maximize the amount of information the adversary consumes while making it (information theoretically) difficult for the adversary to detect that they are being spoofed. We discuss the case of imperfect versus perfect threat intelligence and perform a numerical comparison. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Comments: 8 pages, 5 figures, to appear in the Proceedings of the 2024 IEEE MILCOM Workshop on Threat Informed Defense Technologies

Mono-cluster flocking and uniform-in-time stability of the discrete Motsch-Tadmor model

Authors: Seung-Yeal Ha, Franca Hoffmann, Dohyeon Kim, Wook Yoon

Abstract: The Motsch-Tadmor (MT) model is a variant of the Cucker-Smale model with a normalized communication weight function. The normalization poses technical challenges in analyzing the collective behavior due to the absence of conservation of momentum. We study three quantitative estimates for the discrete-time MT model considering the first-order Euler discretization. First, we provide a sufficient fra… ▽ More The Motsch-Tadmor (MT) model is a variant of the Cucker-Smale model with a normalized communication weight function. The normalization poses technical challenges in analyzing the collective behavior due to the absence of conservation of momentum. We study three quantitative estimates for the discrete-time MT model considering the first-order Euler discretization. First, we provide a sufficient framework leading to the asymptotic mono-cluster flocking. The proposed framework is given in terms of coupling strength, communication weight function, and initial data. Second, we show that the continuous transition from the discrete MT model to the continuous MT model can be made uniformly in time using the finite-time convergence result and asymptotic flocking estimate. Third, we present uniform-in-time stability estimates for the discrete MT model. We also provide several numerical examples and compare them with analytical results. △ Less

Submitted 19 July, 2024; originally announced August 2024.

MSC Class: 34D06; 34D20

Measure-valued death state and local sensitivity analysis for Winfree models with uncertain high-order couplings

Authors: Seung-Yeal Ha, Myeongju Kang, Jaeyoung Yoon, Mattia Zanella

Abstract: We study the measure-valued death state and local sensitivity analysis of the Winfree model and its mean-field counterpart with uncertain high-order couplings. The Winfree model is the first mathematical model for synchronization, and it can cast as the effective approximation of the pulse-coupled model for synchronization, and it exhibits diverse asymptotic patterns depending on system parameters… ▽ More We study the measure-valued death state and local sensitivity analysis of the Winfree model and its mean-field counterpart with uncertain high-order couplings. The Winfree model is the first mathematical model for synchronization, and it can cast as the effective approximation of the pulse-coupled model for synchronization, and it exhibits diverse asymptotic patterns depending on system parameters and initial data. For the proposed models, we present several frameworks leading to oscillator death in terms of system parameters and initial data, and the propagation of regularity in random space. We also present several numerical tests and compare them with analytical results. △ Less

Submitted 21 January, 2025; v1 submitted 22 April, 2024; originally announced April 2024.

Journal ref: Communications in Mathematical Sciences, 23 (2025), 1583-1629

On the comparison between phenomenological and kinetic theories of gas mixtures with applications to flocking

Authors: Gi-Chan Bae, Seung-Yeal Ha, Gyuyoung Hwang, Tommaso Ruggeri

Abstract: We study the compression between the phenomenological and kinetic models for a mixture of gases from the viewpoint of collective dynamics. In the case in which constituents are Eulerian gases, balance equations for mass, momentum, and energy are the same in the main differential part, but production terms due to the interchanges between constituents are different. They coincide only when the therm… ▽ More We study the compression between the phenomenological and kinetic models for a mixture of gases from the viewpoint of collective dynamics. In the case in which constituents are Eulerian gases, balance equations for mass, momentum, and energy are the same in the main differential part, but production terms due to the interchanges between constituents are different. They coincide only when the thermal and mechanical diffusion are sufficiently small. In this paper, we first verify that both models satisfy the universal requirements of conservation laws of total mass, momentum, and energy, Galilean invariance and entropy principle. Following the work of Ha and Ruggeri (ARMA 2017), we consider spatially homogeneous models which correspond to the generalizations of the Cucker Smale model with the thermal effect. In these circumstances, we provide analytical results for the comparison between two resulting models and also present several numerical simulations to complement analytical results. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 45 pages, 12 figures

MSC Class: 34C60; 34E10; 35L65

Discrete Consensus-Based Optimization

Authors: Junhyeok Byeon, Seung-Yeal Ha, Joong-Ho Won

Abstract: We propose Discrete Consensus-Based Optimization (DCBO), a fully discrete version of the Consensus-Based Optimization (CBO) framework. DCBO is a multi-agent method for the global optimization of possibly non-convex and non-differentiable functions. It aligns with the CBO paradigm, which promotes a consensus among agents towards a global optimum through simple stochastic dynamics amenable to rigoro… ▽ More We propose Discrete Consensus-Based Optimization (DCBO), a fully discrete version of the Consensus-Based Optimization (CBO) framework. DCBO is a multi-agent method for the global optimization of possibly non-convex and non-differentiable functions. It aligns with the CBO paradigm, which promotes a consensus among agents towards a global optimum through simple stochastic dynamics amenable to rigorous mathematical analysis. Despite the promises, there has been a gap between the analysis of CBO and the actual behavior of the agents from its time-discrete implementation, as the former has focused on the system of continuous stochastic differential equations defining the model or its mean-field approximation. In particular, direct analysis of CBO-type algorithms with heterogeneous stochasticity is very challenging. DCBO distinguishes itself from these approaches in the sense that it has no continuous counterpart, thanks to the replacement of the "softmin" operator with the "hardmin" one, which is inherently discrete. Yet, it maintains the operational principles of CBO and allows for rich mathematical analysis. We present conditions, independent of the number of agents, for achieving a consensus or convergence and study the circumstances under which global optimization occurs. We test DCBO on a large number of benchmark functions to show its merits. We also demonstrate that DCBO is applicable to a diverse range of real-world problems, including neural network training, compressed sensing, and portfolio optimization, with competitive performance. △ Less

Submitted 16 April, 2024; v1 submitted 5 March, 2024; originally announced March 2024.

MSC Class: 37H10; 37N40; 65K10

On the emergent dynamics of the infinite set of Kuramoto oscillators

Authors: Seung-Yeal Ha, Euntaek Lee, Woojoo Shim

Abstract: We propose an infinite Kuramoto model for a countably infinite set of Kuramoto oscillators and study its emergent dynamics for two classes of network topologies. For a class of symmetric and row(or column)-summable network topology, we show that a homogeneous ensemble exhibits complete synchronization, and the infinite Kuramoto model can cast as a gradient flow, whereas we obtain a weak synchroniz… ▽ More We propose an infinite Kuramoto model for a countably infinite set of Kuramoto oscillators and study its emergent dynamics for two classes of network topologies. For a class of symmetric and row(or column)-summable network topology, we show that a homogeneous ensemble exhibits complete synchronization, and the infinite Kuramoto model can cast as a gradient flow, whereas we obtain a weak synchronization estimate, namely practical synchronization for a heterogeneous ensemble. Unlike with the finite Kuramoto model, phase diameter can be constant for some class of network topologies which is a novel feature of the infinite model. We also consider a second class of network topology (so-called a sender network) in which coupling strengths are proportional to a constant that depends only on sender's index number. For this network topology, we have a better control on emergent dynamics. For a homogeneous ensemble, there are only two possible asymptotic states, complete phase synchrony or bi-cluster configuration in any positive coupling strengths. In contrast, for a heterogeneous ensemble, complete synchronization occurs exponentially fast for a class of initial configuration confined in a quarter arc. △ Less

Submitted 3 October, 2023; v1 submitted 28 September, 2023; originally announced September 2023.

MSC Class: 34D05; 34G20; 70F45

Thermodynamic Cucker-Smale ensemble with unit speed and its sufficient framework for collision avoidance

Authors: Hyunjin Ahn, Junhyeok Byeon, Seung-Yeal Ha

Abstract: We investigate a Cucker-Smale-type flocking model for multi-agent systems that move with constant speed. The model incorporates both kinematic observables and internal energy (temperatures) in the agents' interactions. Traditionally, collision avoidance in the absence of speed limitation is achieved by introducing singularities into the communication rule. However, when a unit speed constraint is… ▽ More We investigate a Cucker-Smale-type flocking model for multi-agent systems that move with constant speed. The model incorporates both kinematic observables and internal energy (temperatures) in the agents' interactions. Traditionally, collision avoidance in the absence of speed limitation is achieved by introducing singularities into the communication rule. However, when a unit speed constraint is applied, the mechanism of collision avoidance can differ, and the singularity may not necessarily prevent collisions. In this paper, we propose a framework that generates collision avoidance, asymptotic flocking, thermal equilibrium, and strict spacing between agents, subject to sufficient conditions expressed by the initial condition, system parameters, and degree of singularity. △ Less

Submitted 3 April, 2023; originally announced April 2023.

MSC Class: 82C10 82C22 35B37

Emergent dynamics of the generalized Winfree model]{Emerging asymptotic patterns in a Winfree ensemble with higher-order couplings

Authors: Dongnam Ko, Seung-Yeal Ha, Jaeyoung Yoon

Abstract: The Winfree model is a phase-coupled synchronization model which simplifies pulse-coupled models such as the Peskin model on pacemaker cells. It is well-known that the Winfree ensemble with the first-order coupling exhibits discrete asymptotic patterns such as incoherence, locking and death depending on the coupling strength and variance of natural frequencies. In this paper, we further study high… ▽ More The Winfree model is a phase-coupled synchronization model which simplifies pulse-coupled models such as the Peskin model on pacemaker cells. It is well-known that the Winfree ensemble with the first-order coupling exhibits discrete asymptotic patterns such as incoherence, locking and death depending on the coupling strength and variance of natural frequencies. In this paper, we further study higher-order couplings which makes the dynamics more close to the behaviors of the Peskin model. For this, we propose several sufficient frameworks for asymptotic patterns compared to the first-order coupling model. Our proposed conditions on the coupling strength, natural frequencies and initial data are independent of the number of oscillators so that they can be applied to the corresponding mean-field model. We also provide several numerical simulations and compare them with analytical results. △ Less

Submitted 6 February, 2023; originally announced February 2023.

Comments: 30 pages, 21 figures

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

Authors: Hyunjin Ahn, Junhyeok Byeon, Seung-Yeal Ha, Jaeyoung Yoon

Abstract: 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 bondin… ▽ More 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. △ Less

Submitted 18 January, 2023; originally announced January 2023.

Comments: 39 pages, 1 figure

MSC Class: 82C05; 82C22

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

Authors: Hyunjin Ahn, Junhyeok Byeon, Seung-Yeal Ha, Jaeyoung Yoon

Abstract: 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, initia… ▽ More 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. △ Less

Submitted 6 May, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 37 pages, 5 figures

MSC Class: 34D06; 70F10; 70G60; 92D25

An algebraic approach for the weak coupling of multiple Lohe tensor models

Authors: Seung-Yeal Ha, Dohyun Kim, Hansol Park

Abstract: We present a systematic algebraic approach for the weak coupling of Cauchy problems to multiple Lohe tensor models. For this, we identify an admissible Cauchy problem to the Lohe tensor (LT) model with a characteristic symbol consisting of four tuples in terms of a size vector, a natural frequency tensor, a coupling strength tensor and admissible initial configuration. In this way, the collection… ▽ More We present a systematic algebraic approach for the weak coupling of Cauchy problems to multiple Lohe tensor models. For this, we identify an admissible Cauchy problem to the Lohe tensor (LT) model with a characteristic symbol consisting of four tuples in terms of a size vector, a natural frequency tensor, a coupling strength tensor and admissible initial configuration. In this way, the collection of all admissible Cauchy problems to the LT models is equivalent to the space of characteristic symbols. On the other hand, we introduce a binary operation, namely "{\it fusion operation}" as a binary operation between the characteristic symbols. It turns out that the fusion operation satisfies the associativity and admits the identity element in the space of characteristic symbols which naturally forms a monoid. By virtue of the fusion operation, the weakly coupled system of multiple LT models can be obtained by applying the fusion operation of multiple characteristic symbols corresponding to the LT models. As a concrete example, we consider a weak coupling of the swarm sphere model and the Lohe matrix model, and provide a sufficient framework leading to emergent dynamics to the proposed weakly coupled model. △ Less

Submitted 28 December, 2021; originally announced December 2021.

Relaxation dynamics of SIR-flocks with random epidemic states

Authors: Seung-Yeal Ha, Hansol Park, Seoyeon Yang

Abstract: We study the collective dynamics of a multi-particle system with three epidemic states as an internal state. For the collective modeling of active particle system, we adopt modeling spirits from the swarmalator model and the SIR epidemic model for the temporal evolution of particles' position and internal states. Under suitable assumptions on system parameters and non-collision property of initial… ▽ More We study the collective dynamics of a multi-particle system with three epidemic states as an internal state. For the collective modeling of active particle system, we adopt modeling spirits from the swarmalator model and the SIR epidemic model for the temporal evolution of particles' position and internal states. Under suitable assumptions on system parameters and non-collision property of initial spatial configuration, we show that the proposed model does not admit finite-time collisions so that the standard Cauchy-Lipschitz theory can be applied for the global well-posedness. For the relaxation dynamics, we provide several sufficient frameworks leading to the relaxation dynamics of the proposed model. The proposed sufficient frameworks are formulated in terms of system parameters and initial configuration. Under such sufficient frameworks, we show that the state configuration relaxes to the fixed constant configuration via the exponentially perturbed gradient system and explicit dynamics of the SIR model. We present explicit lower and upper bounds for the minimal and maximal relative distances. △ Less

Submitted 29 October, 2021; originally announced October 2021.

Emergence of a periodically rotating one-point cluster in a thermodynamic Cucker-Smale ensemble

Authors: Hangjun Cho, Linglong Du, Seung-Yeal Ha

Abstract: We study emergent behaviors of thermomechanical Cucker-Smale (TCS) ensemble confined in a harmonic potential field. In the absence of external force field, emergent dynamics of TCS particles has been extensively studied recently under various frameworks formulated in terms of initial configuration, system parameters and network topologies. Moreover, the TCS model does not exhibit rotating motions… ▽ More We study emergent behaviors of thermomechanical Cucker-Smale (TCS) ensemble confined in a harmonic potential field. In the absence of external force field, emergent dynamics of TCS particles has been extensively studied recently under various frameworks formulated in terms of initial configuration, system parameters and network topologies. Moreover, the TCS model does not exhibit rotating motions in the absence of an external force field. In this paper, we show the emergence of periodically rotating one-point cluster for the TCS model in a harmonic potential field using elementary energy estimates and continuity argument. We also provide several numerical simulations and compare them with analytical results. △ Less

Submitted 22 October, 2021; originally announced October 2021.

A Constrained Consensus Based Optimization algorithm and its Application to Finance

Authors: Hyeong-Ohk Bae, Seung-Yeal Ha, Myeongju Kang, Hyuncheul Lim, Chanho Min, Jane Yoo

Abstract: In this paper, we propose a predictor-corrector type Consensus Based Optimization (CBO) algorithm on a convex feasible set. Our proposed algorithm generalizes the CBO algorithm in [11] to tackle a constrained optimization problem for the global minima of the non-convex function defined on a convex domain. As a practical application of the proposed algorithm, we study the portfolio optimization pro… ▽ More In this paper, we propose a predictor-corrector type Consensus Based Optimization (CBO) algorithm on a convex feasible set. Our proposed algorithm generalizes the CBO algorithm in [11] to tackle a constrained optimization problem for the global minima of the non-convex function defined on a convex domain. As a practical application of the proposed algorithm, we study the portfolio optimization problem in finance. In this application, we introduce an objective function to choose the optimal weight on each asset in a asset-bundle which yields the maximal expected returns given a certain level of risks. Simulation results show that our proposed predictor-corrector type model is successful in finding the optimal value. △ Less

Submitted 12 October, 2021; v1 submitted 9 October, 2021; originally announced October 2021.

Collective Dynamics of Lohe type aggregation models

Authors: Seung-Yeal Ha, Dohyun Kim

Abstract: In this paper, we review state-of-the-art results on the collective behaviors for Lohe type first-order aggregation models. Collective behaviors of classical and quantum many-body systems have received lots of attention from diverse scientific disciplines such as applied mathematics, control theory in engineering, nonlinear dynamics of statistical physics, etc. To model such collective dynamics, s… ▽ More In this paper, we review state-of-the-art results on the collective behaviors for Lohe type first-order aggregation models. Collective behaviors of classical and quantum many-body systems have received lots of attention from diverse scientific disciplines such as applied mathematics, control theory in engineering, nonlinear dynamics of statistical physics, etc. To model such collective dynamics, several phenomenological models were proposed in literature and their emergent dynamics were extensively studied in recent years. Among them, we present two Lohe type models: the Lohe tensor (LT) model and the Schrodinger-Lohe mode}, and present several sufficient conditions in unified frameworks via the Lyapunov functional approach for state diameters and dynamical systems theory approach for two-point correlation functions. We also present several numerical simulation results for the SL model. △ Less

Submitted 23 August, 2021; originally announced August 2021.

Convergence analysis of the discrete consensus-based optimization algorithm with random batch interactions and heterogeneous noises

Authors: Dongnam Ko, Seung-Yeal Ha, Shi Jin, Doheon Kim

Abstract: We present stochastic consensus and convergence of the discrete consensus-based optimization (CBO) algorithm with random batch interactions and heterogeneous external noises. Despite the wide applications and successful performance in many practical simulations, the convergence of the discrete CBO algorithm was not rigorously investigated in such a generality. In this work, we introduce a generali… ▽ More We present stochastic consensus and convergence of the discrete consensus-based optimization (CBO) algorithm with random batch interactions and heterogeneous external noises. Despite the wide applications and successful performance in many practical simulations, the convergence of the discrete CBO algorithm was not rigorously investigated in such a generality. In this work, we introduce a generalized discrete CBO algorithm with a weighted representative point and random batch interactions, and show that the proposed discrete CBO algorithm exhibits stochastic consensus and convergence toward the common equilibrium state exponentially fast under suitable assumptions on system parameters. For this, we recast the given CBO algorithm with random batch interactions as a discrete consensus model with a random switching network topology, and then we use the mixing property of interactions over sufficiently long time interval to derive stochastic consensus and convergence estimates in mean square and almost sure senses. Our proposed analysis significantly improves earlier works on the convergence analysis of CBO models with full batch interactions and homogeneous external noises. △ Less

Submitted 29 July, 2021; originally announced July 2021.

MSC Class: 37M99; 37N30; 65P99

Emergent behaviors of the kinetic Lohe Hermitian sphere model

Authors: Junhyeok Byeon, Seung-Yeal Ha, Gyuyoung Hwang, Hansol Park

Abstract: We study a global well-posedness of measure-valued solutions to the kinetic Lohe Hermitian sphere(LHS) model derived from the Lohe tensor(LT) model on the set of rank-1 complex tensors(i.e. complex vectors) with the same size and investigate emergent behaviors. The kinetic LHS model corresponds to a complex analogue of the kinetic LS model which has been extensively studied in the literature on th… ▽ More We study a global well-posedness of measure-valued solutions to the kinetic Lohe Hermitian sphere(LHS) model derived from the Lohe tensor(LT) model on the set of rank-1 complex tensors(i.e. complex vectors) with the same size and investigate emergent behaviors. The kinetic LHS model corresponds to a complex analogue of the kinetic LS model which has been extensively studied in the literature on the aggregation modeling of Lohe particles on the unit sphere in Euclidean space. In this paper, we provide several frameworks in terms of system parameters and initial data leading to the local and global well-posedness of measure-valued solutions. In particular, we show emergent behaviors of the kinetic LHS model with the same free flows by analyzing the temporal evolution of the order parameter. △ Less

Submitted 27 April, 2021; originally announced April 2021.

On a generalized Kuramoto model with relativistic effects and emergent dynamics

Authors: Chan Ho Min, Hyunjin Ahn, Seung-Yeal Ha, Myeongju Kang

Abstract: We propose a generalized Kuramoto model with relativistic effects and investigate emergent asymptotic behaviors. The proposed generalized Kuramoto model incorporates relativistic Kuramoto(RK) type models which can be derived from the relativistic Cucker-Smale (RCS) on the unit sphere under suitable approximations. We present several sufficient frameworks leading to complete synchronization in term… ▽ More We propose a generalized Kuramoto model with relativistic effects and investigate emergent asymptotic behaviors. The proposed generalized Kuramoto model incorporates relativistic Kuramoto(RK) type models which can be derived from the relativistic Cucker-Smale (RCS) on the unit sphere under suitable approximations. We present several sufficient frameworks leading to complete synchronization in terms of initial data and system parameters. For the relativistic Kuramoto model, we show that it can be reduced to the Kuramoto model in any finite time interval in a non-relativistic limit. We also provide several numerical examples for two approximations of the relativistic Kuramoto model, and compare them with analytical results. △ Less

Submitted 12 April, 2021; originally announced April 2021.

MSC Class: 34D06; 70F10; 70G60; 92D25

Emergent behaviors of rotation matrix flocks

Authors: Razvan C. Fetecau, Seung-Yeal Ha, Hansol Park

Abstract: We derive an explicit form for the Cucker-Smale (CS) model on the special orthogonal group $\mathrm{SO}(3)$ by identifying closed form expressions for geometric quantities such as covariant derivative and parallel transport in exponential coordinates. We study the emergent dynamics of the model by using a Lyapunov functional approach and La Salle's invariance principle. Specifically, we show that… ▽ More We derive an explicit form for the Cucker-Smale (CS) model on the special orthogonal group $\mathrm{SO}(3)$ by identifying closed form expressions for geometric quantities such as covariant derivative and parallel transport in exponential coordinates. We study the emergent dynamics of the model by using a Lyapunov functional approach and La Salle's invariance principle. Specifically, we show that velocity alignment emerges from some admissible class of initial data, under suitable assumptions on the communication weight function. We characterize the $ω$-limit set of the dynamical system and identify a dichotomy in the asymptotic behavior of solutions. Several numerical examples are provided to support the analytical results. △ Less

Submitted 10 March, 2021; originally announced March 2021.

MSC Class: 70G60; 82C10

Emergent behaviors of high-dimensional Kuramoto models on Stiefel manifolds

Authors: Seung-Yeal Ha, Myeongju Kang, Dohyun Kim

Abstract: 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 ex… ▽ More 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. △ Less

Submitted 12 January, 2021; originally announced January 2021.

MSC Class: 34D06; 34C15; 35B35

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

Authors: Seung-Yeal Ha, Gyuyoung Hwang, Hansol Park

Abstract: 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 wo… ▽ More 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. △ Less

Submitted 9 January, 2021; originally announced January 2021.

MSC Class: 82C10; 82C22; 35Q40

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

Authors: Junhyeok Byeon, Seung-Yeal Ha, Hansol Park

Abstract: 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 a… ▽ More 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. △ Less

Submitted 9 January, 2021; originally announced January 2021.

MSC Class: 82C10; 82C22; 35B37

Emergent behaviors in group ring flocks

Authors: Seung-Yeal Ha, Hansol Park

Abstract: We present a first-order aggregation model on a group ring, and study its asymptotic dynamics. In a positive coupling strength regime, we show that the flow generated by the proposed model tends to an equilibrium manifold asymptotically. For this, we introduce a Lyapunov functional which is non-increasing along the flow, and using the temporal decay of the nonlinear functional and the LaSalle inva… ▽ More We present a first-order aggregation model on a group ring, and study its asymptotic dynamics. In a positive coupling strength regime, we show that the flow generated by the proposed model tends to an equilibrium manifold asymptotically. For this, we introduce a Lyapunov functional which is non-increasing along the flow, and using the temporal decay of the nonlinear functional and the LaSalle invariance principle, we show that the flow converges toward an equilibrium manifold asymptotically. We also show that the structure of an equilibrium manifold is strongly dependent on the structure of an underlying group. △ Less

Submitted 15 November, 2020; originally announced November 2020.

MSC Class: 82C10; 82C22; 35B37

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

Authors: Seung-Yeal Ha, Dohyun Kim, Hansol Park, Sang Woo Ryoo

Abstract: 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 c… ▽ More 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. △ Less

Submitted 3 November, 2020; v1 submitted 1 November, 2020; originally announced November 2020.

MSC Class: 34C15; 34D06; 92B25; 92D25

Collective behaviors of the Lohe hermitian sphere model with inertia

Authors: Seung-Yeal Ha, Myeongju Kang, Hansol Park

Abstract: 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… ▽ More 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. △ Less

Submitted 18 September, 2020; originally announced September 2020.

An intrinsic aggregation model on the special orthogonal group $\mathrm{SO}(3)$: well-posedness and collective behaviours

Authors: Razvan C. Fetecau, Seung-Yeal Ha, Hansol Park

Abstract: We investigate an aggregation model with intrinsic interactions on the special orthogonal group $SO(3)$. We consider a smooth interaction potential that depends on the squared intrinsic distance, and establish local and global existence of measure-valued solutions to the model via optimal mass transport techniques. We also study the long-time behaviours of such solutions, where we present sufficie… ▽ More We investigate an aggregation model with intrinsic interactions on the special orthogonal group $SO(3)$. We consider a smooth interaction potential that depends on the squared intrinsic distance, and establish local and global existence of measure-valued solutions to the model via optimal mass transport techniques. We also study the long-time behaviours of such solutions, where we present sufficient conditions for the formation of asymptotic consensus. The analytical results are illustrated with numerical experiments that exhibit various asymptotic patterns. △ Less

Submitted 26 August, 2020; originally announced August 2020.

Comments: 47 pages, 2 figures

MSC Class: 35A01; 35B40; 37C05; 58J90

Journal ref: J. Nonlinear Sci. Vol. 31, Issue 5, Article: 74, 2021

Emergent dynamics of the Lohe Hermitian sphere model with frustration

Authors: Seung-Yeal Ha, Myeongju Kang, Hansol Park

Abstract: We study emergent dynamics of the Lohe hermitian sphere(LHS) model which can be derived from the Lohe tensor model \cite{H-P2} as a complex counterpart of the Lohe sphere(LS) model. The Lohe hermitian sphere model describes aggregate dynamics of point particles on the hermitian sphere $\bbh\bbs^d$ lying in ${\mathbb C}^{d+1}$, and the coupling terms in the LHS model consist of two coupling terms.… ▽ More We study emergent dynamics of the Lohe hermitian sphere(LHS) model which can be derived from the Lohe tensor model \cite{H-P2} as a complex counterpart of the Lohe sphere(LS) model. The Lohe hermitian sphere model describes aggregate dynamics of point particles on the hermitian sphere $\bbh\bbs^d$ lying in ${\mathbb C}^{d+1}$, and the coupling terms in the LHS model consist of two coupling terms. For identical ensemble with the same free flow dynamics, we provide a sufficient framework leading to the complete aggregation in which all point particles form a giant one-point cluster asymptotically. In contrast, for non-identical ensemble, we also provide a sufficient framework for the practical aggregation. Our sufficient framework is formulated in terms of coupling strengths and initial data. We also provide several numerical examples and compare them with our analytical results. △ Less

Submitted 7 August, 2020; originally announced August 2020.

MSC Class: 82C10 82C22 35B37

Emergent behaviors of Cucker-Smale flocks on the hyperboloid

Authors: Hyunjin Ahn, Seung-Yeal Ha, Hansol Park, Woojoo Shim

Abstract: We study emergent behaviors of Cucker-Smale(CS) flocks on the hyperboloid $\mathbb{H}^d$ in any dimensions. In a recent work \cite{H-H-K-K-M}, a first-order aggregation model on the hyperboloid was proposed and its emergent dynamics was analyzed in terms of initial configuration and system parameters. In this paper, we are interested in the second-order modeling of Cucker-Smale flocks on the hyper… ▽ More We study emergent behaviors of Cucker-Smale(CS) flocks on the hyperboloid $\mathbb{H}^d$ in any dimensions. In a recent work \cite{H-H-K-K-M}, a first-order aggregation model on the hyperboloid was proposed and its emergent dynamics was analyzed in terms of initial configuration and system parameters. In this paper, we are interested in the second-order modeling of Cucker-Smale flocks on the hyperboloid. For this, we derive our second-order model from the abstract CS model on complete and smooth Riemannian manifolds by explicitly calculating the geodesic and parallel transport. Velocity alignment has been shown by combining general {velocity alignment estimates} for the abstract CS model on manifolds and verifications of a priori estimate of second derivative of energy functional. For the two-dimensional case $\mathbb{H}^2$, similar to the recent result in \cite{A-H-S}, asymptotic flocking admits only two types of asymptotic scenarios, either convergence to a rest state or a state lying on the same plane (coplanar state). We also provide several numerical simulations to illustrate an aforementioned dichotomy on the asymptotic dynamics of the hyperboloid CS model on $\mathbb{H}^2$. △ Less

Submitted 6 July, 2020; originally announced July 2020.

MSC Class: 82C10; 82C22; 35B37

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

Authors: Seung-Yeal Ha, Hansol Park

Abstract: 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… ▽ More 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. △ Less

Submitted 20 June, 2020; originally announced June 2020.

MSC Class: 82C10 82C22 35B37

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

Authors: Seung-Yeal Ha, Sang Woo Ryoo

Abstract: 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 sug… ▽ More 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. △ Less

Submitted 10 April, 2020; originally announced April 2020.

Comments: 45 pages, to appear in Comm. Math. Phys

MSC Class: 15B48; 92D25

Emergent behaviors of Thermodynamic Kuramoto ensemble on a regular ring lattice

Authors: Seung-Yeal Ha, Hansol Park, Tommaso Ruggeri, Woojoo Shim

Abstract: 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 flock… ▽ More 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. △ Less

Submitted 29 March, 2020; originally announced March 2020.

Comments: 26pages

MSC Class: 34E05; 82C22; 92B25

Convergence and error estimates for time-discrete consensus-based optimization algorithms

Authors: Seug-Yeal Ha, Shi Jin, Doheon Kim

Abstract: We present convergence and error estimates of the time-discrete consensus-based optimization(CBO) algorithms proposed in [arXiv:1909.09249] for general nonconvex functions. In authors' recent work [arxiv: 1910.08239], rigorous error analysis of the first-order consensus-based optimization algorithm proposed in [arXiv:1909.09249] was studied at the particle level without resorting to the kinetic eq… ▽ More We present convergence and error estimates of the time-discrete consensus-based optimization(CBO) algorithms proposed in [arXiv:1909.09249] for general nonconvex functions. In authors' recent work [arxiv: 1910.08239], rigorous error analysis of the first-order consensus-based optimization algorithm proposed in [arXiv:1909.09249] was studied at the particle level without resorting to the kinetic equation via a mean-field limit. However, the error analysis for the corresponding time-discrete algorithm was not done mainly due to lack of discrete analogue of Itô's stochastic calculus. In this paper, we provide a simple and elementary convergence and error analysis for a general time-discrete consensus-based optimization algorithm, which includes the three discrete algorithms in [arXiv:1909.09249]. Our analysis provides numerical stability and convergence conditions for the three algorithms, as well as error estimates to the global minimum. △ Less

Submitted 10 March, 2020; originally announced March 2020.

MSC Class: 37H10; 37N40; 90C26

Emergence of stochastic flocking for the discrete Cucker-Smale model with randomly switching topologies

Authors: Jiu-Gang Dong, Seung-Yeal Ha, Jinwook Jung, Doheon Kim

Abstract: We study emergent dynamics of the discrete Cucker-Smale (in short, DCS) model with randomly switching network topologies. For this, we provide a sufficient framework leading to the stochastic flocking with probability one. Our sufficient framework is formulated in terms of an admissible set of network topologies realized by digraphs and probability density function for random switching times. As e… ▽ More We study emergent dynamics of the discrete Cucker-Smale (in short, DCS) model with randomly switching network topologies. For this, we provide a sufficient framework leading to the stochastic flocking with probability one. Our sufficient framework is formulated in terms of an admissible set of network topologies realized by digraphs and probability density function for random switching times. As examples for the law of switching times, we use the Poisson process and the geometric process and show that these two processes satisfy the required conditions in a given framework so that we have a stochastic flocking with probability one. As a corollary of our flocking analysis, we improve the earlier result [J.-G. Dong, S.-Y. Ha, J. Jung and D. Kim: On the stochastic flocking of the Cucker-Smale flock with randomly switching topologies. arXiv:1911.07390.] on the continuous C-S model. △ Less

Submitted 26 December, 2019; originally announced December 2019.

MSC Class: 39A12; 34D05; 68M10

On the stochastic flocking of the Cucker-Smale flock with randomly switching topologies

Authors: Jiu-Gang Dong, Seung-Yeal Ha, Jinwook Jung, Doheon Kim

Abstract: We present an emergent stochastic flocking dynamics of the Cucker-Smale (CS) ensemble under randomly switching topologies. The evolution of the CS ensemble with randomly switching topologies involves two random components (switching times and choices of network topologies at switching instant). First, we allow switching times for the network topology to be random so that the successive increments… ▽ More We present an emergent stochastic flocking dynamics of the Cucker-Smale (CS) ensemble under randomly switching topologies. The evolution of the CS ensemble with randomly switching topologies involves two random components (switching times and choices of network topologies at switching instant). First, we allow switching times for the network topology to be random so that the successive increments are i.i.d. processes following the common probability distribution. Second, at each switching instant, we choose a network topology randomly from a finite set of admissible network topologies whose union contains a spanning tree. Even for the fixed deterministic network topology, the CS ensemble may not exhibit a mono-cluster flocking depending on the initial data and the decay mode of the communication weight functions measuring the degree of interactions between particles. For the flocking dynamics of the CS ensemble with these two random components, we first use a priori conditions on the network topologies and uniform boundedness of position diameter, and derive the flocking estimates via matrix theory together with a priori conditions, and then replace the a priori condition for the position diameter by some suitable condition on the system parameters and communication weight. The a priori condition on the network topology will be guaranteed by the suitable spanning tree time-blocks with probability one. △ Less

Submitted 17 November, 2019; originally announced November 2019.

Comments: 18 pages

MSC Class: 39A11; 39A12; 34D05; 68M10

Convergence of a first-order consensus-based global optimization algorithm

Authors: Seung-Yeal Ha, Shi Jin, Doheon Kim

Abstract: Global optimization of a non-convex objective function often appears in large-scale machine-learning and artificial intelligence applications. Recently, consensus-based optimization (in short CBO) methods have been introduced as one of the gradient-free optimization methods. In this paper, we provide a convergence analysis for the first-order CBO method in \cite{C-J-L-Z}. Prior to the current work… ▽ More Global optimization of a non-convex objective function often appears in large-scale machine-learning and artificial intelligence applications. Recently, consensus-based optimization (in short CBO) methods have been introduced as one of the gradient-free optimization methods. In this paper, we provide a convergence analysis for the first-order CBO method in \cite{C-J-L-Z}. Prior to the current work, the convergence study was carried out for CBO methods on corresponding mean-field limit, a Fokker-Planck equation, which does not imply the convergence of the CBO method {\it per se}. Based on the consensus estimate directly on the first-order CBO model, we provide a convergence analysis of the first-order CBO method \cite{C-J-L-Z} without resorting to the corresponding mean-field model. Our convergence analysis consists of two steps. In the first step, we show that the CBO model exhibits a global consensus time asymptotically for any initial data, and in the second step, we provide a sufficient condition on system parameters--which is dimension independent-- and initial data which guarantee that the converged consensus state lies in a small neighborhood of the global minimum almost surely. △ Less

Submitted 17 October, 2019; originally announced October 2019.

Comments: 24 pages, 6 figures

MSC Class: 37H10; 37N40; 90C26

Collective stochastic dynamics of the Cucker-Smale ensemble under uncertain communications

Authors: Seung-Yeal Ha, Jinwook Jung, Michael Röckner

Abstract: We present collective dynamics of the Cucker-Smale (C-S) ensemble under random communications. As an effective modeling of the C-S ensemble, we introduce a stochastic kinetic C-S equation with a multiplicative white noise. For the proposed stochastic kinetic model with a multiplicative noise, we present a global well-posedness of strong solutions and their asymptotic flocking dynamics, when initia… ▽ More We present collective dynamics of the Cucker-Smale (C-S) ensemble under random communications. As an effective modeling of the C-S ensemble, we introduce a stochastic kinetic C-S equation with a multiplicative white noise. For the proposed stochastic kinetic model with a multiplicative noise, we present a global well-posedness of strong solutions and their asymptotic flocking dynamics, when initial datum is sufficiently regular, and communication weight function has a positive lower bound. △ Less

Submitted 2 September, 2019; v1 submitted 18 March, 2019; originally announced March 2019.

MSC Class: 35Q82; 35Q92; 35R60

Emergent behaviors of continuous and discrete thermomechanical Cucker-Smale models on general digraphs

Authors: Jiu-Gang Dong, Seung-Yeal Ha, Doheon Kim

Abstract: We present emergent dynamics of continuous and discrete thermomechanical Cucker-Smale(TCS) models equipped with temperature as an extra observable on general digraph. In previous literature, the emergent behaviors of the TCS models were mainly studied on a complete graph, or symmetric connected graphs. Under this symmetric setting, the total momentum is a conserved quantity. This determines the as… ▽ More We present emergent dynamics of continuous and discrete thermomechanical Cucker-Smale(TCS) models equipped with temperature as an extra observable on general digraph. In previous literature, the emergent behaviors of the TCS models were mainly studied on a complete graph, or symmetric connected graphs. Under this symmetric setting, the total momentum is a conserved quantity. This determines the asymptotic velocity and temperature a priori using the initial data only. Moreover, this conservation law plays a crucial role in the flocking analysis based on the elementary $\ell_2$ energy estimates. In this paper, we consider a more general connection topology which is registered by a general digraph, and the weights between particles are given to be inversely proportional to the metric distance between them. Due to this possible symmetry breaking in communication, the total momentum is not a conserved quantity, and this lack of conservation law makes the asymptotic velocity and temperature depend on the whole history of solutions. To circumvent this lack of conservation laws, we instead employ some tools from matrix theory on the scrambling matrices and some detailed analysis on the state-transition matrices. We present two sufficient frameworks for the emergence of mono-cluster flockings on a digraph for the continuous and discrete models. Our sufficient frameworks are given in terms of system parameters and initial data. △ Less

Submitted 6 December, 2018; originally announced December 2018.

Interplay of time-delay and velocity alignment in the Cucker-Smale model on a general digraph

Authors: Jiu-Gang Dong, Seung-Yeal Ha, Doheon Kim

Abstract: We study dynamic interplay between time-delay and velocity alignment in the ensemble of Cucker-Smale (C-S) particles(or agents) on time-varying networks which are modeled by digraphs containing spanning trees. Time-delayed dynamical systems often appear in mathematical models from biology and control theory, and they have been extensively investigated in literature. In this paper, we provide suffi… ▽ More We study dynamic interplay between time-delay and velocity alignment in the ensemble of Cucker-Smale (C-S) particles(or agents) on time-varying networks which are modeled by digraphs containing spanning trees. Time-delayed dynamical systems often appear in mathematical models from biology and control theory, and they have been extensively investigated in literature. In this paper, we provide sufficient frameworks for the mono-cluster flocking to the continuous and discrete C-S models, which are formulated in terms of system parameters and initial data. In our proposed frameworks, we show that the continuous and discrete C-S models exhibit exponential flocking estimates. For the explicit C-S communication weights which decay algebraically, our results exhibit threshold phenomena depending on the decay rate and depth of digraph. We also provide several numerical examples and compare them with our analytical results. △ Less

Submitted 3 December, 2018; originally announced December 2018.

A mean-field limit of the Lohe matrix model and emergent dynamics

Authors: François Golse, Seung-Yeal Ha

Abstract: The Lohe matrix model is a continuous-time dynamical system describing the collective dynamics of group elements in the unitary group manifold, and it has been introduced as a toy model of a non abelian generalization of the Kuramoto phase model. In the absence of couplings, it reduces to the finite-dimensional decoupled free Schrödinger equations with constant Hamiltonians. In this paper, we stud… ▽ More The Lohe matrix model is a continuous-time dynamical system describing the collective dynamics of group elements in the unitary group manifold, and it has been introduced as a toy model of a non abelian generalization of the Kuramoto phase model. In the absence of couplings, it reduces to the finite-dimensional decoupled free Schrödinger equations with constant Hamiltonians. In this paper, we study a rigorous mean-field limit of the Lohe matrix model which results in a Vlasov type equation for the probability density function on the corresponding phase space. We also provide two different settings for the emergent synchronous dynamics of the kinetic Lohe equation in terms of the initial data and the coupling strength. △ Less

Submitted 13 September, 2018; originally announced September 2018.

Comments: 38 pages

MSC Class: 82C10; 82C22; 35B37

Journal ref: Arch. Rational Mech. Anal. 234 (2019) 1445-1491

Emergent behaviors of the Cucker-Smale ensemble under attractive-repulsive couplings and Rayleigh frictions

Authors: Di Fang, Seung-Yeal Ha, Shi Jin

Abstract: In this paper, we revisit an interaction problem of two homogeneous Cucker-Smale (in short C-S) ensembles with attractive-repulsive couplings, possibly under the effect of Rayleigh friction, and study three sufficient frameworks leading to bi-cluster flocking in which two sub-ensembles evolve to two-clusters departing from each other. In previous literature, the interaction problem has been studie… ▽ More In this paper, we revisit an interaction problem of two homogeneous Cucker-Smale (in short C-S) ensembles with attractive-repulsive couplings, possibly under the effect of Rayleigh friction, and study three sufficient frameworks leading to bi-cluster flocking in which two sub-ensembles evolve to two-clusters departing from each other. In previous literature, the interaction problem has been studied in the context of attractive couplings. In our interaction problem, inter-ensemble and intra-ensemble couplings are assumed to be repulsive and attractive respectively. When the Rayleigh frictional forces are turned on, we show that the total kinetic energy is uniformly bounded so that spatially mixed initial configurations evolve toward the bi-cluster configuration asymptotically fast under some suitable conditions on system parameters, communication weight functions and initial configurations. In contrast, when Rayleigh frictional forces are turned off, the flocking analysis is more delicate mainly due to the possibility of an exponential growth of the kinetic energy. In this case, we employ two mutually disjoint frameworks with constant inter-ensemble communication function and exponentially localized inter-ensemble communication functions respectively, and prove the bi-clustering phenomenon in both cases. This work extends the previous work on the interaction problem of C-S ensembles. We also conduct several numerical experiments and compare them with our theoretical results. △ Less

Submitted 12 August, 2018; originally announced August 2018.

Asymptotic stability of the phase-homogeneous solution to the Kuramoto-Sakaguchi equation with inertia

Authors: Young-Pil Choi, Seung-Yeal Ha, Qinghua Xiao, Yinglong Zhang

Abstract: We present the global-in-time existence of strong solutions and its large-time behavior for the Kuramoto-Sakaguchi equation with inertia. The equation describes the evolution of the probability density function for a large ensemble of Kuramoto oscillators under the effects of inertia and stochastic noises. We consider a perturbative framework around the equilibrium, which is a Maxwellian type, and… ▽ More We present the global-in-time existence of strong solutions and its large-time behavior for the Kuramoto-Sakaguchi equation with inertia. The equation describes the evolution of the probability density function for a large ensemble of Kuramoto oscillators under the effects of inertia and stochastic noises. We consider a perturbative framework around the equilibrium, which is a Maxwellian type, and use the classical energy method together with our careful analysis on the macro-micro decomposition. We establish the global-in-time existence and uniqueness of strong solutions when the initial data are sufficiently regular, not necessarily close to the equilibrium, and the noise strength is also large enough. For the large-time behavior, we show the exponential decay of solutions towards the equilibrium under the same assumptions as those for the global regularity of solutions. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Local sensitivity analysis for the Cucker-Smale model with random inputs

Authors: Seung-Yeal Ha, Shi Jin

Abstract: We present pathwise flocking dynamics and local sensitivity analysis for the Cucker-Smale(C-S) model with random communications and initial data. For the deterministic communications, it is well known that the C-S model can model emergent local and global flocking dynamics depending on initial data and integrability of communication function. However, the communication mechanism between agents are… ▽ More We present pathwise flocking dynamics and local sensitivity analysis for the Cucker-Smale(C-S) model with random communications and initial data. For the deterministic communications, it is well known that the C-S model can model emergent local and global flocking dynamics depending on initial data and integrability of communication function. However, the communication mechanism between agents are not a priori clear and needs to be figured out from observed phenomena and data. Thus, uncertainty in communication is an intrinsic component in the flocking modeling of the C-S model. In this paper, we provide a class of admissible random uncertainties which allows us to perform the local sensitivity analysis for flocking and establish stability to the random C-S model with uncertain communication. △ Less

Submitted 11 December, 2017; originally announced December 2017.

Comments: 32 pages