We show that for any given integer $k$ there exist infinitely many consecutive square-free numbers of the type $x^2+y^2+z^2+k$, $x^2+y^2+z^2+k+1$. We also establish an asymptotic formula for $1\le x,y,z\le H$ such that $x^2+y^2+z^2+k$, $x^2+y^2+z^2+k+1$ are square-free. The method we used in this paper is due to Tolev.

Let $k$ be a fixed integer. We study the asymptotic formula of $R(H,r,k)$, which is the number of positive integer solutions $1\le x,y,z\le H$ such that the polynomial $x^2+y^2+z^2+k$ is $r$-free. We obtained the asymptotic formula of $R(H,r,k)$ for all $r\ge 2$. Our result is new even in the case $r=2$. We proved that $R(H,2,k)=c_k{H}^3+O\left(H^{9/4+\epsilon }\right)$, where $c_k>0$ is a constant depending on $k$. This improves upon the error term $O\left(H^{7/3+\epsilon }\right)$ obtained by G.-L. Zhou, Y. Ding (2022).

We consider $k$-free numbers over Beatty sequences. New results are given. In particular, for a fixed irrational number $\alpha >1$ of finite type $\tau <\infty$ and any constant $\epsilon >0$, we can show that $$\sum _{\genfrac{}{}{0pt}{}{1\le n\le x}{[\alpha n+\beta ]\in {𝒬}_k}}1-\frac{x}{\zeta \left(k\right)}\ll x^{k/(2k-1)+\epsilon }+x^{1-1/(\tau +1)+\epsilon },$$ where ${𝒬}_k$ is the set of positive $k$-free integers and the implied constant depends only on $\alpha ,$ $\epsilon ,$ $k$ and $\beta .$ This improves previous results. The main new ingredient of our idea is employing double exponential sums of the type $$\sum _{1\le h\le H}\sum _{\genfrac{}{}{0pt}{}{1\le n\le x}{n\in {𝒬}_k}}e\left(\vartheta hn\right).$$

The profinite topology on any abstract group $G$, is one such that the fundamental system of neighborhoods of the identity is given by all its subgroups of finite index. We say that a group $G$ has the Ribes-Zalesskii property of rank $k$, or is RZ${}_k$ with $k$ a natural number, if any product $H_1{H}_2\cdots H_k$ of finitely generated subgroups $H_1,H_2,\cdots ,H_k$ is closed in the profinite topology on $G$. And a group is said to have the Ribes-Zalesskii property or is RZ if it is RZ${}_k$ for any natural number $k$. In this paper we characterize...

We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If $k$ is the minimal degree of a representation of the finite group $G$, then for every subset $B$ of $G$ with $\left|B\right|>\left|G\right|/k^{1/3}$ we have $B^3=G$. We use this to obtain improved versions of recent deep theorems of Helfgott and of Shalev concerning product decompositions of finite simple groups, with much simpler proofs. On the other hand, we prove a version of Jordan’s theorem which implies that if $k\ge 2$, then $G$ has a...

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Let $\mathscr{H}$ be a complex Hilbert space, $A$ a positive operator with closed range in $ℬ\left(\mathscr{H}\right)$ and ${ℬ}_A\left(\mathscr{H}\right)$ the sub-algebra of $ℬ\left(\mathscr{H}\right)$ of all $A$-self-adjoint operators. Assume $\phi :{ℬ}_A\left(\mathscr{H}\right)$ onto itself is a linear continuous map. This paper shows that if $\phi$ preserves $A$-unitary operators such that $\phi \left(I\right)=P$ then $\psi$ defined by $\psi \left(T\right)=P\phi \left(PT\right)$ is a homomorphism or an anti-homomorphism and $\psi \left(T^{♯}\right)=\psi {\left(T\right)}^{♯}$ for all $T\in {ℬ}_A\left(\mathscr{H}\right)$, where $P=A^{+}A$ and $A^{+}$ is the Moore-Penrose inverse of $A$. A similar result is also true if $\phi$ preserves $A$-quasi-unitary operators in both directions such that there...