On normal lattice configurations and simultaneously normal numbers
type: Item
instance of: scholarly article
title: On normal lattice configurations and simultaneously normal numbers
zbMATH Open document ID: 0999.11039
author: Mordechay B. Levin
published in: Journal de Théorie des Nombres de Bordeaux
publication date: 2002-07-24T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/93824
full work available at URL: jourelec
review text: Set \(F_{\mathbb{N}} = F_{N_1,\ldots,N_d} = \{ (f_1,\ldots,f_d)\in {\mathbb{N}}^d: 0\leq f_j < N_j\;(1\leq j\leq d)\}\). A \(d\)-dimensional lattice configuration \(\omega: {\mathbb{N}}^d \to \Delta = \{0,1,\ldots, q-1\}\) is called normal if every pattern \(G_{\mathbf h} = \{ g_{\mathbf i} = g_{i_1,\ldots,i_d} \in \Delta : 0\leq i_j < h_j\;(1\leq j\leq d) \}\) (with positive integers \(h_1,\ldots, h_d\)) is attained with the same asymptotic frequency: \[ \# \{ {\mathbf n} \in F_{\mathbb{N}}: \omega({\mathbf n} + {\mathbf i}) = g_{\mathbf i},\;({\mathbf i}\in F_{\mathbf h} \} = N_1\cdots N_d q^{-h_1\cdots h_d} + o(N_1\cdots N_d), \] where \(\max(N_1,\ldots, N_d)\to\infty\). This generalizes the notion of sequences which are normal to base \(q\). The first observation is that a two-dimensional lattice configuration \(\omega(m,n)\) is normal if and only if for every \(s\geq 1\) the double sequence \[ (\{\alpha_m q^n\},\ldots, \{\alpha_{m+s-1} q^n\})_{m,n\geq 1} \] is uniformly distributed in \([0,1)^s\), where \[ \alpha_m = \sum_{n=1}^\infty \omega(m,n) q^{-n}. \] Thus, the behaviour of the (\(s\)-dimensional) discrepancy \(D_{N,M}\) of the sequence \[ (\{\alpha_m q^n\},\ldots, \{\alpha_{m+s-1} q^n\})_{m\leq M,n\leq N} \] may be considered as a quantitative measure for \(\omega\) being normal. The main purpose of the paper is now to construct (more or less explicitly) numbers \(\alpha_m\) of the above form such that the discrepancy is bounded by \[ D_{M,N} = O((MN)^{-1}(\log MN)^{2s+4}\log^2 \log (MN)) \] (and a similar construction if one uses different \(q\)-s). This bound is much better than previously known ones and optimal despite logarithmic factors. The proof is based on Erdős-Turán-Koksma's inequality and is very technical and involved.
reviewed by: Michael Drmota
Mathematics Subject Classification ID: 11K16
Mathematics Subject Classification ID: 11K06
zbMATH DE Number: 1770783
zbMATH Keywords: normal numbers
zbMATH Keywords: two-dimensional lattice configuration
zbMATH Keywords: \(s\)-dimensional discrepancy
MaRDI profile type: Publication
OpenAlex ID: W2023177833
cites work: Asymptotische Verteilung reeller Zahlen mod 1
cites work: Sequences, discrepancies and applications
cites work: A unified approach to the analysis of compound pseudorandom numbers
cites work: On uniform distribution of double sequences
cites work: Q5848983
cites work: Q5533325
cites work: Q4003239
cites work: Q4767350
cites work: ON THE UNIFORM DISTRIBUTION OF THE SEQUENCE $ \{\alpha\lambda^x\}$
cites work: Q4170820
cites work: On the discrepancy estimate of normal numbers
cites work: Explicit construction of normal lattice configurations
cites work: A $ℤ^{d}$ generalization of the Davenport-Erdős construction of normal numbers
cites work: Q4003879
cites work: On irregularities of distribution
DOI: 10.5802/JTNB.335
description: scientific article; zbMATH DE number 1770783