Disordered systems insights on computational hardness

D Gamarnik, C Moore… - Journal of Statistical …, 2022 - iopscience.iop.org
In this review article we discuss connections between the physics of disordered systems,
phase transitions in inference problems, and computational hardness. We introduce two …

[BOOK][B] Foundations of data science

A Blum, J Hopcroft, R Kannan - 2020 - books.google.com
This book provides an introduction to the mathematical and algorithmic foundations of data
science, including machine learning, high-dimensional geometry, and analysis of large …

[BOOK][B] Mathematics and computation: A theory revolutionizing technology and science

A Wigderson - 2019 - books.google.com
From the winner of the Turing Award and the Abel Prize, an introduction to computational
complexity theory, its connections and interactions with mathematics, and its central role in …

Low-degree hardness of random optimization problems

D Gamarnik, A Jagannath… - 2020 IEEE 61st Annual …, 2020 - ieeexplore.ieee.org
We consider the problem of finding nearly optimal solutions of optimization problems with
random objective functions. Such problems arise widely in the theory of random graphs …

Limits of local algorithms over sparse random graphs

D Gamarnik, M Sudan - Proceedings of the 5th conference on …, 2014 - dl.acm.org
Local algorithms on graphs are algorithms that run in parallel on the nodes of a graph to
compute some global structural feature of the graph. Such algorithms use only local …

The overlap gap property and approximate message passing algorithms for -spin models

D Gamarnik, A Jagannath - 2021 - projecteuclid.org
We consider the algorithmic problem of finding a near ground state (near optimal solution) of
a p-spin model. We show that for a class of algorithms broadly defined as Approximate …

Frozen 1-RSB structure of the symmetric Ising perceptron

W Perkins, C Xu - Proceedings of the 53rd Annual ACM SIGACT …, 2021 - dl.acm.org
We prove, under an assumption on the critical points of a real-valued function, that the
symmetric Ising perceptron exhibits thefrozen 1-RSB'structure conjectured by Krauth and …

Optimization hardness as transient chaos in an analog approach to constraint satisfaction

M Ercsey-Ravasz, Z Toroczkai - Nature Physics, 2011 - nature.com
Boolean satisfiability (k-SAT) is one of the most studied optimization problems, as an
efficient (that is, polynomial-time) solution to k-SAT (for k≥ 3) implies efficient solutions to a …

Shattering in the Ising Pure -Spin Model

D Gamarnik, A Jagannath, EC Kızıldağ - arxiv preprint arxiv:2307.07461, 2023 - arxiv.org
We study the Ising pure $ p $-spin model for large $ p $. We investigate the landscape of the
Hamiltonian of this model. We show that for any $\gamma> 0$ and any large enough $ p …

Storage capacity in symmetric binary perceptrons

B Aubin, W Perkins, L Zdeborová - Journal of Physics A …, 2019 - iopscience.iop.org
We study the problem of determining the capacity of the binary perceptron for two variants of
the problem where the corresponding constraint is symmetric. We call these variants the …