arXiv subjects

Souvik Dhara

Publications and source records attributed to Souvik Dhara.

At least 19 recordsLinked to original sources

arXiv2026

Narrow-Shell Stochasticity in Source-Sink Models of the Low Earth Orbit Environment

Deterministic source-sink models are widely used to assess the long-term evolution, capacity, and sustainability of the low Earth orbit (LEO) environment. These models propagate shell-averaged populations through ordinary differential equations (ODEs), relying on individual collision, disposal, and decay events to average out within sufficiently large altitude shells. As constellation traffic is increasingly organized into kilometer- and sub-kilometer-scale shells, this averaging assumption becomes strained. We formulate the multi-shell, multi-species LEO environment as a Markov jump process and, from this formulation, recover the conventional source-sink ODE as a large-volume limit and derive a stochastic differential equation (SDE) approximation whose fluctuations scale as V^{-1/2} in the per-shell volume V. The diffusion approximation is validated against an exact discrete-event simulation of the underlying jump process. Sweeping V at fixed spatial density over the 450-800 km band, we find that the two descriptions agree at shell volumes comparable to those used in established source-sink models but diverge as shells narrow. At the finest shell volume considered, the mean debris population reaches roughly 4.5 times the ODE prediction, with several realizations undergoing runaway growth absent from the ODE trajectory. This departure is driven by nonlinear collision terms, through which population variance and covariance raise expected collision rates, generating further debris and reinforcing the collision-debris feedback. Narrow-shell stochasticity thus both widens the outcome distribution and shifts the expected trajectory. Because the stochastic model shares its parameterization with the deterministic one, it provides a scale-consistent extension of existing source-sink models for evaluating shell configuration, collision risk, and long-term LEO sustainability.

astro-ph.EP↗

arXiv2026

Distance-Preserving Embeddings in Inhomogeneous Random Graphs

Graph machine learning provides powerful tools for understanding complex networks and learning meaningful node representations. A central challenge, however, is designing embeddings with minimal distortion of both local and global functionals, such as shortest path lengths. Prior distortion guarantees for distance-preserving embeddings are worst-case in nature, producing overly pessimistic bounds that fail to capture the structure of typical large-scale networks. To address this, we analyze shortest-path approximation via landmark-based embeddings on inhomogeneous random graphs, a general model with type-dependent edge probabilities. By retaining shortest paths to a small set of reference nodes called landmarks, landmark-based methods effectively function as virtual graph spanners, where structural heterogeneity and controlled neighborhood expansion modeled via multi-type branching processes enable significantly tighter dimension-distortion trade-offs than classical worst-case bounds. We extend these guarantees to global, component-wide averages and unify the analysis across finite-type and continuous latent spaces through a novel metric sandwiching framework, establishing universal distortion bounds for general $L^2$ kernel models, including heavy-tailed and power-law networks. Finally, we introduce a GNN-augmented variant that replaces rigid, computationally expensive exact shortest-path queries with flexible, structure-aware neural surrogates. By leveraging the inherent alignment between graph neural message-passing and the dynamic programming principles of shortest-path algorithms, our approach demonstrates that models trained on small-scale random graphs learn to extract universal distance-preserving features, achieving robust generalization to large-scale, real-world networks that match or exceed the fidelity of classical, exact landmark-based embeddings.

cs.LG↗

arXiv2026

Giants through higher-order paths in random simplicial complexes

We investigate the giant component formed via high-dimensional paths in the multi-parameter random simplicial complex (MRSC) model. For a $d$-dimensional simplicial complex, we define $d$-dimensional connectivity through incidence between $(d-1)$- and $d$-dimensional simplices. The phase transition of the largest $d$-dimensional connected component is determined in terms of the parameter $\lambda$ that governs the number of $d$-simplices incident to a typical $(d-1)$-simplex. In the subcritical regime, we show that the largest component contains $\Theta(\log n)$ many $(d-1)$-simplices with high probability in the MRSC model. In the supercritical regime, we determine the asymptotic proportion of $1$-simplices in the giant component in dimension $2$, for $\lambda_c < \lambda < \bar{\lambda}$, where $\bar{\lambda} > 4$ is an explicit constant. In particular, for Linial-Meshulam complexes, this result holds throughout the entire supercritical regime. Additionally, we show that the number of vertices in the giant component undergoes a discontinuous phase transition in $d$-dimensional Linial-Meshulam complexes, in the sense that the asymptotic proportion of vertices in the giant jumps from $0$ to $1$. Our approach is based on local-weak convergence. We establish local-weak convergence in probability for the MRSC model and prove the concentration result via a refined analysis of the breadth-first exploration process, which tracks contributions from newly discovered and previously explored vertices.

