Researcher Shares Roadmap for Exact Recovery Proof

Dimitris Papailiopoulos posted that he finished polishing a paper and blog on a MIMO detection problem from his 2009 PhD work. He shared an image of a three-part proof roadmap showing how rounded LMMSE estimation reaches sublinear distance to ground truth, with favorable geometry near the optimum and a decreasing objective. The post drew replies from other researchers noting the algorithm's simplicity as least squares plus greedy rounding and its match to maximum-likelihood performance without a statistical-computational tradeoff. Visible discussion among replies on X centers on the posted roadmap itself.