2025-02-10 graphs lecture 6

Data

subject:: Data Science Methods for Large Scale Graphs

2025-02-10

1. Graph Signals and Graph Signal Processing

Community graph example

Summary

Today

• community detection (HW 1 - wednesday)
• recap SBM (last time)
• spectral clustering algorithm
• spectral embeddings
• contextual SBM

stochastic block model

an $n$-node stochastic block model (SBM) graph with $C$ communities is given by $P=YB{Y}^T,A\sim P$ where

• $Y\in \{0,1{\}}^{n\times c}$ is the community assignment matrix (if $y_{ic}=1$ then node $i$ belongs to community $c$)

• $B$ is the matrix of intra- and inter-community probabilities: $B_{c_1,c_2}$ is the edge probability for a node pair $(i,j)$ such that $Y_{i{c}_1}=1,Y_{j{c}_2}=1$

• $A$ is the adjacency matrix

$B$ can take any value (as long as it is symmetric), often we have $B=\{\begin{array}{l}p\text{ if }{c}_1=c_2\\ q\text{ otherwise}\end{array}$ with $q=1-p$

While

(see stochastic block model)

Balanced stochastic block model

We say an SBM is balanced when all communities have the same size ($\frac{n}{c}$); it is unbalanced otherwise.

(see balanced stochastic block model)

Example

Consider the 2-community balanced SBM. For an $n$-node graph, suppose the nodes are labeled such that the first $\frac{n}{2}$ are in community 1 and the remaining nodes are in community 2. Then

1 & 0 \ 1 & 0 \ 0 & 1 \ \vdots & \vdots \ 0 & 1 \ \end{bmatrix}, P \in \mathbb{R}^{(n/2+n/2) \times(n/2+n/2)}=\left[ \begin{array}{ccc|ccc}
p & \dots & p & q & \dots & q \ & & \vdots & \vdots & & \vdots \ p & \dots & p & q & \dots & q \ \hline q & \dots & q & p & \dots & p \ \vdots & & \vdots & \vdots & & \vdots \ q & \dots & q & p & \dots & p\end{array}\right]$$ Recall that $A\sim P$, ie $A_{ij}=\{\begin{array}{l}1\text{ with prob. }{P}_{ij}\\ 0\text{ with prob }1-P_{ij}\end{array}$

Thus, $\mathbb{E}(A)=P$ . Let’s compute the eigenvectors and eigenvalues of $P=\mathbb{E}(A)$.

• First, we observe that this matrix is rank 2 and will thus have 2 eigenvectors

• It is easy to see that $v_1=\frac{1}{\sqrt{n}}1$ and $P{v}_1=(p+q)v_1$. Thus ${\lambda }_1=p+q$

• Further, we note that $P=\frac{p+q}{2}{1\cdot 1}^T+\frac{p-q}{2}m\cdot m^T$, where $m=\left[\begin{array}{c}1\\ ⋮\\ 1\\ -1\\ ⋮\\ \\ -1\end{array}\right]$

• Thus $v_2=\frac{1}{\sqrt{n}}m$ with eigenvalue ${\lambda }_2=p-q$

$\mathbb{E}(A)=P$ to reveal the community assignments of the nodes.

This means that we can use the vector associated with the second largest eigenvalue (in absolute value) of

This is the intuition behind spectral clustering. For an arbitrary graph with adjacency matrix $A$, we assume that $A=A_{SBM}+ϵ$, where $ϵ$ is random noise with $\mathbb{E}(ϵ)=0$.

Thus, we can use our sample mean adjacency matrix to estimate the community assignments of our nodes!

Spectral Clustering

Tip

What happens when $C>2$ (more general case than example above)?

• The community assignment is a linear combination of the top $C$ eigenvectors (in absolute value)

Suppose we are given $A$ and $C$. How do we estimate $y$?

spectral clustering algorithm

1. Diagonalize $A=V\Lambda V^T$
2. Order the eigenvectors by decreasing eigenvalue magnitude This yields $V_c=\left[\begin{array}{cccc}{v}_1& v_2& \dots & v_c\end{array}\right],v_i\in {\mathbb{R}}^n=\left[\begin{array}{c}{u}_1\\ u_2\\ ⋮\\ u_n\end{array}\right],u_j\in {\mathbb{R}}^c$ we can see the rows $u_j$ as embeddings of the notes in ${\mathbb{R}}^c$ (community space)
3. yay we can cluster ($k$-means or whatever you want. can also use like gaussian mixture models)

(see spectral clustering)

This is unsupervised learning - it only assumes knowledge of $A$. When we know some subset of notes $T\subset V$, these can be used to make better predictions and turns the task into a semi-supervised one. This is what we do more often in practice.

Explicitly, we can convert the problem to:

${\min }_f{\sum }_{i\in T}1(f(A{)}_i=y_i)$ where $f$ is some parametric function, $y_i$ is the one-hot community vector, and $y_{ic}=1$ if $i$ is in community $c$. In practice, the indicator/$0-1$ loss is substituted for cross-entropy loss

Spectral Embedding

Suppose we are given a diagonalizable adjacency matrix $A$ for a graph with nodes partitioned into $C$ classes. Suppose we know the assignments for some of the nodes $T\subset \text{Vertices}$. Let $V_c$ be the top $C$ eigenvectors of $A$.

Finding the spectral embedding amounts to solving the problem${\min }_f{\sum }_{i\in T}1(f(A{)}_i=y_i)$ where $f$ comes from our hypothesis class $\{f:f(A)=\sigma (V_{c}W),W\in {\mathbb{R}}^{C\times C}\}$ and $\sigma$ is a predetermined pointwise nonlinearity.

Notes $C$-dimensional embeddings $u_1,\dots ,u_n$ of the nodes of the graph into feature space.

This can be thought of as an FC-NN on the

• in practice, a surrogate is usually used for the 0-1 loss
• to find the optimal $f$ ie the optimal $W$, we solve using gradient descent methods

(see spectral embedding)

Spectral clustering is fully unsupervised, spectral embeddings incorporates some prior knowledge making this semi-supervised

information theoretic threshold

Question

What happens when $p\approx q$ in the balanced SBM with $c=2$?

$p=q$, we have an erdos-renyi graph, in which the edge prob. is constant for all nodes. There are no communities to distinguish.

It becomes impossible to cluster! When

But even when $p\ne q$, there is a region around $p=q$ where detection of communities is impossible in an information theory sense

We want to recover as close as possible the exact partition of nodes into communities. Without perfect information, this amounts to finding almost exact recovery:

Almost exact recovery

In a stochastic block model problem, almost exact recovery of the assignments of nodes to communities is achieved when $P\left\{\frac{1}{n}1((f(A{)}_i=y_i))=1-o(1)\right\}=1-o(1)$ ie $P\left({\lim }_{n\to \infty }\frac{1}{n}1\left[f(A{)}_i=y_i\right]=1\right)=1$, ie the function converges almost surely to the true labels.

(see almost exact recovery)

How do we know if almost exact recovery is possible? From an information theoretic point of view, we can determine this using the signal to noise ratio.

signal-to-noise ration (snr)

The signal to noise ratio is the ratio of the power of signal (the thing we want to measure) to the power of the extraneous noise. This is given as: $SNR=\frac{P_{\text{signal}}}{P_{\text{noise}}}$ Where $P_{\_}$ is the average power, or second moment. When the signal and noise are random variable, then we have $SNR=\frac{\mathbb{E}[X_{\text{signal}}^2]}{\mathbb{E}[X_{\text{noise}}^2]}$ (see signal to noise ratio)

Example

In our example with $c=2$, with $B=\{\begin{array}{l}p\text{ if }{c}_1=c_2\\ q\text{ otherwise}\end{array}$ , then $SNR=\frac{(p-q{)}^2}{2(p+q)}$

• numerator is the signal: degree discrepancy in nonequal subgraphs
• denominator is noise: the average degree for all nodes in the graph

Theorem

Suppose we have a stochastic block model problem where the adjacency matrix $A\sim P,P=YB{Y}^T$, and $B=\{\begin{array}{l}p\text{ if }{c}_1=c_2\\ q\text{ otherwise}\end{array}$.

If the signal to noise ratio $SNR\frac{<1}{n}$, then almost exact recovery is impossible. Even with infinite time and resources, there is no algorithm that can recover the true communities with just $A$.

(see almost exact recovery is impossible when the signal to noise ratio is less than the threshold)

Proof

see proofs in Massoulié (2014) and Mossel (2014). Aside: interesting to see since there are different proof methods from different domains. See also Abbe (survey papers).

Example: Sparse Graphs

$p=\frac{a}{n},q=\frac{b}{n}$ and $\frac{|E|}{n^2}\to 0$ as $n\to \infty$ (the average degree vanishes).

Then

&= \frac{1}{2n} \frac{(a-b)^2}{(a+b)} \\ SNR_{p,q}< \frac{1}{n} &\iff \frac{1}{2n} \frac{(a-b)^2}{a+b} < \frac{1}{n} \\ \implies \frac{(a-b)^2}{2(a+b)} &< 1

\end{aligned}$$ ie, in sparse graphs, it is not difficult to identify the information theoretic threshhold (we can easily calculate the signal to noise ratio)

Next time, we will look at another SBM with more information (in the form of node features), then we can get better thresholds

Note

From 2025-02-05 graphs lecture 5: there was a “typo” in the distributions for our SBM example.