Let @math be a fixed integer and let @math be the number of @math -colourings of the graph @math . For certain values of the average degree, the random variable @math is known to be concentrated in the sense that @math converges to @math in probability [Achlioptas and Coja-Oghlan: FOCS 2008]. In the present paper we prove a significantly stronger concentration result. Namely, we show that for a wide range of average degrees, @math converges to @math in probability for any diverging function @math . For @math exceeding a certain constant @math this result covers all average degrees up to the so-called condensation phase transition, and this is best possible. As an application, we show that the experiment of choosing a @math -colouring of the random graph @math uniformly at random is contiguous with respect to the so-called "planted model".
We expect that the present approach of combining the second moment method with small subgraph conditioning can be applied successfully to a variety of other random constraint problems. Immediate examples that spring to mind include random @math -NAESAT or random @math -XORSAT, random hypergraph @math -colourability or, more generally, the family of problems studied in @cite_19 . (On the other hand, we expect that in problems such as random @math -SAT the logarithm of the number of satisfying assignments exhibits stronger fluctuations, due to a lack of symmetry.)
@cite_19
1610636547
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, Zdeborova: 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.