Cadzow Projected Gradient Descent for Generalized Finite Rate of Innovation: A Quantitative Local Convergence Theory
The generalized finite rate of innovation~(GenFRI) framework aims at reconstructing finite-rate-of-innovation~(FRI) signals measured through a noisy linear measurement model. GenFRI has been recently recast as a structured low-rank optimization problem and the Cadzow projected gradient descent~(CPGD) algorithm has been suggested to solve it. While CPGD works well in practice, only qualitative local convergence guarantees have been established. We revisit GenFRI in the light of the regularization by denoising framework, recasting it as an optimization problem whose solutions lie in the fixed-point set of the Cadzow denoiser. We show that no algorithm in this family can enjoy global guarantees, and establish instead that the Cadzow denoiser is quasi-nonexpansive on an explicit neighborhood of the FRI model set, whose radius is governed by the conditioning of the underlying Dirac stream. Building on these results, we propose the generalized CPGD~(GCPGD) algorithm and prove its convergence from any initialization within an explicit basin of attraction, together with a reconstruction error bound proportional to the noise level. Numerical experiments validate the predicted contraction rates, recovery thresholds, and run-time certificates, and show that a single run of GCPGD outperforms state-of-the-art GenFRI algorithms.