-
Optimal Markovian coupling for finite activity Lévy processes
Authors:
Wilfrid S. Kendall,
Mateusz B. Majka,
Aleksandar Mijatović
Abstract:
We study optimal Markovian couplings of Markov processes, where the optimality is understood in terms of minimization of concave transport costs between the time-marginal distributions of the coupled processes. We provide explicit constructions of such optimal couplings for one-dimensional finite-activity Lévy processes (continuous-time random walks) whose jump distributions are unimodal but not n…
▽ More
We study optimal Markovian couplings of Markov processes, where the optimality is understood in terms of minimization of concave transport costs between the time-marginal distributions of the coupled processes. We provide explicit constructions of such optimal couplings for one-dimensional finite-activity Lévy processes (continuous-time random walks) whose jump distributions are unimodal but not necessarily symmetric. Remarkably, the optimal Markovian coupling does not depend on the specific concave transport cost. To this end, we combine McCann's results on optimal transport and Rogers' results on random walks with a novel uniformization construction that allows us to characterize all Markovian couplings of finite-activity Lévy processes. In particular, we show that the optimal Markovian coupling for finite-activity Lévy processes with non-symmetric unimodal Lévy measures has to allow for non-simultaneous jumps of the two coupled processes.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Counterexamples for optimal scaling of Metropolis-Hastings chains with rough target densities
Authors:
Jure Vogrinc,
Wilfrid Stephen Kendall
Abstract:
For sufficiently smooth targets of product form it is known that the variance of a single coordinate of the proposal in RWM (Random walk Metropolis) and MALA (Metropolis adjusted Langevin algorithm) should optimally scale as $n^{-1}$ and as $n^{-\frac{1}{3}}$ with dimension $n$, and that the acceptance rates should be tuned to $0.234$ and $0.574$. We establish counterexamples to demonstrate that s…
▽ More
For sufficiently smooth targets of product form it is known that the variance of a single coordinate of the proposal in RWM (Random walk Metropolis) and MALA (Metropolis adjusted Langevin algorithm) should optimally scale as $n^{-1}$ and as $n^{-\frac{1}{3}}$ with dimension $n$, and that the acceptance rates should be tuned to $0.234$ and $0.574$. We establish counterexamples to demonstrate that smoothness assumptions of the order of $\mathcal{C}^1(\mathbb{R})$ for RWM and $\mathcal{C}^3(\mathbb{R})$ for MALA are indeed required if these scaling rates are to hold. The counterexamples identify classes of marginal targets for which these guidelines are violated, obtained by perturbing a standard Normal density (at the level of the potential for RWM and the second derivative of the potential for MALA) using roughness generated by a path of fractional Brownian motion with Hurst exponent $H$. For such targets there is strong evidence that RWM and MALA proposal variances should optimally be scaled as $n^{-\frac{1}{H}}$ and as $n^{-\frac{1}{2+H}}$ and will then obey anomalous acceptance rate guidelines. Useful heuristics resulting from this theory are discussed. The paper develops a framework capable of tackling optimal scaling results for quite general Metropolis-Hastings algorithms (possibly depending on a random environment).
△ Less
Submitted 14 July, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Rayleigh Random Flights on the Poisson line SIRSN
Authors:
Wilfrid Stephen Kendall
Abstract:
We study scale-invariant Rayleigh Random Flights ("RRF") in random environments given by planar Scale-Invariant Random Spatial Networks ("SIRSN") based on speed-marked Poisson line processes. A natural one-parameter family of such RRF (with scale-invariant dynamics) can be viewed as producing "randomly-broken local geodesics" on the SIRSN; we aim to shed some light on a conjecture that a (non-brok…
▽ More
We study scale-invariant Rayleigh Random Flights ("RRF") in random environments given by planar Scale-Invariant Random Spatial Networks ("SIRSN") based on speed-marked Poisson line processes. A natural one-parameter family of such RRF (with scale-invariant dynamics) can be viewed as producing "randomly-broken local geodesics" on the SIRSN; we aim to shed some light on a conjecture that a (non-broken) geodesic on such a SIRSN will never come to a complete stop en route. (If true, then all such geodesics can be represented as doubly-infinite sequences of sequentially connected line segments. This would justify a natural procedure for computing geodesics.) The family of these RRF ("SIRSNRRF"), is introduced via a novel axiomatic theory of abstract scattering representations for Markov chains (itself of independent interest). Palm conditioning (specifically the Mecke-Slivnyak theorem for Palm probabilities of Poisson point processes) and ideas from the ergodic theory of random walks in random environments are used to show that at a critical value of the parameter the speed of the scale-invariant SIRSNRRF neither diverges to infinity nor tends to zero, thus supporting the conjecture.
△ Less
Submitted 6 October, 2020; v1 submitted 22 August, 2019;
originally announced August 2019.
-
Coupling of Brownian motions in Banach spaces
Authors:
Elisabetta Candellero,
Wilfrid S. Kendall
Abstract:
Consider a separable Banach space $ \mathcal{W}$ supporting a non-trivial Gaussian measure $μ$. The following is an immediate consequence of the theory of Gaussian measure on Banach spaces: there exist (almost surely) successful couplings of two $\mathcal{W}$-valued Brownian motions $ \mathbf{B}$ and $\widetilde{\mathbf{B}}$ begun at starting points $\mathbf{B}(0)$ and $\widetilde{\mathbf{B}}(0)$…
▽ More
Consider a separable Banach space $ \mathcal{W}$ supporting a non-trivial Gaussian measure $μ$. The following is an immediate consequence of the theory of Gaussian measure on Banach spaces: there exist (almost surely) successful couplings of two $\mathcal{W}$-valued Brownian motions $ \mathbf{B}$ and $\widetilde{\mathbf{B}}$ begun at starting points $\mathbf{B}(0)$ and $\widetilde{\mathbf{B}}(0)$ if and only if the difference $\mathbf{B}(0)-\widetilde{\mathbf{B}}(0)$ of their initial positions belongs to the Cameron-Martin space $\mathcal{H}_μ $ of $\mathcal{W}$ corresponding to $μ$. For more general starting points, can there be a "coupling at time $\infty$", such that almost surely $\|\mathbf{B}(t)-\widetilde{\mathbf{B}}(t)\|_{\mathcal{W}} \to 0$ as $t\to\infty$? Such couplings exist if there exists a Schauder basis of $ \mathcal{W}$ which is also a $\mathcal{H}_μ $-orthonormal basis of $\mathcal{H}_μ $. We propose (and discuss some partial answers to) the question, to what extent can one express the probabilistic Banach space property "Brownian coupling at time $\infty$ is always possible" purely in terms of Banach space geometry?
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Coupling Polynomial Stratonovich Integrals: the two-dimensional Brownian case
Authors:
Sayan Banerjee,
Wilfrid S. Kendall
Abstract:
We show how to build an immersion coupling of a two-dimensional Brownian motion $(W_1, W_2)$ along with $\binom{n}{2} + n= \tfrac12n(n+1)$ integrals of the form $\int W_1^iW_2^j \circ dW_2$, where
$j=1,\ldots,n$ and $i=0, \ldots, n-j$ for some fixed $n$. The resulting construction is applied to the study of couplings of certain hypoelliptic diffusions (driven by two-dimensional Brownian motion u…
▽ More
We show how to build an immersion coupling of a two-dimensional Brownian motion $(W_1, W_2)$ along with $\binom{n}{2} + n= \tfrac12n(n+1)$ integrals of the form $\int W_1^iW_2^j \circ dW_2$, where
$j=1,\ldots,n$ and $i=0, \ldots, n-j$ for some fixed $n$. The resulting construction is applied to the study of couplings of certain hypoelliptic diffusions (driven by two-dimensional Brownian motion using polynomial vector fields). This work follows up previous studies concerning coupling of Brownian stochastic areas and time integrals (Ben Arous, Cranston and Kendall (1995), Kendall and Price (2004), Kendall (2007), Kendall (2009), Kendall (2013), Banerjee and Kendall (2015), Banerjee, Gordina and Mariano (2016)), and is part of an ongoing research programme aimed at gaining a better understanding of when it is possible to couple not only diffusions but also multiple selected integral functionals of the diffusions.
△ Less
Submitted 15 February, 2018; v1 submitted 3 May, 2017;
originally announced May 2017.
-
MEXIT: Maximal un-coupling times for stochastic processes
Authors:
P. A. Ernst,
W. S. Kendall,
G. O. Roberts,
J. S. Rosenthal
Abstract:
Classical coupling constructions arrange for copies of the \emph{same} Markov process started at two \emph{different} initial states to become equal as soon as possible. In this paper, we consider an alternative coupling framework in which one seeks to arrange for two \emph{different} Markov (or other stochastic) processes to remain equal for as long as possible, when started in the \emph{same} st…
▽ More
Classical coupling constructions arrange for copies of the \emph{same} Markov process started at two \emph{different} initial states to become equal as soon as possible. In this paper, we consider an alternative coupling framework in which one seeks to arrange for two \emph{different} Markov (or other stochastic) processes to remain equal for as long as possible, when started in the \emph{same} state. We refer to this "un-coupling" or "maximal agreement" construction as \emph{MEXIT}, standing for "maximal exit". After highlighting the importance of un-coupling arguments in a few key statistical and probabilistic settings, we develop an explicit \MEXIT construction for stochastic processes in discrete time with countable state-space. This construction is generalized to random processes on general state-space running in continuous time, and then exemplified by discussion of \MEXIT for Brownian motions with two different constant drifts.
△ Less
Submitted 30 December, 2018; v1 submitted 13 February, 2017;
originally announced February 2017.
-
A Dirichlet Form approach to MCMC Optimal Scaling
Authors:
Giacomo Zanella,
Wilfrid S. Kendall,
Mylène Bédard
Abstract:
This paper develops the use of Dirichlet forms to deliver proofs of optimal scaling results for Markov chain Monte Carlo algorithms (specifically, Metropolis-Hastings random walk samplers) under regularity conditions which are substantially weaker than those required by the original approach (based on the use of infinitesimal generators). The Dirichlet form methods have the added advantage of prov…
▽ More
This paper develops the use of Dirichlet forms to deliver proofs of optimal scaling results for Markov chain Monte Carlo algorithms (specifically, Metropolis-Hastings random walk samplers) under regularity conditions which are substantially weaker than those required by the original approach (based on the use of infinitesimal generators). The Dirichlet form methods have the added advantage of providing an explicit construction of the underlying infinite-dimensional context. In particular, this enables us directly to establish weak convergence to the relevant infinite-dimensional distributions.
△ Less
Submitted 6 April, 2017; v1 submitted 5 June, 2016;
originally announced June 2016.
-
Coupling the Kolmogorov Diffusion: maximality and efficiency considerations
Authors:
Sayan Banerjee,
Wilfrid S. Kendall
Abstract:
This is a case study concerning the rate at which probabilistic coupling occurs for nilpotent diffusions. We focus on the simplest case of Kolmogorov diffusion (Brownian motion together with its time integral, or, slightly more generally, together with a finite number of iterated time integrals). In this case there can be no Markovian maximal coupling. Indeed, Markovian couplings cannot even be ef…
▽ More
This is a case study concerning the rate at which probabilistic coupling occurs for nilpotent diffusions. We focus on the simplest case of Kolmogorov diffusion (Brownian motion together with its time integral, or, slightly more generally, together with a finite number of iterated time integrals). In this case there can be no Markovian maximal coupling. Indeed, Markovian couplings cannot even be efficient (extending the terminology of Burdzy and Kendall, Efficient Markovian couplings: examples and counterexamples; Annals of Applied Probability, 2000). Finally, at least in the classical case of a single time integral, it is not possible to choose a Markovian coupling that is optimal in the sense of simultaneously minimizing the probability of failing to couple by time t for all positive t. In recompense for all these negative results, we exhibit a simple efficient non-Markovian coupling.
△ Less
Submitted 9 February, 2016; v1 submitted 15 June, 2015;
originally announced June 2015.
-
Rigidity for Markovian Maximal Couplings of Elliptic Diffusions
Authors:
Sayan Banerjee,
Wilfrid S. Kendall
Abstract:
Maximal couplings are (probabilistic) couplings of Markov processes such that the tail probabilities of the coupling time attain the total variation lower bound (Aldous bound) uniformly for all time. Markovian (or immersion) couplings are couplings defined by strategies where neither process is allowed to look into the future of the other before making the next transition. Markovian couplings are…
▽ More
Maximal couplings are (probabilistic) couplings of Markov processes such that the tail probabilities of the coupling time attain the total variation lower bound (Aldous bound) uniformly for all time. Markovian (or immersion) couplings are couplings defined by strategies where neither process is allowed to look into the future of the other before making the next transition. Markovian couplings are typically easier to construct and analyze than general couplings, and play an important role in many branches of probability and analysis. Hsu and Sturm (2013) proved that the reflection-coupling of Brownian motion is the unique Markovian maximal coupling (MMC) of Brownian motions starting from two different points. Later, Kuwada (2009) proved that the existence of a MMC for Brownian motions on a Riemannian manifold enforces existence of a reflection structure on the manifold. In this work, we investigate suitably regular elliptic diffusions on manifolds, and show how consideration of the diffusion geometry (including dimension of the isometry group and flows of isometries) is fundamental in classification of the space and the generator of the diffusion for which an MMC exists, especially when the MMC also holds under local perturbations of the starting points for the coupled diffusions. We also describe such diffusions in terms of Killing vectorfields (generators of isometry groups) and dilation vectorfields (generators of scaling symmetry groups).
△ Less
Submitted 26 March, 2016; v1 submitted 8 December, 2014;
originally announced December 2014.
-
Barycentres and Hurricane Trajectories
Authors:
Wilfrid S. Kendall
Abstract:
The use of barycentres in data analysis is illustrated, using as example a dataset of hurricane trajectories.
The use of barycentres in data analysis is illustrated, using as example a dataset of hurricane trajectories.
△ Less
Submitted 18 October, 2014; v1 submitted 27 June, 2014;
originally announced June 2014.
-
From Random Lines to Metric Spaces
Authors:
Wilfrid S. Kendall
Abstract:
Consider an improper Poisson line process, marked by positive speeds so as to satisfy a scale-invariance property (actually, scale-equivariance). The line process can be characterized by its intensity measure, which belongs to a one-parameter family if scale and Euclidean invariance are required. This paper investigates a proposal by Aldous, namely that the line process could be used to produce a…
▽ More
Consider an improper Poisson line process, marked by positive speeds so as to satisfy a scale-invariance property (actually, scale-equivariance). The line process can be characterized by its intensity measure, which belongs to a one-parameter family if scale and Euclidean invariance are required. This paper investigates a proposal by Aldous, namely that the line process could be used to produce a scale-invariant random spatial network (SIRSN) by means of connecting up points using paths which follow segments from the line process at the stipulated speeds. It is shown that this does indeed produce a scale-invariant network, under suitable conditions on the parameter; indeed that this produces a parameter-dependent random geodesic metric for d-dimensional space ($d\geq2$), where geodesics are given by minimum-time paths. Moreover in the planar case it is shown that the resulting geodesic metric space has an almost-everywhere-unique-geodesic property, that geodesics are locally of finite mean length, and that if an independent Poisson point process is connected up by such geodesics then the resulting network places finite length in each compact region. It is an open question whether the result is a SIRSN (in Aldous' sense; so placing finite mean length in each compact region), but it may be called a pre-SIRSN.
△ Less
Submitted 16 April, 2014; v1 submitted 5 March, 2014;
originally announced March 2014.
-
Perfect Simulation of $M/G/c$ Queues
Authors:
Stephen B. Connor,
Wilfrid S. Kendall
Abstract:
In this paper we describe a perfect simulation algorithm for the stable $M/G/c$ queue. Sigman (2011: Exact Simulation of the Stationary Distribution of the FIFO M/G/c Queue. Journal of Applied Probability, 48A, 209--213) showed how to build a dominated CFTP algorithm for perfect simulation of the super-stable $M/G/c$ queue operating under First Come First Served discipline, with dominating process…
▽ More
In this paper we describe a perfect simulation algorithm for the stable $M/G/c$ queue. Sigman (2011: Exact Simulation of the Stationary Distribution of the FIFO M/G/c Queue. Journal of Applied Probability, 48A, 209--213) showed how to build a dominated CFTP algorithm for perfect simulation of the super-stable $M/G/c$ queue operating under First Come First Served discipline, with dominating process provided by the corresponding $M/G/1$ queue (using Wolff's sample path monotonicity, which applies when service durations are coupled in order of initiation of service), and exploiting the fact that the workload process for the $M/G/1$ queue remains the same under different queueing disciplines, in particular under the Processor Sharing discipline, for which a dynamic reversibility property holds. We generalize Sigman's construction to the stable case by comparing the $M/G/c$ queue to a copy run under Random Assignment. This allows us to produce a naive perfect simulation algorithm based on running the dominating process back to the time it first empties. We also construct a more efficient algorithm that uses sandwiching by lower and upper processes constructed as coupled $M/G/c$ queues started respectively from the empty state and the state of the $M/G/c$ queue under Random Assignment. A careful analysis shows that appropriate ordering relationships can still be maintained, so long as service durations continue to be coupled in order of initiation of service. We summarize statistical checks of simulation output, and demonstrate that the mean run-time is finite so long as the second moment of the service duration distribution is finite.
△ Less
Submitted 1 December, 2015; v1 submitted 28 February, 2014;
originally announced February 2014.
-
Return to the Poissonian City
Authors:
Wilfrid S. Kendall
Abstract:
Consider the following random spatial network: in a large disk, construct a network using a stationary and isotropic Poisson line process of unit intensity. Connect pairs of points using the network, with initial / final segments of the connecting path formed by travelling off the network in the opposite direction to that of the destination / source. Suppose further that connections are establishe…
▽ More
Consider the following random spatial network: in a large disk, construct a network using a stationary and isotropic Poisson line process of unit intensity. Connect pairs of points using the network, with initial / final segments of the connecting path formed by travelling off the network in the opposite direction to that of the destination / source. Suppose further that connections are established using "near-geodesics", constructed between pairs of points using the perimeter of the cell containing these two points and formed using only the Poisson lines not separating them. If each pair of points generates an infinitesimal amount of traffic divided equally between the two connecting near-geodesics, and if the Poisson line pattern is conditioned to contain a line through the centre, then what can be said about the total flow through the centre? In earlier work ("Geodesics and flows in a Poissonian city", Annals of Applied Probability, 21(3), 801--842, 2011) it was shown that a scaled version of this flow had asymptotic distribution given by the 4-volume of a region in 4-space, constructed using an improper anisotropic Poisson line process in an infinite planar strip. Here we construct a more amenable representation in terms of two "seminal curves" defined by the improper Poisson line process, and establish results which produce a framework for effective simulation from this distribution up to an L1 error which tends to zero with increasing computational effort.
△ Less
Submitted 31 October, 2014; v1 submitted 29 September, 2013;
originally announced September 2013.
-
Coupling, local times, immersions
Authors:
Wilfrid S. Kendall
Abstract:
This paper answers a question of Émery [In Séminaire de Probabilités XLII (2009) 383-396 Springer] by constructing an explicit coupling of two copies of the Beneš et al. [In Applied Stochastic Analysis (1991) 121-156 Gordon & Breach] diffusion (BKR diffusion), neither of which starts at the origin, and whose natural filtrations agree. The paper commences by surveying probabilistic coupling, introd…
▽ More
This paper answers a question of Émery [In Séminaire de Probabilités XLII (2009) 383-396 Springer] by constructing an explicit coupling of two copies of the Beneš et al. [In Applied Stochastic Analysis (1991) 121-156 Gordon & Breach] diffusion (BKR diffusion), neither of which starts at the origin, and whose natural filtrations agree. The paper commences by surveying probabilistic coupling, introducing the formal definition of an immersed coupling (the natural filtration of each component is immersed in a common underlying filtration; such couplings have been described as co-adapted or Markovian in older terminologies) and of an equi-filtration coupling (the natural filtration of each component is immersed in the filtration of the other; consequently the underlying filtration is simultaneously the natural filtration for each of the two coupled processes). This survey is followed by a detailed case-study of the simpler but potentially thematic problem of coupling Brownian motion together with its local time at $0$. This problem possesses its own intrinsic interest as well as being closely related to the BKR coupling construction. Attention focusses on a simple immersed (co-adapted) coupling, namely the reflection/synchronized coupling. It is shown that this coupling is optimal amongst all immersed couplings of Brownian motion together with its local time at $0$, in the sense of maximizing the coupling probability at all possible times, at least when not started at pairs of initial points lying in a certain singular set. However numerical evidence indicates that the coupling is not a maximal coupling, and is a simple but non-trivial instance for which this distinction occurs. It is shown how the reflection/synchronized coupling can be converted into a successful equi-filtration coupling, by modifying the coupling using a deterministic time-delay and then by concatenating an infinite sequence of such modified couplings. The construction of an explicit equi-filtration coupling of two copies of the BKR diffusion follows by a direct generalization, although the proof of success for the BKR coupling requires somewhat more analysis than in the local time case.
△ Less
Submitted 3 June, 2015; v1 submitted 7 December, 2012;
originally announced December 2012.
-
Rubber Bands, Pursuit Games and Shy Couplings
Authors:
Maury Bramson,
Krzysztof Burdzy,
Wilfrid Kendall
Abstract:
In this paper, we consider pursuit-evasion and probabilistic consequences of some geometric notions for bounded and suitably regular domains in Euclidean space that are CAT(kappa) for some kappa > 0. These geometric notions are useful for analyzing the related problems of (a) existence/nonexistence of successful evasion strategies for the Man in Lion and Man problems, and (b) existence/nonexistenc…
▽ More
In this paper, we consider pursuit-evasion and probabilistic consequences of some geometric notions for bounded and suitably regular domains in Euclidean space that are CAT(kappa) for some kappa > 0. These geometric notions are useful for analyzing the related problems of (a) existence/nonexistence of successful evasion strategies for the Man in Lion and Man problems, and (b) existence/nonexistence of shy couplings for reflected Brownian motions. They involve properties of rubber bands and the extent to which a loop in the domain in question can be deformed to a point without, in between, increasing its loop length. The existence of a stable rubber band will imply the existence of a successful evasion strategy but, if all loops in the domain are well-contractible, then no successful evasion strategy will exist and there can be no co-adapted shy coupling. For example, there can be no shy couplings in bounded and suitably regular star-shaped domains and so, in this setting, any two reflected Brownian motions must almost surely make arbitrarily close encounters as t tends to infinity.
△ Less
Submitted 3 July, 2012;
originally announced July 2012.
-
Limit theorems for empirical Fréchet means of independent and non-identically distributed manifold-valued random variables
Authors:
Wilfrid S. Kendall,
Huiling Le
Abstract:
We prove weak laws of large numbers and central limit theorems of Lindeberg type for empirical centres of mass (empirical Fréchet means) of independent non-identically distributed random variables taking values in Riemannian manifolds. In order to prove these theorems we describe and prove a simple kind of Lindeberg-Feller central approximation theorem for vector-valued random variables, which may…
▽ More
We prove weak laws of large numbers and central limit theorems of Lindeberg type for empirical centres of mass (empirical Fréchet means) of independent non-identically distributed random variables taking values in Riemannian manifolds. In order to prove these theorems we describe and prove a simple kind of Lindeberg-Feller central approximation theorem for vector-valued random variables, which may be of independent interest and is therefore the subject of a self-contained section. This vector-valued result allows us to clarify the number of conditions required for the central limit theorem for empirical Fréchet means, while extending its scope.
△ Less
Submitted 28 June, 2011; v1 submitted 1 February, 2011;
originally announced February 2011.
-
Shy couplings, CAT(0) spaces, and the lion and man
Authors:
Maury Bramson,
Krzysztof Burdzy,
Wilfrid Kendall
Abstract:
Two random processes X and Y on a metric space are said to be $\varepsilon$-shy coupled if there is positive probability of them staying at least a positive distance $\varepsilon$ apart from each other forever. Interest in the literature centres on nonexistence results subject to topological and geometric conditions; motivation arises from the desire to gain a better understanding of probabilistic…
▽ More
Two random processes X and Y on a metric space are said to be $\varepsilon$-shy coupled if there is positive probability of them staying at least a positive distance $\varepsilon$ apart from each other forever. Interest in the literature centres on nonexistence results subject to topological and geometric conditions; motivation arises from the desire to gain a better understanding of probabilistic coupling. Previous nonexistence results for co-adapted shy coupling of reflected Brownian motion required convexity conditions; we remove these conditions by showing the nonexistence of shy co-adapted couplings of reflecting Brownian motion in any bounded CAT(0) domain with boundary satisfying uniform exterior sphere and interior cone conditions, for example, simply-connected bounded planar domains with $C^2$ boundary. The proof uses a Cameron-Martin-Girsanov argument, together with a continuity property of the Skorokhod transformation and properties of the intrinsic metric of the domain. To this end, a generalization of Gauss' lemma is established that shows differentiability of the intrinsic distance function for closures of CAT(0) domains with boundaries satisfying uniform exterior sphere and interior cone conditions. By this means, the shy coupling question is converted into a Lion and Man pursuit-evasion problem.
△ Less
Submitted 15 March, 2013; v1 submitted 19 July, 2010;
originally announced July 2010.
-
Coupling time distribution asymptotics for some couplings of the Levy stochastic area
Authors:
Wilfrid S. Kendall
Abstract:
We exhibit some explicit co-adapted couplings for n-dimensional Brownian motion and all its Levy stochastic areas. In the two-dimensional case we show how to derive exact asymptotics for the coupling time under various mixed coupling strategies, using Dufresne's formula for the distribution of exponential functionals of Brownian motion. This yields quantitative asymptotics for the distributions…
▽ More
We exhibit some explicit co-adapted couplings for n-dimensional Brownian motion and all its Levy stochastic areas. In the two-dimensional case we show how to derive exact asymptotics for the coupling time under various mixed coupling strategies, using Dufresne's formula for the distribution of exponential functionals of Brownian motion. This yields quantitative asymptotics for the distributions of random times required for certain simultaneous couplings of stochastic area and Brownian motion. The approach also applies to higher dimensions, but will then lead to upper and lower bounds rather than exact asymptotics.
△ Less
Submitted 23 February, 2010;
originally announced February 2010.
-
Geodesics and flows in a Poissonian city
Authors:
Wilfrid S. Kendall
Abstract:
The stationary isotropic Poisson line process was used to derive upper bounds on mean excess network geodesic length in Aldous and Kendall [Adv. in Appl. Probab. 40 (2008) 1-21]. The current paper presents a study of the geometry and fluctuations of near-geodesics in the network generated by the line process. The notion of a "Poissonian city" is introduced, in which connections between pairs of no…
▽ More
The stationary isotropic Poisson line process was used to derive upper bounds on mean excess network geodesic length in Aldous and Kendall [Adv. in Appl. Probab. 40 (2008) 1-21]. The current paper presents a study of the geometry and fluctuations of near-geodesics in the network generated by the line process. The notion of a "Poissonian city" is introduced, in which connections between pairs of nodes are made using simple "no-overshoot" paths based on the Poisson line process. Asymptotics for geometric features and random variation in length are computed for such near-geodesic paths; it is shown that they traverse the network with an order of efficiency comparable to that of true network geodesics. Mean characteristics and limiting behavior at the center are computed for a natural network flow. Comparisons are drawn with similar network flows in a city based on a comparable rectilinear grid. A concluding section discusses several open problems.
△ Less
Submitted 7 November, 2012; v1 submitted 27 October, 2009;
originally announced October 2009.
-
Brownian couplings, convexity, and shy-ness
Authors:
Wilfrid S. Kendall
Abstract:
Benjamini, Burdzy and Chen (2007) introduced the notion of a shy coupling: a coupling of a Markov process such that, for suitable starting points, there is a positive chance of the two component processes of the coupling staying a positive distance away from each other for all time. Among other results, they showed no shy couplings could exist for reflected Brownian motions in C^2 bounded convex…
▽ More
Benjamini, Burdzy and Chen (2007) introduced the notion of a shy coupling: a coupling of a Markov process such that, for suitable starting points, there is a positive chance of the two component processes of the coupling staying a positive distance away from each other for all time. Among other results, they showed no shy couplings could exist for reflected Brownian motions in C^2 bounded convex planar domains whose boundaries contain no line segments. Here we use potential-theoretic methods to extend this Benjamini et al. result (a) to all bounded convex domains (whether planar and smooth or not) whose boundaries contain no line segments, (b) to all bounded convex planar domains regardless of further conditions on the boundary.
△ Less
Submitted 25 November, 2009; v1 submitted 26 September, 2008;
originally announced September 2008.
-
Correction. Perfect simulation for a class of positive recurrent Markov chains
Authors:
Stephen B. Connor,
Wilfrid S. Kendall
Abstract:
Correction to Annals of Applied Probability 17 (2007) 781--808 [doi:10.1214/105051607000000032].
Correction to Annals of Applied Probability 17 (2007) 781--808 [doi:10.1214/105051607000000032].
△ Less
Submitted 6 November, 2007;
originally announced November 2007.
-
Short-length routes in low-cost networks via Poisson line patterns
Authors:
David J. Aldous,
Wilfrid S. Kendall
Abstract:
In designing a network to link n cities in a square of area n, one might be guided by the following two desiderata. First, the total network length should not be much greater than the length of the shortest network connecting all cities. Second, the average route length (taken over source-destination pairs) should not be much greater than the average straight-line distance. How small can we make…
▽ More
In designing a network to link n cities in a square of area n, one might be guided by the following two desiderata. First, the total network length should not be much greater than the length of the shortest network connecting all cities. Second, the average route length (taken over source-destination pairs) should not be much greater than the average straight-line distance. How small can we make these two differences? For typical configurations the shortest network length is order n and the average straight-line distance is order n^1/2, so it seems implausible that one can construct a network in which the first difference is o(n) and the second difference is o(n^1/2). But in fact one can do better: for an arbitrary configuration one can construct a network where the first difference is o(n) and the second difference is almost as small as O(log n). The construction is conceptually simple: over the minimum-length connected network (Steiner tree) superimpose a sparse stationary and isotropic Poisson line process. The key ingredient is a new result about the Poisson line process. Consider two points at distance r apart, and delete from the line process all lines which separate these two points. The resulting pattern of lines partitions the plane into cells; the cell containing the two points has mean boundary length 2r + C log r. Turning to lower bounds we show that, under a weak equidistribution assumption, if the first difference is O(n) then the second difference cannot be o(sqrt(log n)).
△ Less
Submitted 26 November, 2007; v1 submitted 4 January, 2007;
originally announced January 2007.
-
Perfect simulation for a class of positive recurrent Markov chains
Authors:
Stephen B. Connor,
Wilfrid S. Kendall
Abstract:
This paper generalizes the work of Kendall [Electron. Comm. Probab. 9 (2004) 140--151], which showed that perfect simulation, in the form of dominated coupling from the past, is always possible (although not necessarily practical) for geometrically ergodic Markov chains. Here, we consider the more general situation of positive recurrent chains and explore when it is possible to produce such a si…
▽ More
This paper generalizes the work of Kendall [Electron. Comm. Probab. 9 (2004) 140--151], which showed that perfect simulation, in the form of dominated coupling from the past, is always possible (although not necessarily practical) for geometrically ergodic Markov chains. Here, we consider the more general situation of positive recurrent chains and explore when it is possible to produce such a simulation algorithm for these chains. We introduce a class of chains which we name tame, for which we show that perfect simulation is possible.
△ Less
Submitted 31 July, 2007; v1 submitted 9 January, 2006;
originally announced January 2006.
-
Coupling all the Lévy stochastic areas of multidimensional Brownian motion
Authors:
Wilfrid S. Kendall
Abstract:
It is shown how to construct a successful co-adapted coupling of two copies of an $n$-dimensional Brownian motion $(B_1,...,B_n)$ while simultaneously coupling all corresponding copies of Lévy stochastic areas $\int B_i dB_j-\int B_j dB_i$. It is conjectured that successful co-adapted couplings still exist when the Lévy stochastic areas are replaced by a finite set of multiply iterated path- and…
▽ More
It is shown how to construct a successful co-adapted coupling of two copies of an $n$-dimensional Brownian motion $(B_1,...,B_n)$ while simultaneously coupling all corresponding copies of Lévy stochastic areas $\int B_i dB_j-\int B_j dB_i$. It is conjectured that successful co-adapted couplings still exist when the Lévy stochastic areas are replaced by a finite set of multiply iterated path- and time-integrals, subject to algebraic compatibility of the initial conditions.
△ Less
Submitted 30 July, 2007; v1 submitted 14 December, 2005;
originally announced December 2005.
-
Geometric Ergodicity and Perfect Simulation
Authors:
Wilfrid S. Kendall
Abstract:
This note extends the work of Foss and Tweedie (1997), who showed that availability of the classic Coupling from The Past algorithm of Propp and Wilson (1996) is essentially equivalent to uniform ergodicity for a Markov chain (see also HobertRobert, 2004). In this note we show that all geometrically ergodic chains possess dominated Coupling from The Past algorithms (not necessarily practical!) w…
▽ More
This note extends the work of Foss and Tweedie (1997), who showed that availability of the classic Coupling from The Past algorithm of Propp and Wilson (1996) is essentially equivalent to uniform ergodicity for a Markov chain (see also HobertRobert, 2004). In this note we show that all geometrically ergodic chains possess dominated Coupling from The Past algorithms (not necessarily practical!) which are rather closely connected to Foster-Lyapunov criteria.
△ Less
Submitted 1 October, 2004;
originally announced October 2004.
