Searcharxiv⌕ Search

arXiv subjects

Hildeberto Jardón-Kojakhmetov

Publications and source records attributed to Hildeberto Jardón-Kojakhmetov.

At least 19 recordsLinked to original sources

Singular basins in multiscale systems: tunneling between stable states

Real-world systems often evolve on different timescales and possess multiple coexisting stable states. Whether or not a system returns to a given stable state after being perturbed away from it depends on the shape and extent of its basin of attraction. We show that basins of attraction in multiscale systems can exhibit special geometric properties in the form of singular funnels. Although singular funnels are narrow, they can extend to different regions of the phase space and, unexpectedly, impact the system's resilience to perturbations. Consequently, singular funnels may prevent common dimensionality reductions in the limit of large timescale separation, such as the quasi-static approximation, adiabatic elimination and time-averaging of the fast variables. We refer to basins of attraction with singular funnels as singular basins. We show that singular basins are universal and occur robustly in a range of multiscale systems: the normal form of a pitchfork bifurcation with a slowly adapting parameter, an adaptive active rotator, and an adaptive network of phase rotators.

math.DS↗

Hopf-Bautin and homoclinic bifurcations in a Saltzman-Maasch model with cubic feedback

This paper investigates a deterministic variant of the Saltzman-Maasch model for Pleistocene glacial cycles, formulated as a three-dimensional dynamical system with cubic feedback in the atmospheric carbon dioxide equation. After reducing the model to a planar system on a critical manifold, we perform a detailed bifurcation analysis and analytically identify both Hopf and Bautin (generalized Hopf) bifurcations, which govern the emergence of stable and unstable limit cycles. To analyze global transitions, we perform a rescaling of time and variables to derive a leading-order Hamiltonian system. This reduction enables the explicit construction of homoclinic orbits and the application of Melnikov's method to assess their persistence under perturbations. The analytical predictions are further validated through numerical continuation and simulations, providing a rigorous foundation for previously reported numerical observations and establishing, in particular, the analytical existence of Bautin bifurcations, homoclinic connections via Melnikov analysis, and a systematic slow--fast geometric reduction of the model.

math.DS↗

Strategic control for a Boltzmann like decision-making model

We study a prototypical non-polynomial decision-making model for which agents in a population potentially alternate between two consumption strategies, one related to the exploitation of an unlimited but considerably expensive resource and the other a comparably cheaper but restricted and slowly renewable source. In particular, we study a model following a Boltzmann-like exploration policy, enhancing the accuracy at which the exchange rates are captured with respect to classical polynomial approaches by considering sigmoidal functions to represent the cost-profit relation in both exploit strategies. Additionally, given the intrinsic timescale separation between the decision-making process and recovery rates of the renewable resource, we use geometric singular perturbation theory to analyze the model. We further use numerical analysis to determine parameter ranges for which the model undergoes bifurcations. These bifurcations, being related to critical states of the system, are relevant to the fast transitions between strategies. Hence, we design controllers to regulate such rapid transitions by taking advantage of the system's criticality.

math.DS↗

Slow-fast dynamics in a planar parasite--host model with an extinction singularity

We study a slow-fast parasite--host model featuring a singularity at the extinction state. Using techniques from Geometric Singular Perturbation Theory (GSPT), and in particular the so-called blow-up method, we desingularize that point and reconstruct the local and global dynamics. The system we consider is in non-standard GSPT form and is characterized by a rich dynamical behavior: families of slow-fast homoclinic orbits, canard-like transitions generated by trajectories that remain close to a repelling critical manifold, and topological changes produced by infinitesimal variations of the infection rate, including the creation and destruction of an endemic equilibrium. We also show that our model is able to reproduce dynamics observed in the spread of the Tasmanian devil facial tumor disease (DFTD), whose behavior resembles the one of a parasite. We conclude with a numerical exploration of the model, to illustrate our analytical results.

math.DS↗

Singular bifurcations in a modified Leslie-Gower model

