Analysis of Algorithms on Dense Matrices using Approximate Message Passing
summary
A specific algorithmic claim: iterating a centered, rescaled dense random matrix with a component-wise nonlinearity plus an explicit Onsager reaction term yields vectors whose coordinates converge to an IID Gaussian law described by a scalar state evolution. Rigorous proofs cover Gaussian matrices and polynomial nonlinearities; the reaction term exactly cancels reversing paths (leaving non-reversing trees), enabling CLT-style moments. Works empirically beyond polynomials and separability; proofs currently hold for any fixed number of iterations (breakdown expected near log N).
AI-written summary · about
chapters (13)
- 0:00Introduction and motivation
- 1:03Sparse graph algorithms
- 2:22Planted subgraph example
- 6:08Belief propagation
- 9:25Independent subtree analysis
- 12:13Approximate message passing
- 16:57Formalizing the AMP iteration
- 21:00Gaussian convergence theorem
- 24:21Conditioning technique
- 28:57Complexity and stability
- 32:36Proof for linear functions
- 37:47Generalization to polynomials
- 44:12Applications and open problems
related talks
58mUniversality of Approximate Message Passing on Semi-random Matrices
01h 08mTutorial: Methods from Statistical Physics III
49mApproximate Message Passing Algorithms For Orthogonally Invariant Models
34mMatrix Martingales in Randomized Numerical Linear Algebra
29mImplementing Randomized Matrix Algorithms in Parallel and Distributed Environments
01h 06mTutorial: Methods from Statistical Physics II
09mConvex Programs, Computational Phase Transitions, and Robust Algorithms
01h 31mPast, Present and Future of Randomized Numerical Linear Algebra II
