Twin subgraphs and core-semiperiphery-periphery structures (Q1722674)

Summary: A standard approach to reduce the complexity of very large networks is to group together sets of nodes into clusters according to some criterion which reflects certain structural properties of the network. Beyond the well-known modularity measures defining communities, there are criteria based on the existence of similar or identical connection patterns of a node or sets of nodes to the remainder of the network. A key notion in this context is that of \textit{structurally equivalent} or \textit{twin} nodes, displaying exactly the same connection pattern to the remainder of the network. Our first goal is to extend this idea to subgraphs of arbitrary order of a given network, by means of the notions of T-twin and F-twin subgraphs. This research, which leads to graph-theoretic results of independent interest, is motivated by the need to provide a systematic approach to the analysis of Core-Semiperiphery-Periphery (CSP) structures, a notion which is widely used in network theory but that somehow lacks a formal treatment in the literature. The goal is to provide an analytical framework accommodating and extending the idea that the unique (ideal) Core-Periphery (CP) structure is a 2-partitioned \(K_2\), a fact which is here understood to rely on the true and false twin notions for vertices already known in network theory. We provide a formal definition of such CSP structures in terms of core eccentricities and periphery degrees, with semiperiphery vertices acting as intermediaries between both. The T-twin and F-twin notions then make it possible to reduce the large number of resulting structures, paving the way for the decomposition and enumeration of CSP structures. We compute explicitly the resulting CSP structures up to order six. We illustrate the scope of our results by analyzing a subnetwork of the well-known network of metal manufactures trade arising from 1994 world trade statistics.