Related papers: A Constructive Brownian Limit Theorem

It is well known that freeness appears in the high-dimensional limit of independence for matrices. Thus, for instance, the additive free Brownian motion can be seen as the limit of the Brownian motion on hermitian matrices. More generally,…

All constructive methods employed in modern mathematics produce only countable sets, even when designed to transcend countability. We show that any constructive argument for uncountability -- excluding diagonalization techniques --…

It is a classical theorem that if a function is integrable along the boundary of the unit circle, then the function is the nontangential limit of a holomorphic function on the open disc if and only if its Fourier coefficients for…

We prove a functional limit theorem for Markov chains that, in each step, move up or down by a possibly state dependent constant with probability $1/2$, respectively. The theorem entails that the law of every one-dimensional regular…

We prove the central limit theorem of random variables induced by distances to Brownian paths and Green functions on the universal cover of Riemannian manifolds of finite volume with pinched negative curvature. We further provide some…

We investigate bounds in Ramsey's theorem for relations definable in NIP structures. Applying model-theoretic methods to finitary combinatorics, we generalize a theorem of Bukh and Matousek [B. Bukh, J. Matou\v{s}ek.…

The Lovasz Local Lemma [EL75] is a powerful tool to non-constructively prove the existence of combinatorial objects meeting a prescribed collection of criteria. In his breakthrough paper [Bec91], Beck demonstrated that a constructive…

Fix an integer $p\geq 1$ and refer to it as the number of growing domains. For each $i\in\{1,\ldots,p\}$, fix a compact subset $D_i\subseteq\mathbb R^{d_i}$ where $d_1,\ldots,d_p\ge 1$. Let $d= d_1+\dots+d_{p}$ be the total underlying…

We study a space-time Brownian motion with drift B(t)=(t_0+t,y_0+W(t)+t) killed at the moving boundary of the cone {(t,x):0<x<t}. This article determines the parabolic Martin boundary and all harmonic functions associated with this process.…

In this paper we consider Kakutani's extension of the Brouwer fixed point theorem within the framework of Bishop's constructive mathematics. Kakutani's fixed point theorem is classically equivalent to Brouwer's fixed point theorem. The…

We prove that minimal graphs (other than planes) are parabolic in the sense that any bounded harmonic function is determined by its boundary values. The proof relies on using the coupling introduced in the author's earlier paper "A…

We provide a rigorous derivation of the brownian motion as the limit of a deterministic system of hard-spheres as the number of particles $N$ goes to infinity and their diameter $\varepsilon$ simultaneously goes to $0$, in the fast…

{Let $B=(B_1(t),...,B_d(t))$ be a $d$-dimensional fractional Brownian motion with Hurst index $\alpha<1/4$, or more generally a Gaussian process whose paths have the same local regularity. Defining properly iterated integrals of $B$ is a…

In this paper, we are concerned with the large N limit of linear combinations of the entries of a Brownian motion on the group of N by N unitary matrices. We prove that the process of such a linear combination converges to a Gaussian one.…

We prove fractional boundary Hardy's inequality in dimension one for the critical case $sp =1$. Optimality of the inequality is obtained for any $p$. The extra logarithmic correction term appears in usual fashion. We also provide a concrete…

In two recent papers [5] and [6], we generalized some classical results of Harmonic Analysis using probabilistic approach by means of a d- dimensional rotationally symmetric stable process. These results allow one to discuss some…

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…

When the limiting compensator of a sequence of martingales is continuous, we obtain a weak convergence theorem for the martingales; the limiting process can be written as a Brownian motion evaluated at the compensator and we find sufficient…

We prove a central limit theorem for an additive functional of the $d$-dimensional fractional Brownian motion with Hurst index $H\in(\frac{1}{1+d},\frac{1}{d})$, using the method of moments, extending the result by Papanicolaou, Stroock and…

We study a Gibbs measure over Brownian motion with a pair potential which depends only on the increments. Assuming a particular form of this pair potential, we establish that in the infinite volume limit the Gibbs measure can be viewed as…