Table of Contents
Fetching ...

Switching Graph Matrix Norm Bounds: from i.i.d. to Random Regular Graphs

Jeff Xu

TL;DR

This work gives novel spectral norm bounds for graph matrix on inputs being random regular graphs, and shows that higher-degree Sum-of-Squares lower bounds for the independent set problem on \Erdos-\Renyi random graphs can be switched into lower bounds on random $d$-regular graphs.

Abstract

In this work, we give novel spectral norm bounds for graph matrix on inputs being random regular graphs. Graph matrix is a family of random matrices with entries given by polynomial functions of the underlying input. These matrices have been known to be the backbone for the analysis of various average-case algorithms and hardness. Previous investigations of such matrices are largely restricted to the \Erdos-\Renyi model, and tight matrix norm bounds on regular graphs are only known for specific examples. We unite these two lines of investigations, and give the first result departing from the \Erdos-\Renyi setting in the full generality of graph matrices. We believe our norm bound result would enable a simple transfer of spectral analysis for average-case algorithms and hardness between these two distributions of random graphs. As an application of our spectral norm bounds, we show that higher-degree Sum-of-Squares lower bounds for the independent set problem on \Erdos-\Renyi random graphs can be switched into lower bounds on random $d$-regular graphs. Our result is the first to address the general open question of analyzing higher-degree Sum-of-Squares on random regular graphs.

Switching Graph Matrix Norm Bounds: from i.i.d. to Random Regular Graphs

TL;DR

This work gives novel spectral norm bounds for graph matrix on inputs being random regular graphs, and shows that higher-degree Sum-of-Squares lower bounds for the independent set problem on \Erdos-\Renyi random graphs can be switched into lower bounds on random -regular graphs.

Abstract

In this work, we give novel spectral norm bounds for graph matrix on inputs being random regular graphs. Graph matrix is a family of random matrices with entries given by polynomial functions of the underlying input. These matrices have been known to be the backbone for the analysis of various average-case algorithms and hardness. Previous investigations of such matrices are largely restricted to the \Erdos-\Renyi model, and tight matrix norm bounds on regular graphs are only known for specific examples. We unite these two lines of investigations, and give the first result departing from the \Erdos-\Renyi setting in the full generality of graph matrices. We believe our norm bound result would enable a simple transfer of spectral analysis for average-case algorithms and hardness between these two distributions of random graphs. As an application of our spectral norm bounds, we show that higher-degree Sum-of-Squares lower bounds for the independent set problem on \Erdos-\Renyi random graphs can be switched into lower bounds on random -regular graphs. Our result is the first to address the general open question of analyzing higher-degree Sum-of-Squares on random regular graphs.

Paper Structure

This paper contains 33 sections, 17 theorems, 59 equations, 3 figures.

Key Result

Theorem 1.1

For shapes $\tau$ that do not have any edge "floating", i.e., edge-component not connected to the left/right matrix boundary , the same graph matrix norm bound (in JPRTX) for Erdős-Rényi continues to hold with high probability for the random $d$-regular graph distribution $G_d(n)$. For shapes $\tau$

Figures (3)

  • Figure 1: Floating Component
  • Figure :
  • Figure :

Theorems & Definitions (60)

  • Theorem 1.1: Informal of \ref{['thm:normbound']}
  • Definition 2.1: Fourier character for $G(n,\frac{d}{n})$
  • Definition 2.2: Shape
  • Definition 2.3: Shape transpose
  • Definition 2.4: Embedding
  • Definition 2.5: Graph matrix of a shape
  • Definition 2.6: Isolated vertex
  • Definition 2.7: Floating component
  • Definition 2.8: Tree-like component
  • Theorem 2.9: User-friendly version for shapes without floating component
  • ...and 50 more