Source author record

Yong-Gao Chen

Yong-Gao Chen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

19works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

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 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$.

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.