http://arxiv.org/api/b8z3HAlfe2fanJJFVgtUx4QxDuI 2025-05-18T00:00:00-04:00 39377 420 15 http://arxiv.org/abs/2504.10373v1 2025-04-14T16:20:55Z 2025-04-14T16:20:55Z

Equations, particularly differential equations, are fundamental for understanding natural phenomena and predicting complex dynamics across various scientific and engineering disciplines. However, the governing equations for many complex systems remain unknown due to intricate underlying mechanisms. Recent advancements in machine learning and data science offer a new paradigm for modeling unknown equations from measurement or simulation data. This paradigm shift, known as data-driven discovery or modeling, stands at the forefront of AI for science, with significant progress made in recent years. In this paper, we introduce a systematic framework for data-driven modeling of unknown equations using deep learning. This versatile framework is capable of learning unknown ODEs, PDEs, DAEs, IDEs, SDEs, reduced or partially observed systems, and non-autonomous differential equations. Based on this framework, we have developed Deep Unknown Equations (DUE), an open-source software package designed to facilitate the data-driven modeling of unknown equations using modern deep learning techniques. DUE serves as an educational tool for classroom instruction, enabling students and newcomers to gain hands-on experience with differential equations, data-driven modeling, and contemporary deep learning approaches such as FNN, ResNet, generalized ResNet, operator semigroup networks (OSG-Net), and Transformers. Additionally, DUE is a versatile and accessible toolkit for researchers across various scientific and engineering fields. It is applicable not only for learning unknown equations from data but also for surrogate modeling of known, yet complex, equations that are costly to solve using traditional numerical methods. We provide detailed descriptions of DUE and demonstrate its capabilities through diverse examples, which serve as templates that can be easily adapted for other applications.

Junfeng Chen Kailiang Wu Dongbin Xiu 28 pages http://arxiv.org/abs/2504.10355v1 2025-04-14T16:04:03Z 2025-04-14T16:04:03Z

We study a fast-slow version of the Bazykin-Berezovskaya predator-prey model with Allee effect evolving on two timescales, through the lenses of Geometric Singular Perturbation Theory (GSPT). The system we consider is in non-standard form. We completely characterize its dynamics, providing explicit threshold quantities to distinguish between a rich variety of possible asymptotic behaviors. Moreover, we propose numerical results to illustrate our findings. Lastly, we comment on the real-world interpretation of these results, in an economic framework and in the context of predator-prey models.

Jacopo Borsotti Mattia Sensi 20 pages, 5 figures http://arxiv.org/abs/2410.17254v2 2025-04-14T15:18:01Z 2024-10-03T18:57:50Z

We study {\it permeable} sets. These are sets \(\Theta \subset \mathbb{R}^d\) which have the property that each two points \(x,y\in \mathbb{R}^d\) can be connected by a short path \(\gamma\) which has small (or even empty, apart from the end points of \(\gamma\)) intersection with \(\Theta\). We investigate relations between permeability and Lebesgue measure and establish theorems on the relation of permeability with several notions of dimension. It turns out that for most notions of dimension each subset of \(\mathbb{R}^d\) of dimension less than \(d-1\) is permeable. We use our permeability result on the Nagata dimension to characterize permeability properties of self-similar sets with certain finiteness properties.

Gunther Leobacher Tapio Rajala Alexander Steinicke Jörg Thuswaldner http://arxiv.org/abs/2504.10264v1 2025-04-14T14:29:23Z 2025-04-14T14:29:23Z

We show that the ergodic, topological and geometric basins coincide for hyperbolic dominated ergodic $cu$-Gibbs states, solving the ``basin problem'' for a wide class of non-uniformly hyperbolic systems. We obtain robust examples of exponential mixing physical measures for systems with multidimensional nonuniform hyperbolic dominated splitting, without uniformly expanding or contracting subbundles. Both results are a consequence of extending the construction of Gibbs-Markov-Young structures from partial hyperbolic systems to systems with only a dominated splitting, using the existence of an ``improved hyperbolic block'', with respect to Pesin's Nonuniform Hyperbolic Theory, for hyperbolic dominated measures of smooth maps, obtained through hyperbolic times and associated ``coherent schedules'' introduced by one of the coauthors.

Vitor Araujo Vilton Pinheiro 39 pages, 8 figures http://arxiv.org/abs/2504.10260v1 2025-04-14T14:22:46Z 2025-04-14T14:22:46Z

We study cocycles taking values in the mapping class group of closed surfaces and investigate their leading topological Lyapunov exponent. Under a natural closing property, we show that the top topological Lyapunov exponent can be approximated by periodic orbits. We also extend the notion of the joint spectral radius to this setting, interpreting it via the exponential growth of curves under iterated mapping classes. Our approach connects ideas from ergodic theory, Teichm\"uller geometry, and spectral theory, and suggests a broader framework for similar results.

