Beyond Worst-Case Analysis: Lecture 11

Scribed by Neng Huang

In which we use the SDP relaxation of the infinity-to-one norm and Grothendieck inequality to give an approximation reconstruction of the stochastic block model.

1. A Brief Review of the Model

First, let’s briefly review the model. We have a random graph ${G = (V, E)}$ with an unknown partition of the vertices into two equal parts ${V_1}$ and ${V_2}$ . Edges across the partition are generated independently with probability ${q}$ , and edges inside the partition are generated independently with probability ${p}$ . To abbreviate the notation, we let ${a = pn/2}$ , which is the average internal degree, and ${b = qn/2}$ , which is the average external degree. Intuitively, the closer are ${a}$ and ${b}$ , the more difficult it is to reconstruct the partition. We assume ${a > b}$ , although there are also similar results in the complementary model where ${b}$ is larger than ${a}$ . We also assume ${b > 1}$ so that the graph is not almost empty.

We will prove the following two results, the first of which will be proved using Grothendieck inequality.

For every ${\epsilon > 0}$ , there exists a constant ${c_\epsilon}$ such that if ${a - b > c_\epsilon\sqrt{a+b}}$ , then we can reconstruct the partition up to less than ${\epsilon n}$ misclassified vertices.
There exists a constant ${c}$ such that if ${a-b \geq c \sqrt{\log n}\sqrt{a+b}}$ , then we can do exact reconstruct.

We note that the first result is essentially tight in the sense that for every ${\epsilon > 0}$ , there also exists a constant ${c_\epsilon'}$ such that if ${a-b < c_\epsilon'\sqrt{a+b}}$ , then it will be impossible to reconstruct the partition even if an ${\epsilon}$ fraction of misclassified vertices is allowed. Also, the constant ${c_\epsilon}$ will go to infinity as ${\epsilon}$ goes to 0, so if we want more and more accuracy, ${a-b}$ needs to be a bigger and bigger constant times ${\sqrt{a+b}}$ . When the constant becomes ${O(\sqrt{\log n})}$ , we will get an exact reconstruction as stated in the second result.

2. The Algorithm

Our algorithm will be based on semi-definite programming. Intuitively, the problem of reconstructing the partition is essentially the same as min-bisection problem, which is to find a balanced cut with the fewest edges. This is because the balanced cut with the fewest expected edges is exactly our hidden cut. Unfortunately, the min-bisection problem is ${{\bf NP}}$ -hard, so we will use semi-definite programming. The min-bisection problem can be stated as the following program: \begin{equation*} & {\text{minimize}} & & \sum_{(u, v) \in E} \frac{1}{4}(x_u – x_v)^2
& \text{subject to} & & x_v^2 = 1, \forall v \in V
&&& \sum_{v \in V}x_v = 0. \end{equation*} Its semi-definite programming relaxation will be

$\displaystyle \begin{aligned} & {\text{minimize}} & & \sum_{(u, v) \in E} \frac{1}{4}\|{\bf x}_u - {\bf x}_v\|^2\\ & \text{subject to} & & \|{\bf x}_v\|^2 = 1, \forall v \in V \\ &&& \|\sum_{v \in V}{\bf x}_v\|^2 = 0. \end{aligned} \ \ \ \ \ (1)$

Our algorithm will be as follows.

Solve the semi-definite programming above.
Let ${{\bf x}_1^\ast, \ldots, {\bf x}_n^\ast}$ be the optimal solution and ${X = (X_{ij})}$ such that ${X_{ij} = \langle{\bf x}_i^\ast, {\bf x}_j^\ast\rangle}$ .
Find ${{\bf z} = (z_1, \ldots, z_n)}$ , which is the eigenvector corresponding to the largest eigenvalue of ${X}$ .
Let ${S = \{i : z_i > 0\}}$ , ${V - S = \{i : z_i \leq 0\}}$ .
Output ${(S, V-S)}$ as our partition.

Ideally, we want half of the ${{\bf x}_i^\ast}$ ‘s pointing to one direction, and the other half pointing to the opposite direction. In this ideal case we will have

$\displaystyle X = \left(\begin{array}{c | c} {\bf 1} & {\bf -1}\\ {\bf -1} & {\bf 1} \end{array}\right) = \left(\begin{array}{c} 1 \\ \vdots \\1 \\ -1 \\ \vdots \\ -1 \end{array}\right) (1, \ldots, 1, -1, \ldots, -1).$

Then ${X}$ will be a rank-one matrix and ${(1, \ldots, 1, -1, \ldots, -1)^T}$ , which is the indicator vector of the hidden cut, will be its eigenvector with eigenvalue ${n}$ . The remaining eigenvalues of ${X}$ will be all zeros. So finding the largest eigenvector of ${X}$ will reveal the hidden cut. In reality, if ${a - b > c_\epsilon\sqrt{a+b}}$ , then our solution will be almost the same as that in the ideal case, so the cut we get will be almost the same as the hidden cut. Furthermore, if ${a-b \geq c \sqrt{\log n}\sqrt{a+b}}$ , then the unique optimal solution of the SDP will be the combinatorial solution of min-bisection problem, that is, in the vector language, the one-dimensional solution.\footnote{“A miracle”, said Luca.}

