Related papers: A Constructive Brownian Limit Theorem

We give a new, simpler proof of a compactness result in $GSBD^p$, $p>1$, by the same authors, which is also valid in $GBD$ (the case $p=1$), and shows that bounded sequences converge a.e., after removal of a suitable sequence of piecewise…

Let $H[X]$ and $H[Y]$ be abstract Hardy spaces built upon Banach function spaces $X$ and $Y$ over the unit circle $\mathbb{T}$. We prove an analogue of the Brown-Halmos theorem for Toeplitz operators $T_a$ acting from $H[X]$ to $H[Y]$ under…

Under an appropriate regular variation condition, the affinely normalized partial sums of a sequence of independent and identically distributed random variables converges weakly to a non-Gaussian stable random variable. A functional version…

We condition a Brownian motion with arbitrary starting point $y \in \mathbb{R}$ on spending at most $1$ time unit below $0$ and provide an explicit description of the resulting process. In particular, we provide explicit formulas for the…

Cantor's diagonal method is traditionally used to prove the uncountability of the set of all infinite binary sequences. This paper analyzes the expressive limits of this method. It is shown that under any constructive application --…

We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…

Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…

This paper aims to obtain decompositions of higher dimensional $L^p(\mathbb{R}^n)$ functions into sums of non-tangential boundary limits of the corresponding Hardy space functions on tubes for the index range $0<p<1$. In the one-dimensional…

In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light of the gap between the proof equivalences enforced by the lambda calculi from the literature and by the recently defined winning strategies…

We extend the notion of effective resistance to metric spaces that are similar to graphs but can also be similar to fractals. Combined with other basic facts proved in the paper, this lays the ground for a construction of Brownian Motion on…

We study a system of branching Brownian motions on $\mathbb R$ with annihilation: at each branching time a new particle is created and the leftmost one is deleted. In [7] it has been studied the case of strictly local creations (the new…

In a recent article by Farah and the authors, a strong lifting theorem was proved for a class of coordinate-respecting maps between reduced products of discrete structures, hereby working under mild Forcing Axioms. We generalise this…

We prove sandwich theorems and a Tauberian theorem in the space of compact metric measure spaces, endowed with the Gromov-Hausdorff-Prokhorov (GHP) topology. These results hold with respect to a close relative of Gromov's Lipschitz order.…

Subsequent to our recent work on Fourier spectrum characterization of Hardy spaces $H^p(\mathbb{R})$ for the index range $1\leq p\leq \infty,$ in this paper we prove further results on rational Approximation, integral representation and…

We study some limit theorems for the normalized law of integrated Brownian motion perturbed by several examples of functionals: the first passage time, the nth passage time, the last passage time up to a finite horizon and the supremum. We…

We prove that a function definable with parameters in an o-minimal structure is bounded away from infinity as its argument goes to infinity by a function definable without parameters, and that this new function can be chosen independently…

Geodesic balls in a simply connected space forms $\mathbb{S}^n$, $\mathbb{R}^{n}$ or $\mathbb{H}^{n}$ are distinguished manifolds for comparison in bounded Riemannian geometry. In this paper we show that they have the maximum possible…

One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is locally uniformly continuous. This fact can be viewed as…

This paper discusses limitations of reflexive and diagonal arguments as methods of proof of limitative theorems (e.g. G\"odel's theorem on Entscheidungsproblem, Turing's halting problem or Chaitin-G\"odel's theorem). The fact, that a formal…

In this paper, by modifying the arguments in \cite{WY}, we get some rigidity theorems on compact manifolds with nonempty boundary. The results in this paper are similar with those in \cite{ST} and \cite{WY}. Like \cite{ST} and \cite{WY}, we…