Balance and pattern distribution of sequences derived from pseudorandom subsets of ${\mathbb{Z}}_q$

Let $q$ be a positive integer and $\mathcal{S}=\{x_0,x_1,\dots ,x_{T-1}\}\subseteq {\mathbb{Z}}_q=\{0,1,\dots ,q-1\}$ with $$0\le x_0<x_1<\dots <x_{T-1}\le q-1.$$ We derive from $\mathcal{S}$ three (finite) sequences.

1. For an integer $M\ge 2$ let $(s_n)$ be the $M$-ary sequence defined by \begin{eqnarray*} s_n\equiv x_{n+1}-x_n \bmod M, \qquad n=0,1,\ldots, T-2. \end{eqnarray*} 2. For an integer $m\ge 2$ let $(t_n)$ be the binary sequence defined by \begin{eqnarray*} t_n=\left{\begin{array}{ll} 1, & \hbox{if } 1\leq x_{n+1}-x_n\leq m-1, \ 0, & \hbox{otherwise}, \end{array}\right. \qquad n=0,1,\ldots, T-2. \end{eqnarray*} 3. Let $(u_n)$ be the characteristic sequence of $\mathcal{S}$, \begin{eqnarray*} u_n=\left{\begin{array}{ll} 1, & \hbox{if } n\in $\mathcal{S}$, \ 0, & \hbox{otherwise}, \end{array}\right. \qquad n=0,1,\ldots, q-1. \end{eqnarray*} We study the balance and pattern distribution of the sequences $(s_n)$, $(t_n)$ and $(u_n)$. For sets $\mathcal{S}$ with desirable pseudorandom properties, more precisely, sets with low correlation measures, we show the following:
2. The sequence $(s_n)$ is (asymptotically) balanced and has uniform pattern distribution if $T$ is of smaller order of magnitude than $q$.
3. The sequence $(t_n)$ is balanced and has uniform pattern distribution if $T$ is approximately $(1-\frac{1}{2^{1\mathrm{/}(m-1)}})q$.
4. The sequence $(u_n)$ is balanced and has uniform pattern distribution if $T$ is approximately $\frac{q}{2}$. These results are motivated by earlier results for the sets of quadratic residues and primitive roots modulo a prime. We unify these results and derive many further (asymptotically) balanced sequences with uniform pattern distribution from pseudorandom subsets.