http://arxiv.org/api/7+dYL0QZ5/Cyxhwhzx30XC9pSv8 2025-04-22T00:00:00-04:00 39155 75 15 http://arxiv.org/abs/2504.11040v1 2025-04-15T10:05:29Z 2025-04-15T10:05:29Z

We study dynamical systems with the property that all the nontrivial factors have infinite topological entropy (or, positive mean dimension). We establish an ``if and only if'' condition for this property among a typical class of dynamical systems, the subshifts of block type in the Hilbert cube. This in particular leads to a large class of concrete (and new) examples of dynamical systems having this property.

Lei Jin Yixiao Qiao http://arxiv.org/abs/2504.06773v2 2025-04-15T09:15:40Z 2025-04-09T10:54:35Z

In this article we investigate the fragility of invariant Lagrangian graphs for dissipative maps, focusing on their destruction under small perturbations. Inspired by Herman's work on conservative systems, we prove that all $C^0$-invariant Lagrangian graphs for an integrable dissipative twist maps can be destroyed by perturbations that are arbitrarily small in the $C^{1-\varepsilon}$-topology. This result is sharp, as evidenced by the persistence of $C^1$-invariant graphs under $C^1$-perturbations guaranteed by the normally hyperbolic invariant manifold theorem.

Alfonso Sorrentino Lin Wang 16 pages; Comments are welcome http://arxiv.org/abs/2504.10838v1 2025-04-15T03:43:06Z 2025-04-15T03:43:06Z

We define and study two kinds of directional expansiveness, weak and strong, for an action T of \mathbb{R}^d on a compact metric space X. We show that for \mathbb{R}^2 finite local complexity (FLC) tiling dynamical systems, weak and strong expansiveness are the same, and are both equivalent to a simple coding property. Then we show for the Penrose tiling dynamical system, which is FLC, there are exactly five non expansive directions, the directions perpendicular to the 5th roots of unity. We also study Raphael Robinson's set of 24 Penrose Wang tiles and show the corresponding Penrose Wang tile dynamical system is strictly ergodic. Finally, we study two deformations of the Penrose Wang tile system, one where the square Wang tiles are all deformed into a 2\pi/5 rhombus, and another where they are deformed into a set of eleven tetragon tiles. We show both of these are topologically conjugate to the Penrose tiling dynamical system.

Hyeeun Jang E. Arthur Robinson Jr http://arxiv.org/abs/2501.06406v2 2025-04-15T02:46:53Z 2025-01-11T02:06:51Z

The application of the standard quasi-steady-state approximation to the Michaelis--Menten reaction mechanism is a textbook example of biochemical model reduction, derived using singular perturbation theory. However, determining the specific biochemical conditions that dictate the validity of the standard quasi-steady-state approximation remains a challenging endeavor. Emerging research suggests that the accuracy of the standard quasi-steady-state approximation improves as the ratio of the initial enzyme concentration, $e_0$, to the Michaelis constant, $K_M$, decreases. In this work, we examine this ratio and its implications for the accuracy and validity of the standard quasi-steady-state approximation as compared to other quasi-steady-state reductions in its proximity. Using standard tools from the analysis of ordinary differential equations, we show that while $e_0/K_M$ provides an indication of the standard quasi-steady-state approximation's asymptotic accuracy, the standard quasi-steady-state approximation's predominance relies on a small ratio of $e_0$ to the Van Slyke-Cullen constant, $K$. Here, we define the predominance of a quasi-steady-state reduction when it offers the highest approximation accuracy among other well-known reductions with overlapping validity conditions. We conclude that the magnitude of $e_0/K$ offers the most accurate measure of the validity of the standard quasi-steady-state approximation.

Kashvi Srivastava Justin Eilertsen Victoria Booth Santiago Schnell 30 pages, 6 figures http://arxiv.org/abs/2504.10734v1 2025-04-14T22:00:37Z 2025-04-14T22:00:37Z

In this paper, we show the uniqueness of equilibrium state for a family of partially hyperbolic horseshoes, introduced in [12] for some classes of continuous potentials. For the first class, the method used here is making use of the Sarig's theory for countable shifts. For this purpose, we study the dynamics of an induced map associated to the horseshoe map, we build a symbolic system with infinitely many symbols that is topologically conjugated to this induced map and we show that the induced potential is locally H\"{o}lder and recurrent. For the second class, by following ideas of [29] and [31], we prove that uniqueness for the horseshoe is equivalent to uniqueness for the restriction to a non-uniformly expanding map, which is a hyperbolic potential and then has uniqueness. Both classes include potentials with high variation, differently from previous results for potentials with low variation. We also prove uniqueness when the potential presents its supremum at a special fixed point and less than the pressure.

Krerley Oliveira Marlon Oliveira Eduardo Santana http://arxiv.org/abs/2504.10729v1 2025-04-14T21:48:31Z 2025-04-14T21:48:31Z

