Existence and Size of the Giant Component in Inhomogeneous Random K-out Graphs

Random K-out graphs are receiving attention as a model to construct sparse yet well-connected topologies in distributed systems including sensor networks, federated learning, and cryptocurrency networks. In response to the growing heterogeneity in emerging real-world networks, where nodes differ in resources and requirements, inhomogeneous random K-out graphs, denoted by $H(n;\mu,Kn)$, were proposed recently. Motivated by practical settings where establishing links is costly and only a bounded choice of $Kn$ is feasible ($Kn = O(1)$), we study the size of the largest connected sub-network of $H(n;\mu,Kn)$, We first show that the trivial condition of $Kn \geq 2$ for all $n$ is sufficient to ensure that $H(n;\mu,Kn)$, contains a giant component of size $n-O(1)$ whp. Next, to model settings where nodes can fail or get compromised, we investigate the size of the largest connected sub-network in $H(n;\mu,Kn)$, when $dn$ nodes are selected uniformly at random and removed from the network. We show that if $dn=O(1)$, a giant component of size $n- \OO(1)$ persists for all $Kn \geq 2$ whp. Further, when $dn=o(n)$ nodes are removed from $H(n;\mu,Kn)$, the remaining nodes contain a giant component of size $n(1-o(1))$ whp for all $K_n \geq 2$. We present numerical results to demonstrate the size of the largest connected component when the number of nodes is finite.