Igor Vlasenko, Sergiy Maksymenko
This paper studies one-dimensional non-Hausdorff manifolds that are similar to "graphs with split vertices". It is shown that if $M$ is a connected one-dimensional non-Hausdorff manifold such that the set of its "non-Hausdorff" points is locally finite, and each component of its complement has a countable base, then there exists a quotient map $π\colon M \to Γ$ onto an open one-dimensional CW complex, which maps the non-Hausdorff points of $M$ to the vertices of $Γ$. Moreover, $Γ$ is the minimal Hausdorff quotient of $M$, that is, for every continuous map $f\colon M \to N$ into a Hausdorff space $N$, there exists a unique continuous map $\hat{f}\colon Γ\to N$ such that $f = \hat{f} \circ π$.
Zahra Monfared, Saksham Malhotra, Sekiya Hajime, Ioannis Kevrekidis, Felix Dietrich
For continuous-time dynamical systems with reversible trajectories, the nowhere-vanishing eigenfunctions of the Koopman operator of the system form a multiplicative group. Here, we exploit this property to accelerate the systematic numerical computation of the eigenspaces of the operator. Given a small set of (so-called ``principal'') eigenfunctions that are approximated conventionally, we can obtain a much larger set by constructing polynomials of the principal eigenfunctions. This enriches the set, and thus allows us to more accurately represent application-specific observables. Often, eigenfunctions exhibit localized singularities (e.g. in simple, one-dimensional problems with multiple steady states) or extended ones (e.g. in simple, two-dimensional problems possessing a limit cycle, or a separatrix); we discuss eigenfunction matching/continuation across such singularities. By handling eigenfunction singularities and enabling their continuation, our approach supports learning consistent global representations from locally sampled data. This is particularly relevant for multistable systems and applications with sparse or fragmented measurements.
KyeongRo Kim
Calegari and Loukidou introduced zippers, consisting of a disjoint pair of invariant real trees in the boundary of a closed hyperbolic 3-manifold group $π_1(M)$, which ensure the existence of a universal circle. We study the action of $π_1(M)$ on a minimal zipper and prove a fixed point dichotomy: every nontrivial element either fixes a unique point in each tree or acts freely on both. This answers a question of Calegari and Loukidou. As a consequence, there exists an element with exactly one fixed point in each tree.
Kai Hippi, Félix Lequen, Søren Mikkelsen, Tuomas Sahlsten, Henrik Ueberschär
Let $-Δ_{\mathbb{H}}+V$ be the Schrödinger operator on $\mathbb{H}$ where $V \in L^p(\mathbb{H}) \cap L^\infty(\mathbb{H})$ for some $p > 0$. If $(X_n)$ is a uniformly discrete sequence of compact hyperbolic surfaces with a uniform spectral gap that Benjamini-Schramm converges to $\mathbb{H}$, we prove quantum mixing for the eigenfunctions of $-Δ_{X_n}+V_n$ in any sufficiently large spectral window $I$, where $V_n$ is the potential on $X_n$ induced by $V$. These apply to large degree lifts of a potential on a base surface such as congruence covers of arithmetic surfaces, with high probability to random hyperbolic surfaces in the Weil-Petersson model of large genus, and to Hartree one-particle operators arising in thermodynamic limit of many-body Bose gas on hyperbolic surfaces. The proof uses the Duhamel formula for the hyperbolic wave equation together with exponential mixing of the geodesic flow on $T^1 X_n$.
Fei Hu, Chen Jiang
Let $X$ be a normal projective variety of dimension $d\ge 4$ and let $f$ be a zero-entropy automorphism of $X$. Denote by $k$ the degree growth rate of $f$, so that $\mathrm{deg}_1(f^n) \asymp n^{k}$. We show that if $k=2d-2$ is maximal, then the polynomial volume growth of $f$ satisfies $\mathrm{plov}(f)=d^2$. If instead $k\le 2d-4$ is not maximal, then \[\mathrm{plov}(f) \le d(d-2) + 2\lfloor d/4 \rfloor.\] This establishes a gap principle: for every fixed dimension $d\ge 4$, the invariant $\mathrm{plov}(f)$ cannot take any value in the open interval $\bigl(d(d-2) + 2\lfloor d/4 \rfloor, \, d^2\bigr)$. Our result thus reveals a new rigidity phenomenon for the polynomial volume growth of zero-entropy automorphisms. As a consequence, in dimension $4$ we determine all possible values of $\mathrm{plov}$, equivalently of the Gelfand--Kirillov dimension, thereby extending the results of Artin--Van den Bergh for surfaces and Lin--Oguiso--Zhang for threefolds.
J. Aaronson, A. I. Danilenko, J. Kułaga-Przymus, M. Lemańczyk
Motivated by Sarnak's conjecture on Möbius orthogonality, we investigate the general problem of orthogonality for a bounded sequence to topological models of characteristic classes of measure-preserving automorphisms. Our main observation is that whenever a strong form of such orthogonality holds in a system $(X,T)$ then the orthogonality holds for all topological systems in which each ergodic measure yields an automorphism that is measure-theoretically isomorphic to one arising from an ergodic measure in $(X,T)$. This leads us to study two purely dynamical problems: the existence of universal topological models for characteristic classes of measure-preserving automorphisms and the existence of a common ergodic extension for a measurable family of ergodic automorphisms. We show that the class of automorphisms with relative discrete spectrum over the identity factor--as well as several related classes including the weakly mixing case--admit universal models. We also highlight potential applications to the orthogonality phenomena. Moreover, we show that if the set of all measure-theoretic eigenvalues of a zero entropy system $(X,T)$ is countable, then $(X,T)$ satisfies Sarnak's conjecture along a subsequence of full logarithmic density.
Ziqi Niu, Xinhua Li, Chunyou Sun, Xiaoqing Yang
This paper establishes a ${C^{n,\varepsilon }}$-smooth extension of the inertial manifold for the one-dimensional Burgers equation, which demonstrates that its long-time behavior can be completely determined by explicit smooth first-order ODEs. We first devise a new framework for an abstract equation with two nonlinear terms, where one preserves regularity and the other reduces regularity, and derive sufficient conditions for constructing the ${C^{n,\varepsilon}}$-smooth extension of the IM by treating these two nonlinear terms separately.
Ellis Buckminster
Universal circles, introduced by Thurston and Calegari--Dunfield, are not well understood in general. Recently, the author together with Taylor showed that Anosov foliations with branching admit nonconjugate universal circles. We continue the study of these universal circles and show that for an Anosov foliation with branching on a hyperbolic manifold, the leftmost universal circle admits a Cannon--Thurston-type map to the ideal 2-sphere. This is a new type of construction of a Cannon--Thurston map. As a corollary, we show the fundamental group of the manifold acts on the leftmost universal circle with pseudo-Anosov dynamics.
Charles Starling
Spielberg's construction of C*-algebras from left cancellative small categories is a common generalization for most C*-algebras one would consider to come from ``combinatorial data,'' including graph and $k$-graph C*-algebras, Li's semigroup C*-algebras, Nekrashevych's self-similar action algebras, and more. We use known groupoid models of these algebras and Exel's theory of tight representations of inverse semigroups to prove uniqueness theorems for these C*-algebras. As applications, we improve on our previous uniqueness theorem for the boundary quotient C*-algebras of right LCM monoids, and we also generalize the uniqueness theorem of Brown, Nagy, and Reznikoff for row-finite higher-rank graphs to the finitely aligned case.
Giulia Gatti, Giacomo Como
We study the Suscectible-Infected-Recovered-Susceptible (SIRS) epidemic model on deterministic networks. For connected but otherwise general interaction patterns and heterogeneous recovery and loss-of-immunity rates, we identify a fundamental parameter R_0 (the basic reproduction number), which fully characterizes the qualitative dynamic behavior of the system. This parameter is the dominant eigenvalue of a rescaled version of the interaction matrix, whose rows are normalized by the corresponding recovery rates. We prove that a transcritical bifurcation occurs as R_0 crosses the threshold value 1. Specifically, we show that, if R_0 does not exceed 1, then the disease-free equilibrium is globally asymptotically stable, whereas, if R_0 is larger than 1, then the disease-free equilibrium is unstable and there exists a unique endemic equilibrium, which is asymptotically stable. As a byproduct of our analysis, we also identify key monotonicity properties of the dependence of the endemic equilibrium on the model parameters (the interaction matrix as well as the recovery rates and the loss-of-immunity rates) and obtain a distributed iterative algorithm for its computation, with provable convergence guarantees. Our results extend existing ones available in the literature for network SIRS epidemic models with rank-one interaction matrices and homogeneous recovery rates (including the single homogeneous population SIRS epidemic model).
Pedro Iván Suárez Navarro
We study complex one-dimensional parameter slices in a three-parameter family of rational maps with two free critical points, obtained by imposing the existence of periodic orbits with prescribed multipliers. Using explicit parametrizations, we explore these slices numerically by analyzing the behavior of the critical orbits and approximating the corresponding connectedness loci. The computations reveal rich parameter space structures closely analogous to those arising in cubic polynomial families, including Mandelbrot-like sets. In addition, we observe regions exhibiting Julia-like structures embedded in parameter space, arising from the interaction between bounded and escaping critical orbits. While the appearance of such structures is well established in polynomial dynamics, it remains comparatively less explored in the setting of rational maps. Our results provide numerical evidence that these parameter slices contain subsets closely related to the period-one and period-two slices of cubic polynomial families. More precisely, certain regions appear to exhibit geometric and dynamical features consistent with embedded copies of these classical parameter spaces. These observations highlight how classical structures from polynomial dynamics can emerge naturally within parameter slices of rational maps.
Rayan Mazouz, Marco Quadrelli, Rashied Amini, Maria Hakuba, Charles Reynerson, David Wiese
This paper presents a modeling and control framework for distributed systems in low Earth orbit, with the scientific objective of obtaining high accuracy estimates of the Earth's Energy Imbalance (EEI). This metric robustly quantifies the difference between the absorbed solar radiation, and the infrared radiation emitted into space. Formally, the EEI represents the globally and annually integrated net radiative flux at the top of the atmosphere. The EEI is directly correlated with physical variations in the Earth system. Obtaining accurate measurements hereof poses a major technological challenge, attributed to calibration errors of current spaceborn radiometers. This work presents a modeling and control framework for in-orbit EEI monitoring and mapping with high precision, using a distributed array of spherical spacecraft. Perturbations and their effects on orbit and attitude are modeled, accounting for spacecraft shape and thermo-optical properties, and are subsequently used to derive optimal control for maintaining an appropriate spin rate. This enables each spacecraft to align closely with the orbital normal with coordinated attitudes across the formation, leading to improved spatiotemporal resolution in EEI estimation.
Edith J. Zhang, James Scott, Qiang Du
A graph reaction--diffusion (RD) equation is a system of differential equations that is defined on the nodes of a graph. Consider a sequence of growing graphs that converges in cut norm to a limiting graphon. We show that the solutions of the sequence of graph RD equations converge in $L^p$ norm, for $p \in [1,\infty]$, to the solution of a limiting nonlocal RD equation, which we call a graphon RD equation. Furthermore, we show a large numbers result for a stochastic particle process that consists of a random walk and a birth-death process on graphs. For a sequence of graphs that converge in cut norm to a limiting graphon, the sequence of stochastic processes converges in probability to the solution of the graphon RD equation.
Douglas R. Frey
The Riccati differential equation is examined in light of its connection to second order linear time varying systems. In that light it becomes the clear generalization for the characteristic equation of linear time invariant systems, and is called the Riccati Characteristic Equation (RCE). Consequently, the RCE becomes the unifying centerpiece for the study of linear systems. Its solutions are considered in complementary pairs that form a continuum based on a primitive pair. Pairs may always be found as purely real solutions, despite the fact that complex conjugate primitive solutions are shown to exist in many cases. Not only is the pairing unique, but the general form of solutions, shown here for the first time, is uniquely compact and encompasses all known solutions, while allowing for all initial conditions. Classical engineering mathematics examples are shown to conform to this approach, which provides new insights to all, especially Floquet theory.
Sébastien Labbé, Peter Selinger
We present a simple construction of hat tilings. The construction can be carried out by superimposing a triangular grid on a specially colored image and reading off the orientation of the tiles. We show that our construction produces valid hat tilings, and conversely, in an appropriate sense that is made precise in the paper, that every valid hat tiling can be obtained in this way.
Casey Crane
We study the emergence of symmetric oscillatory behavior in multi-agent systems where each agent incorporates a continuous memory of its past states and past rates of change, modeled by distributed retarded and neutral delays. The closed-loop dynamics are described by a system of nonlinear neutral functional differential equations (NFDEs) with a high degree of symmetry, arising from a network of homogeneous agents. By reformulating the problem as a fixed point operator equation, we apply equivariant degree theory to establish rigorous conditions for unbounded global Hopf bifurcation from the consensus equilibrium. Our main results provide sufficient conditions for the local asymptotic stability of consensus and for the existence of unbounded global branches of non-constant periodic solutions with prescribed spatio-temporal symmetries. The question of whether such periodic solutions are stable (and therefore constitute periodic multiconsensus) is not resolved by the degree method; we address it in an illustrative example via numerical simulation. The example, which models eight coupled asset markets with momentum traders and fundamentalists, demonstrates how memory-driven instability can generate periodic boom-bust cycles across clusters of assets. The numerical experiments confirm the bifurcation predictions and reveal the stability of the resulting oscillations, illustrating the power of combining symmetric bifurcation theory with targeted numerical analysis.
Exequiel Jun V. Villejo, Aurelio A. de los Reyes, Bryan S. Hernandez
Understanding how biochemical systems settle into stable states, such as how protein concentrations reach equilibrium, is central to explaining cellular behavior and designing synthetic biological circuits. However, existing analytical tools for computing these equilibria, such as COMPILES, are limited by computational bottlenecks and can only be applied to a restricted class of reaction networks. In this work, we introduce CRITERIA (Computing paRametrized posITive EquilibRIA), a new computational framework that makes equilibrium analysis more efficient and broadly applicable. CRITERIA uses a graph-based approach built on elementary flux modes to streamline key steps in the computation. It also changes how the problem is solved by combining subnetworks into a single system before computing equilibria, which avoids complicated symbolic calculations required in previous methods. We demonstrate the usefulness of CRITERIA by studying biologically important systems, including the EnvZ-OmpR signaling pathway and a synthetic CRISPRi circuit. Our approach enables faster and more scalable analysis, allowing researchers to better understand how complex biochemical networks behave over time.
François Gay-Balmaz, Cheng Yang
Hamilton's principle plays a central role in fluid mechanics as a fundamental tool for deriving governing equations, analyzing conservation laws, and designing structure-preserving numerical schemes. However, its classical formulation is restricted to smooth solutions and does not directly accommodate shock discontinuities. Addressing this limitation within a variational framework has long been a challenging issue. In this paper, we develop a variational framework that extends Hamilton's principle to shock solutions in compressible fluid dynamics. For the barotropic Euler equations, we introduce a modified action principle that incorporates additional contributions localized at discontinuities. This allows the Rankine--Hugoniot conditions for mass and momentum to emerge directly from unrestricted variations, without imposing continuity across shocks. The additional term admits a natural interpretation as a dissipation potential, linking the variational structure to energy loss at shocks. We then extend the approach to the full compressible Euler equations. Using a variational formulation of nonequilibrium thermodynamics together with suitable variational and phenomenological constraints, we recover the Rankine--Hugoniot relations for mass, momentum, and energy. This yields a unified variational description of shock dynamics in compressible fluids and highlights a fundamental distinction between barotropic and full compressible models in the treatment of energy and entropy at discontinuities.
Alessandro Morosini, Matea Gjika, Tomaso Poggio, Pierfrancesco Beneventano
Modern neural networks can achieve high accuracy while remaining poorly calibrated, producing confidence estimates that do not match empirical correctness. Yet calibration is often treated as a post-hoc attribute. We take a different perspective: we study calibration as a training-time phenomenon on small vision tasks, and ask whether calibrated solutions can be obtained reliably by intervening on the training procedure. We identify a tight coupling between calibration, curvature, and margins during training of deep networks under multiple gradient-based methods. Empirically, Expected Calibration Error (ECE) closely tracks curvature-based sharpness throughout optimization. Mathematically, we show that both ECE and Gauss--Newton curvature are controlled, up to problem-specific constants, by the same margin-dependent exponential tail functional along the trajectory. Guided by this mechanism, we introduce a margin-aware training objective that explicitly targets robust-margin tails and local smoothness, yielding improved out-of-sample calibration across optimizers without sacrificing accuracy.
Pablo Groisman
Zhang and Strogatz [Phys. Rev. Lett. 127, 194101 (2021)] used high-dimensional simulations to argue that basins of attraction in the Kuramoto ring are octopus-like: their volume scales as $e^{-kq^2}$ in the winding number $q$, nearly all of it concentrated in filamentary tentacles rather than near the attractor. They conjecture this geometry to be common in high dimensions but note that high-dimensional simulations are unreliable. We prove every feature of the octopus picture rigorously for identical oscillators on a ring coupled by any smooth odd function strictly increasing on $(-π,π)$.