Convergence Analysis of Overparametrized LQR Formulations | Synapse