math.PR↗

arXiv2026

Waning Immunity Fails to Restore a Positive Epidemic Threshold on Power-Law Networks

In a seminal work, Chatterjee and Durrett (2009) established that for the SIS epidemic process on random graphs with power-law degree distributions, the infection survives for an exponentially long time (in the network size) for any fixed, positive infection rate. Equivalently, the critical infection rate separating polynomial and exponential survival regimes is zero. In contrast, a substantial body of work in the physics literature conjectures, based primarily on numerical evidence and heuristic mean-field arguments, that introducing waning immunity (as in the SIRS process) yields a strictly positive critical infection rate on random graphs with power-law degrees; see, e.g., Pastor-Satorras et al. (2015), Ferreira et al. (2016), Silva et al. (2022). In particular, below this threshold, the epidemic is expected to persist only for a polynomial duration. A recent work by Friedrich et al. (2024) reinforces this perspective by proving polynomial survival for the SIRS process on star graphs, which is in contrast to the exponential survival in the SIS case that underpins Chatterjee and Durrett's arguments. In this paper, we disprove this conjecture and show that the epidemic threshold is also zero for the SIRS process on the configuration model with power-law degree distribution with exponent $\tau>2$. Our proof uncovers a novel bottleneck structure for the SIRS dynamics, which we term a "hierarchical star" of order 2, and show that it sustains the infection for an exponentially long time with high probability.

math.PR↗

arXiv2025

Landmark-Based Node Representations for Shortest Path Distance Approximations in Random Graphs

Learning node representations is a fundamental problem in graph machine learning. While existing embedding methods effectively preserve local similarity measures, they often fail to capture global functions like graph distances. Inspired by Bourgain's seminal work on Hilbert space embeddings of metric spaces (1985), we study the performance of local distance-preserving node embeddings. Known as landmark-based algorithms, these embeddings approximate pairwise distances by computing shortest paths from a small subset of reference nodes called landmarks. Our main theoretical contribution shows that random graphs, such as Erdos-Renyi random graphs, require lower dimensions in landmark-based embeddings compared to worst-case graphs. Empirically, we demonstrate that the GNN-based approximations for the distances to landmarks generalize well to larger real-world networks, offering a scalable and transferable alternative for graph representation learning.

stat.ML↗

arXiv2024

The Power of Two Matrices in Spectral Algorithms for Community Recovery

Spectral algorithms are some of the main tools in optimization and inference problems on graphs. Typically, the graph is encoded as a matrix and eigenvectors and eigenvalues of the matrix are then used to solve the given graph problem. Spectral algorithms have been successfully used for graph partitioning, hidden clique recovery and graph coloring. In this paper, we study the power of spectral algorithms using two matrices in a graph partitioning problem. We use two different matrices resulting from two different encodings of the same graph and then combine the spectral information coming from these two matrices. We analyze a two-matrix spectral algorithm for the problem of identifying latent community structure in large random graphs. In particular, we consider the problem of recovering community assignments exactly in the censored stochastic block model, where each edge status is revealed independently with some probability. We show that spectral algorithms based on two matrices are optimal and succeed in recovering communities up to the information theoretic threshold. Further, we show that for most choices of the parameters, any spectral algorithm based on one matrix is suboptimal. The latter observation is in contrast to our prior works (2022a, 2022b) which showed that for the symmetric Stochastic Block Model and the Planted Dense Subgraph problem, a spectral algorithm based on one matrix achieves the information theoretic threshold. We additionally provide more general geometric conditions for the (sub)-optimality of spectral algorithms.

math.ST↗

arXiv2024

On $r$-to-$p$ norms of random matrices with nonnegative entries: Asymptotic normality and $\ell_\infty$-bounds for the maximizer

