arXiv Science⌕ Search

arXiv · 2610.23992

Mathematics of Herding

Abstract

A herd of animals often follows a leader who sets the direction of travel. The leader sometimes turns unexpectedly and the followers reshuffle. Yet the herd regroups itself and stays coherent. Our work aims to understand the herding behavior mathematically. We construct a minimal discrete-time nonequilibrium dynamical system with one-way coupling, and the minimal structure allows an exact analysis. Take the location of each follower in the frame of the leader. The recorded locations form a distribution. The limit of the distribution is the asymptotic spatial measure, whose geometric representation we study. The dynamics of the herd have an exact operator representation with two factors, the operator of a fixed leader-follower pair and the operator of the interaction rules, which reshuffle the pairs. We show that the influence of the leader passes through some follower more than once. As a result, two followers can have reciprocal influence, despite the one-way coupling.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sayomi Kamimoto. 2026-10-14. Mathematics of Herding. https://arxiv.org/abs/2610.23992

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

An Algebraic Approach to Periodicity and Complexity of Delone Sets

We study the connection between local complexity and periodicity of Delone sets using an algebraic approach based on annihilators, that is, finite linear relations between translations of a configuration. We model colored Delone sets (Delone multisets) as $\mathbb{R}^d$-configurations, that is, functions on $\mathbb{R}^d$ with finite range, and extend the notions of annihilators and periodizers from $\mathbb{Z}^d$-configurations to the geometric setting of Delone sets. Our main results describe the structure imposed by the existence of non-trivial annihilators. We show that any $\mathbb{R}^d$-configuration admitting non-trivial annihilators has an annihilator of a particularly simple form, namely a product of finitely many difference operators corresponding to translations in pairwise rationally independent directions. We further improve this result and prove that for configurations supported on Delone sets of finite local complexity (FLC), the corresponding directions can be chosen pairwise linearly independent over $\mathbb{R}$. As a consequence of the existence of the special annihilator, we show that $\mathbb{R}^d$-configurations with annihilators admit a decomposition into finitely many components that are periodic in pairwise rationally independent directions. Moreover, we connect local complexity with algebraic structure by proving that Meyer sets with sufficiently slow patch complexity growth have low pattern complexity and hence admit non-trivial annihilators. Finally, we establish a sufficient and necessary condition under which the existence of suitable annihilators forces periodicity of $\mathbb{R}^d$-configurations supported on FLC Delone sets.

math.DS↗

Extreme value theorem for geodesic flow on the quotient of the theta group

We establish an extreme value theorem for the geodesic flow $g_t$ on the hyperbolic surface $Θ\backslash\mathbb{H}^2$ associated with the theta group $Θ$. To capture excursions into both cusps of this surface, we introduce a generalized continued fraction algorithm obtained by splicing the even and odd--odd continued fraction maps into a single dynamical system. We prove that the natural extension of this map is isomorphic to the first return map of the geodesic flow on a suitable cross-section. Using spectral properties of the associated transfer operator, we derive a Galambos-type extreme value law for the digits of the spliced continued fraction. This symbolic result is then translated into a geometric extreme value theorem describing maximal cusp excursions of geodesics on $Θ\backslash\mathbb{H}^2$.

math.DS↗

Asymmetry of a class of Mellin transforms

We consider a class of Mellin transforms $μ_η$ associated with a class of functions $η$, defined for every complex $s$ in the critical strip. We establish sufficient conditions on $η$ under which $μ_η(s)$ and $μ_η(1-s)$ cannot both vanish outside the critical line for sufficiently large imaginary parts of $s$. An application is given to the case in which $η$ is the fractional part function, for which the zeros of $μ_η$ coincide with the zeros of the Riemann zeta function.

math.DS↗