Related papers: A Constructive Brownian Limit Theorem

A series expansion for Heckman-Opdam hypergeometric functions $\varphi_\lambda$ is obtained for all $\lambda \in \mathfrak a^*_{\mathbb C}.$ As a consequence, estimates for $\varphi_\lambda$ away from the walls of a Weyl chamber are…

We prove limit theorems for sums of randomly chosen random variables conditioned on the summands. We consider several versions of the corner growth setting, including specific cases of dependence amongst the summands and summands with heavy…

The \emph{Separation Lemma} is a simple yet powerful tool, akin to the well-known \emph{Isolation Lemma}, that guarantees the uniqueness of certain set sums. Bandopadhyay et al.\ introduced this lemma to establish lower bounds for the \ALP…

We prove that the action of the automorphism group of a building on its boundary is topologically amenable. The notion of boundary we use was defined in a previous paper \cite{CL}. It follows from this result that such groups have property…

The Rolling Ball Theorem asserts that given a convex body K in Euclidean space and having a smooth surface bd(K) with all principal curvatures not exceeding c>0 at all boundary points, K necessarily has the property that to each boundary…

By means of white noise analysis, we prove some limit theorems for nonlinear functionals of a given Volterra process. In particular, our results apply to fractional Brownian motion (fBm) and should be compared with the classical convergence…

In this paper we study some properties of the torsion function with Robin boundary conditions. Here we write the shape derivative of the $L^{\infty}$ and $L^p$ norms, for $p\ge 1$, of the torsion function, seen as a functional on a bounded…

Using the foundations laid down in Hardy and Harris (2006) ["A new formulation of the spine approach in branching diffusions", arXiv:math.PR/0611054], we present new spine proofs of the L^p-convergence p>=1) of some key `additive'…

Brouwer's fixed point theorem from 1911 is a basic result in topology - with a wealth of combinatorial and geometric consequences. In these lecture notes we present some of them, related to the game of HEX and to the piercing of multiple…

We extend the functional Breuer-Major theorem by Nourdin and Nualart (2020) to the space of rough paths. The proof of tightness combines the multiplication formula for iterated Malliavin divergences, due to Furlan and Gubinelli (2019), with…

Consider a planar Brownian motion run for finite time. The frontier or ``outer boundary'' of the path is the boundary of the unbounded component of the complement. Burdzy (1989) showed that the frontier has infinite length. We improve this…

In the present work we study classifiers' decision boundaries via Brownian motion processes in ambient data space and associated probabilistic techniques. Intuitively, our ideas correspond to placing a heat source at the decision boundary…

We established a hyperplane restriction theorem for the local holomorphic mappings between projective spaces, which is inspired by the corresponding theorem of Green for homogeneous ideals in polynomial rings. Our theorem allows us to give…

We prove some boundary rigidity results for the hemisphere under a lower bound for Ricci curvature. The main result can be viewed as the Ricci version of a conjecture of Min-Oo.

Let $Z$ be a subordinate Brownian motion in ${\mathbb R}^d$, $d\ge 2$, via a subordinator with Laplace exponent $\phi$. We kill the process $Z$ upon exiting a bounded open set $D\subset {\mathbb R}^d$ to obtain the killed process $Z^D$, and…

We introduce Z-stability, a notion capturing the intuition that if a function f maps a metric space into a normed space and if the norm of f(x) is small, then x is close to a zero of f. Working in Bishop's constructive setting, we first…

We prove a version of the Hopf-Rinow-theorem with respect to path metrics on discrete spaces. The novel aspect is that we do not a priori assume local finiteness but isolate a local finiteness type condition, called essential local…

We give a criterion for bounding the homological finiteness length of certain HF-groups. This is used in two distinct contexts. Firstly, the homological finiteness length of a non-uniform lattice on a locally finite n-dimensional…

All parallel algorithms for directed reachability and shortest paths crucially rely on efficient shortcut constructions. These constructions find directed paths and shortcut them by adding edges, with the goal to reduce the diameter of the…

This paper argues that mathematical objects are constructions and that constructions introduce a flexibility in the ways that mathematical objects are represented (as sets of binary sequences for example) and presented (in a particular…