相关论文: A Constructive Brownian Limit Theorem

If $P$ is a lattice polytope (i.e., $P$ is the convex hull of finitely many integer points in $\mathbb{R}^d$) of dimension $d$, Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|nP \cap \mathbb{Z}^d|$ is a…

In this paper, we use purely complex analytic techniques to prove two results of the first author which were hitherto given only probabilistic proofs. A general form of the Phragm\'en-Lindel\"of principle states that if the…

We consider a stationary fluid queue with fractional Brownian motion input. Conditional on the workload at time zero being greater than a large value $b$, we provide the limiting distribution for the amount of time that the workload process…

Markov's principle is a statement that originated in the Russian school of Constructive Mathematics and stated originally that "if it is impossible that an algorithm does not terminate, then it will terminate". This principle has been…

We define Hardy spaces $H^p(\Omega_\pm)$ on half-strip domain~$\Omega_+$ and $\Omega_-= \mathbb{C}\setminus\overline{\Omega_+}$, where $0<p<\infty$, and prove that functions in $H^p(\Omega_\pm)$ has non-tangential boundary limit a.e. on…

In this paper, we give a short and self-contained proof to a 1991 conjecture by Moore concerning the structure of certain finite-dimensional Gromov--Hausdorff limits, in the ANR setting. As a consequence, one easily characterizes finite…

We prove an existence theorem for the sliding boundary variant of the Plateau problem for $2$-dimensional sets in $\mathbb{R}^n$. The simplest case of sufficient condition is when $n=3$ and the boundary $\Gamma$ is a finite disjoint union…

Let $\mathbb{B}_p^N$ be the $N$-dimensional unit ball corresponding to the $\ell_p$-norm. For each $N\in\mathbb N$ we sample a uniform random subspace $E_N$ of fixed dimension $m\in\mathbb{N}$ and consider the volume of $\mathbb{B}_p^N$…

In this study we consider the $\Gamma$-limit of a highly oscillatory Riemannian metric length functional as its period tends to 0. The metric coefficient takes values in either $\{1,\infty\}$ or $\{1,\beta \varepsilon^{-p}\}$ where…

Intuitionistic first-order logic extended with a restricted form of Markov's principle is constructive and admits a Curry-Howard correspondence, as shown by Herbelin. We provide a simpler proof of that result and then we study…

Previous results on certain sampling series have left open if divergence only occurs for certain subsequences or, in fact, in the limit. Here we prove that divergence occurs in the limit. We consider three canonical reconstruction methods…

We define the harmonic Bergman space on locally finite trees with respect to a suitable probabilistic Laplacian and a class of weighted flow measures. We characterise the corresponding Bergman projection and prove that it is bounded on…

A $p$-adic Brownian motion is a continuous time stochastic process in a $p$-adic state space that has a Vladimirov operator as its infinitesimal generator. The current work shows that any such process is the scaling limit of a discrete time…

We analyze strict positivity at the boundary for nonnegative solutions of Robin problems in general (non-smooth) domains, e.g. open sets with rectifiable topological boundaries having finite Hausdorff measure. This question was raised by…

Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…

A well-known result with respect to the one dimensional nearest-neighbor symmetric simple exclusion process is the convergence to fractional Brownian motion with Hurst parameter 1/4, in the sense of finite-dimensional distributions, of the…

We prove that, under a mild assumption, any metrizable compactification of a one-ended proper geodesic metric space is connected. As a consequence, we deduce that the boundary, introduced by Durham--Hagen--Sisto, of a one-ended…

This paper establishes a functional law of large numbers and a functional central limit theorem for marked Hawkes point measures and their corresponding shot noise processes. We prove that the normalized random measure can be approximated…

We introduce a version of discrete Morse theory specific for manifolds with boundary. The idea is to consider Morse functions for which all boundary cells are critical. We obtain "Relative Morse Inequalities" relating the homology of the…

A run of all failures, a run of all successes, or complete separation in a logistic regression each tempts the analyst to declare a probability of exactly zero or one. The central message of this paper is that all three phenomena share a…