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..

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.

Combinatorial approximations of dynamical systems: a separated graph approach

2026-03-15T18:30:02Z

Separated graphs provide a powerful combinatorial tool for approximating dynamical systems. This paper details the explicit construction of Bratteli-like separated graphs -- a generalization of classical Bratteli diagrams -- that encode the dynamics of a homeomorphism $h$ on a totally disconnected, compact metric space $X$. Unlike standard approaches, the separated graph framework allows us to explicitly disentangle the static structure of the space from the dynamics of the homeomorphism. We provide a step-by-step exposition of this construction applied to four fundamental examples: the two-sided shift, the bit-wise NOT (global flip) map, the classical odometer map and the shift map on the one-point compactification of the integers. Finally, we briefly discuss how minimal (and, more generally, essentially minimal) dynamical systems can be read directly from the separated graph. This approach builds upon recent work by P. Ara and the author, which provides a graph-theoretic model for dynamical systems given by surjective local homeomorphisms defined on totally disconnected compact metric spaces.

Effective quenched linear response for random dynamical systems

2026-03-15T18:28:02Z

We prove ``effective'' linear response for certain classes of non-uniformly expanding random dynamical systems which are not necessarily composed in an i.i.d manner. In applications, the results are obtained for base maps with a sufficient amount of mixing. The fact that the rates are effective is then applied to obtain the differentiability of the variance in the CLT as a function of the parameter, as well as the annealed linear response. These two applications are beyond the reach of the linear response obtained in the general case, when all the random variables appearing in the bounds are only tempered. We also provide several wide examples of one-dimensional maps satisfying our conditions, as well as some higher-dimensional examples.

Semistable intrinsic reduction loci for the iterations of non-archimedean quadratic rational functions

2026-03-15T18:24:14Z

We introduce a semistability notion of the intrinsic reductions of a non-archimedean rational function at each non-classical point in the Berkovich projective line, which extends the potential GIT-semistability one defined at each type II points, and compute the intrinsic semistability loci for the iterations of a quadratic rational function using a reduction theoretic slope formula for the hyperbolic resultant function associated to those iterations. In particular, we establish a precise stationarity of those loci for iterated quadratic rational functions similar to that in the case of non-archimedean polynomial dynamics.

Marstrand type slicing statements in $\mathbb{Z}^{2}\subset \mathbb{R}^{2}$ are false for the counting dimension

2026-03-15T16:46:28Z

We show that for $1$ separated subsets of $\R^{2}$, the natural Marstrand type slicing statements are false with the counting dimension that was used earlier by Moreira and Lima and variants of which were introduced earlier in different contexts. We construct a $1$ separated subset $E$ of the plane which has counting dimension $1$, while for a positive Lebesgue measure parameter set of tubes of width $1$, the intersection of the tube with the set $E$ has counting dimension $1$. This is in contrast to the behavior of such sets with the mass dimension where the slicing theorems hold true.

Geometric Framework for Robust Order Detection in Delay-Coordinates Dynamic Mode Decomposition

2026-03-15T13:45:05Z

Delay-coordinates dynamic mode decomposition (DC-DMD) is widely used to extract coherent spatiotemporal modes from high-dimensional time series. A central challenge is distinguishing dynamically meaningful modes from spurious modes induced by noise and order overestimation. We show that model order detection and mode selection in DC-DMD are fundamentally problems of subspace geometry. Specifically, true modes are characterized by concentration within a low-dimensional signal subspace, whereas spurious modes necessarily retain non-negligible components outside any moderate overestimate of that subspace. This geometric distinction yields a perturbation-robust definition of true and spurious modes and yields fully data-driven selection criteria. This geometric framework leads to two complementary data-driven selection criteria. The first is derived directly from the geometric distinction and uses a data-driven proxy of the signal-subspace to compute a residual score. The second arises from a new operator-theoretic analysis of delay embedding. Using a block-companion formulation, we show that all modes exhibit a Kronecker-Vandermonde (KV) structure induced by the delay-coordinates, and true modes are distinguished by the degree to which they conform to it. Importantly, we also show that this deviation is governed precisely by the geometric residual. In addition, our analysis provides a principled explanation for the empirical behavior of magnitude- and norm-based heuristics, clarifying when and why they fail under delay-coordinates. Extensive numerical experiments confirm the theoretical predictions and demonstrate that the proposed geometric and structure-based methods achieve robust and accurate order detection and mode selection, consistently better than existing baselines across noise levels, spectral separations, damping regimes, and embedding lengths.

Lazutkin coordinates and the conjugation problem for billiard maps

2026-03-15T08:43:13Z

The conjugation problem for billiard maps conjectures that if two strictly convex billiards have conjugated billiard maps, the billiard tables must be homothetic to each other. We show that if two billiard maps are conjugated, the conjugation diffeomorphism is tangent to a Lazutkin change of coordinates. We also recompute the coefficients in the billiard map expansion as the angle ttends to zero, correcting some incorrect expressions in Lazutkin's computations.

Asymmetry of Generalized $ζ$ Functions under the Rotation Number Hypothesis

2026-03-15T08:12:26Z

In this manuscript, we show that the Riemann zeta function satisfies $\big(ζ(s),ζ(1-\overline{s})\big)\neq(0,0)$ for any $s$ in the critical strip, except on the critical line. This still holds even when the fractional part function is replaced by a function satisfying a specific "Rotation Number Hypothesis".

On aggregation-quantization permutability problem for discrete-time Markov chains

2026-03-15T08:01:47Z

Given random walk on a graph, the corresponding discrete-time quantum walk can be constructed using the method proposed by Szegedy. On the other hand, given a partition of the set of states of a Markov chain, one can study the corresponding aggregated process. We extend the aggregation technique to the level of quantum Markov chains. We provide conditions under which application of these two operations - Szegedy's quantization and aggregation - give the same result. In particular, we show that the conditions are satisfied in the case of the random walk on graphs equipped with equitable partitions. We present several examples, which include the classical/quantum walks on Platonic solids. We discuss also relation of discrete-time classical/quantum walks on $N$-dimensional hypercube and the Ehrenfests urn model with $N$ particles. We apply our technique for of discrete-time walks on Cayley graphs of free groups. We also compare our results with those obtained using Cantero-Moral-Velazquez uniformization of unitary matrices.

Pitchfork bifurcation and traveling waves for a planar ensemble of rigid filaments with repulsive interaction

2026-03-15T07:12:56Z

The so-called Filament Based Lamellipodium Model is a complex modeling framework for a very heterogeneous chemo-mechanical system of cell biology. It contains a model for Coulomb repulsion between filaments, whose effect on the stability of the system has been unclear. In this work, a strongly simplified version of the model is considered, showing a destabilizing effect of the repulsion. This instability results in a pitchfork bifurcation with an additional rotational symmetry, leading to a two-dimensional bifurcating manifold of traveling wave solutions. The simplified model is derived, its linearization around the trivial steady state is analyzed, and a formal bifurcation analysis is carried out. It is shown that the pitchfork bifurcation maybe super- or sub-critical. Time dependent numerical simulations illustrate these results and provide additional, more global information on the emergence of periodic and chaotic dynamics by secondary bifurcations.