arXiv subjects

Jin-Hui Fang

Publications and source records attributed to Jin-Hui Fang.

7 recordsLinked to original sources

arXiv2026

On Sárközy-Sós Theorem related to representation functions

Let $\mathbb{N}_0$ be the set of all nonnegative integers. For a nonempty set $\mathcal{A}\subseteq \mathbb{N}_0$ and integers $n,h\ge 2$, let $r_{h}(\mathcal{A},n)$ be the number of representations of $n$ as $a_1+\cdots+a_h$, where $a_1\le \cdots\le a_h$ and $a_i\in \mathcal{A}$ for $i=1,\cdots,h$. In 2016, Chen and Tang showed that, for any given distinct positive integers $u_1,\cdots,u_k$ and positive rational numbers $α_1,\cdots,α_k$ with $α_1+\cdots+α_k=1$, there are infinitely many sets $\mathcal{A}\subseteq \mathbb{N}_0$ such that $r_{h}(\mathcal{A},n)\ge 1$ for all nonnegative integers $n$ and the set of $n$ with $r_{h}(\mathcal{A},n)=u_i$ has density $α_i$ for all integer $i=1,\cdots,k$. In this paper, we consider the irrational numbers $α_i$ as well. As a main result, we prove that, for any nonnegative numbers $α_0,\cdots,α_m$ with $α_0+\cdots+α_m=1$, there are infinitely many sets $\mathcal{A}\subseteq \mathbb{N}_0$ such that the set of $n$ with $r_{2}(\mathcal{A},n)=i$ has density $α_i$ for all integer $i=0,\cdots,m$. Other related results are also contained.

math.NT↗

arXiv2023

Lagrange-like spectrum of perfect additive complements

Two infinite sets $A$ and $B$ of non-negative integers are called \emph{perfect additive complements of non-negative integers}, if every non-negative integer can be uniquely expressed as the sum of elements from $A$ and $B$. In this paper, we define a Lagrange-like spectrum of the perfect additive complements ($\mathfrak{L} $ for short). As a main result, we obtain the smallest accumulation point of the set $\mathfrak{L} $ and prove that the set $\mathfrak{L} $ is closed. Other related results and problems are also contained.

math.NT↗

arXiv2022

On function $SX$ of additive complements

Two sets $A,B$ of nonnegative integers are called \emph{additive complements}, if all sufficiently large integers can be expressed as the sum of two elements from $A$ and $B$. We further call $A,B$ \emph{perfect additive complements} if every nonnegative integer can be uniquely expressed as the sum of two elements from $A$ and $B$. Let $A(x)$ be the counting function of $A$. In this paper, we focus on the function $SX$, where $SX=\limsup_{x\rightarrow\infty}\frac{\max\{A(x),B(x)\}}{\sqrt{x}}$ was introduced by Erdős and Freud in 1984. As a main result, we determine the value of $SX$ for perfect additive complements and further fix the infimum. We also give the absolute lower bound of $SX$ for additive complements.

math.NT↗

arXiv2022

Additive completition of thin sets

Two sets $A,B$ of positive integers are called \emph{exact additive complements}, if $A+B$ contains all sufficiently large integers and $A(x)B(x)/x\rightarrow1$. Let $A=\{a_1<a_2<\cdots\}$ be a set of positive integers. Denote $A(x)$ by the counting function of $A$ and $a^*(x)$ by the largest element in $A\bigcap [1,x]$. Following the work of Ruzsa and Chen-Fang, we prove that, for exact additive complements $A,B$ with $\frac{a_{n+1}}{na_n}\rightarrow\infty$, we have $A(x)B(x)-x\ge \frac{a^*(x)}{A(x)}+o\left(\frac{a^*(x)}{A(x)^2}\right)$ as $x\rightarrow +\infty$. On the other hand, we also construct exact additive complements $A,B$ with $\frac{a_{n+1}}{na_n}\rightarrow\infty$ such that $A(x)B(x)-x\le \frac{a^*(x)}{A(x)}+(1+o(1))\left(\frac{a^*(x)}{A(x)^2}\right)$ holds for infinitely many positive integers $x$.

math.NT↗

arXiv2022

On disjoint sets

Two sets of nonnegative integers $A=\{a_1 \varepsilon\sqrt{x}$ and $B(x)>\varepsilon\sqrt{x}$ for some $\varepsilon>0$, which answered a problem posed by Erd\H os and Graham. In this paper, following Erdős and Freud's work, we explore further properties for disjoint sets. As a main result, we prove that, for disjoint sets $A$ and $B$, assume that $\{x_1<x_2<\cdots\}$ is a set of positive integers such that $\frac{A(x_n)B(x_n)}{x_n}\rightarrow 2$ as $x_n\to \infty$, then, (i) for any $0<c_1<c_2<1,$ $c_1x_n\le y\le c_2x_n$, we have $\frac{A(y)B(y)}{y}\rightarrow1$ as $n\rightarrow \infty$; (ii) for any $1<c_3<c_4<2,$ $c_3x_n\le y\le c_4x_n$, we have $A(y)B(y)=(2+o(1))x_n$ as $n\rightarrow \infty$.

math.NT↗

arXiv2022

On sets with sum and difference structure

For nonempty sets $A,B$ of nonnegative integers and an integer $n$, let $r_{A,B}(n)$ be the number of representations of $n$ as $a+b$ and $d_{A,B}(n)$ be the number of representations of $n$ as $a-b$, where $a\in A, b\in B$. In this paper, we determine the sets $A,B$ such that $r_{A,B}(n)=1$ for every nonnegative integer $n$. We also consider the \emph{difference} structure and prove that: there exist sets $A$ and $B$ of nonnegative integers such that $r_{A,B}(n)\ge 1$ for all large $n$, $A(x)B(x)=(1+o(1))x$ and for any given nonnegative integer $c$, we have $d_{A,B}(n)=c$ for infinitely many positive integers $n$. Other related results are also contained.

math.NT↗

arXiv2012

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.

math.NT↗