Anders Karlsson Reza Mohammadpour http://arxiv.org/abs/2504.10251v1 2025-04-14T14:13:48Z 2025-04-14T14:13:48Z

We study the global (asymptotic) stability of the Lengyel-Epstein differential systems, sometimes called Belousov-Zhabotinsky differential systems. Such systems are topologically equivalent to a two-parameter family of cubic systems in the plane. We show that for each pair of admissible parameters the unique equilibrium point of the corresponding system is not globally (asymptotically) stable. On the other hand, we provide explicit conditions for this unique equilibrium point to be asymptotically stable and we study its basin of attraction. We also study the generic and degenerate Hopf bifurcations and highlight a subset of the set of admissible parameters for which the phase portraits of the systems have two limit cycles.

Lucas Queiroz Arakaki Luis Fernando Mello Ronisio Moises Ribeiro http://arxiv.org/abs/2504.03533v2 2025-04-14T13:50:17Z 2025-04-04T15:33:27Z

Given any strong orbit equivalence class of minimal Cantor systems and any cardinal number that is finite, countable, or the continuum, we show that there exists a minimal subshift within the given class whose number of asymptotic components is exactly the given cardinal. For finite or countable ones, we explicitly construct such examples using $\mathcal{S}$-adic subshifts. We derived the uncountable case by showing that any topological dynamical system with countably many asymptotic components has zero topological entropy. We also construct systems with arbitrarily high subexponential word complexity with only one asymptotic class. We deduce that within any strong orbit equivalence class, there exists a subshift whose automorphism group is isomorphic to $\mathbb{Z}$.

Haritha Cheriyath Sebastián Donoso 22 pages. Only the abstract has been modified from the previous version. Comments are welcome http://arxiv.org/abs/2412.18466v2 2025-04-14T11:53:56Z 2024-12-24T14:53:25Z

