A new notion of dimension for dynamical systems and shift embeddability

2026-03-16T10:29:34Z

A dynamical system $(X,T)$ is \emph{shift embaddable} if $(X,T)$ embeds continuously and equivariantly in the shift over $[0,1]^d$ for some finite $d$. Refuting a major conjecture in the field, in a recent result of Dranishnikov and Levin it was shown that Gromov's mean dimension and Lebesgue covering dimension of finite orbits are not the only obstructions for shift embaddability. We present a new notion of dimension for dynamical systems over any countable group. We show that this new notion of dimension accounts for all known obstructions for shift embaddability.

The Evolution of Computer-Assisted Proof In Analysis

2026-03-16T10:26:56Z

The intersection of numerical analysis and machine learning, particularly in the domain of Neural ODEs and Physics-Informed Neural Networks (PINNs), relies heavily on discrete approximations of continuous flows. However, in stiff systems, explicit discretization schemes can induce topological bifurcations, creating spurious attractors that do not exist in the underlying continuous dynamics. In this paper, we analyze a stiff 2D nonlinear system integrated via Heun's method, demonstrating how the discrete map undergoes a numerical bifurcation that renders the true equilibrium repelling along an invariant manifold. Adopting a literate programming paradigm where "the paper is the proof," we embed a Computer-Assisted Proof (CAP) directly within the manuscript. Utilizing rigorous complex interval arithmetic and a dimensionality-reducing "Snap-to-Axis" projection, we mathematically verify that a neighborhood of trajectories is permanently captured by a spurious period-4 sink. This work highlights the critical need for formal safety certifications in learned dynamical models and provides a framework for verifying their stability.

Tipping resonance in a chaotically forced ice age model

2026-03-16T09:49:58Z

