Data assimilation for networks of coupled oscillators: Inferring unknown model parameters from partial observations

2025-04-04T01:22:51Z

Inferring the state and unknown parameters of a network of coupled oscillators is of utmost importance. This task is made harder when only partial and noisy observations are available, which is a typical scenario in realistic high-dimensional systems. The general task of inference falls under data assimilation, and a commonly used assimilation method is the Ensemble Kalman Filter. Employing network-specific localization of the forecast covariance, an Ensemble Kalman Filter with state space augmentation is shown to yield highly accurate estimates of both the oscillator phases and unknown model parameters in the case where only a subset of oscillator phases are observed. In contrast, standard data assimilation methods yield poor results. We demonstrate the effectiveness of our approach for Kuramoto oscillators and for networks of theta neurons, using a variety of network topologies.

Global Continuation of Stable Periodic Orbits in Systems of Competing Predators

2025-04-03T22:17:20Z

We develop a continuation technique to obtain global families of stable periodic orbits, delimited by transcritical bifurcations at both ends. To this end, we formulate a zero-finding problem whose zeros correspond to families of periodic orbits. We then define a Newton-like fixed-point operator and establish its contraction near a numerically computed approximation of the family. To verify the contraction, we derive sufficient conditions expressed as inequalities on the norms of the fixed-point operator, and involving the numerical approximation. These inequalities are then rigorously checked by the computer via interval arithmetic. To show the efficacy of our approach, we prove the existence of global families in an ecosystem with Holling's type II functional response, and thereby solve a stable connection problem proposed by Butler and Waltler in 1981. Our method does not rely on restricting the choice of parameters and is applicable to many other systems that numerically exhibit global families.

The hybrid matching of Hurwitz systems

2025-04-03T22:01:00Z

In this paper we study planar hybrid systems composed by two stable linear systems, defined by Hurwitz matrices, in addition with a jump that can be a piecewise linear, a polynomial or an analytic function. We provide an explicit analytic necessary and sufficient condition for this class of hybrid systems to be asymptotically stable. We also prove the existence of limit cycles in this class of hybrid systems. Our results can be seen as generalizations of results already obtained in the literature. This was possible due to an embedding of piecewise smooth vector fields in a hybrid structure.

A Method to Estimate a Neighborhood of a Periodic Orbit

2025-04-03T20:14:25Z

In this paper we describe a method to estimate a neighborhood containing a periodic orbit of a given system of two ordinary differential equations. By using the theory of integral averages, the system of differential equations can be transformed into an equivalent autonomous system which, by using the Hopf bifurcation theorem, the existence of a periodic solution of this autonomous nonlinear differential equations can be demonstrated. Using of this procedure it is possible to estimate an annular region where the orbit of the periodic solution is located. The method allows to improve the results that the Hopf Bifurcation provides on periodic solutions. In addition, some quantitative characteristics of the solution can be known, such as the amplitude, the period and, a region where the periodic orbit of the original system is located. The method is applied to a three-dimensional system of differential equations that models the competition of two predators and one prey, which under the assumption that the predators are equally voracious, property that in this case leads to a two-dimensional system, where all of the conditions of the method described here are easily applicable.

Pivoting technique for the circle homeomorphism group

2025-04-03T17:32:18Z

