Abstract:We consider two classes of natural stochastic processes on finite unlabeled graphs. These are Euclidean stochastic optimization algorithms on the adjacency matrix of weighted graphs and a modified version of the Metropolis MCMC algorithm on stochastic block models over unweighted graphs. In both cases we show that, as the size of the graph goes to infinity, the random trajectories of the stochastic processes converge to deterministic curves on the space of measure-valued graphons. Measure-valued graphons, introduced by Lovász and Szegedy in \cite{lovasz2010decorated}, are a refinement of the concept of graphons that can distinguish between two infinite exchangeable arrays that give rise to the same graphon limit. We introduce new metrics on this space which provide us with a natural notion of convergence for our limit theorems. This notion is equivalent to the convergence of infinite-exchangeable arrays. Under suitable assumptions and a specified time-scaling, the Metropolis chain admits a diffusion limit as the number of vertices go to infinity. We then demonstrate that, in an appropriately formulated zero-noise limit, the stochastic process of adjacency matrices of this diffusion converges to a deterministic gradient flow curve on the space of graphons introduced in\cite{Oh2023}. A novel feature of this approach is that it provides a precise exponential convergence rate for the Metropolis chain in a certain limiting regime. The connection between a natural Metropolis chain commonly used in exponential random graph models and gradient flows on graphons, to the best of our knowledge, is new in the literature as well.

Subgraph densities in Markov spaces

Subgraph densities in Markov spaces

Multigraph limits, unbounded kernels, and Banach space decorated graphs

Limiting Spectra of inhomogeneous random graphs

Graphical models for infinite measures with applications to extremes

On the -Spaces of Projective Limits of Probability Measures

Gibbs Measures on Multidimensional Spaces. Equivalences and a Groupoid Approach

Local limit theorem for joint subgraph counts

On dense orbits in the space of subequivalence relations

Typical dimension and absolute continuity for classes of dynamically defined measures, Part II : exposition and extensions

A Szemerédi type theorem for sets of positive density in approximate lattices

Categorical approach to graph limits

Dense and nondense limits for uniform random intersection graphs

A density version of a theorem of Banach

Density of quantized approximations

Limits of sparse hypergraphs

Path convergence of Markov chains on large graphs

Quotient-convergence of Submodular Setfunctions

The Graph Pencil Method: Mapping Subgraph Densities to Stochastic Block Models

The Solecki submeasures and densities on groups

Application of Banach limits to invariant measures of infinite-dimensional Hamiltonian flows