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\}$ with adjacency matrix $A.$ For each non-empty subset $ S=\{i_{1},i_{2},\ldots ,i_{k}\}$ of $V$ let $B_{S}$ be the $(n\times k)$-matrix with columns $\mathbf{e}_{i_{1}},$ $\mathbf{e}_{i_{2}},\ldots , \mathbf{e}_{i_{k}}$. A non-empty subset $S$ 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. 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=\left[ x_{ij}\right] $ 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.