Showing 1–10 of 10 results for author: Gabdullin, M R

Trigonometric polynomials with frequencies in the set of cubes

Authors: Mikhail R. Gabdullin, Sergei V. Konyagin

Abstract: We prove that for any $ε>0$ and any trigonometric polynomial $f$ with frequencies in the set $\{n^3: N \leq n\leq N+N^{2/3-ε}\}$, one has $$ \|f\|_4 \ll ε^{-1/4}\|f\|_2 $$ with implied constant being absolute. We also show that the set $\{n^3: N\leq n\leq N+(0.5N)^{1/2}\}$ is a Sidon set. We prove that for any $ε>0$ and any trigonometric polynomial $f$ with frequencies in the set $\{n^3: N \leq n\leq N+N^{2/3-ε}\}$, one has $$ \|f\|_4 \ll ε^{-1/4}\|f\|_2 $$ with implied constant being absolute. We also show that the set $\{n^3: N\leq n\leq N+(0.5N)^{1/2}\}$ is a Sidon set. △ Less

Submitted 8 March, 2024; v1 submitted 25 November, 2023; originally announced November 2023.

Comments: 6 pages; inaccuracy in the proof of the main theorem is corrected

Long strings of consecutive composite values of polynomials

Authors: Kevin Ford, Mikhail R. Gabdullin

Abstract: We show that for any polynomial $f$ from the integers to the integers, with positive leading coefficient and irreducible over the rationals, if $x$ is large enough then there is a string of $(\log x)(\log\log x)^{1/835}$ consecutive integers $n \in [1,x]$ for which $f(n)$ is composite. This improves a result of the first author, Konyagin, Maynard, Pomerance and Tao, which states that there are suc… ▽ More We show that for any polynomial $f$ from the integers to the integers, with positive leading coefficient and irreducible over the rationals, if $x$ is large enough then there is a string of $(\log x)(\log\log x)^{1/835}$ consecutive integers $n \in [1,x]$ for which $f(n)$ is composite. This improves a result of the first author, Konyagin, Maynard, Pomerance and Tao, which states that there are such strings of length $(\log x)(\log\log x)^{c_f}$, where $c_f$ depends on $f$ and $c_f$ is exponentially small in the degree of $f$ for some polynomials. △ Less

Submitted 31 October, 2023; originally announced October 2023.

Comments: 22 pages

MSC Class: Primary 11N35; 11N32; 11B05

Numbers of the form $k+f(k)$

Authors: Mikhail R. Gabdullin, Vitalii V. Iudelevich, Florian Luca

Abstract: For a function $f\colon \mathbb{N}\to\mathbb{N}$, let $$ N^+_f(x)=\{n\leq x: n=k+f(k) \mbox{ for some } k\}. $$ Let $τ(n)=\sum_{d|n}1$ be the divisor function, $ω(n)=\sum_{p|n}1$ be the prime divisor function, and $\varphi(n)=\#\{1\leq k\leq n: \gcd(k,n)=1 \}$ be Euler's totient function. We show that \begin{align*} &(1) \quad x \ll N^+_ω(x), \\ &(2) \quad x\ll N^+_τ(x) \leq 0.94x, \\ &(3) \quad x… ▽ More For a function $f\colon \mathbb{N}\to\mathbb{N}$, let $$ N^+_f(x)=\{n\leq x: n=k+f(k) \mbox{ for some } k\}. $$ Let $τ(n)=\sum_{d|n}1$ be the divisor function, $ω(n)=\sum_{p|n}1$ be the prime divisor function, and $\varphi(n)=\#\{1\leq k\leq n: \gcd(k,n)=1 \}$ be Euler's totient function. We show that \begin{align*} &(1) \quad x \ll N^+_ω(x), \\ &(2) \quad x\ll N^+_τ(x) \leq 0.94x, \\ &(3) \quad x \ll N^+_{\varphi}(x) \leq 0.93x. \end{align*} △ Less

Submitted 28 June, 2023; originally announced June 2023.

Karatsuba's divisor problem and related questions

Authors: Mikhail R. Gabdullin, Vitalii V. Iudelevich, Sergei V. Konyagin

