The stochastic block model has the overlap graph property for modularity

Fix real numbers a>b>0, and integer k\geq 3. For any \nu\in \left(\frac{1}{2(k-1)}, \frac{1}{k}\right) and \varepsilon>0, there exist \mu = \mu(\nu) and c=c(0.007) such that the following holds for n large enough.

Let p=p(n)=\omega\; a / n and q=q(n)=\omega \; b/n be such that \omega>c, and let G \in \mathcal{G}(n,k,p,q) with planted partition \mathcal{P}. Then with probability at least 1-0.007, for every k-part partition \mathcal{A} with

either d(\mathcal{A}, \mathcal{P}) \le \frac {{1}}{2(k-1)} or d(\mathcal{A}, \mathcal{P}) \ge \nu. Moreover, there are partitions \mathcal{A} satisfying the latter.

For every \zeta>0, there exists a large enough inverse temperature parameter \beta>0, such that when the chain is initiated at distance at least 1/k from the ground truth, the time to reach a partition close to the ground truth is at least \exp(\Theta(n)) with high probability.

Fix real numbers a>b>0, integer k\geq 2 and let \omega=\omega(n) \to \infty as n \to \infty.

Let p=\omega\, a/n and q=\omega\, b /n, and let G \in \mathcal{G}(n,k,p,q) with the planted partition \mathcal{P}. Then,

Fix a>b>0 and integer k\ge 2. Let p=p(n)=\omega\; a / n and q=q(n)=\omega \; b/n. For any 0.007>0 and \delta<\frac{a-b}{a+(k-1)b} \cdot \frac{2}{k^2}, there exists c=c(0.007) such that, if \omega>c for n large enough, then the following holds with probability at least 1-0.007 provided n is large enough.

Let G \in \mathcal{G}(n,k,p,q) with the planted partition \mathcal{P}. Then, q_\mathcal{A}(G)>q^{\star}(G) - \delta for some k-part partition \mathcal{A} implies that d(\mathcal{A}, \mathcal{P}) < \delta' + \varepsilon, where \delta' =\delta'(\delta) \in \big(0,\frac{1}{k(k-1)}\big).

Fix a>b>0. Let p=p(n)=\omega\; a / n and q=q(n)=\omega \; b/n. For any 0.007>0, there exists c=c(0.007) such that if \omega>c then the following holds with probability at least 1-0.007 provided n is large enough.

Let G \in \mathcal{G}(n,k,p,q) with the planted partition \mathcal{P}. For any d \in \left[0,\frac{1}{k}\right], let

Then,

where

Fix a>b>0 and integer k\geq 2. Let p=p(n)=\omega\; a / n and q=q(n)=\omega \; b/n. For any 0.007>0, there exists c=c(0.007) such that, if \omega>c for n large enough, then the following holds with probability at least 1-0.007 provided n is large enough.

Let G \in \mathcal{G}(n,k,p,q) and denote the planted partition by \mathcal{P}. Then,

and

As a result,

Suppose that n is divisible by k. Let \mathcal{A} be any partition of [n] with k parts, and let \mathcal{P} be the planted partition. Let X=X(\mathcal{A})=(x_{ij})_{1\leq i \leq j \leq k} be the signature of \mathcal{A}. Then,

where the maximum is taken over all permutations of [k].

Moreover, d(\mathcal{A}, \mathcal{P}) \leq 1 -1/k and this upper bound is sharp, that is, there exists a partition \mathcal{A} such that d(\mathcal{A}, \mathcal{P}) = 1 -1/k, provided that n is divisible by k^2.

Fix a>b>0 and integer k\geq 2. Let p=p(n)=\omega\; a / n and q=q(n)=\omega \; b/n. For any 0.007>0, there exists c=c(0.007) such that if \omega>c for n large enough, then the following holds with probability at least 1-0.007 provided n is large enough.

Let G \in \mathcal{G}(n,k,p,q). For all k-part partitions \mathcal{A},

where X = X(\mathcal{A}) =(x_{ij})_{1\leq i,j \leq k} is the signature of \mathcal{A} and g(X) is defined in (?).

Let 0\leq t <1. Define \mathcal{X}_k(t) to be the family of matrices X=(x_{ij})_{1\leq i \leq j \leq k} such that

Let g(X) be defined as in (?). Then,