3. Analysis of the Algorithm

First, we rearrange the SDP to make it slightly simpler. We have the following SDP:

$\displaystyle \begin{aligned} & {\text{maximize}} & & \sum_{u,v} A_{uv}\langle {\bf x}_u, {\bf x}_v \rangle\\ & \text{subject to} & & \|{\bf x}_v\|^2 = 1, \forall v \in V \\ &&& \|\sum_{v \in V}{\bf x}_v\|^2 = 0. \end{aligned} \ \ \ \ \ (2)$

We note that SDP1 and SDP2 have the same optimal solution, because the cost function of SDP1 is

$\displaystyle \begin{aligned} & \sum_{(u, v) \in E} \frac{1}{4}\|{\bf x}_u - {\bf x}_v\|^2 \\ = & \sum_{u,v} \frac{1}{4}A_{uv}\|{\bf x}_u - {\bf x}_v\|^2 \\ = & \sum_{u,v} \frac{1}{4}A_{uv}(2 - \langle {\bf x}_u, {\bf x}_v \rangle) \\ = & (\sum_{u,v} \frac{1}{2}A_{uv}) - \frac{1}{4}(\sum_{u,v}A_{uv}\langle {\bf x}_u, {\bf x}_v \rangle). \end{aligned}$

The first term is a constant and the second is the cost function of SDP2 with a factor of -1/4.

Now, consider the cost of SDP2 of ${\chi = (\chi_v)_{v \in V}}$ where