For an $n\times n$ matrix $A_n$, the $r\to p$ operator norm is defined as $$\|A_n\|_{r\to p}:= \sup_{\mathbf{x}\in\mathbb{R}^n:\|\mathbf{x} \|_r\leq 1 } \|A_n\mathbf{x} \|_p\quad\text{for}\quad r,p\geq 1.$$ For different choices of $r$ and $p$, this norm corresponds to key quantities that arise in diverse applications including matrix condition number estimation, clustering of data, and construction of oblivious routing schemes in transportation networks. This article considers $r\to p$ norms of symmetric random matrices with nonnegative entries, including adjacency matrices of Erdős-Rényi random graphs, matrices with positive sub-Gaussian entries, and certain sparse matrices. For $1<p\leq r<\infty$, the asymptotic normality, as $n\to\infty$, of the appropriately centered and scaled norm $\|A_n\|_{r\to p}$ is established. When $p \geq 2$, this is shown to imply asymptotic normality of the solution to the $\ell_p$ quadratic maximization problem, also known as the $\ell_p$ Grothendieck problem. Furthermore, a sharp $\ell_\infty$-approximation bound for the unique maximizing vector in the definition of $\|A_n\|_{r\to p}$ is obtained, and may be viewed as an $\ell_\infty$-stability result of the maximizer under random perturbations of the matrix with mean entries. This result is in fact shown to hold for a broad class of deterministic sequences of matrices having certain asymptotic expansion properties. The results obtained can be viewed as a generalization of the seminal results of Füredi and Komlós (1981) on asymptotic normality of the largest singular value of a class of symmetric random matrices. In the general case with $1<p\leq r< \infty$, spectral methods are no longer applicable, and so a new approach is developed involving a refined convergence analysis of a nonlinear power method and a perturbation bound on the maximizing vector, which may be of independent interest.

math.PR↗

arXiv2022

Spectral Algorithms Optimally Recover Planted Sub-structures

Spectral algorithms are an important building block in machine learning and graph algorithms. We are interested in studying when such algorithms can be applied directly to provide optimal solutions to inference tasks. Previous works by Abbe, Fan, Wang and Zhong (2020) and by Dhara, Gaudio, Mossel and Sandon (2022) showed the optimality for community detection in the Stochastic Block Model (SBM), as well as in a censored variant of the SBM. Here we show that this optimality is somewhat universal as it carries over to other planted substructures such as the planted dense subgraph problem and submatrix localization problem, as well as to a censored version of the planted dense subgraph problem.

cs.DS↗

arXiv2022

Global lower mass-bound for critical configuration models in the heavy-tailed regime

We establish the global lower mass-bound property for the largest connected components in the critical window for the configuration model when the degree distribution has an infinite third moment. The scaling limit of the critical percolation clusters, viewed as measured metric spaces, was established in [7] with respect to the Gromov-weak topology. Our result extends those scaling limit results to the stronger Gromov-Hausdorff-Prokhorov topology under slightly stronger assumptions on the degree distribution. This implies the distributional convergence of global functionals such as the diameter of the largest critical components. Further, our result gives a sufficient condition for compactness of the random metric spaces that arise as scaling limits of critical clusters in the heavy-tailed regime.

math.PR↗

arXiv2021

Spectral Recovery of Binary Censored Block Models

Community detection is the problem of identifying community structure in graphs. Often the graph is modeled as a sample from the Stochastic Block Model, in which each vertex belongs to a community. The probability that two vertices are connected by an edge depends on the communities of those vertices. In this paper, we consider a model of {\em censored} community detection with two communities, where most of the data is missing as the status of only a small fraction of the potential edges is revealed. In this model, vertices in the same community are connected with probability $p$ while vertices in opposite communities are connected with probability $q$. The connectivity status of a given pair of vertices $\{u,v\}$ is revealed with probability $α$, independently across all pairs, where $α= \frac{t \log(n)}{n}$. We establish the information-theoretic threshold $t_c(p,q)$, such that no algorithm succeeds in recovering the communities exactly when $t < t_c(p,q)$. We show that when $t > t_c(p,q)$, a simple spectral algorithm based on a weighted, signed adjacency matrix succeeds in recovering the communities exactly. While spectral algorithms are shown to have near-optimal performance in the symmetric case, we show that they may fail in the asymmetric case where the connection probabilities inside the two communities are allowed to be different. In particular, we show the existence of a parameter regime where a simple two-phase algorithm succeeds but any algorithm based on the top two eigenvectors of the weighted, signed adjacency matrix fails.

