http://arxiv.org/api/cbQQQauGoUSpAaD+sRZ3ugv5gDU 2025-04-22T00:00:00-04:00 39155 60 15 http://arxiv.org/abs/2504.11643v1 2025-04-15T22:06:26Z 2025-04-15T22:06:26Z

The Distributional Koopman Operator (DKO) is introduced as a way to perform Koopman analysis on random dynamical systems where only aggregate distribution data is available, thereby eliminating the need for particle tracking or detailed trajectory data. Our DKO generalizes the stochastic Koopman operator (SKO) to allow for observables of probability distributions, using the transfer operator to propagate these probability distributions forward in time. Like the SKO, the DKO is linear with semigroup properties, and we show that the dynamical mode decomposition (DMD) approximation can converge to the DKO in the large data limit. The DKO is particularly useful for random dynamical systems where trajectory information is unavailable.

Maria Oprea Alex Townsend Yunan Yang 24 pages http://arxiv.org/abs/2501.15622v2 2025-04-15T20:31:55Z 2025-01-26T18:06:54Z

In this paper, we mainly study the relation between regularity, independence and mean sensitivity for minimal systems. In the first part, we show that if a minimal system is incontractible, or local Bronstein with an invariant Borel probability measure, then the regularity is strictly bounded by the infinite independence. In particular, the following two types of minimal systems are applicable to our result: (1) The acting group of the minimal system is a virtually nilpotent group. (2) The minimal system is a proximal extension of its maximal equicontinuous factor and admits an invariant Borel probability measure. Items (1) and (2) correspond to Conjectures 1 and 2 from Huang, Lian, Shao, and Ye (J. Funct. Anal., 2021); item (1) verifies Conjecture 1 in the virtually nilpotent case, and item (2) gives an affirmative answer to Conjecture 2. In the second part, for a minimal system acting by an amenable group, under the local Bronstein condition, we establish parallel results regarding weak mean sensitivity and establish that every mean-sensitive tuple is an IT-tuple.

Chunlin Liu Leiye Xu Shuhao Zhang http://arxiv.org/abs/2504.11592v1 2025-04-15T20:10:21Z 2025-04-15T20:10:21Z

In real-world control applications, actuator constraints and output constraints (specifically in tracking problems) are inherent and critical to ensuring safe and reliable operation. However, generally, control strategies often neglect these physical limitations, leading to potential instability, degraded performance, or even system failure when deployed on real-world systems. This paper addresses the control design problem for a class of nonlinear systems under both actuator saturation and output constraints. First, a smooth asymmetric saturation model (a more generic representative of practical scenarios) is proposed to model actuator saturation, which ensures that the control inputs always remain confined within a predefined set to ensure safety. Based on the proposed model, we develop a nonlinear control framework that guarantees output tracking while ensuring that system output remains confined to the predefined set. Later, we integrate this design with the constrained output tracking control problem, wherein we show that the system output tracks its desired trajectory by simultaneously satisfying input and output constraints. The global stabilization of the tracking error is achieved in the presence of input constraints, while semi-global stabilization is achieved in the presence of both input and output constraints. Additionally, we rigorously establish the boundedness of all closed-loop signals under the proposed design. Simulation results demonstrate the effectiveness of the proposed methods in handling asymmetric constraints while achieving desirable tracking performance.

Saurabh Kumar Shashi Ranjan Kumar Abhinav Sinha http://arxiv.org/abs/2504.11551v1 2025-04-15T18:49:57Z 2025-04-15T18:49:57Z

