Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@Suvrit: Very recently I managed to prove the convergence of the algorithm. As soon as I double-check the proof I will write the (a trace of) solution here. (Yes, the log applies to $G^\top X G$).