State evolution for approximate message passing with non-separable functions

From MaRDI portal



Abstract: Given a high-dimensional data matrix , Approximate Message Passing (AMP) algorithms construct sequences of vectors , , indexed by tin0,1,2dots by iteratively applying or , and suitable non-linear functions, which depend on the specific application. Special instances of this approach have been developed --among other applications-- for compressed sensing reconstruction, robust regression, Bayesian estimation, low-rank matrix recovery, phase retrieval, and community detection in graphs. For certain classes of random matrices , AMP admits an asymptotically exact description in the high-dimensional limit m,noinfty, which goes under the name of `state evolution.' Earlier work established state evolution for separable non-linearities (under certain regularity conditions). Nevertheless, empirical work demonstrated several important applications that require non-separable functions. In this paper we generalize state evolution to Lipschitz continuous non-separable nonlinearities, for Gaussian matrices . Our proof makes use of Bolthausen's conditioning technique along with several approximation arguments. In particular, we introduce a modified algorithm (called LAMP for Long AMP) which is of independent interest.




Cited in
(39)








This page was built for publication: State evolution for approximate message passing with non-separable functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5006514)