We study a predator-prey system with a generalist Leslie-Gower predator, a functional Holling type II response, and a weak Allee effect on the prey. The prey's population often grows much faster than its predator, allowing us to introduce a small time scale parameter $\varepsilon$ that relates the growth rates of both species, giving rise to a slow-fast system. Zhu and Liu (2022) show that, in the case of the weak Allee effect, Hopf singular bifurcation, slow-fast canard cycles, relaxation oscillations, etc., exist. Our main contribution lies in the rigorous analysis of a degenerate scenario organized by a (degenerate) transcritical bifurcation. The key tool employed is the blow-up method that desingularizes the degenerate singularity. In addition, we determine the criticality of the singular Hopf bifurcation using recent intrinsic techniques that do not require a local normal form. The theoretical analysis is complemented by a numerical bifurcation analysis, in which we numerically identify and analytically confirm the existence of a nearby Takens-Bogdanov point.

math.DS↗

Co-evolutionary control of a class of coupled mixed-feedback systems

Oscillatory behavior is ubiquitous in many natural and engineered systems, often emerging through self-regulating mechanisms. In this paper, we address the challenge of stabilizing a desired oscillatory pattern in a networked system where neither the internal dynamics nor the interconnections can be changed. To achieve this, we propose two distinct control strategies. The first requires the full knowledge of the system generating the desired oscillatory pattern, while the second only needs local error information. In addition, the controllers are implemented as co-evolutionary, or adaptive, rules of some edges in an extended plant-controller network. We validate our approach in several insightful scenarios, including synchronization and systems with time-varying network structures.

eess.SY↗

On Metzler positive systems on hypergraphs

In graph-theoretical terms, an edge in a graph connects two vertices while a hyperedge of a hypergraph connects any more than one vertices. If the hypergraph's hyperedges further connect the same number of vertices, it is said to be uniform. In algebraic graph theory, a graph can be characterized by an adjacency matrix, and similarly, a uniform hypergraph can be characterized by an adjacency tensor. This similarity enables us to extend existing tools of matrix analysis for studying dynamical systems evolving on graphs to the study of a class of polynomial dynamical systems evolving on hypergraphs utilizing the properties of tensors. To be more precise, in this paper, we first extend the concept of a Metzler matrix to a Metzler tensor and then describe some useful properties of such tensors. Next, we focus on positive systems on hypergraphs associated with Metzler tensors. More importantly, we design control laws to stabilize the origin of this class of Metzler positive systems on hypergraphs. In the end, we apply our findings to two classic dynamical systems: a higher-order Lotka-Volterra population dynamics system and a higher-order SIS epidemic dynamic process. The corresponding novel stability results are accompanied by ample numerical examples.

eess.SY↗

Persistent synchronization of heterogeneous networks with time-dependent linear diffusive coupling

We study synchronization for linearly coupled temporal networks of heterogeneous time-dependent nonlinear agents via the convergence of attracting trajectories of each node. The results are obtained by constructing and studying the stability of a suitable linear nonautonomous problem bounding the evolution of the synchronization errors. Both, the case of the entire network and only a cluster, are addressed and the persistence of the obtained synchronization against perturbation is also discussed. Furthermore, a sufficient condition for the existence of attracting trajectories of each node is given. In all cases, the considered dependence on time requires only local integrability, which is a very mild regularity assumption. Moreover, our results mainly depend on the network structure and its properties, and achieve synchronization up to a constant in finite time. Hence they are quite suitable for applications. The applicability of the results is showcased via several examples: coupled van-der-Pol/FitzHugh-Nagumo oscillators, weighted/signed opinion dynamics, and coupled Lorenz systems.

math.DS↗

Ergodicity in planar slow-fast systems through slow relation functions

In this paper, we study ergodic properties of the slow relation function (or entry-exit function) in planar slow-fast systems. It is well known that zeros of the slow divergence integral associated with canard limit periodic sets give candidates for limit cycles. We present a new approach to detect the zeros of the slow divergence integral by studying the structure of the set of all probability measures invariant under the corresponding slow relation function. Using the slow relation function, we also show how to estimate (in terms of weak convergence) the transformation of families of probability measures that describe initial point distribution of canard orbits during the passage near a slow-fast Hopf point (or a more general turning point). We provide formulas to compute exit densities for given entry densities and the slow relation function. We apply our results to slow-fast Liénard equations.

