Local Convexity Of The Tap Free Energy And Amp Convergence For Z2-Synchronization
summary
For Z2 synchronization at constant signal strength the result is that the TAP free energy has a single, locally strongly convex minimizer near the Bayes posterior moment for λ above the information threshold, with AMP shown to be an asymptotically stable fixed point and a hybrid spectral→AMP→natural gradient descent procedure provably converging for fixed instances when λ exceeds a larger λ0. Proof ingredients are Kac‑Rice calculus, conditional Gaussian comparison reducing the Hessian to a finite‑rank spiked GOE, state‑evolution for AMP and relative smoothness arguments for optimization.
AI-written summary · about
chapters (7)
- 0:00Start
- 2:36What Is Z2 Synchronization
- 6:12Variational Free Energy
- 15:55The Iterative Algorithm
- 21:20Proof
- 22:47The Calculus Formula
- 27:41Convergence of Emp
related talks
45mTAP Free Energy, Spin Glasses, and Variational Inference
01h 31mIncremental Approximate Message Passing
49mApproximate Message Passing Algorithms For Orthogonally Invariant Models
48mSpatial Coupling as a Proof Technique
01h 06mTutorial: Methods from Statistical Physics II
58mUniversality of Approximate Message Passing on Semi-random Matrices
31mStatistical Estimation on Graphs
01h 08mTutorial: Methods from Statistical Physics III
