Disordered systems insights on computational hardness
In this review article we discuss connections between the physics of disordered systems,
phase transitions in inference problems, and computational hardness. We introduce two …
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 …
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 …
complexity theory, its connections and interactions with mathematics, and its central role in …
Low-degree hardness of random optimization problems
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 …
random objective functions. Such problems arise widely in the theory of random graphs …
Limits of local algorithms over sparse random graphs
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 …
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 …
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
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 …
symmetric Ising perceptron exhibits thefrozen 1-RSB'structure conjectured by Krauth and …
Optimization hardness as transient chaos in an analog approach to constraint satisfaction
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 …
efficient (that is, polynomial-time) solution to k-SAT (for k≥ 3) implies efficient solutions to a …
Shattering in the Ising Pure -Spin Model
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 …
Hamiltonian of this model. We show that for any $\gamma> 0$ and any large enough $ p …
Storage capacity in symmetric binary perceptrons
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 …
the problem where the corresponding constraint is symmetric. We call these variants the …