We start from a discrete random variable, , defined on and taking on values with equal probability—any member of a certain family whose simplest member is the Rademacher random variable (with domain ), whose constant value on is . We create (via left-shifts) independent copies, , of and let . We let be the quantile of . If is Rademacher, the sequence is the equiprobable random walk on with domain . In the general case, follows a multinomial distribution and as varies over the family, the resulting family of multinomial distributions is sufficiently rich to capture the full generality of situations where the Central Limit Theorem applies.
The provide a representation of that is strong in that their sum is equal to pointwise. They represent only in distribution. Are there strong representations of ? We establish the affirmative answer, and our proof gives a canonical bijection between, on the one hand, the set of all strong representations with the additional property of being trim and, on the other hand, the set of permutations, , of , with the property that we call admissibility. Passing to sequences, , of admissible permutations, these provide a complete classification of trim, strong triangular array representations of the sequence . We explicitly construct two sequences of admissible permutations which are polynomial time computable, relative to a function which embodies the complexity of itself. The trim, strong triangular array representation corresponding to the second of these is as close as possible to the representation of provided by the .
"Polynomial time relatively computable triangular arrays for almost sure convergence." Illinois J. Math. 63 (2) 219 - 257, August 2019. https://doi.org/10.1215/00192082-7768719