Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0507324

Tail Bounds for the Stable Marriage of Poisson and Lebesgue

Christopher Hoffman·Alexander E. Holroyd·Yuval Peres
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let Ξbe a discrete set in R^d. Call the elements of Ξcenters. The well-known Voronoi tessellation partitions R^d into polyhedral regions (of varying volumes) by allocating each site of R^d to the closest center. Here we study allocations of R^d to Ξin which each center attempts to claim a region of equal volume α. We focus on the case where Ξarises from a Poisson process of unit intensity. It was proved in math.PR/0505668 that there is a unique allocation which is stable in the sense of the Gale-Shapley marriage problem. We study the distance X from a typical site to its allocated center in the stable allocation. The model exhibits a phase transition in the appetite α. In the critical case α=1 we prove a power law upper bound on X in dimension d=1. It is an open problem to prove any upper bound in d\geq 2. (Power law lower bounds were proved in math.PR/0505668 for all d). In the non-critical cases α<1 and α>1 we prove exponential upper bounds on X.

Explore related subjects

math.PR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christopher Hoffman, Alexander E. Holroyd, Yuval Peres. 2005-07-18. Tail Bounds for the Stable Marriage of Poisson and Lebesgue. https://arxiv.org/abs/math/0507324

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Langevin equations solved by Markov chains (instead of integrals), two solutions with multiplicative noise and their properties

Langevin equations are usually understood as integral equations, since continuous and Markov solutions are nowhere differentiable. This is avoidable by the fact that white Gaussian noise can be seen as a generalized derivative of the Wiener process. The simplest LE is thus solved by Wiener paths, which can be computed by a Markov chain. That crucial property persists for functions of these paths, and solutions of the general LE are therefore assumed to have that form. In short time steps these functions must be linear or quadratic. Both cases lead to sampled versions of existing stochastic intrgrals ('Ito' and 'anti-Ito' respectively). In physics they apply for Brownian motion in presence of a temperature gradient: without a feedback to the medium in the linear case, and for a tagged molecule in the quadratic one; in the latter case the Fokker-Planck equation describes a local equilibrium.

math.PR↗
arXiv2026

Diffusion Processes on $p$-Wasserstein Space over Banach Space

To study diffusion processes on the p-Wasserstein space $\mathscr P_p$ for $p\in [1,\infty)$ over a separable, reflexive Banach space $X$, we present a criterion on the quasi-regularity of Dirichlet forms in $L^2(\mathscr P_p,Λ)$ for a reference probability $Λ$ on $\mathscr P_p$. It is formulated in terms of an upper bound condition with the uniform norm of the intrinsic derivative. We find a versatile class of quasi-regular local Dirichlet forms on $\mathscr P_p$ by using images of Dirichlet forms on the tangent space $L^p(X\to X,μ_0)$ at a reference point $μ_0\in\mathscr P_p$. The Ornstein--Uhlenbeck type Dirichlet form and process on $\mathscr P_2$ are an important example in this class. We derive an $L^2$-estimate for the corresponding heat kernel and an integration by parts formula for the invariant measure.

math.PR↗
arXiv2026

Convergence of stochastic integrals with applications to transport equations and conservation laws with noise

Convergence of stochastic integrals driven by Wiener processes $W_n$, with $W_n \to W$ almost surely in $C_t$, is crucial in analyzing SPDEs. Our focus is on the convergence of the form $\int_0^T V_n\, \mathrm{d} W_n \to \int_0^T V\, \mathrm{d} W$, where $\{V_n\}$ is bounded in $L^p(Ω\times [0,T];X)$ for a Banach space $X$ and some finite $p > 2$. This is challenging when $V_n$ converges to $V$ weakly in the temporal variable. We supply convergence results to handle stochastic integral limits when strong temporal convergence is lacking. A key tool is a uniform mean $L^1$ time translation estimate on $V_n$, an estimate that is easily verified in many SPDEs. However, this estimate alone does not guarantee strong compactness of $(ω,t)\mapsto V_n(ω,t)$. Our findings, especially pertinent to equations exhibiting singular behavior, are substantiated by establishing several stability results for stochastic transport equations and conservation laws.

math.PR↗