Many physical systems are forced by external inputs, which can sometimes take the form of chaotic variation. A particular example is found in applications related to weather and climate, where chaotic variation is prevalent across various timescales. If the system in question has multiple attracting solutions for a given range of forcing, rate-induced tipping can be triggered by the chaotic forcing, with the difference in timescales between the forcing and the system acting as a `rate' parameter. In this paper, we explore the interplay between these two timescales in a low-order model of ice age dynamics. The model exhibits bistability between two equilibria in one region of the parameter space and between an equilibrium and a periodic orbit in another region. When chaotic variation of the parameters is allowed within these bistable regions, the solutions of the forced system undergo rate-induced tipping from one attractor to another. Simulations of the forced system show that the timescale of the chaotic forcing induces a resonance-like behaviour, with an optimal timescale at which the likelihood of rate-induced tipping is at its maximum. We combine basin instability theory, finite-time Lyapunov exponents, and linear resonance analysis under periodic forcing to explain this resonance effect.

Aperiodic Structures Never Collapse: Fibonacci Hierarchies for Lossless Compression

2026-03-16T09:02:59Z

We study whether an aperiodic hierarchy can provide a structural advantage for lossless compression over periodic alternatives. We show that Fibonacci quasicrystal tilings avoid the finite-depth collapse that affects periodic hierarchies: usable $n$-gram lookup positions remain non-zero at every level, while periodic tilings collapse after $O(\log p)$ levels for period $p$. This yields an aperiodic hierarchy advantage: dictionary reuse remains available across all scales instead of vanishing beyond a finite depth. Our analysis gives four main consequences. First, the Golden Compensation property shows that the exponential decay in the number of positions is exactly balanced by the exponential growth in phrase length, so potential coverage remains scale-invariant with asymptotic value $W\varphi/\sqrt{5}$. Second, using the Sturmian complexity law $p(n)=n+1$, we show that Fibonacci/Sturmian hierarchies maximize codebook coverage efficiency among binary aperiodic tilings. Third, under long-range dependence, the resulting hierarchy achieves lower coding entropy than comparable periodic hierarchies. Fourth, redundancy decays super-exponentially with depth, whereas periodic systems remain locked at the depth where collapse occurs. We validate these results with Quasicryth, a lossless text compressor built on a ten-level Fibonacci hierarchy with phrase lengths ${2,3,5,8,13,21,34,55,89,144}$. In controlled A/B experiments with identical codebooks, the aperiodic advantage over a Period-5 baseline grows from $1{,}372$ B at 3 MB to $1{,}349{,}371$ B at 1 GB, explained by the activation of deeper hierarchy levels. On enwik9, Quasicryth achieves $359{,}883{,}431$ B $(35.99%)$, with $45{,}608{,}715$ B attributable to the quasicrystal tiling itself.

Most Probable KAM Tori in Stochastic Hamiltonian Systems

2026-03-16T08:31:52Z

This paper conducts an in-depth investigation into the impact of stochastic perturbations-particularly multiplicative noise-on the integrable structures of Hamiltonian systems, with a central focus on developing a KAM theory for stochastic Hamiltonian dynamics. We begin by deriving the Onsager-Machlup functional for Hamiltonian systems driven by multiplicative noise and identifying the most probable transition paths of system trajectories. This analysis reveals the fundamental differences in how additive versus multiplicative noise influences the integrability of Hamiltonian systems. Building upon this, we establish a large deviation principle for the system and derive a rate function that quantitatively characterizes trajectory deviations, especially in the regime of rare events. The main contribution of this work lies in demonstrating that, under the small noise limit, the quasi-periodic invariant tori of the unperturbed system persist in a probabilistic sense, indicating the stability of KAM structures under stochastic perturbations. Furthermore, we show that the exponential rate of deviation from the invariant tori exactly matches the large deviation rate function, thus providing a quantitative characterization of the structural persistence and fluctuation geometry of quasi-periodic motions in stochastic Hamiltonian systems. These results extend the classical KAM framework to a stochastic setting and offer new insights into the behavior of complex dynamical systems under the influence of noise.

A positive answer to a symmetry conjecture on homogeneous IFS

2026-03-16T07:52:56Z

If two homogeneous IFSs satisfying the OSC with opposite common contraction factors share the same attractor on the real line, we show that this attractor is symmetric. This answers a question of Feng and Wang [Adv. Math. 222 (2009), 1964-1981].

Explicit Infinite Mixing Automorphisms with Simple Spectra of Symmetric Squares

2026-03-16T07:32:40Z

We present mixing ergodic automorphisms of a space with sigma-finite measure whose symmetric tensor squares have simple spectra. This property is of interest in connection with dynamical spectral problems of A.N. Kolmogorov and V.A. Rokhlin. Explicit examples are given in the class of near-Sidon constructions.

Three elliptic closed characteristics on the non-degenerate compact convex hypersurfaces in R^6

2026-03-16T07:05:17Z

Let $Σ\subset \mathbb{R}^{2n}$ with $n\geq2$ be any $C^2$ compact convex hypersurface. The stability of closed characteristics has attracted considerable attention in related research fields. A long-standing conjecture states that all closed characteristics are irrationally elliptic, provided $Σ$ possesses only finitely geometrically distinct closed characteristics. This conjecture has been fully resolved only in $\mathbb{R}^4$, while it remains completely open in higher dimensions. Even in $\mathbb{R}^6$, it is unknown whether there exist three elliptic closed characteristics. In this paper, we first prove that for any $Σ\subset \mathbb{R}^{2n}$ with finitely many closed characteristics, there exist at least two elliptic closed characteristics, which possess a nice symplectic normal form. In particular, as a simple corollary, they are irrational elliptic when $Σ$ is non-degenerate. Moreover, for any non-degenerate $Σ\subset\mathbb{R}^{6}$ with finitely many closed characteristics, we obtain at least three elliptic characteristics, of which at least two are irrationally elliptic. Based on the $n$-or-$\infty$ conjecture, three elliptic closed characteristics are optimal. This result provide theoretical support for further research on this conjecture.

A Score Filter Enhanced Data Assimilation Framework for Data-Driven Dynamical Systems

2026-03-16T06:05:27Z

We introduce a score-filter-enhanced data assimilation framework designed to reduce predictive uncertainty in machine learning (ML) models for data-driven dynamical system forecasting. Machine learning serves as an efficient numerical model for predicting dynamical systems. However, even with sufficient data, model uncertainty remains and accumulates over time, causing the long-term performance of ML models to deteriorate. To overcome this difficulty, we integrate data assimilation techniques into the training process to iteratively refine the model predictions by incorporating observational information. Specifically, we apply the Ensemble Score Filter (EnSF), a generative AI-based training-free diffusion model approach, for solving the data assimilation problem in high-dimensional nonlinear complex systems. This leads to a hybrid data assimilation-training framework that combines ML with EnSF to improve long-term predictive performance. We shall demonstrate that EnSF-enhanced ML can effectively reduce predictive uncertainty in ML-based Lorenz-96 system prediction and the Korteweg-De Vries (KdV) equation prediction.

Negative $β$-transformations: invariant measures, subshifts of finite type and matching property

2026-03-16T06:03:06Z

We study the negative beta transformations $T_{-β}:=-βx +\lfloorβx\rfloor+1$ for $x\in(0,1]$ and $β>1$. We present a complete characterization of pairs of dstinct non-integers with the same $T_{-β}$-invariant measure: for two non-integers $β_1 ,β_2 >1$, the invariant measures of negative $β$-transformation coincide if and only if $β_1$ is the root of equation $x^2-qx-p=0$, where $p,q\in\mathbb{N}$ with $p\leq q$, and $β_2 = β_1 + 1$. Furthermore, we show that $T_{-β}$ has matching property for all $β$ being generalized multinacci numbers. We also prove that the set of simple $-β$ numbers, whose $-β$-shifts are subshifts of finite type, is dense in the parameter interval $(1,\infty)$.

Partially Hyperbolic Dynamics on $\mathbb T^4$: Existence of Compact Center-Unstable Leaves

2026-03-16T02:37:27Z

We show that for $n\ge2$, if a partially hyperbolic diffeomorphism $f:\mathbb T^{n+1}\to \mathbb T^{n+1}$ with $\dim E^s=\dim E^c=1$ has an invariant center-unstable foliation with a compact incompressible leaf, then this foliation has a transverse closed curve in the universal cover. Also, if $f$ is leaf conjugate to its linear part, it has no compact incompressible center-unstable submanifold. In particular, by the incompressibility result we obtained on Anosov tori, the incompressibility assumptions can be removed when $f$ is defined on $\mathbb T^4$.

PIETOOLS 2025: User Manual

2026-03-15T23:48:44Z

The PIETOOLS 2025 User Manual describes all the features of version 2025 of the MATLAB toolbox PIETOOLS for the analysis and control of Partial Integral Equations (PIEs). The manual is aimed to guide, with examples, first-time users to four fundamental features of PIETOOLS: converting coupled ODE-PDEs, DDEs, DDFs, etc., to PIE representation; analysis of stability and input-output properties of PIEs; design of optimal observers and controllers for PIEs; simulation of open- and closed-loop PIE systems. The use of PIETOOLS is not limited to the features described above. However, the manual focuses on these features to provide a holistic understanding of the workflow of PIETOOLS, which will serve as a foundation to develop more complicated programs, for example, the design of boundary feedback controllers, robust observers, robust controllers, etc..

The Dimension of Integral Self-Affine Sets via Fractal Perturbations: The Box and the Hausdorff Dimensions, Ergodic Measures

2026-03-15T23:16:37Z

An integral self-affine set $F=F(T,A)\subseteq \mathbb{R}^n$ is a self-affine set which is generated by an $n\times n$ integer expanding matrix $T$ (not necessarily a similitude) and a finite set $A\subset \mathbb{Z}^n$ of integer vectors so that $F=T^{-1}(F+A)$. The dimension problem of $F$ has not yet been settled fully. For that, we introduce a fractal perturbation method with respect to $T,A$ and get the dimension as the limit of the dimensions of a sequence of better-behaved perturbed fractals, for which a dimension formula already exists. An unexpected feature of this technique is that the overlap structures of $F$ and its perturbations are eventually the same (i.e. the neighbor graphs are isomorphic), which is unlike some known perturbations. Our method has been developed especially for the problematic case of irreducible characteristic polynomial of $T$. Also, we do not impose any separation condition on $F$ (like the open set condition) or any further restriction (such as size, etc.) on $T$ or $A$. As a by-product of the perturbation method, we prove the existence of the box dimension of $F$ too. Further, we consider $F$ as a $T$-invariant subset of the n-torus (i.e, we consider $F \ \rm{mod \ 1}$), and we rather use the perturbation method to show that there is an ergodic $T$-invariant Borel probability measure on $F \ \rm{mod \ 1}$ of full dimension. In contrast to some known results, this is not an almost-sure result.

Continuity of asymptotic entropy on free solvable groups

2026-03-15T20:46:03Z

We prove the continuity of asymptotic entropy, as a function of the step distribution, among non-degenerate probability measures with finite Shannon entropy on the free solvable group $S_{d,m}$ of rank $d\ge 3$ and derived length $m\ge 2$.

A mathematical model of tumor growth using fractional derivatives

2026-03-15T19:28:36Z

In this work, we investigate a fractional-order tumor growth model aimed at capturing memory effects and nonlocal temporal dynamics inherent to tumor evolution. The model is formulated using Caputo fractional derivatives and incorporates key biological mechanisms related to tumor growth, vascular interaction, and cell clearance. To numerically solve the resulting fractional differential equations, a second-order fractional Runge-Kutta scheme is derived based on a truncated fractional Taylor expansion, providing an accurate and stable computational framework. The proposed model is calibrated using experimental tumor volume data from five patients, and its performance is evaluated through the Root Mean Square Deviation (RMSD) between numerical simulations and experimental observations. The results show that, for all patients considered, the fractional-order model significantly improves the agreement with experimental data compared to the classical integer-order formulation. An optimal fractional order α < 1 is identified in each case, highlighting the relevance of memory effects in tumor growth dynamics and their patient-specific nature. Further insight is obtained through phase-space and projection analyses, which reveal substantial geometric differences between integer-order and fractional-order dynamics. Although the present study is based on a limited number of patient datasets, the results demonstrate the potential of fractional-order modeling as a flexible and powerful framework for describing individualized tumor growth behavior. The proposed approach provides a solid basis for future extensions involving larger datasets, uncertainty quantification, and the incorporation of treatment effects and control strategies.