SearcharxivSearch

arXiv subjects

Rik Versendaal

Publications and source records attributed to Rik Versendaal.

13 recordsLinked to original sources

Unified framework for asymptotically uniform iterative construction of generalised random graphs with local constraints

We develop a unified framework for constructing combinatorial structures under local constraints. Our approach extends the configuration model for random graphs with a prescribed degree sequence, and covers many special cases, including bipartite graphs, directed graphs, oriented graphs, edge-colored (bipartite) graphs, and (directed) hypergraphs. By reformulating half-edge matching as an independent set problem in an auxiliary graph, we identify 2-uniformity, a property characterising when greedy sampling preserves asymptotic uniformity. We classify all 2-uniform graphs and show that only two classes, the configuration space and the bipartite configuration space, have unbounded independence number, enabling the asymptotic regime. Our main theorem then gives the asymptotic sampling distribution and enumeration formulae for configurations, with error terms of order $O(d_{\max}^4\log m/m+d_{\max}^2(\log m)^2/m)$ as the number of edges $m$ tends to infinity with maximum degree $d_{\max}=O(m^{1/4}/\log m)$. This settles the long-standing $O(m^{1/4-τ})$ bound (for some fixed $τ> 0$), making the critical exponent explicit. Furthermore, our theorem accommodates forbidden edges, provided that each vertex participates in at most $O(m^{1/4}/\log m)$ of them. In particular, this enables the sampling of edge-colored graphs with prescribed degree sequences for each color class by constructing the colored subgraphs one at a time.

math.PR

Perimeter length of the convex hull of Brownian motion in the hyperbolic plane

We relate the expected hyperbolic length of the perimeter of the convex hull of the trajectory of Brownian motion in the hyperbolic plane to an expectation of a certain exponential functional of a one-dimensional real-valued Brownian motion, and hence derive small- and large-time asymptotics for the expected hyperbolic perimeter. In contrast to the case of Euclidean Brownian motion with non-zero drift, the large-time asymptotics are a factor of two greater than the lower bound implied by the fact that the convex hull includes the hyperbolic line segment from the origin to the endpoint of the hyperbolic Brownian motion. We also obtain an exact expression for the expected perimeter length after an independent exponential random time.

math.PR

Hydrodynamic limit of the symmetric exclusion process on complete Riemannian manifolds and principal bundles

We prove that the hydrodynamic limit of the symmetric exclusion process (SEP) is a Fokker-Planck equation in the setting of Poisson random neighborhood graphs approximating a weighted Riemannian manifold with Ricci curvature bounded from below. We also consider the lift of the SEP to a principal bundle, and obtain a Fokker-Planck equation with a weighted horizontal Laplacian as its hydrodynamic limit. Both results significantly extend the geometric settings in which one can prove the hydrodynamic limit from duality combined with convergence of the single particle random walk towards a diffusion process.

math.PR

Quenched large deviations for randomly weighted geodesic random walks

We consider weighted geodesic random walks in a complete Riemannian manifold $(M,g)$. We show that for almost all sequences of weights (with respect to a suitable measure), these weighted geodesic random walks satisfy, when suitably scaled, a large deviation principle with a universal rate function. This extends the results from [3], where this was shown for the real-valued case. It turns out the argument is also valid for general vector spaces. This allows us to use the methodology of [9], in which large deviations for geodesic random walks are obtained from large deviation estimates for associated random walks in tangent spaces.

math.PR

A limit theorem for the total progeny distribution of multi-type branching processes

A multi-type branching process is defined as a random tree with labeled vertices, where each vertex produces offspring independently according to the same multivariate probability distribution. We demonstrate that in realizations of the multi-type branching process, the relative frequencies of the different types in the whole tree converge to a fixed ratio, while the probability distribution for the total size of the process decays exponentially. The results hold under the assumption that all moments of the offspring distributions exist. The proof uses a combination of the arborescent Lagrange inversion formula, a measure tilting argument, and a local limit theorem. We illustrate our concentration result by showing applications to random graphs and multi-component coagulation processes.

math.PR

Invariance principle for Lifts of Geodesic Random Walks