math.PR↗

arXiv2021

Community detection using low-dimensional network embedding algorithms

With the increasing relevance of large networks in important areas such as the study of contact networks for spread of disease, or social networks for their impact on geopolitics, it has become necessary to study machine learning tools that are scalable to very large networks, often containing millions of nodes. One major class of such scalable algorithms is known as network representation learning or network embedding. These algorithms try to learn representations of network functionals (e.g.~nodes) by first running multiple random walks and then using the number of co-occurrences of each pair of nodes in observed random walk segments to obtain a low-dimensional representation of nodes on some Euclidean space. The aim of this paper is to rigorously understand the performance of two major algorithms, DeepWalk and node2vec, in recovering communities for canonical network models with ground truth communities. Depending on the sparsity of the graph, we find the length of the random walk segments required such that the corresponding observed co-occurrence window is able to perform almost exact recovery of the underlying community assignments. We prove that, given some fixed co-occurrence window, node2vec using random walks with a low non-backtracking probability can succeed for much sparser networks compared to DeepWalk using simple random walks. Moreover, if the sparsity parameter is low, we provide evidence that these algorithms might not succeed in almost exact recovery. The analysis requires developing general tools for path counting on random networks having an underlying low-rank structure, which are of independent interest.

cs.SI↗

arXiv2021

Multiscale genesis of a tiny giant for percolation on scale-free random graphs

