The overlap gap property: A topological barrier to optimizing over random structures

D Gamarnik - Proceedings of the National Academy of …, 2021 - National Acad Sciences
The problem of optimizing over random structures emerges in many areas of science and
engineering, ranging from statistical physics to machine learning and artificial intelligence …

Reed-Muller codes achieve capacity on erasure channels

S Kudekar, S Kumar, M Mondelli, HD Pfister… - Proceedings of the forty …, 2016 - dl.acm.org
We introduce a new approach to proving that a sequence of deterministic linear codes
achieves capacity on an erasure channel under maximum a posteriori decoding. Rather …

The computer science and physics of community detection: Landscapes, phase transitions, and hardness

C Moore - arXiv preprint arXiv:1702.00467, 2017 - arxiv.org
Community detection in graphs is the problem of finding groups of vertices which are more
densely connected than they are to the rest of the graph. This problem has a long history, but …

Information-theoretic thresholds from the cavity method

A Coja-Oghlan, F Krzakala, W Perkins… - Proceedings of the 49th …, 2017 - dl.acm.org
Vindicating a sophisticated but non-rigorous physics approach called the cavity method, we
establish a formula for the mutual information in statistical inference problems induced by …

The algorithmic phase transition of random k-sat for low degree polynomials

G Bresler, B Huang - 2021 IEEE 62nd Annual Symposium on …, 2022 - ieeexplore.ieee.org
Let Φ be a uniformly random k-SAT formula with n variables and m clauses. We study the
algorithmic task of finding a satisfying assignment of Φ. It is known that satisfying …

[HTML][HTML] Applying quantum algorithms to constraint satisfaction problems

E Campbell, A Khurana, A Montanaro - Quantum, 2019 - quantum-journal.org
Quantum algorithms can deliver asymptotic speedups over their classical counterparts.
However, there are few cases where a substantial quantum speedup has been worked out …

Sum of squares lower bounds for refuting any CSP

PK Kothari, R Mori, R O'Donnell, D Witmer - Proceedings of the 49th …, 2017 - dl.acm.org
Let P:{0, 1} k→{0, 1} be a nontrivial k-ary predicate. Consider a random instance of the
constraint satisfaction problem (P) on n variables with Δ n constraints, each being P applied …

[图书][B] Modern discrete probability: An essential toolkit

S Roch - 2024 - books.google.com
Providing a graduate-level introduction to discrete probability and its applications, this book
develops a toolkit of essential techniques for analysing stochastic processes on graphs …

Phase transitions and sample complexity in Bayes-optimal matrix factorization

Y Kabashima, F Krzakala, M Mézard… - … on information theory, 2016 - ieeexplore.ieee.org
We analyze the matrix factorization problem. Given a noisy measurement of a product of two
matrices, the problem is to estimate back the original matrices. It arises in many applications …

The asymptotic k-SAT threshold

A Coja-Oghlan - Proceedings of the forty-sixth annual ACM symposium …, 2014 - dl.acm.org
Since the early 2000s physicists have developed an ingenious but non-rigorous formalism
called the cavity method to put forward precise conjectures as to the phase transitions in …