Contraction and concentration of measures with applications to theoretical neuroscience

2025-04-08T04:24:39Z

We investigate the asymptotic behavior of probability measures associated with stochastic dynamical systems featuring either globally contracting or $B_{r}$-contracting drift terms. While classical results often assume constant diffusion and gradient-based drifts, we extend the analysis to spatially inhomogeneous diffusion and non-integrable vector fields. We establish sufficient conditions for the existence and uniqueness of stationary measures under global contraction, showing that convergence is preserved when the contraction rate dominates diffusion inhomogeneity. For systems contracting only outside of a compact set and with constant diffusion, we demonstrate mass concentration near the minima of an associated non-convex potential, like in multistable regimes. The theoretical findings are illustrated through Hopfield networks, highlighting implications for memory retrieval dynamics in noisy environments.

Toeplitz subshifts of finite rank

2025-04-08T00:33:29Z

In this paper we study some basic problems about Toeplitz subshifts of finite topological rank. We define the notion of a strong Toeplitz subshift of finite rank $K$ by combining the characterizations of Toeplitz-ness and of finite topological rank $K$ from the point of view of the Bratteli--Vershik representation or from the $\mathcal{S}$-adic point of view. The characterization problem asks if for every $K\geq 2$, every Toeplitz subshift of topological rank $K$ is a strong Toeplitz subshift of rank $K$. We give a negative answer to the characterization problem by constructing a Toeplitz subshift of topological rank $2$ which fails to be a strong Toeplitz subshift of rank $2$. However, we show that the set of all strong Toeplitz subshifts of finite rank is generic in the space of all infinite minimal subshifts. In the second part we consider several classification problems for Toeplitz subshifts of topological rank $2$ from the point of view of descriptive set theory. We completely determine the complexity of the conjugacy problem, the flip conjugacy problem, and the bi-factor problem by showing that, as equivalence relations, they are hyperfinite and not smooth. We also consider the inverse problem for all Toeplitz subshifts. We give a criterion for when a Toeplitz subshift is conjugate to its own inverse, and use it to show that the set of all such Toeplitz subshifts is a meager set in the space of all infinite minimal subshifts. Finally, we show that the automorphism group of any Toeplitz subshift of finite rank is isomorphic to $\mathbb{Z}\oplus C$ for some finite cyclic group $C$, and for every nontrivial finite cyclic group $C$, $\mathbb{Z}\oplus C$ can be realized as the isomorphism type of an automorphism group of a strong Toeplitz subshift of finite rank greater than $2$.

Solenoids of Split Sequences

2025-04-07T18:38:27Z

Solenoids induced by split sequences are introduced, as the inverse limit object of a sequence of fold maps. The topology of a solenoid is explored, and it is established that solenoids have naturally arising singular foliated structures. Our main goal is to answer the question: ``When is a solenoid minimal, both in a topological sense, and a measure theoretic sense?" To aid this, we introduce the notions of leaves, partial leaves and transversals of a solenoid and explore their properties. A combinatorial criterion for topological minimality of a solenoid, is introduced. The primary tool we construct to study dynamics of solenoids is contained in the following theorem: When a given solenoid $X$ doesn't contain finite partial leaves, the space of transverse measures of $X$, denoted $TM(X)$, is equal to the inverse limit of a certain sequence of linear maps on convex cones. We use this machinery to show that $TM(X)$ is a finite dimensional cone, and then to provide a combinatorial criterion called ``Semi-Normality" that allows us to recognize a wide class of uniquely ergodic solenoids.

Sequential data assimilation for PDEs using shape-morphing solutions

2025-04-07T17:39:08Z

Shape-morphing solutions (also known as evolutional deep neural networks, reduced-order nonlinear solutions, and neural Galerkin schemes) are a new class of methods for approximating the solution of time-dependent partial differential equations (PDEs). Here, we introduce a sequential data assimilation method for incorporating observational data in a shape-morphing solution (SMS). Our method takes the form of a predictor-corrector scheme, where the observations are used to correct the SMS parameters using Newton-like iterations. Between observation points, the SMS equations (a set of ordinary differential equations) are used to evolve the solution forward in time. We prove that, under certain conditions, the data assimilated SMS (DA-SMS) converges uniformly towards the true state of the system. We demonstrate the efficacy of DA-SMS on three examples: the nonlinear Schrodinger equation, the Kuramoto-Sivashinsky equation, and a two-dimensional advection-diffusion equation. Our numerical results suggest that DA-SMS converges with relatively sparse observations and a single iteration of the Newton-like method.