We present novel Hamiltonian descriptions of some three-dimensional systems including two well-known systems describing the three-wave-interaction problem and some well-known chaotic systems, namely, the Chen, L\"u, and Qi systems. We show that all of these systems can be described in a Hamiltonian framework in which the Poisson matrix $\mathcal{J}$ is supplemented by a resistance matrix $\mathcal{R}$. While such resistive-Hamiltonian systems are manifestly non-conservative, we construct higher-degree Poisson matrices via the Jordan product as $\mathcal{N} = \mathcal{J} \mathcal{R} + \mathcal{R} \mathcal{J}$, thereby leading to new bi-Hamiltonian systems. Finally, we discuss conformal Hamiltonian dynamics on Poisson manifolds and demonstrate that by appropriately choosing the underlying parameters, the reduced three-wave-interaction model as well as the Chen and L\"u systems can be described in this manner where the concomitant non-conservative part of the dynamics is described with the aid of the Euler vector field.

Aritra Ghosh Anindya Ghose-Choudhury Partha Guha http://arxiv.org/abs/2404.16760v3 2025-04-14T21:26:12Z 2024-04-25T17:16:37Z

Boolean networks can be viewed as functions on the set of binary strings of a given length, described via logical rules. They were introduced as dynamic models into biology, in particular as logical models of intracellular regulatory networks involving genes, proteins, and metabolites. Since genes can have several modes of action depending on their expression levels, binary variables are often not sufficiently rich, requiring the use of multivalued networks instead. In this paper, we explore the multivalued generalization of Boolean networks by writing the standard $(\wedge, \vee, \lnot)$ operations on $\{0, 1\}$ in terms of the operations $(\odot, \oplus, \neg)$ on $\big\{0,\frac{1}{m}, \frac{2}{m}, \dots, \frac{m-1}{m}, 1\big\}$ from multivalued logic. We recall the basic theory of this mathematical framework, and give a novel algorithm for computing the fixed points that in many cases has essentially the same complexity as in the binary case. Our approach provides a biologically intuitive representation of the network. Furthermore, it uses tools to compute lattice points in rational polytopes, tapping a rich area of algebraic combinatorics as a source for combinatorial algorithms for network analysis. An implementation of the algorithm is provided.

J. García Galofre M. Pérez Millán A. Galarza Rial R. Laubenbacher A. Dickenstein 25 pages. Several small improvements throughout the text http://arxiv.org/abs/2503.23520v2 2025-04-14T20:31:09Z 2025-03-30T17:03:38Z

This paper studies three classes of discrete-time linear time-invariant systems, which differ by the set of periodic signals that they leave invariant. The first class preserves the property of periodic monotonicity, i.e., period-wise unimodality. The second class is invariant to signals with at most two sign changes per period, and the third class results from the second by additionally requiring that periodic signals with zero sign-changes are mapped to the same kind. We provide tractable characterizations for each system class by the use and extension of total positivity theory and combination with its geometric interpretations. In particular, central to our results is the characterization of sequentially convex contours. Moreover, as many static non-linearities, e.g., ideal relay, saturation, sigmoid function, quantizer, etc. also preserve these signal sets, our invariance characterizations also apply to the loop gain of Lur'e feedback systems. Thus, potentially forming the base for new developments of signal-based fixed-point theorems towards the prediction of self-sustained oscillations. In particular, our examples provide first indications for how the property of periodic monotonicity preservation is valuable to the study of relay feedback systems.

Christian Grussler http://arxiv.org/abs/2303.14820v3 2025-04-14T16:51:34Z 2023-03-26T21:09:35Z

We show that every infinite, locally finite, and connected graph admitsa translation-like action by $\mathbb{Z}$, and that this action can be takento be transitive exactly when the graph has either one or two ends.The actions constructed satisfy $d(v,v\ast 1)\leq3$ for every vertex$v$. This strengthens a theorem by Brandon Seward. We also study the effective computability of translation-like actionson groups and graphs. We prove that every finitely generated infinitegroup with decidable word problem admits a translation-like actionby $\mathbb{Z}$ which is computable, and satisfies an extra condition whichwe call decidable orbit membership problem. As a nontrivial application of our results, we prove that for everyfinitely generated infinite group with decidable word problem, effectivesubshifts attain all $\Pi_{1}^{0}$ Medvedev degrees. This extends a classification proved by Joseph Miller for $\mathbb{Z}^{d},$ $d\geq1$.

Nicanor Carrasco-Vargas 10.4171/GGD/817 Revised version, but with one important fix in the proof of Lemma 3.2 Nicanor Carrasco-Vargas, Translation-like actions by Z, the subgroup membership problem, and Medvedev degrees of effective subshifts. Groups Geom. Dyn. (2024) http://arxiv.org/abs/2504.10373v1 2025-04-14T16:20:55Z 2025-04-14T16:20:55Z