Abstract: We prove that $$ \sum_{p \leq x} \frac{1}{τ(p-1)} \asymp \frac{x}{(\log x)^{3/2}}, \quad \quad \sum_{n \leq x} \frac{1}{τ(n^2+1)} \asymp \frac{x}{(\log x)^{1/2}}, $$ where $τ(n)=\sum_{d|n}1$ is the number of divisors of $n$, and the summation in the first sum is over primes. We prove that $$ \sum_{p \leq x} \frac{1}{τ(p-1)} \asymp \frac{x}{(\log x)^{3/2}}, \quad \quad \sum_{n \leq x} \frac{1}{τ(n^2+1)} \asymp \frac{x}{(\log x)^{1/2}}, $$ where $τ(n)=\sum_{d|n}1$ is the number of divisors of $n$, and the summation in the first sum is over primes. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Prime avoiding numbers is a basis of order $2$

Authors: Mikhail R. Gabdullin

Abstract: For a positive integer $n$, we denote by $F(n)$ the distance from $n$ to the nearest prime number. We prove that every sufficiently large positive integer $N$ can be represented as the sum $N=n_1+n_2$, where $$ F(n_i) \geqslant (\log N)(\log\log N)^{1/325565}, $$ for $i=1,2$. This improves the corresponding "trivial" statement where only $F(n_i)\gg \log N$ is required. For a positive integer $n$, we denote by $F(n)$ the distance from $n$ to the nearest prime number. We prove that every sufficiently large positive integer $N$ can be represented as the sum $N=n_1+n_2$, where $$ F(n_i) \geqslant (\log N)(\log\log N)^{1/325565}, $$ for $i=1,2$. This improves the corresponding "trivial" statement where only $F(n_i)\gg \log N$ is required. △ Less

Submitted 7 September, 2022; originally announced September 2022.

Trigonometric polynomials with frequencies in the set of squares

Authors: Mikhail R. Gabdullin

Abstract: Let $γ_0=\frac{\sqrt5-1}{2}=0.618\ldots$ . We prove that, for any $\varepsilon>0$ and any trigonometric polynomial $f$ with frequencies in the set $\{n^2: N \leqslant n\leqslant N+N^{γ_0-\varepsilon}\}$, the inequality $$ \|f\|_4 \ll \varepsilon^{-1/4}\|f\|_2 $$ holds, which makes a progress on a conjecture of Cilleruelo and Cordoba. We also present a connection between this conjecture and the con… ▽ More Let $γ_0=\frac{\sqrt5-1}{2}=0.618\ldots$ . We prove that, for any $\varepsilon>0$ and any trigonometric polynomial $f$ with frequencies in the set $\{n^2: N \leqslant n\leqslant N+N^{γ_0-\varepsilon}\}$, the inequality $$ \|f\|_4 \ll \varepsilon^{-1/4}\|f\|_2 $$ holds, which makes a progress on a conjecture of Cilleruelo and Cordoba. We also present a connection between this conjecture and the conjecture of Ruzsa which asserts that, for any $\varepsilon>0$, there is $C(\varepsilon)>0$ such that each positive integer $N$ has at most $C(\varepsilon)$ divisors in the interval $[N^{1/2}, N^{1/2}+N^{1/2-\varepsilon}]$ △ Less

Submitted 4 December, 2023; v1 submitted 26 May, 2022; originally announced May 2022.

Numbers of the form $kf(k)$

Authors: Mikhail R. Gabdullin, Vitalii V. Iudelevich, Florian Luca

Abstract: For a function $f\colon \mathbb{N}\to\mathbb{N}$, define $N^{\times}_{f}(x)=\#\{n\leq x: n=kf(k) \mbox{ for some $k$} \}$. Let $τ(n)=\sum_{d|n}1$ be the divisor function, $ω(n)=\sum_{p|n}1$ be the prime divisor function, and $\varphi(n)=\#\{1\leq k\leq n: (k,n)=1 \}$ be Euler's totient function. We prove that \begin{gather*} \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! 1) \quad N^{\times}_τ(x)… ▽ More For a function $f\colon \mathbb{N}\to\mathbb{N}$, define $N^{\times}_{f}(x)=\#\{n\leq x: n=kf(k) \mbox{ for some $k$} \}$. Let $τ(n)=\sum_{d|n}1$ be the divisor function, $ω(n)=\sum_{p|n}1$ be the prime divisor function, and $\varphi(n)=\#\{1\leq k\leq n: (k,n)=1 \}$ be Euler's totient function. We prove that \begin{gather*} \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! 1) \quad N^{\times}_τ(x) \asymp \frac{x}{(\log x)^{1/2}}; \\ 2) \quad N^{\times}_ω(x) = (1+o(1))\frac{x}{\log\log x}; \\ \!\!\!\!\!\!\!\!\! 3) \quad N^{\times}_{\varphi}(x) = (c_0+o(1))x^{1/2}, \end{gather*} where $c_0=1.365...$\,. △ Less