We propose and analyze a model for the dynamics of the flow into and out of a nest for the arboreal turtle ant $\textit{Cephalotes goniodontus}$ during foraging to investigate a possible mechanism for the emergence of oscillations. In our model, there is mixed dynamic feedback between the flow of ants between different behavioral compartments and the concentration of pheromone along trails. On one hand, the ants deposit pheromone along the trail, which provides a positive feedback by increasing rates of return to the nest. On the other hand, pheromone evaporation is a source of negative feedback, as it depletes the pheromone and inhibits the return rate. We prove that the model is globally asymptotically stable in the absence of pheromone feedback. Then we show that pheromone feedback can lead to a loss of stability of the equilibrium and onset of sustained oscillations in the flow in and out of the nest via a Hopf bifurcation. This analysis sheds light on a potential key mechanism that enables arboreal turtle ants to effectively optimize their trail networks to minimize traveled path lengths and eliminate graph cycles.

Alia Valentine Deborah M. Gordon Anastasia Bizyaeva 6 pages, 5 figures. Submitted to CDC conference 2025 http://arxiv.org/abs/2504.09273v2 2025-04-15T17:59:06Z 2025-04-12T16:35:19Z

We show the existence of Arnold diffusion in the planar full three-body problem, which is expressed as a perturbation of a Kepler problem and a planar circular restricted three-body problem, with the perturbation parameter being the mass of the smallest body. In this context, we obtain Arnold diffusion in terms of a transfer of energy, in an amount independent of the perturbation parameter, between the Kepler problem and the restricted three-body problem. Our argument is based on a topological method based on correctly aligned windows which is implemented into a computer assisted proof. This approach can be applied to physically relevant masses of the bodies, such as those in a Neptune-Triton-asteroid system. In this case, we obtain explicit estimates for the range of the perturbation parameter and for the diffusion time.

Maciej J. Capinski Marian Gidea 41 pages, 7 figures http://arxiv.org/abs/2408.12785v2 2025-04-15T17:09:25Z 2024-08-23T01:28:14Z

A subset of the positive integers is dynamically central syndetic if it contains the set of times that a point returns to a neighborhood of itself under a minimal transformation of a compact metric space. These sets are part of the highly-influential link between dynamics and combinatorics forged by Furstenberg and Weiss in the 1970's. Our main result is a characterization of dynamically central syndetic sets as precisely those sets that belong to syndetic, idempotent filters. Idempotent filters are combinatorial objects that abound in ergodic Ramsey theory but have been largely unnoticed and unexplored. We develop the algebra of these objects for the proof of the main theorem and with an eye toward future applications. The main result is best contextualized as a "global" analogue to the "local" characterization of Furstenberg's central sets as members of minimal, idempotent ultrafilters. It leads to a dual characterization of sets of topological pointwise recurrence, allowing us to answer a question of Glasner, Tsankov, Weiss, and Zucker. We draw numerous striking contrasts between pointwise recurrence and set recurrence, a topic with a long history in the subject and its applications, and answer four questions posed by Host, Kra, and Maass. We also show that the intersection of a dynamically central syndetic set with a set of pointwise recurrence must be piecewise syndetic, generalizing results of Dong, Glasner, Huang, Shao, Weiss, and Ye.

Daniel Glasscock Anh N. Le Updated some historical references regarding central sets, 84 pages, 2 figures http://arxiv.org/abs/2504.11356v1 2025-04-15T16:25:29Z 2025-04-15T16:25:29Z

In the literature, the Minkowski-sum and the metric-sum of compact sets are highlighted. While the first is associative, the latter is not. But the major drawback of the Minkowski combination is that, by increasing the number of summands, this leads to convexification. The present article is uncovered in two folds: The initial segment presents a novel approach to approximate a continuous set-valued function with compact images via a fractal approach using the metric linear combination of sets. The other segment contains the dimension analysis of the distance set of graph of set-valued function and solving the celebrated distance set conjecture. In the end, a decomposition of any continuous convex compact set-valued function is exhibited that preserves the Hausdorff dimension, so this will serve as a method for dealing with complicated set-valued functions.

Ekta Agrawal Saurabh Verma 32 pages, 2 figures http://arxiv.org/abs/2504.11342v1 2025-04-15T16:14:00Z 2025-04-15T16:14:00Z