math.DS↗

The hyperbolic umbilic singularity in fast-slow systems

Fast-slow systems with three slow variables and gradient structure in the fast variables have, generically, hyperbolic umbilic, elliptic umbilic or swallowtail singularities. In this article we provide a detailed local analysis of a fast-slow system near a hyperbolic umbilic singularity. In particular, we show that under some appropriate non-degeneracy conditions on the slow flow, the attracting slow manifolds jump onto the fast regime and fan out as they cross the hyperbolic umbilic singularity. The analysis is based on the blow-up technique, in which the hyperbolic umbilic point is blown up to a 5-dimensional sphere. Moreover, the reduced slow flow is also blown up and embedded into the blown-up fast formulation. Further, we describe how our analysis is related to classical theories such as catastrophe theory and constrained differential equations.

math.DS↗

Networks of Pendula with Diffusive Interactions

We study a system of coupled pendula with diffusive interactions, which could depend both on positions and on momenta. The coupling structure is defined by an undirected network, while the dynamic equations are derived from a Hamiltonian; as such, the energy is conserved. We provide sufficient conditions on the energy for bounded motion, identifying the oscillatory regime. We also describe the bifurcations of synchronised states, exploiting the quantities related to the network structure. Moreover, we consider patterns of anti-synchrony arising from the specific properties of the model. Such patterns can be linked to global properties of the system by looking at motion of the centre of mass. Nonetheless, the anti-synchrony patterns play also a relevant role in the bifurcation analysis. For the case of graphs with a large number of nodes, we characterise the parameter range in which the bifurcations occur. We complement the analysis with some numerical simulations showing the interplay between bifurcations of the origin and transitions to chaos of nearby orbits. A key feature is that the observed chaotic regime emerges at low energies.

math.DS↗

On the analysis of a higher-order Lotka-Volterra model: an application of S-tensors and the polynomial complementarity problem

It is known that the effect of species' density on species' growth is non-additive in real ecological systems. This challenges the conventional Lotka-Volterra model, where the interactions are always pairwise and their effects are additive. To address this challenge, we introduce HOIs (Higher-Order Interactions) which are able to capture, for example, the indirect effect of one species on a second one correlating to a third species. Towards this end, we propose a general higher-order Lotka-Volterra model. We provide an existence result of a positive equilibrium for a non-homogeneous polynomial equation system with the help of S-tensors. Afterward, by utilizing the latter result, as well as the theory of monotone systems and results from the polynomial complementarity problem, we provide comprehensive results regarding the existence, uniqueness, and stability of the corresponding equilibrium. These results can be regarded as natural extensions of many analogous ones for the classical Lotka-Volterra model, especially in the case of full cooperation, competition among two factions, and pure competition. Finally, illustrative numerical examples are provided to highlight our contributions.

eess.SY↗

On discrete-time polynomial dynamical systems on hypergraphs

This paper studies the stability of discrete-time polynomial dynamical systems on hypergraphs by utilizing the Perron-Frobenius theorem for nonnegative tensors with respect to the tensors Z-eigenvalues and Z-eigenvectors. Firstly, for a multilinear polynomial system on a uniform hypergraph, we study the stability of the origin of the corresponding systems. Next, we extend our results to non-homogeneous polynomial systems on non-uniform hypergraphs. We confirm that the local stability of any discrete-time polynomial system is in general dominated by pairwise terms. Assuming that the origin is locally stable, we construct a conservative (but explicit) region of attraction from the system parameters. Finally, we validate our results via some numerical examples.

eess.SY↗

On network dynamical systems with a nilpotent singularity

Network dynamics is nowadays of extreme relevance to model and analyze complex systems. From a dynamical systems perspective, understanding the local behavior near equilibria is of utmost importance. In particular, equilibria with at least one zero eigenvalue play a crucial role in bifurcation analysis. In this paper, we want to shed some light on nilpotent equilibria of network dynamical systems. As a main result, we show that the blow-up technique, which has proven to be extremely useful in understanding degenerate singularities in low-dimensional ordinary differential equations, is also suitable in the framework of network dynamical systems. Most importantly, we show that the blow-up technique preserves the network structure. The further usefulness of the blow-up technique, especially with regard to the desingularization of a nilpotent point, is showcased through several examples including linear diffusive systems, systems with nilpotent internal dynamics, and an adaptive network of Kuramoto oscillators.

