AIMech AI

Girvan–Newman community detection

Algorithms AIMech:GirvanNewmanCommunityDetection DRAFT
Aliases: Girvan–Newman algorithm, edge-betweenness community detection
A divisive community-detection algorithm that repeatedly removes an edge with maximal current shortest-path betweenness and recalculates affected betweenness scores, using the resulting connected-component splits to form a hierarchy of graph-vertex groups.
Identity Notes & Concept Scope Compared all 442 pinned AIO and 673 native IDs, names, aliases and scoped synonyms before either cohort write; no normalized identity match. Ignored- and hidden-inclusive searches of all three checkouts returned 10,0,0 lines for Girvan–Newman. All ten public lines were read and are prior publication/comparison context or the CNM discovery lead, not this maintained identity. Semantic assessment covered 46 AIO and 268 native definitions; all 46 AIO and 267 prior native rows were unchanged and the new CNM definition and entire record were read. Sixteen complete AIO node/edge/generated contexts were verified unchanged and mapping rationales reassessed. Both cohort drafts were compared for distinct merge versus deletion mechanisms. The source defines divisive edge removal and recomputation rather than modularity-based agglomeration. This separates the maintained identity from CNM, HAC-Q and the original Newman matrix-update candidate in this cohort. Later variants and any modularity-based cut selection are outside the inspected original-method scope.

Claims & Grounded Evidence

6 Claims
Mechanism #fractional-shortest-paths
Edge betweenness sums contributions from shortest paths between vertex pairs. When a pair has multiple shortest paths, the source gives them equal weights summing to one, so the pair contributes to an edge in proportion to the fraction of its shortest paths using that edge. This is shortest-path centrality, not a count of every walk or a measured physical flow.
Mechanism #iterative-recomputation
After each maximal-betweenness edge removal, affected scores are recomputed before the next removal. A fixed ordering of the initial scores is a different procedure. On a four-cycle with fixed lexicographic ties, the constructed reference removes edge 0–1 first; recomputation then selects 2–3 and gives two groups of two vertices, while static sorting next removes 0–3 and first isolates a single vertex.
Scope #hierarchy-and-selection
The repeated deletions induce nested connected-component partitions and continue until no edges remain. The inspected original method does not prescribe greedy modularity maximization or a universal unique flat partition. Selecting a useful level of the hierarchy is separate from the edge-removal rule; ties and any later cut-selection criterion need their own conventions.
Scope #runtime-and-domain
Using the cited O(mn) shortest-path betweenness calculation on a graph with m edges and n vertices gives O(m-squared n) worst-case time for repeated removals, or cubic time on sparse graphs. Recalculation can be confined to the affected component. The inspected source treats unweighted undirected networks and explicitly lists directed and weighted generalizations as future work.
Scope #evaluation-scope
The synthetic test uses 128 vertices in four groups with total degree sixteen, varying the external connections; the figure averages one hundred realizations per point. The karate-club split misclassifies one vertex, and the football analysis reports discrepancies where scheduling and conference membership differ. These results are conditional evaluations rather than guarantees of complete recovery in arbitrary graphs.
Limitation #application-interpretation
The collaboration-network groups receive interpretive topic and methodology labels. The Chesapeake Bay example ignores trophic direction and finds groups associated roughly with habitat, spanning multiple trophic levels. These partitions do not establish directed causal ecological mechanisms. The paper also reports that some other food webs show no clear communities and leaves dense-graph sensitivity versus absence of structure unresolved.

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:HierarchicalClustering
Hierarchical Clustering
related_match The divisive graph algorithm produces a hierarchy of vertex partitions. This is a relation to the clustering task, not equivalence or an asserted algorithm superclass.
AIO:UnsupervisedClustering
Unsupervised Clustering
related_match The edge-removal rule derives groups from graph topology without class-label supervision. External labels are used in evaluation rather than to define the removal rule.

Evidence Sources & Primary Literature

1 Source
Source ID Publication / Document Type / Access Reference & Checksum
girvan2001
Michelle Girvan, M. E. J. Newman
primary paper
full_text
ID: arxiv:cond-mat/0112110v1
sha256:aa1011120827…

Curation Provenance

Curator: Codex
Method: ai_assisted
Model: GPT-6
Created: 2026-10-14T01:53:33Z
Updated: 2026-10-14T01:53:33Z
Source File: data/curated/GirvanNewmanCommunityDetection.yaml