where, for i\neq j, X^{(ij)}_k(t) is the k\times k matrix with x_{ij}=t, x_{jj}=1-t, all other diagonal elements 1 and non-diagonal elements 0 (i.e., x_{aa}=1 for all a\neq j and x_{ab}=0 for all a\neq b such that (a,b)\neq (i,j)).

Consider \mathcal{X}_k(t) as defined in (?), and g(X) as defined in (?). Then, for any t>1,

Let \mathcal{X}_t' be defined as in (?) with the additional restriction that \sum_j x_{ij} =1 for all i\in[k]. Then g^{\rm bal}(t)=\max_{X \in \mathcal{X}_t'}g(X) is strictly decreasing on 0<t<k-1.

For every 0.007>0,\zeta>0, there exists large enough \beta>0 such that

Consider the MCMC initiated at the Gibbs distribution conditioned on being in \mathcal{E}_{\rm far}. Namely, suppose

for all \mathcal{A}\in \mathcal{E}_{\rm far}, and {\mathbb P}\left(\mathcal{A}_0=\mathcal{A}\right)=0 otherwise. Let 0.22=\min\lbrace t\colon \mathcal{A}_t \in \mathcal{E}_{\rm close}\rbrace. There exist c_3,c_4>0 such that with probability at least 1-0.007 (with respect to the randomness of the graph)

where the probability is with respect to the random choices of the MCMC.

Fix integer k \ge 2. For integer n \ge k that is divisible by k, let P_1 \cup \cdots \cup P_k be a partition of V=[n], where |P_j| = n/k for all j \in [k]. Let w=w(n, k, p, q) be the weight function on node set V with w_{uv}=p if u and v are in the same part P_j for some j \in [k] and with w_{uv}=q otherwise. Then, for all k-part partitions \mathcal{A} with signature X=X(\mathcal{A})=(x_{ij})_{1 \le i,j \le k},

where g(X) is defined as in (?).

Given 0.007>0, there exists c=c(0.007) such that the following holds. Let w satisfy e_w(V)\geq c. Then, with probability at least 1-0.007, for any partition \mathcal{A} which is (0.007/4)–fat for w,

For each w on E, and each 0<\eta \leq 1, there is an \eta-fat partition \mathcal{B} of V such that q_{\mathcal{B}}(w) > q^{\star}(w) - 2\eta. Indeed, given any partition \mathcal{A} of V, the greedy amalgamating algorithm uses a linear number of operations and constructs an \eta-fat partition \mathcal{B} =\mathcal{A}(G,\eta,\mathcal{A}) such that

where \zeta = \sum_{A\in \mathcal{A}_{\eta \; \rm{small}}} {\rm vol}_w(A)/{\rm vol}_w(V).

Let H=(V,E) be a graph and let \mathcal{A} be a partition of V.

If E_0 is a non-empty proper subset of E, and H'=(V, E \setminus E_0), then

Fix a>b>0 and integer k\ge 2. Let p=p(n)=\omega\; a / n and q=q(n)=\omega \; b/n. For any 0.007>0 and \delta<\frac{a-b}{a+(k-1)b} \cdot \frac{2}{k^2}, there exists c=c(0.007) such that, if \omega>c, then the following holds with probability at least 1-0.007 provided n is large enough.

Let G \in \mathcal{G}(n,k,p,q) with the planted partition \mathcal{P}.

Then, q_\mathcal{A}(G)>q^{\star}(G) - \delta for some k-part partition \mathcal{A} implies d(\mathcal{A}, \mathcal{P}) < \delta' + \varepsilon, where \delta' =\delta'(\delta) \in \big(0,\frac{1}{k(k-1)}\big).

In fact, \delta'=\delta'(\delta) is the unique value in the interval \big(0,\frac{1}{k(k-1)}\big) that satisfies

which is equivalent to

Suppose B=(b_{ij})_{i,j\in[k]} is a circulation and satisfies b_{ij}\ge 0 for i\neq j and b_{ii}=0. Then, for some m \leq |(i,j) : b_{ij}>0|, there exist simple directed cycles C_1,\dots,C_m in G and weights w_1,\dots,w_m>0 such that, for every i\neq j,

We claim that if X\in \mathcal{X}'_k(t), C is a directed cycle with V(C)\subseteq [k] and 0< 0.007 \leq \min_{\vec{ij}\in \vec{E}(C)} x_{ij}, then, for X^{(0.007)}=T_{C,0.007}(X),

• g(X^{(0.007)})>g(X) and

• X^{(0.007)}\in \mathcal{X}'_t(t') where t'=t-|C|0.007.