Glassy nature of the hard phase in inference problems

TL;DR

This paper investigates the hard phase in low-rank matrix factorization inference problems, revealing a complex glassy landscape of metastable states that challenge the effectiveness of message passing algorithms.

Contribution

It characterizes the glassy metastable states in the hard phase and demonstrates their impact on algorithmic performance in inference tasks.

Findings

The posterior measure contains exponentially many metastable glassy states.

The glassy states exist even below the algorithmic threshold for AMP.

AMP performance is unaffected by the glassy landscape, indicating deep computational hardness.

Abstract

An algorithmically hard phase was described in a range of inference problems: even if the signal can be reconstructed with a small error from an information theoretic point of view, known algorithms fail unless the noise-to-signal ratio is sufficiently small. This hard phase is typically understood as a metastable branch of the dynamical evolution of message passing algorithms. In this work we study the metastable branch for a prototypical inference problem, the low-rank matrix factorization, that presents a hard phase. We show that for noise-to-signal ratios that are below the information theoretic threshold, the posterior measure is composed of an exponential number of metastable glassy states and we compute their entropy, called the complexity. We show that this glassiness extends even slightly below the algorithmic threshold below which the well-known approximate message passing (AMP) algorithm is able to closely reconstruct the signal. Counter-intuitively, we find that the performance of the AMP algorithm is not improved by taking into account the glassy nature of the hard phase. This result provides further evidence that the hard phase in inference problems is algorithmically impenetrable for some deep computational reasons that remain to be uncovered.