Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

A Theoretical Framework for the Formation of Large Animal Groups: Topological Coordination, Subgroup Merging, and Velocity Inheritance

Jidong Jin

TL;DR

This work reframes collective animal motion through a topological lens, showing that large moving groups arise not by gradual crowding but by rapid merging of pre-existing subgroups whose long-term influence forms a single dominant SCC. The model uses time-varying directed networks and a velocity-coordination rule with a persistently active interaction backbone, yielding consensus only when a unique independent SCC exists in the infinity-adjoint graph, a condition that directly explains velocity inheritance, group geometry, and broad distributions of neighbour distances. The framework aligns with STARFLAG data, provides concrete, testable predictions about network structure, inertia, and group geometry, and offers a unified mechanism for the emergence, maintenance, and form of large coordinated animal groups. Together, these results link topology, subgroup dynamics, and macroscopic motion, enabling precise hypotheses to be tested on 3D motion datasets.

Abstract

Large animal groups -- bird flocks, fish schools, insect swarms -- are often assumed to form by gradual aggregation of sparsely distributed individuals. Using a mathematically precise framework based on time-varying directed interaction networks, we show that this widely held view is incomplete. The theory demonstrates that large moving groups do not arise by slow accumulation; instead, they emerge through the rapid merging of multiple pre-existing subgroups that are simultaneously activated under high-density conditions. The key mechanism is topological: the long-term interaction structure of any moving group contains a single dominant strongly connected component (SCC). This dominant SCC determines the collective velocity -- both speed and direction -- of the entire group. When two subgroups encounter one another, the trailing subgroup aligns with -- and ultimately inherits -- the velocity of the dominant SCC of the leading subgroup. Repeated merging events naturally generate large groups whose speed is predicted to be lower than the mean speed of the original subgroups. The same dynamics explain several universal empirical features: broad neighbour-distance distributions, directional asymmetry in neighbour selection, and the characteristic narrow-front, wide-rear geometry of real flocks. The framework yields testable predictions for STARFLAG-style 3D datasets, offering a unified explanation for the formation, maintenance, and geometry of coordinated animal groups.

A Theoretical Framework for the Formation of Large Animal Groups: Topological Coordination, Subgroup Merging, and Velocity Inheritance

TL;DR

This work reframes collective animal motion through a topological lens, showing that large moving groups arise not by gradual crowding but by rapid merging of pre-existing subgroups whose long-term influence forms a single dominant SCC. The model uses time-varying directed networks and a velocity-coordination rule with a persistently active interaction backbone, yielding consensus only when a unique independent SCC exists in the infinity-adjoint graph, a condition that directly explains velocity inheritance, group geometry, and broad distributions of neighbour distances. The framework aligns with STARFLAG data, provides concrete, testable predictions about network structure, inertia, and group geometry, and offers a unified mechanism for the emergence, maintenance, and form of large coordinated animal groups. Together, these results link topology, subgroup dynamics, and macroscopic motion, enabling precise hypotheses to be tested on 3D motion datasets.

Abstract

Large animal groups -- bird flocks, fish schools, insect swarms -- are often assumed to form by gradual aggregation of sparsely distributed individuals. Using a mathematically precise framework based on time-varying directed interaction networks, we show that this widely held view is incomplete. The theory demonstrates that large moving groups do not arise by slow accumulation; instead, they emerge through the rapid merging of multiple pre-existing subgroups that are simultaneously activated under high-density conditions. The key mechanism is topological: the long-term interaction structure of any moving group contains a single dominant strongly connected component (SCC). This dominant SCC determines the collective velocity -- both speed and direction -- of the entire group. When two subgroups encounter one another, the trailing subgroup aligns with -- and ultimately inherits -- the velocity of the dominant SCC of the leading subgroup. Repeated merging events naturally generate large groups whose speed is predicted to be lower than the mean speed of the original subgroups. The same dynamics explain several universal empirical features: broad neighbour-distance distributions, directional asymmetry in neighbour selection, and the characteristic narrow-front, wide-rear geometry of real flocks. The framework yields testable predictions for STARFLAG-style 3D datasets, offering a unified explanation for the formation, maintenance, and geometry of coordinated animal groups.

Paper Structure

This paper contains 27 sections, 10 theorems, 104 equations, 5 figures.

Table of Contents

  1. Biological Narrative
  2. Introduction
  3. Asymmetric Velocity Coordination System
  4. Equations of Motion
  5. Velocity Coordination System
  6. Directed Graphs and Their Basic Properties
  7. Time-Varying Network
  8. Core Theoretical Result
  9. Main Theorem
  10. Main theorem (informal).
  11. Characteristics of the Consensus State
  12. General Stability
  13. Stability Under Structural Changes
  14. Stability Under Structural Changes
  15. Correspondence with Empirical Data
  16. ...and 12 more sections

Key Result

Proposition 5.1

A necessary and sufficient condition for the affine multi-agent system CS1 to be a velocity coordination system is that its projection system eq:projection onto any coordinate axis in $\mathbb{R}^m$ is also a velocity coordination system. In particular, when $g_{ij}$ satisfies CS2, the quantity $\ka

Figures (5)

  • Figure 1: Schematic illustration of four possible coordination-strength functions. Functions $f_1$, $f_2$ and $f_3$ satisfy Assumption \ref{['ass:C1']}, whereas $f_4$ has a singular slope at the origin and is not admissible.
  • Figure 2: Original directed graph (left) and its condensation graph (right). Dashed boxes in the left panel indicate strongly connected components (SCCs). In the right panel, each SCC is contracted to a single node, yielding a directed acyclic condensation graph with a clear hierarchical structure.
  • Figure 3: Alternating intervals during which $a_i$ is affected by $a_j$ (Act.) or not affected (Non-Act.); the pattern extends indefinitely in time.
  • Figure 4: Original directed graphs (left) and their condensation graphs (right). In Panel A, the $\infty$-adjoint graph has a single independent SCC (A1). In Panel B, there are two such components (B1 and B2).
  • Figure 5: Construction of velocity-difference vectors by translation of $\bm{v}_i$ and $\bm{v}_j$, and the resulting final alignment.

Theorems & Definitions (16)

  • Definition 2.1: Velocity coordination system
  • Definition 2.3: Strongly connected components and basic vertex sets
  • Definition 2.4: Condensation graph and independent SCC
  • Definition 2.5: Edge-length measure and $\infty$-adjoint graph
  • Definition 2.7: Stationary time-varying network
  • Proposition 5.1: Cooperativity of the projection system
  • Definition 5.2: Minimal convex hull
  • Theorem 5.3
  • Corollary 5.4
  • Corollary 5.5
  • ...and 6 more