A graph of Gelfand-Kirillov dimension three is a connected finite essential graph such that its Leavitt path algebra has Gelfand-Kirillov dimension three. We provide number-theoretic criteria for graphs of Gelfand-Kirillov dimension three to be strong shift equivalent. We then prove that two graphs of Gelfand-Kirillov dimension three are shift equivalent if and only if they are strongly shift equivalent, if and only if their corresponding Leavitt path algebras are graded Morita equivalent, if and only if their graded $K$-theories, $K^{\text{gr}}_0$, are order-preserving $\mathbb{Z}[x, x^{-1}]$-module isomorphic. As a consequence, we obtain that the Leavitt path algebras of graphs of Gelfand-Kirillov dimension three are graded Morita equivalent if and only if their graph $C^*$-algebras are equivariant Morita equivalent, and two graphs $E$ and $F$ of Gelfand-Kirillov dimension three are shift equivalent if and only if the singularity categories $\text{D}_{\text{sg}}(KE/J_E^2)$ and $\text{D}_{\text{sg}}(KF/J_F^2)$ are triangulated equivalent.

Tran Quang Do Roozbeh Hazrat Tran Giang Nam http://arxiv.org/abs/2504.11211v1 2025-04-15T14:13:21Z 2025-04-15T14:13:21Z

In this paper, we use the Maslov index to obtain a lower bound on the number of unstable eigenvalues associated with standing pulse solutions in skew-gradient systems. Based on this, we establish an instability criterion for the standing pulse. As an application, the results are applied to FitzHugh-Nagumo type systems, in which the activator and inhibitor reaction terms exhibit inherent nonlinear structures.

Jing Li Qin Xing Ran Yang http://arxiv.org/abs/2504.11189v1 2025-04-15T13:47:43Z 2025-04-15T13:47:43Z

The bacteria metabolic process of open nonlinear dissipative system far from equilibrium point is modeled using classical methods of synergetics. The invariant measure and its convergence in the phase space of the system was obtained in strange attractor mode. The distribution of point density of trajectory intersection of phase space cells with maximum invariant measure and convergence in time of its average value was obtained. The result concluded is that the value of an invariant measure can be a characteristic of the transitional process of adaptation of cell metabolic process to change outside environment.

V. Grytsay 10.15407/ujpe67.6.443 5 pages, 4 figures Ukrainian Journal of Physics,(2022), 67(6), 443 http://arxiv.org/abs/2208.13209v6 2025-04-15T13:10:02Z 2022-08-28T12:27:11Z

In the context of continuous zooming systems $f:M \to M$ on a compact metric space $M$, which include the non-uniformly expanding ones, possibly with the presence of a critical set, with the zooming set dense in $M$, we prove that any H\"older potential $\phi : M \to \mathbb{R}$ for which the integrals $\int \phi d\mu \geq 0$ with respect to any $f$-invariant probability $\mu$, admits a continuous function $\lambda_{0} : M \to \mathbb{R}$ (which can be H\"older if some integral is positive) such that \[ \phi \geq \lambda_{0}- \lambda_{0} \circ f. \] This extends a result in [9] for $C^{1}$-expanding maps on the circle $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ to important classes of maps as uniformly expanding, local diffeomorphisms with non-uniform expansion, Viana maps, Benedicks-Carleson maps and Rovella maps. We also give an example beyond the exponential contractions context. Moreover, in the case of the integrals $\int \phi d\mu = 0$ with respect to any $f$-invariant probability $\mu$ and the set of periodic points to be dense in $M$, we obtain a version of the Livsic Theorem, that is, the functions $\lambda_{0}$ can be taken such that \[ \phi = \lambda_{0}- \lambda_{0} \circ f. \] Additionally, we also prove that the measure which maximizes the integrals is unique for a residual set of potentials.

Lamine Mbarki Eduardo Santana We give another proof for Lemma 3.1 http://arxiv.org/abs/2504.11144v1 2025-04-15T12:45:20Z 2025-04-15T12:45:20Z

