Walsh functions and uniform distribution mod 1 (Q1319197)

The classical theory of uniform distribution of sequences modulo one is based on the system of trigonometric functions. The fundamental qualitative and quantitative results of this theory, Weyl's criterion and the Erdős-Turán-Koksma inequality, are formulated in terms of this system. Why not use other function systems? This question has been considered by several authors. The authors of this paper study the Walsh function system \({\mathcal W}(2)\) to the base 2. As their first theorem, they state the Weyl criterion for this function system, without proof. This result belongs to the ``folklore'' of the theory of uniform distribution of sequences modulo one. A more general version of Weyl's criterion for the Walsh system has already been used in [\textit{S. Tezuka}, Commun. ACM 30, 731-735 (1987; Zbl 0632.65003)]\ to study the independence properties of certain shift register generators. As a further result, again without proof, the authors present sufficient conditions on a sequence \((a_ n)_{n\geq 0}\) in \([0,1[\) such that the uniform distribution of the sequence \((x_ n)_{n\geq 0}\) implies that of the sequence \((x_ n \dot + a_ n)_{n\geq 0}\). Here ``\(\dot +\)'' indicates dyadic addition, i.e. addition without carry. Finally, the analogues to the inequalities of LeVeque and Erdős- Turán-Koksma are proved for the system of the Walsh integrals \((J_ k)\) [see \textit{F. Schipp}, \textit{W. R. Wade}, \textit{P. Simon} and \textit{J. Pál}, Walsh series. An introduction to dyadic harmonic analysis (Hilger) (1990; Zbl 0727.42017) as an appropriate reference]. For generalized Walsh systems, the latter inequality has been proved by the reviewer [General discrepancy estimates. III: The Erdős-Turán-Koksma inequality for the Haar function system. Monatsh. Math. (to appear)].