We consider a certain class of Riemannian submersions $π: N \to M$ and study lifted geodesic random walks from the base manifold $M$ to the total manifold $N$. Under appropriate conditions on the distribution of the speed of the geodesic random walks, we prove an invariance principle; i.e., convergence to horizontal Brownian motion for the lifted walks. This gives us a natural probabilistic proof of the geometric identity relating the horizontal Laplacian $Δ_\H$ on $N$ and the Laplace-Beltrami operator $Δ_M$ on $M$. In particular, when $N$ is the orthonormal frame bundle $O(M)$, this identity is central in the Malliavin-Eells-Elworthy construction of Riemannian Brownian motion.

math.PR

Sequential construction of spatial networks with arbitrary degree sequence and edge length distribution

Complex systems, ranging from soft materials to wireless communication, are often organised as random geometric networks in which nodes and edges evenly fill up the volume of some space. Studying such networks is difficult because they inherit their properties from the embedding space as well as from the constraints imposed on the network's structure by design, for example, the degree sequence. Here we consider geometric graphs with a given distribution for vertex degrees and edge lengths and propose a numerical method for unbiased sampling of such graphs. We show that the method reproduces the desired target distributions up to a small error asymptotically, and that is some boundary cases only a positive fraction of the network is guaranteed to possible to construct.

math.PR

Giant component in the configuration model under geometric constraints

We study the emergence of a giant component in the configuration model subject to additional constraints on the edges. We partition a $d$-dimensional torus into a cubic lattice with a diverging number of compartments containing vertices and allow only local edges inside and between neighbouring compartments. We show that, when the number of vertices per compartment grows quickly enough, a giant component emerges under similar conditions as for the standard configuration model. Conversely, when the compartment sizes are fixed, our model might not feature a giant component even if the standard configuration model does have one. Locally, our model resembles the configuration model, while globally, it has properties more akin to a $d$-dimensional lattice. Nonetheless the model remains analytically tractable using multitype branching processes with infinite number of types and opens new potential ways to study percolation in graphs with geometric properties.

math.PR

Large deviations for Brownian motion in evolving Riemannian manifolds

We prove large deviations for $g(t)$-Brownian motion in a complete, evolving Riemannian manifold $M$ with respect to a collection $\{g(t)\}_{t\in [0,1]}$ of Riemannian metrics, smoothly depending on $t$. We show how the large deviations are obtained from the large deviations of the (time-dependent) horizontal lift of $g(t)$-Brownian motion to the frame bundle $FM$ over $M$. The latter is proved by embedding the frame bundle into some Euclidean space and applying Freidlin-Wentzell theory for diffusions with time-dependent coefficients, where the coefficients are jointly Lipschitz in space and time.

math.PR

Large deviations for random walks on Lie groups

We study large deviations for random walks on Lie groups defined by $σ_n^n = \exp(\frac1nX_1)\cdots\exp(\frac1nX_n)$, where $\{X_n\}_{n\geq1}$ is an i.i.d sequence of bounded random variables in the Lie algebra $\mathfrak{g}$. We follow a similar approach as in the proof of large deviations for geodesic random walks as given in [Ver19]. This approach makes it possible to simply rescale the increments of the random walk, without having to resort to dilations in order to reduce the influence of higher order commutators. Finally, we will apply this large deviation result to the Lie group of stochastic matrices.

math.PR

Large deviations for geodesic random walks

We provide a direct proof of Cramér's theorem for geodesic random walks in a complete Riemannian manifold $(M,g)$. We show how to exploit the vector space structure of the tangent spaces to study large deviation properties of geodesic random walks in $M$. Furthermore, we reveal the geometric obstructions one runs into and overcome these by providing Taylor expansions of the inverse Riemannian exponential map, while also comparing the differential of the exponential map to parallel transport. Finally, we obtain the analogue of Cramér's theorem for geodesic random walks by showing that the curvature terms arising in this geometric analysis can be controlled and are negligible on an exponential scale.

math.PR

Classical large deviations theorems on complete Riemannian manifolds

We generalize classical large deviations theorems to the setting of complete Riemannian manifolds. We prove the analogue of Mogulskii's theorem for geodesic random walks via a general approach using visocity solutions for Hamilton-Jacobi equations. As a corollary, we also obtain the analogue of Cramér's theorem. The approach also provides a new proof of Schilder's theorem. Additionally, we provide a proof of Schilder's theorem by using an embedding into Euclidean space, together with Freidlin-Wentzell theory.

math.PR