pith. sign in

arxiv: 2604.05648 · v1 · submitted 2026-04-07 · 💻 cs.RO · cs.SY· eess.SY

Leaderless Collective Motion in Affine Formation Control over the Complex Plane

Jesus Bautista , Enric Morella , Lili Wang , Hector Garcia de Marina This is my paper

Pith reviewed 2026-05-10 19:32 UTC · model grok-4.3

classification 💻 cs.RO cs.SYeess.SY
keywords affine formation controlleaderless collective motionLaplacian matrix modificationcomplex planerobot swarmsmulti-agent systemsformation maneuvering
0
0 comments X

The pith

Modifying the Laplacian weights allows leaderless swarms to perform any affine transformation of a reference shape in the plane.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that by modifying the weights of the Laplacian matrix originally used for static formations, the agents can achieve collective motions that are time-varying affine transformations of a reference configuration. This leaderless approach permits each agent to have distinct and possibly changing velocities, which supports a broader range of collective behaviors such as combinations of translation, rotation, scaling, and shearing. The work provides an analytic solution for the motion by explicitly designing the eigenvectors and eigenvalues of the modified Laplacian matrix. Using complex numbers to represent the 2D information simplifies both the analysis and the design process. Validation comes from simulations involving up to 20 agents that match the theoretical predictions.

Core claim

By modifying the weights of the Laplacian matrix, the collective motion of the agents is characterized as a time-varying affine transformation of a reference shape, with the motion governed by an analytic solution that explicitly designs the eigenvectors and eigenvalues of the new Laplacian. Unlike leader-follower strategies, this leaderless scheme allows agents to maintain distinct and possibly time-varying velocities, enabling all linear combinations of translations, rotations, scaling, and shearing.

What carries the argument

The modified Laplacian matrix whose eigenvectors and eigenvalues are explicitly designed via weight changes to realize any desired affine motion while preserving stability, represented in the complex plane.

If this is right

  • Agents can maintain distinct and time-varying velocities while staying in formation.
  • All linear combinations of translation, rotation, scaling, and shearing become possible.
  • The motion admits a closed-form analytic solution determined by the modified weights.
  • Complex-number representation makes 2D analysis and controller design more direct.
  • The results hold in simulations for swarms of up to 20 agents.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The complex-plane approach suggests a route to similar leaderless control in 3D by replacing complex numbers with vectors or quaternions.
  • Online recomputation of the weights could allow the reference shape itself to change during motion.
  • The method may increase resilience when individual agents drop out, since no single leader is required.

Load-bearing premise

That weights can be chosen for any communication graph so the modified Laplacian has exactly the eigenvectors and eigenvalues needed for a target affine motion without losing formation stability.

What would settle it

An experiment or simulation in which agents using the designed weights produce trajectories that deviate from the predicted time-varying affine transformation of the reference shape.

Figures

Figures reproduced from arXiv: 2604.05648 by Enric Morella, Hector Garcia de Marina, Jesus Bautista, Lili Wang.

Figure 1
Figure 1. Figure 1: The left plot shows a square reference shape p ∗ for a team of n = 4 robots. In the right plot, this reference shape undergoes an affine transformation given by the linear transformation T∆, with ∆ = [δx δy δax δay δhx δhy ] = [0 0 1 1 0.5 0.25], so that T∆(p ∗) = (1+ι0.25) Re(p ∗)+(0.5+ι) Im(p ∗). p ∗ is defined with respect to a body-fixed reference frame Ob = (pb, Bb), where pb is at the centroid of p ∗… view at source ↗
Figure 2
Figure 2. Figure 2: Square formation in 2D with E derived from a complete graph of four nodes, so that the associated framework is universally rigid. The reference shape p ∗ for the affine formation control is defined relative to the body￾fixed frame Ob. Each agent’s reference velocity v ∗ i is constructed as a linear combination of its relative positions zij , j ∈ Ni, employing the motion parameters µij . To construct all po… view at source ↗
Figure 3
Figure 3. Figure 3: A formation of four agents converges to the desired shape S, given by the reference shape p ∗ sim, as their velocity converge to the desired collective motion M given by v ∗ = 1n, denoted by the big black arrow. In the left plot, the solid lines represent the evolution of the agents’ position, the crosses indicate their initial positions, and the grey dashed lines the interaction graph. The right plot repr… view at source ↗
Figure 4
Figure 4. Figure 4: A formation of four agents preserves the desired shape S, given by the reference shape p ∗ sim, while moving with the desired collective motion M given by v ∗ = T∆v (p ∗ sim). Each subplot corresponds to one of the six conditions in Theorem 1. Solid lines depict the Euler integration of the dynamics until tf = 3 s, colored dashed lines represent the analytical solution up to 2tf , crosses mark the initial … view at source ↗
Figure 5
Figure 5. Figure 5: A formation of 20 agents preserves the desired shape S, given by the reference shape p ∗ sim2, as their velocity converge to the desired collective motion M given by v ∗ = T∆k (p ∗ sim2), where ∆k changes every 10 seconds. The solid lines represent the evolution of the agents’ position, the crosses indicate their initial positions, given by p(0) = p ∗ sim2 + (−25 + ι10), and the grey dashed lines the inter… view at source ↗
read the original abstract

