1: \begin{abstract}

2: Orthogonal/vector approximate message-passing (AMP) is a powerful 

3: message-passing (MP) algorithm for signal reconstruction in compressed sensing. 

4: This paper proves the convergence of Bayes-optimal orthogonal/vector AMP in 

5: the large system limit. The proof strategy is based on a novel long-memory 

6: (LM) MP approach: A first step is a construction of LM-MP that 

7: is guaranteed to converge in principle. A second step is a large-system 

8: analysis of LM-MP via an existing framework of state evolution. 

9: A third step is to prove the convergence of Bayes-optimal LM-MP via a new 

10: statistical interpretation of existing LM damping. The last is an exact 

11: reduction of Bayes-optimal LM-MP to Bayes-optimal orthogonal/vector AMP. 

12: Numerical simulations are presented to show the verification of state 

13: evolution results for damped orthogonal/vector AMP and a challenge in  

14: LM-MP for finite-sized systems. 

15: \end{abstract}

16: