BZPEER

preprint2022arXiv

A conjecture of Sárközy on quadratic residues, II

Denote by $\mathcal{R}_p$ the set of all quadratic residues in $\mathbf{F}_p$ for each prime $p$ . A conjecture of A. Sárközy asserts, for all sufficiently large $p$ , that no subsets $\mathcal{A},\mathcal{B}\subseteq\mathbf{F}_p$ with $|\mathcal{A}|,|\mathcal{B}|\geqslant2$ satisfy $\mathcal{A}+\mathcal{B}=\mathcal{R}_p$ . In this paper, we show that if such subsets $\mathcal{A},\mathcal{B}$ do exist, then there are at least $(\log 2)^{-1}\sqrt p-1.6$ elements in $\mathcal{A}+\mathcal{B}$ that have unique representations and one should have \begin{align*} \frac{1}{4}\sqrt{p}< |\mathcal{A}|,|\mathcal{B}|< 2\sqrt{p}-1. \end{align*} This refines previous bounds obtained by I.E. Shparlinski, I.D. Shkredov, and Y.-G. Chen and X.-H. Yan. Moreover, we also establish bounds for $|\mathcal{A}|,|\mathcal{B}|$ and the additive energy $E(\mathcal{A},\mathcal{B})$ if few elements in $\mathcal{A}+\mathcal{B}$ have unique representations.

preprint2022arXiv

On a conjecture of Erdős

Let $\mathcal{P}$ denote the set of all primes. In 1950, P. Erdős conjectured that if $c$ is an arbitrarily given constant, $x$ is sufficiently large and $a_1,\dots , a_t$ are positive integers with $a_1<a_2<\cdot\cdot\cdot<a_t\leqslant x$ and $t>\log x$ , then there exists an integer $n$ so that the number of solutions of $n=p+a_i$ $(p\in \mathcal{P}, 1\le i\le t)$ is greater than $c$ . In this note, we confirm this old conjecture of Erdős.

preprint2017arXiv

Diophantine equations involving Euler's totient function

In this paper, we consider the equations involving Euler's totient function $ϕ$ and Lucas type sequences. In particular, we prove that the equation $ϕ(x^m-y^m)=x^n-y^n$ has no solutions in positive integers $x, y, m, n$ except for the trivial solutions $(x, y, m , n)=(a+1, a, 1, 1)$ , where $a$ is a positive integer, and the equation $ϕ((x^m-y^m)/(x-y))=(x^n-y^n)/(x-y)$ has no solutions in positive integers $x, y, m, n$ except for the trivial solutions $(x, y, m , n)=(a, b, 1, 1)$ , where $a, b$ are integers with $a>b\ge 1$ .

preprint2017arXiv

On $AP_3$ - covering sequences

Recently, motivated by Stanley sequences, Kiss, S\' andor and Yang introduced a new type sequence: a sequence $A$ of nonnegative integers is called an $AP_k$ - covering sequence if there exists an integer $n_0$ such that if $n > n_0$ , then there exist $a_1\in A, \dots , a_{k-1}\in A$ , $a_1<a_2<\cdots <a_{k-1}<n$ such that $a_1, \dots , a_{k-1}, n$ form a $k$ -term arithmetic progression. They prove that there exists an $AP_3$ - covering sequence $A$ such that $\limsup\limits_{n\to\infty}{A(n)}/{\sqrt n}\le 34$ . In this note, we prove that there exists an $AP_3$ - covering sequence $A$ such that $\limsup\limits_{n\to\infty}{A(n)}/{\sqrt n}=\sqrt{15}$ .

preprint2017arXiv

On a problem of Nathanson

A set $A$ of nonnegative integers is an asymptotic basis of order $h$ if every sufficiently large integer can be represented as the sum of $h$ integers (not necessarily distinct) of $A$ . An asymptotic basis $A$ of order $h$ is minimal if no proper subset of $A$ is an asymptotic basis of order $h$ . In this paper, we resolve a problem of Nathanson on minimal asymptotic bases of order $h$ .

preprint2017arXiv

On additive representation functions

Let $A$ be an infinite set of natural numbers. For $n\in \mathbb{N}$ , let $r(A, n)$ denote the number of solutions of the equation $n=a+b$ with $a, b\in A, a\le b$ . Let $|A(x)|$ be the number of integers in $A$ which are less than or equal to $x$ . In this paper, we prove that, if $r(A, n)\not= 1$ for all sufficiently large integers $n$ , then $|A(x)|> \frac 12 (\log x/\log\log x)^2$ for all sufficiently large $x$ .

preprint2017arXiv

On the denominators of harmonic numbers

Let $H_n$ be the $n$ -th harmonic number and let $v_n$ be its denominator. It is well known that $v_n$ is even for every integer $n\ge 2$ . In this paper, we study the properties of $v_n$ . One of our results is: the set of positive integers $n$ such that $v_n$ is divisible by the least common multiple of $1, 2, \cdots, \lfloor {n^{1/4}}\rfloor$ has density one. In particular, for any positive integer $m$ , the set of positive integers $n$ such that $v_n$ is divisible by $m$ has density one.

preprint2016arXiv

Asymptotic formulas for general colored partition functions

In 1917, Hardy and Ramanujan obtained the asymptotic formula for the classical partition function $p(n)$ . The classical partition function $p(n)$ has been extensively studied. Recently, Luca and Ralaivaosaona obtained the asymptotic formula for the square-root function. Many mathematicians have paid much attention to congruences on some special colored partition functions. In this paper, we investigate the general colored partition functions. Given positive integers $1=s_1<s_2<\dots <s_k$ and $\ell_1, \ell_2,\dots , \ell_k$ . Let $g(\mathbf{s}, \mathbf{l}, n)$ be the number of $\ell$ -colored partitions of $n$ with $\ell_i$ of the colors appearing only in multiplies of $s_i\ (1\le i\le k)$ , where $\ell = \ell_1+\cdots +\ell_k$ . By using the elementary method we obtain an asymptotic formula for the partition function $g(\mathbf{s}, \mathbf{l}, n)$ with an explicit error term.

preprint2016arXiv

On consecutive abundant numbers

A positive integer $n$ is called an abundant number if $σ(n)\ge 2n$ , where $σ(n)$ is the sum of all positive divisors of $n$ . Let $E(x)$ be the largest number of consecutive abundant numbers not exceeding $x$ . In 1935, P. Erd\H os proved that there are two positive constants $c_1$ and $c_2$ such that $c_1\log\log\log x\le E(x)\le c_2\log\log\log x$ . In this paper, we resolve this old problem by proving that, $E(x)/\log \log\log x$ tends to a limit as $x\to +\infty$ , and the limit value has an explicit form which is between $3$ and $4$ .

preprint2015arXiv

Integer sets with identical representation functions

We present a versatile construction allowing one to obtain pairs of integer sets with infinite symmetric difference, infinite intersection, and identical representation functions.

preprint2014arXiv

On the cardinality of general $h$ -fold sumsets

Let $A=\{a_0,a_1,\ldots,a_{k-1}\}$ be a set of $k$ integers. For any integer $h\ge 1$ and any ordered $k$ -tuple of positive integers $\mathbf{r}=(r_0,r_1,\ldots,r_{k-1})$ , we define a general $h$ -fold sumset, denoted by $h^{(\mathbf{r})}A$ , which is the set of all sums of $h$ elements of $A$ , where $a_i$ appearing in the sum can be repeated at most $r_i$ times for $i=0,1,\ldots,k-1$ . In this paper, we give the best lower bound for $|h^{(\mathbf{r})}A|$ in terms of $\mathbf{r}$ and $h$ and determine the structure of the set $A$ when $|h^{(\mathbf{r})}A|$ is minimal. This generalizes results of Nathanson, and recent results of Mistri and Pandey and also solves a problem of Mistri and Pandey.

preprint2013arXiv

A lower bound of the least signless Laplacian eigenvalue of a graph

Let $G$ be a simple connected graph on $n$ vertices and $m$ edges. In [Linear Algebra Appl. 435 (2011) 2570-2584], Lima et al. posed the following conjecture on the least eigenvalue $q_n(G)$ of the signless Laplacian of $G$ : $\displaystyle q_n(G)\ge {2m}/{(n-1)}-n+2$ . In this paper we prove a stronger result: For any graph with $n$ vertices and $m$ edges, we have $\displaystyle q_n(G)\ge {2m}/{(n-2)}-n+1 (n\ge 6)$ .

preprint2013arXiv

On the Products $(1^\ell+1)(2^\ell+1)\cdots (n^\ell +1)$ , II

