http://arxiv.org/api/uTOo+gXouGBNvS458txNuyvq7tU 2025-05-17T00:00:00-04:00 39377 330 15 http://arxiv.org/abs/2504.15807v1 2025-04-22T11:43:28Z 2025-04-22T11:43:28Z

Background: High HIV transmission persists in many U.S. jurisdictions despite prevention efforts. HIV self-testing offers a means to overcome barriers associated with routine laboratory-based testing but carries a risk of increasing incidence if replacement effects reduce overall test sensitivity. Methods: A linearized four-compartment HIV transmission model was applied to 38 Ending the HIV Epidemic (EHE) priority jurisdictions. A threshold testing level was defined to counterbalance potential negative effects from reduced self-test sensitivity. Both the percentage of self-tests and the overall testing rate were varied to quantify 10-year changes in HIV incidence. Results: Substantial heterogeneity emerged across districts. Incidence reductions exceeded 5 percent in some areas, while others saw only minor effects. Jurisdictions with higher baseline testing displayed an elevated risk of increased incidence from substitution of laboratory-based testing with self-tests. In contrast, a derived Awareness Reproduction Number, capturing transmissions attributable to undiagnosed infection, strongly correlated with the magnitude of possible incidence declines. Conclusions: Local epidemiological context is pivotal in determining the risks and benefits of HIV self-testing. Jurisdictions with robust testing systems may face a greater likelihood of inadvertently raising incidence, whereas those with a high number of individuals stand to achieve notable transmission reductions. Tailoring self-testing strategies based on jurisdiction-specific conditions can maximize public health benefits while minimizing unintended consequences.

Alex Viguerie http://arxiv.org/abs/2504.15750v1 2025-04-22T09:53:09Z 2025-04-22T09:53:09Z

A sufficient condition for the Gibbs states of a shift-invariant specification on a one-dimensional lattice to be the $g$-chains for some continuous function $g$ is obtained. This is then used to derive criteria under which there is a unique Gibbs state, which is also shift-invariant and Bernoulli.

Paul Hulse 16 pages, 0 figures http://arxiv.org/abs/2312.08286v3 2025-04-22T04:46:48Z 2023-12-13T17:01:19Z

We consider evolutionary dynamics for population games in which players have a continuum of strategies at their disposal. Models in this setting amount to infinite-dimensional differential equations evolving on the manifold of probability measures. We generalize dissipativity theory for evolutionary games from finite to infinite strategy sets that are compact metric spaces, and derive sufficient conditions for the stability of Nash equilibria under the infinite-dimensional dynamics. The resulting analysis is applicable to a broad class of evolutionary games, and is modular in the sense that the pertinent conditions on the dynamics and the game's payoff structure can be verified independently. By specializing our theory to the class of monotone games, we recover as special cases existing stability results for the Brown-von Neumann-Nash and impartial pairwise comparison dynamics. We also extend our theory to models with dynamic payoffs, further broadening the applicability of our framework. Throughout our analyses, we identify and elaborate on new technical conditions that are key in extending dissipativity theory from finite to infinite strategy sets, such as compactness of the set of Nash equilibria and evolution of dynamic payoffs within a compact positively invariant set. We illustrate our theory using a variety of case studies, including a novel, continuous variant of the war of attrition game.

Brendon G. Anderson Jingqi Li Somayeh Sojoudi Murat Arcak http://arxiv.org/abs/2410.11249v2 2025-04-22T04:17:59Z 2024-10-15T04:11:51Z

We investigate the persistency of quasi-periodic solutions to multi-dimensional nonlinear Schr\"{o}dinger equations (NLS) involving Gevrey smooth nonlinearity with an arbitrary Gevrey index $\alpha>1$. By applying the Craig-Wayne-Bourgain (CWB) method, we establish the existence of quasi-periodic solutions that are Gevrey smooth with the same Gevrey index as the nonlinearity.

Zuhong You Xiaoping Yuan http://arxiv.org/abs/2502.08751v4 2025-04-22T01:51:49Z 2025-02-12T19:49:14Z

