Title: On the minimal driver sets for linear dynamical systems on graphs

Abstract: Let $G=(V,E)$ be a simple, undirected graph on the vertex set $ V=\{1,2,\ldots ,n\}$ and let $A$ be the adjacency matrix of $G.$ A non-empty subset $S=\{i_{1},i_{2},\ldots ,i_{k}\}$ of $V$ is called a driver set for $ G $ if the system $\mathbf{\dot{x}}=A\mathbf{x}+B_{S}\mathbf{u}$, or the pair $(A,B_{S}),$ is controllable, where $B_{S}$ is the $(n\times k)$-matrix with columns $\mathbf{e}_{i_{1}},$ $\mathbf{e}_{i_{2}},\ldots ,\mathbf{e} _{i_{k}}. $ Let $D(G)$ denote the minimum cardinality of a driver set for $G$ and let $M(G)$ denote the maximum of all geometric multiplicities of eigenvalues of $A.$ It is well-known that $D(G)\geq M(G)$ for all graphs $ G.$
Let $\gamma $ denote the Pl\"{u}cker embedding of $Gr(k,n)$ into $\mathbb{P} ^{\binom{n}{k}-1}.$ We prove that in all cases of equality $D(G)=M(G)=k$ a necessary condition for $S$ to be a minimal driver set is the condition that $S$ lies in the support of $\gamma (E_{\lambda })$ for each eigenspace $ E_{\lambda }$ of $A$ of maximal dimension $k.$ We classify the minimal driver sets for the path and cycle graphs $P_{n}$ and $C_{n}$ for all values of $n.$
Let Sym$_{0}(G)$ be the set of symmetric $(n\times n)$-matrices $X$ with zero diagonal and off-diagonal elements $x_{ij}$ unequal to zero if and only if $(i,j)\in E.$ The pair $(G,S)$ is called strongly Sym$_{0}(G)$-controllable if $(X,B_{S})$ is controllable for all $X\in $ Sym$_{0}$($G).$ We show that this property of $(G,S)$ is respected by the automorphism group $Aut(G).$
We determine all orbits of minimal driver sets $S$ for $G=P_{n}$ and $ G=C_{n} $ for which $(G,S)$ is strongly Sym$_{0}(G)$-controllable.
$\textit{Keywords: }$System, graph, (structural) controllability, driver set, Pl\"{u}cker embedding.
$\textit{MSC: }$05C50, 05C69, 15A75, 93B05, 93B25