1: \begin{abstract} 

2: We study the distributed Linear Quadratic Gaussian (LQG) control problem in discrete-time and finite-horizon, where the controller depends linearly on the history of the outputs and it is required to lie in a given subspace, e.g. to possess a certain sparsity pattern. It is well-known that this problem can be solved with convex programming within the Youla domain if and only if a condition known as Quadratic Invariance (QI) holds. In this paper, we first show that given QI sparsity constraints, one can directly descend the gradient of the cost function within the domain of output-feedback controllers and converge to a global optimum. Note that convergence is guaranteed despite non-convexity of the cost function. Second, we characterize a class of Uniquely Stationary (US) problems, for which first-order methods are guaranteed to converge to a global optimum. We show that the class of US problems is strictly larger than that of strongly QI problems and that it is not included in that of QI problems. We refer to Figure~\ref{fig:scheme} for details. Finally, we propose a tractable test for the US property. %Our test provides a global optimality certificate for a class of problems that are \emph{not QI}.

3: %The contributions of this note are as follows. First, we show that given a QI distributed control problem in finite-horizon, it is always possible to solve it to global optimality using first-order methods (gradient-descent). Second, we demonstrate that the class of problems which can be solved to global optimality from any initial condition with first-order methods, which we denote as \emph{uniquely stationary} (US) problems, is \emph{strictly} larger than that of QI problems.  Last, we argue that our results imply that, for every US problem,  it is possible to learn distributed controllers in a model free setting with stochastic gradient-descent given simulation access to the cost function.

4: \end{abstract}

5: