One-ended spanning subforests and treeability of groups

2026-03-19T17:57:28Z

We show that several new classes of groups are measure strongly treeable. In particular, finitely generated groups admitting planar Cayley graphs, elementarily free groups, and the group of isometries of the hyperbolic plane and all its closed subgroups. This provides the first examples of one-ended nonamenable groups which are measure strongly treeable. In higher dimensions, we also prove a dichotomy that the fundamental group of a closed aspherical 3-manifold is either amenable or has strong ergodic dimension 2. Our main technical tool is a method for finding measurable treeings of Borel planar graphs by constructing one-ended spanning subforests in their planar dual. Our techniques for constructing one-ended spanning subforests also give a complete classification of the locally finite pmp graphs which admit Borel a.e. one-ended spanning subforests.

Hamiltonian Reduction in Affine Principal Bundles

2026-03-19T16:53:03Z

This paper presents a Hamiltonian reduction procedure for field theories over affine principal bundles introducing a canonical identification to describe the reduced multisymplectic space without the introduction of a connection. The main goal is to provide a Hamiltonian analogue of the Lagrangian reduction theory developed in M. Castrillón López, P. M. Chacón, and P. L. García. J. Geom. Mech., 5(4):399-414, 2013. The core of this work lies in the derivation of this canonical identification, the reduced Hamilton-Cartan equations, and a reduced covariant bracket that describes the dynamics. Finally, this theoretical framework is illustrated with a fundamental example: molecular strands.

Parametric Spectral Submanifolds across Hopf Bifurcations with Applications to Fluid Dynamics

2026-03-19T16:07:01Z

We investigate the persistence and regularity of spectral submanifolds (SSMs) in high-dimensional parametric dynamical systems undergoing a Hopf bifurcation. By analyzing how resonances in the linearized spectrum near bifurcation points limit the existence and smoothness of SSMs, a phenomenon that has been mostly overlooked, we show that low-order Taylor coefficients of the SSM expansion and the associated reduced dynamics persist smoothly through the bifurcation. This analysis generalizes to any local bifurcation and provides a clear estimate of the parameter ranges over which a parametric SSM model can be justified, thus illustrating how globally the model can be extended despite the presence of resonances near criticality. We demonstrate these findings on multiple examples, including a data-driven SSM approach to the lid-driven cavity flow. For that problem, we construct a parametric SSM-reduced model that accurately captures the full transition to periodic dynamics and the critical Reynolds number. These results provide a mathematical foundation for robust data- and equation-driven model reduction of fluid flows across bifurcations, enabling an accurate prediction of nonlinear dynamics across critical parameter regimes.

Finite-sample bounds for multi-output system identification

2026-03-19T15:59:21Z

This paper presents uniform-in-time finite-sample bounds for regularized linear regression with vector-valued outputs and conditionally zero-mean subgaussian noise. By revisiting classical self-normalized martingale arguments, we obtain bounds that apply directly to multi-output regression, unlike most of the prior work. Compared to the state of the art, the new results are more general and yield tighter bounds, even for scalar-valued outputs. The mild assumptions we use allow for unknown dependencies between regressors and past noise terms, typically induced by system dynamics or feedback mechanisms. Therefore, these novel finite-sample bounds can be applied to many affine-in-parameter system identification problems, including the identification of a linear time-invariant system from full-state measurements. These new results may lead to significant improvements in stochastic learning-based controllers for safety-critical applications.

Enhanced stability of pressure relief valves: mechanistic design and analysis

2026-03-19T15:19:59Z

Pressure-relief valves, often the critical last line of defence in process engineering, are known to be susceptible to valve chatter. Such behaviour has been shown to arise from a flutter instability, or Hopf bifurcation, associated with the fundamental, quarter-wave acoustic mode of their inlet piping. Here, a novel design concept is proposed and analyzed for eliminating this instability. The concept involves using an oversized valve with reduced lift and adopting a discharge characteristic that enhances the blow-down effect, so that the valve opens immediately to its upper lift limit upon reaching set pressure. The concept is demonstrated numerically using an updated version of a 1D fluid pipe dynamics mathematical model solved using a Lax-Wendroff method. Stability properties are analysed using dynamical systems theory, applied to an improved reduced-order modal model. It is shown how the valve settles to a stable so-called pseudo equilibrium, in contact with the upper stop, provided the coefficient of restitution of is not too large. Such stable operation is reached despite the equivalent regular valve being unstable to the quarter-wave Hopf bifurcation. Parameter studies using the reduced-order model demonstrate the extent of the enhanced stability effect, which is confirmed using the full model for the case of gas service valves.

On a family of singular potentials: Parameter dependence of thermodynamic characteristics

2026-03-19T15:05:42Z

