13 papers
A Romanoff-type theorem for +{: a 1}
Yuchen Ding, Huixi Li, Junfeng Li
Let denote the number of prime factors of , counted with multiplicity, and put ={ 1: 2}. We prove that the sumset +{: a 1} has…
Dense finite Sidon sets on arithmetic progressions
Yuchen Ding
Let be a Sidon set with for some fixed . This article provides the following expected asymptotic formula $$ \sum_{\sub…
An AI Proof of 18-Variable Undecidability for Diophantine Equations over
Yuchen Ding, Junfeng Li
This paper presents an AI proof that there is no algorithm deciding whether a polynomial equation over the Gaussian integers in unknowns has a solution. The proof improves the…
Adjacent comparison bounds and extremal sets for Ruzsa numbers
Yuchen Ding, Huixi Li, Junfeng Li +2
Let be a positive integer and the residue class ring modulo . The Ruzsa number is defined to be the least integer such that there is a subset $\math…
Note on unique representation bases
Yuchen Ding, Jie Wang
Answering affirmatively a 2007 problem of Chen, the first author proved that there is a unique representation basis of and a constant such that $$ A(-x,x)\ge…
Note on shifted primes with large prime factors
Yuchen Ding, Zhiwei Wang
We denote by the largest prime factor of the integer . In 1935, Erd\H os studied the quantity defined by $$ T_c(x)=\big|\big\{p\le x: P^+(p-1)\ge p^c\big\}\big…