Look into ADMM-GAMP, because of similarity to existing ADMM method and provable convergence for arbitrary linear transforms.