The existence of quasimorphisms on groups of homeomorphisms of manifolds has been extensively studied under various regularity conditions, such as smooth, volume-preserving, and symplectic. However, in this context, nothing is known about groups of `area'-preserving diffeomorphisms on non-orientable manifolds. In this paper, we initiate the study of groups of density-preserving diffeomorphisms on non-orientable manifolds. Here, the density is a natural concept that generalizes volume without concerning orientability. We show that the group of density-preserving diffeomorphisms on the M\"obius band admits countably many unbounded quasimorphisms which are linearly independent. Along the proof, we show that groups of density preserving diffeomorphisms on compact, connected, non-orientable surfaces with non-empty boundary are weakly contractible.

KyeongRo Kim Shuhei Maruyama http://arxiv.org/abs/2504.10093v1 2025-04-14T10:56:51Z 2025-04-14T10:56:51Z

We introduce a gradient modeling framework for memristive systems. Our focus is on memristive systems as they appear in neurophysiology and neuromorphic systems. Revisiting the original definition of Chua, we regard memristive elements as gradient operators of quadratic functionals with respect to a metric determined by the memristance. We explore the consequences of gradient properties for the analysis and design of neuromorphic circuits.

Fulvio Forni Rodolphe Sepulchre Submitted to 64th IEEE Control on Decision and Control (CDC2025) http://arxiv.org/abs/2207.11760v4 2025-04-14T10:06:10Z 2022-07-24T15:18:39Z

We show that a central limit theorem holds for exterior powers of the Kontsevich-Zorich (KZ) cocycle. In particular, we show that, under the hypothesis that the top Lyapunov exponent on the exterior power is simple, a central limit theorem holds for the lift of the (leafwise) hyperbolic Brownian motion to any strongly irreducible, symplectic, $\text{SL}(2,\mathbb{R})$-invariant subbundle, that is moreover symplectic-orthogonal to the so-called tautological subbundle. We then show that this implies that a central limit theorem holds for the lift of the Teichm\"uller geodesic flow to the same bundle. For the random cocycle over the hyperbolic Brownian motion, we prove under the same hypotheses that the variance of the top exponent is strictly positive. For the deterministic cocycle over the Teichm\"uller geodesic flow we prove that the variance is strictly positive only for the top exponent of the first exterior power (the KZ cocycle itself) under the hypothesis that its Lyapunov spectrum is simple.

Hamid Al-Saqban Giovanni Forni 39 pages. Section 4.2 substantially simplified. Various other expositional improvements, incorporating feedback from the anonymous referees. Added Lemma A.2 and Theorem B.1. To appear, Journal de l'\'Ecole polytechnique - Math\'ematiques http://arxiv.org/abs/2504.10017v1 2025-04-14T09:19:42Z 2025-04-14T09:19:42Z

We analyze, mainly using bifurcation methods, an elliptic superlinear problem in one-dimension with periodic boundary conditions. One of the main novelties is that we follow for the first time a bifurcation approach, relying on a Lyapunov-Schmidt reduction and some recent global bifurcation results, that allows us to study the local and global structure of non-trivial solutions at bifurcation points where the linearized operator has a two-dimensional kernel. Indeed, at such points the classical tools in bifurcation theory, like the Crandall-Rabinowitz theorem or some generalizations of it, cannot be applied because the multiplicity of the eigenvalues is not odd, and a new approach is required. We apply this analysis to specific examples, obtaining new existence and multiplicity results for the considered periodic problems, going beyond the information variational and fixed point methods like Poincar\'e-Birkhoff theorem can provide.

Eduardo Muñoz-Hernández Juan Carlos Sampedro Andrea Tellini http://arxiv.org/abs/2401.14784v2 2025-04-14T07:58:36Z 2024-01-26T11:15:54Z

We establish an existence result of a solution to a class of probability measure-valued equations, whose solutions can be associated with stationary distributions of many McKean-Vlasov diffusions with gradient-type drifts. Coefficients of the probability measure-valued equation may be discontinuous in the weak topology and the total variation norm. Owing to that the bifurcation point of the probability measure-valued equation is relevant to the phase transition point of the associated McKean-Vlasov diffusion, we establish a local Krasnosel'skii bifurcation theorem. Regularized determinant for the Hilbert-Schmidt operator is used to derive our criteria for the bifurcation point. Concrete examples, including the granular media equation and the Vlasov-Fokker-Planck equation with quadratic interaction, are given to illustrate our results.

Shao-Qin Zhang http://arxiv.org/abs/2504.09959v1 2025-04-14T07:56:41Z 2025-04-14T07:56:41Z

This paper addresses the problem of recovering tracer kinetic parameters from multi-region measurement data in quantitative PET imaging using the reversible two tissue compartment model. Its main result is an extension of our previous work on the irreversible two tissue compartment model. In analogy to our previous work, we show that also in the (practically highly relevant) reversible case, most tracer kinetic parameters can be uniquely identified from standard PET measurements (without additional full blood sample analysis that is usually performed in practice) and under reasonable assumptions. In addition, unique identifiability of all parameters is shown provided that additional measurements from the (uncorrected) total arterial blood tracer concentration (which can be obtained from standard PET measurements or from a simple blood sample analysis) are available.

Martin Holler Erion Morina Georg Schramm http://arxiv.org/abs/2504.09926v1 2025-04-14T06:35:18Z 2025-04-14T06:35:18Z

Poisson boundary is a measurable $\Gamma$-space canonically associated with a group $\Gamma$ and a probability measure $\mu$ on it. The collection of all measurable $\Gamma$-equivariant quotients, known as $\mu$-boundaries, of the Poisson boundary forms a partially ordered set, equipped with a strictly monotonic non-negative function, known as Furstenberg or differential entropy. In this paper we demonstrate the richness and the complexity of this lattice of quotients for the case of free groups and surface groups and rather general measures. In particular, we show that there are continuum many unrelated $\mu$-boundaries at each, sufficiently low, entropy level, and there are continuum many distinct order-theoretic cubes of $\mu$-boundaries. These $\mu$-boundaries are constructed from dense linear representations $\rho:\Gamma\to G$ to semi-simple Lie groups, like $\PSL_2(\bbC)^d$ with absolutely continuous stationary measures on $\hat\bbC^d$.

Samuel Dodds Alex Furman 38 pages http://arxiv.org/abs/2306.11591v2 2025-04-14T05:52:00Z 2023-06-20T15:09:22Z

In this article, we consider a dominant rational self-map $f:X \dashrightarrow X$ of a normal projective variety defined over a number field. We study the arithmetic degree $\alpha_k(f)$ for $f$ and $\alpha_k(f,V)$ of a subvariety $V$, which generalize the classical arithmetic degree $\alpha_1(f,P)$ of a point $P$. We generalize Yuan's arithmetic version of Siu's inequality to higher codimensions and utilize it to demonstrate the existence of the arithmetic degree $\alpha_k(f)$. Furthermore, we establish the relative degree formula $\alpha_k(f)=\max\{\lambda_k(f),\lambda_{k-1}(f)\}$. In addition, we prove several basic properties of the arithmetic degree $\alpha_k(f, V)$ and establish the upper bound $\overline{\alpha}_{k+1}(f, V)\leq \max\{\lambda_{k+1}(f),\lambda_{k}(f)\}$, which generalizes the classical result $\overline{\alpha}_f(P)\leq \lambda_1(f)$. Finally, we discuss a generalized version of the Kawaguchi-Silverman conjecture that was proposed by Dang et al, and we provide a counterexample to this conjecture.

Jiarui Song 25 pages