Existence of a certain subset of natural numbers equidistributed modulo $m$ for every $m$ I was talking to a friend and the following set $S$ came up.
Let $f$ be some real valued function tending to infinity.
Let $S$ be a subset of natural numbers such that $|S \cap [1,N]| = N^{\delta}+ O(N^{\delta}/f(N))$ and further for any $r,m \in \mathbb{N}$ we have 
$$
| \{ x \in S \cap [1,N] : x \equiv r  (\text{mod }m)  \}| = \frac1m N^{\delta}+ O(N^{\delta}/f(N)),
$$
where the implicit constant does not depend on $r,m$.
I was curious are there any examples of such set $S$
other than the set of all natural numbers, which would satisfy
this condition when $\delta=1$? I am also wondering is it 
reasonable to assume such a set exist for $\delta<1$ with some choice of $f$? Thanks!   
 A: As mentioned by Aaron Meyerowitz, a set of the form $$S=\left\{\left[k^{1/\gamma}\right]:\ k\in\mathbb{N}\right\}$$ should work for any $1/2<\gamma<1$. Notice that for such a value of $\gamma$, $$\left[(k+1)^{\gamma}\right]-\left[k^{\gamma}\right]=\begin{cases}
1 & \text{ if }k+1=\left[n^{1/\gamma}\right]\\
0 & \text{ otherwise}
\end{cases}. $$
Let $s(x)=\left\{ x\right\} -\frac{1}{2}.$ Then the counting function for $S$ inside an arithmetic progression is $$\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}\left[(k+1)^{\gamma}\right]-\left[k^{\gamma}\right]=\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}(k+1)^{\gamma}-k^{\gamma}+\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}s(k^{\gamma})-s((k+1)^{\gamma}).$$ Above we have split up the sum into a main term and an error term.
Main Term: By the generalized binomial theorem $$(k+1)^{\gamma}-k^{\gamma}=\gamma k^{\gamma-1}+O\left(k^{\gamma-2}\right),$$ and so $$\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}(k+1)^{\gamma}-k^{\gamma}=\gamma\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}k^{\gamma-1}+O\left(1\right).$$ As $\gamma<1$, the main term equals $$\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}(k+1)^{\gamma}-k^{\gamma}=\frac{x^{\gamma}}{q}+O(1),$$ which satisfies the desired condition as $\sum_{n\leq x} 1_S(n)\sim x^\gamma$.
Error Term: The error term is more difficult to deal with, and in what follows we will give a sketch. The notation is the same as that used in Balog and Friedlander's paper on Piatetski-Shapiro primes. 
Recall the Fourier expansion for $s(x).$ We have $$s(x)=-\sum_{0<|h|<T}\frac{1}{2\pi ih}e(hx)+O\left(\min\left(1,\frac{1}{T\|x\|}\right)\right),$$ and $$\min\left(1,\frac{1}{T\|x\|}\right)=\sum_{h=-\infty}^{\infty}b_{h}e(hx)$$ where $$|b_{h}|\ll\min\left(\frac{\log2T}{T},\ \frac{T}{h^{2}}\right).$$ Thus our error term can be written as $\Sigma_{1}+\Sigma_{2}$ where $\Sigma_{1}$ arises from $\sum_{0<|h|<T}\frac{1}{2\pi ih}e(hx),$ and $\Sigma_{2}$ arises from the term $\sum_{h=-\infty}^{\infty}b_{h}e(hx).$ To deal with $\Sigma_{2},$ notice that 
$$\left|\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}\sum_{h=-\infty}^{\infty}b_{h}e(hk^{\gamma})\right|\leq\left|\sum_{h=-\infty}^{\infty}\left|b_{h}\right|\left|\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}e(hk^{\gamma})\right|\right|.$$ An estimate of Van Der Corput yields $$\left|\sum_{k\leq\frac{x}{q}}e(h(qk+a)^{\gamma})\right|\ll h^{1/2}x^{\gamma/2}+h^{-1/2}x^{1-\gamma/2},$$ and so $$\Sigma_{2}\ll\frac{x}{T}+\sum_{h=1}^{\infty}\left|b_{h}\right|\left(h^{1/2}x^{\gamma/2}+h^{-1/2}x^{1-\gamma/2}\right)$$ 
$$\ll xT^{-1}+T^{1/2}x^{\gamma/2}+T^{-1/2}x^{1-\gamma/2}.$$ It remains to bound $\Sigma_{1}.$ By using the identity $$e(hk^{\gamma})-e(h(k+1)^{\gamma})=2\pi i\gamma h\int_{0}^{1}\left(k+u\right)^{\gamma-1}e\left(h(k+u)^{\gamma}\right)du,$$ $\Sigma_{1}$ is at most $$\Sigma_{1}\ll\sum_{0<|h|<T}\int_{0}^{1}\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}\left(k+u\right)^{\gamma-1}e\left(h(k+u)^{\gamma}\right)du.$$ Partial summation along with other classical bounds on exponential sums should be able to handle the problem from here. In the end we will take $T=x^{1-\gamma+\delta}$ for some small $\delta>0$. I believe that we may take $\delta=\frac{1}{4}\left(\gamma-\frac{1}{2}\right)$ to obtain $$\sum_{\begin{array}{c}
k\leq x-1\\
k\equiv a\text{ mod }q
\end{array}}\left[(k+1)^{\gamma}\right]-\left[k^{\gamma}\right]=\frac{x^\gamma}{q}+O\left(x^{\frac{3}{4}\gamma+\frac{1}{8} }\right).$$ 
Remark: In the above method the error term grows out of control if $\gamma\leq \frac{1}{2}$.
