A pairwise independent random sampling method in the ring of \(p\)-adic integers (Q315857)

The authors produce sequences of \(p\)-adic numbers which are suitable for numerical integration of complex valued functions of a \(p\)-adic integer. This is accomplished by taking the so-called \(p\)-adic van der Corput sequence, \[ x_k = {d_0 \over p} + \cdots + {d_l \over p^{l+1}}, \] where \(k = d_0 + \cdots + d_l p^l\), picking \(x, \alpha \in {\mathbb Z}_p\) as uniformly distributed independent random variables and considering the random sequence \(\{x + \alpha x_k\}\). Of course, these need not be \(p\)-adic integers, and it is described how to extend the domain of a function \(f: {\mathbb Z}_p \rightarrow {\mathbb C}\) to all of \({\mathbb Q}_p\), so that it may be evaluated at the random sequence. The authors obtain several results on how sampling along such a sequence and taking averages will converge to the integral of \(f\) over \({\mathbb Z}_p\).