LinearModels dimensions

One of the central objects in such algorithms are the so calledstate evolution equations, a low-dimensional recursion equations which allowtoexactly compute the high dimensional distribution of the iterates of the sequence. In this proof we will use a specific form of matrix-valued approximate message-passing iteration with non-separable non-linearities. In its full generality, the validity of the state evolution equations in this case is an extension of the works of [36, 37] includedin[67].