2025-12-04 | | Total: 11
We construct nontrivial deformations of the standard map which preserve the symplectic actions, respectively the Lyapunov exponents, of infinitely many periodic orbits accumulating to an invariant curve. The proof uses a resonant normal-form construction to obtain a sequence of periodic orbits accumulating on an invariant curve with a Liouville rotation number. Within these normal forms we capture the dependence of these periodic orbits on the resonant Fourier coefficients of the dynamics on the invariant curve and, using the contraction mapping principle, obtain a suitable deformation achieving the prescribed spectral data associated with this sequence of orbits. The result can be viewed as a symplectic twist-map analogue of a length spectral nonrigidity phenomenon for Riemannian manifolds and convex billiards, and it motivates the existence problem for similar 'partially length-isospectral' deformations of strictly convex billiard tables.
We study the bifurcation structure of highly inclined near halo orbits with close approaches to the light primary, in the circular restricted three-body problem (CR3BP). Using a Hamiltonian formulation together with Moser regularization, we develop a numerical framework for the continuation of periodic orbits and the computation of their Floquet multipliers which remains effective near collision. We describe vertical collision orbits and families emerging from its pitchfork, period-doubling, and period-tripling bifurcations in the limiting Hill's problem, including the halo and butterfly families. We continue these into the CR3BP using a perturbative framework via a symplectic scaling, and construct bifurcation graphs for representative systems (Saturn-Enceladus, Earth-Moon, Copenhagen) to identify common dynamical features. Conley-Zehnder indices are computed to classify the resulting families. Together, these results provide a coherent global picture of polar orbit architecture near the light primary, offering groundwork for future mission design, such as Enceladus plume sampling missions.
This paper investigates a class of reaction-diffusion population models defined on a bounded domain, characterized by a general time-delayed per capita growth rate and a general advection term. Notably, the growth rate encompasses both Logistic-type and weak Allee effect-type dynamical behaviors. By applying the Lyapunov method, we establish the existence of spatially inhomogeneous steady states when a parameter approaches the principal eigenvalue of a non-self-adjoint elliptic operator. A detailed analysis of the characteristic equation further confirms the existence of Hopf bifurcations originating from these steady states. Subsequently, by applying center manifold reduction and normal form theory, we ascertain the direction of these Hopf bifurcations and the stability of the resulting periodic orbits. Finally, the proposed general theoretical results are successfully applied to a "food-limited" population model and a weak Allee effect-driven population model, each of which incorporates diffusion, time delay, and advection, thus confirming the validity of our approach.
We show that the abelian Livšic theorem recently obtained by A. Gogolev and F. Rodriguez Hertz for null-homologous periodic orbits of homologically full Anosov flows continues to hold when restricted to periodic orbits which are trivial with respect to any regular cover for which the lifted flow is transitive.
In this paper, we prove that ergodic measures with large entropy give uniformly large measure to the set of points with simultaneously long unstable and long stable manifolds. As a consequence, for $C^{\infty}$ surface diffeomorphisms, we establish an effective version of the SPR property. For $C^{\infty}$ three-dimensional flows without singularities, we prove the finiteness of equilibrium measures for admissible potentials whose variation is strictly less than half of the topological entropy.
In his celebrated counterexample to the KAM theorem, Herman introduced a perturbation of an integrable system consisting of two components: a hyperbolic term and a bump function. He also remarked that it was unclear whether the bump function was truly necessary. In this note, we prove that the bump function is indeed necessary when more natural hyperbolic perturbations are considered. The proof of this necessity relies on an improved Siegel--Brjuno estimate and a parameter-dependent renormalization of resonances within the direct KAM method.
Finite abstractions are discrete approximations of dynamical systems, such that the set of abstraction trajectories contains, in a formal sense, all system trajectories. There is a consensus that abstractions suffer from the curse of dimensionality: for the same ``accuracy" (how closely the abstraction represents the system), the abstraction size scales poorly with system dimensions. And, yet, after decades of research on abstractions, there are no formal results concerning their accuracy-size tradeoff. In this work, we derive a statistical, quantitative theory of abstractions' accuracy-size tradeoff and uncover fundamental limits on their scalability, through rate-distortion theory -- the branch of information theory studying lossy compression. Abstractions are viewed as encoder-decoder pairs, encoding trajectories of dynamical systems in a higher-dimensional ambient space. Rate represents abstraction size, while distortion describes abstraction accuracy, defined as the spatial average deviation between abstract trajectories and system ones. We obtain a fundamental lower bound on the minimum abstraction distortion, given the system dynamics and a threshold on abstraction size. The bound depends on the complexity of the dynamics, through generalized entropy. We demonstrate the bound's tightness on certain dynamical systems. Finally, we showcase how the developed theory can be employed to construct optimal abstractions, in terms of the size-accuracy tradeoff, through an example on a chaotic system.
Parametric representations of various functions are fundamental tools in science and engineering. This paper introduces a fixed-initial-state constant-input dynamical system (FISCIDS) representation, which provides an exact and parametric model for a broad class of nonlinear functions. A FISCIDS representation of a given nonlinear function consists of an input-affine dynamical system with a fixed initial state and constant input. The argument of the function is applied as the constant input to the input-affine system, and the value of the function is the output of the input-affine system at a fixed terminal time. We show that any differentially algebraic function has a quadratic FISCIDS representation. We also show that there exists an analytic function that is not differentially algebraic but has a quadratic FISCIDS representation. Therefore, most functions in practical problems in science and engineering can be represented by a quadratic FISCIDS representation.
Coarse graining (CG) is an important task for efficient modeling and simulation of complex multi-scale systems, such as the conformational dynamics of biomolecules. This work presents a projection-based coarse-graining formalism for general underdamped Langevin dynamics. Following the Zwanzig projection approach, we derive a closed-form expression for the coarse grained dynamics. In addition, we show how the generator Extended Dynamic Mode Decomposition (gEDMD) method, which was developed in the context of Koopman operator methods, can be used to model the CG dynamics and evaluate its kinetic properties, such as transition timescales. Finally, we combine our approach with thermodynamic interpolation (TI), a generative approach to transform samples between thermodynamic conditions, to extend the scope of the approach across thermodynamic states without repeated numerical simulations. Using a two-dimensional model system, we demonstrate that the proposed method allows to accurately capture the thermodynamic and kinetic properties of the full-space model.
We investigate the semigroup of invariant types through the lens of Ellis theory; primarily focusing on definably amenable NIP groups. In this context, we observe that the collection of strong right $f$-generic types forms the unique minimal left ideal and thus, the Ellis subgroups are isomorphic to $G/G^{00}$ via the canonical quotient map. As consequence of the Newelski-Pillay conjecture, the Ellis subgroups of the semigroup of invariant types are abstractly isomorphic to the Ellis subgroups of the semigroup of finitely satisfiable types in the definable amenable NIP setting. We are interested in the existence of natural isomorphisms from invariant Ellis subgroups to finitely satisfiable Ellis subgroups and we determine when these isomorphisms can be witnessed by variants of the canonical NIP retraction map. Several limiting examples are provided. Outside of the NIP context, we provide an abelian group (and thus definably amenable) with an $\emptyset$-definable (dfg) type in which the invariant Ellis subgroups and finitely satisfiable Ellis subgroups not isomorphic.
We develop a framework for dynamical non-commutative algebraic geometry (DNCAG) by analyzing the evolution and stability of polynomial root manifolds in real normed division algebras ($\mathbb{H}$ and $\mathbb{O}$). We establish a Generalized Inflation Theorem, demonstrating that for central polynomials, the root set forms a homogeneous space $G/H$, where $G$ is the automorphism group of the algebra ($SO(3)$ for $\mathbb{H}$, $G_2$ for $\mathbb{O}$). This mechanism generates continuous geometry from non-commutativity. We analyze the dynamics under central modulation (breathing modes), classifying topological bifurcations ($Δ=0$). We then analyze the topological collapse induced by non-central perturbations, governed by symmetry reduction. We utilize the Localization Theorem (Gordon-Motzkin) to explain the alignment of roots with coefficient subalgebras. We formalize the dynamics of collapse using gradient flow on the potential landscape $\mathcal{V}(x) = \|P(x)\|^2$, characterizing it as a deformation retract and proving that the collapse timescale exhibits critical slowing down with quadratic scaling ($T_{\rm collapse} \propto ε^{-2}$). Finally, we introduce a thermodynamic formalism, proving an Entropy Scaling Law that rigorously characterizes the collapse as a symmetry-breaking phase transition.