2026-02-17 | | Total: 16
Let $\varphi_t : M \to M$ be a flow on a smooth closed connected manifold $M$ that preserves and expands a foliation $F$. We establish a theorem of propagation of regularity along the leaves of $F$ for sections of vector bundles satisfying a transport equation involving the generator of a cocycle over $\varphi_t$. As a consequence, we prove a regularity result for Pollicott-Ruelle resonant states: if such state is smooth in restriction to a piece of an unstable leaf, then it is in fact smooth over the entire manifold. We also announce further applications related to joint integrability of extreme bundles of partially hyperbolic diffeomorphisms. The proofs rely on a leafwise semiclassical pseudodifferential calculus adapted to a foliated space, which may be of independent interest.
We construct a four-dimensional diffeomorphism exhibiting a homoclinic tangency of the largest codimension, which admits a historic wandering domain of positive Lebesgue measure. Every orbit in this wandering domain exhibits historic behavior, in the sense that time averages do not converge. This example shows that homoclinic tangencies of the largest codimension can still give rise to positive Lebesgue measure sets with non-convergent statistical behavior.
We study the Reverse algorithm, a multidimensional continued fraction algorithm, which is not unimodular. We show that the Reverse algorithm is ergodic and, by proving that its second Lyapunov exponent is negative, that it is a.e. exponentially convergent. In addition to that, we attach substitutions to this algorithm and study the $S$-adic languages generated by sequences of these substitutions. The negativity of the second Lyapunov exponent implies that almost all of these languages are balanced. By a thorough study of the combinatorics of the substitutions, we are even able to obtain a concrete generic family of balanced languages that is characterized in terms of a simple condition on the underlying sequence of substitutions.
The exponential equidistribution speed of iterated preimages for holomorphic endomorphisms on $\mathbb{P}^k$ was established by Drasin-Okuyama for $k=1$, and by Dinh-Sibony for arbitrary $k$. In this paper, we obtain a near-optimal equidistribution speed with order $O(nd^{-n})$ in dimension one for points that are not super-attracting periodic. For geometrically finite rational maps (including all hyperbolic rational maps), we prove that the equidistribution speed order is $O(d^{-n})$ for points that are not super-attracting, attracting, or parabolic periodic.
Two flows on a finite-dimensional normed space $X$ are Lipschitz equivalent if some homeomorphism $h$ of $X$ that is bi-Lipschitz near the origin preserves all orbits, i.e., $h$ maps each orbit onto an orbit. A complete classification by Lipschitz equivalence is established for all linear flows on $X$, in terms of basic linear algebra properties of their generators. Utilizing equivalence instead of the much more restrictive conjugacy, the classification theorem significantly extends known results. The analysis is entirely elementary though somewhat intricate. It highlights, more clearly than does the existing literature, the fundamental roles played by linearity and finite-dimensionality.
In this work, we present a computational framework for exploring and analyzing the macroscopic dynamics of complex agent-based network models by integrating Topological Data Analysis with the Equation-Free Method. To demonstrate the effectiveness of our method, we apply it to Erdős--Rényi-type random networks. Central to our approach is a Topological Data Analysis-based filtration process driven by the density of activated network nodes (agents), from which we extract a coarse-grained macroscopic topological observable. This observable is defined via persistent Betti numbers, thus requiring significantly reduced data dimensionality while retaining essential topological features. Subsequently, within the Equation-Free Method framework, we show firstly that a \textit{lifting procedure} can be achieved using topological properties and secondly, a data-driven evolution law that governs the dynamics of this macroscopic variable. Finally, we perform a numerical bifurcation and stability analysis to investigate the global behavior and qualitative transitions of the emergent macroscopic dynamics.
In this article, we use variational approaches to describe generalized solutions $(q_1,q_2)$ and critical points $(z_1,z_2)$ of the action functional $\mathscr{B}_{av}$ for the Helium atom in the $e^{-}Z^{2+}e^{-}$ configuration with mean interaction, where $(q_1,q_2)$ and $(z_1,z_2)$ are related by a non-local Levi-Civita regularization introduced by Barutello, Ortega and Verzini. Additionally, we give the Lagrangian and the Hamiltonian formulations of the generalized solutions $(q_1,q_2)$ following the framework constructed by Cieliebak, Frauenfelder and Volkov. Finally, we count the number of periodic orbits $(z_1,z_2)\in \mathscr{C}_{\mathscr{B}_{av}}$ and find the 1-to-1 correspondence between them and positive rational numbers $\mathbb{Q}_{+}$. \rm
A speedup, like a time change in discrete time dynamics, is a way of moving faster through the orbits of a dynamical system. Linearly recurrence is a stronger form of minimality for subshifts, shared by e.g.\ all primitive substitution shifts and Sturmian shifts associated with rotation numbers of bounded type. We prove that the homeomorphic speedup of a linearly recurrent two-sided subshift is again linearly recurrent.
This paper investigates Caputo mean-square attractors for non-autonomous stochastic evolution systems. We first introduce the concept of Caputo mean-square attractors and then establish a sufficient criterion for existence of such attractors.As an application, we consider a non-autonomous Caputo fractional stochastic differential equation of order $α\in (\frac{1}{2},1)$ in $L^2(Ω; \mathbb{R}^d)$ with a driving system on a compact base space $P$ and tempered fractional noise.It is shown that this equation generates a Caputo mean-square random semi-dynamical system on $\mathfrak{C} \times P$ with a skew-product semi-flow structure,where $\mathfrak{C}$ denotes the space of continuous functions $f\in \mathbb{R}^{+}\rightarrow L^2(Ω; \mathbb{R}^d)$. Under suitable conditions, we prove that this semi-dynamical system admits a Caputo mean-square attractor.
Given a logarithmic analytic vector field $\partial$, we consider the formal ideal $B(\partial)$ defined by the collinearity locus of the semi-simple and nilpotent components of~$\partial$. Assuming that the eigenvalues of the linear part of $\partial$ satisfy the so-called Bruno arithmetic condition, we prove that $B(\partial)$ is in fact an analytic ideal. Moreover, $\partial$ is analytically normalizable when restricted to this ideal. As a consequence, the vanishing locus $V$ of $B(\partial)$ is an analytic variety, and the foliation defined by $\partial|_{V}$ is analytically linearizable.
This paper studies consensus of discrete-time multi-agent systems under time-varying directed communication, state and input constraints using a distributed multi-step model predictive control (MPC) framework. Consensus is recast as stabilization of the agreement set, and a geometric viewpoint based on convex-hull invariance and strict interiority is adopted. Building on an existing geometric necessary and sufficient condition for agreement, we show that enforcing terminal inclusion in local neighbor convex hulls guarantees hull invariance but does not, in general, imply the strict relative-interior property required for convergence. An explicit counterexample demonstrates that strictness cannot be deduced from feasibility and contraction constraints alone. To resolve this issue without shrinking feasible sets or altering primary performance objectives, a lexicographic tie-breaking mechanism is introduced. Among optimal (or near-optimal) MPC solutions, the proposed secondary criterion selects trajectories maximizing an interiority measure with respect to the neighbor hull. It is shown that whenever an interior feasible terminal state exists, this selection rule enforces the strictness condition required for asymptotic consensus. Explicit horizon conditions are derived for single- and double-integrator agents with bounded inputs, ensuring feasibility and automatic existence of interior feasible terminal points. The resulting scheme provides a distributed and implementable route to consensus via finite-step set-Lyapunov contraction. Numerical simulations with distributed inter-process communication illustrate monotone diameter decay and report per-agent computational complexity.
We study Gaussian concentration inequalities for random fields obtained as finitary codings of i.i.d.\ processes, establishing a natural bridge between finitary codings and concentration inequalities. A finitary coding formalizes how a random field with nontrivial dependence, such as the Ising model, can be generated from an i.i.d.\ source by a shift-equivariant map that determines each output spin from a finite, configuration-dependent window of the input. Gaussian concentration yields uniform sub-Gaussian fluctuation bounds for all local observables. Our main abstract result shows that Gaussian concentration is preserved under finitary codings of i.i.d.\ fields provided the coding volume has finite second moment. The proof relies on a refinement of the classical worst-case bounded-differences inequality of Talagrand and Marton, allowing us to exploit configuration-dependent bounds. Under an additional structural condition that we call the short-range factorization property, satisfied in particular by codings constructed via coupling-from-the-past algorithms, finite first moment of the coding volume already suffices. These moment conditions are sharp. Applications include Gibbs measures and Markov random fields on $\mathbb Z^d$, probabilistic cellular automata, and one-dimensional stochastic processes. For classical lattice models such as the Ising, Potts, and random-cluster models, we obtain sharp criteria for Gaussian concentration coinciding with uniqueness regimes. For countable-state Markov chains, we derive equivalent characterizations, including geometric ergodicity, exponential return-time tails, and the existence of finitary i.i.d.\ codings with exponential tails.
This is a reaction to the article Symplectic bipotentials, in published form [2] and in preprint form [1] arXiv:2410.23122v1. We give evidence that most of the content of the article [2] is already covered in previous works, partially cited like [7] arXiv:0810.1419 [math.FA], or uncited, like [10] arXiv:1902.04598 [math-ph], [3] arXiv:2304.14158 [math-ph], which already introduced and studied symplectic bipotentials.
This paper studies the problem of verifying dissipativity of linear time-invariant (LTI) systems using input-output data. We leverage behavioral systems theory to express dissipativity in terms of quadratic difference forms (QDFs), allowing the study of general dynamic quadratic supply rates. We work under the assumptions that the data-generating system is controllable, and an upper bound is given on its lag. As our main results, we provide sufficient conditions for the data to be informative for dissipativity. We also show that for a specific class of static supply rates, these conditions are both necessary and sufficient. For the latter supply rates, it turns out that certification of dissipativity is only possible from data that enable unique system identification. As auxiliary results, we highlight some properties of QDFs, such as upper bounds on the degree of storage functions.
This paper provides two results that are useful in the study of the existence and the stability properties of a periodic solution for a given dynamical system. The first result deals with scalar time-periodic systems and establishes the equivalence of the existence of a periodic solution and the existence of a bounded solution. The second result provides sufficient conditions for the existence and the stability of a periodic solution for a time-periodic dynamical system. Both results are applied to extremum seeking problems for a static output map with no plant dynamics and novel non-local results are provided without the use of averaging theorems and singular perturbation arguments.
In this work, we investigate the use of data-driven equation discovery for dynamical systems to model and forecast continuous-time dynamics of unconstrained optimization problems. To avoid expensive evaluations of the objective function and its gradient, we leverage trajectory data on the optimization variables to learn the continuous-time dynamics associated with gradient descent, Newton's method, and ADAM optimization. The discovered gradient flows are then solved as a surrogate for the original optimization problem. To this end, we introduce the Learned Gradient Flow (LGF) optimizer, which is equipped to build surrogate models of variable polynomial order in full- or reduced-dimensional spaces at user-defined intervals in the optimization process. We demonstrate the efficacy of this approach on several standard problems from engineering mechanics and scientific machine learning, including two inverse problems, structural topology optimization, and two forward solves with different discretizations. Our results suggest that the learned gradient flows can significantly expedite convergence by capturing critical features of the optimization trajectory while avoiding expensive evaluations of the objective and its gradient.