Quadratic programs over the Stiefel manifold

We characterize the optimal solution of a quadratic program over the Stiefel manifold with an objective function in trace formulation. The result is applied to relaxations of HQAP and MTLS. Finally, we show that strong duality holds for the Lagrangian dual, provided some redundant constraints are added to the primal program.