4 problems

Let $[...$

Let $\textsc{NAE-SAT}$ be the constraint satisfaction model at constraint density $[...$

One-step replica-symmetry-breaking free-energy conjecture. For $alpha\in(alpha_{\mathrm{cond}},alpha_{\mathrm{sat}})$, the free energy equals a one-step replica-symmetry-breaking v…

Exact satisfiability threshold conjecture. For each $k\geq 3$, there is an exact satisfiability threshold $alpha_{\mathrm{sat}}(k)$ such that, for $alpha<alpha_{\mathrm{sat}}(k)$,…