2025-07-08 | | Total: 34
This paper introduces a novel model-based adaptive shared control to allow for the identification and design challenge for shared-control systems, in which humans and automation share control tasks. The main challenge is the adaptive behavior of the human in such shared control interactions. Consequently, merely identifying human behavior without considering automation is insufficient and often leads to inadequate automation design. Therefore, this paper proposes a novel solution involving online identification of the human and the adaptation of shared control using Linear-Quadratic differential games. The effectiveness of the proposed online adaptation is analyzed in simulations and compared with a non-adaptive shared control from the state of the art. Finally, the proposed approach is tested through human-in-the-loop experiments, highlighting its suitability for real-time applications.
Epidemic forecasting tools embrace the stochasticity and heterogeneity of disease spread to predict the growth and size of outbreaks. Conceptually, stochasticity and heterogeneity are often modeled as branching processes or as percolation on contact networks. Mathematically, probability generating functions provide a flexible and efficient tool to describe these models and quickly produce forecasts. While their predictions are probabilistic-i.e., distributions of outcome-they depend deterministically on the input distribution of transmission statistics and/or contact structure. Since these inputs can be noisy data or models of high dimension, traditional sensitivity analyses are computationally prohibitive and are therefore rarely used. Here, we use statistical condition estimation to measure the sensitivity of stochastic polynomials representing noisy generating functions. In doing so, we can separate the stochasticity of their forecasts from potential noise in their input. For standard epidemic models, we find that predictions are most sensitive at the critical epidemic threshold (basic reproduction number R0=1) only if the transmission is sufficiently homogeneous (dispersion parameter k>0.3). Surprisingly, in heterogeneous systems (k≤0.3), the sensitivity is highest for values of R0>1. We expect our methods will improve the transparency and applicability of the growing utility of probability generating functions as epidemic forecasting tools.
We adopt a continuous-time dynamical system approach to study the evolution of the state of a game driven by the willingness to reduce the total dissatisfaction of the coalitions about their payment. Inspired by the work of Grabisch and Sudhölter about core stability, we define a vector field on the set of preimputations from which is defined, for any preimputation, a cohesion curve describing the evolution of the state. We prove that for each preimputation, there exists a unique cohesion curve. Subsequently, we show that, for the cohesion flow of a balanced game, the core is the unique minimal attractor of the flow, the realm of which is the whole preimputation set. These results improve our understanding of the ubiquity of the core in the study of cooperative games with transferable utility.
Given a countable group Γ, letting KΓ denote the class of {\pmp} actions of Γ, we study the question of when the model companion of KΓ exists. Berenstein, Henson, and Ibarlucía showed that the model companion of KΓ exists when Γ is a nonabelian free group on a countable number of generators. We significantly generalize their result by showing that the model companion of KΓ exists whenever Γ is an approximately treeable group. The class of approximately treeable groups contain the class of treeable groups as well as the class of universally free groups, that is, the class of groups with the same universal theory as nonabelian free groups. We prove this result using an open mapping characterization of when the model companion exists; moreover, this open mapping characterization provides concrete, ergodic-theoretic axioms for the model companion when it exists. We show how to simplify these axioms in the case of treeable groups, providing an alternate axiomatization for the model companion in the case of the free group, which was first axiomatized by Berenstein, Henson, and Ibarlucía using techniques from model-theoretic stability theory. Along the way, we prove a purely ergodic-theoretic result of independent interest, namely that finitely generated universally free groups (also known as limit groups) have Kechris' property MD. We also show that for groups with Kechris' EMD property, the profinite completion action is existentially closed, and for groups without property (T), the generic existentially closed action is weakly mixing, generalizing results of Berenstein, Henson, and Ibarlucía for the case of nonabelian free groups.
In this study, we estimate parameters in stochastic oscillatory systems by developing a novel cost function. This function incorporates power spectral density, analytic signal, and position crossings, each weighted to capture distinct oscillatory characteristics such as amplitude, frequency, and shape. By minimizing this cost via differential evolution, we estimate parameters in two stochastic systems given measured datasets. We validate this procedure by recovering known parameters from a test dataset. We then apply it to a biophysical model for auditory mechanics. Thus, we establish a general methodology for fitting stochastic oscillatory systems.
The positive rates conjecture states that a one-dimensional probabilistic cellular automaton (PCA) with strictly positive transition rates must be ergodic. The conjecture has been refuted by Gács, whose counterexample is a cellular automaton that is non-ergodic under uniform random noise with sufficiently small rate. For all known counterexamples, non-ergodicity has been proved under small enough rates. Conversely, all cellular automata are ergodic with sufficiently high-rate noise. No other types of phase transitions of ergodicity are known, and the behavior of known counterexamples under intermediate noise rates is unknown. We present an example of a cellular automaton with two phase transitions. Using Gács's result as a black box, we construct a cellular automaton that is ergodic under small noise rates, non-ergodic for slightly higher rates, and again ergodic for rates close to 1.
In this note, we show that there exists an autoequivalence of positive categorical entropy on the derived category of certain bielliptic surfaces. This gives the first example of a surface admitting positive categorical entropy in the absence of both positive topological entropy and any spherical objects. Moreover, we prove a Gromov-Yomdin type equality for the categorical entropy of autoequivalences on bielliptic surfaces and give a counterexample of this equality on Enriques surfaces.
We derive the divergence-kernel formula for the scores of random dynamical systems, then formally pass to the continuous-time limit of SDEs. Our formula works for multiplicative noise systems over any period of time; it does not require hyperbolicity. We also consider several special cases: (1) for additive noise, we give a pure kernel formula; (2) for short-time, we give a pure divergence formula; (3) we give a formula which does not involve scores of the initial distribution. Based on the new formula, we derive a pathwise Monte-Carlo algorithm for scores, and demonstrate it on the 40-dimensional Lorenz 96 system with multiplicative noise.
We study the singular values and Lyapunov exponents of non-stationary random matrix products subject to small, absolutely continuous, additive noise. Consider a fixed sequence of matrices of bounded norm. Independently perturb the matrices by additive noise distributed according to Lebesgue measure on matrices with norm less than ϵ. Then the gaps between the log of the singular values of the random product of n of these matrices is of order ϵ2n in expectation, and almost surely the gap grows like ϵ2n.
Traffic flow modeling spans a wide range of mathematical approaches, from microscopic descriptions of individual vehicle dynamics to macroscopic models based on aggregate quantities. A fundamental challenge in macroscopic modeling lies in the closure relations, particularly in the specification of a traffic hesitation function in second-order models like Aw-Rascle-Zhang. In this work, we propose a third-order hyperbolic traffic model in which the hesitation evolves as a driver-dependent dynamic quantity. Starting from a microscopic formulation, we relax the standard assumption by introducing an evolution law for the hesitation. This extension allows to incorporate hysteresis effects, modeling the fact that drivers respond differently when accelerating or decelerating, even under identical local traffic conditions. Furthermore, various relaxation terms are introduced. These allow us to establish relations to the Aw-Rascle-Zhang model and other traffic flow models.
We study Borel equivalence relations equipped with a uniformly Borel family of Polish topologies on each equivalence class, and more generally, standard Borel groupoids equipped with such a family of topologies on each connected component. Such "componentwise Polish topologies" capture precisely the topological information determined by the Borel structure of a Polish group action, by the Becker--Kechris theorem. We prove that conversely, every abstract such Borel componentwise Polish groupoid obeying suitable axioms admits a Borel equivalence of groupoids to a global open Polish groupoid. Together with known results, this implies that every such groupoid is Borel equivalent to an action groupoid of a Polish group action; in particular, the induced equivalence relations are Borel bireducible. Our results are also valid for Borel groupoids with componentwise quasi-Polish topologies; and under stronger uniformity assumptions, we show that such groupoids in fact themselves admit global quasi-Polish topologies. As a byproduct, we also generalize several standard tools for Polish groups and their actions to the setting of componentwise quasi-Polish groupoids, including Vaught transforms, Effros's theorem on orbits, and the open mapping theorem.
In this paper we establish a connection between Gromov-Witten invariants and the number of degenerate fixed points of Hamiltonian diffeomorphisms on a closed rational symplectic manifold via deformed Hamiltonian spectral invariants. We prove a new cuplength estimate, in particular including Arnol'd conjecture over complex numbers, for fixed points of Hamiltonian diffeomorphisms on closed rational symplectic manifolds admitting nonzero Gromov-Witten invariants with two point insertions. We extend Schwarz's quantum cuplength to the notion of deformed quantum cuplength for symplectic periods and employ it to estimate the number of fixed points of Hamiltonian diffeomorphisms on monotone symplectic manifolds with nonzero mixed Gromov-Witten invariants. We generalize Givental's symplectic fixed point theorem for toric manifolds to closed rational symplectic manifolds admitting nonzero Gromov-Witten invariants with fixed marked points and one point insertion.
In twisted Diophantine approximation, for a fixed m×n matrix α one is interested in sets of vectors β∈Rm such that the system of affine forms Rn∋q↦αq+β∈Rm satisfies some given Diophantine condition. In this paper we introduce the notion of manifolds which are of α-twisted Khintchine type for convergence or divergence. We provide sufficient conditions under which nondegenerate analytic manifolds exhibit this twisted Khintchine-type behaviour. Furthermore, we investigate the intersection properties of the sets of α-twisted badly approximable and well approximable vectors with nondegenerate manifolds.
In this paper, we provide the maximal boundedness range (up to end-points) for the Bilinear Hilbert-Carleson operator along curves in the (purely) non-zero curvature setting. More precisely, we show that the operator BHC[→a,→α](f1,f2)(x):=supλ∈R|p.v.∫Rf1(x−a1tα1)f2(x−a2tα2)eiλa3tα3dtt| obeys the bounds ‖ whenever \vec{a}=(a_1,a_2,a_3),\,\vec{\alpha}=(\alpha_1,\alpha_2,\alpha_3)\in (\mathbb{R}\setminus\{0\})^3 with \vec{\alpha} having pairwise distinct coordinates and for any Hölder range \frac{1}{p_1}+\frac{1}{p_2}=\frac{1}{r} with 1<p_1,p_2<\infty and \frac{1}{2}<r<\infty. This result is achieved via the Rank II LGC method introduced in arXiv:2308.10706.
We summarize recent progress on the theory and applications of structural identifiability of compartmental models. On the applications side, we review identifiability analyses undertaken recently for models arising in epidemiology, oncology, and other areas; and we summarize common approaches for handling models that are unidentifiable. We also highlight recent theoretical and algorithmic results on how to reparametrize unidentifiable models and, in the context of linear compartmental models, how to predict identifiability properties directly from the model structure. Finally, we highlight future research directions.
The design of transfers to periodic orbits in the Earth--Moon system has regained prominence with NASA's Artemis and CNSA's Chang'e programs. This work addresses the problem of linking ballistic capture trajectories - exploiting multi-body dynamics for temporary lunar orbit insertion - with bounded periodic motion described in the circular restricted three-body problem (CR3BP). A unified framework is developed for optimizing bi-impulsive transfers to families of periodic orbits via a high-order polynomial expansion of the CR3BP dynamics. That same expansion underlies a continuous 'abacus' parameterization of orbit families, enabling rapid targeting and analytic sensitivity. Transfers to planar periodic-orbit families (Lyapunov L1 and L2, and distant retrograde orbits) are addressed first, followed by extension to spatial families, such as butterfly and halo L1/L2 orbits, with an emphasis towards Near-Rectilinear Halo Orbits (NRHOs). Numerical results demonstrate low-cost solutions and validate the method's adaptability for the design of lunar missions. The optimized trajectories can inform an established low-energy transfer database, enriching it with detailed cost profiles that reflect both transfer feasibility and underlying dynamical relationships to specific periodic-orbit families. Finally, the proposed transfers provide reliable initial guesses for rapid refinement, readily adaptable for further optimization across mission-specific needs.
There are insights of chaotic properties in economic systems and data. To prove the existence of chaotic dynamics, the establishment of a deterministic model is mandatory. A global modelling tool (GPoM) is used to search for mathematical models of equations from economic data: unemployment, inflation and nominal exchange rate over 30 years. A system of three differential equations is chosen as a model, whose solution is a chaotic attractor in \mathbb{R}^3. The model extracted from the data is not able to fit them, but it provides equations linking those multiple economic variables and reveals significant impact of exchange rate on unemployment and inflation evolution. The topological characterisation of the chaotic attractor solution exhibits an additional branch in its first return map to the Poincaré section. Consequences of this particular structure are analysed and interpreted economically.
We study periodic orbits in a time-dependent two-center Stark-Zeeman system, which models the motion of a charged particle attracted by two fixed Coulomb centers and subject to external magnetic and time-dependent electric fields. A motivating example is provided by the bicircular restricted four-body problem which investigates the motion of a massless particle, influenced by the Newtonian gravitational attraction of the earth, moon and periodically moving sun. Due to singularities at the Coulomb centers, standard local variational approaches fail. To overcome this, we employ the Birkhoff regularization map and construct a non-local regularized action functional on a blown-up loop space, following a recent method due to Barutello-Ortega-Vernizi \cite{BOV21}. We show that the critical points of this regularized action functional satisfy a certain second-order delay differential equation and correspond to periodic solutions of the original system, including collisions. Additionally, we examine the symmetric structure of the regularized functional.
Consider a dominant rational self-map f on a smooth projective variety X defined over \overline{\mathbb{Q}}. We prove that \begin{align} \lim_{n \to \infty} \frac{h_{Y}(f^{n}(x))}{h_{H}(f^{n}(x)) } = 0, \end{align} where h_{Y} is a height associated with a closed subscheme Y \subset X of codimension c, h_{H} is any ample height on X, and x \in X(\overline{\mathbb{Q}}) is a point with well-defined orbit, under the following assumptions: (1) either f is a morphism, or Y is pure dimensional, regularly embedded in X, and contained in the locus over which all iterates of f are finite; (2) the orbit of x is generic; (3) d_{c}(f)^{1/c} < \alpha_{f}(x), where d_{c}(f) is the c-th dynamical degree of f and \alpha_{f}(x) is the arithmetic degree of x.
A novel approach to moment closure problem is used to derive low dimensional laws for the dynamics of the moments of the membrane potential distribution in a population of spiking neurons. Using spectral expansion of the density equation we derive the recursive and nonlinear relation between the moments, such as the mean potential, and the population firing rates. The self-consistent dynamics found relies on the dominant eigenvalues of the evolution operator, tightly related to the moments of the single-neuron inter-spike interval distribution. Contrary to previous attempts our system can be applied both in noise- and drift-dominated regime, and both for weakly and strongly coupled population. We demonstrate the applicability of the theory for the case of a network of leaky integrate-and-fire neurons deriving closed analytical expressions. Truncating the mode decomposition to the first few more relevant moments, results to effectively describe the population dynamics both out-of-equilibrium and in response to strongly-varying inputs.
We consider a class of nonuniformly hyperbolic dynamical systems with a first return time satisfying a central limit theorem (CLT) with nonstandard normalisation (n\log n)^{1/2}. For such systems (both maps and flows) we show that it automatically follows that the functional central limit theorem or weak invariance principle (WIP) with normalisation (n\log n)^{1/2} holds for Hölder observables. Our approach streamlines certain arguments in the literature. Applications include various examples from billiards, geodesic flows and intermittent dynamical systems. In this way, we unify existing results as well as obtaining new results. In particular, we deduce the WIP with nonstandard normalisation for Bunimovich stadia as an immediate consequence of the corresponding CLT proved by Bálint & Gouëzel.
Each continuous action of a countably infinite discrete group \Gamma on a compact metrizable space X induces a continuous action of \Gamma on the space M(X) of Borel probability measures on X. We compare the local entropy theory for these two actions, and describe the relation between their IE-tuples. Several other types of tuples are also studied. Our main tool is a new combinatorial lemma. We also give an application of the combinatorial lemma to the local theory of Banach spaces.
One of the major breakthroughs in science of the last (20th) century was building a bridge between the worlds of stochastic (random) systems and deterministic (dynamical) systems. It was started by the celebrated 1958 paper by A.N.Kolmogorov \cite{Kolmo}, who called this new theory (and actually a new way of thinking about deterministic systems) stochasticity of dynamical systems. Later, this name was essentially replaced by a short (sexier but more vague ``chaos theory"). Kolmogorov's discovery demonstrated that the time evolution of deterministic systems could be indistinguishable from the evolution of purely random (stochastic) systems. Moreover, it has been later established that typical deterministic systems are chaotic. However, as well as stochastic systems, which could be more or less random (from random processes with independent values to random processes with long memory) , chaotic dynamical systems could be strongly or weakly chaotic. Actually, the majority of chaotic systems are weakly chaotic, especially those that are relevant models for various real-world processes. Naturally, the theory of weakly chaotic systems is less developed because it deals with more complicated problems than the studies of strongly chaotic systems. We present here a brief review of this theory, including recently published and some new results.
Recently, Li, Li and Zhang introduced the topological pressure for correspondences and measure-theoretic entropy for transition probability kernels. Building thereon, they established a variational principle for correspondences satisfying the forward expansiveness condition. In this work, we extend this research by deriving two types of variational principles: (i) For a class of correspondences, the topological pressure equals the supremum of the measure-theoretic pressures over extreme points of invariant measures. (ii) An abstract variational principle holds for general correspondences without requiring forward expansiveness. Furthermore, the differentiability and equilibrium states of the topological pressure for correspondences are also investigated.
We propose a network behavioral-feedback Susceptible-Infected-Recovered (SIR) epidemic model in which the interaction matrix describing the infection rates across subpopulations depends in feedback on the current epidemic state. This model captures both heterogeneities in individuals mixing, contact frequency, aptitude to contract and spread the infection, and endogenous behavioral responses such as voluntary social distancing and the adoption of self-protective measures. We study the stability of the equilibria and illustrate through several examples how the shape of the stability region depends on the structure of the interaction matrix, providing insights for the design of effective control strategies. We then analyze the transient behavior of the dynamics, showing that, for a special class of rank-1 interaction matrices, there always exists an aggregate infection curve that exhibits a unimodal behavior, expanding the results on the unimodality of infection curve known in the literature of epidemic models and paving the way for future control applications.