-
Lower bounds on the chromatic number of random graphs
Authors:
Peter Ayre,
Amin Coja-Oghlan,
Catherine Greenhill
Abstract:
We prove that a formula predicted on the basis of non-rigorous physics arguments [Zdeborova and Krzakala: Phys. Rev. E (2007)] provides a lower bound on the chromatic number of sparse random graphs. The proof is based on the interpolation method from mathematical physics. In the case of random regular graphs the lower bound can be expressed algebraically, while in the case of the binomial random w…
▽ More
We prove that a formula predicted on the basis of non-rigorous physics arguments [Zdeborova and Krzakala: Phys. Rev. E (2007)] provides a lower bound on the chromatic number of sparse random graphs. The proof is based on the interpolation method from mathematical physics. In the case of random regular graphs the lower bound can be expressed algebraically, while in the case of the binomial random we obtain a variational formula. As an application we calculate improved explicit lower bounds on the chromatic number of random graphs for small (average) degrees. Additionally, show how asymptotic formulas for large degrees that were previously obtained by lengthy and complicated combinatorial arguments can be re-derived easily from these new results.
△ Less
Submitted 19 October, 2021; v1 submitted 23 December, 2018;
originally announced December 2018.
-
Rigid colourings of hypergraphs and contiguity
Authors:
Peter Ayre,
Catherine Greenhill
Abstract:
We consider the problem of $q$-colouring a $k$-uniform random hypergraph, where $q,k \geq 3$, and determine the rigidity threshold. For edge densities above the rigidity threshold, we show that almost all solutions have a linear number of vertices that are linearly frozen, meaning that they cannot be recoloured by a sequence of colourings that each change the colour of a sublinear number of vertic…
▽ More
We consider the problem of $q$-colouring a $k$-uniform random hypergraph, where $q,k \geq 3$, and determine the rigidity threshold. For edge densities above the rigidity threshold, we show that almost all solutions have a linear number of vertices that are linearly frozen, meaning that they cannot be recoloured by a sequence of colourings that each change the colour of a sublinear number of vertices. When the edge density is below the threshold, we prove that all but a vanishing proportion of the vertices can be recoloured by a sequence of colourings that recolour only one vertex at a time. This change in the geometry of the solution space has been hypothesised to be the cause of the algorithmic barrier faced by naive colouring algorithms. Our calculations verify predictions made by statistical physicists using the non-rigorous cavity method.
The traditional model for problems of this type is the random colouring model, where a random hypergraph is chosen and then a random colouring of that hypergraph is selected. However, it is often easier to work with the planted model, where a random colouring is selected first, and then edges are randomly chosen which respect the colouring. As part of our analysis, we show that up to the condensation phase transition, the random colouring model is contiguous with respect to the planted model. This result is of independent interest.
△ Less
Submitted 11 June, 2019; v1 submitted 13 August, 2018;
originally announced August 2018.
-
The satisfiability threshold for random linear equations
Authors:
Peter Ayre,
Amin Coja-Oghlan,
Pu Gao,
Noëla Müller
Abstract:
Let $A$ be a random $m\times n$ matrix over the finite field $F_q$ with precisely $k$ non-zero entries per row and let $y\in F_q^m$ be a random vector chosen independently of $A$. We identify the threshold $m/n$ up to which the linear system $A x=y$ has a solution with high probability and analyse the geometry of the set of solutions. In the special case $q=2$, known as the random $k$-XORSAT probl…
▽ More
Let $A$ be a random $m\times n$ matrix over the finite field $F_q$ with precisely $k$ non-zero entries per row and let $y\in F_q^m$ be a random vector chosen independently of $A$. We identify the threshold $m/n$ up to which the linear system $A x=y$ has a solution with high probability and analyse the geometry of the set of solutions. In the special case $q=2$, known as the random $k$-XORSAT problem, the threshold was determined by [Dubois and Mandler 2002, Dietzfelbinger et al. 2010, Pittel and Sorkin 2016], and the proof technique was subsequently extended to the cases $q=3,4$ [Falke and Goerdt 2012]. But the argument depends on technically demanding second moment calculations that do not generalise to $q>3$. Here we approach the problem from the viewpoint of a decoding task, which leads to a transparent combinatorial proof.
△ Less
Submitted 27 July, 2022; v1 submitted 20 October, 2017;
originally announced October 2017.
-
Hypergraph coloring up to condensation
Authors:
Peter Ayre,
Amin Coja-Oghlan,
Catherine Greenhill
Abstract:
Improving a result of Dyer, Frieze and Greenhill [Journal of Combinatorial Theory, Series B, 2015], we determine the $q$-colorability threshold in random $k$-uniform hypergraphs up to an additive error of $\ln 2+\varepsilon_q$, where $\lim_{q\to\infty}\varepsilon_q=0$. The new lower bound on the threshold matches the "condensation phase transition" predicted by statistical physics considerations […
▽ More
Improving a result of Dyer, Frieze and Greenhill [Journal of Combinatorial Theory, Series B, 2015], we determine the $q$-colorability threshold in random $k$-uniform hypergraphs up to an additive error of $\ln 2+\varepsilon_q$, where $\lim_{q\to\infty}\varepsilon_q=0$. The new lower bound on the threshold matches the "condensation phase transition" predicted by statistical physics considerations [Krzakala et al., PNAS 2007].
△ Less
Submitted 13 April, 2018; v1 submitted 7 August, 2015;
originally announced August 2015.
