Related papers: A Constructive Brownian Limit Theorem

Let $M$ be a complete simply connected manifold which is in addition Gromov hyperbolic, coercive and roughly starlike. For a given harmonic function on $M$, a local Fatou Theorem and a pointwise criteria of non-tangential convergence coming…

A range of Hardy-like spaces of ordinary Dirichlet series, called the Dirichlet-Hardy spaces $\Hp^p$, $p \geq 1$, have been the focus of increasing interest among researchers following a paper of Hedenmalm, Lindqvist and Seip in Duke Math.…

Let v be a bounded function with bounded support in R^d, d>=3. Let x,y in R^d. Let Z(t) denote the path integral of v along the path of a Brownian bridge in R^d which runs for time t, starting at x and ending at y. As t->infty, it is…

Using pseudoholomorphic curves techniques from symplectic geometry, Barney Bramham proved recently that every smooth irrational pseudo-rotation of the unit disk is the limit, for the $C^0$ topology, of a sequence of smooth periodic…

In arXiv:1609.05666v1 [math.PR] a functional limit theorem was proved. It states that symmetric processes associated with resistance metric measure spaces converge when the underlying spaces converge with respect to the…

In this paper, we extend the central limit theorem of the additive functional of the nearest-neighbor zero-range process given in \cite{Quastel2002} to the long-range case. Our main results show that in several cases the limit processes are…

First, we prove a \emph{local almost sure central limit theorem} for lattice random walks in the plane. The corresponding version for random walks in the line was considered by the author in \cite{5}. This gives us a quantitative version of…

In this paper we introduce three Markovian couplings of Brownian motions on smooth Riemannian manifolds without boundary which sit at the crossroad of two concepts. The first concept is the one of shy coupling put forward in…

We study boundary inference at $H=3/4$ for mixed fractional Brownian motion and mixed fractional Ornstein--Uhlenbeck models under high-frequency observation. This boundary is economically important because it separates the critical and…

We establish uniform bounds on the multiplicities of irreducible admissible representations appearing in spaces of functions on symmetric spaces over $p$-adic fields. These multiplicities can exceed one and depend intricately on the group,…

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach (which has been the…

Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us that a closed bounded subset of Euclidean space R is…

We prove a robust converse barrier function theorem via the converse Lyapunov theory. While the use of a Lyapunov function as a barrier function is straightforward, the existence of a converse Lyapunov function as a barrier function for a…

A result of R. Durrett, D. Iglehart and D. Miller states that Brownian meander is Brownian motion conditioned to stay positive for a unit of time, in the sense that it is the weak limit, as $x$ goes to 0, of Brownian motion started at $x>0$…

For domains in $\mathbb{R}^d$, $d\geq 2$, we prove universal upper and lower bounds on the product of the bottom of the spectrum for the Laplacian to the power $p>0$ and the supremum over all starting points of the $p$-moments of the exit…

This paper investigates the concept of harmonic functions of bounded mean oscillation, starting from John-Nirenberg's pioneering studies, under a renewed formalism, suitable for bringing out some fundamental properties inherent in it. In…

In this note, we combine the two approaches of Billingsley (1998) and Cs\H{o}rg\H{o} and R\'ev\'esz (1980), to provide a detailed sequential and descriptive for creating s standard Brownian motion, from a Brownian motion whose time space is…

We prove two-sided bounds on the expected values of several geometric functionals of the convex hull of Brownian motion in $\mathbb{R}^n$ and their inverse processes. This extends some recent results of McRedmond and Xu (2017),…

We give a purely syntactical proof of the fixed point theorem for Sacchetti's modal logics ${\bf K} + \Box(\Box^n p \to p) \to \Box p$ ($n \geq 2$) of provability. From our proof, an effective procedure for constructing fixed points in…

Consider a short theorem, i.e. one that can be written down using just a few symbols. Can its shortest proof be arbitrarily long? We answer this question in the negative. Inspired by arguments by Calude et al (1999) and Chaitin (1984) that…