http://arxiv.org/api/SyBQr8imhx1Ra8/dDdpVviUE39g 2025-04-22T00:00:00-04:00 39155 45 15 http://arxiv.org/abs/2504.12448v1 2025-04-16T19:29:51Z 2025-04-16T19:29:51Z

The goal of this paper is to develop a theory of "sublinearly Morse boundary" and prove a corresponding sublinearly Morse lemma in higher rank symmetric space of non-compact type. This is motivated by the work of Kapovich-Leeb-Porti and the theory of sublinearly Morse quasi-geodesics developed in the context of CAT(0) geometry.

Rou Wen 35 pages. Comments welcome! http://arxiv.org/abs/2504.12374v1 2025-04-16T18:00:00Z 2025-04-16T18:00:00Z

In high dimensions, reflective Hamiltonian Monte Carlo with inexact reflections exhibits slow mixing when the particle ensemble is initialised from a Dirac delta distribution and the uniform distribution is targeted. By quantifying the instantaneous non-uniformity of the distribution with the Sinkhorn divergence, we elucidate the principal mechanisms underlying the mixing problems. In spheres and cubes, we show that the collective motion transitions between fluid-like and discretisation-dominated behaviour, with the critical step size scaling as a power law in the dimension. In both regimes, the particles can spontaneously unmix, leading to resonances in the particle density and the aforementioned problems. Additionally, low-dimensional toy models of the dynamics are constructed which reproduce the dominant features of the high-dimensional problem. Finally, the dynamics is contrasted with the exact Hamiltonian particle flow and tuning practices are discussed.

Namu Kroupa Gábor Csányi Will Handley http://arxiv.org/abs/2504.12297v1 2025-04-16T17:58:07Z 2025-04-16T17:58:07Z

The study of flocking in biological systems has identified conditions for self-organized collective behavior, inspiring the development of decentralized strategies to coordinate the dynamics of swarms of drones and other autonomous vehicles. Previous research has focused primarily on the role of the time-varying interaction network among agents while assuming that the agents themselves are identical or nearly identical. Here, we depart from this conventional assumption to investigate how inter-individual differences between agents affect the stability and convergence in flocking dynamics. We show that flocks of agents with optimally assigned heterogeneous parameters significantly outperform their homogeneous counterparts, achieving 20-40% faster convergence to desired formations across various control tasks. These tasks include target tracking, flock formation, and obstacle maneuvering. In systems with communication delays, heterogeneity can enable convergence even when flocking is unstable for identical agents. Our results challenge existing paradigms in multi-agent control and establish system disorder as an adaptive, distributed mechanism to promote collective behavior in flocking dynamics.

Arthur N. Montanari Ana Elisa D. Barioni Chao Duan Adilson E. Motter http://arxiv.org/abs/2503.13614v3 2025-04-16T16:34:40Z 2025-03-17T18:06:59Z

Reduced order modeling (ROM) aims to mitigate computational complexity by reducing the size of a high-dimensional state space. In this study, we demonstrate the efficiency, accuracy, and stability of proper orthogonal decomposition (POD)-Galerkin ROM when applied to the El Nino Southern Oscillation model, which integrates coupled atmosphere, ocean, and sea surface temperature (SST) mechanisms in the equatorial Pacific. While POD identifies the most energetic modes of a system from simulation data, the Galerkin projection maps the governing equations onto these reduced modes to derive a simplified dynamical system. Leveraging the unique coupling properties of the model, we propose a novel approach to formulate a reduced order model derived from Galerkin projection. Our approach achieves remarkable computational efficiency, requiring only four POD modes. The results provide highly stable and accurate solutions over 95% compared to the high-dimensional full-order model (FOM), highlighting the potential of POD-Galerkin reduction for efficient and accurate climate simulations.

Yusuf Aydogdu Navaratnam Sri Namachchivaya 16 pages, 4 figures; 1 table http://arxiv.org/abs/2504.12188v1 2025-04-16T15:43:35Z 2025-04-16T15:43:35Z

Information processing in the brain is coordinated by the dynamic activity of neurons and neural populations at a range of spatiotemporal scales. These dynamics, captured in the form of electrophysiological recordings and neuroimaging, show evidence of time-irreversibility and broken detailed balance suggesting that the brain operates in a nonequilibrium stationary state. Furthermore, the level of nonequilibrium, measured by entropy production or irreversibility appears to be a crucial signature of cognitive complexity and consciousness. The subsequent study of neural dynamics from the perspective of nonequilibrium statistical physics is an emergent field that challenges the assumptions of symmetry and maximum-entropy that are common in traditional models. In this review, we discuss the plethora of exciting results emerging at the interface of nonequilibrium dynamics and neuroscience. We begin with an introduction to the mathematical paradigms necessary to understand nonequilibrium dynamics in both continuous and discrete state-spaces. Next, we review both model-free and model-based approaches to analysing nonequilibrium dynamics in both continuous-state recordings and neural spike-trains, as well as the results of such analyses. We briefly consider the topic of nonequilibrium computation in neural systems, before concluding with a discussion and outlook on the field.

