SearcharxivSearch

arXiv subjects

Jaeyoung Yoon

Publications and source records attributed to Jaeyoung Yoon.

11 recordsLinked to original sources

Spectral Selection in Symmetric Self-Attention Dynamics

We study self-attention dynamics on the unit sphere as an interacting particle system arising from an idealized Transformer-type update. Under a symmetry assumption on weight matrices given by $Q^\top K=V=V^\top$, the flow admits a gradient-flow structure and an exact reformulation in the eigenbasis of $V$, revealing a spectral mode-selection mechanism. We show that the dynamics exhibits two distinct asymptotic scenarios: homogeneous alignment toward the dominant eigendirection when one positive eigenvalue strictly dominates all others in modulus, and sign-split polarization toward the most negative eigendirection when $V$ is negative definite. In particular, we obtain local stability criteria for pure-mode equilibria and global selection results in both regimes. These results provide a rigorous finite-particle description of how the spectrum of the weight matrices organizes asymptotic patterns in a symmetric self-attention flow, and highlight how the symmetric setting renders the dynamics amenable to mathematical analysis.

math.DS

Stochastic Modified Equations for Stochastic Gradient Descent in Infinite-Dimensional Hilbert Spaces

Inverse problems in scientific computing often require optimization over infinite-dimensional Hilbert spaces. A commonly used solver in such settings is stochastic gradient descent (SGD), where gradients are approximated using randomly sampled sub-objective functions. In this work we study the continuous-time limit of SGD in the small step-size regime. We show that the discrete dynamics can be approximated by a stochastic differential equation (SDE) driven by cylindrical Brownian motion. The analysis extends diffusion-approximation results previously established in Euclidean spaces to the infinite-dimensional setting. Two analytical difficulties arise in this extension. First, the cylindrical nature of the noise requires establishing well-posedness of the resulting stochastic evolution equation through appropriate structural conditions on the covariance operator. Second, since the randomness in SGD originates from discrete sampling while the limiting equation is driven by Gaussian noise, the comparison between the two dynamics must be carried out in a weak sense. We therefore introduce a suitable class of smooth functionals on the Hilbert space and prove that the discrepancy between SGD and the limiting SDE, when evaluated through these functionals, is of second order in the step size. Numerical experiments confirm the predicted convergence behavior.

math.OC

Existence of periodic measure-valued solutions to the nonlocal continuity equation via optimal transport

We investigate the existence of periodic solutions for a class of nonlocal continuity equations, which include mean-field equations derived from systems of coupled oscillators. While periodic solutions at the particle level have been studied through the construction of a Poincaré map on a section of an invariant set, extending this analysis to the level of continuity equations presents nontrivial challenges. In particular, setting an appropriate topology for the infinite-dimensional space to show invariance and apply the fixed point argument is not easy. To overcome this difficulty, we use fixed point theorem for geodesically convex spaces constructed by optimal transportation. Specifically, from the disintegration with respect to stationary variable, we define a metric using the Wasserstein-$2$ distance over one-dimensional space, which yields a $CAT(0)$ space. In this topology, we construct an invariance set of probability measures and prove the existence of the periodic measure-valued solution from Schauder's fixed point theorem on geodesically convex spaces. As a corollary, our method directly gives an existence of periodic graph measure solution.

math.DS

CBO algorithm with average drift and applications to portfolio optimization

We propose a consensus based optimization algorithm with average drift (in short Ad-CBO) and provide a theoretical framework for it. In the theoretical analysis, we show that particle solutions to Ad-CBO converge to a global minimizer. In numerical simulations, we examine Ad-CBO's performance in optimizing static and dynamic objective functions. As a real-time application, we test the efficiency of Ad-CBO to find the optimal portfolio given stochastically evolving multi-asset prices in a financial market. The proposed Ad-CBO exhibits higher searching speed, lower tracking errors and regret bound than the CBO without stochastic diffusion

math.OC

Stability of Phase-Locked States in Signed Kuramoto Networks: Structure versus Adaptation

Adaptive Kuramoto models admit a variety of nontrivial phase-locked configurations, including antipodal and rotating-wave states. A central open question is whether the observed persistence of such configurations can be attributed to intrinsic properties of the associated signed interaction networks, or whether it relies essentially on adaptive coupling dynamics. To address this question, we study the stability of antipodal and rotating-wave phase configurations on fixed signed networks that preserve the same phase symmetries but are not generated by adaptive dynamics. We show that for two canonical classes of static signed networks, stability is highly constrained, with unstable modes persisting under parameter variations generically, and we characterize how adaptive coupling influences invariant sets and basins of attraction for the configurations where stability is permitted. Taken together, these results show that while static network structure imposes severe constraints on the stability of phase-locked configurations, adaptive coupling dynamics organize and delineate their robustness when stability is permitted.

math.DS

Adaptive Cucker-Smale Networks: Limiting Laplacian Time-Varying Dynamics

Differences in opinion can be seen as distances between individuals, and such differences do not always vanish over time. In this paper, we propose a modeling framework that captures the formation of opinion clusters, based on extensions of the Cucker Smale and Hegselmann Krause models to a combined adaptive (or co-evolutionary) network. Reducing our model to a singular limit of fast adaptation, we mathematically analyze the asymptotic behavior of the resulting Laplacian dynamics over various classes of temporal graphs and use these results to explain the behavior of the original proposed adaptive model for fast adaptation. In particular, our approach provides a general methodology for analyzing linear consensus models over time-varying networks that naturally arise as singular limits in many adaptive network models.

math.DS

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

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.

math.AP

Geometrical determinant of nonlinear synaptic integration in human cortical pyramidal neurons

Neurons integrate synaptic inputs and convert them to action potential output at electrically distant locations. The computational power of a neuron is hence enhanced by subcellular compartmentalization and nonlinear synaptic integration, but the biophysical determinants of these features in human neurons are not completely understood. By examining the synaptic input-output function of human neocortical pyramidal neurons, we found that the nonlinearity threshold at the soma was linearly determined by the shortest path distance from the synapse to the apical trunk, and the slope of this relationship was consistent throughout the dendritic arbor. Analogous rules were found from both supragranular and infragranular layers of the rodent cortex, suggesting that these represent a fundamental property of pyramidal neurons. Additionally, we found that neurons associated with tumor or epilepsy had distinct membrane properties, but the nonlinearity threshold was shifted in amplitude such that the slope of its relationship with synaptic distance remained consistent.

q-bio.NC

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

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.

math.DS

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.

math.DS

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.

math.DS