In this paper, we establish the quasi-compactness of the transfer operator associated with skew product systems that are semi-conjugate to piecewise convex maps with a countably infinite number of branches. These non-invertible skew products admit discontinuities, with the critical set confined to a countable collection of fibers. Furthermore, we demonstrate that such systems possess an invariant measure whose disintegration along the fibers exhibits bounded variation, a concept introduced and developed in this work.

Rafael Lucena In this version, readability has been enhanced and typographical errors have been fixed. We have also corrected some citations. arXiv admin note: text overlap with arXiv:2311.05577 http://arxiv.org/abs/2504.15451v1 2025-04-21T21:35:50Z 2025-04-21T21:35:50Z

Denote by $\bm{\mu}$ the maximal entropy measure for the shift \(\sigma\) acting on $\Omega = \{0, 1\}^\mathbb{N}$, by $\ruelle$ the associated Ruelle operator and by $\koopman = \ruelle^{\dagger}$ the Koopman operator, both acting on $\lp{2}(\bm{\mu})$. Using a diagonal representation $\pi$, the Ruelle-Koopman pair can be used for defining a dynamical Dirac operator $\mathcal{D},$ as in \cite{BL}. $\mathcal{D}$ plays the role of a derivative. In \cite{lpspec}, the notion of a spectral triple was generalized to \(\lp{p}\)-operator algebras; in consonance, here, we generalize results for $\mathcal{D}$ to results for a Dirac operator $\mathcal{D}_p$ , and the associated Connes distance $d_p$, to this new \(\lp{p}\) context, \(p \geq 1\). Given the states $\eta, \xi$: $d_{p}(\eta, \xi) \defn \sup \{ \,|\eta(a) - \xi(a) | where a \in \mathcal{A} and \norm{\left[\mathcal{D}_p,\pi(a)\right]} \leq 1\}$. The operator $M_f$ acts on $L^p (\mu).$ We explore the relationship of $\mathcal{D}_p$ with dynamics, in particular with $f \circ \sigma - f$, the discrete-time derivative of a continuous $f:\Omega \to \mathbb{R}$. Take $p,p^{\prime}>0$ satisfying $\frac{1}{p} + \frac{1}{ p^{\prime}}=1$. We show for any continuous function $f$: $\norm{\left[ \dirac_p, \pi(\mult_f) \right]} = | \sqrt[\lambda]{\ruelle \abs{f \circ \sigma - f}^{\lambda}} |_{\infty}$, where $\lambda = \max\{p, p^\prime\}$. Furthermore, we show $\norm{\left[ \mathcal{D}_p, \pi(\koopman^{n} \mathcal{L}^{n})]\right]}=1$ for all \(n \geq 1\). We also prove a formula analogous to the Kantorovich duality formula for minimizing the cost of tensor products.

William Braucks Artur O. Lopes http://arxiv.org/abs/2504.15420v1 2025-04-21T20:06:29Z 2025-04-21T20:06:29Z

We bring to light a new connection between dynamics and Heegaard Floer homology. On a closed 3-manifold $Y$ we consider a pseudo-Anosov flow $\phi$ with no perfect fits with respect to its singularity locus $L \subset Y$, or perhaps a larger collection of closed orbits. Using work of Agol and Gu\'eritaud on veering branched surfaces we produce a chain complex computing the link Floer homology of $L$ in the framing specified by the degeneracy curves of the flow. Using work of Landry, Minsky, and Taylor we show that the generators of the chain complex correspond to certain closed multi-orbits of $\phi$. We prove that two canonical generators $\mathbf{x}^\mathrm{top}$ and $\mathbf{x}^\mathrm{bot}$ determine non-trivial homology classes located in the $\text{spin}^\text{c}$-grading of the flow, and its opposite. Finally, we observe that our specific model of the chain complex for link Floer homology naturally supports a grading with dynamical significance. This grading, a modification of the regular Maslov grading, is shown to categorify a suitable normalization of the zeta function associated to $\phi$.

Antonio Alfieri Chi Cheuk Tsang 65 pages, 29 figures http://arxiv.org/abs/2412.06037v2 2025-04-21T15:25:28Z 2024-12-08T19:21:47Z