$\displaystyle \chi_v = \left\{\begin{array}{ll} +1 & \text{if } v \in V_1, \\ -1 & \text{if } v \in V_2. \end{array} \right.$

The expected cost will be

$\displaystyle \mathop{\mathbb E}_{\text{choice of graph}}(\text{cost of }\chi) = \frac{n(n-1)}{2}p - \frac{n^2}{2}q = n(a-b)-a.$

Since each edge is chosen independently, with high probability our cost will be at least ${n(a - b) - a - \sqrt{n(a+b)} \geq n(a-b) - O(n)}$ , which implies that the optimal solution of SDP2 will be at least ${n(a-b) - O(n)}$ . Let ${{\bf x}_1^\ast, \ldots, {\bf x}_n^\ast}$ be the optimal solution of the SDP, then we have

n(a-b) – O(n) & \leq cost(x_1^\ast, \ldots, x_n^\ast)\nonumber
& = \sum_{u,v}A_{uv}\langlex_u^\ast, x_v^\ast\rangle\nonumber
& = \sum_{u,v}\left(A_{uv} – \frac{a+b}{n}\right)\langlex_u^\ast, x_v^\ast\rangle

In the last equality we used the fact that ${\sum_{u,v} \langle{\bf x}_u^\ast, {\bf x}_v^\ast\rangle = \|\sum_u {\bf x}_u^\ast\|^2 = 0}$

When we used the spectral method last week, we said that the largest eigenvalue of ${A - \frac{d}{n}J}$ is large, where ${d}$ is the average degree. This is because the hidden cut will give us a vector with large Rayleigh quotient. But ${A - \mathop{\mathbb E} A}$ has a relatively small spectral norm, so everything should come from ${\mathop{\mathbb E} A - \frac{d}{n}J}$ , which when simplified will be 1 for entries representing vertices on the same side and -1 for entries representing vertices on different sides. We will redo this argument with SDP norm in place of spectral norm and every step appropriately adjusted.

Recall that the SDP norm of a matrix ${M}$ is defined to be

$\displaystyle \|M\|_{SDP} := \max_{\substack{|{\bf x}_1| = \cdots = |{\bf x}_n| = 1 \\|{\bf y}_1| = \cdots = |{\bf y}_n| = 1}}\sum_{u, v}M_{uv}\langle{\bf x}_u, {\bf y}_v\rangle.$

Let ${R = \left( \begin{array}{c | c} {\bf p} & {\bf q} \\ {\bf q} & {\bf p} \end{array} \right)}$ , then by Grothendieck inequality we have

$\displaystyle \|A-R\|_{SDP} \leq c\|A-R\|_{\infty \rightarrow 1}.$

We proved in the previous lecture that ${\|A-R\|_{\infty \rightarrow 1} \leq O(n\sqrt{a+b})}$ with high probability, so we know that the SDP norm ${\|A-R\|_{SDP} \leq O(n\sqrt{a+b})}$ with high probability as well. By definition, this means

$\displaystyle \sum_{u,v}(A_{uv}- R_{uv})\langle {\bf x}_u^\ast, {\bf x}_y^\ast \rangle \leq \|A-R\|_{SDP} \leq O(n\sqrt{a+b}). \ \ \ \ \ (3)$

Substracting 3 from 3, we obtain

$\displaystyle \sum_{u,v}\left(A_{uv}- \frac{a+b}{n} -A_{uv} + R_{uv}\right)\langle {\bf x}_u^\ast, {\bf x}_y^\ast \rangle \geq n(a-b) - O(n\sqrt{a+b}). \ \ \ \ \ (4)$

Observe that

$\displaystyle R = \left( \begin{array}{c | c} {\bf p} & {\bf q} \\ {\bf q} & {\bf p} \end{array} \right) = \frac{p+q}{2}J + \frac{p-q}{2}C = \frac{a+b}{n}J + \frac{a-b}{n}C, \ \ \ \ \ (5)$

where ${J}$ is the all-one matrix and ${C = \left(\begin{array}{c | c} {\bf 1} & {\bf -1}\\ {\bf -1} & {\bf 1} \end{array}\right)}$ . Plugging 5 into 4, we get

$\displaystyle \sum_{u,v} \frac{a-b}{n} C_{uv}\langle {\bf x}_u^\ast, {\bf x}_y^\ast \rangle \geq n(a-b) - O(n\sqrt{a+b}),$

which can be simplified to

$\displaystyle \sum_{u,v} C_{uv}\langle {\bf x}_u^\ast, {\bf x}_y^\ast \rangle \geq n^2\left(1 - \frac{O(\sqrt{a+b})}{a-b}\right).$

For simplicity, in the following analysis the term ${\frac{O(\sqrt{a+b})}{a-b}}$ will be called ${1/c}$ . Notice that ${C}$ is a matrix with 1 for nodes from the same side of the cut and -1 for nodes from different sides of the cut, and ${\langle {\bf x}_u^\ast, {\bf x}_y^\ast \rangle}$ is an inner product of two unit vectors. If ${1/c}$ is very close to zero, then the sum will be very close to ${n^2}$ . This means that ${C_{uv}\langle {\bf x}_u^\ast, {\bf x}_y^\ast \rangle}$ should be 1 for almost every pair of ${(u, v)}$ , which shows that ${X = \langle {\bf x}_u^\ast, {\bf x}_y^\ast \rangle}$ is actually very close to ${C}$ . Now, we will make this argument robust. To achieve this, we introduce the Frobenius norm of a matrix.

Definition 1 (Frobenius norm) Let ${M = (M_{ij})}$ be a matrix. The Frobenius norm of ${M}$ is

$\displaystyle \|M\|_F := \sqrt{\sum_{i,j}M_{ij}^2}.$

The following fact is a good exercise.

Fact 2 Let ${M = (M_{ij})}$ be a matrix. Then

$\displaystyle \|M\| \leq \|M\|_F,$

where ${\|\cdot\|}$ denotes the spectral norm.

To see how close are ${C}$ and ${X}$ , we calculate the Frobenius norm of ${C - X}$ , which will be

$\displaystyle \begin{aligned} \|C-X\|_F^2 & = \sum_{u,v}C_{uv}^2 + \sum_{u,v}X_{uv}^2 - 2\sum_{u,v}C_{uv}X_{uv} \\ & \leq 2n^2 - 2n^2\left(1 - \frac{1}{c}\right) = \frac{2}{c}n^2. \end{aligned}$

This gives us a bound on the spectral norm of ${C-X}$ , namely

$\displaystyle \|C-X\| \leq \|C-X\|_F \leq \sqrt{\frac{2}{c}}n.$

Let ${{\bf z} = (z_1, \ldots, z_n)}$ be the unit eigenvector of ${X}$ corresponding to its largest eigenvalue, then by Davis-Kahan theorem we have\footnote{When we apply Davis-Kahan theorem, what we get is actually an upper bound on ${\min\{\|{\bf z} - \chi/\sqrt{n}\|, \|-{\bf z} - \chi/\sqrt{n}\|\}}$ . We have assumed here that the bound holds for ${\|{\bf z} - \chi/\sqrt{n}\|}$ , but the exact same proof will also work in the other case.}

$\displaystyle \left\lVert{\bf z} - \frac{1}{\sqrt{n}}\chi\right\rVert \leq \sqrt{2} \cdot \frac{\sqrt{\frac{2}{c}}n}{n - \sqrt{\frac{2}{c}}n}.$

For any ${\epsilon > 0}$ , if ${c}$ is a large enough constant then we will have ${\left\lVert {\bf z} - \frac{1}{\sqrt{n}}\chi\right\rVert \leq \sqrt{\epsilon}}$ . Now we have the following standard argument:

$\displaystyle \begin{aligned} \epsilon n & \geq \|\sqrt{n}{\bf z}- \chi\|^2 \\ & = \sum_i(\sqrt{n} z_i - \chi_i)^2 \\ & \geq \#\{i:\text{sign}(\sqrt{n}z_i) \neq \chi_i\}. \end{aligned}$

The last inequality is because every ${i}$ with ${\text{sign}(\sqrt{n}z_i) \neq \chi_i}$ will contribute at least 1 in the sum ${\sum_i(\sqrt{n} z_i - \chi_i)^2}$ . This shows that our algorithm will misclassify at most ${\epsilon n}$ vertices.

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Google account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Cancel

Connecting to %s

in theory

"Marge, I agree with you – in theory. In theory, communism works. In theory." — Homer Simpson

Beyond Worst-Case Analysis: Lecture 11

Leave a Reply

Share this:

Like this:

Related

Leave a Reply