http://arxiv.org/api/uPycr1fZdX6xZxK4Bq64nsmzZkk 2025-05-17T00:00:00-04:00 39377 390 15 http://arxiv.org/abs/2504.11915v1 2025-04-16T09:52:05Z 2025-04-16T09:52:05Z

We focus on the outer length billiard dynamics, acting on the exterior of a strictly-convex planar domain. We first show that ellipses are totally integrable. We then provide an explicit representation of first order terms for the formal Taylor expansion of the corresponding Mather's $\beta$-function. Finally, we provide explicit Lazutkin coordinates up to order 4.

Luca Baracco Olga Bernardi Corentin Fierobe http://arxiv.org/abs/2403.04490v4 2025-04-16T09:44:05Z 2024-03-07T13:47:02Z

Appeals to randomness in various number-theoretic constructions appear regularly in modern scientific publications. Such famous names as V.I. Arnold, M. Katz, Ya.G. Sinai, and T. Tao are just a few examples. Unfortunately, all of these approaches rely on various, although often very non-trivial and elegant, heuristics. A new analytical approach is proposed to address the issue of randomness/complexity of an individual deterministic sequence. This approach demonstrates the expected high complexity of quadratic residues and the unexpectedly low complexity in the case of prime numbers. Technically, our approach is based on a new construction of the dynamical entropy of a single trajectory, which measures its complexity, in contrast to classical Kolmogorov-Sinai and topological entropies, which measure the complexity of the entire dynamical system.

Michael Blank 18 pages. Final version. To appear in Discrete and Continuous Dynamical Systems http://arxiv.org/abs/2403.15743v2 2025-04-16T08:37:28Z 2024-03-23T07:14:27Z

In this paper, we demonstrate that controllers designed by artificial potential fields (APFs) can be derived from reciprocal control barrier function quadratic program (RCBF-QP) safety filters. By integrating APFs within the RCBF-QP framework, we explicitly establish the relationship between these two approaches. Specifically, we first introduce the concepts of tightened control Lyapunov functions (T-CLFs) and tightened reciprocal control barrier functions (T-RCBFs), each of which incorporates a flexible auxiliary function. We then utilize an attractive potential field as a T-CLF to guide the nominal controller design, and a repulsive potential field as a T-RCBF to formulate an RCBF-QP safety filter. With appropriately chosen auxiliary functions, we show that controllers designed by APFs and those derived by RCBF-QP safety filters are equivalent. Based on this insight, we further generalize the APF-based controllers (equivalently, RCBF-QP safety filter-based controllers) to more general scenarios without restricting the choice of auxiliary functions. Finally, we present a collision avoidance example to clearly illustrate the connection and equivalence between the two methods.

Ming Li Zhiyong Sun http://arxiv.org/abs/2409.06256v2 2025-04-16T08:29:34Z 2024-09-10T06:57:10Z

Port-Hamiltonian systems provide a powerful tool for modeling physical systems. Their energy-based perspective allows for the coupling of various subsystems through energy exchange. Another important class of systems, passive systems, are characterized by their inability to generate energy internally. In this paper, we investigate the equivalence between passivity and the feasibility of port-Hamiltonian realizations in nonlinear systems, thereby elaborating upon previous results from [McLachlan et al., 1999, Ortega et al., 2002, Wang et al., 2003]. Based on our findings, we present a method to construct port-Hamiltonian representations of a passive system if the dynamics and the Hamiltonian are known.

Attila Karsai Tobias Breiten Justus Ramme Philipp Schulze http://arxiv.org/abs/2108.09009v3 2025-04-16T06:13:08Z 2021-08-20T05:44:28Z

We introduce the concept of an $\mathrm{L}^{1}$ full group associated with a measure-preserving action of a Polish normed group on a standard probability space. These groups carry a natural Polish group topology induced by an $\mathrm{L}^1$ norm. Our construction generalizes $\mathrm{L}^{1}$ full groups of actions of discrete groups, which have been studied recently by the first author. We show that under minor assumptions on the actions, topological derived subgroups of $\mathrm{L}^{1}$ full groups are topologically simple and -- when the acting group is locally compact and amenable -- are whirly amenable and generically two-generated. $\mathrm{L}^{1}$ full groups of actions of compactly generated locally compact Polish groups are shown to remember the $\mathrm{L}^{1}$ orbit equivalence class of the action. For measure-preserving actions of the real line (also often called measure-preserving flows), the topological derived subgroup of an $\mathrm{L}^{1}$ full groups is shown to coincide with the kernel of the index map, which implies that $\mathrm{L}^{1}$ full groups of free measure-preserving flows are topologically finitely generated if and only if the flow admits finitely many ergodic components. We also prove a reconstruction-type result: the $\mathrm{L}^{1}$ full group completely characterizes the associated ergodic flow up to flip Kakutani equivalence. Finally, we study the coarse geometry of the $\mathrm{L}^{1}$ full groups. The $\mathrm{L}^{1}$ norm on the derived subgroup of the $\mathrm{L}^{1}$ full group of an aperiodic action of a locally compact amenable group is proved to be maximal in the sense of C. Rosendal. For measure-preserving flows, this holds for the $\mathrm{L}^{1}$ norm on all of the $\mathrm{L}^{1}$ full group.

François Le Maître Konstantin Slutsky Accepted for publication in Memoirs of the EMS. Additional appendices on $\mathrm L^0$ and $\mathrm{L}^1$ spaces; chapter 2 revamped so that it is more independent from previous litterature; added an index. Many fixes thanks to referee comments. 145 pages http://arxiv.org/abs/2504.11710v1 2025-04-16T02:16:39Z 2025-04-16T02:16:39Z

The top of the attractor $A$ of a hyperbolic iterated function system $\left\{ f_{i}:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}|i=1,2,\dots,M\right\} $ is defined and used to extend self-similar tilings to overlapping systems. The theory interprets expressions of the form $\lim_{k\rightarrow\infty}f_{j_{1}}^{-1}f_{j_{2}}^{-1}\dots f_{j_{k}} ^{-1}(\left\{ top(f_{i_{1}}f_{i_{2}}\dots f_{i_{k+1}}(A))|i_{1}i_{2}\dots i_{k+1}\in\{1,2,\dots,M\}^{k+1}\right\} )$ to yield tilings of $\mathbb{R}^{n}$. Examples include systems of finite type, tilings related to aperiodic monotiles, and ones where there are infinitely many distinct but related prototiles.

Michael F. Barnsley Corey de Wit 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