activity
20242026
collaborators

13 papers

math.NT2026

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…

math.NT2026

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…

math.NT2026

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…

math.NT2026

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…

math.NT2026

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…

math.NT2026

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…