Low discrepancy polynomial lattice point sets (Q452386)

For a prime \(q\) let \(\mathbb{F}_q\) be the finite field consisting of \(q\) elements, let \(\mathbb{F}_q[x]\) be the ring of polynomials over \(\mathbb{F}_q\), and let \(\mathbb{F}_q((x^{-1}))\) be the field of formal Laurent series over \(\mathbb{F}_q\). Given an integer \(m\geq 1\), define a map \(\phi _m:\mathbb{F}_q((x^{-1}))\to [0,1)\) by \[ \phi_m\left(\sum_{l=z}^{\infty}t_lx^{-l}\right):=\sum_{l=\max(1,z)}^m t_lq^{-l}. \] For \(0\leq n<q^m\) let \(n=n_0+n_1q+\cdots +n_{m-1}q^{m-1}\), where \(n_i\in \mathbb{Z}_q\), be the \(q\)-adic expansion of \(n\) and let \(n(x)=\sum_{r=0}^{m-1}n_rx^r\). For \(f\in\mathbb{F}_q[x]\) with \(\deg(f)=m\) and \(g_1,\ldots, g_s\in\mathbb{F}_q[x]\) let \[ \mathbf{x}_n:=\left(\phi_m\left(\frac{n(x)g_1(x)}{f(x)}\right),\ldots, \phi_m\left(\frac{n(x)g_s(x)}{f(x)}\right)\right) \text{ for } 0\leq n<q^m. \] The polynomial lattice point set \(\mathcal{P}(\mathbf{g},f)=\{\mathbf{x}_n:0\leq n<q^m\}\) is defined. \textit{G. Larcher} [Acta Arith. 63, No. 1, 1--13 (1993, Zbl 0770.11040)] showed that there exists a \(c(s,q)>0\) with the property that for every \(m\in \mathbb{N}\) there exists a vector \(\mathbf{g}\in \mathbb{F}_q[x]^s\) such that \[ D_N^*(\mathcal{P} (\mathbf{g}, x^m))\leq c(s,q)\frac{(\log N)^{s-1}\log\log N}{N}, \] where \(N=q^m\). In this paper the authors show that there exists a \(c(s,q)>0\) with the property that for any monic polynomial \(f\in\mathbb{F}_q[x]\) of degree \(m\) with \(\gcd(f,x)=1\) there exists a generating vector \(\mathbf{g}=(g_1, \ldots, g_s)\in \mathbb{F}_q[x]^s\) of monic polynomials where \(g_1=1\) and \(\deg(g_i)<m\) for \(2\leq i\leq s\), such that \[ D_N^*(\mathcal{P}(\mathbf{g},f))\leq c(s,q)\frac{(\log N)^{s-1}\log\log N}{N}, \] where \(N=q^m\).