Abstract

We derive upper and lower bounds on the degree $d$ for which the Lovasz $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in ra...

Highlights

  • Many constraint satisfaction problems have phase transitions in the random case: as the ratio between the number of constraints and the number of variables increases, there is a critical value at which the probability that a solution exists, in the limit n → ∞, suddenly drops from one to zero

  • The Lovász θ function, which we review below, gives a lower bound on the chromatic number which can be computed in polynomial time

  • We first use orthogonal polynomials to derive explicit bounds on θ(G) for arbitrary regular graphs of a given girth – which may be of independent interest – and employ a concentration argument for Gn,d

Read more

Summary

Introduction

Many constraint satisfaction problems have phase transitions in the random case: as the ratio between the number of constraints and the number of variables increases, there is a critical value at which the probability that a solution exists, in the limit n → ∞, suddenly drops from one to zero. Conjectures from statistical physics [40, 25, 26] suggest this exponential difficulty is sometimes unavoidable These conjectures state that polynomial-time algorithms for detection and reconstruction exist if and only if d is above the Kesten-Stigum threshold [34, 35], k−1 2. We define the d-regular block model by choosing a planted partition σ uniformly at random and conditioning Gn,d on the event that σ is good.

Main Results
Related Work
Background on sum-of-squares
The Lovász θ function
Good partitions and a relaxed Lovász function
Upper and lower bounds
Constructing a Pseudoexpectation with Orthogonal Polynomials
A Proof of Theorems 3 and 4
B Proof of Lemma 11
C Proof of Lemma 9

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.