A point of a metric space is called a geodesic star with $m$ arms if it is the endpoint of $m$ disjoint geodesics. For every $m\in\{1,2,3,4\}$, we prove that the set of all geodesic stars with $m$ arms in the Brownian sphere has dimension $5-m$. This complements recent results of Miller and Qian, who proved that this dimension is smaller than or equal to $5-m$.
We study the structure of infinite geodesics in the Planar Stochastic Hyperbolic Triangulations $\mathbb{T}_λ$, which are the hyperbolic analogs of the UIPT. We prove that these geodesics form a supercritical Galton--Watson tree with geometric offspring distribution. The tree of infinite geodesics in $\mathbb{T}_λ$ provides a new notion of boundary, which is a realization of the Poisson boundary. By scaling limits arguments, we also obtain a description of the tree of infinite geodesics in the hyperbolic Brownian plane. Finally, by combining our main result with a forthcoming paper, we obtain …
We study random "perturbation" to the geodesic equation. The geodesic equation is identified with a canonical differential equation on the orthonormal frame bundle driven by a horizontal vector field of norm $1$. We prove that the projections of the solutions to the perturbed equations, converge, after suitable rescaling, to a Brownian motion scaled by ${\frac{8}{n(n-1)}}$ where $n$ is the dimension of the state space. Their horizontal lifts to the orthonormal frame bundle converge also, to a scaled horizontal Brownian motion.
We introduce Riemannian First-Passage Percolation (Riemannian FPP) as a new model of random differential geometry, by considering a random, smooth Riemannian metric on $\mathbb R^d$. We are motivated in our study by the random geometry of first-passage percolation (FPP), a lattice model which was developed to model fluid flow through porous media. By adapting techniques from standard FPP, we prove a shape theorem for our model, which says that large balls under this metric converge to a deterministic shape under rescaling. As a consequence, we show that smooth random Riemannian metrics are geo…
We study the random planar maps obtained from supercritical Galton--Watson trees by adding the horizontal connections between successive vertices at each level. These are the hyperbolic analog of the maps studied by Curien, Hutchcroft and Nachmias in arXiv:1710.03137, and a natural model of random hyperbolic geometry. We first establish metric hyperbolicity properties of these maps: we show that they admit bi-infinite geodesics and satisfy a weak version of Gromov-hyperbolicity. We also study the simple random walk on these maps: we identify their Poisson boundary and, in the case where the un…
A geodesic in a graph G is a shortest path between two vertices of G. For a specific function e(n) of n, we define an almost geodesic cycle C in G to be a cycle in which for every two vertices u and v in C, the distance d_G(u,v) is at least d_C(u,v)-e(n). Let f(n) be any function tending to infinity with n. We consider a random d-regular graph on n vertices. We show that almost all pairs of vertices belong to an almost geodesic cycle C with e(n)= \log_{d-1} \log_{d-1} n +f(n) and |C|=2\log_{d-1}n+O(f(n)). Along the way, we obtain results on near-geodesic paths. We also give the limiting distri…
We continue the study of infinite geodesics in planar first-passage percolation, pioneered by Newman in the mid 1990s. Building on more recent work of Hoffman, and Damron and Hanson, we develop an ergodic theory for infinite geodesics via the study of what we shall call `random coalescing geodesics'. Random coalescing geodesics have a range of nice asymptotic properties, such as asymptotic directions and linear Busemann functions. We show that random coalescing geodesics are (in some sense) dense in the space of geodesics. This allows us to extrapolate properties from random coalescing geodesi…
Given a connected graph $G$ with some subset of its vertices excited and a fixed target vertex, in the geodesic-biased random walk on $G$, a random walker moves as follows: from an unexcited vertex, she moves to a uniformly random neighbour, whereas from an excited vertex, she takes one step along some fixed shortest path towards the target vertex. We show, perhaps counterintuitively, that the geodesic-bias can slow the random walker down exponentially: there exist connected, bounded-degree $n$-vertex graphs with excitations where the expected hitting time of a fixed target is at least $\exp (…
We consider the space of probability measures on a discrete set $X$, endowed with a dynamical optimal transport metric. Given two probability measures supported in a subset $Y \subseteq X$, it is natural to ask whether they can be connected by a constant speed geodesic with support in $Y$ at all times. Our main result answers this question affirmatively, under a suitable geometric condition on $Y$ introduced in this paper. The proof relies on an extension result for subsolutions to discrete Hamilton-Jacobi equations, which is of independent interest.
We study a family of mappings from the powers of the unit tangent sphere at a point to a complete Riemannian manifold with non-positive sectional curvature, whose behavior is related to the spherical mean operator and the geodesic random walks on the manifold. We show that for odd powers of the unit tangent sphere the mappings are fold maps. Some consequences on the regularity of the transition density of geodesic random walks, and on the eigenfunctions of the spherical mean operator are discussed and related to previous work.
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 curva…
We prove Poisson approximation results for the bottom part of the length spectrum of a random closed hyperbolic surface of large genus. Here, a random hyperbolic surface is a surface picked at random using the Weil-Petersson volume form on the corresponding moduli space. As an application of our result, we compute the large genus limit of the expected systole.
We show that geodesic random walks on a complete Finsler manifold of bounded geometry converge to a diffusion process which is, up to a drift, the Brownian motion corresponding to a Riemannian metric.
In this paper we compare the different phenomena that occur when intersecting geometric objects with random geodesics on the unit sphere and inside convex bodies. On the high dimensional sphere we see that with probability bounded away from zero, the observed length will deviate from the actual measure by at most a fixed error for any subset, while in convex bodies we can always choose a subset for which the behavior would be close to a zero-one law, as the dimension grows. The result for the sphere is based on an analysis of the Radon transform. Using similar tools we analyze the variance of …
We study the fluctuations of self-intersection counts of random geodesic segments of length $t$ on a compact, negatively curved surface in the limit of large $t$. If the initial direction vector of the geodesic is chosen according to the \emph{Liouville measure}, then it is not difficult to show that the number $N (t)$ of self-intersections by time $t$ grows like $κt^{2}$, where $κ=κ_{M}$ is a positive constant depending on the surface $M$. We show that (for a smooth modification of $N (t)$) the fluctuations are of size $t$, and the limit distribution is a weak limit of Gaussian quadratic form…
We analyze the disordered Riemannian geometry resulting from random perturbations of the Euclidean metric. We focus on geodesics, the paths traced out by a particle traveling in this quenched random environment. By taking the point of the view of the particle, we show that the law of its observed environment is absolutely continuous with respect to the law of the random metric, and we provide an explicit form for its Radon-Nikodym derivative. We use this result to prove a "local Markov property" along an unbounded geodesic, demonstrating that it eventually encounters any type of geometric phen…
We consider planar quadrangulations with three marked vertices and discuss the geometry of triangles made of three geodesic paths joining them. We also study the geometry of minimal separating loops, i.e. paths of minimal length among all closed paths passing by one of the three vertices and separating the two others in the quadrangulation. We concentrate on the universal scaling limit of large quadrangulations, also known as the Brownian map, where pairs of geodesic paths or minimal separating loops have common parts of non-zero macroscopic length. This is the phenomenon of confluence, which …
This is supplementary material for the main Geodesics article by the authors. In Appendix A, we present some general results on the construction of Gaussian random fields. In Appendix B, we restate our Shape Theorem, specialized to the setting of this article. In Appendix C, we state some straightforward consequences on the geometry of geodesics for a random metric. In Appendix D, we provide a rapid introduction to Riemannian geometry for the unfamiliar reader. In Appendix E, we present some analytic estimates which we use in the article. In Appendix F, we present the construction of the condi…
We investigate the problem of estimating geodesic tortuosity and constrictivity as two structural characteristics of stationary random closed sets. They are of central importance for the analysis of effective transport properties in porous or composite materials. Loosely speaking, geodesic tortuosity measures the windedness of paths whereas the notion of constrictivity captures the appearance of bottlenecks resulting from narrow passages within a given materials phase. We first provide mathematically precise definitions of these quantities and introduce appropriate estimators. Then, we show st…
Given a `cost' functional $F$ on paths $γ$ in a domain $D\subset\mathbb{R}^d$, in the form $F(γ) = \int_0^1 f(γ(t),\dotγ(t))dt$, it is of interest to approximate its minimum cost and geodesic paths. Let $X_1,\ldots, X_n$ be points drawn independently from $D$ according to a distribution with a density. Form a random geometric graph on the points where $X_i$ and $X_j$ are connected when $0<|X_i - X_j|<ε$, and the length scale $ε=ε_n$ vanishes at a suitable rate. For a general class of functionals $F$, associated to Finsler and other distances on $D$, using a probabilistic form of Gamma converge…