We consider the family of singular potentials $ψ_c = 2 \log(|\sin(π(x-c))|)$, $c\in \mathbb{T}$ over the doubling map and we examine the dependence of several thermodynamic and multifractal characteristics on the position of the singularity $c$. This includes the pressure functions $\mathcal P(t ψ_c)$, the Birkhoff spectrum of $ψ_c$, and the $L^q$ spectrum of the associated equilibrium measure $μ_c$. For every $c \in \mathbb{T}$, it is known that $μ_c$ is given by the diffraction measure of a generalized Thue--Morse sequence, with the classical Thue--Morse measure arising for $c = 0$. If $t\geqslant 0$, we show that $c \mapsto \mathcal{P}(tψ_c)$ is continuous in $c$. If $t<0$, we prove that the function $c \mapsto \mathcal{P}(tψ_c)$ is lower semicontinuous but not continuous. In this case, we show that the continuity points are precisely those values $c$ such that $\mathcal{P}(tψ_c) = \infty$, which form a residual set of vanishing Hausdorff dimension in $\mathbb{T}$. We obtain similar statements about the parameter (semi-)continuity of the $L^q$ spectrum and the Birkhoff spectrum.

Joint ergodicity - 40 years on

2026-03-19T14:39:25Z

Recent years have seen dramatic progress in the study of joint ergodicity, i.e. a scenario in which a multiple ergodic average converges in norm to the product of integrals of individual functions. This survey, accompanying the talk given by the author in the Perspectives on Ergodic Theory and its Interactions conference to celebrate Vitaly Bergelson's 75th birthday, aims to summarize these recent advances, outline crucial new tools, present various open problems, and highlight the main challenges currently faced in the study of multiple ergodic averages.

Watanabe-Strogatz Invariants in the Liouvillian Dynamics of Coupled Phase Oscillators via the Koopman Framework

2026-03-19T11:57:53Z

In dynamical systems, invariants, i.e., constants of motion conserved along the trajectory, play important roles in characterizing the system's dynamical behavior. Recent applications of the Koopman operator framework to nonlinear dynamical systems have provided new insights into the invariants. For a certain class of globally coupled phase oscillators, which serve as models for various synchronization phenomena, Watanabe and Strogatz proved the existence of N-3 invariants in N oscillator systems. In this study, we derive these invariants from an operator-theoretic perspective by exploiting the relation between Liouvillian (Perron-Frobenius) and Koopman descriptions of the dynamics. Exploiting a simple multiplicative property of functions under the action of the Liouvillian and Koopman operators, we explicitly construct a family of functions whose ratios yield the invariants of the underlying dynamics. Our analysis successfully reproduces the full set of N-3 invariants known in Watanabe-Strogatz theory, and offers an alternative spectral perspective. We demonstrate this approach for a well-studied class of phase models, including the Ermentrout-Kopell, pairwise Kuramoto, and higher-order Kuramoto models.

Trajectory Stability and Signature Diagnostics for Comet-Based Interstellar Navigation

2026-03-19T10:42:10Z

Interstellar objects (ISOs) motivate a coupled mission-design and inference question relevant to spacecraft dynamics and control in extreme environments: if volatile-rich, rotating comet-like bodies were used for sustained deep-space navigation by exploiting pre-existing hyperbolic motion and in-situ propellant, what stability requirements arise under non-gravitational forcing, and what astrometric signatures might distinguish active stabilization from uncontrolled natural dynamics? We develop a stability-theoretic framework for trajectory tracking with jet-actuated correction, and show that high-speed transit geometry -- including debris-belt avoidance and encounter phasing -- tightly constrains feasible trajectories, making long-horizon tracking stability mission-critical. We model tracking residuals as the balance of disturbances and corrective action, and derive stability conditions across four levels: disturbance-energy stability, outer-loop contraction, actuator-memory stability, and rotation-mediated (Floquet) stability. The analysis implies residual diagnostics that can motivate empirical tests: under comparable forcing, effective stabilization is expected to strengthen short-horizon error correction, reduce event-conditioned persistence and variance clustering, regularize standardized innovations, and yield bounded post-shock recovery. More broadly, the framework provides a reference for deep-space guidance and control under nonlinear, multi-field disturbances and for planetary-defense concepts involving attitude shaping or impulsive kinetic impact.

Assessing performance tradeoffs in hierarchical organizations using a diffusive coupling model

2026-03-19T10:00:14Z

We study a continuous-time dynamical system of nodes diffusively coupled over a hierarchical network to examine the efficiency and performance tradeoffs that organizations, teams, and command and control units face while achieving coordination and sharing information across layers. Specifically, after defining a network structure that captures real-world features of hierarchical organizations, we use linear systems theory and perturbation theory to characterize the rate of convergence to a consensus state, and how effectively information can propagate through the network, depending on the breadth of the organization and the strength of inter-layer communication. Interestingly, our analytical insights highlight a fundamental performance tradeoff. Namely, networks that favor fast coordination will have decreased ability to share information that is generated in the lower layers of the organization and is to be passed up the hierarchy. Numerical results validate and extend our theoretical results.

