Dynamical Systems
See recent articles
Showing new listings for Tuesday, 31 March 2026
- [1] arXiv:2603.26805 [pdf, html, other]
-
Title: Lagrangian chaos for the 2D Boussinesq equations with a degenerate random forcingSubjects: Dynamical Systems (math.DS)
We demonstrate that Lagrangian flow for the 2D Boussinesq equations under degenerate noise exhibit chaotic behavior characterized by the strict positivity of the top Lyapunov exponent, where the degenerate noise acts only on a few Fourier modes of the temperature equation. To achieve this, we overcome difficulties arising from the degeneracy of noise and its intricate interaction with the nonlinear terms. This is accomplished by introducing a solution-dependent manifold spanning condition to establish probabilistic spectral bound on a cone for the Malliavin matrix associated with the extended system. Additionally, the approximate controllability of the extended system is realized by constructing smooth controls based on shear and cellular flows.
- [2] arXiv:2603.26806 [pdf, html, other]
-
Title: Lagrangian chaos for the 2D Navier-Stokes equations driven by mildly degenerate noiseSubjects: Dynamical Systems (math.DS)
We consider the 2D incompressible Navier-Stokes equations driven by mildly degenerate noise acting only on finitely many low Fourier modes, corresponding to large-scale stirring. For this system, we prove that the top Lyapunov exponent of the associated Lagrangian flow is strictly positive, thereby establishing Lagrangian chaos. This result is obtained within the framework of random dynamical systems, combining the multiplicative ergodic theorem with the refined Furstenberg criterion from [26]. Unlike the method in [26] for handling highly degenerate noise, this paper develops a unified analytical framework that combines low-mode control, finite-dimensional Malliavin calculus, and dissipation in the high modes. By constructing a finite-dimensional partial Malliavin matrix and proving its non-degeneracy, we avoid the technical complexity of performing Malliavin analysis on the full phase space and simultaneously overcome the degeneracy introduced by the manifold variables. Furthermore, the setup of mildly degenerate noise ensures natural controllability in the low-frequency subsystem, while controllability in the manifold directions requires only first order Lie brackets, significantly simplifying the Lie algebraic computations.
- [3] arXiv:2603.26912 [pdf, html, other]
-
Title: A method of reduction for invariant curves of quasiperiodically forced mapsSubjects: Dynamical Systems (math.DS)
The existence of translated curves for quasiperiodically forced maps is established, under very mild regularity hypotheses, for rotation numbers of constant type. Among the translated curves, the invariant curves are characterized as the solutions of a scalar bifurcation equation, from which their existence, stability as well as bifurcation can be easily described.
- [4] arXiv:2603.26921 [pdf, html, other]
-
Title: Comparing Physics-Informed and Neural ODE Approaches for Modeling Nonlinear Biological Systems: A Case Study Based on the Morris-Lecar ModelComments: 25 pages, 11 figuresSubjects: Dynamical Systems (math.DS); Machine Learning (cs.LG)
Physics-Informed Neural Networks (PINNs) and Neural Ordinary Differential Equations (NODEs) represent two distinct machine learning frameworks for modeling nonlinear neuronal dynamics. This study systematically evaluates their performance on the two-dimensional Morris-Lecar model across three canonical bifurcation regimes: Hopf, Saddle-Node on Limit Cycle, and homoclinic orbit. Synthetic time-series data are generated via numerical integration under controlled conditions, and training is performed using collocation points for PINNs and adaptive solvers for NODEs (Dormand-Prince method).
PINNs incorporate the governing differential equations into the loss function using automatic differentiation, which enforces physical consistency during training. In contrast, NODEs learn the system's vector field directly from data, without prior structural assumptions or inductive bias toward physical laws. Model performance is assessed using standard regression metrics, including Mean Squared Error (MSE), Mean Absolute Error (MAE), Mean Absolute Percentage Error (MAPE), and the coefficient of determination.
Results indicate that PINNs tend to achieve higher accuracy and robustness in scenarios involving stiffness or sensitive bifurcations, owing to their embedded physical structure. NODEs, while more expressive and flexible, operate as black-box approximators without structural constraints, which can lead to reduced interpretability and stability in these regimes. Although advanced variants of NODEs (e.g., ANODEs, latent NODEs) aim to mitigate such limitations, their performance under stiff dynamics remains an open question.
These findings emphasize the trade-offs between physics-informed models, which embed structure and interpretability, and purely data-driven approaches, which prioritize flexibility at the cost of physical consistency. - [5] arXiv:2603.26949 [pdf, html, other]
-
Title: Spectral theory for transfer operators on compact quotients of Euclidean buildingsSubjects: Dynamical Systems (math.DS); Metric Geometry (math.MG); Operator Algebras (math.OA); Spectral Theory (math.SP)
In this paper we generalize the geodesic flow on (finite) homogeneous graphs to a multiparameter flow on compact quotients of Euclidean buildings. Then we study the joint spectra of the associated transfer operators acting on suitable Lipschitz spaces. The main result says that outside an arbitrarily small neighborhood of zero in the set of spectral parameters the Taylor spectrum of the commuting family of transfer operators is contained in the joint point spectrum.
- [6] arXiv:2603.27258 [pdf, html, other]
-
Title: A short proof of Erdős's $B+C$ conjectureComments: 8 pagesSubjects: Dynamical Systems (math.DS); Combinatorics (math.CO); Number Theory (math.NT)
We give a short proof of the fact that every set of natural numbers with positive upper Banach density contains the sum of two infinite sets. The approach simplifies earlier existing proofs.
- [7] arXiv:2603.27362 [pdf, other]
-
Title: From pseudo-Anosov flows on graph manifolds to totally periodic flowsComments: 19 pages, 10 figuresSubjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
We show that every pseudo-Anosov flow on a graph manifold is almost equivalent, i.e. orbit equivalent in the complement of a finite collection of closed orbits, to a totally periodic pseudo-Anosov flow or a suspension Anosov flow. The proof is via a hands-on construction of a partial Birkhoff section with genus one components that misses finitely many closed orbits. When combined with previous work of the author, this implies that every transitive Anosov flow on a graph manifold with orientable stable and unstable foliations is almost equivalent to a suspension Anosov flow.
- [8] arXiv:2603.27395 [pdf, html, other]
-
Title: Topological Detection of Hopf Bifurcations via Persistent Homology: A Functional Criterion from Time SeriesComments: 19 pages, 10 figures, submittedSubjects: Dynamical Systems (math.DS); Algebraic Topology (math.AT); Machine Learning (stat.ML)
We propose a topological framework for the detection of Hopf bifurcations directly from time series, based on persistent homology applied to phase space reconstructions via Takens embedding within the framework of Topological Data Analysis. The central idea is that changes in the dynamical regime are reflected in the emergence or disappearance of a dominant one-dimensional homological features in the reconstructed attractor. To quantify this behavior, we introduce a simple and interpretable scalar topological functional defined as the maximum persistence of homology classes in dimension one. This functional is used to construct a computable criterion for identifying critical parameters in families of dynamical systems without requiring knowledge of the underlying equations. The proposed approach is validated on representative systems of increasing complexity, showing consistent detection of the bifurcation point. The results support the interpretation of dynamical transitions as topological phase transitions and demonstrate the potential of topological data analysis as a model-free tool for the quantitative analysis of nonlinear time series.
- [9] arXiv:2603.27425 [pdf, html, other]
-
Title: Conditions for uniform $h$--dichotomy in terms of uniform non criticality, expansiveness and via generalized Floquet theoryComments: 21 pagesSubjects: Dynamical Systems (math.DS)
In this article, we complete the study of the equivalences between the properties of $h$--dichotomy, $h$--noncriticality and $h$--expansiveness of a linear nonautonomous ODE system which had been initiated in a previous work. Moreover, we extend a result of the generalized Floquet theory developed by T.A. Burton and J.S. Muldowney by providing a necessary and sufficient condition for $h$--dichotomy. It should be noted that all the results have been obtained by using a characterization of the $h$--dichotomy by a group theory approach recently developed by J.F. Peña and S. Rivera--Villagrán.
- [10] arXiv:2603.27640 [pdf, html, other]
-
Title: Multifractal aspects of $α$-expansionsSubjects: Dynamical Systems (math.DS)
In \cite{[NE]} we introduce $\alpha$-expansions a real numbers in $(0,1]$, given by \[ \sum_{i=1}^{\infty}(\alpha-1)^{i-1}\alpha^{-(d_{1}+\dots+d_{i})}\] with $\alpha>1$ and $d_{i}\in\mathbb{N}$ and discuss ergodic theoretical and dimension theoretical aspects of this expansions. In this sequel we study mutifractal aspects of this expansions.
- [11] arXiv:2603.27686 [pdf, html, other]
-
Title: Non-autonomous parabolic implosionSubjects: Dynamical Systems (math.DS); Complex Variables (math.CV)
We study parabolic implosion in a general non-autonomous setting. Let $f(w)=w+w^2+O(w^3)$ be a holomorphic germ tangent to the identity. We consider the iteration of non-autonomous perturbations of the form \[ w_{j+1}=f(w_j)+\varepsilon_{j,n}^2. \] We show that, when the $\varepsilon_{j,n}^2$'s satisfy a Lavaurs-type condition, the element $w_n$ can be described by means of a suitable Lavaurs map $L_{u_n}$, whose phase $u_n$ is an explicit function of the perturbation parameters. In particular, whenever $u_n\to u\in \mathbb C$, the non-autonomous dynamics converges locally uniformly on compact subsets of the parabolic basin to the corresponding Lavaurs map $L_u$.
Our study provides a general description of additive non-autonomous parabolic implosion and yields several deterministic and random convergence results as corollaries, as well as a unified proof of several previous results. As an application, we also obtain strong discontinuity results for the Julia sets of fibered holomorphic endomorphisms of $\mathbb P^2(\mathbb C)$. - [12] arXiv:2603.27804 [pdf, html, other]
-
Title: On Unstable Fixed Points in Modern Continuous Hopfield NetworksComments: 22 pagesSubjects: Dynamical Systems (math.DS)
The recently introduced continuous Hopfield network (see Ramsauer et al.) exhibits large memorization capabilities, which manifest as attractive fixed points of its update rule -- a differentiable function consisting of two linear mappings composed with the scaled softmax function. The authors of the aforementioned work provide proofs for the existence and approximate position of such attractive fixed points. For the softmax function alone, the fixed point structure has been fully characterized in earlier work by P. Tiňo, from which it turns out that for sufficiently large scaling factors there are exponentially more unstable fixed points than attractive ones. In this work, we complement the findings of Ramsauer et al. by showing that, under natural geometric conditions on the vectors defining the continuous Hopfield network, unstable fixed points must occur, analogous to the findings of Tiňo. Our results show that, under these geometric conditions, continuous Hopfield networks necessarily admit additional unstable fixed points associated with higher-dimensional faces of the pattern polytope.
- [13] arXiv:2603.27899 [pdf, html, other]
-
Title: Uniqueness of a topological Furstenberg systemComments: 26 pages. Comments welcome!Subjects: Dynamical Systems (math.DS)
Given a semigroup $G$ and a bounded function $f: G \to \mathbb{C}$, a topological Furstenberg system of $f$ is a topological dynamical system $\mathbb{X}=(X, (T_g)_{g \in G})$ that encodes the dynamical behaviour of $f$. We show that $\mathbb{X}$ is unique up to topological isomorphism, thus providing a topological analogue of the measurable case established by Bergelson and Ferré Moragues for amenable semigroups. We also provide necessary and sufficient conditions for subsets of a group to have isomorphic Furstenberg systems. In addition, we study sets with minimal Furstenberg systems and identify them as a special subclass of dynamically syndetic sets. Moreover, we use this notion to obtain a new characterization of sets of topological recurrence.
- [14] arXiv:2603.28059 [pdf, html, other]
-
Title: Amerio's Theorem for Remotely Almost Periodic Differential EquationsSubjects: Dynamical Systems (math.DS)
The aim of this paper is to study the remotely almost periodic motions of dynamical systems and solutions of nonlinear differential equations. We establish some properties of remotely almost periodic motions and generalize the well known Amerio's theorem for abstract remotely almost periodic dynamical systems. Application of our general results for different classes of nonlinear differential/difference and algebraic equations is given.
- [15] arXiv:2603.28185 [pdf, html, other]
-
Title: Critical regularity of nilpotent groups acting on one-dimensional compact manifoldsComments: 55 pages, 8 figuresSubjects: Dynamical Systems (math.DS); Group Theory (math.GR)
Given a finitely generated, torsion-free nilpotent group, we find the maximum possible (critical) regularity for its faithful actions by diffeomorphisms of the closed or half-open interval and of the circle. Our result gives an expression for its value in purely algebraic terms (using the relative growth of appropriate subgroups), generalizing many preceding works. As an intermediate step, we generalize the Bass-Guivarc'h formula, obtaining a formula for the relative growth of subgroups of nilpotent groups, as well as for the growth of the corresponding Schreier graphs.
- [16] arXiv:2603.28285 [pdf, html, other]
-
Title: Global stability and uniform persistence in an epidemic model with saturating fomite-mediated transmissionSubjects: Dynamical Systems (math.DS); Populations and Evolution (q-bio.PE)
We analyse the global dynamics of a Susceptible--Vaccinated--Exposed--Infected--Recovered (SVEIR) epidemic model with demographic turnover, imperfect vaccination, and two transmission routes: direct host-to-host contagion and indirect transmission via contaminated fomites. Indirect transmission is described through an environmental pathogen concentration and a Holling-type dose--response function, accounting for nonlinear incidence at high contamination levels. Threshold conditions separating disease elimination from long-term persistence are expressed in terms of the control reproduction number $\mathcal R_c$, and the classical threshold condition $\mathcal R_c<1$ is derived for the local asymptotic stability of the disease-free equilibrium. For the Holling type~II case, we further obtain an explicit closed-form sufficient condition for the global asymptotic stability of the disease-free equilibrium by applying the Kamgang--Sallet approach for monotone systems with a Metzler infected subsystem. In the absence of vaccination, this criterion recovers the sharp threshold $\mathcal R_0\le 1$ for the global asymptotic stability of the disease-free equilibrium, where $\mathcal R_0$ denotes the basic reproduction number. Conversely, when $\mathcal R_c>1$, we establish uniform persistence of the infection and the existence of at least one endemic equilibrium using persistence theory for semiflows and an acyclicity analysis of the boundary dynamics. Overall, our results quantify the combined impact of vaccination and saturating fomite-mediated transmission on the global behaviour of the model.
- [17] arXiv:2603.28347 [pdf, html, other]
-
Title: Integrability of Billiards Inside Cones as a Discrete-Time Hamiltonian SystemSubjects: Dynamical Systems (math.DS)
In this paper, we continue to study billiards inside cones $K\subset \mathbb{R}^n$ over strictly convex closed $C^3$ manifolds with non-degenerate second fundamental form. Recently we proved that the billiard is superintegrable, i.e., the billiard admits first integrals whose values uniquely determine all billiard trajectories. In this paper we prove that this billiard system admits $n-1$ independent first integrals in involution. Consequently, the system is completely integrable as a discrete-time Hamiltonian system. This provides an example of an integrable billiard where the billiard table is neither a quadric nor consists of pieces of quadrics.
- [18] arXiv:2603.28375 [pdf, html, other]
-
Title: Time Series Correlations and Kolmogorov Complexity: A Hausdorff Dimension PerspectiveSubjects: Dynamical Systems (math.DS); Computational Complexity (cs.CC); Information Theory (cs.IT); Chaotic Dynamics (nlin.CD)
Spurious correlations are common in time-series analysis because simple, low-complexity patterns can produce high Pearson correlations even between unrelated series. We argue that Kolmogorov complexity, interpreted as resistance to compression, provides a principled safeguard against such false positives. Using effective Hausdorff dimension, we show that the probability of accidental correlation between two independent series decays exponentially with their complexity, while noise can inflate observed complexity and must therefore be accounted for in practice.
We illustrate these ideas with coupled logistic maps and multivariate fractional Brownian motion (mfBm), where the Hurst parameter \(H\) controls both complexity and Hausdorff dimension \((\dim_H = 2 - H)\). Both models show that false positives are much more common among low-complexity series than among high-complexity ones.
We introduce the joint complexity indicator \[ J_{\rm LZ} = \sqrt{\widetilde{C}_{\rm LZ}(x)\widetilde{C}_{\rm LZ}(y)}, \] which captures joint high complexity rather than simple similarity between individual complexities. Its threshold can be calibrated from the mfBm false-positive curve. In logistic maps, \(J_{\rm LZ}\) also anticipates the collapse of individual complexity just before synchronization. We recommend establishing stationarity first, then reporting \(J_{\rm LZ}\) alongside \(\rho\), and treating high correlation among low-complexity series with skepticism. - [19] arXiv:2603.28398 [pdf, html, other]
-
Title: Denseness of zero entropy aperiodic ergodic measuresComments: 39 pages, 0 figuresSubjects: Dynamical Systems (math.DS)
We study partially hyperbolic homoclinic classes of $C^1$-generic diffeomorphisms with a one-dimensional central bundle, so that the central Lyapunov exponent $\chi^c(\mu)$ is well defined for any ergodic measure $\mu$ supported on the class. We focus on nonhyperbolic homoclinic classes supporting ergodic measures with positive, zero, and negative central exponents. For each $\alpha$ and a nontrivial homoclinic class $H$ of a $C^1$-generic diffeomorphism $f$, we consider the level set of measures \[ \mathcal{M}^\alpha_{\mathrm{erg}}(f,H)= \left\{\text{$\mu$ ergodic, supported on $H$, with } \chi^c(\mu)=\alpha \right\}. \] In this generic setting, the range of $\alpha$ for which $\mathcal{M}^\alpha_{\mathrm{erg}}(f,H)$ is nonempty forms a nontrivial closed interval $I$. Since the set of periodic measures is countable, most of these sets contain no periodic measures. We show that for every $\alpha$ in the interior of $I$, the so-called Axiomatized GIKN measures, a class of low-complexity, zero-entropy measures, are dense in $\mathcal{M}^\alpha_{\mathrm{erg}}(f,H)$. This result can be viewed as an analogue of Sigmund's classical density of periodic measures for systems with the specification property, obtained here in a setting where the specification property does not hold and periodic measures are typically absent (in the considered level sets).
We also present a similar result for the open class of blender-minimal diffeomorphisms, contained in the class of $C^1$-robustly transitive ones. - [20] arXiv:2603.28401 [pdf, other]
-
Title: Dynamical metric orderSubjects: Dynamical Systems (math.DS)
We introduce the notion of dynamical metric order of a continuous map on a compact metric space, %study its basic properties, and compute it for several classes of maps. This concept which is a counterpart of the metric mean dimension with the role of the box-counting dimension being played by the metric order. It is devised for maps acting on spaces with infinite box-counting dimension but finite metric order. For example, it brings forward new information about full shifts whose alphabets have infinite box-counting dimension; and provides a sharper estimate of complexity for the induced map determined by a continuous transformation on a compact metric space, whose upper metric mean dimension is known to admit only two values (zero or infinity). We also show that it satisfies a variational principle where maximization is taken over the space of invariant probability measures and whose equilibrium states always exist.
- [21] arXiv:2603.28453 [pdf, html, other]
-
Title: Global Convergence of the Return Dynamics in the Class $\mathcal{O}_CSubjects: Dynamical Systems (math.DS)
In previous work we introduced a return map generated by a geometric round-trip between the boundary of a convex core \(C\) and the boundary of an admissible domain \(\Omega\) belonging to the class \(\mathcal{O}_C\) (see Definition 1.2). The associated transformation \[ F:\partial C\to \partial C \] defines a discrete dynamical system whose first-order expansion reveals a variable-step gradient descent structure for the thickness function \[ d:\partial C\to \mathbb{R}_{+}. \] The purpose of the present paper is to analyze the global dynamical properties of this transformation. Under natural regularity and nondegeneracy assumptions on the thickness function, we prove that every trajectory of the return map converges to a critical point of \(d\). The proof combines the first-order expansion of the return map, a Lyapunov dissipation estimate for the energy \[ V(c)=\frac{1}{2}d(c)^2, \] and a compactness argument based on the isolation of the critical points.
These results show that the geometry of the domain \(\Omega\) induces a gradient-like dynamical system on \(\partial C\) whose long-term behavior is completely organized by the critical points of the thickness landscape. In particular, the phase space decomposes into basins of attraction associated with these critical points, and nontrivial periodic orbits cannot occur. - [22] arXiv:2603.28502 [pdf, html, other]
-
Title: A numerical Koopman-based framework to estimate regions of attraction for general vector fieldsSubjects: Dynamical Systems (math.DS)
In this paper, we develop a comprehensive framework to estimate regions of attraction of equilibria for dynamics associated with general vector fields. This framework combines Koopman operator-based methods with rigorous validation techniques. A candidate Lyapunov function is constructed with approximated Koopman eigenfunctions and further validated through polynomial approximation, either with SOS-based techniques or with a worst-case approach using an adaptive grid. The framework is general, not only since it is adapted to non-polynomial vector fields, but also since the Koopman operator can be approximated with general bases yielding non-polynomial Lyapunov functions. The performance of the method is illustrated with several numerical examples.
- [23] arXiv:2603.28535 [pdf, html, other]
-
Title: Thermodynamic Formalism for Quasimorphisms: Lattices in Higher Rank Semisimple Lie GroupsSubjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
We give a proof, based on thermodynamic formalism, of a theorem in bounded cohomology extending a foundational result of Burger and Monod: if $\Gamma$ is an irreducible uniform lattice in a non-compact connected semisimple Lie group of real rank at least $2$, then for any finite-dimensional representation $\pi:\Gamma\to \operatorname{O}_N$, every $\pi$-quasimorphism (that is, a map with bounded defect with respect to $\pi$) is bounded.
- [24] arXiv:2603.28539 [pdf, html, other]
-
Title: Limit Bi-Shadowing for Semi-Hyperbolic SystemsSubjects: Dynamical Systems (math.DS)
This paper investigates the shadowing properties in semi-hyperbolic systems. We introduce three classes of shadowing properties defined on families of manifolds, and prove that a semi-hyperbolic family possesses the $L^p$ bi-shadowing property, the limit bi-shadowing property, and the asymptotic bi-shadowing property under certain conditions. The proof strategy is to transform the shadowing problem into a fixed-point problem, and then apply the Brouwer fixed-point theorem to complete the verification.
- [25] arXiv:2603.28577 [pdf, html, other]
-
Title: Parabolic implosion in dimension 2Comments: 40 pagesSubjects: Dynamical Systems (math.DS)
In this paper, we extend the theory of parabolic implosion in complex dimension 2 to the case of holomorphic maps tangent to the identity at order 2. We investigate the bifurcation phenomena that occur when a fully parabolic fixed point is perturbed. Under the assumption of a non-degenerate characteristic direction with a formal invariant curve and director $\alpha$ satisfying $\re\alpha> 2$, we establish the existence of Lavaurs maps as limits of iterates $f_{\epsilon_n}^n$ for specific sequences of the perturbation parameter $\epsilon_n$. Finally, we apply these results to prove the discontinuity of the Julia sets $J_1$ and $J_2$ for holomorphic endomorphisms of $\mathbb{P}^2$, generalizing classical one-dimensional results to this higher-dimensional setting.
- [26] arXiv:2603.28591 [pdf, html, other]
-
Title: Universal Approximation Constraints of Narrow ResNets: The Tunnel EffectSubjects: Dynamical Systems (math.DS); Machine Learning (cs.LG)
We analyze the universal approximation constraints of narrow Residual Neural Networks (ResNets) both theoretically and numerically. For deep neural networks without input space augmentation, a central constraint is the inability to represent critical points of the input-output map. We prove that this has global consequences for target function approximations and show that the manifestation of this defect is typically a shift of the critical point to infinity, which we call the ``tunnel effect'' in the context of classification tasks. While ResNets offer greater expressivity than standard multilayer perceptrons (MLPs), their capability strongly depends on the signal ratio between the skip and residual channels. We establish quantitative approximation bounds for both the residual-dominant (close to MLP) and skip-dominant (close to neural ODE) regimes. These estimates depend explicitly on the channel ratio and uniform network weight bounds. Low-dimensional examples further provide a detailed analysis of the different ResNet regimes and how architecture-target incompatibility influences the approximation error.
- [27] arXiv:2603.28640 [pdf, html, other]
-
Title: Asymptotic behavior of solutions to linear evolution equations with time delay via a spectral theory on Gelfand triplesSubjects: Dynamical Systems (math.DS)
In this paper, a class of linear evolution equations with time delay is studied in which the presence of continuous spectrum on the imaginary axis obstructs the analysis of long-time dynamics. To address it, a generalized spectral framework on a Gelfand triple is utilized. When the spectral measure of the unperturbed term (a skew-adjoint operator) admits some analyticity condition, the resolvent is extended to a generalized resolvent. Called generalized spectrum, the collection of singularities on the Riemann surface of the generalized resolvent may differ from the spectrum in the usual sense because of the change of topology via the Gelfand triple. It is shown that under some compactness assumption, the generalized spectrum consists only of isolated generalized eigenvalues (resonance poles). This structure allows contour deformation in the inverse Laplace representation and yields exponential decay in a weak topology. As an application, we analyze the continuum limit of the Kuramoto-Daido model with time delay and prove linear stability of the incoherent state in the weak coupling regime.
- [28] arXiv:2603.28671 [pdf, html, other]
-
Title: Stochasticity and probabilistic trajectory scoring are essential for data-driven closures of chaotic systemsSubjects: Dynamical Systems (math.DS); Atmospheric and Oceanic Physics (physics.ao-ph); Fluid Dynamics (physics.flu-dyn)
Coarse-grained models of chaotic systems neglect unresolved degrees of freedom, inducing structured model error that limits predictability and distorts long-term statistics. Typical data-driven closures are trained to minimize error over a single time step, implicitly assuming Markovian dynamics and often failing to capture long-term behavior. Recent approaches instead optimize losses over finite trajectories. However, when such trajectory-based training is carried out with deterministic pointwise losses, it introduces a fundamental mathematical degeneracy. We prove that optimizing pointwise deterministic losses such as mean squared error over chaotic trajectories suppresses predictive variance, with corresponding loss of physical variability in long integrations. In contrast, strictly proper scoring rules avoid this degeneracy. By targeting forecast distributions rather than realized trajectories, they remove the penalty against predictive spread and align the long-lead optimum with the invariant measure. Using quasi-geostrophic turbulence as a canonical chaotic system, we validate this theory: one-step-trained closures fail to capture stable coarse-grained dynamics, while deterministic closures optimized over trajectories exhibit the variance-loss tendency predicted by our analysis. Stochastic closures calibrated over trajectories using the energy score, however, overcome both structural limitations, yielding skillful ensemble forecasts and realistic long-term statistics. Our results establish that both stochastic modeling and trajectory-based calibration are essential for faithfully representing the dynamics of coarse-grained systems.
New submissions (showing 28 of 28 entries)
- [29] arXiv:2603.26822 (cross-list from physics.soc-ph) [pdf, html, other]
-
Title: Modularity, asymmetry, and polarization shape consensus speed in the voter modelComments: 23 pages, 9 figuresSubjects: Physics and Society (physics.soc-ph); Dynamical Systems (math.DS); Populations and Evolution (q-bio.PE)
In populations with community structure, the formation of consensus requires both alignment within and diffusion of beliefs across groups, processes that evolve on distinct time scales. How do modularity, asymmetry, and polarization shape this process? We study a variant of the voter model in which a population is divided into two cliques of sizes $N_1$ and $N_2$. At each time step, a pair of nodes is selected; if their binary opinions differ, each agent adopts the opinion of the other with probability $p$. With probability $\alpha$, the pairing occurs with a single clique, and with probability $1-\alpha$, across cliques. We analyze how this coupling strength, population imbalance, and initial polarization jointly determine the time to consensus. Formation of consensus generally starts with inter-clique interactions rapidly synchronizing the two cliques' opinion fractions, after which consensus is reached through a slower diffusion along the synchronized manifold; this slow stage is largely insensitive to $\alpha$ except when the cliques are nearly disconnected. To analyze these dynamics, we derive stochastic differential equations and Fokker-Planck approximations in the large-population limit, and assess their accuracy against the discrete model. While $\alpha$ primarily affects the fast alignment stage, initially polarized and asymmetric populations exhibit nontrivial effects, including regimes in which an intermediate level coupling minimizes consensus time. A small-clique scaling analysis reveals that this optimum arises from a competition between fast alignment drift and noise amplification in the smaller group, and provides an approximate decomposition of consensus time into fast and slow contributions.
- [30] arXiv:2603.26923 (cross-list from stat.ML) [pdf, html, other]
-
Title: Koopman Operator Identification of Model Parameter Trajectories for Temporal Domain Generalization (KOMET)Subjects: Machine Learning (stat.ML); Machine Learning (cs.LG); Dynamical Systems (math.DS)
Parametric models deployed in non-stationary environments degrade as the underlying data distribution evolves over time (a phenomenon known as temporal domain drift). In the current work, we present KOMET (Koopman Operator identification of Model parameter Evolution under Temporal drift), a model-agnostic, data-driven framework that treats the sequence of trained parameter vectors as the trajectory of a nonlinear dynamical system and identifies its governing linear operator via Extended Dynamic Mode Decomposition (EDMD). A warm-start sequential training protocol enforces parameter-trajectory smoothness, and a Fourier-augmented observable dictionary exploits the periodic structure inherent in many real-world distribution drifts. Once identified, KOMET's Koopman operator predicts future parameter trajectories autonomously, without access to future labeled data, enabling zero-retraining adaptation at deployment. Evaluated on six datasets spanning rotating, oscillating, and expanding distribution geometries, KOMET achieves mean autonomous-rollout accuracies between 0.981 and 1.000 over 100 held-out time steps. Spectral and coupling analyses further reveal interpretable dynamical structure consistent with the geometry of the drifting decision boundary.
- [31] arXiv:2603.27024 (cross-list from eess.SY) [pdf, html, other]
-
Title: Data-driven discovery and control of multistable nonlinear systems and hysteresis via structured Neural ODEsSubjects: Systems and Control (eess.SY); Mathematical Physics (math-ph); Dynamical Systems (math.DS)
Many engineered physical processes exhibit nonlinear but asymptotically stable dynamics that converge to a finite set of equilibria determined by control inputs. Identifying such systems from data is challenging: stable dynamics provide limited excitation and model discovery is often non-unique. We propose a minimally structured Neural Ordinary Differential Equation (NODE) architecture that enforces trajectory stability and provides a tractable parameterization for multistable systems, by learning a vector field in the form $F(x,u) = f(x)\,(x - g(x,u))$, where $f(x) < 0$ elementwise ensures contraction and $g(x,u)$ determines the multi-attractor locations. Across several nonlinear benchmarks, the proposed structure is efficient on short time horizon training, captures multiple basins of attraction, and enables efficient gradient-based feedback control through the implicit equilibrium map $g$.
- [32] arXiv:2603.27580 (cross-list from eess.SY) [pdf, html, other]
-
Title: Structure-Preserving Learning of Nonholonomic DynamicsSubjects: Systems and Control (eess.SY); Mathematical Physics (math-ph); Dynamical Systems (math.DS)
Data-driven modeling is playing an increasing role in robotics and control, yet standard learning methods typically ignore the geometric structure of nonholonomic systems. As a consequence, the learned dynamics may violate the nonholonomic constraints and produce physically inconsistent motions. In this paper, we introduce a structure-preserving Gaussian process (GP) framework for learning nonholonomic dynamics. Our main ingredient is a nonholonomic matrix-valued kernel that incorporates the constraint distribution directly into the GP prior. This construction ensures that the learned vector field satisfies the nonholonomic constraints for all inputs. We show that the proposed kernel is positive semidefinite, characterize its associated reproducing kernel Hilbert space as a space of admissible vector fields, and prove that the resulting estimator admits a coordinate representation adapted to the constraint distribution. We also establish the consistency of the learned model. Numerical simulations on a vertical rolling disk illustrate the effectiveness of the proposed approach.
- [33] arXiv:2603.27683 (cross-list from astro-ph.EP) [pdf, html, other]
-
Title: Low-Energy Round-Trip Trajectories to Near-Earth Objects using Low ThrustJournal-ref: Acta Astronautica (2026)Subjects: Earth and Planetary Astrophysics (astro-ph.EP); Instrumentation and Methods for Astrophysics (astro-ph.IM); Dynamical Systems (math.DS)
Near-Earth Objects (NEOs) are attractive exploration targets due to their accessibility, scientific value, and resources. Although trajectory design has revealed efficient pathways to these bodies, systematic strategies for Earth-NEO transfers, especially with low thrust, remain limited. This work presents a streamlined methodology that blends the Sun-Earth circular restricted three-body problem (CR3BP) with the heliocentric two-body problem (2BP) to design low-energy round-trip trajectories. The current planar implementation enables efficient large-scale exploration of near-Earth space. Three-body manifold trajectories and transit orbits provide natural pathways for Earth departure and return through the L1 and L2 libration points, while the 2BP framework identifies spacecraft-NEO encounters through intersections of their elliptical orbits. This hybrid structure supports generating large collections of round-trip trajectories without heavy optimization, enabling rapid preliminary mission design across broad NEO populations. Rendezvous and takeoff maneuvers are first modeled as impulsive, then translated into low-thrust arcs to improve propellant efficiency. Round-trip transfers are assembled by combining compatible outbound and inbound branches under simple mission constraints. This modular approach is well suited for complex mission architectures that conventional patched-conics methods cannot systematically uncover. Applied to a representative NEO population, the method yields a large ensemble of round-trip trajectories with low launch and return energies, broad temporal flexibility, and competitive rendezvous and departure impulses compared to existing 2BP solutions.
- [34] arXiv:2603.27799 (cross-list from nlin.CG) [pdf, html, other]
-
Title: Probabilistic Cellular Automata: between deterministic Wolfram's rules 23, 77, 178 and 232Comments: 12 pages, 3 figuresSubjects: Cellular Automata and Lattice Gases (nlin.CG); Dynamical Systems (math.DS)
We study one dimensional binary Probabilistic Cellular Automaton (PCA) that interpolate between Wolfram's classical rules 23, 77, 178 and 232. These rules are the only ones that satisfy two criteria: (i) in the case of a majority in the neighborhood states, the central site takes either the majority state or the opposite and (ii) if the neighborhood states are tied, the central site either changes its current state or keeps it. The PCA is defined by two Bernoulli random variables with parameters $p,r \in [0,1]$, and we analytically solve small size cases by using a Markov process formulation. We derive analytical expressions for the probability of asymptotically reaching each possible global configuration as a function of $p$ and $r$, for all initial states. We show that for $0 < p,r < 1$, the asymptotic probability distributions of achieving any of the states for the PCA are independent of the initial conditions. This contrasts with the behavior of the deterministic Wolfram's rules 23 ($p=0,r=0$), 77 ($p=1,r=0$), 178 ($p=0,r=1$) and 232 ($p=1,r=1$), for which additional asymptotic states can occur, in particular periodic configurations.
- [35] arXiv:2603.27880 (cross-list from cs.LG) [pdf, html, other]
-
Title: Kernel Dynamics under Path Entropy MaximizationComments: 7 pages, 2 figuresSubjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Robotics (cs.RO); Dynamical Systems (math.DS)
We propose a variational framework in which the kernel function k : X x X -> R, interpreted as the foundational object encoding what distinctions an agent can represent, is treated as a dynamical variable subject to path entropy maximization (Maximum Caliber, MaxCal). Each kernel defines a representational structure over which an information geometry on probability space may be analyzed; a trajectory through kernel space therefore corresponds to a trajectory through a family of effective geometries, making the optimization landscape endogenous to its own traversal. We formulate fixed-point conditions for self-consistent kernels, propose renormalization group (RG) flow as a structured special case, and suggest neural tangent kernel (NTK) evolution during deep network training as a candidate empirical instantiation. Under explicit information-thermodynamic assumptions, the work required for kernel change is bounded below by delta W >= k_B T delta I_k, where delta I_k is the mutual information newly unlocked by the updated kernel. In this view, stable fixed points of MaxCal over kernels correspond to self-reinforcing distinction structures, with biological niches, scientific paradigms, and craft mastery offered as conjectural interpretations. We situate the framework relative to assembly theory and the MaxCal literature, separate formal results from structured correspondences and conjectural bridges, and pose six open questions that make the program empirically and mathematically testable.
- [36] arXiv:2603.28074 (cross-list from cs.LG) [pdf, html, other]
-
Title: Koopman-based surrogate modeling for reinforcement-learning-control of Rayleigh-Benard convectionSubjects: Machine Learning (cs.LG); Dynamical Systems (math.DS)
Training reinforcement learning (RL) agents to control fluid dynamics systems is computationally expensive due to the high cost of direct numerical simulations (DNS) of the governing equations. Surrogate models offer a promising alternative by approximating the dynamics at a fraction of the computational cost, but their feasibility as training environments for RL is limited by distribution shifts, as policies induce state distributions not covered by the surrogate training data. In this work, we investigate the use of Linear Recurrent Autoencoder Networks (LRANs) for accelerating RL-based control of 2D Rayleigh-Bénard convection. We evaluate two training strategies: a surrogate trained on precomputed data generated with random actions, and a policy-aware surrogate trained iteratively using data collected from an evolving policy. Our results show that while surrogate-only training leads to reduced control performance, combining surrogates with DNS in a pretraining scheme recovers state-of-the-art performance while reducing training time by more than 40%. We demonstrate that policy-aware training mitigates the effects of distribution shift, enabling more accurate predictions in policy-relevant regions of the state space.
- [37] arXiv:2603.28148 (cross-list from nlin.SI) [pdf, html, other]
-
Title: Metrisable oscillators and (super)integrable two-dimensional metricsSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Dynamical Systems (math.DS)
We consider a family of nonlinear oscillators, which is the autonomous case of the two-dimensional projective connection. We construct several classes of these oscillators that are simultaneously integrable and metrisable. This leads to families of (super)integrable two-dimensional metrics that are parametrized by arbitrary functions. In the superintegrable case we obtain an explicit expression for the unparametrized geodesics. In the integrable case we present two families of metrics with transcendental first integrals. We introduce the concept of generalized Darboux integrability in the context of both projective equations and geodesic flows. We demonstrate that the constructed integrable metrics are generalized Darboux integrable. In addition, we establish a direct connection between relative Killing vectors and invariants of the projective vector fields that are linear in the first derivative. Finally, we compute the dimensions of the projective Lie algebra for the obtained metrics, which allows us to distinguish previously known integrable cases from new ones.
- [38] arXiv:2603.28228 (cross-list from math.GR) [pdf, html, other]
-
Title: Stationary boundaries on the space of amenable subgroups and C*-simplicityComments: 25 pagesSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Operator Algebras (math.OA)
We give a sufficient condition for a countable group $G$ to possess a probability measure $\mu$ that admits a non-trivial $\mu$-boundary modeled in the space $\mathrm{Sub}_{\mathrm{am}}(G)$ of amenable subgroups of $G$. In particular, for such $\mu$ the space $\mathrm{Sub}_{\mathrm{am}}(G)$ is not uniquely $\mu$-stationary. This contrasts with a theorem of Hartman-Kalantar, which states that a countable group $G$ is C*-simple if and only if there exists $\mu\in \mathrm{Prob}(G)$ such that $\mathrm{Sub}_{\mathrm{am}}(G)$ is uniquely $\mu$-stationary. Our criterion applies to (permutational) wreath products, which include groups that are C*-simple, and to Thompson's group $F$, whose C*-simplicity is equivalent to its non-amenability and therefore remains an open problem. We also show that any non-trivial $\mu$-boundary modeled on $\mathrm{Sub}_{\mathrm{am}}(G)$ is supported on amenable normalish subgroups, in the sense of Breuillard-Kalantar-Kennedy-Ozawa. As a consequence, we conclude that a countable group with no finite normal subgroups and no amenable normalish subgroups acts essentially freely on all its Poisson boundaries.
- [39] arXiv:2603.28514 (cross-list from math.AP) [pdf, html, other]
-
Title: Stability of periodic waves in the model with intensity--dependent dispersionComments: 38 pagesSubjects: Analysis of PDEs (math.AP); Classical Analysis and ODEs (math.CA); Dynamical Systems (math.DS); Pattern Formation and Solitons (nlin.PS); Exactly Solvable and Integrable Systems (nlin.SI)
We study standing periodic waves modeled by the nonlinear Schrodinger equation with the intensity-dependent dispersion coefficient. Spatial periodic profiles are smooth if the frequency of the standing waves is below the limiting frequency, for which the profiles become peaked (piecewise continuously differentiable with a finite jump of the first derivative). We prove that there exist two families of the periodic waves with smooth profiles separated by a homoclinic orbit and the period function (the energy-to-period mapping) is monotonically increasing for the family inside the homoclinic orbit and decreasing for the family outside the homoclinic orbit. This property allows us to derive a sharp criterion for the energetic stability of such standing periodic waves under time evolution if the perturbations are periodic with the same period for both families and, additionally, for the family outside the homoclinic orbit, spatially odd with respect to the half-period. By numerically approximating the sharp stability criterion, we show that both families are energetically stable for small frequencies but become unstable when the frequency approaches the limiting frequency of the peaked waves.
- [40] arXiv:2603.28531 (cross-list from math.AP) [pdf, html, other]
-
Title: Bifurcations of solitary waves in a coupled system of long and short wavesComments: 30 pages; 4 figures;Subjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Pattern Formation and Solitons (nlin.PS); Exactly Solvable and Integrable Systems (nlin.SI); Fluid Dynamics (physics.flu-dyn)
We consider families of solitary waves in the Korteweg--de Vries (KdV) equation coupled with the linear Schrödinger (LS) equation. This model has been used to describe interactions between long and short waves. To characterize families of solitary waves, we consider a sequence of local (pitchfork) bifurcations of the uncoupled KdV solitons. The first member of the sequence is the KdV soliton coupled with the ground state of the LS equation, which is proven to be the constrained minimizer of energy for fixed mass and momentum. The other members of the sequence are the KdV solitons coupled with the excited states of the LS equation. We connect the first two bifurcations with the exact solutions of the KdV--LS system frequently used in the literature.
- [41] arXiv:2603.28544 (cross-list from nlin.SI) [pdf, html, other]
-
Title: Rational solutions for algebraic solitons in the massive Thirring modelComments: 52 pages; 5 figures;Subjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Pattern Formation and Solitons (nlin.PS)
An algebraic soliton of the massive Thirring model (MTM) is expressed by the simplest rational solution of the MTM with the spatial decay of $\mathcal{O}(x^{-1})$. The corresponding potential is related to a simple embedded eigenvalue in the Kaup--Newell spectral problem. This work focuses on the hierarchy of rational solutions of the MTM, in which the $N$-th member of the hierarchy describes a nonlinear superposition of $N$ algebraic solitons with identical masses and corresponds to an embedded eigenvalue of algebraic multiplicity $N$. We show that the hierarchy of rational solutions can be constructed by using the double-Wronskian determinants. The novelty of this work is a rigorous proof that each solution is defined by a polynomial of degree $N^2$ with $2N$ arbitrary parameters, which admits $\frac{N (N-1)}{2}$ poles in the upper half-plane and $\frac{N(N+1)}{2}$ poles in the lower half-plane. Assuming that the leading-order polynomials have exactly $N$ real roots, we show that the $N$-th member of the hierarchy describes the slow scattering of $N$ algebraic solitons on the time scale $\mathcal{O}(\sqrt{t})$.
- [42] arXiv:2603.28693 (cross-list from math.GT) [pdf, html, other]
-
Title: Vector-valued horofunction boundaries and Patterson--Sullivan measuresComments: 28 pages, Comments welcome!Subjects: Geometric Topology (math.GT); Dynamical Systems (math.DS); Group Theory (math.GR)
In higher rank, there is a well-studied theory of Patterson--Sullivan measures supported on partial flag manifolds. However, establishing the existence and uniqueness of such measures is a difficult question. In this paper, we develop a theory for Patterson--Sullivan measures supported on certain vector-valued horofunction boundaries of the associated symmetric space, where existence is straightforward. We also introduce a notion of shadows for this compactification and establish a shadow lemma. For transverse groups, we prove uniqueness and ergodicity results.
- [43] arXiv:2603.28694 (cross-list from math.GT) [pdf, html, other]
-
Title: Measurable boundary maps and Patterson--Sullivan measures for non-Borel Anosov groups on the Furstenberg boundaryComments: 49 pages, 1 figure, Comments welcome!Subjects: Geometric Topology (math.GT); Dynamical Systems (math.DS); Group Theory (math.GR)
In this paper we develop a theory for Patterson--Sullivan measures for non-Borel Anosov groups on the Furstenberg boundary. Previously, such a theory has been successfully developed for measures supported on the partial flag manifold associated to the Anosov condition, which coincides with the Furstenberg boundary only under the strongest Anosov condition, Borel Anosov. We establish existence, uniqueness, and ergodicity results for the measures on the Furstenberg boundary under arbitrary Anosov conditions; we show ergodicity of Bowen--Margulis--Sullivan measures on the homogeneous space; and we establish strict convexity results for the critical exponent associated to functionals on the entire Cartan subspace. Using this strict convexity, we establish an entropy rigidity result for Anosov groups with Lipschitz limit set.
A key tool we develop is a new sufficient condition for the existence of a measurable boundary map associated to a Zariski dense representation. This result not only applies to Anosov groups, but also to transverse groups, mapping class groups, and discrete subgroups of the isometry groups of Gromov hyperbolic spaces.
Cross submissions (showing 15 of 15 entries)
- [44] arXiv:2412.12536 (replaced) [pdf, html, other]
-
Title: Tangential homoclinic points for Lozi mapsComments: 34 pages, 12 figures. Implemented changes based on the referee reports, including the case of homoclinic intersections along a segment. Accepted for publication in Journal of Dynamics and Differential EquationsSubjects: Dynamical Systems (math.DS)
For the family of Lozi maps, we study homoclinic points for the saddle fixed point $X$ in the first quadrant. Specifically, in the parameter space, we examine the boundary of the region in which homoclinic points for $X$ exist. For all parameters on that boundary, all intersections of the stable and unstable manifold of $X$, apart from $X$, are tangential, or these manifolds intersect along a segment. We ultimately prove that for such parameters, all possible homoclinic points for $X$ are iterates of two special points $Z$ and $V$, or iterates of points on a segment joining $V$ with an iterate of $Z$. Additionally, we describe the parameter curves that form the boundary and provide explicit equations for several of them.
- [45] arXiv:2504.02776 (replaced) [pdf, html, other]
-
Title: Bifurcations of the Hénon map with additive bounded noiseComments: 26 pages, 17 figuresJournal-ref: SIAM Journal on Applied Dynamical Systems, 25, no.1, 351-374, 2026Subjects: Dynamical Systems (math.DS); Optimization and Control (math.OC)
We numerically study bifurcations of attractors of the Hénon map with additive bounded noise with spherical reach. The bifurcations are analysed using a finite-dimensional boundary map. We distinguish between two types of bifurcations: topological bifurcations and boundary bifurcations. Topological bifurcations describe discontinuous changes of attractors and boundary bifurcations occur when singularities of an attractor's boundary are created or destroyed. We identify correspondences between topological and boundary bifurcations of attractors and local and global bifurcations of the boundary map.
- [46] arXiv:2504.06054 (replaced) [pdf, html, other]
-
Title: Thermodynamic formalism for Quasimorphisms: Bounded Cohomology and StatisticsComments: Improved presentation, typos fixed, added references and explanationsSubjects: Dynamical Systems (math.DS); Geometric Topology (math.GT)
For a compact negatively curved space, we develop a thermodynamic formalism framework to study the space of quasimorphisms of its fundamental group modulo bounded functions. We prove that this space is Banach isomorphic to the space of Bowen functions on the associated Gromov geodesic flow, modulo a weak form of Livšic cohomology.
We also show that each unbounded quasimorphism is associated with a unique invariant measure for the flow, which uniquely determines the cohomology class. As a consequence, we establish the Central Limit Theorem and the invariance principle for any unbounded quasimorphism with respect to Markov measures, and we prove that the associated equilibrium state has the Bernoulli property. - [47] arXiv:2507.13559 (replaced) [pdf, html, other]
-
Title: A Note on the Oscillatory Behavior of Impulsive Differential Equations with Piecewise Constant Arguments via Difference EquationsComments: 13 pagesSubjects: Dynamical Systems (math.DS)
This paper studies the oscillatory behavior of solutions to linear nonautonomous impulsive differential equations with piecewise constant arguments, including both advanced and delayed cases \[ x'(t) = a(t)x(t) + b(t)x([t-k]), \quad k \in \mathbb{Z}. \] By exploiting the hybrid structure of these systems, we reduce the problem to an associated difference equation whose coefficients explicitly incorporate both the continuous dynamics and the impulsive effects.
Classical oscillation criteria for difference equations do not account for impulsive phenomena. Through the proposed reduction, we extend these criteria to a class of impulsive and non-impulsive equations (IDEPCA and DEPCA), obtaining explicit sufficient conditions for oscillation in terms of the original system data.
An example is provided to illustrate the applicability of the results. - [48] arXiv:2507.21798 (replaced) [pdf, html, other]
-
Title: On linearly ordered sets of chain componentsSubjects: Dynamical Systems (math.DS)
In a dynamical system $(X,f)$, with $X$ a compact metric space, the chain components, the fundamental building blocks in the Conley decomposition of dynamics, have a natural partial order induced by the chain relation between points. Although chain components are crucial for understanding the long-term behavior of topological systems, they have not been widely studied from the point of view of poset theory. In this work, we pursue this line of research, considering both the case in which $f$ is a continuous map and the general case in which no regularity assumption is made. Our main results are that, if $f$ is continuous:
- the chain components poset cannot be linearly and densely ordered;
- every countable well-order with a maximum is the order type of the chain components poset of an interval map.
If no regularity assumption is made:
- there is a dynamical system on the interval whose chain components poset is countable and densely ordered;
- the chain components poset has at least one minimal element.
These results, bridging dynamical systems and order theory, highlight both the structural constraints and the possibilities for the chain components posets. - [49] arXiv:2508.19677 (replaced) [pdf, other]
-
Title: Thermodynamics and stability of equilibrium/non-equilibrium steady states in thermodynamically isolated/open systems -- case study for compressible heat conducting fluidComments: Major revision, Bregman distance/divergence is now seen as the key conceptSubjects: Dynamical Systems (math.DS); Classical Physics (physics.class-ph)
We review all the calculations necessary for the construction of a Lyapunov like functional for nonlinear stability analysis of steady states in thermodynamically isolated/open systems composed of compressible heat conducting fluids.
- [50] arXiv:2510.15057 (replaced) [pdf, html, other]
-
Title: Anticipating bifurcations of random dynamical systems through tails of stationary densitiesComments: 33 pages, 42 figuresSubjects: Dynamical Systems (math.DS)
We develop an early-warning signal for bifurcations of one-dimensional random difference equations with additive bounded noise, based on the asymptotic behaviour of the stationary density near a boundary of its support. We demonstrate the practical use in numerical examples.
- [51] arXiv:2601.01505 (replaced) [pdf, html, other]
-
Title: Chaos and Synchronization in Financial Leverages Dynamics: Modeling Systemic Risk with Coupled Unimodal MapsComments: 9 pages, 9 figures. Submitted to Chaos on January 2nd, 2026. Accepted for publication on March 17th, 2026Subjects: Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD); Mathematical Finance (q-fin.MF)
Systemic financial risk refers to the simultaneous failure or destabilization of multiple financial institutions, often triggered by contagion mechanisms or common exposures to shocks. In this paper, we present a dynamical model of bank leverage (the ratio of asset holdings to equity) a quantity that both reflects and drives risk dynamics. We model how banks, constrained by Value-at-Risk (VaR) regulations, adjust their leverage in response to changes in the price of a single asset, assumed to be held in fixed proportion across banks. This leverage-targeting behavior introduces a procyclical feedback loop between asset prices and leverage. In the dynamics, this can manifest as logistic-like behavior with a rich bifurcation structure across model parameters. By analyzing these coupled dynamics in both isolated and interconnected bank models, we outline a framework for understanding how systemic risk can emerge from seemingly rational micro-level behavior.
- [52] arXiv:2602.21021 (replaced) [pdf, html, other]
-
Title: Structure and Spectrum of Nonergodic NilsystemsComments: We decided to remove Corollary C as there is an overlooked case that does not seem to follow from our main resultsSubjects: Dynamical Systems (math.DS)
We study Host-Kra factors and the spectral type of nilsystems, without assuming ergodicity. In the ergodic case, it is known that the spectral type splits into a discrete component and a Lebesgue component of infinite multiplicity. Our main result extends this decomposition to nonergodic nilsystems.
- [53] arXiv:2603.11066 (replaced) [pdf, html, other]
-
Title: Exploring Collatz Dynamics with Human-LLM CollaborationComments: 138 pages, 11 figures, 16 tablesSubjects: Dynamical Systems (math.DS); Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
We develop a structural framework for the Collatz map based on odd-to-odd dynamics, modular return structure, and a decomposition of trajectories into bursts and gaps.
On the unconditional side, we prove several exact results. The fiber-57 branch q = 7 (mod 8) returns in exactly two odd-to-odd steps with uniform affine destination. The branch q = 3 (mod 8) cannot return within four steps (minimum gap five), and its earliest returns form an explicit dyadic cylinder family indexed by w = v_2(243m+119). The algebraic chain map on the five-element invariant core is a permutation at every depth, so any genuine contraction must come from return dynamics rather than core algebra.
These yield an exact depth-2 known-gap partial return kernel with Perron root 129/1024 -- not asserted as the full bottleneck constant, since q = 3 (mod 8) returns with gap >= 6 are unresolved. The main body independently develops a conditional reduction via burst-gap decomposition, phantom-cycle gain analysis, and a weak-mixing hierarchy, establishing an exact geometric block law, exponential almost-all crossing bound, and per-orbit phantom gain within budget (4.65x margin).
The framework reduces the convergence programme to a single orbitwise regularity statement, formulated either through the weak-mixing hierarchy or the fiber-57 anti-concentration conjecture. The remaining obstruction is to prove that no deterministic orbit can concentrate its fiber-57 returns on the sustaining core strongly enough to maintain indefinite non-termination.
This work is not a complete proof of the Collatz conjecture. It is a sharpened reduction isolating the unresolved difficulty to a single orbitwise upgrade from ensemble behavior to pointwise control, concentrated in the q = 3 (mod 8) return channel. - [54] arXiv:2603.17091 (replaced) [pdf, other]
-
Title: On quantization and the classical variational principle for the metric mean dimensionComments: Example addedSubjects: Dynamical Systems (math.DS)
For a homeomorphism $T\colon X \to X$ on a compact metric space $(X,d)$, one can find in the literature several distinct notions of measure-theoretic $\varepsilon$-entropy maps $F(\mu,\varepsilon)$, defined on the space of Borel $T$-invariant probability measures of $X$, satisfying $$ \mathrm{\overline{mdim}_M}(X,d,T) \, =\, \limsup_{\varepsilon \, \to \, 0^+}\, \sup_{\mu \,\in\, P_T(X)} \, \frac{F(\mu,\varepsilon)}{\log\,(1/\varepsilon)} $$ where $\mathrm{\overline{mdim}_M}(X,d,T)$ stands for the upper metric mean dimension. A major question regards the change in the order in which $\limsup_{\varepsilon}$ and $\sup_{\mu \,\in\, P_T(X)}$ appear in the previous equality. We introduce the notion of mean quantization dimension of a measure and prove that $$ \mathrm{\overline{mdim}_M}(X,d,T) \,\, =\, \max_{\mu \,\in\, P_T(X)} \, \mathrm{\overline{mdim}_Q}(\mu). $$ This concept exhibits a fundamental property that prompted our search for sufficient conditions on $F$ under which the aforementioned change in order is valid. We show that some of the well-known maps $F$ do not satisfy this property and fail to comply with a classical variational principle.
- [55] arXiv:2603.17466 (replaced) [pdf, html, other]
-
Title: A Full-Density Approach to Simulating Random Iteration Equations with ApplicationsSubjects: Dynamical Systems (math.DS); Numerical Analysis (math.NA); Computation (stat.CO)
The goal of this study is to introduce a unified computational framework for simulating random iteration equations (RIE), understood as iteration equations containing random variables. The novelty of this work is that full probability densities of the state vectors are propagated stepwise through the iterations avoiding the need of repetitive pathwise Monte Carlo simulations of the iteration equation. The presentation of the methodology is conceptually efficient based on recent work on static random equations and intentionally accessible. The technical requirements on the RIE are minimal based on the previous work, allowing for potential nonlinearities, discontinuities and stochasticities in the transfer function, as well as nonstandard densities and diffusion processes. As results, illustrative applications of random and stochastic differential equation simulations, a novel full-density gradient descent method (FDGD) for global optimization under uncertainty and examples of chaotic mappings are presented in order to demonstrate the breadth of the utility of this framework. In total, the character of the presentation is explorative and encourages new applications and theoretical studies.
- [56] arXiv:2603.19893 (replaced) [pdf, other]
-
Title: Computation of a separatrix map and a normally hyperbolic invariant lamination for the RP3BPComments: 58 pages, 19 figures. Minor changes to the bibliographySubjects: Dynamical Systems (math.DS)
In this paper we discuss the existence of a normally hyperbolic invariant lamination (NHIL) at the Kirkwood gap $3:1$ for the Restricted Planar Elliptic 3 Body Problem. This problem models the Sun-Jupiter-Asteroid dynamics. We also show that the induced dynamics on the NHIL is a partially hyperbolic skew-shift which is of the form \[ f:(\omega,I,\theta)\to (\sigma \omega, I+e_0 A_\omega(I)\cos(\theta+\psi_\omega)+\mathcal{O}(e^2_0), \theta+\Omega_\omega(I)+\mathcal{O}(e_0)),\] where $I\in [a,b], \theta\in \mathbb T, \omega\in\Sigma=\{0,1\}^\mathbb Z$, the space of sequences of $0,1$'s, $\sigma:\Sigma \to \Sigma$ is the shift in this space, $\Omega_\omega$ is the shear, $A_\omega$ is an amplitude, and $e_0$ is the eccentricity of Jupiter, which is taken as a small parameter.
In the companion paper arXiv:2603.19894, relying on these skew-shift, we show the existence of stochastic diffusing behavior for Asteroids belonging to the Kirkwood gap provided the eccentricity of Jupiter is $e_0$ small enough.
Key ingredients to construct the NHIL are the separatrix map associated to homoclinic channels to a normally hyperbolic invariant cylinder and an isolating block construction. Some of the necessary non-degeneracy conditions are verified numerically. - [57] arXiv:2603.19894 (replaced) [pdf, html, other]
-
Title: Stochastic behavior along mean motion resonances in the restricted planar 3-body problemComments: 66 pages, 5 figures. Minor changes to the introductionSubjects: Dynamical Systems (math.DS)
One of the most remarkable instability zones in the Solar system are Kirkwood gaps in the asteroid belt. In this paper we analyze instabilities in the famous Kirkwood gap $3:1$ in the regime of small eccentricity of Jupiter. Mathematically speaking, we study the evolution of asteroids under the influence of the Sun and Jupiter using the restricted planar elliptic 3-body problem (RPE3BP) for initial conditions near a mean motion resonance 3:1. The main result exhibits stochastic diffusing behavior of the eccentricity of the asteroid for a rich set of initial conditions. Roughly speaking, for small eccentricity $e_0$ of Jupiter, the evolution of the eccentricity of the asteroid $\mathbf{e}(t\cdot e_0^{-2})$ at the Kirkwood gap $3:1$ behaves like a diffusion process on the line, where the randomness comes from the initial conditions. Along with KAM theory, we have mixed behavior in the asteroid belt, that is coexistence of quasiperiodic (deterministic) and stochastic (diffusive) behavior.
See also the companion paper arXiv:2603.19893 - [58] arXiv:2410.23490 (replaced) [pdf, html, other]
-
Title: Characterization of symmetries of contact Hamiltonian systemsComments: Version accepted for publication in JMPSubjects: Mathematical Physics (math-ph); Dynamical Systems (math.DS)
This paper explores the relationship between Cartan symmetries, dynamical similarities, and dynamical symmetries in contact Hamiltonian mechanics. By introducing an alternative decomposition of vector fields, we characterize these symmetries and present a novel description in terms of tensor densities. Furthermore, we demonstrate that this framework allows, under specific conditions, for the recovery of integrals of motion. We also establish new criteria to assess their independence.
- [59] arXiv:2502.00472 (replaced) [pdf, html, other]
-
Title: Binned Spectral Power Loss for Improved Prediction of Chaotic SystemsJournal-ref: Journal of Computational Physics, 114866 (2026)Subjects: Machine Learning (cs.LG); Dynamical Systems (math.DS); Fluid Dynamics (physics.flu-dyn)
Forecasting multiscale chaotic dynamical systems, such as turbulent flows, with deep learning remains a formidable challenge due to the spectral bias of neural networks, which hinders the accurate representation of fine-scale structures in long-term predictions. This issue is exacerbated when models are deployed autoregressively, leading to compounding errors and instability. In this work, we introduce a novel approach to mitigate the spectral bias, which we call the Binned Spectral Power (BSP) Loss. The BSP loss is a frequency-domain loss function that adaptively weighs errors in predicting both larger and smaller scales of the dataset. Unlike traditional losses that focus on pointwise misfits, our BSP loss explicitly penalizes deviations in the energy distribution across different scales, promoting stable and physically consistent predictions. We demonstrate that the BSP loss mitigates the well-known problem of spectral bias in deep learning. We further validate our approach for the data-driven high-dimensional time-series forecasting of a range of benchmark chaotic systems, which are typically intractable due to spectral bias, culminating in experiments on canonical turbulent flow benchmarks. Our results demonstrate that the BSP loss significantly improves the stability and spectral accuracy of neural forecasting models without requiring architectural modifications. By directly targeting spectral consistency, our approach paves the way for more robust deep learning models for long-term forecasting of chaotic dynamical systems.
- [60] arXiv:2502.11622 (replaced) [pdf, other]
-
Title: Exactness and the topology of the space of invariant random equivalence relationsComments: 23 pages, accepted versionSubjects: Group Theory (math.GR); Dynamical Systems (math.DS); Probability (math.PR)
We characterize exactness of a countable group $\Gamma$ in terms of invariant random equivalence relations (IREs) on $\Gamma$. Specifically, we show that $\Gamma$ is exact if and only if every weak limit of finite IREs is an amenable IRE. In particular, for exact groups this implies amenability of the restricted rerooting relation associated to the ideal Bernoulli Voronoi tessellation, the discrete analog of the ideal Poisson Voronoi tessellation.
- [61] arXiv:2503.11407 (replaced) [pdf, other]
-
Title: Effective Velocities in the Toda LatticeComments: 70 pages, no figures. arXiv admin note: text overlap with arXiv:2503.08018; Version 2: Edits to make terminology more consistent with physics literature; Version 3: Added references and exposition; Version 4: Minor editsSubjects: Mathematical Physics (math-ph); Dynamical Systems (math.DS); Probability (math.PR); Exactly Solvable and Integrable Systems (nlin.SI)
In this paper we consider the Toda lattice $(\boldsymbol{p}(t); \boldsymbol{q}(t))$ at thermal equilibrium, meaning that its variables $(p_i)$ and $(e^{q_i-q_{i+1}})$ are independent Gaussian and Gamma random variables, respectively. This model can be thought of a dense collection of many ``quasiparticles'' that act as solitons. We establish a law of large numbers for the trajectory of these quasiparticles, showing that they travel with approximately constant velocities, which are explicit. Our proof is based on a direct analysis of the asymptotic scattering relation, an equation (proven in previous work of the author) that approximately governs the dynamics of quasiparticles locations. This makes use of a regularization argument that essentially linearizes this relation, together with concentration estimates for the Toda lattice's (random) Lax matrix.
- [62] arXiv:2503.12901 (replaced) [pdf, html, other]
-
Title: On Mañé's critical value for the two-component Hunter-Saxton system and a infnite dimensional magnetic Hopf-Rinow theoremComments: 30 pages, 3 figures. Version 3 adds references and includes minor editorial revisions. Comments are welcome!Subjects: Analysis of PDEs (math.AP); Differential Geometry (math.DG); Dynamical Systems (math.DS); Symplectic Geometry (math.SG)
In this paper, we introduce a nonlinear system of partial differential equations, the magnetic two-component Hunter-Saxton system (M2HS). This system is formulated as a magnetic geodesic equation on an infinite-dimensional Lie group equipped with a right-invariant metric, the $\dot{H}^1$ -metric, which is closely related to the infinite-dimensional Fisher-Rao metric, and the derivative of an infinite-dimensional contact-type form as the magnetic field. We define Mañé's critical value for exact magnetic systems on Hilbert manifolds in full generality and compute it explicitly for the (M2HS). Moreover, we establish an infinite-dimensional Hopf-Rinow theorem for this magnetic system, where Mañé's critical value serves as the threshold beyond which the Hopf-Rinow theorem no longer holds. This geometric framework enables us to thoroughly analyze the blow-up behavior of solutions to the (M2HS). Using this insight, we extend solutions beyond blow-up by introducing and proving the existence of global conservative weak solutions. This extension is facilitated by extending the Madelung transform from an isometry into a magnetomorphism, embedding the magnetic system into a magnetic system on an infinite-dimensional sphere equipped with the derivative of the standard contact form as the magnetic field. Crucially, this setup can always be reduced, via a dynamical reduction theorem, to a totally magnetic three-sphere, providing a deeper understanding of the underlying dynamics.
- [63] arXiv:2505.02397 (replaced) [pdf, html, other]
-
Title: Frequently hypercyclic composition operators on the little Lipschitz space of a rooted treeComments: 21 pagesJournal-ref: Mediterranean Journal of Mathematics, Volume 23, article number 87, (2026)Subjects: Functional Analysis (math.FA); Dynamical Systems (math.DS)
We characterize the strictly increasing symbols $\varphi:\mathbb{N}_0\longrightarrow\mathbb{N}_0$ whose composition operators $C_{\varphi}$ satisfy the Frequent Hypercyclicity Criterion on the little Lipschitz space $\mathcal{L}_0(\mathbb{N}_0)$. With this result we continue the recent research about this kind of spaces and operators, but our approach relies on establishing a natural isomorphism between the Lipschitz-type spaces over rooted trees and the classical spaces $\ell^{\infty}$ and $c_0$. Such isomorphism provides an alternative framework that simplifies and allows to improve many previous results about these spaces and the operators defined there.
- [64] arXiv:2505.19594 (replaced) [pdf, html, other]
-
Title: On novel Hamiltonian description of the nonholonomic Suslov problemComments: 11 pages, LaTeX with AMS fonts, second version with a new sectionSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Dynamical Systems (math.DS)
We present some new Poisson bivectors that are invariants by the flow of the nonholonomic Suslov problem. Two rank four invariant Poisson bivectors have globally defined Casimir functions and, therefore, define cubic Poisson brackets on the five dimensional state space with standard symplectic leaves. For the Suslov gyrostat in the potential field we found rank two Poisson bivectors having only two globally defined Casimir functions and, therefore, we say about formal Hamiltonian description in these cases.
- [65] arXiv:2510.07301 (replaced) [pdf, html, other]
-
Title: Dynamics of feedback Ising modelComments: updated discussion and added referencesSubjects: Statistical Mechanics (cond-mat.stat-mech); Dynamical Systems (math.DS)
We study the dynamics of a mean-field Ising model whose coupling depends on the magnetization via a linear feedback function. A key feature of this linear feedback Ising model (FIM) is the possibility of temperature-induced bistability, where a temperature increase can favor bistability between two phases. We show that the linear FIM provides a minimal model for a transcritical bifurcation as the temperature varies. Moreover, there can be two or three critical temperatures when the external magnetic field is non-negative. In the bistable region, we identify a Maxwell temperature where the two phases are equally probable, and we find that increasing the temperature favors the lower phase. We show that the probability distribution becomes non-Gaussian on certain time intervals when the magnetization converges algebraically at either zero temperature or critical temperatures. Near critical points in the parameter space, we derive a Fokker-Planck equation, construct the families of equilibrium distributions, and formulate scaling laws for transition rates between two stable equilibria. The linear FIM offers considerable flexibility in controlling steady-state bifurcations and their associated equilibrium distributions, which can be desirable for modeling feedback systems across various disciplines.
- [66] arXiv:2511.19903 (replaced) [pdf, html, other]
-
Title: Homogeneous potentials, Lagrange's identity and Poisson geometryComments: 9 pages, LaTeX with Ams fontsSubjects: Exactly Solvable and Integrable Systems (nlin.SI); Mathematical Physics (math-ph); Dynamical Systems (math.DS); Symplectic Geometry (math.SG)
The Lagrange identity expresses the second derivative of the moment of inertia of a system of material points through kinetic energy and homogeneous potential energy, from which follows the Jacobi well-known result on the instability of a system of gravitating bodies. In this work, it is proven that if a Hamiltonian system satisfies the Lagrange identity, then it possesses additional tensor invariants that are not expressed through the basic invariants existing for all Hamiltonian systems. A new class of Hamiltonian systems with inhomogeneous potentials is considered, which also possess similar additional tensor invariants.
- [67] arXiv:2602.09137 (replaced) [pdf, html, other]
-
Title: From oblique-wave forcing to streak reinforcement: A perturbation-based frequency-response frameworkComments: 39 pages, 29 figuresSubjects: Fluid Dynamics (physics.flu-dyn); Analysis of PDEs (math.AP); Dynamical Systems (math.DS); Optimization and Control (math.OC)
We develop a perturbation-based frequency-response framework for analyzing amplification mechanisms that are central to subcritical routes to transition in wall-bounded shear flows. By systematically expanding the input-output dynamics of fluctuations about the laminar base flow with respect to forcing amplitude, we establish a rigorous correspondence between linear resolvent analysis and higher-order nonlinear interactions. At second order, quadratic interactions of unsteady oblique waves generate steady streamwise streaks via the lift-up mechanism. We demonstrate that the spatial structure of these streaks is captured by the second output singular function of the streamwise-constant resolvent operator. At higher orders, nonlinear coupling between oblique waves and induced streaks acts as structured forcing of the laminar linearized dynamics, yielding additional streak components whose relative phase governs reinforcement or attenuation of the leading-order streak response. Our analysis identifies a critical forcing amplitude marking the breakdown of the weakly nonlinear regime, beyond which direct numerical simulations exhibit sustained unsteadiness. We show that this breakdown coincides with the onset of secondary instability, revealing that the nonlinear interactions responsible for streak formation also drive the modal growth central to classical transition theory. The resulting framework provides a mechanistically transparent and computationally efficient description of transition that unifies non-modal amplification, streak formation, and modal instability within a single formulation derived directly from the Navier-Stokes equations.
- [68] arXiv:2603.02627 (replaced) [pdf, html, other]
-
Title: Topological bounds on the dynamical growth rate of chemical reaction networksComments: 14 pages, 5 figures, 1 tableSubjects: Molecular Networks (q-bio.MN); Dynamical Systems (math.DS)
Growth and decay are system-level properties of chemical reaction networks (CRNs) relevant from prebiotic chemistry to cellular metabolism. Their properties are typically analyzed through the kinetics of particular models, which requires specification of the full set of kinetic laws and parameters. In this work, we derive stoichiometry-based constraints on the growth (or shrinkage) rate, in the balanced-growth regime of scalable CRNs. The resulting bounds are controlled by a topological quantity, the maximum amplification factor, defined via a von Neumann max-min problem over feasible fluxes as illustrated by numerical tests on random-network ensembles of CRNs. We argue for the relevance of our results in the context of origin of life studies but also for designing synthetic chemical reaction networks.
- [69] arXiv:2603.11560 (replaced) [pdf, other]
-
Title: Feedback-Coupled Memory Systems: A Dynamical Model for Adaptive CoordinationSubjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Theoretical Economics (econ.TH); Dynamical Systems (math.DS)
This paper develops a dynamical framework for adaptive coordination in systems of interacting agents referred to here as Feedback-Coupled Memory Systems (FCMS). Instead of framing coordination as equilibrium optimization or agent-centric learning, the model describes a closed-loop interaction between agents, incentives, and a persistent environment. The environment stores accumulated coordination signals, a distributed incentive field transmits them locally, and agents update in response, generating a feedback-driven dynamical system. Three main results are established. First, under dissipativity, the closed-loop system admits a bounded forward-invariant region, ensuring dynamical viability independently of global optimality. Second, when incentives depend on persistent environmental memory, coordination cannot be reduced to a static optimization problem. Third, within the FCMS class, coordination requires a bidirectional coupling in which memory-dependent incentives influence agent updates, while agent behavior reshapes the environmental state. Numerical analysis of a minimal specification identifies a Neimark-Sacker bifurcation at a critical coupling threshold ($\beta_c$), providing a stability boundary for the system. Near the bifurcation threshold, recovery time diverges and variance increases, yielding a computable early warning signature of coordination breakdown in observable time series. Additional simulations confirm robustness under nonlinear saturation and scalability to populations of up to $N = 10^{6}$ agents making it more relevant for real-world applications. The proposed framework offers a dynamical perspective on coordination in complex systems, with potential extensions to multi-agent systems, networked interactions, and macro-level collective dynamics.
- [70] arXiv:2603.20834 (replaced) [pdf, html, other]
-
Title: Generalized Reducibility and Growth of Sobolev NormsComments: 26 pagesSubjects: Analysis of PDEs (math.AP); Dynamical Systems (math.DS)
We introduce the concept of {\it generalized reducibility}, which provides a flexible framework for analyzing the long-time behavior of solutions to quadratic quantum Hamiltonians. As an application of this notion, for many prescribed sub-exponential growth rates $f(t)$, either monotone or oscillatory, we explicitly construct time-decaying perturbations of the one-dimensional quantum harmonic oscillator such that the Sobolev norms of solutions grow at the rate $f(t)$.