Precise description of population game dynamics introduced by revision protocols - an economic model describing the agent's propensity to switch to a better-performing strategy - is of importance in economics and social sciences in general. In this setting innovation or imitation of others is the force which drives the evolution of the economic system. As the continuous-time game dynamics is relatively well understood, the same cannot be said about revision driven dynamics in the discrete time. We investigate the behavior of agents in a $2\times 2$ anti-coordination game with symmetric random matching and a unique mixed Nash equilibrium. In continuous time the Nash equilibrium is attracting and induces a global evolutionary stable state. We show that in the discrete time one can construct (either innovative or imitative) revision protocol and choose a level of the time step, under which the game dynamics is Li-Yorke chaotic, inducing complex and unpredictable behavior of the system, precluding stable predictions of equilibrium. Moreover, we reveal that this unpredictability is encoded into any imitative revision protocol. Furthermore, we show that for any such game there exists a perturbed pairwise proportional imitation protocol introducing chaotic behavior of the agents for sufficiently large time step.

Jakub Bielawski Łukasz Cholewa Fryderyk Falniowski arXiv admin note: text overlap with arXiv:2402.09824 http://arxiv.org/abs/2503.11407v3 2025-04-21T13:34:14Z 2025-03-14T13:48:24Z

In this paper we consider the Toda lattice $(\boldsymbol{p}(t); \boldsymbol{q}(t))$ at thermal equilibrium, meaning that its variables $(p_i)$ and $(e^{q_i-q_{i+1}})$ are independent Gaussian and Gamma random variables, respectively. This model can be thought of a dense collection of many ``quasiparticles'' that act as solitons. We establish a law of large numbers for the trajectory of these quasiparticles, showing that they travel with approximately constant velocities, which are explicit. Our proof is based on a direct analysis of the asymptotic scattering relation, an equation (proven in previous work of the author) that approximately governs the dynamics of quasiparticles locations. This makes use of a regularization argument that essentially linearizes this relation, together with concentration estimates for the Toda lattice's (random) Lax matrix.

Amol Aggarwal 70 pages, no figures. arXiv admin note: text overlap with arXiv:2503.08018; Version 2: Edits to make terminology more consistent with physics literature; Version 3: Added references and exposition http://arxiv.org/abs/2502.07984v2 2025-04-21T10:32:17Z 2025-02-11T22:06:14Z

We investigate expansiveness, topological stability, and shadowing for continuous actions of semigroups on compact Hausdorff spaces. We characterize semigroups for which all full shifts are expansive. We show that every expansive continuous monoid action on a compact Hausdorff space which has the shadowing property is topologically stable, and that a subshift with finite alphabet over a monoid has the shadowing property if and only if it is of finite type.

Tullio Ceccherini-Silberstein Michel Coornaert Xuan Kien Phung http://arxiv.org/abs/2504.14819v1 2025-04-21T02:52:31Z 2025-04-21T02:52:31Z

We prove the H\"older continuity of Lyapunov exponents for general linear cocycles when the base measures vary in Wasserstein distance, under the assumption of uniform large deviations type (LDT) estimates. This is a measure version of the abstract continuity theorem (ACT) established by Duarte-Klein [Duarte, P. and Klein, S. (2016). Lyapunov exponents of linear cocycles: Continuity via large deviations. Atlantis Studies in Dynamical Systems, 3]. The main obstacle here lies in the fact that the magnitude of the exceptional sets in LDT estimates is constantly changing when the base measures deviate. We overcome this via a combination of a Urysohn-type lemma and properties of Wasserstein distance in every iteration step. Our measure version of ACT, combined with the original work of Duarte-Klein, provides a complete scheme for proving joint H\"older continuity of Lyapunov exponents with respect to both measure and fiber which resolves all parameter dependence. This continuity theorem is general and applicable to a wide range of mathematical models, including product of random matrices and cocycles essentially generated by shifts. In particular, it applies to associated Schr\"odinger operators which are central objects in the study of mathematical physics.

Ao Cai Xiaojuan Deng 26 pages http://arxiv.org/abs/2504.14759v1 2025-04-20T22:56:49Z 2025-04-20T22:56:49Z