Ramón Nartallo-Kaluarachchi Morten L. Kringelbach Gustavo Deco Renaud Lambiotte Alain Goriely 33 pages, 12 figures http://arxiv.org/abs/2412.05639v2 2025-04-16T14:28:35Z 2024-12-07T12:48:48Z

This paper is concerned with freezing phase transitions in general dynamical systems. A freezing phase transition is one in which, for a given potential $\phi$, there exists some inverse temperature $\beta_0 > 0$ such that for all $\alpha, \beta > \beta_0$, the collection of equilibrium states for $\alpha \phi$ and $\beta \phi$ coincide. In this sense, below the temperature $1 / \beta_0$, the system "freezes" on a fixed collection of equilibrium states. We show that for a given invariant measure $\mu$, it is no more restrictive that $\mu$ is the freezing state for some potential than it is for $\mu$ to be the equilibrium state for some potential. In fact, our main result applies to any collection of equilibrium states with the same entropy. In the case where the entropy map $h$ is upper semi-continuous, we show any ergodic measure $\mu$ can be obtained as a freezing state for some potential. In this upper semi-continuous setting, we additionally show that the collection of potentials that freeze at a single state is dense in the space of all potentials. However, in the $\Z$ action setting where the dynamical system satisfies specification, the collection of potentials that do not freeze contains a dense $G_\delta$.

C. Evans Hedges http://arxiv.org/abs/2504.06424v2 2025-04-16T14:22:32Z 2025-04-08T20:46:37Z

For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$ for all $m\in\{1,\ldots,k\}$. This can be viewed as a density analog of Hindman's finite sums theorem. Our proof reveals the natural relationships among infinite sumsets, the dynamics underpinning arithmetic progressions, and homogeneous spaces of nilpotent Lie groups.

Bryna Kra Joel Moreira Florian K. Richter Donald Robertson 28 pages http://arxiv.org/abs/2312.03652v5 2025-04-16T13:52:11Z 2023-12-06T18:13:27Z

For every positive integer $n$, we introduce a set $\mathcal{T}_n$ made of $(n+3)^2$ Wang tiles (unit squares with labeled edges). We represent a tiling by translates of these tiles as a configuration $\mathbb{Z}^2\to\mathcal{T}_n$. A configuration is valid if the common edge of adjacent tiles has the same label. For every $n\geq1$, we show that the Wang shift $\Omega_n$, defined as the set of valid configurations over the tiles $\mathcal{T}_n$, is self-similar, aperiodic and minimal for the shift action. We say that $\{\Omega_n\}_{n\geq1}$ is a family of metallic mean Wang shifts, since the inflation factor of the self-similarity of $\Omega_n$ is the positive root of the polynomial $x^2-nx-1$. This root is sometimes called the $n$-th metallic mean, and in particular, the golden mean when $n=1$, and the silver mean when $n=2$. When $n=1$, the set of Wang tiles $\mathcal{T}_1$ is equivalent to the Ammann aperiodic set of 16 Wang tiles.

Sébastien Labbé 60 pages, 24 numbered figures. v2: small change in title, fixed few typos, moved images of tilings at the end of introduction. v3: 64 pages, 33 numbered figures, changes during review, proof of self-similarity was completely rewritten and is now more formal. v4: 65 pages, 35 numbered figures, changes during review, 2 figures added in Section 5, removed Lemma 6.5. v5: small changes during review http://arxiv.org/abs/2409.03506v2 2025-04-16T11:54:54Z 2024-09-05T13:19:33Z

This paper focuses on studying a model for molecular motors responsible for the bending of the axoneme in the flagella of microorganisms. The model is a coupled system of partial differential equations inspired by J\"ulicher et al. or Camalet, incorporating two rows of molecular motors between microtubules filaments. Existence and uniqueness of a solution is proved, together with the presence of a supercritical Hopf bifurcation. Additionally, numerical simulations are provided to illustrate the theoretical results. A brief study on the generalization to N-rows is also included.

François Alouges Irene Anello Antonio DeSimone Aline Lefebvre-Lepot Jessie Levillain 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