Two-coloring random hypergraphs
Random Structures & Algorithms
FOCS '02 Proceedings of the 43rd Symposium on Foundations of Computer Science
Random k-Sat: A Tight Threshold For Moderately Growing k
Combinatorica
Random Structures & Algorithms - Proceedings of the Eleventh International Conference "Random Structures and Algorithms," August 9—13, 2003, Poznan, Poland
On the solution-space geometry of random constraint satisfaction problems
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
Random $k$-SAT: Two Moments Suffice to Cross a Sharp Threshold
SIAM Journal on Computing
Pairs of SAT-assignments in random Boolean formulæ
Theoretical Computer Science
Algorithmic Barriers from Phase Transitions
FOCS '08 Proceedings of the 2008 49th Annual IEEE Symposium on Foundations of Computer Science
Combinatorial approach to the interpolation method and scaling limits in sparse random graphs
Proceedings of the forty-second ACM symposium on Theory of computing
On the solution-space geometry of random constraint satisfaction problems
Random Structures & Algorithms
Catching the k-NAESAT threshold
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
The freezing threshold for k-colourings of a random graph
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Going after the k-SAT threshold
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
Hi-index | 0.00 |
For many random constraint satisfaction problems such as random satisfiability or random graph or hypergraph coloring, the best current estimates of the threshold for the existence of solutions are based on the first and the second moment method. However, in most cases these techniques do not yield matching upper and lower bounds. Sophisticated but non-rigorous arguments from statistical mechanics have ascribed this discrepancy to the existence of a phase transition called condensation that occurs shortly before the actual threshold for the existence of solutions and that affects the combinatorial nature of the problem (Krzakala, Montanari, Ricci-Tersenghi, Semerjian, Zdeborová: PNAS 2007). In this paper we prove for the first time that a condensation transition exists in a natural random CSP, namely in random hypergraph 2-coloring. Perhaps surprisingly, we find that the second moment method applied to the number of 2-colorings breaks down strictly before the condensation transition. Our proof also yields slightly improved bounds on the threshold for random hypergraph 2-colorability.