Discrepancy bounds for infinite-dimensional order two digital sequences over \(\mathbb F_2\) (Q2637186)

Let \(s\geq 1\). For \(\widehat{P}_{N,s}=\{\mathbf{x}_0^{(s)},\dots,\mathbf{x}_{N-1}^{(s)}\}\) in the \(s\)-dimensional unit cube \([0,1]^s\) the \(L_q\) discrepancy is defined by \[ L_q(\widehat{P}_{N,s})=\left(\int_{[0,1]^s}\left|\frac{1}{N}\sum_{n=0}^{N-1}1_{[\mathbf{0},\mathbf{\theta})}(\mathbf{x}_n)-\prod_{j=1}^s\theta_j\right|^q d\mathbf{\theta}\right)^{1/q}, \] where \(\mathbf{\theta}=(\theta_1,\dots\theta_s)\), \([\mathbf{0},\mathbf{\theta})=\prod_{j=1}^s[0,\theta_j)\), and \(1_{[\mathbf{0},\mathbf{\theta})}\) denotes the characteristic function of the interval \([\mathbf{0},\mathbf{\theta})\). The author shows that one can explicitly construct an infinite sequence \(S\) of points in \([0,1)^{\mathbb{N}}\) such that the projection of the first \(N\) points of \(S\) onto the first \(s\) coordinates \(P_{N,s}\) satisfies \[ L_q(P_{N,s})\ll_{q,s}\frac{r^{3/2-1/q}}{N}\sqrt{\sum_{v=1}^r m_v^{s-1}} \] for all \(N=2^{m_1}+\cdots+2^{m_r}\geq 2\), where \(m_1>\cdots>m_r\geq 0\), and any even integer \(2\leq q<\infty\). In particular, the following inequality is obtained \[ L_q(P_{2^m,s})\ll_{q,s}\frac{m^{(s-1)/2}}{2^m} \quad \text{ for all } m\geq 1 \text{ and } 2\leq q<\infty. \] Furthermore, as consequence, it is proved that for every \(N\geq 2\) one can explicitly construct a point set \(\widehat{P}_N\) of \(N\) points in \([0,1)^{\mathbb{N}}\) such that the projection of \(\widehat{P}_N\) onto the first \(s\) coordinates \(\widehat{P}_{N,s}\) satisfies \[ L_q(\widehat{P}_{N,s})\ll_{q,s}\frac{(\log N)^{(s-1)/2}}{N} \text{ for all }2\leq q<\infty. \]