We address the problem of determining the Hausdorff dimension of sets consisting of complex irrationals whose complex continued fraction digits satisfy prescribed restrictions and growth conditions. For the Hurwitz continued fraction, we confirm Hirst's conjecture, as a complex analogue of the result of Wang and Wu [Bull. Lond. Math. Soc. {\bf 40} (2008), no. 1, 18--22] for the regular continued fraction. We also prove a complex analogue of the second-named author's result on the Hausdorff dimension of sets with restricted slowly growing digits [Proc. Amer. Math. Soc. {\bf 151} (2023), no. 9, 3645--3653]. To these ends, we exploit an infinite conformal iterated function system associated with the Hurwitz continued fraction.

Yuto Nakajima Hiroki Takahasi 19 pages, 2 figures http://arxiv.org/abs/2504.11142v1 2025-04-15T12:43:42Z 2025-04-15T12:43:42Z

We study the dimension of the boundaries of periodic Fatou components of transcendental entire maps. We prove that if $U$ is an immediate component of the basin of an attracting periodic point $\zeta$ of period $p\ge 1$ of a transcendental entire function $f\colon \mathbb C \to \mathbb C$ from the Eremenko--Lyubich class $\mathcal B$, such that $\text{deg} f^p|_U = \infty$ and $\overline{\text{Sing}(f^p|_U)}$ is a compact subset of $U$, then the hyperbolic (and, consequently, Hausdorff) dimension of the boundary of $U$ is larger than $1$. The same holds if $U$ is an immediate component of the basin of a parabolic $p$-periodic point $\zeta$, under an additional assumption $\zeta \notin \overline{\text{Sing}(f^p)}$. We also show that if $U$ is a bounded immediate component of an attracting basin of a transcendental entire function $f$, then the hyperbolic dimension of the boundary of $U$ is larger than $1$. In particular, this implies that the boundary of a component of an attracting basin of a transcendental entire function is never a smooth or rectifiable curve.

Krzysztof Barański Bogusława Karpińska David Martí-Pete Leticia Pardo-Simón Anna Zdunik 33 pages, 10 figures http://arxiv.org/abs/2504.11115v1 2025-04-15T12:02:29Z 2025-04-15T12:02:29Z

Given $d\geq2$, we construct a Zariski-dense random walk on the space of lattices SL$_d(\mathbb{R})/$SL$_d(\mathbb{Z})$ that exhibits escape of mass. This negates the suggestion of recurrence made by Benoist [Ben14] (ICM 2014) and by B\'enard-de Saxc\'e [BS22] (also asked in [BQ12]). For any $p \in (0,1)$, we also construct such a random walk with finite $L^p$-moment which shows that the moment assumption in [BS22] is sharp.

Axel Péneau Cagri Sert 14 pages http://arxiv.org/abs/2504.11071v1 2025-04-15T11:10:27Z 2025-04-15T11:10:27Z

In this paper, we study avoshifts and unishifts on $\mathbb{Z}^d$. Avoshifts are subshifts where for each convex set $C$, and each vector $v$ such that $C \cup \{\vec v\}$ is also convex, the set of valid extensions of globally valid patterns on $C$ to ones on $C \cup \{v\}$ is determined by a bounded subpattern of $C$. Unishifts are the subshifts where for such $C, \vec v$, every $C$-pattern has the same number of $\vec v$-extensions. Cellwise quasigroup shifts (including group shifts) and TEP subshifts are examples of unishifts, while unishifts and subshifts with topological strong spatial mixing are examples of avoshifts. We prove that every avoshift is the spacetime subshift of a nondeterministic cellular automaton on an avoshift of lower dimension up to a linear transformation and a convex blocking. From this, we deduce that all avoshifts contain periodic points, and that unishifts have dense periodic points and admit equal entropy full shift factors.

Ville Salo 33 pages