We adapt Gou{\"e}zel's pivoting technique to the circle homeomorphism group. As an application, we give different proofs of Gilabert Vio's probabilistic Tits alternative and Malicet's exponential synchronization.

Bifurcations of the Hénon map with additive bounded noise

2025-04-03T17:17:11Z

We numerically study bifurcations of attractors of the H\'enon map with additive bounded noise with spherical reach. The bifurcations are analysed using a finite-dimensional boundary map. We distinguish between two types of bifurcations: topological bifurcations and boundary bifurcations. Topological bifurcations describe discontinuous changes of attractors and boundary bifurcations occur when singularities of an attractor's boundary are created or destroyed. We identify correspondences between topological and boundary bifurcations of attractors and local and global bifurcations of the boundary map.

Phase transitions for interacting particle systems on random graphs

2025-04-03T16:04:23Z

In this paper, we study weakly interacting diffusion processes on random graphs. Our main focus is on the properties of the mean-field limit and, in particular, on the nonuniqueness of stationary states. By extending classical bifurcation analysis to include multichromatic interaction potentials and random graph structures, we explicitly identify bifurcation points and relate them to the eigenvalues of the graphon integral operator. Furthermore, we characterize the resulting McKean-Vlasov PDE as a gradient flow with respect to a suitable metric. We combine these theoretical results with the spectral analysis of the linearized McKean-Vlasov operator and extensive numerical simulations to gain insight into the stability and long-term behaviour of stationary solutions. In addition, we provide strong evidence that (minus) the interaction energy of the interacting particle system serves as a natural order parameter. In particular, beyond the transition point and for multichromatic interactions, we observe an energy cascade that is strongly linked to the dynamical metastability of the system.

A simple description of blow-up solutions through dynamics at infinity in nonautonomous ODEs

2025-04-03T16:02:39Z

A simple criterion of the existence of (type-I) blow-up solutions for nonautonomous ODEs is provided. In a previous study [Matsue, SIADS, 24(2025), 415-456], geometric criteria for characterizing blow-up solutions for nonautonomous ODEs are provided by means of dynamics at infinity. The basic idea towards the present aim is to correspond such criteria to leading-term equations associated with blow-up ansatz characterizing multiple-order asymptotic expansions, which originated from the corresponding study developed in the framework of autonomous ODEs. Restricting our attention to constant coefficients of leading terms of blow-ups, results involving the simple criterion of blow-up characterizations in autonomous ODEs can be mimicked to nonautonomous ODEs.

Extremum Seeking with High-Order Lie Bracket Approximations: Achieving Exponential Decay Rate

2025-04-03T16:00:53Z

This paper focuses on the further development of the Lie bracket approximation approach for extremum seeking systems. Classical results in this area provide extremum seeking algorithms with exponential convergence rates for quadratic-like cost functions, and polynomial decay rates for cost functions of higher degrees. This paper proposes a novel control design approach that ensures the motion of the extremum seeking system along directions associated with higher-order Lie brackets, thereby ensuring exponential convergence for cost functions that are polynomial-like but with degree greater than two.

Gibbs measures have local product structure

2025-04-03T15:45:07Z

It is well-known that equilibrium measures for uniformly hyperbolic dynamical systems have a local product structure, which plays an important role in their mixing properties. Existing proofs of this fact rely either on transfer operators or on leafwise constructions, and in particular are not well-suited to the approach to thermodynamic formalism based on Bowen's specification property. Here we provide an alternate proof based on the Gibbs property, which fits more comfortably in that approach.

The Zimmer Program for partially hyperbolic actions

2025-04-03T15:44:21Z

Zimmer's superrigidity theorems on higher rank Lie groups and their lattices launched a program of study aiming to classify actions of semisimple Lie groups and their lattices, known as the {\it Zimmer program}. When the group is too large relative to the dimension of the phase space, the Zimmer conjecture predicts that the actions are all virtually trivial. At the other extreme, when the actions exhibit enough regular behavior, the actions should all be of algebraic origin. We make progress in the program by showing smooth conjugacy to a bi-homogeneous model (up to a finite cover) for volume-preserving actions of semisimple Lie groups without compact or rank one factors, which have two key assumptions: partial hyperbolicity for a large class of elements ({\it totally partial hyperbolicity}) and accessibility, a condition on the webs generated by dynamically-defined foliations. We also obtain classification for actions of higher-rank abelian groups satisfying stronger assumptions.

Inducing contractions of the mother of all continued fractions

2025-04-03T07:34:53Z

We introduce a new, large class of continued fraction algorithms producing what are called contracted Farey expansions. These algorithms are defined by coupling two acceleration techniques -- induced transformations and contraction -- in the setting of Shunji Ito's natural extension of the Farey tent map, which generates `slow' continued fraction expansions. In addition to defining new algorithms, we also realise several existing continued fraction algorithms in our unifying setting. In particular, we find regular continued fractions, the second-named author's $S$-expansions, and Nakada's parameterised family of $\alpha$-continued fractions for all $0<\alpha\le 1$ as examples of contracted Farey expansions. Moreover, we give a new description of a planar natural extension for each of the $\alpha$-continued fraction transformations as an explicit induced transformation of Ito's natural extension.

Dynamical Mordell-Lang problem for automorphisms of surfaces in positive characteristic

2025-04-03T05:57:49Z

We solve the dynamical Mordell-Lang problem in positive characteristic for automorphisms of projective surfaces.

Submanifold-genericity of $\mathbb{R}^d$-actions and uniform multiplicative Diophantine approximation

2025-04-03T04:01:49Z

In this paper, we prove a new ergodic theorem for $\mathbb{R}^d$-actions involving averages over dilated submanifolds, thereby generalizing the theory of spherical averages. Our main result is a quantitative estimate for the error term of such averages valid for smooth functions under some effective mixing assumptions on the action. With the aid of this theorem, we investigate multiplicative-type Dirichlet-improvability for $(m\times n)$-matrices with real coefficients. In particular, we establish that almost all matrices are uniformly approximable by the function $x\mapsto x^{-1}(\log x)^{-1+\varepsilon}$ for any $\varepsilon>0$. Results of this type motivate a question which can be thought as a strengthening of Littlewood's conjecture in multiplicative Diophantine approximation.

(S,w)-Gap Shifts and Their Entropy

2025-04-03T03:11:51Z

The $S$-gap shifts have a dynamically and combinatorially rich structure. Dynamical properties of the $S$-gap shift can be related to the properties of the set $S$. This interplay is particularly interesting when $S$ is not syndetic such as when $S$ is the set of prime numbers or when $S=\{2^n\}$. It is a well known result that the entropy of the $S$-gap shift is given by $h(X) = \log \lambda$, where $\lambda>0$ is the unique solution to the equation $\sum_{n \in S} \lambda^{-(n+1)}=1$. Fix a point $w$ of the full shift $\{1,2, \dots, k\}^\mathbb{Z}$. We introduce the $(S,w)$-gap shift which is a generalization of the $S$-gap shift consisting of sequences in $\{0,1, \dots, k\}^\mathbb{Z}$ in which any two $0$'s are separated by a word $u$ appearing in $w$ such that $|u|\in S$. We extend the formula for the entropy of the $S$-gap shift to a formula describing the entropy of this new class of shift spaces. Additionally we investigate the dynamical properties including irreducibility and mixing of this generalization of the $S$-gap shift.