https://arxiv.org/api/MGV0O9+Z6s9ZMUeqgA/jg6PG7GU 2026-03-24T11:14:29Z 42247 165 15 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 http://arxiv.org/abs/2603.13872v1 2026-03-14T10:03:29Z

In 2020 Domingos introduced an interpolation formula valid for "every model trained by gradient descent". He concluded that such models behave approximately as kernel machines. In this work, we extend the Domingos formula to stochastic training. We introduce a stochastic gradient kernel that extends the deterministic version via a continuous-time diffusion approximation. We prove stochastic Domingos theorems and show that the expected network output admits a kernel-machine representation with optimizer-specific weighting. It reveals that training samples contribute through loss-dependent weights and gradient alignment along the training trajectory. We then link the generalization error to the null space of the integral operator induced by the stochastic gradient kernel. The same path-kernel viewpoint provides a unified interpretation of diffusion models and GANs: diffusion induces stage-wise, noise-localized corrections, whereas GANs induce distribution-guided corrections shaped by discriminator geometry. We visualize the evolution of implicit kernels during optimization and quantify out-of-distribution behaviors through a series of numerical experiments. Our results support a feature-space memory view of learning: training stores data-dependent information in an evolving tangent feature geometry, and predictions at test time arise from kernel-weighted retrieval and aggregation of these stored features, with generalization governed by alignment between test points and the learned feature memory.

2026-03-14T10:03:29Z 33 pages, 10 figures Jin Guo Roy Y. He Jean-Michel Morel http://arxiv.org/abs/2507.00186v4 2026-03-14T08:06:42Z

We study the linear dynamics of the random sequence $(T_n(.))_{n \geq 1}$ of the operators $T_n(ω) = T(τ^{n-1}ω) \dotsm T(τω) T(ω), n \geq 1$. These products depend on an ergodic measure-preserving transformation $τ: \mathbb{T} \to \mathbb{T}$ on the probability space $(\mathbb{T}, m)$ and on a strongly measurable map $T : \mathbb{T} \to \mathcal{B}(X)$, where $X$ is a separable Fréchet space. We will be focusing on the case where $T(ω)$ is equal to an operator $T_1$ on $X$ for every $ω\in A_1$ and equal to an operator $T_2$ on $X$ for every $ω\in A_2$, where $A_1, A_2$ are two disjoint Borel subsets of $[0,1)$ such that $A_1 \cup A_2 = [0,1)$ and $m(A_k) > 0$ for $k = 1,2$. More precisely, we will be focusing on the case where the operators $T_1$ and $T_2$ are adjoints of multiplication operators on the Hardy space $H^2(\mathbb{D})$, as well as the case where $T_1$ and $T_2$ are entire functions of exponential type of the derivation operator on the space of entire functions. Finally, we will study the linear dynamics of a case of a random product $T_n(ω)$ for which the operators $T(τ^i ω), i \geq 0$, do not commute. We will give particular importance to the case where the ergodic transformation is an irrational rotation or the doubling map on $\mathbb{T}$.

2025-06-30T18:52:34Z 47 pages. Correction of some inaccuracies Valentin Gillet http://arxiv.org/abs/2603.13789v1 2026-03-14T06:39:29Z

Extreme-event predictability in turbulence is strongly state dependent, yet event-by-event predictability horizons are difficult to quantify without access to governing equations or costly perturbation ensembles. Here we train an autoregressive conditional diffusion model on direct numerical simulations of the two-dimensional Kolmogorov flow and use a CRPS-based skill score to define an event-wise predictability horizon. Enstrophy extremes exhibit a pronounced hierarchy: forecast skill persists from $\approx 1$ to $> 4$ Lyapunov times across events. Spectral filtering shows that these horizons are controlled predominantly by large-scale structures. Extremes are preceded by intense strain cores organizing quadrupolar vortex packets, whose lifetime sharply separates long- from short-horizon events. These results identify coherent-structure persistence as a governing mechanism for the predictability of turbulence extremes and provide a data-driven route to diagnose predictability limits from observations.

2026-03-14T06:39:29Z Yuxuan Yang Chenyu Dong Gianmarco Mengaldo