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.

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.

Data-driven Experimental Modal Analysis by Dynamic Mode Decomposition

2026-03-15T03:26:29Z

This paper discusses the application of Dynamic Mode Decomposition (DMD) to the extraction of modal properties of linear mechanical systems, i.e., experimental modal analysis (EMA). First, theoretical background of the DMD is briefly reviewed and its relevance to the Ibrahim time-domain method is discussed. Second, DMD is applied to a single DOF system and multi-DOF discrete system to discuss the applicability and interpretation of the DMD as a method of EMA. Furthermore, the effects of measurement errors on the results of DMD are discussed. It is shown that with relatively small measurement errors, DMD can capture modal parameters accurately. However, with relatively large measurement errors, DMD fails to capture modal parameters. Finally, DMD is applied to experimentally-obtained displacement field of a cantilevered beam, and its modal parameters are extracted. It is shown that the modal parameters extracted by DMD are as accurate as the ones obtained by the existing modal parameter extraction method.

Hierarchical p-Adic Framework for Gene Regulatory Networks: Theory and Stability Analysis

2026-03-14T19:49:21Z

Gene regulatory networks exhibit hierarchical organization across scales; capturing this structure mathematically requires a metric that distinguishes regulatory influence at each level. We show that the ultrametric of the $p$-adic integers $\mathbb{Z}_p$ -- whose self-similar nested-ball structure is a natural fractal encoding of multi-scale organization -- provides such a framework. Embedding the $N$-gene state space into $\mathbb{Z}_p$ and working over the complete, algebraically closed field $\mathbb{C}_p$, we prove the existence of rational functions that interpret the discrete dynamics and construct hierarchical approximations at each resolution level. These constructions yield a stability measure $μ$ -- aggregating how the dynamics contracts or expands across resolution levels -- and a ball-level classification of fixed points -- contracting, expanding, or isometric -- extending the attracting/repelling/indifferent trichotomy of non-Archimedean dynamics from points to balls. A key result is that $μ$ and the classification, although their definition and dynamical meaning require the analytical tools of $\mathbb{C}_p$, are fully determined by the discrete data. Minimizing $μ$ over all $N!$ gene orderings defines an optimal regulatory hierarchy; for the Arabidopsis thaliana floral development network ($N=13$, $p=2$), a $μ$-minimizing ordering places known master regulators -- UFO, EMF1, LFY, TFL1 -- in the leading positions and recovers the accepted developmental hierarchy without biological input beyond the transition map.

On Gottschalk's surjunctivity conjecture for non-uniform cellular automata

2026-03-14T19:19:09Z

Gottschalk's surjunctivity conjecture for a group $G$ states that it is impossible for cellular automata (CA) over the universe $G$ with finite alphabet to produce strict embeddings of the full shift into itself. A group universe $G$ satisfying Gottschalk's surjunctivity conjecture is called a surjunctive group. The surjunctivity theorem of Gromov and Weiss shows that every sofic group is surjunctive. In this paper, we study the surjunctivity of local perturbations of CA and more generally of non-uniform cellular automata (NUCA) with finite memory and uniformly bounded singularity over surjunctive group universes. In particular, we show that such a NUCA must be invertible whenever it is reversible. We also obtain similar results which extend to the class of NUCA a certain dual-surjunctivity theorem of Capobianco, Kari, and Taati for CA.