We propose a method for the collective maneuvering of affine formations in the plane by modifying the original weights of the Laplacian matrix used to achieve static formations of robot swarms. Specifically, the resulting collective motion is characterized as a time-varying affine transformation of a reference configuration, or shape. Unlike the traditional leader-follower strategy, our leaderless scheme allows agents to maintain distinct and possibly time-varying velocities, enabling a broader range of collective motions, including all the linear combinations of translations, rotations, scaling and shearing of a reference shape. Our analysis provides the analytic solution governing the resulting collective motion, explicitly designing the eigenvectors and eigenvalues that define this motion as a function of the modified weights in the new Laplacian matrix. To facilitate a more tractable analysis and design of affine formations in 2D, we propose the use of complex numbers to represent all relevant information. Simulations with up to 20 agents validate the theoretical results.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proposes a leaderless method for collective affine formation control of robot swarms in the plane. By modifying the weights of the graph Laplacian (represented in the complex plane), the agents' trajectories are shown to realize any time-varying affine transformation (linear combinations of translation, rotation, scaling, and shearing) of a reference shape. The analysis supplies an explicit analytic solution by constructing the eigenvectors and eigenvalues of the modified Laplacian, and the results are illustrated with simulations of up to 20 agents.

Significance. If the weight-modification construction and stability guarantees hold for arbitrary graphs, the work would enable a substantially broader class of leaderless coordinated motions than existing rigid-formation or leader-follower schemes, while retaining asymptotic shape preservation. The complex-plane formulation and closed-form trajectory expression could simplify both analysis and controller synthesis in 2-D multi-robot systems.

major comments (2)
  1. [Abstract and main analytic derivation] The central claim requires that, for an arbitrary graph, modified (possibly complex) weights can always be chosen so the Laplacian simultaneously realizes any prescribed affine motion via its eigenvectors/eigenvalues and satisfies the stability conditions (simple zero eigenvalue with all-ones kernel vector and remaining eigenvalues having negative real parts). No constructive algorithm, existence conditions, or design procedure for obtaining such weights is supplied; the analytic solution is expressed in terms of the weights but does not close the loop on how to select them.
  2. [Simulation results] Simulations with 20 agents are presented as validation, yet no quantitative metrics (e.g., formation-error convergence rates, deviation from the predicted affine trajectory, or robustness under disturbances) are reported, leaving the empirical support for the general claims limited.
minor comments (2)
  1. [Preliminaries] The transition from real-valued 2-D positions to complex representations is introduced without an explicit isomorphism or coordinate-mapping lemma; adding this would improve readability for readers unfamiliar with complex-plane formation control.
  2. [Notation] Notation for the modified weights and the resulting Laplacian is introduced in the abstract but would benefit from a compact table or definition box early in the text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments, which help clarify the scope and presentation of our results. We address each major comment below.

