Skip to content
Preprint

Community structure of the pseudofractal web

Jul 2026 · 1 citation · ⚡ 1 influential · 1 references
Physics Mathematics

Abstract

The Ramsey community number $r_\kappa$ is the smallest network size at which a graph is better described by a partition into communities than by no partition, under a prescribed detection rule. On a scale-free graph this question is confounded: a block model can split the network merely to absorb its degree distribution. I compute $r_\kappa$ analytically for the deterministic pseudofractal scale-free web of Dorogovtsev, Goltsev, and Mendes, separating genuine community structure from degree heterogeneity with two closed-form detection rules. Under a plain Bernoulli stochastic block model, the web's natural recursive bipartition is unpreferred while small and breaks at $r_\kappa=1095$ nodes, with a log-evidence growing as $(\ln 3-\tfrac{2}{3}\ln 2)n$. Under a degree-corrected model tested against the configuration-model null, the same partition survives, breaking far earlier at $r_\kappa=42$, with a log-evidence growing as $(2\ln 3-\tfrac{4}{3}\ln 2)n$ -- exactly twice the plain slope, and independent of the prior. Degree correction reverses the ordering of the candidate cuts, demoting the hub-leaf split and elevating the recursive one. Because the web is self-similar, the best description is not two communities but a nested hierarchy: the degree-corrected evidence keeps rising as the partition is refined, and is maximised at of order $\sqrt{n}$ communities of $\sim\sqrt{n}$ nodes. A purely local recursive rule thus builds true hierarchical community structure, over and above the scale-free degree sequence it also produces, in an exactly solvable setting.

View source

Similar papers

Preprint Aug 2026

Parameterized Complexity of Connected Network Microaggregation: The Role of Cluster Size

This work studies the parameterized complexity of the unweighted Connected Network Microaggregation problem, focusing on structural parameters and natural clustering parameters such as the distance bound and cluster size gap, and proves that the problem is NP-hard on graphs of bounded clique-width.

Ajinkya Gaikwad, Dusan Knop, T. Valla · 0 citations
Preprint Aug 2026

The Hard-Core Model on Bipartite Spectral Expanders: Counting and Sampling at All Fugacities

The main idea is to introduce a family of quadratic tilts in the left-right occupation imbalance and show that each tilted measure can be sampled efficiently using Glauber dynamics, and obtain efficient approximate counting and sampling at every fugacity $\lambda>0$ whenever.

Ijay Narang, Will Perkins · 0 citations
Preprint Sep 2026

A Counterexample to Teschner's Bondage-Number Conjecture

For a finite simple graph $G$ with at least one edge, the bondage number $b(G)$ is the least number of edges whose deletion increases the domination number $\gamma(G)$. Teschner conjectured that $b(G)\le \tfrac32\Delta(G)$ for every graph $G$. We disprove this conjecture by giving a connected cubic bipartite graph on e...

Y. Yavari · 0 citations
Preprint Sep 2026

The voter model on the hyperbolic graph

We consider the voter model on the giant component of a hyperbolic random graph, which is a spatial scale-free network, in the sparse and linear-giant regime $\alpha\in(1/2,1)$. We find that the quenched expected consensus time has order $n^{2-1/\alpha}$, as the number of vertices $n\to\infty$, with probability arbitra...

John Fernley, Christian Hirsch · 0 citations
Preprint Jul 2026

Finding Adam in noisy trees

It is proved that, as long as $p=o(\log n /n)$, for any $\varepsilon>0$, one can construct a confidence set of vertices of size $K(\varepsilon)$ that depends only on $\varepsilon$ and not on $n$, such that it contains the root with probability at least $1-\varepsilon$.

Luc Devroye, Gábor Lugosi, Neeladri Maitra · 1 citation · ⚡1
Preprint Jul 2026

Limit laws for component-pruned sparse random graphs and percolated tori

We prove an $\mathrm{MSO}_2$ zero-one law for a very sparse Erd\H{o}s-R\'enyi graph after pruning by component order. Let $p_n=c_n/n$, where $c_n\to0$, and delete every component of order less than $f(n)$, where $f(n)\to\infty$. If \[ f(n)\bigl(\log f(n)+\log(1/c_n)\bigr)=o(\log n), \] then the resulting graph satisfie...

Mostafa Mirabi, S. Shelah · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.