Regularities in the distribution of special sequences (Q788039)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Regularities in the distribution of special sequences
scientific article

    Statements

    Regularities in the distribution of special sequences (English)
    0 references
    0 references
    1984
    0 references
    For a given sequence \(\omega =(x(k))^{\infty}_{k=0}\) of points in \(U^ s=[0,1)^ s\), let \(S(\omega)\) denote the set of all subintervals \(J\) of \(U^ s\) with bounded discrepancy function, i.e. with \[ \sup_{n}| \sum^{n-1}_{k=0}(c_ J(x(k))-m(J))|<\infty, \] where \(c_ J\) is the characteristic function of \(J\) and \(m\) is the \(s\)-dimensional Lebesgue measure. \textit{W.~M. Schmidt} [Trans. Am. Math. Soc. 198, 1--22 (1974; Zbl 0278.10036)] showed that for any sequence \(\omega\) the set \(\{m(J): J\in S(\omega)\}\) is at most countable. The problem of determining \(S(\omega)\) explicitly has been studied for various special sequences \(\omega\). In this paper the problem is considered for a class of generalized Halton sequences that are defined as follows. For \(1\leq i\leq s\) let \(q_ i=(q_ i(k))^{\infty}_{k=1}\) be a sequence of integers \(\geq 2\). Define \(p_ i(0)=1\) and \(p_ i(g)=q_ i(1)...q_ i(g)\) for all positive integers \(g\). It is assumed that \(\gcd(p_ i(k),p_ j(k))=1\) for \(1\leq i<j\leq s\) and all positive integers \(k\). Any nonnegative integer \(k\) has a unique \(q_ i\)-adic representation \(k=\sum^{\infty}_{j=0}a_ i(j)p_ i(j)\) with digits \(a_ i(j)\in \{0,1,...,q_ i(j+1)-1\}\) for \(1\leq i\leq s\). Define the radical-inverse function \(\Phi_ i\) to the base \(q_ i\) by \(\Phi_ i(k)=\sum^{\infty}_{j=0}a_ i(j)/p_ i(j+1).\) If \(\Phi(k)=(\Phi_ 1(k),\dots,\Phi_ s(k)),\) then \(\omega =(\Phi(k))^{\infty}_{k=0}\) is a generalized Halton sequence in \(U^ s\). If \(q_ i(j)=q_ i\) for all \(j\), one obtains a Halton sequence in \(U^ s\). A further generalization is obtained by applying permutations \(\sigma_ i(j)\) of the sets \(\{0,1,\dots,q_ i(j+1)-1\}\) to the digits \(a_ i(j)\) in the definition of \(\Phi_ i(k)\), thus arriving at a so-called \(\Sigma\)-\(q\)-adic sequence in \(U^ s.\) If \(\omega\) is a \(\Sigma\)-\(q\)-adic sequence in \(U^ s\), then those \(J\in S(\omega)\) containing the origin are determined. For general elements \(J\) of \(S(\omega)\) a partial characterization is shown. In the case \(s=1\) the elements of \(S(\omega)\) are characterized completely. The proofs use methods from ergodic theory.
    0 references
    sigma-\(q\)-adic sequence
    0 references
    discrepancy
    0 references
    generalized Halton sequences
    0 references

    Identifiers