Improper poisson line process as sirsn in any dimension

TL;DR

This paper proves that a Poisson line process with power-law speeds in any dimension forms a scale-invariant random spatial network (SIRSN), establishing its properties and geodesic behavior.

Contribution

It demonstrates that the geodesic network generated by a Poisson line process with power-law speeds is a SIRSN in any dimension, filling a gap in the understanding of such networks.

Findings

The Poisson line process with power-law speeds forms a SIRSN in any dimension.

Bounds are established comparing Euclidean and random metric balls.

In dimensions higher than two, geodesics exhibit many directions near non-straight points.

Abstract

Aldous has introduced a notion of scale-invariant random spatial network (SIRSN) as a mathematical formalization of road networks. Intuitively, those are random processes that assign a route between each pair of points in Euclidean space, while being invariant under rotation, translation, and change of scale, and such that the routes are not too long and mainly on "main roads". The only known example was somewhat artificial since invariance had to be added at the end of the construction. We prove that the network of geodesics in the random metric space generated by a Poisson line process marked by speeds according to a power law is a SIRSN, in any dimension. Along the way, we establish bounds comparing Euclidean balls and balls for the random metric space. We also prove that in dimension more than two, the geodesics have "many directions" near each point where they are not straight.