Submitted 30 September, 2022; v1 submitted 23 January, 2022; originally announced January 2022.

Comments: The error term in Theorem 1.2 is improved in this version of the paper

Trigonometric series with noninteger harmonics

Authors: Mikhail R. Gabdullin

Abstract: Let $\{c_k\}$ be a nonincreasing sequence of positive numbers (more general classes of sequences are also considered), and $α>0$ be not an integer. We find necessary and sufficient conditions for the uniform convergence of the series $\sum_k c_k\sin k^αx$ and $\sum_k c_k\cos k^αx$ on the real line and its bounded subsets. Let $\{c_k\}$ be a nonincreasing sequence of positive numbers (more general classes of sequences are also considered), and $α>0$ be not an integer. We find necessary and sufficient conditions for the uniform convergence of the series $\sum_k c_k\sin k^αx$ and $\sum_k c_k\cos k^αx$ on the real line and its bounded subsets. △ Less

Submitted 4 December, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

The stochasticity parameter of quadratic residues

Authors: Mikhail R. Gabdullin

Abstract: Following V. I. Arnold, we define the stochasticity parameter $S(U)$ of a subset $U$ of $\mathbb{Z}/M\mathbb{Z}$ to be the sum of squares of the consecutive distances between elements of $U$. In this paper we study the stochasticity parameter of the set $R_M$ of quadratic residues modulo $M$. We present a method which allows to find the asymptotics of $S(R_M)$ for a set of $M$ of positive density.… ▽ More Following V. I. Arnold, we define the stochasticity parameter $S(U)$ of a subset $U$ of $\mathbb{Z}/M\mathbb{Z}$ to be the sum of squares of the consecutive distances between elements of $U$. In this paper we study the stochasticity parameter of the set $R_M$ of quadratic residues modulo $M$. We present a method which allows to find the asymptotics of $S(R_M)$ for a set of $M$ of positive density. In particular, we obtain the following two corollaries. Denote by $s(k)=s(k,\mathbb{Z}/M\mathbb{Z})$ the average value of $S(U)$ over all subsets $U\subseteq \mathbb{Z}/M\mathbb{Z}$ of size $k$, which can be thought of as the stochasticity parameter of a random set of size $k$. Let $\mathfrak{S}(R_M)=S(R_M)/s(|R_M|)$. We show that a) $\varliminf_{M\to\infty}\mathfrak{S}(R_M)<1<\varlimsup_{M\to\infty}\mathfrak{S}(R_M)$; b) the set $\{ M\in \mathbb{N}: \mathfrak{S}(R_M)<1 \}$ has positive lower density. △ Less

Submitted 16 November, 2022; v1 submitted 10 October, 2020; originally announced October 2020.

Sets whose differences avoid squares modulo m

Authors: Kevin Ford, Mikhail R. Gabdullin

Abstract: We prove that if $\varepsilon(m)\to 0$ arbitrarily slowly, then for almost all $m$ and any $A\subset\mathbb{Z}_m$ such that $A-A$ does not contain non-zero quadratic residues we have $|A|\leq m^{1/2-\varepsilon(m)}.$ We prove that if $\varepsilon(m)\to 0$ arbitrarily slowly, then for almost all $m$ and any $A\subset\mathbb{Z}_m$ such that $A-A$ does not contain non-zero quadratic residues we have $|A|\leq m^{1/2-\varepsilon(m)}.$ △ Less

Submitted 11 February, 2021; v1 submitted 11 July, 2020; originally announced July 2020.

Comments: 14 pages

Journal ref: Proc. Amer. Math. Soc. 149 (2021), no. 9, 3669-3682