Equations, particularly differential equations, are fundamental for understanding natural phenomena and predicting complex dynamics across various scientific and engineering disciplines. However, the governing equations for many complex systems remain unknown due to intricate underlying mechanisms. Recent advancements in machine learning and data science offer a new paradigm for modeling unknown equations from measurement or simulation data. This paradigm shift, known as data-driven discovery or modeling, stands at the forefront of AI for science, with significant progress made in recent years. In this paper, we introduce a systematic framework for data-driven modeling of unknown equations using deep learning. This versatile framework is capable of learning unknown ODEs, PDEs, DAEs, IDEs, SDEs, reduced or partially observed systems, and non-autonomous differential equations. Based on this framework, we have developed Deep Unknown Equations (DUE), an open-source software package designed to facilitate the data-driven modeling of unknown equations using modern deep learning techniques. DUE serves as an educational tool for classroom instruction, enabling students and newcomers to gain hands-on experience with differential equations, data-driven modeling, and contemporary deep learning approaches such as FNN, ResNet, generalized ResNet, operator semigroup networks (OSG-Net), and Transformers. Additionally, DUE is a versatile and accessible toolkit for researchers across various scientific and engineering fields. It is applicable not only for learning unknown equations from data but also for surrogate modeling of known, yet complex, equations that are costly to solve using traditional numerical methods. We provide detailed descriptions of DUE and demonstrate its capabilities through diverse examples, which serve as templates that can be easily adapted for other applications.

Junfeng Chen Kailiang Wu Dongbin Xiu 28 pages http://arxiv.org/abs/2504.10355v1 2025-04-14T16:04:03Z 2025-04-14T16:04:03Z

We study a fast-slow version of the Bazykin-Berezovskaya predator-prey model with Allee effect evolving on two timescales, through the lenses of Geometric Singular Perturbation Theory (GSPT). The system we consider is in non-standard form. We completely characterize its dynamics, providing explicit threshold quantities to distinguish between a rich variety of possible asymptotic behaviors. Moreover, we propose numerical results to illustrate our findings. Lastly, we comment on the real-world interpretation of these results, in an economic framework and in the context of predator-prey models.

Jacopo Borsotti Mattia Sensi 20 pages, 5 figures http://arxiv.org/abs/2410.17254v2 2025-04-14T15:18:01Z 2024-10-03T18:57:50Z

We study {\it permeable} sets. These are sets \(\Theta \subset \mathbb{R}^d\) which have the property that each two points \(x,y\in \mathbb{R}^d\) can be connected by a short path \(\gamma\) which has small (or even empty, apart from the end points of \(\gamma\)) intersection with \(\Theta\). We investigate relations between permeability and Lebesgue measure and establish theorems on the relation of permeability with several notions of dimension. It turns out that for most notions of dimension each subset of \(\mathbb{R}^d\) of dimension less than \(d-1\) is permeable. We use our permeability result on the Nagata dimension to characterize permeability properties of self-similar sets with certain finiteness properties.

Gunther Leobacher Tapio Rajala Alexander Steinicke Jörg Thuswaldner http://arxiv.org/abs/2504.10264v1 2025-04-14T14:29:23Z 2025-04-14T14:29:23Z

We show that the ergodic, topological and geometric basins coincide for hyperbolic dominated ergodic $cu$-Gibbs states, solving the ``basin problem'' for a wide class of non-uniformly hyperbolic systems. We obtain robust examples of exponential mixing physical measures for systems with multidimensional nonuniform hyperbolic dominated splitting, without uniformly expanding or contracting subbundles. Both results are a consequence of extending the construction of Gibbs-Markov-Young structures from partial hyperbolic systems to systems with only a dominated splitting, using the existence of an ``improved hyperbolic block'', with respect to Pesin's Nonuniform Hyperbolic Theory, for hyperbolic dominated measures of smooth maps, obtained through hyperbolic times and associated ``coherent schedules'' introduced by one of the coauthors.

Vitor Araujo Vilton Pinheiro 39 pages, 8 figures http://arxiv.org/abs/2504.10260v1 2025-04-14T14:22:46Z 2025-04-14T14:22:46Z

We study cocycles taking values in the mapping class group of closed surfaces and investigate their leading topological Lyapunov exponent. Under a natural closing property, we show that the top topological Lyapunov exponent can be approximated by periodic orbits. We also extend the notion of the joint spectral radius to this setting, interpreting it via the exponential growth of curves under iterated mapping classes. Our approach connects ideas from ergodic theory, Teichm\"uller geometry, and spectral theory, and suggests a broader framework for similar results.

Anders Karlsson Reza Mohammadpour http://arxiv.org/abs/2504.10251v1 2025-04-14T14:13:48Z 2025-04-14T14:13:48Z

We study the global (asymptotic) stability of the Lengyel-Epstein differential systems, sometimes called Belousov-Zhabotinsky differential systems. Such systems are topologically equivalent to a two-parameter family of cubic systems in the plane. We show that for each pair of admissible parameters the unique equilibrium point of the corresponding system is not globally (asymptotically) stable. On the other hand, we provide explicit conditions for this unique equilibrium point to be asymptotically stable and we study its basin of attraction. We also study the generic and degenerate Hopf bifurcations and highlight a subset of the set of admissible parameters for which the phase portraits of the systems have two limit cycles.

Lucas Queiroz Arakaki Luis Fernando Mello Ronisio Moises Ribeiro