We study the critical behavior for percolation on inhomogeneous random networks on $n$ vertices, where the weights of the vertices follow a power-law distribution with exponent $τ\in (2,3)$. Such networks, often referred to as scale-free networks, exhibit critical behavior when the percolation probability tends to zero at an appropriate rate, as $n\to\infty$. We identify the critical window for a host of scale-free random graph models such as the Norros-Reittu model, Chung-Lu model and generalized random graphs. Surprisingly, there exists a finite time inside the critical window, after which, we see a sudden emergence of a tiny giant component. This is a novel behavior which is in contrast with the critical behavior in other known universality classes with $τ\in (3,4)$ and $τ>4$. Precisely, for edge-retention probabilities $π_n = λn^{-(3-τ)/2}$, there is an explicitly computable $λ_c>0$ such that the critical window is of the form $λ\in (0,λ_c),$ where the largest clusters have size of order $n^β$ with $β=(τ^2-4τ+5)/[2(τ-1)]\in[\sqrt{2}-1, \tfrac{1}{2})$ and have non-degenerate scaling limits, while in the supercritical regime $λ> λ_c$, a unique `tiny giant' component of size $\sqrt{n}$ emerges. For $λ\in (0,λ_c),$ the scaling limit of the maximum component sizes can be described in terms of components of a one-dimensional inhomogeneous percolation model on $\mathbb{Z}_+$ studied in a seminal work by Durrett and Kesten. For $λ>λ_c$, we prove that the sudden emergence of the tiny giant is caused by a phase transition inside a smaller core of vertices of weight $Ω(\sqrt{n})$.

math.PR↗

arXiv2021

Barely supercritical percolation on Poissonian scale-free networks

We study the giant component problem slightly above the critical regime for percolation on Poissonian random graphs in the scale-free regime, where the vertex weights and degrees have a diverging second moment. Critical percolation on scale-free random graphs have been observed to have incredibly subtle features that are markedly different compared to those in random graphs with converging second moment. In particular, the critical window for percolation depends sensitively on whether we consider single- or multi-edge versions of the Poissonian random graph. In this paper, and together with our companion paper with Bhamidi, we build a bridge between these two cases. Our results characterize the part of the barely supercritical regime where the size of the giant components are approximately same for the single- and multi-edge settings. The methods for establishing concentration of giant for the single- and multi-edge versions are quite different. While the analysis in the multi-edge case is based on scaling limits of exploration processes, the single-edge setting requires identification of a core structure inside certain high-degree vertices that forms the giant component.

math.PR↗

arXiv2020

Large deviation for uniform graphs with given degrees

Consider the random graph sampled uniformly from the set of all simple graphs with a given degree sequence. Under mild conditions on the degrees, we establish a Large Deviation Principle (LDP) for these random graphs, viewed as elements of the graphon space. As a corollary of our result, we obtain LDPs for functionals continuous with respect to the cut metric, and obtain an asymptotic enumeration formula for graphs with given degrees, subject to an additional constraint on the value of a continuous functional. Our assumptions on the degrees are identical to those of Chatterjee, Diaconis and Sly (2011), who derived the almost sure graphon limit for these random graphs.

math.PR↗

arXiv2020

Critical percolation on scale-free random graphs: New universality class for the configuration model

In this paper, we study the critical behavior of percolation on a configuration model with degree distribution satisfying an infinite second-moment condition, which includes power-law degrees with exponent $τ\in (2,3)$. It is well known that, in this regime, many canonical random graph models, such as the configuration model, are robust in the sense that the giant component is not destroyed when the percolation probability stays bounded away from zero. Thus, the critical behavior is observed when the percolation probability tends to zero with the network size, despite of the fact that the average degree remains bounded. In this paper, we initiate the study of critical random graphs in the infinite second-moment regime by identifying the critical window for the configuration model. We prove scaling limits for component sizes and surplus edges, and show that the maximum diameter the critical components is of order $\log n$, which contrasts with the previous universality classes arising in the literature. This introduces a third and novel universality class for the critical behavior of percolation on random networks, that is not covered by the multiplicative coalescent framework due to Aldous and Limic (1998). We also prove concentration of the component sizes outside the critical window, and that a unique, complex giant component emerges after the critical window. This completes the picture for the percolation phase transition on the configuration model.

math.PR↗

arXiv2020

Universality for critical heavy-tailed network models: Metric structure of maximal components

We study limits of the largest connected components (viewed as metric spaces) obtained by critical percolation on uniformly chosen graphs and configuration models with heavy-tailed degrees. For rank-one inhomogeneous random graphs, such results were derived by Bhamidi, van der Hofstad, Sen [Probab. Theory Relat. Fields 2018]. We develop general principles under which the identical scaling limits as the rank-one case can be obtained. Of independent interest, we derive refined asymptotics for various susceptibility functions and the maximal diameter in the barely subcritical regime.

math.PR↗

arXiv2019

Heavy-tailed configuration models at criticality

We study the critical behavior of the component sizes for the configuration model when the tail of the degree distribution of a randomly chosen vertex is a regularly-varying function with exponent $τ-1$, where $τ\in (3,4)$. The component sizes are shown to be of the order $n^{(τ-2)/(τ-1)}L(n)^{-1}$ for some slowly-varying function $L(\cdot)$. We show that the re-scaled ordered component sizes converge in distribution to the ordered excursions of a thinned Lévy process. This proves that the scaling limits for the component sizes for these heavy-tailed configuration models are in a different universality class compared to the Erdős-Rényi random graphs. Also the joint re-scaled vector of ordered component sizes and their surplus edges is shown to have a distributional limit under a strong topology. Our proof resolves a conjecture by Joseph, Ann. Appl. Probab. (2014) about the scaling limits of uniform simple graphs with i.i.d degrees in the critical window, and sheds light on the relation between the scaling limits obtained by Joseph and in this paper, which appear to be quite different. Further, we use percolation to study the evolution of the component sizes and the surplus edges within the critical scaling window, which is shown to converge in finite dimension to the augmented multiplicative coalescent process introduced by Bhamidi et. al., Probab. Theory Related Fields (2014). The main results of this paper are proved under rather general assumptions on the vertex degrees. We also discuss how these assumptions are satisfied by some of the frameworks that have been studied previously.

math.PR↗

arXiv2019

Limits of Sparse Configuration Models and Beyond: Graphexes and Multi-Graphexes

We investigate structural properties of large, sparse random graphs through the lens of "sampling convergence" (Borgs et. al. (2017)). Sampling convergence generalizes left convergence to sparse graphs, and describes the limit in terms of a "graphex". We introduce a notion of sampling convergence for sequences of multigraphs, and establish the graphex limit for the configuration model, a preferential attachment model, the generalized random graph, and a bipartite variant of the configuration model. The results for the configuration model, preferential attachment model and bipartite configuration model provide necessary and sufficient conditions for these random graph models to converge. The limit for the configuration model and the preferential attachment model is an augmented version of an exchangeable random graph model introduced by Caron and Fox (2017).

math.PR↗