A general framework for quasi-isometries in symbolic dynamics beyond groups

2025-04-07T15:43:02Z

We introduce an algebraic structure which encodes a collection of countable graphs through a set of states, generators and relations. For these structures, which we call blueprints, we provide a general framework for symbolic dynamics under a partial monoid action, and for transferring invariants of their symbolic dynamics through quasi-isometries. In particular, we show that the undecidability of the domino problem, the existence of strongly aperiodic subshifts of finite type, and the existence of subshifts of finite type without computable points are all quasi-isometry invariants for finitely presented blueprints. As an application of this model, we show that a variant of the domino problem for geometric tilings of $\mathbb{R}^d$ is undecidable for $d \geq 2$ on any underlying tiling space with finite local complexity.

Spatial models for boolean actions in the infinite measure-preserving setup

2025-04-07T14:51:07Z

We show that up to a null set, every infinite measure-preserving action of a locally compact Polish group can be turned into a continuous measure-preserving action on a locally compact Polish space where the underlying measure is Radon. We also investigate the distinction between spatial and boolean actions in the infinite measure-preserving setup. In particular, we extend Kwiatkowska and Solecki's Point Realization Theorem to the infinite measure setup. We finally obtain a streamlined proof of a recent result of Avraham-Re'em and Roy: L\'evy groups cannot admit nontrivial continuous measure-preserving actions on Polish spaces when the measure is locally finite.

Transitivity of the pure Hurwitz classes of quadratic post-critically finite polynomials

2025-04-07T14:30:37Z

We prove that for two post-critically finite quadratic polynomials $f,g$, there is a mapping class $\phi$ of the sphere with finitely many marked points such that $f\phi$ and $g$ are pure Hurwitz equivalent.

On entropy of pure mixing maps on dendrites

2025-04-07T14:26:04Z

For every $0<\alpha\le\infty$ we construct a continuous pure mixing map (topologically mixing, but not exact) on the Gehman dendrite with topological entropy $\alpha$. It has been previously shown by \v{S}pitalsk\'y that there are exact maps on the Gehman dendrite with arbitrarily low positive topological entropy. Together, these results show that the entropy of maps on the Gehman dendrite does not exhibit the paradoxical behaviour reported for graph maps, where the infimum of the topological entropy of exact maps is strictly smaller than the infimum of the entropy of pure mixing maps. The latter result, stated in terms of popular notions of chaos, says that for maps on graphs, lower entropy implies stronger Devaney chaos. The conclusion of this paper says that lower entropy does not force stronger chaos for maps of the Gehman dendrite.

Morse Index Theorem for Sturm-Liouville Operators on the Real Line

2025-04-07T14:00:13Z

The classical Morse index theorem establishes a fundamental connection between the Morse index-the number of negative eigenvalues that characterize key spectral properties of linear self-adjoint differential operators-and the count of corresponding conjugate points. In this paper, we extend these foundational results to the Sturm-Liouville operator on $\mathbb{R}$. In particular, for autonomous Lagrangian systems, we employ a geometric argument to derive a lower bound for the Morse index. As concrete applications, we establish a criterion for detecting instability in traveling waves within gradient reaction-diffusion systems.

Turing instability for nonlocal heterogeneous reaction-diffusion systems: A computer-assisted proof approach

2025-04-07T13:34:46Z

This paper provides a computer-assisted proof for the Turing instability induced by heterogeneous nonlocality in reaction-diffusion systems. Due to the heterogeneity and nonlocality, the linear Fourier analysis gives rise to \textit{strongly coupled} infinite differential systems. By introducing suitable changes of basis as well as the Gershgorin disks theorem for infinite matrices, we first show that all $N$-th Gershgorin disks lie completely on the left half-plane for sufficiently large $N$. For the remaining finitely many disks, a computer-assisted proof shows that if the intensity $\delta$ of the nonlocal term is large enough, there is precisely one eigenvalue with positive real part, which proves the Turing instability. Moreover, by detailed study of this eigenvalue as a function of $\delta$, we obtain a sharp threshold $\delta^*$ which is the bifurcation point for Turing instability.