read point-by-point responses

  1. Referee: [Abstract and main analytic derivation] The central claim requires that, for an arbitrary graph, modified (possibly complex) weights can always be chosen so the Laplacian simultaneously realizes any prescribed affine motion via its eigenvectors/eigenvalues and satisfies the stability conditions (simple zero eigenvalue with all-ones kernel vector and remaining eigenvalues having negative real parts). No constructive algorithm, existence conditions, or design procedure for obtaining such weights is supplied; the analytic solution is expressed in terms of the weights but does not close the loop on how to select them.

    Authors: The manuscript derives an analytic expression for the agents' trajectories by explicitly constructing the eigenvectors and eigenvalues of the modified Laplacian in terms of the (complex) weights, using the complex-plane formulation to facilitate the analysis of affine transformations. This provides a closed-form solution for the collective motion once the weights are chosen. However, we agree that the current version does not provide a constructive procedure or existence conditions for selecting the weights to realize an arbitrary prescribed affine motion while maintaining the required stability properties for any given graph. In the revised manuscript, we will add a dedicated section outlining the conditions on the graph (e.g., connectivity requirements) and a design algorithm to compute the necessary weight modifications. This will address the gap and make the method more complete for practical application. revision: yes

  2. Referee: [Simulation results] Simulations with 20 agents are presented as validation, yet no quantitative metrics (e.g., formation-error convergence rates, deviation from the predicted affine trajectory, or robustness under disturbances) are reported, leaving the empirical support for the general claims limited.

    Authors: We acknowledge that the simulation results in the current manuscript are primarily qualitative, illustrating the theoretical predictions with up to 20 agents but without accompanying quantitative metrics. To strengthen the empirical support, we will revise the simulation section to include quantitative evaluations, such as plots and tables reporting the formation error convergence rates (e.g., the L2 norm of the shape deviation over time), the deviation from the analytically predicted affine trajectory, and additional simulations demonstrating robustness to disturbances like sensor noise or external forces. These metrics will provide a more rigorous validation of the general claims. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected; derivation is self-contained design and analysis

full rationale

The paper describes a method of modifying Laplacian weights to produce collective motion as a time-varying affine transformation, with an explicit analytic solution obtained by designing the eigenvectors and eigenvalues of the modified Laplacian. This is presented as a constructive procedure rather than a reduction of the claimed result to its own inputs by definition. No load-bearing self-citations, fitted parameters renamed as predictions, or uniqueness theorems imported from prior author work are visible in the abstract or description. The central claim follows from the dynamics under the designed weights without tautological equivalence, making the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The approach relies on standard assumptions from graph theory and linear algebra for Laplacian matrices of undirected graphs; no new entities are postulated. The weight modification is the main design choice, treated as a free parameter set by the designer rather than fitted to data.

free parameters (1)
  • modified Laplacian weights
    Chosen by the designer to achieve desired eigenvectors and eigenvalues for the target affine motions; no specific fitting procedure or data-driven values are given in the abstract.
axioms (2)
  • domain assumption The communication graph is undirected and connected, allowing a well-defined Laplacian matrix whose null space corresponds to the formation shape.
    Invoked implicitly when stating that the modified weights produce stable affine motions; standard in formation control literature.
  • standard math Complex numbers can represent 2D positions and velocities without loss of generality for planar motions.
    Used to simplify the representation of affine transformations.

