https://arxiv.org/api/2TU+x0HXZNmxy3RYF2lUHocua1w 2026-03-22T17:26:44Z 42199 90 15 http://arxiv.org/abs/2603.14540v1 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.

2026-03-15T18:30:02Z 22 pages, submitted to Contemporary Mathematics, proceedings of "School XXIV School of Mathematics <Lluis Santaló> - Structure and Approximation of C*-algebras" Joan Claramunt http://arxiv.org/abs/2403.04907v3 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.

2024-03-07T21:27:16Z Revised version. Accepted for publication in Communications in Mathematical Physics Davor Dragicevic Yeor Hafouta http://arxiv.org/abs/2603.03709v2 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.

2026-03-04T04:23:47Z 9 pages. (v2) minor modification and clearification Yûsuke Okuyama http://arxiv.org/abs/2005.09672v3 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.

2020-05-19T18:01:59Z To appear in Online Journal of Analytic Combinatorics Aritro Pathak http://arxiv.org/abs/2603.14383v1 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.

2026-03-15T13:45:05Z 22 pages, 9 figures, 2 tables Yoav Harris Hadas Benisty Ronen Talmon http://arxiv.org/abs/2503.19550v4 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.

2025-03-25T11:06:15Z The results are incorrect as they rely on erroneous computations in Lazutkin's book concerning the expansion of the billiard map in Lazutkin coordinates Corentin Fierobe http://arxiv.org/abs/2511.13496v9 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".

2025-11-17T15:36:07Z Walid Oukil http://arxiv.org/abs/2603.14269v1 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.

2026-03-15T08:01:47Z 21 pages, 12 figures Adam Doliwa Artur Siemaszko Adam Zalewski http://arxiv.org/abs/2602.24001v2 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.

2026-02-27T13:24:04Z 26 pages, 7 figures Gervy Marie Angeles Jared Barber Christian Schmeiser http://arxiv.org/abs/2603.14205v1 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.

2026-03-15T03:26:29Z Journal of Sound and Vibration 481, 115434 (2020) Akira Saito Tomohiro Kuno 10.1016/j.jsv.2020.115434 http://arxiv.org/abs/2603.14097v1 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.

2026-03-14T19:49:21Z 25 pages, 8 figures J. R. Pérez-Buendía Victor Nopal-Coello http://arxiv.org/abs/2503.23435v2 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.

2025-03-30T13:26:52Z Xuan Kien Phung http://arxiv.org/abs/2412.15766v2 2026-03-14T18:56:42Z

For $c\in(1,2)$ we consider the following operators \[ \mathcal{C}_{c}f(x) = \sup_{λ\in [-1/2,1/2)}\bigg| \sum_{n \neq 0}f(x-n) \frac{e^{2πiλ\lfloor |n|^{c} \rfloor}}{n}\bigg|\text{,}\quad \mathcal{C}^{\mathsf{sgn}}_{c}f(x) = \sup_{λ\in [-1/2,1/2)}\bigg| \sum_{n \neq 0}f(x-n) \frac{e^{2πiλ\mathsf{sign(n)} \lfloor |n|^{c} \rfloor}}{n}\bigg| \text{,} \] and prove that both extend boundedly on $\ell^p(\mathbb{Z})$, $p\in(1,\infty)$. The second main result is establishing almost everywhere pointwise convergence for the following ergodic averages \[ A_Nf(x)=\frac{1}{N}\sum_{n=1}^Nf(T^nS^{\lfloor n^c\rfloor}x)\text{,} \] where $T,S\colon X\to X$ are commuting measure-preserving transformations on a $σ$-finite measure space $(X,μ)$, and $f\in L_μ^p(X)$, $p\in(1,\infty)$. The point of departure for both proofs is the study of exponential sums with phases $ξ_2 \lfloor |n^c|\rfloor+ ξ_1n$ through the use of a simple variant of the circle method.

2024-12-20T10:35:03Z 27 pages, no figures. Referee comments incorporated. Accepted for publication in Mathematische Zeitschrift Leonidas Daskalakis Anastasios Fragkos http://arxiv.org/abs/2502.12984v3 2026-03-14T16:50:24Z

In this paper, we propose a general approach for approximate simulation and analysis of delay differential equations (DDEs) with distributed time delays based on methods for ordinary differential equations (ODEs). The key innovation is that we 1) propose an Erlang mixture approximation of the kernel in the DDEs and 2) use the linear chain trick to transform the resulting approximate DDEs to ODEs. Furthermore, we prove that the approximation converges for continuous and bounded kernels and for specific choices of the coefficients if the number of terms increases sufficiently fast. We show that the approximate ODEs can be used to assess the stability of the steady states of the original DDEs and that the solution to the ODEs converges if the kernel is also exponentially bounded. Additionally, we propose an approach based on bisection and least-squares estimation for determining optimal parameter values in the approximation. Finally, we present numerical examples that demonstrate the accuracy and convergence rate obtained with the optimal parameters and the efficacy of the proposed approach for bifurcation analysis and Monte Carlo simulation. The numerical examples involve a modified logistic equation, chemotherapy-induced myelosuppression, and a point reactor kinetics model of a molten salt nuclear fission reactor.

2025-02-18T16:06:17Z The theoretical results have been generalized and the paper has been heavily revised in response to reviewers' comments Tobias K. S. Ritschel http://arxiv.org/abs/2603.13996v1 2026-03-14T15:56:19Z

Identifying coherent flow structures in chemical reactors is crucial for understanding the mixing dynamics, which is essential for optimizing reactor performance. We demonstrate the use of a transfer operator method to find coherent flow structures such as almost-invariant sets and coherent sets, which are characterized by minimal mixing with the surrounding fluid, in a lab-scaled stirred tank reactor using both simulated and experimental Lagrangian trajectory data. The proposed method further enables a detailed analysis of the mixing behavior by computing expected residence times and mixing times. Additionally, a Markov-state-model describes the macroscopic transport dynamics between compartments in the reactor.

2026-03-14T15:56:19Z Anna Klünker Thanh Tung Thai Eike Steuwe Christian Weiland Yvonne Schade Alexandra von Kameke Kathrin Padberg-Gehle