Abstract:For a set $A$ of nonnegative integers, let $R_2(A,n)$ and $R_3(A,n)$ denote the number of solutions to $n=a+a'$ with $a,a'\in A$, $a<a'$ and $a\leq a'$, respectively. In this paper, we prove that, if $A\subseteq \mathbb{N}$ and $N$ is a positive integer such that $R_2(A,n)=R_2(\mathbb{N}\setminus A,n)$ for all $n\geq2N-1$, then for any $\theta$ with $0<\theta<\frac{2\log2-\log3}{42\log 2-9\log3}$, the set of integers $n$ with $R_2(A,n)=\frac{n}{8}+O(n^{1-\theta})$ has density one. The similar result holds for $R_3(A,n)$. These improve the results of the first author.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the value distribution of representation functions. Specifically, for a set $A \subseteq \mathbb{N}$ of non - negative integers, define $R_2(A, n)$ and $R_3(A, n)$ as the number of solutions to the equation $n = a + a'$ (where $a, a' \in A$ and $a < a'$ or $a \leq a'$) respectively. The main goals of the paper are to prove the following results: 1. **Theorem 1.1**: For the Thue - Morse sequence $A_0$, for any $0 < \theta < \frac{2\log 2-\log 3}{40\log 2 - 8\log 3}\approx0.0151$, there exists a positive number $\delta=\delta(\theta)$ such that the number of integers $n$ satisfying $R_2(A_0, n)=\frac{n}{8}+O(n^{1 - \theta})$ in $[1, x]$ is $x + O(x^{1-\delta})$. 2. **Theorem 1.2**: For any subset $A\subseteq\mathbb{N}$ and positive integer $N$, if $R_2(A, n)=R_2(N\setminus A, n)$ for all $n\geq2N - 1$, then for any $0 < \theta < \frac{2\log 2-\log 3}{42\log 2-9\log 3}\approx0.0149$, there exists a positive number $\delta = \delta(\theta)$ such that the number of integers $n$ satisfying $R_2(A, n)=\frac{n}{8}+O(n^{1-\theta})$ in $[1, x]$ is $x + O(x^{1-\delta})$. These results improve previous research and show that under specific conditions, the values of the representation functions $R_2(A, n)$ and $R_3(A, n)$ are close to $\frac{n}{8}$ in most cases. In addition, the paper also proposes two problems for further research, exploring whether there exist certain sequences $\{n_k\}$ such that $\lim_{k\rightarrow\infty}\frac{R_2(A, n_k)}{n_k}\neq\frac{1}{8}$ or $\lim_{k\rightarrow\infty}\frac{R_3(A, n_k)}{n_k}\neq\frac{1}{8}$. Through these results, the paper deepens the understanding of the value distribution of representation functions and provides new directions for future research.

On the values of representation functions II

A note on the lower bound of representation functions

On monotone increasing representation functions

On finite nonnegative integer sets with identical representation functions

A Question of Sárkozy and Sós on Representation Functions

On polynomial representation functions for multilinear forms

Representation functions with prescribed rates of growth

Waring's problem with almost proportional summands

On the number of representations of integers as differences between Piatetski-Shapiro numbers

On the number of representations of n=a+b with ab a multiple of a polygonal number

Representation functions for binary linear forms

Moments of Representation Numbers

NEW CONJECTURES ON REPRESENTATIONS OF INTEGERS (Ⅰ)

Representation zeta functions of groups of type $A_2$ in positive characteristic

Unique representations of integers by linear forms

On the representation functions of certain numeration systems

On the Representation of Integers by Binary Forms Defined by Means of the Relation $(x + yi)^n = R_n(x, y) + J_n(x, y)i$

On the representation of an integer in Ostrowski and recurrence numeration systems

Improved bounds for the Erdős-Rogers $(s,s+2)$-problem

On a problem of Sárközy and Sós for multivariate linear forms

On the representation of number-theoretic functions by arithmetic terms