Dice Question Streamline Icon: https://streamlinehq.com

Computational hardness of sampling beyond the shattering phase transition

Demonstrate the computational intractability of sampling from the Gibbs measure of mixed p-spin spherical spin glasses beyond the shattering (dynamical) phase transition, i.e., prove that sampling is fundamentally hard in the regime where the dynamical phase transition predicts slow dynamics.

Information Square Streamline Icon: https://streamlinehq.com

Background

Beyond predictions for mixing behavior of Langevin dynamics, a stronger conjecture posits an inherent computational barrier to sampling from the Gibbs measure in the low-temperature (shattered) regime. Prior works have provided evidence of failure for certain classes of algorithms but a complete hardness result remains conjectural.

Establishing such hardness would align algorithmic limitations with the geometric complexity (shattering) of the Gibbs measure and solidify the link between thermodynamic transitions and computational barriers.

References

A bolder version of the dynamical phase transition conjecture postulates that not only Langevin dynamics is slow, but indeed sampling is fundamentally hard beyond the shattering phase transition.

Sampling from Spherical Spin Glasses in Total Variation via Algorithmic Stochastic Localization (2404.15651 - Huang et al., 24 Apr 2024) in Subsection 1.1 Background and related work