In this paper, the following results are proved: (i) For any odd integer $\ell$ with at most two distinct prime factors and any positive integer $n$ , the product $(1^\ell+1)(2^\ell+1)\cdots (n^\ell +1)$ is not a powerful number; (ii) For any integer $r\ge 1$ , there exists a positive integer $T_r$ such that, if $\ell$ is a positive odd integer with at most $r$ distinct prime factors and $n$ is an integer with $n\ge T_r$ , then $(1^\ell+1)(2^\ell+1)\cdots (n^\ell +1)$ is not a powerful number.

preprint2012arXiv

On a problem of Sierpinski

Let $s\ge 2$ be an integer. Denote by $μ_s$ the least integer so that every integer $\ell >μ_s$ is the sum of exactly $s$ integers $>1$ which are pairwise relatively prime. In 1964, Sierpiński asked a determination of $μ_s$ . Let $p_1=2$ , $p_2=3, ...$ be the sequence of consecutive primes and let $μ_s = p_2+p_3+...+p_{s+1}+c_s$ . P. Erd\H os proved that there exists an absolute constant $C$ with $-2\le c_s\le C$ . In this paper, we determine $μ_s$ for all $s\ge 2$ . As a corollary, we show that $-2\le c_s\le 1100$ and the set of integers $s$ with $μ_s= p_2+p_3+... +p_{s+1}+1100$ has the asymptotic density 1.

preprint2012arXiv

Weighted representation functions on $\mathbb{Z}_m$

Let $m$ , $k_1$ , and $k_2$ be three integers with $m\ge 2$ . For any set $A\subseteq \mathbb{Z}_m$ and $n\in \mathbb{Z}_m$ , let $\hat{r}_{k_1,k_2}(A,n)$ denote the number of solutions of the equation $n=k_1a_1+k_2a_2$ with $a_1,a_2\in A$ . In this paper, using exponential sums, we characterize all $m$ , $k_1$ , $k_2$ , and $A$ for which $\hat{r}_{k_1,k_2}(A,n)=\hat{r}_{k_1,k_2}(\mathbb{Z}_m\setminus A,n)$ for all $n\in \mathbb{Z}_m$ . We also pose several problems for further research.

preprint2011arXiv

Egyptian Fractions with Restrictions

Let $T_o(k)$ denote the number of solutions of $\sum_{i=1}^k\frac 1{x_i}=1$ in odd numbers $1<x_1<x_2<...<x_k$ . It is clear that $T_o(2k)=0$ . For distinct primes $p_1, p_2,..., p_t$ , let $S(p_1, p_2,..., p_t)=\{p_1^{α_1}...p_t^{α_t}\mid α_i\in \mathbb{N}_0, i=1,2,..., t}$. Let $T_k(p_1,..., p_t)$ be the number of solutions $\sum_{i=1}^{k}\frac 1{x_i}=1$ with $1<x_1<x_2<...<x_{k}$ and $x_i\in S(p_1, p_2,..., p_t)$ . It is clear that if $T_k(p_1,..., p_t)\not= 0$ for some $k$ , then the inverse sum of all elements $s_j>1$ in $S(p_1, p_2,..., p_t)$ is more than 1. In this paper we study $T_o(k)$ and $T_k(p_1,..., p_t)$ . Three of our results are: 1) $T_o(2k+1)\ge (\sqrt 2)^{(k+1)(k-4)}$ for all $k\ge 4$ ; 2) if the inverse sum of all elements $s_j>1$ in $S(p_1, p_2,..., p_t)$ is more than 1, then $T_k(p_1,..., p_t)\not= 0$ for infinitely many $k$ and the set of these $k$ is the union of finitely many arithmetic progressions; 3) there exists two constants $k_0=k_0(p_1,..., p_t)>1$ and $c=c(p_1,..., p_t)>1$ such that for any $k>k_0$ we have either $T_k(p_1,..., p_t)= 0$ or $T_k(p_1,..., p_t)>c^k$ .

preprint2011arXiv

On a Problem of Erdős, Herzog and Schönheim

Let $p_1, p_2,..., p_n$ be distinct primes. In 1970, Erd\H os, Herzog and Schönheim proved that if $\cal D$ is a set of divisors of $N=p_1^{α_1}...p_n^{α_n}$ , $α_1\ge α_2\ge...\ge α_n$ , no two members of the set being coprime and if no additional member may be included in $\cal D$ without contradicting this requirement then $|{\cal D}|\ge α_n \prod_{i=1}^{n-1} (α_i +1)$ . They asked to determine all sets $\cal D$ such that the equality holds. In this paper we solve this problem. We also pose several open problems for further research.