A Julia-Fatou Theory via Random Systems with Complete Connections

2026-03-19T09:27:28Z

We develop a Julia-Fatou theory for random dynamical systems of continuous self-maps on a compact metric space, driven by random systems with complete connections (RSCCs). This framework allows the selection rule to depend on the evolving state and, in general, on the entire past, going beyond the Markovian graph directed Markov system setting. For each state we define Julia, Fatou, and kernel Julia sets via equicontinuity of admissible composition families, and we introduce a pathwise and skew product viewpoint. Under natural compactness and continuity assumptions on the RSCC, we study the associated averaged dynamics on the product space and prove Cooperation Principle I: if the kernel Julia set is empty at every state and the admissible maps are open, then the iterates of the adjoint transition operator are equicontinuous on the whole space of probability measures, and along almost every admissible path the fiberwise Julia set has zero mass for any given finite measure. We further identify a new phenomenon specific to RSCCs, namely emptiness jumps of kernel Julia sets along admissible state trajectories, and provide criteria excluding such jumps, including discreteness of the state space and a propagation mechanism under phi-irreducibility. Several examples, motivated by reinforcement and feedback mechanisms, illustrate both the jump phenomenon and the applicability of the Cooperation Principle I in non-Markovian settings.

Birkhoff normal forms, Dirac brackets and symplectic reduction

2026-03-19T09:12:48Z

Dirac brackets are widely used to study constrained Hamiltonian dynamics. In this paper we develop a Dirac-bracket approach to normal forms on momentum levels and relate it to symplectic reduction in the cases where reduction yields a (stratified) symplectic quotient. We consider a proper Hamiltonian $G$-action on a symplectic manifold $(M,ω)$ with an equivariant momentum map $J$. We fix $μ\in \mathfrak g^*$and work on $J^{-1}(μ)$. For $G$-invariant Hamiltonians whose induced vector field on $J^{-1}(μ)$ is tangent to a local $G_μ$-slice, we show that the induced evolution on $J^{-1}(μ)$ coincides with that defined by the Dirac bracket on a local second-class slice, and descends to the corresponding symplectic stratum of $J^{-1}(μ)/G_μ$. As a main application we study Birkhoff normal forms near a relative equilibrium. When the quadratic part of a symmetric Hamiltonian is tangent to a local $G_μ$-slice, a Birkhoff normal form can be constructed entirely on the manifold $J^{-1}(μ)$, and it descends to a Birkhoff normal form for the reduced dynamics on the corresponding stratum, even when the reduced space is singular. We show that for a class of simple mechanical systems this condition holds automatically at a relative equilibrium. We illustrate the method on the double spherical pendulum. Finally, we relate our results to Moser's constrained dynamics by identifying Moser's constrained vector field with the Dirac Hamiltonian vector field. We show that, if the reduced Hamiltonian is near-integrable on a stratum, then its pullback to the symplectic slice is near-integrable with respect to the Dirac bracket, and vice versa. In particular, this provides a practical route to KAM-type results for the constrained dynamics.

Periodicity and Rotation Number for Random Circle Homeomorphisms

2026-03-19T08:37:32Z

We study discrete-time random dynamical systems where each fibre map is an orientation-preserving homeomorphism of the circle. We prove that the existence of a random periodic cycle with period at least two implies that the random rotation number is rational almost surely. Moreover, in clear contrast with the deterministic setting, we demonstrate that a common fixed point for the fibre maps does not imply that the random rotation number is an integer. Conversely, we show that if the mean random rotation number is an integer, then the fibre maps have a fixed point with positive probability.

Nearly geodesic surfaces are filling

2026-03-19T03:32:43Z

Let $M$ be a closed hyperbolic $3$-manifold. A homotopy class $[S]$ of surfaces in $M$ is filling if any representative cuts $M$ into components contractible in $M$. We prove that there exist $ε_0, g_0>0$ such that every homotopy class of $(1+ε)$-quasi-Fuchsian surfaces with $0<ε\leq ε_0$ or totally geodesic surfaces of genus $\geq g_0$ in $M$ is filling. As a corollary, except for at most finitely many totally geodesic surfaces, embedded incompressible quasi-Fuchsian surfaces in $M$ have constants bounded below by $1+ε_0$. This also gives a gap theorem for embedded minimal surfaces. Each of these surfaces separates any pair of distinct points at the sphere of infinity. Crucial tools include the rigidity results of Mozes-Shah, Ratner, and Shah. This work is inspired by a question of Wu and Xue whether random geodesics on random hyperbolic surfaces are filling.

Halfway between Heaven and Hell

2026-03-19T02:50:17Z

We pose several questions for the classical N-body problem inspired by connections between the virial equation and the Jacobi-Maupertuis formulationof mechanics. We answer some.