pith-pipeline@v0.9.0 · 5463 in / 1525 out tokens · 42213 ms · 2026-05-10T19:32:10.345010+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    The grand challenges of science robotics,

    G.-Z. Y . et al., “The grand challenges of science robotics,”Science Robotics, vol. 3, no. 14, 2018

    work page 2018

  2. [2]

    Multi-agent systems for search and rescue applications,

    D. Drew, “Multi-agent systems for search and rescue applications,” Current Robotics Reports, vol. 2, 03 2021

    work page 2021

  3. [3]

    Coordinated multi-robot exploration,

    W. Burgard, M. Moors, C. Stachniss, and F. E. Schneider, “Coordinated multi-robot exploration,”IEEE Transactions on Robotics, vol. 21, no. 3, pp. 376–386, 2005

    work page 2005

  4. [4]

    Robots for environmental monitoring: Significant advancements and applications,

    M. Dunbabin and L. Marques, “Robots for environmental monitoring: Significant advancements and applications,”IEEE Robotics & Automation Magazine, vol. 19, no. 1, pp. 24–39, 2012

    work page 2012

  5. [5]

    An overview of recent progress in the study of distributed multi-agent coordination,

    Y . Cao, W. Yu, W. Ren, and G. Chen, “An overview of recent progress in the study of distributed multi-agent coordination,”IEEE Transactions on Industrial Informatics, vol. 9, no. 1, pp. 427–438, 2013

    work page 2013

  6. [6]

    Distributed formation control of multi-agent systems using complex laplacian,

    Z. Lin, L. Wang, Z. Han, and M. Fu, “Distributed formation control of multi-agent systems using complex laplacian,”IEEE Transactions on Automatic Control, vol. 59, no. 7, pp. 1765–1777, 2014

    work page 2014

  7. [7]

    Necessary and sufficient graphical conditions for affine formation control,

    Z. Lin, L. Wang, Z. Chen, M. Fu, and Z. Han, “Necessary and sufficient graphical conditions for affine formation control,”IEEE Transactions on Automatic Control, vol. 61, no. 10, pp. 2877–2891, 2016

    work page 2016

  8. [8]

    Affine formation maneuver control of multiagent systems,

    S. Zhao, “Affine formation maneuver control of multiagent systems,” IEEE Transactions on Automatic Control, vol. 63, no. 12, pp. 4140–4155, 2018

    work page 2018

  9. [9]

    Affine formation maneuver control of high-order multi-agent systems over directed networks,

    Y . Xu, S. Zhao, D. Luo, and Y . You, “Affine formation maneuver control of high-order multi-agent systems over directed networks,”Automatica, vol. 118, p. 109004, 2020

    work page 2020

  10. [10]

    Affine formation algorithms and implementation based on triple-integrator dynamics,

    O. Onuoha, H. Tnunay, Z. Li, and Z. Ding, “Affine formation algorithms and implementation based on triple-integrator dynamics,”Unmanned Systems, vol. 07, no. 01, pp. 33–45, 2019

    work page 2019

  11. [11]

    Distributed leader–follower affine formation maneuver control for high-order multiagent systems,

    L. Chen, J. Mei, C. Li, and G. Ma, “Distributed leader–follower affine formation maneuver control for high-order multiagent systems,”IEEE Transactions on Automatic Control, vol. 65, no. 11, pp. 4941–4948, 2020

    work page 2020

  12. [12]

    Layered affine formation control of networked uncertain systems: A fully distributed approach over directed graphs,

    D. Li, G. Ma, Y . Xu, W. He, and S. S. Ge, “Layered affine formation control of networked uncertain systems: A fully distributed approach over directed graphs,”IEEE Transactions on Cybernetics, vol. 51, no. 12, pp. 6119–6130, 2021

    work page 2021

  13. [13]

    Sun,Cooperative Coordination and Formation Control for Multi-agent Systems

    Z. Sun,Cooperative Coordination and Formation Control for Multi-agent Systems. Cham: Springer International Publishing, 2018

    work page 2018

  14. [14]

    Undirected rigid formations are problematic,

    S. Mou, M.-A. Belabbas, A. S. Morse, Z. Sun, and B. D. O. Anderson, “Undirected rigid formations are problematic,”IEEE Transactions on Automatic Control, vol. 61, no. 10, pp. 2821–2836, 2016

    work page 2016

  15. [15]

    Controlling rigid formations of mobile agents under inconsistent measurements,

    H. G. De Marina, M. Cao, and B. Jayawardhana, “Controlling rigid formations of mobile agents under inconsistent measurements,”IEEE Transactions on Robotics, vol. 31, no. 1, pp. 31–39, 2015

    work page 2015

  16. [16]

    Maneuvering formations of mobile agents using designed mismatched angles,

    L. Chen, H. G. de Marina, and M. Cao, “Maneuvering formations of mobile agents using designed mismatched angles,”IEEE Transactions on Automatic Control, vol. 67, no. 4, pp. 1655–1668, 2021

    work page 2021

  17. [17]

    Distributed rotational and translational maneuvering of rigid formations and their applications,

    H. G. De Marina, B. Jayawardhana, and M. Cao, “Distributed rotational and translational maneuvering of rigid formations and their applications,” IEEE Transactions on Robotics, vol. 32, no. 3, pp. 684–697, 2016

    work page 2016

  18. [18]

    Distributed formation maneuver control using complex laplacian,

    X. Fang and L. Xie, “Distributed formation maneuver control using complex laplacian,”IEEE Transactions on Automatic Control, vol. 69, pp. 1850–1857, 2024

    work page 2024

  19. [19]

    Distributed formation maneuver control by manipu- lating the complex laplacian,

    H. G. de Marina, “Distributed formation maneuver control by manipu- lating the complex laplacian,”Automatica, vol. 132, p. 109813, 2021

    work page 2021

  20. [20]

    Leaderless collective motions in affine formation control,

    H. G. de Marina, J. Jimenez Castellanos, and W. Yao, “Leaderless collective motions in affine formation control,” in2021 60th IEEE Conference on Decision and Control (CDC), 2021, pp. 6433–6438

    work page 2021

  21. [21]

    A survey of multi-agent formation control,

    K.-K. Oh, M.-C. Park, and H.-S. Ahn, “A survey of multi-agent formation control,”Automatica, vol. 53, pp. 424–440, 2015

    work page 2015

  22. [22]

    A guiding vector- field algorithm for path-following control of nonholonomic mobile robots,

    Y . A. Kapitanyuk, A. V . Proskurnikov, and M. Cao, “A guiding vector- field algorithm for path-following control of nonholonomic mobile robots,” IEEE Transactions on Control Systems Technology, vol. 26, no. 4, pp. 1372–1385, 2018

    work page 2018

  23. [23]

    Singularity-free guiding vector field for robot navigation,

    W. Yao, H. G. De Marina, B. Lin, and M. Cao, “Singularity-free guiding vector field for robot navigation,”IEEE Transactions on Robotics, vol. 37, no. 4, pp. 1206–1221, 2021

    work page 2021

  24. [24]

    A survey of path following control strategies for uavs focused on quadrotors,

    B. Rub´ı, R. P´erez, and B. Morcego, “A survey of path following control strategies for uavs focused on quadrotors,”Journal of Intelligent & Robotic Systems, vol. 98, pp. 241–265, 2020

    work page 2020

  25. [25]

    Characterizing generic global rigidity,

    S. J. Gortler, A. D. Healy, and D. P. Thurston, “Characterizing generic global rigidity,”American Journal of Mathematics, vol. 132, no. 4, pp. 897–939, 2010

    work page 2010

  26. [26]

    R. A. Horn and C. R. Johnson,Topics in Matrix Analysis. Cambridge University Press, 1991

    work page 1991

  27. [27]

    A class of minimal generically universally rigid frameworks,

    S. D. Kelly and A. Micheletti, “A class of minimal generically universally rigid frameworks,”arXiv preprint arXiv:1412.3436, 2014

    work page arXiv 2014

  28. [28]

    Rigid graph control architectures for autonomous formations,

    B. D. O. Anderson, C. Yu, B. Fidan, and J. M. Hendrickx, “Rigid graph control architectures for autonomous formations,”IEEE Control Systems Magazine, vol. 28, no. 6, pp. 48–63, 2008

    work page 2008

  29. [29]

    Stabilization by a diagonal matrix,

    C. S. Ballantine, “Stabilization by a diagonal matrix,”Proceedings of the American Mathematical Society, vol. 25, no. 4, pp. 728–734, 1970

    work page 1970

  30. [30]

    Maneuvering and robustness issues in undirected displacement-consensus-based formation control,

    H. G. de Marina, “Maneuvering and robustness issues in undirected displacement-consensus-based formation control,”IEEE Transactions on Automatic Control, vol. 66, no. 7, pp. 3370–3377, 2020

    work page 2020

  31. [31]

    Leader–follower formation via complex laplacian,

    Z. Lin, W. Ding, G. Yan, C. Yu, and A. Giua, “Leader–follower formation via complex laplacian,”Automatica, vol. 49, no. 6, pp. 1900–1906, 2013

    work page 1900

  32. [32]

    Jes´us B. V . (2024) Leaderless Collective Motion in Affine Formation Control over the Complex Plane, GitHub repository. https://github.com/ Swarm-Systems-Lab/affine-formation-control. Jesus Bautista Villar(Student IEEE) received his B.S. degree in Physics from the Complutense University of Madrid, Spain, in 2022 and his M.S. degree in Data Science and Co...

    work page 2024