On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies
Extracted source text · arXiv 2305.06632
\documentclass
[
a4paper,
DIV=11,
]
{scrartcl}
\usepackage{amsmath,amssymb,amsfonts}
\usepackage{graphicx,epstopdf}
\usepackage
{
amsthm,
dsfont, % for 1 vector or indicator function
xcolor,
mathtools,
algorithm,
algpseudocode
}
\usepackage{enumerate}
\usepackage[english]{babel}
\usepackage{cases}
\usepackage[caption=false]{subfig}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Everything tikz here. %%%%%%%%%%%%
\usepackage{standalone} % for input of network files
\usepackage{tikz} % for input of network files
\usetikzlibrary{arrows}
\usetikzlibrary{arrows.meta}
\usetikzlibrary{shapes.geometric}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{hyperref}
\hypersetup{
colorlinks,
linkcolor={blue!50!black},
citecolor={blue!50!black},
urlcolor={blue!80!black}
}\usepackage[nameinlink]{cleveref}
\Crefname{figure}{Fig.}{Figs.}
% define and configure math environments
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{assumptions}[theorem]{Assumptions}
\newtheorem{conjecture}[theorem]{Conjecture}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% define and configure math operators and symbols
\newcommand{\subfiguretitle}[1]{{\scriptsize{#1}} \\[1mm]}
\newcommand{\N}{\mathbb{N}} % natural numbers
\newcommand{\R}{\mathbb{R}} % real numbers
\newcommand{\C}{\mathbb{C}} % complex numbers
\newcommand{\pd}[2]{\frac{\partial#1}{\partial#2}} % partial derivatives
\newcommand{\innerprod}[2]{\left\langle #1,\, #2 \right\rangle} % scalar product
\newcommand{\textsub}[1]{\text{\tiny{#1}}} % small text subscript
\newcommand{\ts}{\hspace*{0.1em}} % thin space
\newcommand{\relmiddle}[1]{\mathrel{}\middle#1\mathrel{}} % flexible \mid with spacing
\providecommand{\abs}[1]{\left\lvert #1 \right\rvert} % absolute value
\providecommand{\norm}[1]{\left\lVert #1 \right\rVert} % norm
\newcommand{\Note}[1]{\quad\\\noindent\textcolor{blue}{\textbf{NOTE: #1}}}
\newcommand{\bigzero}{\mbox{\normalfont\Large\bfseries 0}}
\newcommand{\D}{\mathcal{D}} %Domain
\newcommand{\fsync}{\textsc{$\mathcal{F}$sync}}
\newcommand{\gtm}{\textsc{Go-To-The-Middle}}
\newcommand{\GtC}{\textsc{Go-To-The-Center}}
\newcommand{\GtGC}{\textsc{Go-To-The-Gabriel-Center}}
\newcommand{\gta}{\textsc{Go-To-The-Average}}
\newcommand{\nbug}{\textsc{$N$-bug}}
\newcommand{\gtg}{\textsc{Go-To-The-Center-Of-Gravity}}
\newcommand\set[1]{\left\{\,#1\,\right\}}
\newcommand\with{\ \vrule\ }
\DeclareMathOperator{\circulant}{circ}
\newcommand{\Syn}{V_0}
\DeclareMathOperator{\Span}{span}
\newcommand{\NN}{\mathcal{N}}
\newcommand{\T}[1]{\widetilde{#1}}
\newcommand{\TB}[1]{\T{\mathbf{#1}}}
\DeclareMathOperator{\diag}{diag}
\DeclareMathOperator{\tr}{tr}
\DeclareMathOperator{\mspan}{span}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator*{\argmin}{arg\,min}
\newcommand{\RG}[1]{\textcolor{blue}{RG: #1}}
\newcommand{\svdg}[1]{\textcolor{red}{SvdG: #1}}
\begin{document}
\title{On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies}
\author{Raphael Gerlach, Sören von der Gracht and Michael Dellnitz
\thanks{The authors are with the Institute of Mathematics, Paderborn University, Warburger Str. 100, 33098 Paderborn, Germany (e-mail: rgerlach@math.upb.de, soeren.von.der.gracht@uni-paderborn.de, dellnitz@uni-paderborn.de).}
}
\date{May 22, 2024}
\maketitle
\begin{abstract}
In this article we investigate the convergence behavior of gathering protocols with fixed circulant topologies using tools form dynamical systems.
Given a fixed number of mobile entities moving in the Euclidean plane, we model a (linear) gathering protocol as a system of (linear) ordinary differential equations whose equilibria are exactly all possible gathering points.
Then, for a circulant topology we derive a decomposition of the state space into stable invariant subspaces with different convergence rates by utilizing tools form dynamical systems theory. It turns out, that decomposition is identical for every (linear) circulant gathering protocol, whereas only the convergence rates depend on the weights in interaction graph itself. We end this article with a brief outlook on robots with limited viewing range.\\
\textbf{Keywords:}
Multi-agent Systems,
Consensus Of Multi-agent Systems,
Consensus Protocol,
Leaderless,
Network Topology,
Communication Protocol
Control Of Multi-agent Systems,
Formation Control
\end{abstract}
\section{Introduction}
This article applies dynamical systems theory to the design and analysis of collective behavior of swarms of mobile entities, called robots from now on, which are widely studied in the computer science community under the headline of \emph{distributed computing} (e.g. \cite{H18,buchNeu}).
The problem of interest, is the \emph{gathering problem} in which the robots are supposed to converge to a single, not predefined, point.
The only capabilities the robots have are observing other robots' positions, performing computations in their local memory, and moving.
The strategy that each robot pursues is called a \emph{protocol}.
While most studies of the gathering problem employ discrete time
(e.g. \cite{DBLP:conf/spaa/DegenerKLHPW11,DBLP:journals/tcs/CastenowFHJH20,DBLP:journals/siamcomp/CohenP05,DBLP:series/lncs/Flocchini19,Castenow.2023}), some protocols using continuous time have been proposed as well (\cite{DBLP:journals/topc/DegenerKKH15,DBLP:series/lncs/KlingH19}). The latter framework is the focus of this manuscript.
In mathematics and physics literature, comparable multiagent systems have been extensively studied in the past decades. Gathering is an instance of famous problems known under terms such as \emph{synchronization, agreement problems, rendezvous problems, consensus algorithms}, and likely many more.
We mention only some prominent results that are closely related to this paper.
For example, in synchronization literature one commonly studies Laplacian (or Laplacian like) dynamics of coupled oscillators. Very general internal dynamics and coupling functions are possible and synchronization is not restricted to equilibria (see e.g.~\cite{Heagy.1994,Pikovskij.2003,Dorfler.2014} and references therein).
Very powerful synchronization results have also been derived in the control theory literature under the headline of \emph{distributed consensus control}, \emph{distributed consensus algorithms}, or \emph{asymptotic agreement problems}. Asymptotic consensus was investigated for abstract variables, time varying interaction topologies, communication delay, and even defective agents (e.g. \cite{OlfatiSaber.2003,OlfatiSaber.2003b,OlfatiSaber.2004,Moreau.2004,Chen.2013}).
We reference specific results in \Cref{sec:preliminaries} below to characterize gathering protocols in our setting.
The key contribution of this article is to show that applying the mathematical theory of dynamical systems to the gathering problem allows for a profound understanding of the collective dynamics {in terms of fine grained gathering rates.}
To that end, we assume the interaction structure to be \emph{circulant} and to remain unchanged throughout the dynamics. For the most part, we restrict to linear protocols, however, we outline options to generalize to nonlinear protocols as well.
We unveil a foliation of the state space of all robots' positions into dynamically invariant subspaces in which the configurations gather with different speeds. This foliation is independent of the precise protocol. It allows to identify gathering rates for different initial configurations (cf. \Cref{thm:decomp}) and to decompose initial configurations into components with different gathering rates (cf. \Cref{cor:decomp}).
Comparable results are known in the synchronization literature for coupled oscillators. There, dynamical hierarchy corresponds to so-called \emph{normal modes} or \emph{eigenmodes} which can unveil communities that synchronize faster than others (see for example \cite{Arenas.2006,McGraw.2008}). Furthermore, overall convergence speed to synchrony is commonly related to spectral properties of the Laplacian or a more general system matrix which has in particular been done in the context of circulant interaction topologies (e.g. \cite{OlfatiSaber.2004,Irofti.2016,Rubido.2016,Iqbal.2018}).
However, to the best of our knowledge a similarly detailed exploitation of the full spectral decomposition of phase space and the interpretation in terms of a dynamical hierarchy of configurations in positional variables has not been done before.
Before we delve into the details of modeling the gathering problem as a dynamical system/distributed control system and analyzing its collective dynamics, we illustrate the main results at the hand of the following example.
\begin{example}
\label{ex:intro}
Consider $N=7$ mobile robots $\set{0,\dotsc,6}$ running the \gtm{} protocol, i.e., if $z_i(t)\in\R^2$ is the position of robot $i$ at time $t$ the $i$-th robot will move towards the midpoint between two fixed neighbors. \Cref{thm:decomp} shows that the configuration in \Cref{fig:intro}~(a) has the slowest gathering rate, while the configuration in \Cref{fig:intro}~(b) has the fastest gathering rate. Further intermediate configurations are unveiled as well.
\begin{figure}[htb]
\centering
\subfloat[Slowest gathering configuration]{
\includegraphics[width=0.35\textwidth]{./pics/EV_7_1_no_ax.eps}
}
\hfil
\subfloat[Fastest gathering configuration]{
\includegraphics[width=0.35\textwidth]{./pics/EV_7_3_no_ax.eps}
}
\caption{Illustration of the gathering hierarchy exhibited by $N=7$ robots running the \gtm{} protocol. Blue dots indicate positions of each robot. Gray lines symbolize the communication relation.
}
\label{fig:intro}
\end{figure}
\end{example}
The article is organized as follows: In \Cref{sec:preliminaries} we gather some necessary preliminary notations in order to model the gathering problem as a dynamical system governed by an ordinary differential equation and we state the convergence result for general linear protocols. In this context, we argue why it is reasonable to focus on linear systems (see \Cref{subsec:nonlinear}). In the following \Cref{sec:interaction} we formalize the underlying interaction structure by a weighted graph and deduce a convergence result for linear circulant systems. The main dynamical analysis of such systems is then carried out in \Cref{sec:hierachy}, where a hierarchy of different gathering rates is proven. Finally, in \Cref{sec:limited-vision} we end this article with a brief outlook on robots with limited viewing range. In the appendix \Cref{app:linear}, we provide some additional technical background for the convergence results discussed in \Cref{sec:preliminaries}. This is for the sake of completeness only and does not contain novel results.
\section{Introductory Considerations}
\label{sec:preliminaries}
\label{subsec:linear}
\label{subsec:dynsys}
We begin by setting up a dynamical systems model for the collective dynamics of a collection of $N\in \N$ interacting mobile robots. The position of robot $i\in \set{0,\dotsc,N-1}$ at time $t \in \R$ is denoted by $z_i(t) = (x_i(t),y_i(t)) \in \R^2$
-- we typically omit the time argument for notational brevity.
The collection of all robots' positions is called a \emph{configuration}. Each robot observes the positions of (a subset of) the other robots in relative coordinates and adapts its own direction and speed of movement instantaneously. However, we take the stance of an external observer describing the dynamics in global coordinates. The adaptation strategies (or \emph{distributed control strategies}) are given by the following ordinary differential equations (ODEs)
\begin{align}\label{eq:DS_i}
\dot{z_i} = -z_i + f_i(z_0,\dotsc,z_{N-1}), \quad i=0,\dotsc,N-1.
\end{align}
The equation can be interpreted as each robot computing a \emph{target point} using $f_i\colon\R^{2N} \to \R^2$ and pointing its velocity vector towards it. In general, not every neighboring position $z_j$ will influence the dynamics of the $i$-th robot. The collection of all equations \eqref{eq:DS_i} for $i \in \set{0, \dotsc, N-1}$ models the evolution of the configuration.
\clearpage
\begin{definition}\label{def:gathering}
A protocol modeled by \eqref{eq:DS_i} is called \emph{gathering}, if the solution with any initial configuration converges to a \emph{gathering point} $z_i=z^*=(x^*,y^*) \in \R^2$ for all $i$
for $t\to \infty$ and if the system is in equilibrium in any such gathering point, i.e., ${-z^*+f_i(z^*,\dotsc,z^*)=0}$ for all $i$.
The subspace of all gathering configurations is denoted by
\[ \Syn=\set{Z^*=(z^*, \dotsc, z^*) \with z^*\in\R^2}\subseteq \R^{2N}. \]
\end{definition}
In the remainder of this article, we typically consider \emph{linear} strategies, i.e., the target point is a linear combination of the neighboring positions and \eqref{eq:DS_i} has the form
\begin{align}\label{eq:f_lin}
\dot{z_i} = - z_i + \sum_{j=0}^{N-1} w_{i,j}z_j,
\end{align}
where
$w_{i,j} \in \R$ is a constant \emph{weight} which we collect in the \emph{weight matrix} $W=(w_{i,j})_{i,j=0}^{N-1}\in \R^{N\times N}$.
It can readily be seen, that a necessary condition for a linear strategy to be gathering is $z^*=\sum_{j=0}^{N-1} w_{i,j}z^*$, which in turn is satisfied if and only if the weights satisfy
\begin{align}\label{eq:consistent}
\sum_{j=0}^{N-1} w_{i,j} = 1 \text{ for all } i\in\set{0,\dotsc,N-1}.
\end{align}
In this situation, we say that the weights, resp. the weight matrix, and also the linear strategy are \emph{consistent}.
\begin{remark}
\label{rem:non-negative}
A negative weight forces a robot to compute the position of a neighbor \emph{reflected at the origin} and forces it to intentionally \emph{move away} from that neighbor which we deem unnatural to achieve gathering.
We will restrict to non-negative weights below. Furthermore, $w_{i,j}=0$ if and only if $i$ does not use the position of $j$ to compute its target point.
\end{remark}
Collecting all robots' positions in a single vector ${Z = (z_0,\dotsc,z_{N-1})\in \R^{2N}}$, allows us to rewrite \eqref{eq:f_lin} as
\begin{align}\label{eq:Z_lin}
\dot{Z} = \left(-\mathbf{I}_{2N} + \mathbf{W}\right) Z,
\end{align}
where $\mathbf{I}_{2N}\in \R^{2N\times 2N}$ denotes the identity matrix and ${\mathbf{W} \in \R^{2N\times 2N}}$ is given by the Kronecker product
\begin{equation*}
\mathbf{W} := W \otimes \mathbf{I}_2 =
\begin{pmatrix}
w_{0,0} & 0 & \vline & \cdots & \vline & w_{0,N-1} & 0\\
0 & w_{0,0} & \vline & \cdots & \vline & 0 & w_{0,N-1}\\\hline
\vdots & \vdots & \vline & \vdots & \vline & \vdots & \vdots\\\hline
w_{N-1,0} & 0 & \vline & \cdots & \vline & w_{N-1,N-1} & 0\\0 & w_{N-1,0} & \vline & \cdots & \vline & 0 & w_{N-1,N-1}
\end{pmatrix}.
\end{equation*}
In some cases, it turns out to be helpful to arrange the configuration vector as $\widetilde{Z} := (X,Y) \in \R^{2N}$, where ${X = (x_0,\dotsc,x_{N-1}) \in \R^N}$ denotes the $x$-coordinates of the $N$ robots and $Y = (y_0,\dotsc,y_{N-1}) \in \R^N$ the $y$-coordinates, respectively.
In these coordinates, the linear system \eqref{eq:Z_lin} takes the form
\begin{align}\label{eq:tildeZ_lin}
\dot{\T{Z}} = \left(-\mathbf{I}_{2N} + \mathbf{\T{W}}\right)\T{Z}
\end{align}
with
\begin{align*}
\mathbf{\T{W}} := \mathbf{I}_2 \otimes W =
\begin{pmatrix}
W & \vline & \mathbf{0}\\\hline
\mathbf{0} & \vline & W
\end{pmatrix} \in \R^{2N \times 2N}.
\end{align*}
The behavior of linear systems of ordinary differential equations is well understood. Applying the closed form of solutions (e.g. \cite{Teschl.2012}) to the two decoupled systems in \eqref{eq:tildeZ_lin},
we immediately obtain the following result characterizing linear gathering protocols (compare \cite{Kling.2011} for time-discrete systems).
\begin{theorem}
\label{thr:gathering}
A linear protocol modeled by \eqref{eq:f_lin} is gathering if and only if the weight matrix $W\in \R^{N\times N}$ has a simple eigenvalue $1$ with eigenvector $(1,\dotsc,1)^T\in\R^N$ and all other eigenvalues $\lambda\in \C$ satisfy $\Re(\lambda)<1$. In this case, the gathering point is the average of the initial positions $\frac{1}{N}\sum_{i=0}^{N-1}z_i(0)$.
\end{theorem}
\begin{remark}
Seminal works such as \cite{OlfatiSaber.2003,OlfatiSaber.2003b,OlfatiSaber.2004,Moreau.2004,Beard.2003} and many more thereafter have classified gathering protocols (or consensus control strategies in their context) in much more general contexts. Their results typically discuss connectivity properties (cf. \Cref{sec:interaction} below).
\end{remark}
\subsection{A Note on Nonlinear Strategies}
\label{subsec:nonlinear}
The linear model \eqref{eq:f_lin} is idealized, as it does not prevent unbounded velocity and realizes gathering only in the limit $t\to\infty$. Both restrictions are at least problematic for the application.
However, in commonly investigated protocols robots compute their \emph{direction} as a linear combination of the (relative) positions of their neighbors and move with bounded speed until they are gathered. Thus, the velocity vector in \eqref{eq:f_lin} is normalized by a \emph{nonlinear} function $\NN:\R^2\to\R^2$ with $\NN(0) = 0$ as
\begin{equation}
\label{eq:f-lin-normalized}
\dot{z}_i = \NN\left(- z_i + \sum_{j=0}^{N-1} w_{i,j}z_j\right)
\end{equation}
(cf.~\cite{DBLP:series/lncs/KlingH19}).
Since we are interested in gathering protocols and their dynamics, we have to investigate gathering points which we assume to be equilibrium points of \eqref{eq:f-lin-normalized} and their stability properties. These can at least locally be deduced from a linear approximation of the nonlinear system. To that end, arrange all right hand sides of \eqref{eq:f-lin-normalized} into a single vector $F_\NN(Z)$ and rewrite the system in vector notation $\dot{Z}=F_\NN(Z)$, as before. Then locally in a neighborhood of a gathering point ${Z^*\in\Syn}$ the dynamics of the nonlinear system \eqref{eq:f-lin-normalized} is topologically conjugate to that of the linear system
\begin{align}\label{eq:linearized}
\dot{\zeta} = DF_\NN(Z^*)\zeta,
\end{align}
where $\zeta=Z-Z^*$ and $DF_\NN(Z^*)$ is the Jacobian at the gathering point -- this requires $\NN$ to be continuously differentiable. In particular, the local stability properties of $Z^*$ are are the same as the stability properties of the equilibrium $0\in\R^{2N}$ of the linear system \eqref{eq:linearized} which are determined by the spectral properties of $DF_\NN(Z^*)$. For a more detailed exposition of this principle consider for example \cite[Section 8]{HSD13}, and the famous Hartman-Grobman-Theorem (e.g. \cite{Teschl.2012}).
Using the chain rule we can write the Jacobian $DF_\NN(Z^*)$ as
\begin{equation*}
DF_\NN(Z^*) = \left(-\mathbf{I}_N + W\right) \otimes D\NN\left(-z^*+\sum_{j=0}^{N-1} w_{i,j}z^*\right).
\end{equation*}
By the consistency condition \eqref{eq:consistent} it is is reasonable to simplify this equation to \begin{align*}
DF_\NN(Z^*) = \left(-\mathbf{I}_N + W\right) \otimes D\NN(0).
\end{align*}
which is a 'Kronecker-scaled' version of \eqref{eq:Z_lin} by the Jacobian $D\NN(0)\in \R^{2\times 2}$.
Thus, to preserve the structure in \eqref{eq:Z_lin} it suffices to require
\begin{align}\label{eq:DNN}
D\NN(0)=c\mathbf{I}_2,
\end{align}
for some $c\in \R$. In this case we have
\begin{equation*}
DF_\NN(Z^*) = -\mathbf{I}_{2N} + \left((1-c)\mathbf{I}_N + cW\right) \otimes \mathbf{I}_2
\end{equation*}
and it follows that the linearized system \eqref{eq:linearized} is precisely of the form \eqref{eq:Z_lin} with weight matrix $W'=(1-c)\mathbf{I}_N+ cW \in \R^{N\times N}$. In particular, for $c=1$ we have $W'=W$ and all the results on linear systems that we present, can be directly applied locally to nonlinear systems of the form \eqref{eq:f-lin-normalized} as well. For instance, \Cref{thr:gathering} tells us that \eqref{eq:f-lin-normalized} is (locally) gathering if and only if the corresponding non-normalized system \eqref{eq:f_lin} with weight matrix $W\in \R^{N\times N}$ is gathering.
\begin{remark}\quad
\begin{enumerate}[(a)]
\item For instance, the requirement in \eqref{eq:DNN} is satisfied if ${\NN(x,y)=(n(x,y),n(y,x))^T}$ for some smooth function $n:\R^2\to\R$ such that ${n(x,-y)=n(x,y)}$ for all ${x,y\in \R}$. In this case, we have ${c=\frac{\partial}{\partial x}n(0,0) = \frac{\partial}{\partial y}n(0,0)}$.
\item A common approach in distributed computing is to have robots move with constant speed one which requires $\NN(x,y) = \frac{1}{\norm{(x,y)}}(x,y)^T$. However, this is not differentiable in gathering points and cannot be used for our analysis. We instead propose a 'smooth' version
\begin{align}\label{eq:NN_eps}
\NN_\varepsilon(x,y) = \frac{1}{\norm{(x,y)}+ \exp\left(- \frac{\norm{(x,y)}^2}{\varepsilon}\right)}(x,y)^T,
\end{align}
with $\varepsilon>0$. Note that $\NN_\varepsilon$ is of the form discussed in (a) with $c=1$.
For large $\norm{(x,y)}$, the term $\exp\left(-\frac{\norm{(x,y)}^2}{\varepsilon}\right)$ can be neglected, such that $\NN_\varepsilon$ behaves like $\frac{1}{\norm{(x,y)}}$. In the limit $\norm{(x,y)} \to 0$ the exponential term becomes one, and hence so does the entire prefactor. Thus, close to the gathering point the nonlinear system \eqref{eq:f-lin-normalized} is almost linear.
\item In general, any smoothing like \eqref{eq:NN_eps} is a modification of the non-smooth (nonlinear) protocol. Hence, one has to analyze whether the modified strategy is still gathering or how it has to be further modified. In particular, the effects of the limit $\varepsilon \to 0$ have to be studied. We leave this analysis for further research.
\end{enumerate}
\end{remark}
\section{Circulant Interaction Topology}
\label{sec:interaction}
\label{subsec:circulant}
We focus on the situation that the interaction structure is fixed for all times independent of the robots' positions. Pairwise interactions between robots are encoded by a (directed) \emph{graph} $G=(V,E)$. The \emph{vertices} are the robots $V = \set{0, \dotsc, N-1}$ and an \emph{edge} $e=(j,i)\in E \subseteq V\times V$ represents the fact that robot $i$ adapts its movement using the position of robot $j$. In other terms, robot $j$ influences robot $i$. We refer to this graph as the \emph{interaction graph}. In the context of linear strategies we further assume the interaction graph to be \emph{weighted}: each edge $e=(j,i)\in E$ is assigned the \emph{weight} $w_{i,j}$ from \eqref{eq:f_lin}. A commonly considered special case is when the interaction graph is \emph{symmetric} or \emph{undirected}, i.e, the weight matrix $W\in \R^{N\times N}$ is symmetric.
The interaction graph is said to be \emph{connected} (or \emph{weakly connected}) if for any two vertices ${j,i \in\set{0,\dotsc,N-1}}$ there is an \emph{undirected path} from $j$ to $i$. If there is even always an \emph{directed path} the graph is said to be \emph{strongly connected}.
The focus of this article lies in the dynamical analysis of \eqref{eq:f_lin} with a \emph{circulant} interaction topology. The interaction graph is circulant if and only if there are integers $0\le s_1 < \dotsb < s_k \le N-1$ -- sometimes referred to as \emph{jumps} -- such that
\[ (j,i) \in E \iff j = i+s_r \bmod N \text{ for an } r\in\set{1,\dotsc,k}.\footnote{$i+s \bmod N = i+s, \text{ if } i+s< N; i+s-N, \text{ if } i+s \ge N.$} \]
Circulant interaction structure implies that the weight matrix $W\in \R^{N\times N}$ is a \emph{circulant matrix} given by
\begin{equation*}\label{eq:circulant}
\begin{split}
W&=\circulant(w_0,w_1,\dotsc,w_{N-1})\\ &:= \begin{pmatrix}w_{0}&w_{1}&\cdots &w_{N-2}&w_{N-1}\\
w_{N-1}&w_{0}&w_{1}&&w_{N-2}\\
\vdots &w_{N-1}&w_{0}&\ddots &\vdots \\
w_{2}&&\ddots &\ddots &w_{1}\\
w_{1}&w_{2}&\cdots &w_{N-1}&w_{0}
\end{pmatrix} \in \R^{N\times N}.
\end{split}
\end{equation*}
We say the vector $w=(w_0,\dotsc,w_{N-1})$ \emph{generates} the circulant matrix $W$ as $W_{i,j} = w_{(j-i) \bmod N}$ and therefore the underlying graph and topology.
A circulant symmetric matrix $W$ has fewer degrees of freedom. In fact, in this case we have the extra condition
\begin{align*}
w_{N-i} = w_i, \quad i=1,\dotsc,N-1,
\end{align*}
and $W$ is determined by only $\lfloor \frac{N}{2}\rfloor +1$ elements $w_0,\dotsc,w_{\lfloor\frac{N}{2}\rfloor}$.
% \clearpage
\begin{example}\label{ex:running_ex}\quad
\begin{enumerate}[(a)]
\item As a first running example we consider the \nbug{} problem \cite{Watton.1969}. In this protocol each robot $i$ is only influenced by its first right neighbor, which yields a circulant interaction structure of the form $W=\circulant(0,w_1,0\dotsc,0)$ with ${w_1\ne0}$.
Here, we only have one jump $s_1 = 1$ and in \Cref{fig:n-bug_graph} we illustrate its topology.
\begin{figure}[!htb]
\centering
\resizebox{!}{.3\textwidth}{
\input{./pics/N-bug-graph}%
}
\caption{Illustration of the circulant interaction graph of the \nbug{} problem. The arrangement of the vertices does not reflect the physical location of robots.}
\label{fig:n-bug_graph}
\end{figure}
\item As a second running example we consider the \gtm{} protocol (cf. \cite{Kling.2011}). In contrast to the \nbug{} problem, the underlying interaction graph is symmetric. Its weight matrix is given by ${W = \circulant(0,\frac{1}{2},0,\dotsc,\frac{1}{2})}$, i.e., robot $i$ is influenced by its first left and right neighbor.
\item Finally as a third example, we take a look at the (global) \gta{} protocol (also called \gtg{} in \cite{Cohen.2004b}). In this model every robot has global vision and is therefore influenced by all robots (including itself). Hence, the corresponding interaction graph is complete and its weight matrix can be written as $W = \circulant(\frac{1}{N},\dotsc,\frac{1}{N})$. In \Cref{fig:sym_graph-b} its complete interaction graph is illustrated.
\begin{figure}[!htb]
\centering
\subfloat[Interaction graph of the \gtm{} protocol]{
\label{fig:sym_graph-a}
\resizebox{!}{0.3\textwidth}{
\input{./pics/gtm-graph}%
}
}
\hfil
\subfloat[Complete interaction graph of the \gta{} protocol]{
\label{fig:sym_graph-b}
\resizebox{!}{0.35\textwidth}{
\input{./pics/gta-graph}%
}
}
\caption{Illustration of circulant and symmetric interaction graphs. Note that the arrow tips may have been omitted due to its symmetric nature.}
\label{fig:sym_graph}
\end{figure}
\end{enumerate}
\end{example}
The classification of circulant gathering protocols follows as a consequence of Theorem~3.2 in \cite{Beard.2003}, Theorem~4 in \cite{OlfatiSaber.2004}, and the observation that the consistency condition \eqref{eq:consistent} is necessary for a protocol to be gathering as outlined below \eqref{eq:f_lin}. In fact, under the assumption of consistency, the system matrix $-\mathbf{I}_{2N} + \mathbf{W}$ in \eqref{eq:Z_lin} equals $L\otimes \mathbf{I}_2$, where $L$ is the graph Laplacian matrix of the weighted interaction graph so that these results apply.
\clearpage
\begin{theorem}
\label{thr:gathering-circulant}
For a circulant linear protocol modeled by \eqref{eq:f_lin} with weight matrix $W=\circulant(w_0,\dotsc,w_{N-1})\in \R^{N\times N}$, where $w_i\ge0$ for $i=0,\dotsc,N-1$, the following are equivalent:
\begin{enumerate}[(i)]
\item The protocol is gathering.
\item The interaction graph is connected and the weight matrix is consistent ${\sum_{i=0}^{N-1}w_i=1}$.
\end{enumerate}
\end{theorem}
\noindent
We would like to point out that weak and strong connectivity of a circulant graph are equivalent and thus we drop the distinction. Connectivity of a circulant graph can be determined using a purely combinatorial condition: $G$ is connected if and only if $\gcd (N,s_1,\dotsc,s_k) = 1$ (cf.~\cite[Corollary 1]{vanDoorn.1986}).
\begin{example}\label{ex:circ_gathering}
Consider again the protocols of our running \Cref{ex:running_ex} whose interaction graphs are connected due to the previous remark.
\begin{enumerate}[(a)]
\item Applying the results of \Cref{thr:gathering-circulant} to the \nbug{} problem yields that it is gathering if and only if its generating weight vector $w\in \R^N$ has the form
${w=(0,1,0,\dotsc,0)^T \in \R^N}$.
\item \Cref{thr:gathering-circulant} implies that the only gathering linear protocol on the undirected next neighbor graph \Cref{fig:sym_graph-a} is the \gtm{} protocol.
\item Similarly, \Cref{thr:gathering-circulant} implies that the \gta{} protocol is gathering. It is, in fact, the only gathering linear protocol on the complete undirected graph for which all weights are equal.
\end{enumerate}
\end{example}
\section{A hierarchy of convergence rates in circulant gathering systems}\label{sec:hierachy}
In the previous parts of this article, we have studied conditions for linear (circulant) protocols to be gathering. For a circulant interaction graph, i.e., a circulant weight matrix $W\in \R^{N\times N}$, we can actually exploit its structure even more to describe the dynamics of such protocols more precisely. As indicated in {\color{blue}\Cref{thr:gathering}}, the longtime behavior of \eqref{eq:f_lin} mainly depends on the spectral properties of $W \in \R^{N\times N}$. Fortunately, all eigenvalues and eigenvectors can be analytically derived for such a circulant matrix (see e.g. \cite{G05}).
\begin{proposition}\label{prop:circ_spectral}
Let $W\in \R^{N\times N}$ be a circulant matrix generated by a vector $w=(w_0,\dotsc,w_{N-1})^T\in \R^N$. Then its eigenvectors $v_j\in \C$ ($j=0,\dotsc,N-1)$ are given by
\begin{align}\label{eq:EV}
v_j = (1, \omega^j, \omega^{2j},\dotsc,\omega^{(N-1)j})^T \in \C^N,
\end{align}
where $\omega = \exp{\left(\frac{2\pi \mathbf{i}}{N}\right)}$ is a primitive $N$-th root of unity.
The corresponding eigenvalues are given by
\begin{align}\label{eq:EW}
\lambda_j = \sum_{i=0}^{N-1} w_i\omega^{ij} \in \C.
\end{align}
\end{proposition}
\clearpage
\begin{remark}\label{rem:circ_EW}\quad
\begin{enumerate}[(a)]
\item For $j=0$, we obtain the vector ${v_0=(1,\dotsc,1)^T\in \R^N}$ as an eigenvector with corresponding (simple) eigenvalue $\lambda_0 = \sum_{i=0}^{N-1} w_i$, which has to be one for the protocol to be gathering according to \Cref{thr:gathering}.
\item Since $W\in \R^{N\times N}$ has real-valued entries, we may immediately compute
\begin{align}\label{eq:lambda_bar}
\lambda_j = \overline{\lambda_{N-j}} \text{ for } j=1,\dotsc, N-1,
\end{align}
which implies for even $N=2k$ that $\lambda_k\in \R$ is real-valued. Moreover, if $W \in \R^{N\times N}$ is symmetric, \eqref{eq:lambda_bar} reduces to
\begin{align*}
\lambda_j = \lambda_{N-j} \text{ for } j=1,\dotsc, N-1,
\end{align*}
and the eigenvalues $\lambda_1,\dotsc, \lambda_{\lfloor\frac{N-1}{2}\rfloor} \in \R$ are duplicated.
\item By definition \eqref{eq:EV}, all eigenvectors $v_j\in \C^N$ are independent of the generating vector $w\in \R^N$, i.e., the given circulant protocol.
In \Cref{fig:EV_C} we visualize the eigenvectors $v_j\in \C$, $j\neq 0$, in the complex plane for some $N\in \N$.
\begin{figure*}[!htb]
\centering
\subfloat[$N = 6$]{
\label{fig:EV_C-a}
\includegraphics[width=0.32\textwidth]{./pics/EV_6_1.eps}
\hfill
\includegraphics[width=0.32\textwidth]{./pics/EV_6_2.eps}
\hfill
\includegraphics[width=0.32\textwidth]{./pics/EV_6_3.eps}
}\\
\subfloat[$N = 7$]{
\label{fig:EV_C-b}
\includegraphics[width=0.32\textwidth]{./pics/EV_7_1.eps}
\hfill
\includegraphics[width=0.32\textwidth]{./pics/EV_7_2.eps}
\hfill
\includegraphics[width=0.32\textwidth]{./pics/EV_7_3.eps}
}
\caption{Visualization of the complex-valued eigenvectors $v_j\in \C^N$, $j\neq 0$, of a circulant matrix in the complex plane for (a) $N=6$ and (b) $N=7$.
Here, the number $i$ next to the blue dots correspond to $i$-th entry of $v_j\in \C$. The connections in gray between the points illustrate the (cyclically) ascending index $i = 0,1,\dots,N-1$. In particular, it does not indicate any dynamical influences according to an underlying interaction graph, i.e., the generating vector $w\in \R^N$. Note that, by definition all points are on the unit circle and thus form a regular $N$-polygon (see \eqref{eq:EV}). For increasing $j$, if $N=2k$ is even, the $N$-polygon 'degenerates' since some entries are the same, while for $N=2k+1$ only the ordering changes.
Later on, we assign to every entry of $v_j\in \C$ its corresponding robot such that the dots also represent the position $x_i = \Re((v_j)_i))$ and $y_i = \Im((v_j)_i)$ of the $i$-th robot in the Euclidean plane (by changing the axis labels accordingly). Hence, the \emph{generating} configuration of the stable invariant subspace $V_j\subseteq \R^{2N}$ in the Euclidean plane is also visualized (cf. \Cref{thm:decomp}.}
\label{fig:EV_C}
\end{figure*}
\end{enumerate}
\end{remark}
For the upcoming analysis we consider the form \eqref{eq:tildeZ_lin} of the protocol as its block-diagonal structure is most useful to derive solutions in closed form.
In general, solutions of \eqref{eq:tildeZ_lin} are linear combinations of the so-called fundamental solutions
\begin{equation}
\label{eq:fund_sol}
\begin{split}
\T{Z}_{j,i}^x(t) & = e^{(\lambda_j-1)t} \sum_{\ell = 0}^i \frac{t^\ell}{\ell!}(\xi_{j,\ell},0),\\
\T{Z}_{j,i}^y(t) & = e^{(\lambda_j-1)t} \sum_{\ell = 0}^i \frac{t^\ell}{\ell!}(0,\xi_{j,\ell})
\end{split}
\end{equation}
where $\lambda_0,\dotsc,\lambda_k$ are the eigenvalues of $W$ counting geometric multiplicities and
\begin{equation*}
\xi_{0,1}, \dotsc, \xi_{0,m_0}, \dotsc, \xi_{k,1},\dotsc, \xi_{k,m_k} \in \C^N
\end{equation*}
are the corresponding eigenvectors and generalized eigenvectors: $(W-\lambda_j\mathbf{I}_N)\xi_{j,0}=0$ and $(W-\lambda_j\mathbf{I}_N)\xi_{j,i}=\xi_{j,i-1}$ for $j=0,\dotsc,k$ and $i=2,\dotsc,m_j$.
By \Cref{prop:circ_spectral} a circulant matrix $W$ is diagonalizable as the eigenvectors $v_j\in \C^N$ are linearly independent. Thus, these fundamental solutions reduce to
\begin{align*}
\T{Z}_{j}^x(t) = e^{(\lambda_j-1)t}\begin{pmatrix}v_{j}\\0\end{pmatrix} \text{ and }
\T{Z}_{j}^y(t) = e^{(\lambda_j-1)t}\begin{pmatrix}0\\v_{j}\end{pmatrix},
\end{align*}
i.e, $m_j = 1$ and $\xi_{j,0} = v_j$ for $j=0,\dotsc,N-1$.
However, for $j\neq 0$, the eigenvector $v_j$ and its corresponding eigenvalue $\lambda_j$ is, in general, complex-valued, which gives little to no possibility for interpretation in terms of configurations of $N$ robots moving in the two-dimensional Euclidean plane.
\clearpage
To address this problem, we proceed as follows:
Let $N=2k$ be even or $N=2k+1$ be odd. First, for any $j=1,\dotsc,k$, we consider the pair $v_j \in \C^N$ and its complex conjugate $\overline{v_j}=v_{N-j}\in \C^N$ and define the subspace $\T{V}_j \subseteq \R^N$ spanned by the real- and imaginary parts of $v_j$ and $v_{N-j}$, which is
\begin{align*}
\T{V}_j = \Span\left(\Re(v_j),\Im(v_j)\right) \subseteq \R^N.
\end{align*}
For $N=2k$ even, $\T{V}_k$ simply becomes $\T{V}_k = \Span\left(v_k\right) \subseteq \R^N$, since $v_k$ has in fact real-valued entries (cf. \Cref{rem:circ_EW} (b)).
By abusing the notation and considering $\T{V}_j$ to be also the matrix containing the basis vectors of $\T{V}_j$ we immediately have
\begin{align}\label{eq:block}
W \T{V}_j = \T{V}_j \Lambda_j \text{ with } \Lambda_j = \begin{pmatrix}\Re(\lambda_j)& -\Im(\lambda_j)\\ \Im(\lambda_j) &\Re(\lambda_j)
\end{pmatrix}
\end{align}
since the pair of eigenvalues $\lambda_j \in \C$ and $\overline{\lambda_j} = \lambda_{N-j}$ act as a matrix $\Lambda_j \in \R^{2\times 2}$ in the subspace $\T{V}_j \subseteq \R^N$. For brevity we will use this double meaning from now on. For $N=2k$ even, \eqref{eq:block} reduces to the eigenvalue equation $Wv_k = \Lambda_k v_k$ for $\Lambda_k = \lambda_k \in \R$. Finally, we set $\T{V}_0 = \Span\left(v_0\right)$ and ${\Lambda_0 = \lambda_0 = 1}$.
As the eigenvectors $v_j\in \C^N$ are linearly independent, we obtain a decomposition $\R^N = \bigoplus_{j=0}^{k} \T{V}_j$, in which the weight matrix $W\in \R^{N\times N}$ becomes a block-diagonal of the form
\begin{align}\label{eq:block_TV}
\T{V}^{-1} W \T{V} =
\begin{pmatrix}
\Lambda_0 & & & \\
& \Lambda_1 & & \\
& & \ddots & \\
& & & \Lambda_{k}
\end{pmatrix} \in \R^{N\times N}
\end{align}
where $\T{V} = (\T{V}_0\dotsb \T{V}_{k}) \in \R^{N\times N}$.
Now, recall the block-diagonal structure in $\mathbf{\T{W}}\in \R^{2N\times 2N}$, which corresponds to the disconnected dynamical behavior of both coordinates of all robots. Hence, the subspace $\T{V}_j \subseteq \R^N$ can be considered as either $x$- or $y$-coordinates and we set
\begin{align*}
V^x_j &= \Span\left(\begin{pmatrix}\Re(v_j)\\0\end{pmatrix}, \begin{pmatrix}\Im(v_j)\\0\end{pmatrix}\right) \subseteq \R^{2N},\\
V^y_j &= \Span\left(\begin{pmatrix}0\\ \Re(v_j)\end{pmatrix}, \begin{pmatrix}0\\ \Im(v_j)\end{pmatrix}\right) \subseteq\R^{2N}.
\end{align*}
As both $V^x_j \subseteq \R^N$ and $V^x_j \subseteq \R^N$ correspond to the same eigenvalue, we build their direct sum and define
\begin{align}\label{eq:Vj_}
V_j &= V_j^x \oplus V_j^y = \Span\left(\begin{pmatrix}\Re(v_j)\\0\end{pmatrix}, \begin{pmatrix}\Im(v_j)\\0\end{pmatrix}, \begin{pmatrix}0\\ \Re(v_j)\end{pmatrix}, \begin{pmatrix}0\\ \Im(v_j)\end{pmatrix}\right).
\end{align}
which by construction is an invariant subspace of the model \eqref{eq:tildeZ_lin}.
For this decomposition $\R^{2N} = \bigoplus_{j=0}^{k} V_j$ the matrix ${\mathbf{\T{W}}\in \R^{2N\times 2N}}$ in \eqref{eq:tildeZ_lin} becomes
\begin{align}\label{eq:block_V}
V^{-1} \T{W} V = \begin{pmatrix}
\Lambda_0 & & & \\
& \Lambda_0 & & \\
& & \ddots & \\
& & & \Lambda_{k}\\
& & & & \Lambda_{k}
\end{pmatrix} \in \R^{2N\times 2N}
\end{align}
where $V = \left(V_0 \dotsb V_{k}\right) \in \R^{2N\times 2N}$.
For $j=0$, we recover the $2$-dimensional subspace ${\Syn \subseteq \R^{2N}}$ of all gathering points (in $\T{Z}$-coordinates).
If $j\neq 0$, then there is a pair of eigenvalues $\lambda_j \in \C$ and $\overline{\lambda_j}=\lambda_{N-j} \in \C$ (or simply $\lambda_k \in \R$ for $N=2k$ even) belonging to $V_j \subseteq \R^{2N}$ and we call the real part $\Re(\lambda_j)\in \R$ \emph{convergence rate} in $V_j\subseteq \R^{2N}$.
Note that $\Re(\lambda_j)< 1 $ for $j\neq 0$ as we assume the underlying protocol to be gathering.
Hence, $V_j \subseteq \R^{2N}$ is a \emph{stable invariant subspace} of \eqref{eq:tildeZ_lin} meaning solutions starting in one of the $V_j\subseteq \R^{2N}$ remain in $V_j\subseteq \R^{2N}$ for all times and converge with convergence rate $\Re(\lambda_j)$ to $0$ exponentially fast.
The smaller $\Re(\lambda_j) < 1$ is, the faster the solution converges.
As an arbitrary initial configuration $\T{Z}\in \R^{2N}$ can be written as a linear combination of the basis vectors of all $V_j\subseteq \R^{2N}$, we conclude that for $j\neq 0$ every part in $V_j\subseteq \R^{2N}$ vanishes as time proceeds and only the gathering point in $V_0 \subseteq \R^{2N}$ remains (cf. \Cref{cor:decomp}).
Moreover, if there is a convergence rate $\Re(\lambda_s)$ such that
\[
\Re(\lambda_s) < \Re(\lambda_j) \quad \forall j\neq s,
\]
the subspace $V_s\subseteq \R^{2N}$ is called \emph{strong stable invariant subspace}. In this case, the convergence rate of any configuration in $V_s\subseteq \R^{2N}$ is faster than any configuration in any other $V_j \subseteq \R^{2N}$ for $0\neq j\neq s$.
For odd $N\in \N$, every subspace $V_j\subseteq \R^{2N}$, $j\neq 0$, is $4$-dimensional. However, if $N=2k$ is even, the subspace $V_k\subseteq \R^{2N}$ for $j=k$ is only $2$-dimensional which is due to the fact that $v_k\in \R^N$ has only real-valued entries.
By definition of $V_j\subseteq \R^{2N}$ in \eqref{eq:Vj_} the spanning vectors correspond to configurations, where all robots have only non-zero components in one coordinate ($x$ or $y$). Thus, in particular for visualization purposes of the configurations contained in $V_j\subseteq\R^{2N}$ in the Euclidean plane, we propose the following basis instead
\begin{align*}
V_j = \Span\left(\begin{pmatrix}\Re(v_j)\\ \Im(v_j)\end{pmatrix}, \begin{pmatrix}\Im(v_j)\\\Re(v_j)\end{pmatrix}, \begin{pmatrix}\Re(v_j)\\ -\Im(v_j)\end{pmatrix}, \begin{pmatrix}-\Im(v_j)\\ \Re(v_j)\end{pmatrix}\right).
\end{align*}
Here, the later three basis vectors (considered as points/robots in the Euclidean plane) are reflections of the first one. In this sense, we say $v_j\in \C^N$, respectively the configuration $\left(\Re(v_j),\Im(v_j)\right)^T\in \R^{2N}$, \emph{generates} the subspace $V_j\subseteq \R^{2N}$. In particular, the $x$-coordinate of the $i$-th robot is given by the real part of the $i$-the entry of $v_j\in \C^N$, while its $y$-coordinate is the corresponding imaginary part.
Hence, the generating configuration $\left(\Re(v_j),\Im(v_j)\right)^T\in \R^{2N}$ of $V_j\subseteq \R^{2N}$ can be visualized as in \Cref{fig:EV_C} by simply changing the axis labels to $x$ and $y$.
However, note that by choosing this adapted basis, the block structure into blocks $\Lambda_j$ in \eqref{eq:block_V} is slightly changed as we will get $\dim V_j \times \dim V_j$-dimensional blocks instead.
We summarize the results found above in the following theorem and state that the $2N$-dimensional state space of a linear circulant gathering protocol can decomposed as follows.
\begin{theorem}\label{thm:decomp}
For a linear circulant gathering protocol of $N\in \R$ robots there exist a family of stable invariant subspaces $\left(V_j\right)_{j=1}^k\subseteq \R^{2N}$ with convergence rates $\Re(\lambda_j) < 1$
and a {$2$-dimensional} subspace $\Syn\subseteq \R^{2N}$ of gathering points such that
\begin{align}\label{eq:decomp}
\R^{2N} = \Syn \oplus \left(\bigoplus_{j=1}^k V_j\right), \text{ where}
\end{align}
\vspace{-1em}
\begin{enumerate}[(i)]
\item if $N=2k+1$ is odd, then every subspace $V_j \subseteq \R^{2N}$ is $4$-dimensional.
\item if $N=2k$ is even, then the subspace $V_k \subseteq \R^{2N}$ is $2$-dimensional, whereas the remaining $V_j\subseteq \R^{2N}$, $j\neq k$, are $4$-dimensional.
\end{enumerate}
Moreover, each subspace $V_j\subseteq \R^{2N}$ is spanned by a generating eigenvector $v_j \in \C^N$ of the weight matrix $W\in \R^{N\times N}$ in the sense that
\begin{align*}
V_j = \Span\left(\begin{pmatrix}
\Re(v_j)\\ \Im(v_j)
\end{pmatrix}, \begin{pmatrix}
\Im(v_j)\\ \Re(v_j)
\end{pmatrix}, \begin{pmatrix}
\Re(v_j) \\ -\Im(v_j)
\end{pmatrix}, \begin{pmatrix}
-\Im(v_j)\\ \Re(v_j)
\end{pmatrix}\right).
\end{align*}
As indicated in \Cref{rem:circ_EW} (c) this decomposition in \eqref{eq:decomp} is the identical for every linear circulant gathering protocol. Only the explicit values of the convergence rates $\Re(\lambda_j)$ depend on the protocol itself.
\end{theorem}
\begin{example}\label{ex:EW}
We apply \Cref{thm:decomp} to the running \Cref{ex:running_ex} in order to illustrate the dynamical hierarchy of the decomposition \eqref{eq:decomp}. To this end, we explicitly compute the eigenvalues $\lambda_j \in \C$, the corresponding convergence rates $\Re(\lambda_j) \in \R$ and visualize the generating configurations $\left(\Re(v_j),\Im(v_j)\right)^T\in \R^{2N}$.
\begin{enumerate}[(a)]
\item For the \nbug{} problem we have ${w=(0,1,0,\dotsc,0)^T \in \R^N}$ (cf. \Cref{ex:circ_gathering} (a)) which by using the eigenvalue formula \eqref{eq:EW} gives us
\begin{align*}
\lambda_j = \omega^j = \cos\left(\frac{2\pi j}{N}\right) + \mathbf{i}\sin\left(\frac{2\pi j}{N}\right)
\end{align*}
and thus $\Re(\lambda_j) = \cos\left(\frac{2\pi j}{N}\right)$ for $j=0,1,\dotsc,N-1$. For some choices of $N\in \N$ we illustrate the convergence rates in \Cref{fig:conv_rates}.
\begin{figure}[!htb]
\centering
\subfloat[$N=3$]{
\label{fig:conv_rates_a}
\includegraphics[width=0.3\textwidth]{./pics/N-bug-EW_3.eps}
}
\hfill
\subfloat[$N=4$]{
\label{fig:conv_rates_b}
\includegraphics[width=0.3\textwidth]{./pics/N-bug-EW_4.eps}
}
\hfill
\subfloat[$N=5$]{
\label{fig:conv_rates_c}
\includegraphics[width=0.3\textwidth]{./pics/N-bug-EW_5.eps}
}\\
\subfloat[$N=6$]{
\label{fig:conv_rates_d}
\includegraphics[width=0.3\textwidth]{./pics/N-bug-EW_6.eps}
}
\hfill
\subfloat[$N=7$]{
\label{fig:conv_rates_e}
\includegraphics[width=0.3\textwidth]{./pics/N-bug-EW_7.eps}
}
\hfill
\subfloat[$N=8$]{
\label{fig:conv_rates_f}
\includegraphics[width=0.3\textwidth]{./pics/N-bug-EW_8.eps}
}
\caption{Illustration of the convergence rates $\Re(\lambda_j)$ of the \nbug{} problem and the \gtm{} protocol for $N\in \set{3,\dotsc,8}$ by red stars. For reference the cosine curve is also plotted in blue. As observed in \Cref{rem:circ_EW} (b) the convergence rates $\Re(\lambda_j)$ are symmetrically distributed (for $j\neq 0$).}
\label{fig:conv_rates}
\end{figure}
Note that they are strictly decreasing in $j$ (up to $k$), i.e., $\Re(\lambda_{j}) > \Re(\lambda_{j+1})$ for $j<k$. Hence, the stable subspaces $V_j\subseteq \R^{2N}$ are hierarchically ordered such that any configuration $Z \in V_j$ converges faster to a gathering point than any other configuration $\T{Z} \in V_i$ for $i<j$. For $N=6$ and $N=7$ their generating configurations are visualized in \Cref{fig:EV_C}.
In particular, this model has a strong stable subspace $V_k \subseteq \R^{2N}$ with corresponding convergence rate ${\Re(\lambda_k) = \cos\left(\frac{2\pi k}{N}\right)}$.
For $N=2k$ even, this strong stable subspace is $2$-dimensional and $\Re(\lambda_k) = -1$. Its generating configuration is illustrated in the right panel of \Cref{fig:EV_C-a}.
On the other hand, for $N=2k+1$ odd, it is $4$-dimensional with $\Re(\lambda_k) = \cos\left(\frac{2\pi k}{2k+1}\right)$.
\item Since the \gtm{} protocol is symmetric, we have real-valued eigenvalues $\lambda_j \in \R$ (cf. \Cref{rem:circ_EW} (b)), i.e., they coincide with the convergence rates $\Re(\lambda_j)$. Using the eigenvalue formula \eqref{eq:EW} with ${w=(0,\frac{1}{2},0,\dotsc,\frac{1}{2})^T \in \R^N}$ we compute
\[ \lambda_j = \Re(\lambda_j) = \cos\left(\frac{2\pi j}{N}\right) \text{ for } j=0,\dots, N-1. \]
Observe that the convergence rates for this protocol are the same as for the \nbug{} problem discussed in (a) whose rates are illustrated in \Cref{fig:conv_rates}.
In particular, we obtain the same hierarchical decomposition. Note that, from the dynamical systems perspective both models gather at the same speed. As the decomposition \eqref{eq:decomp} is independent of the generating vector $w\in \R^N$, the generating configurations are also visualized in \Cref{fig:EV_C}.
\item The generating vector $w=(\frac{1}{N},\dotsc,\frac{1}{N})^T \in \R^N$ of the \gta{} protocol yields the eigenvalues
\begin{align*}
\lambda_j = \frac{1}{N} \sum_{i=0}^{N-1}\omega^{ij} = \begin{cases}
1, &\text{if } j=0,\\
0, &\text{if } j\neq 0,
\end{cases}
\end{align*}
since the average of the $N$-th roots of unity vanishes for $j\neq0$. Again, by the symmetry of the protocol all eigenvalues $\lambda_j$ are indeed real and thus coincide with the convergence rates. In particular, for this protocol we have $\Re(\lambda_j) = 0$ for all $j\neq 0$ and every configuration converges with the same speed. Even though \Cref{thm:decomp} decomposes the state space into stable subspaces $V_j\subseteq \R^{2N}$ (also shown in \Cref{fig:EV_C}), they cannot be distinguished by their convergence rates $\Re(\lambda_j)\in \R$.
\end{enumerate}
\end{example}
For the dynamics of an given arbitrary initial configuration ${\T{Z}\in \R^{2N}}$ an immediate consequence of \Cref{thm:decomp} is the following.
\begin{corollary}\label{cor:decomp}
Let $\T{Z}(0) = (X(0),Y(0)) \in \R^{2N}$ be an initial configuration and the state space $\R^{2N}$ be decomposed as in \eqref{eq:decomp}. Then the solution $\T{Z}(t)\in \R^{2N}$ of the linear gathering protocol \eqref{eq:tildeZ_lin} with initial condition $\T{Z}(0)\in \R^{2N}$ can be written as
\begin{align}\label{eq:decomp_2}
\T{Z}(t) = \T{Z}^* + \sum_{j=1}^k \alpha_j(t)~\Xi_j(t), \text{ where}
\end{align}
\begin{enumerate}[(i)]
\item $\T{Z}^* = (X^*,Y^*) = (x^*,\dotsc,x^*,y^*,\dotsc,y^*)$ is the final gathering point of $\T{Z} \in \R^{2N}$. In particular, ${x^* = \frac{1}{N} \sum_{i=0}^{N-1} X_i(0)}$ and $y^* = \frac{1}{N} \sum_{i=0}^{N-1} Y_i(0)$.
\item $\alpha_j(t) = \exp((-1+\Re(\lambda_j))t) \in \R$ is the exponentially decaying coefficient corresponding to $\Xi_j(t) \in V_j$.
\item by abusing notation, $\Xi_j(t) = V_j \beta_j(t) \in V_j$ for some coefficient vector $\beta_j(t) \in \R^{\dim V_j}$ with constant norm, i.e., $\norm{\beta_j(t)}_2 = \norm{\beta_j(0)}_2$ for all $t \geq 0$.
\end{enumerate}
\end{corollary}
\begin{example}
We illustrate the consequences of \Cref{cor:decomp} for the \nbug{} problem.
For $N=7$, we show in \Cref{fig:init} a random initial configuration $\T{Z} \in \R^{2N}$ as well as its final gathering point $\T{Z}^*\in \R^{2N}$. The corresponding exponentially decaying coefficients $\alpha_j(t) \in \R$ are plotted in \Cref{fig:alpha}.
\begin{figure}[!htb]
\centering
\subfloat[$\T{Z}(0)\in \R^{2N}$ and $\T{Z}^*\in \R^{2N}$]{
\label{fig:init}
\includegraphics[width=0.35\textwidth]{./pics/init_config.eps}
}
\hfil
\subfloat[Trajectory of $\alpha_j(t) \in \R$]{
\label{fig:alpha}
\includegraphics[width=0.35\textwidth]{./pics/alpha.eps}
}
\caption{Visualization of a random initial configuration $\T{Z}(0)\in \R^{2N}$ and its gathering point $Z^*\in \R^{2N}$ (red cross) in the Euclidean plane for $N=7$ in (a). Its corresponding decaying coefficients $\alpha_j(t) \in \R$ are shown in (b). Note that $\alpha_j(t) \in \R$ decreases faster for increasing $j$, which illustrates the dynamical hierarchy discussed in \Cref{ex:EW} (a).}
\end{figure}
Moreover, the initial decomposition into $\Xi_j(0)\in V_j$ is visualized in \Cref{fig:decomp-xi}, whereas the coefficients $\beta_j(t)\in \R^{\dim V_j}$ are shown in \Cref{fig:decomp-beta}. A related short movie of the simulation of $\T{Z}(t)\in \R^{2N}$ and $\Xi_j(t)\in V_j$ can be found online at this page:
\urlstyle{same}
\url{https://math.uni-paderborn.de/en/ag/chair-of-applied-mathematics/research/research-projects/swarmdynamics}
\begin{figure*}[!htb]
\centering
\subfloat[Initial decomposition of $\T{Z}(0)$ into $\Xi_j(0) \in V_j$.]{
\label{fig:decomp-xi}
\includegraphics[width=0.33\textwidth]{./pics/Xi_1.eps}
\hfill
\includegraphics[width=0.33\textwidth]{./pics/Xi_2.eps}
\hfill
\includegraphics[width=0.33\textwidth]{./pics/Xi_3.eps}
}\\
\subfloat[Trajectory of the corresponding coefficients $\beta_j(t) \in \R^{\dim V_j}$ such that $\Xi_j(t) = V_j \beta_j(t) \in V_j$.]{
\label{fig:decomp-beta}
\includegraphics[width=0.33\textwidth]{./pics/beta_1.eps}
\hfill
\includegraphics[width=0.33\textwidth]{./pics/beta_2.eps}
\hfill
\includegraphics[width=0.33\textwidth]{./pics/beta_3.eps}
}
\caption{Illustration of the decomposition \eqref{eq:decomp_2} and its individual dynamics. Note that $\beta_j(t)\in \R^{\dim V_j}$ only consists of sinusoidal curves since the decaying part is contained in $\alpha_j(t)\in \R$. In particular, we have $\norm{\beta_j(t)} =\norm{\beta_j(0)}$ for all $t\geq 0$.}
\label{fig:decomp}
\end{figure*}
\end{example}
\section{Robots with Limited Vision}
\label{sec:limited-vision}
One of the key issues in current distributed computing research is to develop and analyze protocols which use only local information: realistically, the robots have a limited viewing range $\mathcal{C}>0$ within which they can perceive the positions of other robots.
While synchronization results under similar constraints are available (e.g. \cite{OlfatiSaber.2003b}), it remains largely unclear if visibility of different agents with a limited vision radius can be preserved under the dynamics. In fact, if two communicating robots lose sight of each other a local deterministic protocol cannot guarantee that they will ever regain sight of each other \cite{DBLP:series/lncs/KlingH19}.
We conclude with a brief outlook on this question.
A matrix $W\in\R^{N\times N}$ is called \emph{non-defective} if all its eigenvalues are real and their algebraic and geometric multiplicities agree. For a non-defective matrix all fundamental solutions \eqref{eq:fund_sol} are real and of the form exponential multiplied with a constant vector.
In original coordinates, the same can be seen for individual robots $z_i(t)$ and by linearity also for differences of two robots.
For a gathering protocol, all exponentials are strictly decreasing in $t$ or constant. In particular, the distance between two arbitrary robots cannot increase.
\begin{proposition}
\label{prop:visibility-defective}
Consider a linear gathering protocol with weight matrix $W\in\R^{N\times N}$ and a valid initial configuration $z_0(0),\dotsc,z_{N-1}(0)\in\R^2$, that is,
\[ \|z_i(0)-z_j(0)\| \le \mathcal{C} \quad\text{for all } (j,i)\in E. \]
If $W\in \R^{N\times N}$ is non-defective then visibility is preserved under the dynamics, i.e.,
\[ \|z_i(t)-z_j(t)\| \le \mathcal{C} \quad\text{for all } t\geq 0 \text{ and } (j,i)\in E. \]
\end{proposition}
Circulant communication strategies are not necessarily non-defective. For instance, $W=\circulant(0,5,-4)$ describes a circulant linear gathering strategy according to \Cref{thr:gathering} but has complex eigenvalues. The initial condition $z_0(0)=(0,0)$, $z_1(0)=\frac{1}{\sqrt{10}}(-\mathcal{C},3\mathcal{C})$, $z_2(0)=\frac{1}{\sqrt{10}}(-2\mathcal{C},2\mathcal{C})$ satisfies $\|z_0(0)-z_1(0)\| = \mathcal{C}$ and $\|z_i(0)-z_j(0)\|\le\mathcal{C}$ for all $i,j$. However, one readily observes that the distance between robots $0$ and $1$ increases for small $t>0$ and therefore these robots lose sight of each other.
This example depends crucially on the fact that there are negative weights. If we restrict to non-negative weights we may prove that visibility is preserved by gathering protocols. The proof uses the consistency of the weight matrix of a gathering circulant protocol to show that the two maximally distant robots cannot move further away from each other.
\begin{proposition}
\label{prop:visibility-circulant}
Consider a circulant linear gathering protocol with weight matrix $W=\circulant(w_0,\dotsc,w_{N-1})\in\R^{N\times N}$ and assume all weights are non-negative: $w_i\ge0$ for all $i\in\set{0,\dotsc,N-1}$. Let ${z_0(0),\dotsc,z_{N-1}(0)\in\R^2}$ be a valid initial configuration, that is,
\[ \|z_i(0)-z_j(0)\| \le \mathcal{C} \quad\text{for all } (j,i)\in E. \]
Then, visibility is preserved under the dynamics, i.e.,
\[ \|z_i(t)-z_j(t)\| \le \mathcal{C} \quad\text{for all } t\geq 0 \text{ and } (j,i)\in E. \]
\end{proposition}
\begin{proof}
Throughout this proof, we use the convention that robot indices are counted $\bmod~N$, as outlined in \Cref{subsec:circulant}. In particular, the equations of motion \eqref{eq:f_lin} become
\begin{equation}
\label{eq:f-lin-circ}
\dot{z}_i = -z_i + \sum_{j=0}^{N-1} w_j z_{i+j}.
\end{equation}
Fix $(j,i)\in E$ such that
\[ \|z_i(0)-z_j(0)\| = \max_{(l,k)\in E} \|z_k(0)-z_l(0)\|. \]
That is, robots $i$ and $j$ are furthest apart initially among those that do communicate. We drop the time-dependence in notation and compute
and estimate
\begin{align*}
\frac{\mathrm{d}}{\mathrm{d}t} \|z_i-z_j\|^2
&= 2 \left( - \| z_i-z_j \|^2 + \sum_{k=0}^{N-1} w_k \langle z_i-z_j, z_{i+k}-z_{j+k} \rangle \right) \\
&\le 2 \left( - \| z_i-z_j \|^2 + \sum_{k=0}^{N-1} w_k \| z_i-z_j \| \cdot \| z_{i+k}-z_{j+k} \| \right) \\
&\le 2 \|z_i-z_j\|^2 \left(-1+\sum_{k=0}^{N-1} w_k \right) \le 0.
\end{align*}
Therein, the first estimate is due to the Cauchy-Schwarz inequality. For the second estimate, note that the sum in the third expression contains only terms $\| z_{i+k}-z_{j+k} \|$ for $(j+k,i+k)\in E$ which satisfy $\| z_{i+k}-z_{j+k} \| \le \| z_{i}-z_{j} \|$ by assumption.
In fact, since $W=(w_{i,j})_{i,j=1}^{N-1}$ is circulant, we have $w_{i+k,j+k}=w_{i,j}=w_l\ne 0$ for $j=i+l\bmod N$ and any $k \in \set{0,\dotsc,N-1}$. Thus, also $(j+k,i+k)\in E$.
The final estimate is due to the fact that $W$ is consistent.
Hence, the distance of the two maximally distant robots cannot increase initially and by using $z_0(t),\dotsc,z_{N-1}(t)$ as a new initial configuration, the same is true for arbitrary $t>0$.
Note that we may not rule out that two robots $k,l$ with $(l,k)\in E$ that are not maximally distant increase their distance. However, assume ${\|z_k(t^*)-z_l(t^*)\|>\mathcal{C}}$ for some ${t^*>0}$. Since $\|z_i(t)-z_j(t)\|$ is non-increasing, there must be some $0<t<t^*$ at which ${\|z_k(t)-z_l(t)\|=\|z_i(t)-z_j(t)\| \le \mathcal{C}}$ by continuity of the solution $z(t)$. Then we may again use $z_0(t), \dotsc, z_{N-1}(t)$ as a new initial configuration and the argument above with the roles of $(j,i)$ and $(l,k)$ switched yields that $\|z_k(t)-z_l(t)\|$ cannot increase any further contradicting the assumption. In particular, $k$ and $l$ cannot lose sight of each other. This completes the proof.
\end{proof}
\section*{Acknowledgements}
The authors would like to express their special gratitude to Friedhelm Meyer auf der Heide, Jannik Castenow, and Jonas Harbig who provided invaluable inspiration and counsel for the distributed computing side of the project and took part in the development of some of the research ideas presented in this manuscript in numerous spirited and productive discussions.
This work is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foun\-dation) -- Project number 453112019.
\bibliographystyle{myalpha}
\bibliography{lit}
\clearpage
\appendix
\section{Technical Background}
\label{app:linear}
We end this manuscript with an appendix on some extended technical details concerning the convergence results in \Cref{sec:preliminaries,subsec:circulant}. These are included for the sake of completeness without claiming novelty of the presented results.
\subsection{Gathering in General Linear Systems}
We apply the theory of linear systems of ordinary differential equations to systems of the form \eqref{eq:f_lin} for arbitrary weight matrices $W$ to discuss the convergence result in \Cref{thr:gathering} in more detail. In particular, we may deduce several basic properties that $W$ has to satisfy in order for system \eqref{eq:f_lin} to model a gathering protocol. Again, the form \eqref{eq:tildeZ_lin} is most useful for these considerations.
First, we investigate when every gathering point is invariant under the dynamics induced by the protocol. By definition this requires the system \eqref{eq:f_lin} to be in equilibrium for any fully synchronous configuration $Z^*=(z^*,\dotsc,z^*)\in \R^{2N}$. From the transformed system \eqref{eq:tildeZ_lin} we can immediately read off that this means that any point $X^*=(x^*,\dotsc,x^*)\in\R^N$ is a zero of $-(\mathbf{I}_N+W)$. It can readily be seen that this is case if and only if $X^*$ is an eigenvector to the eigenvalue $1$ of $W$, which in turn requires all rows of the weight matrix to sum to $1$. This shows the following proposition.
\begin{proposition}
\label{prop:equilibria}
The following are equivalent:
\begin{enumerate}[(i)]
\item Any gathering point $Z^*=(z^*, \dotsc, z^*)\in \R^{2N}$ is an equilibrium point of the protocol \eqref{eq:f_lin}.
\item The weight matrix $W\in \R^{N\times N}$ has an eigenvalue $1$ with corresponding eigenvector $(1,\dotsc,1)^T\in\R^N$.
\item The weight matrix $W\in \R^{N\times N}$ is consistent.
\end{enumerate}
\end{proposition}
\begin{proof}
\textit{(i)} $\implies$ \textit{(ii)}:
Let us first assume that $Z^*\in \R^{2N}$ is an equilibrium point of \eqref{eq:f_lin}. In particular, $f(Z^*)=z^*$. In transformed coordinates, the equilibrium point is given by $\T{Z}^*=(X^*,Y^*)=(x^*,\dotsc,x^*, y^*,\dotsc, y^*) \in \R^{2N}$ and the right hand side of \eqref{eq:tildeZ_lin} vanishes in $\T{Z}^*\in \R^{2N}$. We obtain,
\[ \TB{W} \T{Z}^* = \mathbf{I}_{2N}\T{Z}^*, \]
which is equivalent to
\[ WX^* = X^* \quad \text{and} \quad WY^*=Y^* \]
Since $X^*=x^*\cdot(1,\dotsc,1)^T\in\R^N$, this completes the proof of the first direction.
\textit{(ii)} $\implies$ \textit{(iii)}:
Let $(1,\dotsc,1)^T\in\R^N$ be an eigenvector of $W\in \R^{N\times N}$ to the eigenvalue $1$. Then
\begin{align*}
\sum_{j=0}^{N-1} w_{i,j} &= (W (1,\dotsc, 1)^T)_i = ((1,\dotsc, 1)^T)_i = 1
\end{align*}
for all $i\in\set{0,\dotsc,N-1}$, which proves \textit{(iii)}.
\textit{(iii)} $\implies$ \textit{(i)}:
Assume that all rows of the weight matrix $W\in \R^{N\times N}$ sum to $1$ and let $Z^*\in\R^{2N}$ be an arbitrary gathering point, i.e., $\T{Z}^*=(X^*,Y^*)=(x^*,\dotsc,x^*, y^*,\dotsc, y^*)\in \R^{2N}$ in transformed coordinates. Then
\[ (WX^*)_i = \sum_{j=0}^{N-1} w_{i,j}\cdot x^* = x^* \]
for all $i\in\set{0,\dotsc,N-1}$ and by the same argument also $(W^*Y^*)_i=y^*$. In particular, we obtain
\begin{equation*}
\TB{W}\T{Z}^*
= (x^*, \dotsc, x^*, y^*, \dotsc, y^*)^T
= \mathbf{I}_{2N} \T{Z}^*.
\end{equation*}
This implies that $\T{Z}^*\in \R^{2N}$ is a zero of the right hand side of \eqref{eq:tildeZ_lin} and in turn that $Z^*\in \R^{2N}$ is an equilibrium of \eqref{eq:f_lin}.
\end{proof}
By a similar argument we may prove a slightly stronger statement. In fact, \eqref{eq:tildeZ_lin} shows that any equilibrium point of the transformed system is necessarily an eigenvector of the weight matrix corresponding to the eigenvalue $1$. Together with \Cref{prop:equilibria} this shows:
\begin{proposition}
\label{prop:all_eq}
The following are equivalent:
\begin{enumerate}[(i)]
\item The subspace $\Syn=\set{Z^*=(z^*, \dotsc, z^*) \with z^*\in\R^2} \subseteq \R^{2N}$ consists of all equilibrium points of \eqref{eq:f_lin}.
\item The weight matrix $W$ has an eigenvalue $1$ with eigenvector $(1,\dotsc,1)^T\in\R^N$ whose geometric multiplicity is $1$.
\end{enumerate}
\end{proposition}
\begin{proof}
Using \Cref{prop:equilibria} it suffices to prove that no point $Z\notin\Syn$ is an equilibrium point of \eqref{eq:f_lin} if and only if the geometric multiplicity of the eigenvalue $1$ is $1$. This can be seen readily from the transformed system \eqref{eq:tildeZ_lin}. In fact, any equilibrium satisfies
\begin{equation*}
\left(-\mathbf{I}_{2N}+\TB{W}\right) \T{Z} = 0 \iff \TB{W}\T{Z} = \T{Z} \iff \begin{cases}
WX &= X \\ WY &= Y
\end{cases}
\end{equation*}
in transformed coordinates $\T{Z}=(X,Y) \in \R^{2N}$. In particular, $\T{Z} \in \R^{2N}$ is an equilibrium outside of $\Syn \subseteq \R^{2N}$ if and only if $X\in \R^N$ or $Y\in \R^N$ is an eigenvector of $W\in \R^{N\times N}$ to the eigenvalue $1$ that is linearly independent of $(1,\dotsc,1)^T \in \R^N$. Under the given assumptions, this exists if and only if the geometric multiplicity of the eigenvalue $1$ is greater than $1$.
\end{proof}
Next, we investigate when linear protocols guarantee that each initial configuration converges to an equilibrium. This property can essentially be read off from the fundamental solutions \eqref{eq:fund_sol} which form any solution of the system via linear combinations. It can readily be seen that whenever an eigenvalue satisfies $\Re(\lambda)\ne1$ the corresponding fundamental solutions are dominated by the exponential for $t\to\infty$. In particular, they converge to $0$ if $\Re(\lambda)<1$ and they 'diverge' if $\Re(\lambda)>1$. For an eigenvalue with $\Re(\lambda)=1$ the exponential is taken of a purely imaginary number if $\lambda\ne1$. Hence, real and imaginary parts of the corresponding fundamental solution are given by a (periodic) trigonometric function multiplied with a polynomial expression, which do not converge. Finally, the eigenvalue $\lambda=1$ causes the exponential to be constant and the corresponding fundamental solution to be given by the polynomial expressions. These converge if and only if they are in fact constant, which can only happen if the eigenvalue has only true eigenvectors. These considerations summarize to the following result.
\begin{proposition}
\label{prop:convergence}
The following are equivalent:
\begin{enumerate}[(i)]
\item For any initial configuration $Z(0)=(z_1(0), \dotsc, z_N(0))\in\R^{2N}$ the solution of \eqref{eq:f_lin} converges to an equilibrium point $\overline{Z}\in\R^{2N}$.
\item All eigenvalues $\lambda\in\C$ of $W\in \R^{N\times N}$ satisfy $\Re(\lambda) < 1$ or $\lambda=1$, and if $1$ is an eigenvalue of $W\in \R^{N\times N}$ then its algebraic and geometric multiplicities agree.
\end{enumerate}
\end{proposition}
\begin{proof}
\textit{(i)} $\implies$ \textit{(ii)}:
Assume that any solution of \eqref{eq:f_lin} converges to an equilibrium point $\overline{Z}\in\R^{2N}$. We first consider the case that $W\in \R^{N\times N}$ has an eigenvalue $\lambda\in\C$ with $\Re(\lambda)>1$. As a simplification, we begin with $\lambda\in\R$. Then $\lambda>1$ and there is a corresponding real eigenvector $\xi\in\R^N$. Note that $\T{Z}(t)=\exp{((\lambda-1)t)}(\xi, 0)$ is the corresponding fundamental solution for $j=1$ in \eqref{eq:fund_sol} of the transformed system \eqref{eq:tildeZ_lin}. In fact, one readily computes $\dot{\T{Z}}(t)=(\lambda-1)\T{Z}(t)$ and
\begin{align*}
\left(-\mathbf{I}_{2N} + \mathbf{\widetilde{W}}\right)\widetilde{Z}(t) &= \exp{((\lambda-1)t)}\left(-\mathbf{I}_{2N} + \mathbf{\widetilde{W}}\right)(\xi, 0) \\
&= \exp{((\lambda-1)t)}(-1 + \lambda) (\xi, 0) \\
&= (\lambda-1)\T{Z}(t).
\end{align*}
Since $\lambda-1>0$, we have $\|\T{Z}(t)\| \to \infty$ for $t\to\infty$, which contradicts the assumption. If the eigenvalue $\lambda$ is complex the argument remains the same, however the computations become slightly more complicated. In fact, replacing $\T{Z}(t)$ with $\Re(\exp{((\lambda-1)t)}(\xi, 0))$ yields the same result.
Next, consider an eigenvalue $\lambda \ne 1$ with $\Re(\lambda)=1$. That is, the eigenvalue is of the form $\lambda=1+\mathbf{i}\omega$ for some $\omega\in\R$. Again omitting the details, $\T{Z}(t)=\Re(\exp{((\lambda-1)t)}(\xi, 0))=\cos{(\omega t)}\Re(\xi, 0))$ for a complex valued eigenvector $\xi\in\C^N$ is a fundamental solution of the system \eqref{eq:tildeZ_lin} that does not converge to any equilibrium. In fact, it is a periodic solution.
Finally, consider the case that $\lambda=1$ is an eigenvalue of $W\in \R^{N\times m}$ whose geometric multiplicity is less than its algebraic multiplicity. Then there exist two linearly independent vectors $\xi, \zeta\in\R^N$ such that $\xi$ is an eigenvector and $\zeta$ a corresponding generalized eigenvector, i.e., $(W-\mathbf{I}_N)\zeta = \xi$. Then, $\T{Z}(t)=(\zeta,0)+t(\xi,0)$ is a fundamental solution of \eqref{eq:tildeZ_lin}. Once again, this solution does not converge to an equilibrium point, as $\|(\zeta,0)+t(\xi,0)\| \to \infty$ for $t\to\infty$.
\textit{(ii)} $\implies$ \textit{(i)}:
Assume that all eigenvalues $\lambda \in \C$ of $W\in \R^{N\times N}$ satisfy $\Re(\lambda)<1$ or $\lambda=1$ and that if $\lambda =1$ is an eigenvalue then its algebraic and geometric multiplicities agree.
Note that for all fundamental solutions in \eqref{eq:fund_sol} in the limit $t\to\infty$ all terms are dominated by the exponential as long as $\Re(\lambda_i-1)\ne0$.
Under our assumptions, the only situation in which $\Re(\lambda_i-1)=0$ is given by the eigenvalue $\lambda_1=\dotsb=\lambda_\ell=1$, where $\ell$ is the algebraic and geometric multiplicity. For these eigenvalues, the two fundamental solutions in \eqref{eq:fund_sol} are precisely of the form $Z_i^x(t)=(\xi_i,0)$ and $Z_i^y(t)=(0,\xi_i)$, where $\xi_i\in\R^N$ are the corresponding eigenvectors of $W\in \R^{N\times N}$ for $i=1,\dotsc,\ell$ -- note that no generalised eigenvectors exist. For all other eigenvalues $\lambda_{\ell+1},\dotsc,\lambda_k$ we have $\Re(\lambda_i-1)<0$. As a result, any linear combination of the fundamental solutions converges to a linear combination of $(\xi_1,0),\dotsc,(\xi_k,0), (0,\xi_1), \dotsc, (0,\xi_k)$. As any linear combination of eigenvectors to the eigenvalue $1$ constitutes another eigenvector, this linear combination is a zero of the right hand side of \eqref{eq:tildeZ_lin} and therefore an equilibrium point.
\end{proof}
The combination of \Cref{prop:all_eq,prop:convergence} proves the convergence result in \Cref{thr:gathering}. While the necessary and sufficient condition in that theorem is purely algebraic, we can also use \Cref{prop:all_eq} to prove a necessary condition on the interaction structure of the robots to allow for a linear protocol to be gathering. In fact, if the interaction graph is not (weakly) connected, there are multiple groups of robots that do not communicate with each other. Then these groups might gather individually, but the protocol cannot guarantee that all groups chose the same gathering point. This is the statement of the following.
\begin{proposition}
\label{prop:connected-nec}
Consider a linear protocol modeled by \eqref{eq:f_lin} with weight matrix $W\in\R^{N\times N}$. If the protocol is gathering then the interaction graph is (weakly) connected.
\end{proposition}
\begin{proof}
For any two vertices $i,j\in \set{0,\dotsc,N-1}$ of the interaction graph, define $i\sim j$ if and only if there is an undirected path from $j$ to $i$ (if and only if there is an undirected path from $i$ to $j$). It can readily be seen that this constitutes an equivalence relation on $\set{0,\dotsc,N-1}$. Thus, it generates a partition $P_1,\dotsc,P_k\subset V$ such that $P_r\ne\emptyset$, $P_r\cap P_s=\emptyset$ if $r\ne s$, and $P_1\cup \dotsb \cup P_k = \set{0,\dotsc,N-1}$, where $i,j\in P_r$ if and only if $i\sim j$. These partitions are called the \emph{connected components} of the interaction graph. By definition, the interaction graph is weakly connected if and only if all vertices are connected via undirected paths, i.e., if and only if $k=1$.
Assume that the interaction graph is not weakly connected. Then $k\ge2$. Define $P=P_1$ and $Q=P_2 \cup \dotsb \cup P_k$. By construction, there are no paths between any vertices in $P$ and $Q$. In particular, there are no edges from any vertex in $P$ to any vertex in $Q$ and vice versa, i.e., $(j,i)\in E$ implies $i,j\in P$ or $i,j \in Q$. Since the interaction structure is reflected in the weight matrix $W=(w_{i,j})_{i,j=0}^{N-1}$, this in particular implies that $w_{i,j}=0$ whenever $i\in P$ and $j\in Q$ or $i\in Q$ and $j\in P$.
Then, we define $Z^*=(z_1^*,\dotsc,z_N^*)^T\in\R^{2N}$ as
\begin{equation*}
z_i^* = \begin{cases}
(1,1)^T &\text{if } i \in P, \\
0 &\text{if } i \in Q.
\end{cases}
\end{equation*}
Considering this point as an initial configuration, we determine the robots' behavior by applying the right hand side of \eqref{eq:f_lin} to it. For $i \in P$ we obtain
\begin{align*}
\dot{z}_i^* &= -z_i^* + \sum_{j=0}^{N-1} w_{i,j}z_j^* = -z_i^* + \sum_{j\in P} w_{i,j}z_j^* \\
&= \left(-1 + \sum_{j\in P} w_{i,j}\right) (1,1)^T = \left(-1 + \sum_{j=0}^{N-1} w_{i,j}\right) (1,1)^T.
\end{align*}
As the protocol is assumed to be gathering, we have $\sum_{j=0}^{N-1} w_{i,j}=1$ for all $i\in\set{0,\dotsc,N-1}$ by \Cref{prop:equilibria} and we obtain $\dot{z}_i^*=0$. Similarly, for $i \in Q$ we compute
\begin{align*}
\dot{z}_i^* &= -z_i^* + \sum_{j\in Q} w_{i,j}z_j^* = \left(-1 + \sum_{j\in Q} w_{i,j}\right) 0 = 0.
\end{align*}
Combining these two computations, we see that $Z^*\in \R^{2N}$ is an equilibrium point of \eqref{eq:f_lin}. However, as $Z^* \notin \Syn$, the protocol cannot be gathering due to \Cref{prop:all_eq}.
\end{proof}
\begin{remark}
More precisely it is already the property that any initial configuration converges to a gathering point that implies (weak) connectivity.
\end{remark}
On the other hand, if we restrict ourselves to matrices with non-negative weights as suggested in \Cref{rem:non-negative}, we can also formulate a sufficient condition for a protocol to be gathering. If the interaction graph is strongly connected we can apply the Perron-Frobenius theorem for non-negative matrices (e.g. \cite[Theorem 2]{Gantmacher.2009}). It tells us that the weight matrix has a simple real eigenvalue -- called the Perron-Frobenius eigenvalue -- that is in between the minimal and the maximal row sums and all other eigenvalues have real parts that are strictly smaller than the Perron-Frobenius eigenvalue. Hence, if the weight matrix is also consistent the Perron-Frobenius eigenvalue is $1$ and the weight matrix satisfies the conditions in \Cref{thr:gathering}.
\begin{proposition}
\label{prop:connected-suf}
Consider a linear protocol modeled by \eqref{eq:f_lin} with non-negative weights $w_{i,j}\in\R$. If the interaction graph is strongly connected and the weight matrix is consistent -- i.e., $\sum_{j=0}^{N-1}w_{i,j}=1$ for all $i\in\set{0,\dotsc,N-1}$ -- then the protocol is gathering.
\end{proposition}
\begin{proof}
Recall that the weight matrix $W\in\R^{N\times N}$ is irreducible, if the underlying interaction graph is strongly connected. As furthermore all entries of $W\in \R^{N\times N}$ are non-negative, we may apply the Perron-Frobenius theorem for non-negative matrices (e.g. \cite[ Theorem 2]{Gantmacher.2009}). It tells us that the spectral radius $\rho(W)=\max \{|\lambda_1|, \dotsc, |\lambda_k|\}$, where $\lambda_1,\dotsc,\lambda_k$ are the eigenvalues of $W\in \R^{N\times N}$, is itself an eigenvalue $\lambda=\rho(W)$ of $W\in \R^{N\times N}$. It is called the \emph{Perron-Frobenius eigenvalue}, which is real by definition and all eigenvalues satisfy $|\lambda_i|\le \lambda$. Furthermore, according to the Perron-Frobenius theorem, the Perron-Frobenius eigenvalue is simple. In particular, this implies $\Re(\mu) < \lambda$ for all eigenvalues $\mu\ne\lambda$, since $\lambda$ is real. Finally, note that for irreducible, non-negative matrices the Perron-Frobenius eigenvalue is also bounded by the minimal and maximal row sums of $W\in \R^{N\times N}$ \cite[Remark 2]{Gantmacher.2009}, i.e.,
\[ \min_i \sum_{j=0}^{N-1} w_{i,j} \le \lambda \le \max_i \sum_{j=0}^{N-1} w_{i,j}. \]
By assumption, all row sums satisfy $\sum_{j=0}^{N-1} w_{i,j}=1$ so that we have $\lambda=1$. To summarize, $W\in \R^{N\times N}$ has a simple eigenvalue $\lambda=1$ and all other eigenvalues $\mu$ satisfy $\Re(\mu)<1$. Furthermore, due to \Cref{prop:equilibria}, the eigenvector to the eigenvalue $\lambda=1$ is $(1,\dotsc,1)^T\in\R^N$. Hence, by \Cref{thr:gathering}, the protocol is gathering.
\end{proof}
Next, we provide a proof that for any linear gathering protocol the gathering point is always the average of the initial positions (cf.~\Cref{thr:gathering}). As we have discussed above any solution to \eqref{eq:tildeZ_lin} is a linear combination of the fundamental solutions \eqref{eq:fund_sol} and for a gathering protocol all of them converge to $0$ except for the fundamental solutions corresponding to the simple eigenvalue $1$ with eigenvector $\xi=(1,\dotsc,1)^T\in\R^N$. The coefficients of this linear combination are constant and determined by the initial configuration $\T{Z}(0)=(X(0),Y(0))\in\R^2$. In fact the coefficients of $X(0)$ and $Y(0)$ corresponding to this basis vector are given by
\begin{equation*}
a= \frac{\langle X(0), \xi \rangle}{\langle \xi, \xi \rangle} = \frac{1}{N} \sum_{i=1}^N x_i(0), \qquad
b= \frac{\langle Y(0), \xi \rangle}{\langle \xi, \xi \rangle} = \frac{1}{N} \sum_{i=1}^N y_i(0).
\end{equation*}
Thus, the protocol converges to $a(\xi,0)^T+\,b(0,\xi)^T$ which has the average $x$ initial values in its first $N$ entries and the average $y$ initial values in its last $N$ entries.
\begin{proposition}
\label{prop:average}
Consider a linear gathering protocol with weight matrix $W\in\R^{N\times N}$ and an initial configuration of the robots $z_0(0), \dotsc, z_{N-1}(0)\in\R^2$. Then, the position $z_i(t)$ of any robot $i\in\set{0,\dotsc,N-1}$ converges to the gathering point $z^*=\frac{1}{N}\sum_{i=0}^{N-1}z_i(0)\in\R^2$, i.e., the average of the initial positions, for $t\to\infty$.
\end{proposition}
\begin{proof}
First, note that $W\in \R^{N\times N}$ has a simple eigenvalue $1$ with corresponding eigenvector $(1,\dotsc,1)^T\in \R^N$ with all other eigenvalues having real part less than $1$, since it models a gathering protocol. As stated before, the solution $\T{Z}(t)$ with initial condition $\T{Z}(0)$ of the linear system of ordinary differential equations in transformed coordinates \eqref{eq:tildeZ_lin} is given by a linear combination of the fundamental solutions in \eqref{eq:fund_sol}. The coefficients of this linear combination can be determined by setting $t=0$ and requiring the linear combination to be equal to $Z(0)$. Setting $t=0$ in \eqref{eq:fund_sol}, one immediately sees that all fundamental solutions are reduced to precisely one of the eigenvectors and generalized eigenvectors that has been copied into the $X$- or the $Y$-coordinates respectively. In particular, solving for the linear coefficients boils down to solving
\begin{equation}
\label{eq:eigenbasis_XY}
X(0)=\sum_{i=1}^k\sum_{j=1}^{m_i}a_{i,j}\xi_{i,j} \quad\text{and}\quad
Y(0)=\sum_{i=1}^k\sum_{j=1}^{m_i}b_{i,j}\xi_{i,j}
\end{equation}
for the coefficients $a_{i,j},b_{i,j}\in\R$, where $\T{Z}(0)=(X(0),Y(0))\in\R^{2N}$ is the initial condition $Z(0)$ in transformed coordinates. Since the eigenvectors and generalized eigenvectors of $W\in \R^{N\times N}$ constitute a basis of $\R^N$, both equations can uniquely be solved. It remains to observe that all fundamental solutions satisfy
\[ \| Z_{i,j}^{x,y}(t) \| \to 0 \quad\text{for}\quad t\to\infty, \]
for every eigenvalue $\lambda\neq 1$. For the simple eigenvalue $1$ the corresponding fundamental solutions are constant. Without loss of generality, we set $\lambda_1=1$ and $\xi_{1,1}=(1,\dotsc,1)^T\in\R^N$ for the corresponding eigenvector (cf. \Cref{prop:equilibria}). Then we have
\begin{equation*}
\T{Z}(t) \to a_{1,1} ((1,\dotsc,1)^T,0) + b_{1,1} (0,(1,\dotsc,1)^T) = (a_{1,1},\dotsc,a_{1,1},b_{1,1},\dotsc,b_{1,1})^T
\end{equation*}
for $t\to\infty$. In particular, the position of every robot converges to $(a_{1,1},b_{1,1})$.
It remains to show that indeed $(a_{1,1},b_{1,1}) = \left(\frac{1}{N}\sum_{i=1}^Nx_i(0), \frac{1}{N}\sum_{i=1}^Ny_i(0)\right)$. To that end, consider \eqref{eq:eigenbasis_XY}, which describes the decomposition of $X(0)$ and $Y(0)$ into the eigenbasis of $W\in \R^{N\times N}$. Since the eigenvalue $\lambda_1=1$ is simple, the corresponding eigenspace is one-dimensional. This allows us to compute the corresponding coefficients to be
\begin{align*}
a_{1,1} &= \frac{\langle X(0), \xi_{1,1} \rangle}{\langle \xi_{1,1}, \xi_{1,1} \rangle} = \frac{1}{N} \sum_{i=1}^N x_i(0), \\
b_{1,1} &= \frac{\langle Y(0), \xi_{1,1} \rangle}{\langle \xi_{1,1}, \xi_{1,1} \rangle} = \frac{1}{N} \sum_{i=1}^N y_i(0).
\end{align*}
\end{proof}
\subsection{Linear Circulant Gathering Models}
\label{subsec:circulant-gathering}
To obtain the gatherint result for circulant interaction structures, one readily specifies the findings of \Cref{subsec:linear} for this class.
That is, we assume the weight matrix $W=\circulant(w_0,\dotsc,w_{N-1}) \in \R^{N\times N}$ to be a circulant matrix generated by a weight vector $w=(w_0,\dotsc,w_{N-1})^T \in \R^N$ from now on. It remains to show the following necessary condition.
\begin{proposition}
\label{prop:circulant-gathering-nec}
Consider a circulant linear protocol modeled by \eqref{eq:f_lin} with weight matrix $W=\circulant(w_0,\dotsc,w_{N-1})\in\R^{N\times N}$. If the protocol is gathering, then the interaction graph is strongly connected and $W\in \R^{N\times N}$ is consistent, i.e., $\sum_{j=0}^{N-1}w_{i,j}=\sum_{j=0}^{N-1}w_j=1$ for all $i\in\set{0,\dotsc,N-1}$.
\end{proposition}
\begin{proof}
Assume the protocol is gathering. Then \Cref{prop:connected-nec} implies that the interaction graph is weakly connected. As it is also circulant, it is therefore also strongly connected as mentioned above. Furthermore, due to \Cref{prop:equilibria}, all rows of the weight matrix sum to $1$ and for all $i \in \set{0,\dotsc,N-1}$ we obtain
\[ 1 = \sum_{j=0}^{N-1} w_{i,j}=\sum_{j=0}^{N-1}w_j, \]
since all rows of $W$ contain the same set of entries.
\end{proof}
Together with \Cref{thr:gathering} this proves \Cref{thr:gathering-circulant}.
\begin{remark}
\label{rem:stochastic-circulant}
The consistency condition $\sum_{i=0}^{N-1}w_i=1$ for non-negative weights implies $0\le w_i\le1$ for all $i\in\set{0,\dotsc,N-1}$. In this case $W\in \R^{N\times N}$ is a \emph{stochastic} matrix. As row and column sums coincide for circulant matrices, $W\in \R^{N\times \N}$ is in fact \emph{doubly stochastic} under these assumptions.
\end{remark}
The characterization of gathering protocols in \Cref{thr:gathering-circulant} distinguishes circulant protocols from arbitrary linear ones. For example, consider the non-circulant weight matrix
\[ W=\begin{pmatrix} 0&\frac{1}{2}&\frac{1}{2}\\\frac{1}{2}&0&\frac{1}{2}\\0&0&1\end{pmatrix}\in \R^{3\times 3}. \]
All its rows sum to $1$ and its eigenvalues are $1, \frac{1}{2}, -\frac{1}{2}$. Thus, according to \Cref{prop:equilibria} and \Cref{thr:gathering} it is gathering. However, the underlying interaction graph is $G=(V, E)$ with
\begin{align*}
V = \set{0,1,2} \text{ and } E=\set{(0,1),(1,0),(2,0),(2,1),(2,2)}.
\end{align*}
There is no directed path from vertices $0$ or $1$ to vertex $2$ so that the interaction graph is not strongly connected -- it is weakly connected, however.
\end{document}
\documentclass[11pt]{standalone}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{xcolor}
\usepackage{tikz}
\usetikzlibrary{arrows}
\usetikzlibrary{shapes.geometric}
\begin{document}
\centering
\begin{tikzpicture}[->,
>=stealth',
shorten >=1pt,
auto,
node distance=1cm,
main node/.style={line width=1.5pt, circle, scale = 2, draw, font=\sffamily\tiny, inner sep=1pt}]
\def\ngon{7}
\node[main node, scale = 1.5, regular polygon, regular polygon sides=\ngon, minimum size=1cm, draw=none] (p) {};
\node[font=\sffamily\footnotesize, inner sep=1pt, scale=1.5](d) at (p.corner 1) {...};
\node[main node, minimum size=.3cm](N) at (p.corner 2) {$0$};
\node[main node, minimum size=.3cm](1) at (p.corner 3) {$1$};
\node[main node, minimum size=.3cm](2) at (p.corner 4) {$2$};
\node[main node, minimum size=.3cm](3) at (p.corner 5) {$3$};
\node[main node, minimum size=.3cm](4) at (p.corner 6) {$4$};
\node[main node, minimum size=.3cm](5) at (p.corner 7) {$5$};
% \draw[red, opacity=.3] (0,0) circle (2.25cm);
\path[every node/.style={font=\sffamily\small}, line width =1pt]
(1) edge [bend left=10] node {} (N)
(2) edge [bend left=10] node {} (1)
(3) edge [bend left=10] node {} (2)
(4) edge [bend left=10] node {} (3)
(5) edge [bend left=10] node {} (4)
(d) edge [bend left=10] node {} (5)
(N) edge [bend left=10] node {} (d)
;
\end{tikzpicture}
\end{document}
\documentclass[11pt]{standalone}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{xcolor}
\usepackage{tikz}
\usetikzlibrary{arrows}
\usetikzlibrary{shapes.geometric}
\begin{document}
\centering
\begin{tikzpicture}[<->,
>=stealth',
shorten >=1pt,
auto,
node distance=1cm,
main node/.style={line width=1.5pt, circle, scale = 2, draw, font=\sffamily\tiny, inner sep=1pt}]
\def\ngon{7}
\node[main node, scale = 1.5, regular polygon, regular polygon sides=\ngon, minimum size=1cm, draw=none] (p) {};
\node[font=\sffamily\footnotesize, inner sep=1pt, scale=1.5](d) at (p.corner 1) {...};
\node[main node, minimum size=.3cm](N) at (p.corner 2) {N};
\node[main node, minimum size=.3cm](1) at (p.corner 3) {1};
\node[main node, minimum size=.3cm](2) at (p.corner 4) {2};
\node[main node, minimum size=.3cm](3) at (p.corner 5) {3};
\node[main node, minimum size=.3cm](4) at (p.corner 6) {4};
\node[main node, minimum size=.3cm](5) at (p.corner 7) {5};
% \draw[red, opacity=.3] (0,0) circle (2.25cm);
\path[every node/.style={font=\sffamily\small}, line width =1pt]
(1) edge [bend left=10] node {} (N)
(2) edge [bend left=10] node {} (1)
(3) edge [bend left=10] node {} (2)
(4) edge [bend left=10] node {} (3)
(5) edge [bend left=10] node {} (4)
(d) edge [bend left=10] node {} (5)
(N) edge [bend left=10] node {} (d)
;
\end{tikzpicture}
\end{document}
\documentclass[11pt]{standalone}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{xcolor}
\usepackage{tikz}
\usetikzlibrary{arrows}
\usetikzlibrary{shapes.geometric}
\begin{document}
\centering
\begin{tikzpicture}[<->,
>=stealth',
shorten >=1pt,
auto,
node distance=1cm,
main node/.style={line width=1.5pt, circle, scale = 2, draw, font=\sffamily\tiny, inner sep=1pt}]
\def\ngon{7}
\node[main node, scale = 1.5, regular polygon, regular polygon sides=\ngon, minimum size=1.2cm, draw=none] (p) {};
\node[font=\sffamily\footnotesize, inner sep=1pt, scale=1.5](d) at (p.corner 1) {...};
\node[main node, minimum size=.3cm](N) at (p.corner 2) {N};
\node[main node, minimum size=.3cm](1) at (p.corner 3) {1};
\node[main node, minimum size=.3cm](2) at (p.corner 4) {2};
\node[main node, minimum size=.3cm](3) at (p.corner 5) {3};
\node[main node, minimum size=.3cm](4) at (p.corner 6) {4};
\node[main node, minimum size=.3cm](5) at (p.corner 7) {5};
% \draw[red, opacity=.3] (0,0) circle (2.25cm);
\path[every node/.style={font=\sffamily\small}, line width =1pt]
% (d) edge [] node {} (N)
(d) edge [] node {} (1)
(d) edge [] node {} (2)
(d) edge [] node {} (3)
(d) edge [] node {} (4)
% (d) edge [] node {} (5)
(N) edge [] node {} (2)
(N) edge [] node {} (3)
(N) edge [] node {} (4)
(N) edge [] node {} (5)
(1) edge [] node {} (3)
(1) edge [] node {} (4)
(1) edge [] node {} (5)
(2) edge [] node {} (4)
(2) edge [] node {} (5)
(3) edge [] node {} (5)
(1) edge [bend left=10] node {} (N)
(2) edge [bend left=10] node {} (1)
(3) edge [bend left=10] node {} (2)
(4) edge [bend left=10] node {} (3)
(5) edge [bend left=10] node {} (4)
(d) edge [bend left=10] node {} (5)
(N) edge [bend left=10] node {} (d)
(1) edge [loop, out=200,in=150,looseness=6] node {} (1)
(2) edge [loop, out=250,in=200,looseness=6] node {} (2)
(3) edge [loop, out=330,in=280,looseness=6] node {} (3)
(4) edge [loop, out=380,in=330,looseness=6] node {} (4)
(5) edge [loop, out=430,in=380,looseness=6] node {} (5)
(N) edge [loop, out=150,in=100,looseness=6] node {} (N)
(d) edge [loop, out=480,in=430,looseness=25] node {} (d)
;
\end{tikzpicture}
\end{document}
\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{ADGPV06}
\bibitem[ADGPV06]{Arenas.2006}
A.~Arenas, A.~D{\'i}az-Guilera, and C.~J. P{\'e}rez-Vicente.
\newblock Synchronization reveals topological scales in complex networks.
\newblock {\em Physical review letters}, 96(11):114102, 2006.
\bibitem[BS03]{Beard.2003}
R.~Beard and V.~Stepanyan.
\newblock Information consensus in distributed multiple vehicle coordinated
control.
\newblock In {\em 42nd IEEE International Conference on Decision and Control
(IEEE Cat. No.03CH37475)}, volume~2, pages 2029--2034 Vol.2, 2003.
\bibitem[CFH{\etalchar{+}}20]{DBLP:journals/tcs/CastenowFHJH20}
J.~Castenow, M.~Fischer, J.~Harbig, D.~Jung, and F.~{Meyer auf der Heide}.
\newblock Gathering anonymous, oblivious robots on a grid.
\newblock {\em Theor. Comput. Sci.}, 815:289--309, 2020.
\bibitem[CHJ{\etalchar{+}}23]{Castenow.2023}
J.~Castenow, J.~Harbig, D.~Jung, T.~Knollmann, and F.~{Meyer auf der Heide}.
\newblock Gathering a euclidean closed chain of robots in linear time and
improved algorithms for chain-formation.
\newblock {\em Theoretical Computer Science}, 939:261--291, 2023.
\bibitem[CLYH13]{Chen.2013}
Y.~Chen, J.~Lu, X.~Yu, and D.~J. Hill.
\newblock Multi-agent systems with dynamical topologies: Consensus and
applications.
\newblock {\em IEEE Circuits and Systems Magazine}, 13(3):21--34, 2013.
\bibitem[CP04]{Cohen.2004b}
R.~Cohen and D.~Peleg.
\newblock Robot convergence via center-of-gravity algorithms.
\newblock In R.~Kr{\'a}lovi{\u c} and O.~S{\'y}kora, editors, {\em Structural
Information and Communication Complexity}, volume 3104 of {\em Lecture Notes
in Computer Science}, pages 79--88. Springer, Berlin and Heidelberg, 2004.
\bibitem[CP05]{DBLP:journals/siamcomp/CohenP05}
R.~Cohen and D.~Peleg.
\newblock Convergence properties of the gravitational algorithm in asynchronous
robot systems.
\newblock {\em {SIAM} J. Comput.}, 34(6):1516--1528, 2005.
\bibitem[DB14]{Dorfler.2014}
F.~D{\"o}rfler and F.~Bullo.
\newblock Synchronization in complex networks of phase oscillators: A survey.
\newblock {\em Automatica}, 50(6):1539--1564, 2014.
\bibitem[DKKM15]{DBLP:journals/topc/DegenerKKH15}
B.~Degener, B.~Kempkes, P.~Kling, and F.~{Meyer auf der Heide}.
\newblock Linear and competitive strategies for continuous robot formation
problems.
\newblock {\em {TOPC}}, 2(1):2:1--2:18, 2015.
\bibitem[DKL{\etalchar{+}}11]{DBLP:conf/spaa/DegenerKLHPW11}
B.~Degener, B.~Kempkes, T.~Langner, F.~{Meyer auf der Heide}, P.~Pietrzyk, and
R.~Wattenhofer.
\newblock A tight runtime bound for synchronous gathering of autonomous robots
with limited visibility.
\newblock In {\em Proceedings of the 23rd {ACM} Symposium on Parallelism in
Algorithms and Architectures, {SPAA}}, pages 139--148, 2011.
\bibitem[Flo19]{DBLP:series/lncs/Flocchini19}
P.~Flocchini.
\newblock Gathering.
\newblock In {\em Distributed Computing by Mobile Entities, Current Research in
Moving and Computing}, pages 63--82. Springer, 2019.
\bibitem[FPS19]{buchNeu}
P.~Flocchini, G.~Prencipe, and N.~Santoro, editors.
\newblock {\em Distributed Computing by Mobile Entities, Current Research in
Moving and Computing}, volume 11340 of {\em Lecture Notes in Computer
Science}.
\newblock Springer, 2019.
\bibitem[Gan09]{Gantmacher.2009}
F.~R. Gantmacher.
\newblock {\em The theory of matrices}, volume~2.
\newblock {American Mathematical Soc}, Providence, RI, reprinted. edition,
2009.
\bibitem[Gra05]{G05}
R.~M. Gray.
\newblock Toeplitz and circulant matrices: A review.
\newblock {\em Foundations and Trends{\textregistered} in Communications and
Information Theory}, 2(3):155--239, 2005.
\bibitem[Ham18]{H18}
H.~Hamann.
\newblock {\em Swarm Robotics - {A} Formal Approach}.
\newblock Springer, 2018.
\bibitem[HCP94]{Heagy.1994}
J.~F. Heagy, T.~L. Carroll, and L.~M. Pecora.
\newblock Synchronous chaos in coupled oscillator systems.
\newblock {\em Reviews of Modern Physics}, 50(3):1874--1885, 1994.
\bibitem[HSD13]{HSD13}
M.~W. Hirsch, S.~Smale, and R.~L. Devaney.
\newblock {\em Differential Equations, Dynamical Systems, and an Introduction
to Chaos}.
\newblock Academic Press, Boston, 2013.
\bibitem[IA16]{Irofti.2016}
D.~Irofti and F.~M. Atay.
\newblock On the delay margin for consensus in directed networks of
anticipatory agents.
\newblock {\em IFAC-PapersOnLine}, 49(10):206--211, 2016.
\bibitem[ILN18]{Iqbal.2018}
M.~Iqbal, J.~Leth, and T.~D. Ngo.
\newblock Cartesian product-based hierarchical scheme for multi-agent systems.
\newblock {\em Automatica}, 88:70--75, 2018.
\bibitem[KMadH11]{Kling.2011}
P.~Kling and F.~Meyer auf~der Heide.
\newblock Convergence of local communication chain strategies via linear
transformations.
\newblock In F.~{Meyer auf der Heide}, editor, {\em Proceedings of the 23rd ACM
symposium on Parallelism in algorithms and architectures}, ACM Conferences,
page 159, New York, NY, 2011. ACM.
\bibitem[KMadH19]{DBLP:series/lncs/KlingH19}
P.~Kling and F.~Meyer auf~der Heide.
\newblock Continuous protocols for swarm robotics.
\newblock In P.~Flocchini, G.~Prencipe, and N.~Santoro, editors, {\em
Distributed Computing by Mobile Entities: Current Research in Moving and
Computing}, pages 317--334. Springer International Publishing, Cham, 2019.
\bibitem[MM08]{McGraw.2008}
P.~N. McGraw and M.~Menzinger.
\newblock Laplacian spectra as a diagnostic tool for network structure and
dynamics.
\newblock {\em Physical review. E, Statistical, nonlinear, and soft matter
physics}, 77(3 Pt 1):031102, 2008.
\bibitem[Mor04]{Moreau.2004}
L.~Moreau.
\newblock Stability of continuous-time distributed consensus algorithms.
\newblock In {\em 2004 43rd IEEE Conference on Decision and Control}, pages
3998--4003 Vol.4, Piscataway, NJ, 2004. {IEEE Operations Center}.
\bibitem[OSM03a]{OlfatiSaber.2003b}
R.~Olfati-Saber and R.~M. Murray.
\newblock Agreement problems in networks with directed graphs and switching
topology.
\newblock In J.~J. Zhu, editor, {\em Proceedings / 42nd IEEE Conference on
Decision and Control}, pages 4126--4132, Piscataway, NJ, 2003. {IEEE Service
Center}.
\bibitem[OSM03b]{OlfatiSaber.2003}
R.~Olfati-Saber and R.~M. Murray.
\newblock Consensus protocols for networks of dynamic agents.
\newblock In {\em Proceedings of the 2003 American Control Conference, ACC},
pages 951--956, Piscataway, NJ, 2003. {IEEE Service Center}.
\bibitem[OSM04]{OlfatiSaber.2004}
R.~Olfati-Saber and R.~M. Murray.
\newblock Consensus problems in networks of agents with switching topology and
time-delays.
\newblock {\em IEEE Transactions on Automatic Control}, 49(9):1520--1533, 2004.
\bibitem[PRK03]{Pikovskij.2003}
A.~Pikovskij, M.~Rosenblum, and J.~Kurths.
\newblock {\em Synchronization: A universal concept in nonlinear sciences},
volume~12 of {\em Cambridge nonlinear science series}.
\newblock {Cambridge Univ. Press}, Cambridge, 1st paperback ed., repr edition,
2003.
\bibitem[Rub16]{Rubido.2016}
N.~Rubido.
\newblock {\em Energy Transmission and Synchronization in Complex Networks:
Mathematical Principles}.
\newblock Springer Theses Ser. {Springer International Publishing AG}, Cham,
2016.
\bibitem[Tes12]{Teschl.2012}
G.~Teschl.
\newblock {\em Ordinary differential equations and dynamical systems}, volume
140 of {\em Graduate Studies in Mathematics Ser}.
\newblock {American Mathematical Society}, Providence, Rhode Island, 2012.
\bibitem[vD86]{vanDoorn.1986}
E.~A. van Doorn.
\newblock Connectivity of circulant digraphs.
\newblock {\em Journal of Graph Theory}, 10(1):9--14, 1986.
\bibitem[WK69]{Watton.1969}
A.~Watton and D.~W. Kydon.
\newblock Analytical aspects of the {$N$}-bug problem.
\newblock {\em American Journal of Physics}, 37(2):220--221, 1969.
\end{thebibliography}