Descriptive Complexity of Sensitivity of Cellular Automata

2025-04-07T12:38:07Z

We study the computational complexity of determining whether a cellular automaton is sensitive to initial conditions. We show that this problem is $\Pi^0_2$-complete in dimension 1 and $\Sigma^0_3$-complete in dimension 2 and higher. This solves a question posed by Sablik and Theyssier.

On Separation of Variables for Symmetric Spaces of Rank1

2025-04-07T12:26:51Z

We study existence and nonexistence of diagonal and separating coordinates for Riemannian symmetric spaces of rank 1. We generalize the results of Gauduchon and Moroianu, 2020, by showing that a symmetric space of rank 1 has diagonal coordinates if and only if it has constant sectional curvature. This implies that orthogonal separation of variables on a symmetric space of rank 1 is possible only in the constant sectional curvature case. We show that on the complex projective space $\mathbb{C}P^n$ and on complex hyperbolic space $\mathbb{C}H^n$, with $n\ge 2$, separating coordinates necessarily have precisely $n$ ignorable coordinates. In view of results of Boyer et al, 1983 and 1985, and later results of Winternitz et al, 1994, this completes the description of separation of variables on $\mathbb{C}P^n$ for all $n$ and on $\mathbb{C}H^n$ for $n=2,3$.

Stabilising millennial oscillations in large-scale ocean circulation with a delayed feedback due to a circumpolar current

2025-04-07T11:23:18Z

The global ocean circulation plays a pivotal role in the regulation of the Earth's climate. The specific pattern and strength of circulation also determines how carbon and nutrients are cycled and via the resulting distribution of dissolved oxygen, where habitats suitable for marine animals occur. However, evidence from both geological data and models suggests that state transitions in circulation patterns have occurred in the past. Understanding the controls on marine environmental conditions and biodiversity requires a full appreciation of the nature and drivers of such transitions. Here we present stable millennial oscillations of meridional overturning circulation in an Earth system model of intermediate complexity, cGENIE, that appear to only occur in the presence of a circumpolar current. To demonstrate that a circumpolar current can act as a driver of stable oscillations, we adapt a simple ocean box model to include a delayed feedback to represent the effect of a circumpolar current on meridional overturning circulation. We investigate the millennial oscillatory solutions that arise in the box model by bifurcation analysis and show that the model can reproduce the same bifurcation structure observed in the Earth system model. Our results provide new insights into the nature of oscillations that could have occurred under certain continental configurations in the geological past, and also highlight the potential influence of the changing Antarctic circumpolar current speed on the stability of the Atlantic meridional overturning circulation.

Fault Localisation in Infinite-Dimensional Linear Electrical Networks

2025-04-07T10:40:25Z

We present a novel fault localisation methodology for linear time-invariant electrical networks with infinite-dimensional edge dynamics and uncertain fault dynamics. The theory accommodates instability and also bounded propagation delays in the network. The goal is to estimate the location of a fault along a given network edge, using sensors positioned arbitrarily throughout the network. Passive faults of unknown impedance are considered, along with stable faults of known impedance. To illustrate the approach, we tackle a significant use-case: a multi-conductor transmission line, with dynamics modelled by the Telegrapher's equation, subject to a line-to-ground fault. Frequency-domain insights are used to reformulate the general fault localisation problem into a non-convex scalar optimisation problem, of which the true fault location is guaranteed to be a global minimiser. Numerical experiments are run to quantify localisation performance over a range of fault resistances.

A mechanism for growth of topological entropy and global changes of the shape of chaotic attractors

2025-04-07T09:54:10Z

The theoretical and numerical understanding of the key concept of topological entropy is an important problem in dynamical systems. Most studies have been carried out on maps (discrete-time systems). We analyse a scenario of global changes of the structure of an attractor in continuous-time systems leading to an unbounded growth of the topological entropy of the underlying dynamical system. As an example, we consider the classical Roessler system. We show that for an explicit range of parameters a chaotic attractor exists. We also prove the existence of a sequence of bifurcations leading to the growth of the topological entropy. The proofs are computer-aided.