Anton Vuerinckx | Searcharxiv

arXiv2022

Central Limit Theorems for Martin-Löf Random Numbers

We prove two theorems related to the Central Limit Theorem (CLT) for Martin-Löf Random (MLR) sequences. Martin-Löf randomness attempts to capture what it means for a sequence of bits to be "truly random". By contrast, CLTs do not make assertions about the behavior of a single random sequence, but only on the distributional behavior of a sequence of random variables. Semantically, we usually interpret CLTs as assertions about the collective behavior of infinitely many sequences. Yet, our intuition is that if a sequence of bits is "truly random", then it should provide a "source of randomness" for which CLT-type results should hold. We tackle this difficulty by using a sampling scheme that generates an infinite number of samples from a single binary sequence. We show that when we apply this scheme to a Martin-Löf random sequence, the empirical moments and cumulative density functions (CDF) of these samples tend to their corresponding counterparts for the normal distribution. We also prove the well known almost sure central limit theorem (ASCLT), which provides an alternative, albeit less intuitive, answer to this question. Both results are also generalized for Schnorr random sequences.

math.PR↗

arXiv2018

Multiple Hermite polynomials and simultaneous Gaussian quadrature

Multiple Hermite polynomials are an extension of the classical Hermite polynomials for which orthogonality conditions are imposed with respect to $r>1$ normal (Gaussian) weights $w_j(x)=e^{-x^2+c_jx}$ with different means $c_j/2$, $1 \leq j \leq r$. These polynomials have a number of properties, such as a Rodrigues formula, recurrence relations (connecting polynomials with nearest neighbor multi-indices), a differential equation, etc. The asymptotic distribution of the (scaled) zeros is investigated and an interesting new feature happens: depending on the distance between the $c_j$, $1 \leq j \leq r$, the zeros may accumulate on $s$ disjoint intervals, where $1 \leq s \leq r$. We will use the zeros of these multiple Hermite polynomials to approximate integrals of the form $\displaystyle \int_{-\infty}^{\infty} f(x) \exp(-x^2 + c_jx)\, dx$ simultaneously for $1 \leq j \leq r$ for the case $r=3$ and the situation when the zeros accumulate on three disjoint intervals. We also give some properties of the corresponding quadrature weights.

math.CA↗