We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.PR

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Probability

Title: The random 2-SAT partition function

Abstract: We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random $2$-SAT formula converges in probability to an expression predicted by the cavity method from statistical physics. The proof is based on showing that the Belief Propagation algorithm renders the correct marginal probability that a variable is set to `true' under a uniformly random satisfying assignment.
Subjects: Probability (math.PR); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
MSC classes: 05C80, 60C05, 68Q87
Cite as: arXiv:2002.03690 [math.PR]
  (or arXiv:2002.03690v1 [math.PR] for this version)

Submission history

From: Amin Coja-Oghlan [view email]
[v1] Mon, 10 Feb 2020 12:47:56 GMT (53kb,D)

Link back to: arXiv, form interface, contact.