preprint2011arXiv

On Sequences Containing at Most 4 Pairwise Coprime Integers

Let $f(n,k)$ be the largest number of positive integers not exceeding $n$ from which one cannot select $k+1$ pairwise coprime integers, and let $E(n,k)$ be the set of positive integers which do not exceed $n$ and can be divided by at least one of $p_1, p_2,..., p_k$ , where $p_i$ is the $i$ -th prime. In 1962, P. Erd\H os conjectured that $f(n,k)=|E(n,k)|$ for all $n\ge p_k$ . In 1973, S. L. G. Choi proved that the conjecture is true for $k=3$ . In 1994, Ahlswede and Kachatrian disproved the conjecture for $k=212$ . In this paper we prove that, for $n\ge 49$ , if A(n,4) is a set of positive integers not exceeding $n$ from which one cannot select 5 pairwise coprime integers and $|A(n,4)|\ge |E(n,4)|$ , then $A(n,4)=E(n,4)$ . In particular, the conjecture is true for k=4. Several open problems and conjectures are posed for further research.

preprint2011arXiv

On the elementary symmetric functions of $1, 1/2, \ldots , 1/n$

In 1946, P. Erd\H os and I. Niven proved that there are only finitely many positive integers $n$ for which one or more elementary symmetric functions of $1, 1/2, \ldots , 1/n$ are integers. In this paper we solve this old problem by showing that if $n\ge 4$ , then none of elementary symmetric functions of $1, 1/2, \ldots , 1/n$ is an integer.

Yong-Gao Chen

Research overview

Is this your work?

19 publications

A conjecture of Sárközy on quadratic residues, II

On a conjecture of Erdős

Diophantine equations involving Euler's totient function

On $AP_3$ - covering sequences

On a problem of Nathanson

On additive representation functions

On the denominators of harmonic numbers

Asymptotic formulas for general colored partition functions

On consecutive abundant numbers

Integer sets with identical representation functions

On the cardinality of general $h$ -fold sumsets

A lower bound of the least signless Laplacian eigenvalue of a graph

On the Products $(1^\ell+1)(2^\ell+1)\cdots (n^\ell +1)$ , II

On a problem of Sierpinski

Weighted representation functions on $\mathbb{Z}_m$

Egyptian Fractions with Restrictions

On a Problem of Erdős, Herzog and Schönheim

On Sequences Containing at Most 4 Pairwise Coprime Integers

On the elementary symmetric functions of $1, 1/2, \ldots , 1/n$

See the researcher in context

Building this map preview

Yong-Gao Chen

Research overview

Is this your work?

19 publications

A conjecture of Sárközy on quadratic residues, II

On a conjecture of Erdős

Diophantine equations involving Euler's totient function

On AP3AP_3AP3​ - covering sequences

On a problem of Nathanson

On additive representation functions

On the denominators of harmonic numbers

Asymptotic formulas for general colored partition functions

On consecutive abundant numbers

Integer sets with identical representation functions

On the cardinality of general hhh-fold sumsets

A lower bound of the least signless Laplacian eigenvalue of a graph

On the Products (1ℓ+1)(2ℓ+1)⋯(nℓ+1)(1^\ell+1)(2^\ell+1)\cdots (n^\ell +1)(1ℓ+1)(2ℓ+1)⋯(nℓ+1), II

On a problem of Sierpinski

Weighted representation functions on Zm\mathbb{Z}_mZm​

Egyptian Fractions with Restrictions

On a Problem of Erdős, Herzog and Schönheim

On Sequences Containing at Most 4 Pairwise Coprime Integers

On the elementary symmetric functions of 1,1/2,…,1/n1, 1/2, \ldots , 1/n1,1/2,…,1/n

See the researcher in context

Building this map preview

On $AP_3$ - covering sequences

On the cardinality of general $h$ -fold sumsets

On the Products $(1^\ell+1)(2^\ell+1)\cdots (n^\ell +1)$ , II

Weighted representation functions on $\mathbb{Z}_m$

On the elementary symmetric functions of $1, 1/2, \ldots , 1/n$