In this expository note, we discuss normal generators for mapping class groups of surfaces. Especially, we focus on the relation between normal generation of a mapping class with its asymptotic translation lengths on the Teichm\"uller space and the curve graph of the underlying surface. We also discuss several open questions.

Hyungryul Baik Dongryul M. Kim 26 pages, 8 figures. This survey article was written for inclusion in "In the Tradition of Thurston: Geometry and Topology'', Vol. 4. which is edited by A. Papadopoulos and K. Ohshika http://arxiv.org/abs/2406.05057v2 2025-04-20T20:00:43Z 2024-06-07T16:26:22Z

The Hilbert number $H(n)$ is defined as the maximum number of limit cycles of a planar autonomous system of ordinary differential equations (ODEs) with right-hand sides containing polynomials of degree at most $n \in {\mathbb N}$. The dynamics of chemical reaction systems with two chemical species can be (under mass-action kinetics) described by such planar autonomous ODEs, where $n$ is equal to the maximum order of the chemical reactions in the system. Analogues of the Hilbert number $H(n)$ for three different classes of chemical reaction systems are investigated: (i) chemical systems with reactions up to the $n$-th order; (ii) systems with up to $n$-molecular chemical reactions; and (iii) weakly reversible chemical reaction networks. In each case (i), (ii) and (iii), the question on the number of limit cycles is considered. Lower bounds on the modified Hilbert numbers are provided for both algebraic and non-algebraic limit cycles. Furthermore, given a general algebraic curve $h(x,y)=0$ of degree $n_h \in {\mathbb N}$ and containing one or more ovals in the positive quadrant, a chemical system is constructed which has the oval(s) as its stable algebraic limit cycle(s). The ODEs describing the dynamics of the constructed chemical system contain polynomials of degree at most $n=2\,n_h+1.$ Considering $n_h \ge 4,$ the algebraic curve $h(x,y)=0$ can contain multiple closed components with the maximum number of ovals given by Harnack's curve theorem as $1+(n_h-1)(n_h-2)/2$, which is equal to 4 for $n_h=4.$ Algebraic curve $h(x,y)=0$ with $n_h=4$ and the maximum number of four ovals is used to construct a chemical system which has four stable algebraic limit cycles.

Gheorghe Craciun Radek Erban accepted for publication in Journal of Mathematical Biology http://arxiv.org/abs/2504.14721v1 2025-04-20T19:28:20Z 2025-04-20T19:28:20Z

Model order reduction plays a crucial role in simplifying complex systems while preserving their essential dynamic characteristics, making it an invaluable tool in a wide range of applications, including robotic systems, signal processing, and fluid dynamics. However, traditional model order reduction techniques like balanced truncation are not designed to handle tensor data directly and instead require unfolding the data, which may lead to the loss of important higher-order structural information. In this article, we introduce a novel framework for data-driven model order reduction of T-product-based dynamical systems (TPDSs), which are often used to capture the evolution of third-order tensor data such as images and videos through the T-product. Specifically, we develop advanced T-product-based techniques, including T-balanced truncation, T-balanced proper orthogonal decomposition, and the T-eigensystem realization algorithm for input-output TPDSs by leveraging the unique properties of T-singular value decomposition. We demonstrate that these techniques offer significant memory and computational savings while achieving reduction errors that are comparable to those of conventional methods. The effectiveness of the proposed framework is further validated through synthetic and real-world examples.

Shenghan Mei Ziqin He Yidan Mei Xin Mao Anqi Dong Ren Wang Can Chen 12 pages, 1 figure http://arxiv.org/abs/2504.07865v2 2025-04-20T17:23:47Z 2025-04-10T15:40:48Z

The aim of this paper is to establish a Ratner-type equidistribution theorem for orbits on homogeneous spaces associated with $2$-nilpotent locally compact Polish groups under the action of a countable discrete abelian group. We apply this result to establish the existence of triple restricted sumsets in subsets of positive density in arbitrary countable discrete abelian groups, subject to a necessary finiteness condition.

Ethan Ackelsberg Asgar Jamneshan v2: 48 pages, corrected a small error pointed out by Trist\'{a}n Radi\'{c} (see new Example 3.19 and Lemma 3.20)