math.DS↗

General SIS diffusion process with indirect spreading pathways on a hypergraph

While conventional graphs only characterize pairwise interactions, higher-order networks (hypergraph, simplicial complex) capture multi-body interactions, which is a potentially more suitable modeling framework for a complex real system. However, the introduction of higher-order interactions brings new challenges for the rigorous analysis of such systems on a higher-order network. In this paper, we study a series of SIS-type diffusion processes with both indirect and direct pathways on a directed hypergraph. In a concrete case, the model we propose is based on a specific choice (polynomial) of interaction function (how several agents influence each other when they are in a hyperedge). Then, by the same choice of interaction function, we further extend the system and propose a bi-virus competing model on a directed hypergraph by coupling two single-virus models together. Finally, the most general model in this paper considers an abstract interaction function under single-virus and bi-virus settings. For the single-virus model, we provide the results regarding healthy state and endemic equilibrium. For the bi-virus setting, we further give an analysis of the existence and stability of the healthy state, dominant endemic equilibria, and coexisting equilibria. All theoretical results are finally supported by some numerical examples.

eess.SY↗

Discrete-time Layered-network Epidemics Model with Time-varying Transition Rates and Multiple Resources

This paper studies a discrete-time time-varying multi-layer networked SIWS (susceptible-infected-water-susceptible) model with multiple resources under both single-virus and competing multi-virus settings. Besides the human-to-human interaction, we also consider that the disease can diffuse on different types of medium. We use \emph{resources} to refer to any media that the pathogen of a virus can spread through, and do not restrict the resource only to be water. In the single-virus case, we give a full analysis of the system's behaviour related to its healthy state and endemic equilibrium. In the multi-virus case, we show analytically that different equilibria appear driven by the competition among all viruses. We also show that some analytical results of the time-invariant system can be expanded into time-varying cases. Finally, we illustrate the results through some simulations.

eess.SY↗

Stable Chimera States: A Geometric Singular Perturbation Approach

Over the past decades chimera states have attracted considerable attention given their unexpected symmetry-breaking spatio-temporal nature, simultaneously exhibiting synchronous and incoherent behaviours under specific conditions. Despite relevant precursory results of such unforeseen states for diverse physical and topological configurations, there remain structures and mechanisms yet to be unveiled. In this work, using mean-field techniques, we analyze a multilayer network composed by two populations of heterogeneous Kuramoto phase oscillators with coevolutive coupling strengths. Moreover, we employ Geometric Singular Perturbation Theory (GSPT) with the inclusion of a time-scale separation between the dynamics of the network elements and the adaptive coupling strength connecting them, gaining a better insight into the behaviour of the system from a fast-slow dynamics perspective. Consequently, we derive the necessary and sufficient condition to produce stable chimera states when considering a co-evolutionary intercoupling strength. Additionally, under the aforementioned constraint and with a suitable adaptive law election, it is possible to generate intriguing patterns, such as persistent breathing chimera states. Thereafter, we analyze the geometric properties of the mean-field system with a co-evolutionary intracoupling strength and demonstrate the production of stable chimera states which depend on the associated network. Finally, relaxation oscillations and canard cycles, also related to breathing chimeras, are numerically produced under identified conditions due to the geometry of our system.

math.DS↗

A topological perspective on singular canards for critical sets with transverse intersections

This paper gives a new perspective on singular canards, which is topological in flavour. One key feature is that our construction does not rely on coordinates; consequently, the conditions for the existence of singular canards that we provide are purely geometric. The singularities we study originate at the self-intersection of curves of equilibria of the unperturbed system. Our contribution even allows us to consider degenerate cases of multiple pairwise transverse intersecting branches of the critical set. We employ stratification theory and algebraic geometric properties to provide sufficient conditions leading to the presence of singular canards. By means of two examples, we corroborate our findings using the well-known blow-up technique.

math.DS↗