Abstract:We consider the problem of sampling from the Ising model when the underlying interaction matrix has eigenvalues lying within an interval of length $\gamma$. Recent work in this setting has shown various algorithmic results that apply roughly when $\gamma< 1$, notably with nearly-linear running times based on the classical Glauber dynamics. However, the optimality of the range of $\gamma$ was not clear since previous inapproximability results developed for the antiferromagnetic case (where the matrix has entries $\leq 0$) apply only for $\gamma>2$. To this end, Kunisky (SODA'24) recently provided evidence that the problem becomes hard already when $\gamma>1$ based on the low-degree hardness for an inference problem on random matrices. Based on this, he conjectured that sampling from the Ising model in the same range of $\gamma$ is NP-hard. Here we confirm this conjecture, complementing in particular the known algorithmic results by showing NP-hardness results for approximately counting and sampling when $\gamma>1$, with strong inapproximability guarantees; we also obtain a more refined hardness result for matrices where only a constant number of entries per row are allowed to be non-zero. The main observation in our reductions is that, for $\gamma>1$, Glauber dynamics mixes slowly when the interactions are all positive (ferromagnetic) for the complete and random regular graphs, due to a bimodality in the underlying distribution. While ferromagnetic interactions typically preclude NP-hardness results, here we work around this by introducing in an appropriate way mild antiferromagnetism, keeping the spectrum roughly within the same range. This allows us to exploit the bimodality of the aforementioned graphs and show the target NP-hardness by adapting suitably previous inapproximability techniques developed for antiferromagnetic systems.

Littlewood-Offord problems for Ising models

Littlewood-Offord problems for the Curie-Weiss models

On Model Selection Consistency of Lasso for High-Dimensional Ising Models

Ising Model Selection Using ℓ_1-Regularized Linear Regression: A Statistical Mechanics Analysis

Curie-Weiss Model under $\ell^{p}$ constraint and a Generalized Hubbard-Stratonovich Transform

The weak limit of Ising models on locally tree-like graphs

The sharp interface limit of an Ising game

Mathematical Mechanism on Dynamical System Algorithms of the Ising Model

Ising model on a Galton-Watson tree with a sparse random external field

Simultaneous Analysis of Several Models in the Three-Dimensional Ising Universality Class.

The two upper critical dimensions of the Ising and Potts models

Ising model on generalized Union Jack lattice

On Sampling from Ising Models with Spectral Constraints

Exact results for the Ising model on a small-world network

ON CONNECTION AMONG QUANTUM-INSPIRED ALGORITHMS OF THE ISING MODEL

Limiting free energy per particle for Ising Model by approximating its functional integral

On a generalised Lambert W branch transition function arising from p,q-binomial coefficients

Generalized Ising Model on a Scale-Free Network: An Interplay of Power Laws

Ising Model on Locally Tree-like Graphs: Uniqueness of Solutions to Cavity Equations