Distribution of squarefree integers with double congruence conditions

Let $S(x;b,M)$ denote the number of squarefree numbers that are $\leq x$ and congruent to $b$, modulo $M$, where $(b,M)=1$. In 1885 Gegenbauer[3] proved that squarefree integers have a density of $\frac{6}{\pi^{2}}$ among all integers, that is

Landau[5] proved in 1909 that

In 1974 Hooley[4] refined this result to

This is the best possible individual error term bound we have obtained so far. On the other hand, the square mean of the error term, i.e.,

are studied by many people including Valentin Blomer, Ramon M. Nunes, Pierre Le Boudec. The best estimates can be found in [6] and [1].

Here we will consider a new distribution pattern of squarefree integers. Let $M$ be an integer $\geq 3$, $m:=\phi(M)$, where $\phi$ is the Euler totient function, that is $m=|(\mathbb{Z}/\penalty M\mathbb{Z})^{\star}|$. Let $\{m_{1},\dots,m_{m}\}\subset\mathbb{Z}^{m}$ be a set of representatives of $(\mathbb{Z}/\penalty M\mathbb{Z})^{\star}$. Given $N$ squarefree and coprime with M, write $N=p_{1}\dots p_{k}$,where $p_{1},\dots,p_{k}$ are the prime divisors of $N$. Define $n_{i}=n_{i}(N):=\#\{p_{i}\equiv m_{i}\pmod{M}\}$.

The first main result of this paper is an equidistribution.

Theorem 1.1 shows that $\{A_{a}(x)\}$ are equal-distributed. We also want to consider bias among $\{A_{a}(x)\}$, that is, given distinct $a,\ a^{\prime}$, does the sign of $|A_{a}(x)|-|A_{a^{\prime}}(x)|$ stablize as $x\rightarrow\infty$? Generally, there is no bias among $\{A_{a}(x)\}$. However in §4.1 we discover that under certain conditions there should be a strict bias among $\{A_{a}(x)\}$. The computation there leads us to raise the following conjecture.

The second main result of this paper studies a ”finite” version of $A_{a}(x)$.

The estimate of $A_{a}(x)$ refines the estimate of $S(x;b,M)$. More precisely, let

so that $S(x;b,M)=|B(x;b,M)|$. In the setting of Theorem 1.1, we choose $l_{i}:=|<m_{i}>_{(\mathbb{Z}/\penalty M\mathbb{Z})^{\star}}|$ to be the order of $m_{i}$ in the group $(\mathbb{Z}/\penalty M\mathbb{Z})^{\star}$. Let $A$ denote the set of all $a$. We can give $A$ an additive group structure by identifying $A$ with $\prod_{i=1}^{m}\left(\mathbb{Z}/\penalty l_{i}\mathbb{Z}\right)$. Then

gives a group homomorphism from $A$ to $(\mathbb{Z}/\penalty M\mathbb{Z})^{\star}$. We claim that

For $\forall N\in\bigsqcup_{h(a)=b\pmod{M}}A_{a}(x)$, $N\in A_{a}(x)$ for some $a=(a_{1},\dots,a_{m})$. Write $N=p_{1}\dots p_{k}$, where $p_{1},\dots,p_{k}$ are the prime divisors of $N$. Recall $n_{i}=\#\{p_{i}\equiv m_{i}\pmod{M}\}$, and $n_{i}\equiv a_{i}\pmod{l_{i}}$. Let $n_{i}=a_{i}+b_{i}l_{i}$. For $1\leq i\leq m$, let

Then $N=\prod_{i=1}^{m}P_{i}$. $P_{i}\equiv m_{i}^{n_{i}}\pmod{M}\equiv m_{i}^{a_{i}+b_{i}l_{i}}\pmod{M}$. Since $l_{i}$ is the order of $m_{i}$ in the group $(\mathbb{Z}/\penalty M\mathbb{Z})^{\star}$, $m_{i}^{l_{i}}\equiv 1\pmod{M}.$ This gives $N\equiv\prod_{i=1}^{m}m_{i}^{a_{i}}\pmod{M}\equiv b\pmod{M}$, and $N\in B(x;b,M)$.

Conversely, given $N\in B(x;b,M)$, decompose $N$ and introduce $n_{i}$, $a_{i}$, $P_{i}$ as above. Then $N\in A_{a}(x)$, with $a=(a_{1},\dots,a_{m})$, and

Assuming Theorem 1.1, we can deduce the main term of $S(x;b,M)$ given by (1) as follows. Define

Each $A(m_{i})=h^{-1}(m_{i})$ is a coset of $A/\penalty A(1)$, hence independently of $i$, we have

This gives

We need the following lemmas which connect the pole of a Dirichlet series with the order of growth of its partial sum of its coefficients. The first lemma is due to Selberg-Delange [7]:
Let $z\in\mathbb{C},0<\delta\leq 1,M>0.$ We say that a Dirichlet series $F(s)$ has property $P(z;c_{0},\delta,M)$ if the Dirichlet series $G(s;z):=F(s)\zeta(s)^{-z}$ may be analytically continued to $\sigma\geq 1-c_{0}/(1+log^{+}(\tau))$, and, in this domain, satifies the bound

We will say $F(s)$ has a pole of order $z$ at $s=1$. Here $s=\sigma+i\tau\in\mathbb{C},log^{+}(x):=Max(0,log(x)).$
If $F:=\sum_{n=0}^{\infty}a_{n}n^{-s}$ has property $P(z;c_{0},\delta,M)$ and there exist real numbers $\{b_{n}\}_{n=1}^{\infty}$ such that $|a_{n}|\leq b_{n}$ and $\sum_{n=1}^{\infty}b_{n}n^{-s}$ satisfies $P(w,c_{0},\delta,M)$ for some $w\in\mathbb{C}.$ We say $F(s)$ has property $T(z,w;c_{0},\delta,M).$

The next Lemma is due to Delange[2]:

Given $M$ and $l_{i}$, we consider the sign of $|A_{a}(x)|-|A_{a^{\prime}}(x)|$, where $a$ and $a^{\prime}$ are distinct. We’ll show that if some $l_{i}\geq 3$, this sign changes infinitely many times, and if $l_{i}\leq 2$ for all $i$, we may expect the sign to become stable as $x\rightarrow\infty$. We shall justify this phenomenon for certain specific $M,l_{i}$.